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 脚本中。
运行在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 ）关注我们。
暂无签名
Java 避坑指南：Java 高手笔记代码篇
本迷你书包括 86 个业务开发中常见踩坑点。每一个知识点都相当的实用，是程序员业务开发中的必备避坑指南...
评论