华东15选5不开奖

探索性能计数器与F# WMI类型提供器

英文原文:ExploringPerformanceCounterswithF#WMITypeProviderWindowsManagementInstrumentation(WMI)是监控Windows系统的主要数据来源。考虑到每台机器的性能计数器都不同,所以需要...
发布时间:2016/6/13 13:45:20  关键字:F#

  英文原文:Exploring Performance Counters with F# WMI Type Provider

  Windows Management Instrumentation (WMI)是监控 Windows 系统的主要数据来源。考虑到每台机器的性能计数器都不同,所以需要一个工具可以列出所有可用的性能计数器。WMI 类型提供器就可以给出所有的 WMI 性能计数器。

  通过使用 FSI 可以直接从 IDE 查询到 WMI。下面的查询例子输出 IIS worker process 存储与垃圾回收参数:

type Local = WmiProvider<"localhost">
let data = Local.GetDataContext ()

[for d in data.Win32_PerfFormattedData_NETFramework_NETCLRMemory -> 
    d.Name, d.Gen0heapsize, d.PercentTimeinGC]
    |> Seq.find (fun proc -> proc.Name.Contains ("w3wp") )

  WMI 参数可以运用于各个方面:数据采集器、Powershell 脚本或是在 .Net 代码中。现有的监控工具通常提供与 WMI 性能计数器的集成。需要提供计数器与参数的确切名称来配置工具并监控它们。WMI 类型提供器可以通过准确的名称创建对象,这就代表着它们可以直接从 IDE 中复制?#31243;?#21040;监控工具或是 Powershell 脚本中。

  运?#24615;?64 位操作系统上时需要进行一些额外的配置。将 32 位进程运?#24615;?64 位操作系统上请求数据时,将由 32 位 WMI 提供器提供服务。这会导致一些数据的丢失,因为 32 位 WMI 提供器?#25442;?#36820;回从 32 位进程中收集到的数据。

  在 Visual Studio 中,FSI 默认运?#24615;?32 位中。可以通过简单配置 Tools/Options/F# Tools 的选项,改为运?#24615;?64 位下,与 64 位 WMI 提供器连接。在 Visual Studio 中,针对 .Net 4.5.*的应用程序同样默认编译为 32 位。想要将应用程序编译为 64 位,需要在 MsBuild target 中设置 prefer32bits 属性为 false。

  WMI 类型提供器是 FSharp.Management 这个开源项目的一部分,可以在 Github 上获取。项目中还包括了一些其他的类型提供器:文件系统、注册表、Powershell 以及时区。

华东15选5不开奖