在有几个线程并行运行的环境中,同步不同线程的活动是非常重要的。一般说来,一个线程使自己与另一个线程同步的方法是让自己睡眠。但线程睡眠时,操作系统不再为它调度CPU时间,因此它停止了执行。不过,就在它睡眠之前,它告诉系统要让它恢复执行,必须有什么“特殊事件”发生。操作系统记住该线程的请求,监视着“特殊事件”是否发生以及何时发生。当它发生时,线程才又能够加入到CPU时间等待队列中。一旦被预订,线程就能继续执行了。此时,线程就将它的执行与时间的发生取得了同步。
Windows操作系统提供了设定“特殊事件”的方法,就是使用同步对象。我将在今后学习常用的四种同步对象:临界区(Critical Section)、互斥量(Mutex)、信号量(Semaphore)、事件(Event)。
上述四种同步对象,除了临界区外都是内核对象。临界区不被操作系统的低级部件管理,而且不能使用句柄来操纵,是最易于使用和理解的同步对象。
当多个线程共享对同一数据的访问时,线程之间可能会有干扰。一个临界区对象保护一段代码不被多于一个线程访问。在所有的同步对象中,临界区是最容易使用的,但是,一个临界区对一个进程或DLL是有限的,不能被其他进程共享,只能用于同步单个进程中的线程。临界区不是Windows核心对象,它和核心对象不同,存在于进程的内存空间中。
Win32 API提供了几个临界区函数:
void EnterCriticalSection(LPCRITICAL_SECTION lpCriticalSection);
void LeaveCriticalSection(LPCRITICAL_SECTION lpCriticalSection);
void DeleteCriticalSection(LPCRITICAL_SECTION lpCriticalSection);
CRITICAL_SECTION类型的变量用来扮演红绿灯的角色,让同一个时间内只有一个线程进入临界区。该临界区变量的声明必须是全局的,这样不同的线程就能访问它。操纵临界区的Win32函数初始化和维护该结构中的所有成员,不要自己去访问和修改任何成员。
使用临界区之前,必须调用InitializeCriticalSection()函数来初始化临界区。而通过调用EnterCriticalSection()函数来取得一个临界区的所有权。然后通过LeaveCriticalSection()函数来释放所有权。临界区通过一个线程取得所有权来显示它已经进入代码临界区的方法进行工作,如果其他线程调用EnterCriticalSection()并引用同一临界区,它会被阻塞,直到第一个线程调用LeaveCriticalSection()函数。最后,可以调用DeleteCriticalSection()函数来释放用户初始化临界区时分配的系统资源。
下面有个具体的应用例子:
CRITICAL_SECTION g_CriticalSection;
int APIENTRY WinMain(HINSTANCE hInstance, HINSTANCE hPreInstance,
LPSTR lpCmdLine, int nCmdShow)
... {
DWORD dwThreadId;
HANDLE hThread;
// Initialize the critical section before the thread so
// that it is ready when the thread execute.
InitializeCriticalSection(&g_CriticalSection);
// Create the thread.
hThread = CreateThread(NULL, 0, ThreadProc, NULL, 0, &dwThreadId);
...
// Delete the critical section.
DeleteCriticalSection(&g_CriticalSection);
return 0;
}
DWORD WINAPI ThreadProc(LPVOID lpThreadParam)
... {
_try
...{
EnterCriticalSection(&g_CriticalSection);
// The code to access the shared resource goes here.
}
_finally
...{
// Release ownership of the critical section.
LeaveCriticalSection(&g_CriticalSection);
}
return 0;
}
int g_nNums = 0 ;
DWORD WINAPI ThreadProc(LPVOID lpThreadParam)
... {
g_cs.Lock();
g_nNums++;
g_cs.Unlock();
return 0;
}