多核程序设计（曲冠南）复习 前4章.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 线程间的通信 线程之间通信的两个基本问题是互斥和同步 同步指线程之间所具有的一种制约关系，一个线程的执行依赖另一个线程的消息，当它没有得到另一个线程的消息时应该等待，直到消息到达时才被唤醒。 互斥是指对于共享资源，在各线程访问时的排它性 线程互斥是一种特殊的线程同步 Win32中实现线程同步的机制 全局变量 事件(Event) 临界区(Critical section) 互斥量(Mutex) 信号量(Semaphore) * * Win32中的线程同步机制 全局变量 进程中的所有线程均可以访问所有的全局变量，因而全局变量成为Win32多线程通信的最简单方式。 int var; //全局变量 UINT ThreadFunction ( LPVOID pParam { while (var) { …… //线程处理 } return 0; } var是一个全局变量，任何线程均可以访问和修改。线程间可以利用此特性达到线程同步的目的。 * * 事件 事件是WIN32提供的最灵活的线程间同步方式。 事件存在两种状态： 激发状态(signaled or true) 未激发状态(unsignal or false) 事件可分为两类： 手动设置：这种对象只能用程序来手动设置，在需要该事件或者事件发生时，采用SetEvent及ResetEvent来进行设置。 SetEvent只有一个参数，该参数指定了事件对象的句柄值，若事件成功激发，返回TRUE; ResetEvent函数将事件对象恢复到最初的非激发状态，只有一个参数，成功后返回真 自动恢复：一旦事件发生并被处理后，自动恢复到没有事件状态，不需要再次设置。 * * 临界区 防止多个线程同时执行一个特定代码段的机制 适用于多个线程操作之间没有先后顺序但要求互斥的同步 多个线程访问同一个临界区的原则： 一次最多只能一个线程停留在临界区内 不能让一个线程无限地停留在临界区内，否则其它线程将不能进入该临界区 定义临界区变量的方法如下： CRITICAL_SECTION gCriticalSection; 通常情况下，CRITICAL_SECTION结构体应该被定义为全局变量，便于进程中的所有线程可以方便地按照变量名来引用该结构体。 * * 使用临界区编程的一般方法是： void WriteData() { EnterCriticalSection(gCriticalSection); //do something LeaveCriticalSection(gCriticalSection); } 例子 假如一个银行系统有两个线程执行取款任务，一个使用存折在柜台取款，一个使用银行卡在ATM取款。若不加控制，很可能账户余额不足两次取款的总额，但还可以把钱取走。 * * 互斥量 通常用于协调多个线程或进程的活动，通过对资源“锁定”和“取消锁定”，来控制对共享资源的访问。 当一个互斥量被一个线程锁定了，其他试图对其加锁的线程就会被阻塞；当对互斥量加锁的线程解除锁定后，则被阻塞的线程中的一个会得到互斥量。 互斥量的作用是保证每次只能有一个线程获得互斥量 使用CreateMutex函数创建： HANDLE CreateMutex( LPSECURITY_ATTRIBUTES lpMutexAttributes, BOOL bInitialOwner, LPCTSTR lpName ); * * 相关的API： CreateMutex 创建一个互斥对象，返回对象句柄； OpenMutex 打开并返回一个已存在的互斥对象的句柄，使之后续访问； ReleaseMutex 释放对互斥对象的占用，使之成为可用； 使用互斥量的一般方法是： void Writedata() { WaitForSingleObject(hMutex,…); ...//do something ReleaseMutex(hMutex); } * * 信号量 信号量是一个核心对象，拥有一个计数器，可用来管 理大量有限的系统资源 当计数值大于零时，信号量为有信号状态 当计数值为零时，信号量处于无信号状态 创建信号量 HANDLE CreateSemaphore (PS