临界区、锁竞争(Lock Contention)、锁护送(Lock Convoys)简单分析 盛大创新院 刘刚

临界区是一种防止多个线程同时执行一个特定代码节的机制，window临界区是一种轻量级机制，在某一时间内只允许一个线程执行某个给定代码段。

 

通常在修改全局数据（如集合类）时会使用临界区。事件、多用户终端执行程序和信号量也用于多线程同步，但临界区与它们不同，它并不总是执行向内核模式的控制转换，这一转换成本昂贵。稍后将会看到，要获得一个未占用临界区，事实上只需要对内存做出很少的修改，其速度非常快。只有在尝试获得已占用临界区时，它才会跳至内核模式。

 

这一轻量级特性的缺点在于临界区只能用于对同一进程内的线程进行同步。

 

关于CRITICAL_SECTION的详细说明，见下面的链接：

http://www.microsoft.com/china/MSDN/library/enterprisedevelopment/softwaredev/ousCriticalSections.mspx

 

对于CRITICAL_SECTION的Windows伪代码的分析, (参考win2K的private/ntos/dll/i386/critsect.asm)：

 RtlInitializeCriticalSection函数： NTSTATUS WINAPI RtlInitializeCriticalSection( RTL_CRITICAL_SECTION *crit) { ... //初始赋值 crit->LockCount = -1; crit->RecursionCount = 0; crit->OwningThread = 0; crit->LockSemaphore = 0; if (NtCurrentTeb()->Peb->NumberOfProcessors <= 1) spincount = 0; crit->SpinCount = spincount & ~0x80000000; return STATUS_SUCCESS; } RtlEnterCriticalSection函数： NTSTATUS WINAPI RtlEnterCriticalSection( RTL_CRITICAL_SECTION *crit ) { if (crit->SpinCount) //如果是多处理器并且SpinCount>0 { ULONG count; if (RtlTryEnterCriticalSection( crit )) return STATUS_SUCCESS; //尝试进入CS，进入成功返回 for (count = crit->SpinCount; count > 0; count--) //进行自旋 { if (crit->LockCount == -1) //等到CS { if (interlocked_cmpxchg( &crit->LockCount, 0, -1 ) == -1) goto done; //如果锁定成功，返回 } } } if (interlocked_inc( &crit->LockCount )) //对于LockCount进行递加(原子操作) { if (crit->OwningThread == ULongToHandle(GetCurrentThreadId())) //判断拥有锁的线程和请求锁的线程是否是同一线程 { crit->RecursionCount++; //如果是递归锁，将递归值++ return STATUS_SUCCESS; } RtlpWaitForCriticalSection( crit ); //如果是其他线程，将进行等待操作 } done: crit->OwningThread = ULongToHandle(GetCurrentThreadId()); //等待成功后，将所有权赋值 crit->RecursionCount = 1; return STATUS_SUCCESS; }} RtlTryEnterCriticalSection函数： BOOL WINAPI RtlTryEnterCriticalSection( RTL_CRITICAL_SECTION *crit ) { BOOL ret = FALSE; if (interlocked_cmpxchg( &crit->LockCount, 0, -1 ) == -1) { crit->OwningThread = ULongToHandle(GetCurrentThreadId()); crit->RecursionCount = 1; ret = TRUE; } else if (crit->OwningThread == ULongToHandle(GetCurrentThreadId())) { interlocked_inc( &crit->LockCount ); crit->RecursionCount++; ret = TRUE; } return ret; } RtlLeaveCriticalSection函数： NTSTATUS WINAPI RtlLeaveCriticalSection( RTL_CRITICAL_SECTION *crit ) { if (--crit->RecursionCount) interlocked_dec( &crit->LockCount ); else { crit->OwningThread = 0; //将所属线程释放 if (interlocked_dec( &crit->LockCount ) >= 0) { RtlpUnWaitCriticalSection( crit ); //将等待的线程激活 } } return STATUS_SUCCESS; } RtlpWaitForCriticalSection函数： void RtlpWaitForCriticalSection( IN PRTL_CRITICAL_SECTION CriticalSection ) { 。。。 if ( !CriticalSection->LockSemaphore ) { RtlpCheckDeferedCriticalSection(CriticalSection); } CriticalSection->DebugInfo->EntryCount++; while( TRUE ) { CriticalSection->DebugInfo->ContentionCount++; st = NtWaitForSingleObject( CriticalSection->LockSemaphore, //等待LockSemaphore事件，LockSemaphore是自动重置的事件 FALSE, TimeoutTime ); if ( st == STATUS_TIMEOUT ) { TimeoutCount++; if ( TimeoutCount > 2 && CriticalSection != NtCurrentPeb()->LoaderLock ) { //循环超过两次（超过两次TimeOut） 。。。 NtHeaders = RtlImageNtHeader(NtCurrentPeb()->ImageBaseAddress); if (NtHeaders->OptionalHeader.Subsystem == IMAGE_SUBSYSTEM_WINDOWS_CUI || NtHeaders->OptionalHeader.Subsystem == IMAGE_SUBSYSTEM_WINDOWS_GUI) { 。。。 ExceptionRecord.ExceptionCode = STATUS_POSSIBLE_DEADLOCK; 。。。 RtlRaiseException(&ExceptionRecord); //抛出死锁异常 } 。。。 } else { if ( NT_SUCCESS(st) ) { ASSERT(CriticalSection->OwningThread == 0); if ( CsIsLoaderLock ) { CriticalSection->OwningThread = NtCurrentTeb()->ClientId.UniqueThread; //激活后设置所有权线程为当前线程 NtCurrentTeb()->WaitingOnLoaderLock = 0; } return; } else { RtlRaiseStatus(st); } } } } RtlpUnWaitCrit