多线程同步 -- WaitForMultipleObjects()函数的使用详解

WaitForMultipleObjects

　　WaitForMultipleObjects是Windows中的一个功能非常强大的函数，几乎可以等待Windows中的所有的内核对象（关于该函数的描述和例子见MSDN，）。但同时该函数在用法上却需要一定的技巧。

　　原型：

DWORD WaitForMultipleObjects( 　　DWORD nCount, 　　const HANDLE* lpHandles, 　　BOOL bWaitAll, 　　DWORD dwMilliseconds 　　);

　　当WaitForMultipleObjects等到多个内核对象的时候，如果它的bWaitAll 参数设置为false。其返回值减去WAIT_OBJECT_0 就是参数lpHandles数组的序号。如果同时有多个内核对象被触发，这个函数返回的只是其中序号最小的那个。如果为TRUE 则等待所有信号量有效在往下执行。（FALSE 当有其中一个信号量有效时就向下执行）

　　问题就在这里，我们如何可以获取所有被同时触发的内核对象。举个例子：我们需要在一个线程中处理从完成端口、数据库、和可等待定时器来的数据。一个典型的实现方法就是：用WaitForMultipleObjects等待所有的这些事件。如果完成端口，数据库发过来的数据量非常大，可等待定时器时间也只有几十毫秒。那么这些事件同时触发的几率可以说非常大，我们不希望丢弃任何一个被触发的事件。那么如何能高效地实现这一处理呢？

　　MSDN中有一句非常重要的描述，它可以说是WaitForMultipleObjects用法的精髓：The function modifies the state of some types of synchronization objects. Modification occurs only for the object or objects whose signaled state caused the function to return. For example, the count of a semaphore object is decreased by one. When bWaitAll is FALSE, and multiple objects are in the signaled state, the function chooses one of the objects to satisfy the wait; the states of the objects not selected are unaffected.

　　多个内核对象被触发时，WaitForMultipleObjects选择其中序号最小的返回。而WaitForMultipleObjects它只会改变使它返回的那个内核对象的状态。

　　这儿又会产生一个问题，如果序号最小的那个对象频繁被触发，那么序号比它大的内核对象将得不到被处理的机会。

　　为了解决这一问题，可以采用双WaitForMultipleObjects检测机制来实现。见下面的例子：

DWORD WINAPI ThreadProc(LPVOID lpParameter) 　　{ 　　DWORD dwRet = 0; 　　int nIndex = 0; 　　while(1) 　　{ 　　dwRet = WaitForMultipleObjects(nCount,pHandles,false,INFINITE); 　　switch(dwRet) 　　{ 　　case WAIT_TIMEOUT: 　　break; 　　case WAIT_FAILED: 　　return 1; 　　default: 　　{ 　　nIndex = dwRet - WAIT_OBJECT_0; 　　ProcessHanlde(nIndex++); 　　//同时检测其他的事件 　　while(nIndex < nCount) //nCount事件对象总数 　　{ 　　dwRet = WaitForMultipleObjects(nCount - nIndex,&pHandles[nIndex],false,0); 　　switch(dwRet) 　　{ 　　case WAIT_TIMEOUT: 　　nIndex = nCount; //退出检测,因为没有被触发的对象了. 　　break; 　　case WAIT_FAILED: 　　return 1; 　　default: 　　{ 　　nIndex = dwRet - WAIT_OBJECT_0; 　　ProcessHanlde(nIndex++); 　　} 　　break 　　} 　　} 　　} 　　break; 　　} 　　} 　　return 0; 　　} 　　 　　

MSDN对于这个函数的返回值还有一句话：

　　Return Values

　　If the function succeeds, the return value indicates the event that caused the function to return. This value can be one of the following.

　　ValueMeaning

　　WAIT_OBJECT_0 to (WAIT_OBJECT_0 + nCount – 1)If bWaitAll is TRUE, the return value indicates that the state of all specified objects is signaled.

　　If bWaitAll is FALSE, the return value minus WAIT_OBJECT_0 indicates the lpHandles array index of the object that satisfied the wait. If more than one object became signalled during the call, this is the array index of the signalled object with the smallest index value of all the signalled objects.

　　WAIT_ABANDONED_0 to (WAIT_ABANDONED_0 + nCount – 1)If bWaitAll is TRUE, the return value indicates that the state of all specified objects is signaled and at least one of the objects is an abandoned mutex object.

　　If bWaitAll is FALSE, the return value minus WAIT_ABANDONED_0 indicates the lpHandles array index of an abandoned mutex object that satisfied the wait.

　　WAIT_TIMEOUTThe time-out interval elapsed and the conditions specified by the bWaitAll parameter are not satisfied.

　　返回值

　　如果函数成功，返回值表示该事件导致该函数返回。这个值可以是下列之一。

　　ValueMeaning

　　WAIT_OBJECT_0到（WAIT_OBJECT_0 + nCount - 1如果bWaitAll为TRUE），则返回值表明所有指定对象的状态信号。

　　如果bWaitAll为FALSE，则返回值减去不是WAIT_OBJECT_0表示lpHandles数组的对象的满意指数的等待。如果多个对象在通话过程中信号成为，这是与所有的信号对象的最小索引值的信号对象的数组索引。

　　WAIT_ABANDONED_0至（WAIT_ABANDONED_0 + nCount - 1如果bWaitAll为TRUE），则返回值表明所有指定对象的状态，至少是暗示的对象之一，是一个废弃的互斥对象。

　　如果bWaitAll为FALSE，则返回值减去WAIT_ABANDONED_0表示lpHandles数组的一个废弃的互斥对象的满意指数的等待。

　　WAIT_TIMEOUTThe超时间隔已过，由bWaitAll参数指定的条件得不到满足。