相互排斥：这安全吗？

Question

这种互斥模式是否像我想象的那样安全？ 如果是这样，你怎么称呼它？

lock (_lock) {
    if (_flag) return;
    else _flag = true;
}
try {
    //critical code...
}
finally {
    _flag = false;
}

我想确保关键部分，但没有其他线程堆积等待获取锁。 显然我确保该标志没有设置在其他地方。 有没有更好的办法？

Answer 1

不，那不安全。 如果想保证互斥而不阻塞，可以使用Monitor.TryEnter：

if (Monitor.TryEnter(lockObj, 0)) {
    // got the lock !
    try {
        // code
    }
    finally { // release the lock
        Monitor.Exit(lockObj);
    }
}

Answer 2

您是否查看过 Monitor.TryEnter ？

Answer 3

互斥模式的正确性取决于赋值 _flag=false 是原子的。 想象一下如果分配可能被另一个线程中断会发生什么。 如果测试可以将赋值的中间结果解释为 false，则一项赋值可能会导致多个线程进入临界区。

互斥模式的正确性还取决于编译器中是否存在可能重新排列语句顺序的优化。 想象一个“智能”编译器会将赋值 _flag=false 向上移动，因为中间的代码中没有引用 _flag （并且中间的代码不会引发异常）。 然后，编译器可以优化锁定部分中的部分以读取

if(_flag) return;

模式可能失败的两个示例都是高度推测性的，我认为您可以安全地假设它有效。 但是，如果存在另一个可以根据需要工作的选项，您最好使用它（请参阅其他帖子）。 如果有其他开发人员使用相同的代码，他们不需要考虑该模式是否有效。

Answer 4

简单的 lock(Object) 语句不起作用吗？ 在幕后，它在 try...finally 块内创建 Monitor 和关键部分。

private static readonly Object lockMe = new Object();
lock(lockMe)
{
    // critical code
}