using 子句无法调用 Dispose



我正在使用Visual Studio 2010来定位.NET 4.0客户端配置文件。我有一个 C# 类来检测给定进程何时启动/终止。为此,该类使用管理事件观察器,其初始化如下; queryscopewatcher是类字段:

query = new WqlEventQuery();
query.EventClassName = "__InstanceOperationEvent";
query.WithinInterval = new TimeSpan(0, 0, 1);
query.Condition = "TargetInstance ISA 'Win32_Process' AND TargetInstance.Name = 'notepad.exe'";
scope = new ManagementScope(@"\.rootCIMV2");
watcher = new ManagementEventWatcher(scope, query);
watcher.EventArrived += WatcherEventArrived;
watcher.Start();

事件 EventArrive的处理程序如下所示:

private void WatcherEventArrived(object sender, EventArrivedEventArgs e)
{
    string eventName;
    var mbo = e.NewEvent;
    eventName = mbo.ClassPath.ClassName;
    mbo.Dispose();
    if (eventName.CompareTo("__InstanceCreationEvent") == 0)
    {
        Console.WriteLine("Started");
    }
    else if (eventName.CompareTo("__InstanceDeletionEvent") == 0)
    {
        Console.WriteLine("Terminated");
    }
}

此代码基于代码项目文章。我将调用添加到mbo.Dispose(),因为它泄漏了内存:每次引发 EventArrival 时大约 32 KB,每秒一次。泄漏在WinXP和Win7(64位)上都很明显。

目前为止,一切都好。为了尽职尽责,我添加了一个try-finally条款,如下所示:

var mbo = e.NewEvent;
try
{
    eventName = mbo.ClassPath.ClassName;
}
finally
{
    mbo.Dispose();
}

那里没有问题。更好的是,C# using 子句更紧凑但等效:

using (var mbo = e.NewEvent)
{
    eventName = mbo.ClassPath.ClassName;
}

太好了,只是现在内存泄漏又回来了。发生了什么事?

我不知道。但是我尝试用ILDASM拆卸这两个版本,它们几乎但不完全相同。

IL 来自 try-finally

.try
{
  IL_0030:  nop
  IL_0031:  ldloc.s    mbo
  IL_0033:  callvirt   instance class [System.Management]System.Management.ManagementPath [System.Management]System.Management.ManagementBaseObject::get_ClassPath()
  IL_0038:  callvirt   instance string [System.Management]System.Management.ManagementPath::get_ClassName()
  IL_003d:  stloc.3
  IL_003e:  nop
  IL_003f:  leave.s    IL_004f
}  // end .try
finally
{
  IL_0041:  nop
  IL_0042:  ldloc.s    mbo
  IL_0044:  callvirt   instance void [System.Management]System.Management.ManagementBaseObject::Dispose()
  IL_0049:  nop
  IL_004a:  ldnull
  IL_004b:  stloc.s    mbo
  IL_004d:  nop
  IL_004e:  endfinally
}  // end handler
IL_004f:  nop

IL 来自 using

.try
{
  IL_002d:  ldloc.2
  IL_002e:  callvirt   instance class [System.Management]System.Management.ManagementPath [System.Management]System.Management.ManagementBaseObject::get_ClassPath()
  IL_0033:  callvirt   instance string [System.Management]System.Management.ManagementPath::get_ClassName()
  IL_0038:  stloc.1
  IL_0039:  leave.s    IL_0045
}  // end .try
finally
{
  IL_003b:  ldloc.2
  IL_003c:  brfalse.s  IL_0044
  IL_003e:  ldloc.2
  IL_003f:  callvirt   instance void [mscorlib]System.IDisposable::Dispose()
  IL_0044:  endfinally
}  // end handler
IL_0045:  ldloc.1

显然问题出在下面这一行:

IL_003c:  brfalse.s  IL_0044

这相当于if (mbo != null),所以mbo.Dispose()永远不会被调用。但是,如果 mbo 能够访问.ClassPath.ClassName,它怎么可能为空呢?

对此有什么想法吗?

另外,我想知道这种行为是否有助于解释此处未解决的讨论:查询事件日志时WMI中的内存泄漏。

一看,ManagementBaseObject中似乎有一个错误。

这是ManagementBaseObject Dispose()方法:

    public new void Dispose() 
    {
        if (_wbemObject != null) 
        {
            _wbemObject.Dispose();
            _wbemObject = null;
        } 
        base.Dispose();
        GC.SuppressFinalize(this); 
    } 

请注意,它被声明为 new 。 另请注意,当 using 语句调用 Dispose 时,它使用显式接口实现来实现。 因此,将调用父Component.Dispose()方法,并且永远不会调用_wbemObject.Dispose()ManagementBaseObject.Dispose()不应在此处声明为new。 不相信我? 这是Component.cs的评论,就在它Dispose(bool)方法的正上方:

    ///    <para>
    ///    For base classes, you should never override the Finalier (~Class in C#) 
    ///    or the Dispose method that takes no arguments, rather you should 
    ///    always override the Dispose method that takes a bool.
    ///    </para> 
    ///    <code>
    ///    protected override void Dispose(bool disposing) {
    ///        if (disposing) {
    ///            if (myobject != null) { 
    ///                myobject.Dispose();
    ///                myobject = null; 
    ///            } 
    ///        }
    ///        if (myhandle != IntPtr.Zero) { 
    ///            NativeMethods.Release(myhandle);
    ///            myhandle = IntPtr.Zero;
    ///        }
    ///        base.Dispose(disposing); 
    ///    }

由于此处的 using 语句调用显式 IDisposable.Dispose 方法,因此永远不会调用 new Dispose 。

编辑

通常我不会认为这样的东西是一个错误,但由于使用 new 进行Dispose通常是不好的做法(特别是因为ManagementBaseObject没有密封),并且由于没有评论解释new的使用,我认为这是一个错误。

我找不到此问题的Microsoft Connect条目,所以我做了一个。 如果您可以复制或这影响了您,请随时投票。

此问题还会导致 MS 单元测试框架失败并在运行所有测试结束时永久挂起(在 Visual Studio 2015 更新 3 下)。不幸的是,在我写这篇文章时,该错误仍然存在。就我而言,以下代码泄漏:

using (ManagementObjectSearcher searcher = new ManagementObjectSearcher(query))
{
    ....
}

测试框架抱怨的是线程没有关闭:

System.AppDomainUnloadedException:试图访问卸载的AppDomain。如果测试启动了线程但没有停止它,则可能会发生这种情况。确保测试启动的所有线程在完成之前都已停止。

我设法通过在另一个线程中执行代码来绕过它(因此,在启动线程退出后,希望其中生成的所有其他线程都已关闭并适当释放资源):

Thread searcherThread = new Thread(new ThreadStart(() =>
{
    using (ManagementObjectSearcher searcher = new ManagementObjectSearcher(query))
    {
        ....
    }
}));
searcherThread.Start();
searcherThread.Join();

我并不是主张这是问题的解决方案(事实上,仅为此调用生成线程是一个可怕的想法),但至少我可以再次运行测试,而无需每次挂起时重新启动 Visual Studio。

我们看到类似的问题,

调用 GC。WaitForPendingFinalizers() 一次就足以修复泄漏

虽然我知道这不是解决方案,只是解决错误的方法

最新更新