转载

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

　　英文原文：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 中复制粘贴到监控工具或是 Powershell 脚本中。

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

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

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

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

正文到此结束