转载

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

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 以及时区。

查看英文原文： Exploring Performance Counters with F# WMI Type Provider

感谢张龙对本文的审校。

给InfoQ中文站投稿或者参与内容翻译工作，请邮件至editors@cn.infoq.com。也欢迎大家通过新浪微博（@InfoQ，@丁晓昀），微信（微信号： InfoQChina ）关注我们。

原文 http://www.infoq.com/cn/news/2016/06/wmi-type-provider

正文到此结束