Lock 关键字调用 Monitor.Enter(Object) 或 Enter(Object, Boolean)？

Question

在.NET Framework 4.5的Monitor文档中找到一句话，说lock关键字使用了Monitor的Enter(Object, Boolean)方法：

Enter 和 Exit 方法提供的功能与 C# lock 语句（Visual Basic 中的 SyncLock）提供的功能相同，只是 lock 和 SyncLock 将 Enter(Object, Boolean) 方法重载和 Exit 方法包装在一个try...finally 块（在 Visual Basic 中 Try...Finally）以确保释放监视器。

另一方面，在Monitors 的概览中有：

Visual Basic SyncLock 和 C# lock 语句使用 MonitorEnter 来获取锁，并使用 MonitorExit 来释放它。

上面的MonitorEnter指的是不同于之前版本的Enter方法，即：Enter(Object)

在 Visual Studio 2012 的 Thread Synchronization (C# and Visual Basic) 中，有一个示例如何锁定监视器：

System.Object obj = (System.Object)x;
System.Threading.Monitor.Enter(obj);
try
{
    DoSomething();
}
finally
{
    System.Threading.Monitor.Exit(obj);
}

还有Enter(Object)版本。

什么是真的？ lock 语句是否调用Enter(Object, Boolean) 或Enter(Object)？ 到底怎么做有什么区别？

Answer 1

来自Eric Lippert’s Blog：

回想一下，lock(obj){body} 是 [在 C# 3.0 及更早版本中] 的语法糖

var temp = obj;
Monitor.Enter(temp);
try { body }
finally { Monitor.Exit(temp); }

这里的问题是，如果编译器在监视器进入和 try-protected 区域之间生成一个无操作指令，那么运行时可能会在监视器进入之后但在尝试之前抛出线程中止异常。在那种情况下， finally 永远不会运行，所以锁泄漏，可能最终导致程序死锁。如果这在未优化和优化的构建中是不可能的，那就太好了。

在 C# 4.0 中，我们更改了锁，因此它现在生成的代码就像它一样

bool lockWasTaken = false;
var temp = obj;
try { Monitor.Enter(temp, ref lockWasTaken); { body } }
finally { if (lockWasTaken) Monitor.Exit(temp); }

问题现在变成了别人的问题； Monitor.Enter 的实现负责以一种不受线程中止异常影响的方式自动设置标志。

所以现在一切都很好，对吧？

很遗憾，没有。 [...]

另一方面，C# 4.0 Language Specification 说：

形式的锁语句

lock (x) ...

其中 x 是引用类型的表达式，完全等价于

System.Threading.Monitor.Enter(x);
try {
   ...
}
finally {
   System.Threading.Monitor.Exit(x);
}

除了 x 只计算一次。