从未同步的代码块调用对象同步方法

Question

我在生产中收到异常消息“对象同步方法是从不同步的代码块调用的”，Mutex.ReleaseMutex() 的代码如下：

Mutex Mutex
{
    get { return mutex ?? (mutex = new Mutex(false, mutexName)); }
}
[NonSerialized]
Mutex mutex;

public void Log(/*...*/)
{
    Mutex.WaitOne();
    try
    {
        /*...*/
    }
    finally
    {
        Mutex.ReleaseMutex();
    }
}

可能存在可以使用具有不同和相同 mutextName 的互斥体的保存进程。 我仍然不确定这种异常是如何发生的。

Answer 1

这段代码：

Mutex Mutex
{
    get { return mutex ?? (mutex = new Mutex(false, mutexName)); }
}

这不是线程安全的，可能会创建多个互斥锁。使用假装时间，让我们看一下这个例子：

Thread A        |  Thread B
-------------------------------------
Enters
Is Null? (yes)   Enters
Create Mutex     Is Null? (yes) <- Thread A hasn't assigned it yet.
Assign mutex     Create Mutex
Use Mutex        Assign mutex  <- Oops! We just overwrote the mutex thread A created!
Release Mutex <- Oops! We are trying to release the mutex Thread B created without owning it!

希望这个插图不是垃圾。

如果您确实想对互斥体执行此操作，则使用 System.Lazy类是执行延迟初始化的线程安全方法。

private Lazy<Mutex> _lazyMutex = new Lazy<Mutex>(() => new Mutex(false, "MyMutex"));
Mutex Mutex
{
    get { return _lazyMutex.Value; }
}

鉴于此，您为什么要尝试延迟初始化互斥体？你如何处置它？