多线程程序复习002

 

多线程程序复习二 2011.05.03

线程同步（synchronization[siŋkrə,nai'ze*ən] with the threads）：

当多个线程在并发或并行的时候，要对某共享数据进行操作，就有可能出现数据误差，因此必须进行线程同步。线程同步最关键的就是一点：保证整个存取过程的独占性。独占机制不能简单的用一个标志变量来解决，应为测试标志和改变标志的过程仍然可能被其他线程打断，导致多个线程认为标志有效，出现误差。所以，能够保证标志位在测试和改变的过程不会被打断就可以解决问题了。

可以用于线程同步的对象有事件（Event）、临界区（Critical['kritikəl] Section）、互斥量（Mutex）、信号量（Semaphore）等对象。

事件（Event）：

事件(Event)也是一种内核对象，事件比较抽象，可以把其看作一个设置在windows内部的标志。事件有两种状态：置位的(signaled) 和 复位的(nonsignaled)

HANDLE CreateEvent(

  LPSECURITY_ATTRIBUTES lpEventAttributes, // SD(NULL:使用默认安全性)

  BOOL bManualReset, // reset type(TRUE:手动复位 FALSE:测试事件返回时自动复位)

  BOOL bInitialState,   // initial state(TRUE:signaled FALSE:nonsignaled)

  LPCTSTR lpName   // object name(为事件命名,方便OpenEvent获取事件句柄)

);//创建一个事件对象

OpenEvent 根据object name打开一个事件，返回一个句柄，用于打开其他进程的事件

SetEvent/ResetEvent 对事件对象进行置位和复位

WaitForSingleObject 等待一个对象in the signal state，参数为对象句柄和等待超时时间，其中等待超时时间为0测试立刻返回，其中等待超时时间为INFINIT时候，会一直等待对象出现信号(signaled)，其返回值为

WAIT_FAILED 函数执行失败

WAIT_OBJECT_0 对象状态为signaled

WAIT_TIMEOUT 等待超时（等待时间到，对象仍然为nonsignaled）

WAIT_ABANDONED 等待的对象是一个Mutex对象，其属线程在结束时候没有对其释放。这时，该对象的所有权将授予当前调用线程，并将其设置为nonsignaled

这个函数可以测试多种对象，例如

Console input  signaled：输入缓冲区非空； nonsignaled：输入缓冲区空

Event signaled：SetEvent后； nonsignaled：ResetEvent后

Process signaled：进程结束

Thread signaled：线程结束

Mutex signaled：没有线程拥有该互斥对象 nonsignaled：互斥对象被占有

DWORD WaitForMultipleObjects(

  DWORD nCount,             // number of handles in array

  CONST HANDLE *lpHandles,  // object-handle array

  BOOL fWaitAll, //wait option

(TRUE:对象都signaled时返回 FALSE:只要有一个signaled就返回)

  DWORD dwMilliseconds      // time-out interval

);//可以等待一个事件数组

利用互斥事件进行线程同步：

①CreatEvent 的参数 bManualReset 设为FALSE，测试事件返回自动复位，bInitialState 设为TRUE，初始状态为 signaled

②线程在对共享区域操作前，先WaitForSingleObject in INFINIT ，当此函数返回时候，事件自动复位为 nonsignaled，其他线程就暂时不能在 WaitForSingleObject返回。

线程在对共享区操作后，SetEvent 使得事件为 signaled ，其他线程就能在 WaitForSingleObject 返回了，达到互斥的效果

跨进程的线程同步：

①CreateEvent 的参数 lpName 可以设置一个事件名，在内核中是唯一的

②在其他进程可以利用OpenEvent 获取其事件句柄，供同步使用

临界区（Critical Section故又名 关键代码段）：

临界区是定义在数据段的一个CRITICAL_SECTION的结构，临界区每次只允许一个线程进入（参考操作系统）。

VOID InitializeCriticalSection(

  LPCRITICAL_SECTION lpCriticalSection // critical section

);//初始化一个临界区

EnterCriticalSection/LeaveCriticalSection 当前线程根据临界对象进入和离开临界区

其中，EnterCriticalSection除非得到临界区的权限（takes the ownership of the Critical Section），会一直等待

TryEnterCriticalSection 测试是否能进入临界区，测试结束立刻返回，如果能进入，当前线程会takes the ownership of the Critical Section。返回：nonzero进入，zero不能进入

DeleteCriticalSection 删除临界区对象

利用临界区进行线程同步：

比较事件对象同步法：临界区对象工作在用户模式下，无法像事件对象那样命名，所以临界区对象无法跨进程使用，正因为这样，故系统开销小，处理速度比事件对象快30倍多。

缺点：一个线程在EnterCriticalSection 后挂掉了，其他线程就不能进入临界区了，只好用WaitForSingleObject指定一个超时的时间，检测线程是否挂掉。

如果嵌套设置临界对象进入临界区，可能会产生死锁，例如，线程A要进入临界区，必须顺序申请临界对象 甲、乙，而线程B要进入临界区，必须数序申请临界对象 乙、甲。A拿到甲的权限时，B拿到乙的权限，线程进入死锁（参考死锁4个条件3个解决办法）