4一个经典的多线程同步问题

一个经典的多线程同步问题程序描述：主线程启动10个子线程并将表示子线程序号的变量地址作为参数传递给子线程。子线程接收参数-sleep(50)-全局变量++-sleep(0)-输出参数和全局变量。要求：1．子线程输出的线程序号不能重复。2．全局变量的输出必须递增。下面画了个简单的示意图：分析下这个问题的考察点，主要考察点有二个：1．主线程创建子线程并传入一个指向变量地址的指针作参数，由于线程启动须要花费一定的时间，所以在子线程根据这个指针访问并保存数据前，主线程应等待子线程保存完毕后才能改动该参数并启动下一个线程。这涉及到主线程与子线程之间的同步。2．子线程之间会互斥的改动和输出全局变量。要求全局变量的输出必须递增。这涉及到各子线程间的互斥。下面列出这个程序的基本框架，可以在此代码基础上进行修改和验证。//经典线程同步互斥问题#includestdio.h#includeprocess.h#includewindows.hlongg_nNum;//全局资源unsignedint__stdcallFun(void*pPM);//线程函数constintTHREAD_NUM=10;//子线程个数intmain(){g_nNum=0;HANDLEhandle[THREAD_NUM];inti=0;while(iTHREAD_NUM){handle[i]=(HANDLE)_beginthreadex(NULL,0,Fun,&i,0,NULL);i++;//等子线程接收到参数时主线程可能改变了这个i的值}//保证子线程已全部运行结束WaitForMultipleObjects(THREAD_NUM,handle,TRUE,INFINITE);return0;}unsignedint__stdcallFun(void*pPM){//由于创建线程是要一定的开销的，所以新线程并不能第一时间执行到这来intnThreadNum=*(int*)pPM;//子线程获取参数Sleep(50);//someworkshouldtodog_nNum++;//处理全局资源Sleep(0);//someworkshouldtodoprintf(线程编号为%d全局资源值为%d\n,nThreadNum,g_nNum);return0;}运行结果：可以看出，运行结果完全是混乱和不可预知的。运用Windows平台下各种手段包括关键段，事件，互斥量，信号量等等来解决这个问题。关键段CRITICAL_SECTION首先介绍下如何使用关键段，然后再深层次的分析下关键段的实现机制与原理。关键段CRITICAL_SECTION一共就四个函数，使用很是方便。下面是这四个函数的原型和使用说明。函数功能：初始化函数原型：voidInitializeCriticalSection(LPCRITICAL_SECTIONlpCriticalSection);函数说明：定义关键段变量后必须先初始化。函数功能：销毁函数原型：voidDeleteCriticalSection(LPCRITICAL_SECTIONlpCriticalSection);函数说明：用完之后记得销毁。函数功能：进入关键区域函数原型：voidEnterCriticalSection(LPCRITICAL_SECTIONlpCriticalSection);函数说明：系统保证各线程互斥的进入关键区域。函数功能：离开关关键区域函数原型：voidLeaveCriticalSection(LPCRITICAL_SECTIONlpCriticalSection);然后在经典多线程问题中设置二个关键区域。一个是主线程在递增子线程序号时，另一个是各子线程互斥的访问输出全局资源时。详见代码：#includestdio.h#includeprocess.h#includewindows.hlongg_nNum;unsignedint__stdcallFun(void*pPM);constintTHREAD_NUM=10;//关键段变量声明CRITICAL_SECTIONg_csThreadParameter,g_csThreadCode;intmain(){printf(经典线程同步--关键段\n);//关键段初始化InitializeCriticalSection(&g_csThreadParameter);InitializeCriticalSection(&g_csThreadCode);HANDLEhandle[THREAD_NUM];g_nNum=0;inti=0;while(iTHREAD_NUM){EnterCriticalSection(&g_csThreadParameter);//进入子线程序号关键区域handle[i]=(HANDLE)_beginthreadex(NULL,0,Fun,&i,0,NULL);++i;}WaitForMultipleObjects(THREAD_NUM,handle,TRUE,INFINITE);DeleteCriticalSection(&g_csThreadCode);DeleteCriticalSection(&g_csThreadParameter);return0;}unsignedint__stdcallFun(void*pPM){intnThreadNum=*(int*)pPM;LeaveCriticalSection(&g_csThreadParameter);//离开子线程序号关键区域Sleep(50);//someworkshouldtodoEnterCriticalSection(&g_csThreadCode);//进入各子线程互斥区域g_nNum++;Sleep(0);//someworkshouldtodoprintf(线程编号为%d全局资源值为%d\n,nThreadNum,g_nNum);LeaveCriticalSection(&g_csThreadCode);//离开各子线程互斥区域return0;}运行结果：可以看出来，各子线程已经可以互斥的访问与输出全局资源了，但主线程与子线程之间的同步还是有点问题。这是为什么了？要解开这个迷，最直接的方法就是先在程序中加上断点来查看程序的运行流程。断点处置示意如下：然后按F5进行调试，正常来说这两个断点应该是依次轮流执行，但实际调试时却发现不是如此，主线程可以多次通过第一个断点即EnterCriticalSection(&g_csThreadParameter);//进入子线程序号关键区域这一语句。这说明主线程能多次进入这个关键区域！找到主线程和子线程没能同步的原因后，下面就来分析下原因的原因吧先找到关键段CRITICAL_SECTION的定义吧，它在WinBase.h中被定义成RTL_CRITICAL_SECTION。而RTL_CRITICAL_SECTION在WinNT.h中声明，它其实是个结构体：typedefstruct_RTL_CRITICAL_SECTION{PRTL_CRITICAL_SECTION_DEBUGDebugInfo;LONGLockCount;LONGRecursionCount;HANDLEOwningThread;//fromthethread'sClientId-UniqueThreadHANDLELockSemaphore;DWORDSpinCount;}RTL_CRITICAL_SECTION,*PRTL_CRITICAL_SECTION;各个参数的解释如下：第一个参数：PRTL_CRITICAL_SECTION_DEBUGDebugInfo;调试用的。第二个参数：LONGLockCount;初始化为-1，n表示有n个线程在等待。第三个参数：LONGRecursionCount;表示该关键段的拥有线程对此资源获得关键段次数，初为0。第四个参数：HANDLEOwningThread;即拥有该关键段的线程句柄，微软对其注释为——fromthethread'sClientId-UniqueThread第五个参数：HANDLELockSemaphore;实际上是一个自复位事件。第六个参数：DWORDSpinCount;旋转锁的设置，单CPU下忽略由这个结构可以知道关键段会记录拥有该关键段的线程句柄即关键段是有“线程所有权”概念的。事实上它会用第四个参数OwningThread来记录获准进入关键区域的线程句柄，如果这个线程再次进入，EnterCriticalSection()会更新第三个参数RecursionCount以记录该线程进入的次数并立即返回让该线程进入。其它线程调用EnterCriticalSection()则会被切换到等待状态，一旦拥有线程所有权的线程调用LeaveCriticalSection()使其进入的次数为0时，系统会自动更新关键段并将等待中的线程换回可调度状态。因此可以将关键段比作旅馆的房卡，调用EnterCriticalSection()即申请房卡，得到房卡后自己当然是可以多次进出房间的，在你调用LeaveCriticalSection()交出房卡之前，别人自然是无法进入该房间。回到这个经典线程同步问题上，主线程正是由于拥有“线程所有权”即房卡，所以它可以重复进入关键代码区域从而导致子线程在接收参数之前主线程就已经修改了这个参数。所以关键段可以用于线程间的互斥，但不可以用于同步。另外，由于将线程切换到等待状态的开销较大，因此为了提高关键段的性能，Microsoft将旋转锁合并到关键段中，这样EnterCriticalSection()会先用一个旋转锁不断循环，尝试一段时间才会将线程切换到等待状态。下面是配合了旋转锁的关键段初始化函数函数功能：初始化关键段并设置旋转次数函数原型：BOOLInitializeCriticalSectionAndSpinCount(LPCRITICAL_SECTIONlpCriticalSection,DWORDdwSpinCount);函数说明：旋转次数一般设置为4000。函数功能：修改关键段的旋转次数函数原型：DWORDSetCriticalSectionSpinCount(LPCRITICAL_SECTIONlpCriticalSection,DWORDdwSpinCount);《Windows核心编程》第五版的第八章推荐在使用关键段的时候同时使用旋转锁，这样有助于提高性能。值得注意的是如果主机只有一个处理器，那么设置旋转锁是无效的。无法进入关键区域的线程总会被系统将其切换到等待状态。最后总结下关键段：1．关键段共初始化化、销毁、进入和离开关键区域四个函数。2．关键段可以解决线程的互斥问题，但因为具有“线程所有权”，所以无法解决同步问题。3．推荐关键段与旋转锁配合使用。事件Event使用关键段来解决经典的多线程同步互斥问题，由于关键段的“线程所有权”特性所以关键段只能用于线程的互斥而不能用于同步。本篇介绍用事件Event来尝试解决这个线程同步问题。首先介绍下如何使用事件。事件Event实际上是个内核对象，它的使用非常方便。下面列出一些常用的函数。第一个CreateEvent函数功能：创建事件函数原型：HANDLECreateEvent(LPSECURITY_ATTRIBUTESlpEventAttributes,BOOLbManualReset,BOOLbInitialState,LPCTSTRlpName);函数说明：第一个参数表示安全控制，一般直接传入NULL。第二个参数确定事件是手动置位还是自动置位，传入TRUE表示手动置位，传入FALSE表示自动置位。如果为自动置位，则对该事件调用WaitForSingleObject()后会自动调用ResetEvent()使事件变成未触发状态。打个小小比方，手动置位事件相当于教室门，教室门一旦打开（被触发），所以有人都可以进