[经管营销]第15章 线程同步.pptVIP

第15章 线程同步 几个概念 线程是操作系统调度的单位，在某些情况下，需要由多个线程共同完成一项工作；为了多个线程能够协调工作，就需要进行线程同步； 线程同步的分类： 访问共享资源：多个线程访问共享资源时，需要确保资源不受破外 事件通知：一个线程完成某项任务后通知其他线程 15.1 原子访问 原子访问是指线程对共享资源的独占式访问，即在线程访问共享资源时其他所有线程都不能在同一时间访问。 多线程访问共享数据问题： 15.1 原子访问(续) LONG value=0; DWORD WINAPI WorkThread1(LPVOID lParam) { value++; return 0; } DWORD WINAPI WorkThread2(LPVOID lParam) { value++; return 0; } 15.1 原子访问(续) 可能的结果： value=1 value=2 结论： 在多线程环境下对共享资源的操作并不像在单线程环境中简单； 要确保程序正确执行，就要保证多个指令是原子操作，即组成一个程序块的多个指令要么一起执行，要么都不执行。 解决办法：互锁 互锁相关函数 LONG InterlockedExchangeAdd( LONG volatile* Target, //指向需要修改的整型数据 LONG value //需要增加的值 ）； 功能：以原子操作的方式对Target所指向的32位整型变量进行增值，阻止同一时刻的其他所有线程访问这个变量。 修改后的代码 LONG value=0; DWORD WINAPI WorkThread1(LPVOID lParam) { InterlockedExchangeAdd（value，1）; return 0; } DWORD WINAPI WorkThread2(LPVOID lParam) { InterlockedExchangeAdd（value，1）; return 0; } 结果：正确 15.2 关键代码段 关键代码段： 指在执行前首先取得对共享资源的访问权，然后让代码以原子操作方式执行来访问共享资源的一种方法。当线程尚未退出关键代码段时，其他线程将无法执行关键代码段。 基本原理： 为每个共享资源创建一个CRITICAL_SECTION对象（即临界对象），把对共享资源的访问操作封装为关键代码段。 相关函数 void InitializeCriticalSection( LPCRITICAL_SECTION lpCriticalSection ); 对CRITICAL_SECTION结构的各成员进行初始化。 相关函数（续） void DeleteCriticalSection( LPCRITICAL_SECTION lpCriticalSection ); 删除临界对象 相关函数（续） void EnterCriticalSection( LPCRITICAL_SECTION lpCriticalSection ); 获取临界对象的访问权限 只有在取得访问权限后才能执行关键代码段，否则就进入等待状态，直到空闲时才会调度这个线程。 结果： 成功获取访问权限时，即可执行关键代码段 若暂时无法获取访问权限就自动进入阻塞状态 相关函数（续） void LeaveCriticalSection( LPCRITICAL_SECTION lpCriticalSection ); 释放临界对象，以便其他线程可访问该临界对象 相关函数（续） BOOL TryEnterCriticalSection( LPCRITICAL_SECTION lpCriticalSection ); 获取访问权限。 成功:返回TRUE，执行关键代码段； 不成功返回FALSE。 相关函数（续） DWORD WaitForMultipleObjects( DWORD nCount, Const HANDLE* lpHandles, BOOL bWaitAll, DWORD dwMilliseconds ); 实例 在主线程中创建多个工作线程，在工作线程中使用关键代码实现对共享数据的同步访问。 关键代码分析： CreateThread(NULL,0,WorkThread, (LPVOID)i,0,NULL); 功能：创建线程 执行效果 15.3 内核对象与等待函数 内核对象是操作系统对资源进行管理的单位； 每个内核对象本质上只是一个内存块，用于存储对象的各种信息； 在应用程序中并不能直接访问内核对象，而是用句柄作为内核对象的标识； 在应用程序中操作某个内核对象，只能通过系统导出的API函数 15.3 内核对象与等待函数（续） 内核对