嵌套临界区是否有效？

Question

例如，这有效吗？

CRITICAL_SECTION cs;

::InitializeCriticalSection( &cs );

::EnterCriticalSection( &cs );      // First level
::EnterCriticalSection( &cs );        // Second level

/* do some stuff */

::LeaveCriticalSection( &cs );        // Second level
::LeaveCriticalSection( &cs );      // First level

::DeleteCriticalSection( &cs );

显然，我永远不会故意这样做，但是如果这是由于函数调用而发生的，例如调用“第一级”来锁定复杂（例如搜索）算法的对象和“第二级”，该怎么办？在该对象的访问器函数中被调用？

Answer 1

是的，在已经位于同一临界区内部时进入该临界区是有效的。来自文档：

线程拥有临界区的所有权后，它可以使
对 EnterCriticalSection 或 TryEnterCriticalSection 的其他调用
而不阻止其执行。这可以防止线程
在等待关键部分时陷入死锁
已经拥有了。线程每次进入临界区
EnterCriticalSection 和 TryEnterCriticalSection 成功。一个线程
每次进入时都必须调用一次 LeaveCriticalSection
关键部分。

Answer 2

来自文档：

线程拥有临界区的所有权后，它可以对 EnterCriticalSection 或 TryEnterCriticalSection 进行其他调用，而不会阻止其执行。这可以防止线程在等待它已经拥有的临界区时发生死锁。每次 EnterCriticalSection 和 TryEnterCriticalSection 成功时，线程都会进入临界区。线程每次进入临界区都必须调用一次 LeaveCriticalSection。

Answer 3

验证其他两个帖子。快速查看 WinDbg 中的 Critical 部分会发现，cricital 部分维护一个整数变量来保存递归计数。

0:001> dt RTL_CRITICAL_SECTION
+0x000 DebugInfo : Ptr32 _RTL_CRITICAL_SECTION_DEBUG
+0x004 LockCount : Int4B
+0x008 RecursionCount : Int4B
+0x00c OwningThread : Ptr32 Void
+0x010 LockSemaphore : Ptr32 Void
+0x014 SpinCount : Uint4B 

递归计数 -
一个线程可以多次获取临界区。这个领域
指示同一线程获取临界区的次数。经过
默认情况下，该字段的值为0，表示没有线程拥有该
关键部分。