秒杀多线程-关键段CS
CRITICAL_SECTION
函数功能:初始化
函数原型:
函数说明:定义关键段变量后必须先初始化。
函数功能:销毁
函数原型:
函数说明:用完之后记得销毁。
函数功能:进入关键区域
函数原型:
函数说明:系统保证各线程互斥的进入关键区域。
函数功能:离开关关键区域
函数原型:
使用实例
然后在经典多线程问题中设置两个关键区域。一个是主线程在递增子线程序号时,另一个是各子线程互斥的访问输出全局资源时。详见代码:

可以看出来,各子线程已经可以互斥的访问与输出全局资源了,但主线程与子线程之间的同步还是有点问题。
分别在两个地方打断点调试:

正常来说,两个断点应该是依次轮流执行,但实际会多次执行EnterCriticalSection(&g_csParent);
分析问题
先找到关键段CRITICAL_SECTION
的定义吧,它在minwinbase.h中被定义成RTL_CRITICAL_SECTION
。而RTL_CRITICAL_SECTION
在winnt.h中声明,它其实是个结构体:
参数说明:PRTL_CRITICAL_SECTION_DEBUG DebugInfo;
调试用的。
LONG LockCount;
初始化为-1,-n表示有n个线程在等待。
LONG RecursionCount;
表示该关键段的拥有线程对此资源获得关键段次数,初为0,每进入一次关键区域加一。
HANDLE OwningThread;
即拥有该关键段的线程句柄
HANDLE LockSemaphore;
实际上是一个自复位事件。
ULONG_PTR SpinCount;
旋转锁的设置,单CPU下忽略
由这个结构可以知道关键段会记录拥有该关键段的线程句柄即关键段是有“线程所有权”概念的。事实上它会用第四个参数OwningThread
来记录获准进入关键区域的线程句柄,如果这个线程再次进入,EnterCriticalSection()
会更新第三个参数RecursionCount
以记录该线程进入的次数并立即返回让该线程进入。其它线程调用EnterCriticalSection()
则会被切换到等待状态,一旦拥有线程所有权的线程调用LeaveCriticalSection()
使其进入的次数为0时,系统会自动更新关键段并将等待中的线程换回可调度状态。
因此可以将关键段比作旅馆的房卡,调用EnterCriticalSection()
即申请房卡,得到房卡后自己当然是可以多次进出房间的,在你调用LeaveCriticalSection()
交出房卡之前,别人自然是无法进入该房间。
回到这个经典线程同步问题上,主线程正是由于拥有“线程所有权”即房卡,所以它可以重复进入关键代码区域从而导致子线程在接收参数之前主线程就已经修改了这个参数。所以关键段可以用于线程间的互斥,但不可以用于同步。
另外,由于将线程切换到等待状态的开销较大,因此为了提高关键段的性能,Microsoft将旋转锁合并到关键段中,这样EnterCriticalSection()
会先用一个旋转锁不断循环,尝试一段时间才会将线程切换到等待状态。
配合了旋转锁的关键段初始化函数
函数功能:初始化关键段并设置旋转次数函数原型:
函数说明:旋转次数一般设置为4000。
函数功能:修改关键段的旋转次数
函数原型:
《Windows核心编程》第五版的第八章推荐在使用关键段的时候同时使用旋转锁,这样有助于提高性能。值得注意的是如果主机只有一个处理器,那么设置旋转锁是无效的。无法进入关键区域的线程总会被系统将其切换到等待状态。
总结关键段CS
1.关键段共初始化、销毁、进入和离开关键区域四个函数。
2.关键段可以解决线程的互斥问题,但因为具有“线程所有权”,所以无法解决同步问题。
3.推荐关键段与旋转锁配合使用。
下一篇将介绍事件Event。
,参考:https://blog.csdn.net/morewindows/article/details/7442639