神刀安全网

探索性能计数器与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 )关注我们。

转载本站任何文章请注明:转载至神刀安全网,谢谢神刀安全网 » 探索性能计数器与F# WMI类型提供器

分享到:更多 ()

评论 抢沙发

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址