关键段CRITICAL_SECTION一共就四个函数,使用很是方便。下面是这四个函数的原型和使用说明。
函数功能:初始化
函数原型:
void InitializeCriticalSection(LPCRITICAL_SECTION lpCriticalSection);
函数说明:定义关键段变量后必须先初始化。
函数功能:销毁
函数原型:
void DeleteCriticalSection(LPCRITICAL_SECTION lpCriticalSection);
函数说明:用完之后记得销毁。
函数功能:进入关键区域
函数原型:
void EnterCriticalSection(LPCRITICAL_SECTIONlpCriticalSection);
函数说明:系统保证各线程互斥的进入关键区域。
EnterCriticalSection会检查结构中的成员变量,这些变量表示是否有线程正在访问资源,以及哪个线程
正在访问资源。
函数功能:离开关关键区域
函数原型:
void LeaveCriticalSection(LPCRITICAL_SECTIONlpCriticalSection);
typedef struct _RTL_CRITICAL_SECTION {
PRTL_CRITICAL_SECTION_DEBUG DebugInfo;//调试用的。
//
// The following three fields control entering and exiting the critical
// section for the resource
//
LONG LockCount;//初始化为-1,n表示有n个线程在等待。
LONG RecursionCount;//表示该关键段的拥有线程对此资源获得关键段次数,初为0。
HANDLE OwningThread;// from the thread's ClientId->UniqueThread 即拥有该关键段的线程句柄
HANDLE LockSemaphore;//实际上是一个自复位事件。
ULONG_PTR SpinCount;// force size on 64-bit systems when packed 旋转锁的设置,单CPU下忽略
} RTL_CRITICAL_SECTION, *PRTL_CRITICAL_SECTION;
由这个结构可以知道关键段会记录拥有该关键段的线程句柄即关键段是有“线程所有权”概念的。
事实上它会用第四个参数OwningThread来记录获准进入关键区域的线程句柄,
如果这个线程再次进入,EnterCriticalSection()会更新第三个参数RecursionCount
以记录该线程进入的次数并立即返回让该线程进入。
其它线程调用EnterCriticalSection()则会被切换到等待状态,
一旦拥有线程所有权的线程调用LeaveCriticalSection()使其进入的次数为0时,
系统会自动更新关键段并将等待中的线程换回可调度状态。
因此可以将关键段比作旅馆的房卡,调用EnterCriticalSection()即申请房卡,
得到房卡后自己当然是可以多次进出房间的,在你调用LeaveCriticalSection()交出房卡之前,
别人自然是无法进入该房间。
回到这个经典线程同步问题上,主线程正是由于拥有“线程所有权”即房卡,
所以它可以重复进入关键代码区域从而导致子线程在接收参数之前主线程就已经修改了这个参数。
所以关键段可以用于线程间的互斥,但不可以用于同步。
最后总结下关键段:
1.关键段共初始化化、销毁、进入和离开关键区域四个函数。
2.关键段可以解决线程的互斥问题,但因为具有“线程所有权”,所以无法解决同步问题。
3.推荐关键段与旋转锁配合使用。