Windows并发程序设计概要.ppt

Windows 并 发 设 计 概 要 肖鸿安 杭州 2011.12.1 前 言 目 录 一、基于进程的并发 进 程 进程间通信 2.1 消息队列通信 2.2 共享内存通信 进程并发问题 二、基于I/O多路复用并发 I/O多路复用技术 Live555 Select 实例 I/O多路复用问题 三、基于线程的并发 线 程 串 行 化 并发线程同步机制 线程同步机制： Critical Sections Mutex Semaphore Event Object Interlocked Variable 线 程 池 线程间通信 四、进程与线程并发设计 参考资料 使用上面的锁的机制写出的多线程程序，并不能保证安全。 当程序在执行时，编译器会对程序进行优化。常用的数据会被拷贝到cpu内部寄存器中。此时，如果另外一个线程改变了，此时寄存其中的数据就过期，此时线程则不再安全。 使用volatile关键字修饰变量则告诉编译器不要拥有线程不断改变的变量的拷贝。 避免死锁：枚举共享资源 屏障同步：允许并发程序随意执行，需建立同 步点，在所有线程到达前不能穿越同步点。 分布式系统中的全局时钟：通过通讯建立起全局时 钟，从而在分布式系统中建立起事件之间顺序。 线程创建时期和销毁时期是比较耗时的。 线程池就是调整/缩短线程创建、销毁时间技术. 线程生命周期 普通多线程处理 线程池处理 线程池技术明显减少了线程创建、销毁的执行次数。 任务队列 任务接口 线程池 线程池管理器 创 建 线 程 池 销 毁 线 程 池 添 加 新 任 务 工作线程 常规线程池结构图 L/F领导者跟随者模式线程池 线程三种状态：leader、follower、processor 原理：leader负责监听网络端口，同一时间只有一个leader。消息到达时，leader从 followers中选出一个leader,自身转换为processor，完成任务后切为follower 状态 增量线程池模式 线程两种状态：Busy、Free 原理：一个请求到来，先去查看当前线程池是否有空闲线程，有则利用空闲线程执行，没有 新增一个工作者线程。工作者线程在执行任务时为Busy状态，空闲为Free状态。线 程数目有上限。 线程池适用场景： 场景一 需要大量的线程来完成任务，任务执行时间短（线程创建时间相对于长连接会话时间可忽略） 场景二 性能要求高，要求迅速响应 场景三 接收突发性大量请求（防止短时间产生大量的线程，导致内存溢出） 简单线程池潜在问题： 当工作线程较少时，面对突发性大量请求，部分任务会在队列中等待，此时实时性较差。 方案一 动态增减工作线程（批量增加、设定工作线程数目的上下限） 方案二 优化工作线程数量（统计估算实时请求） 方案三 提供多线程池（根据任务的不同和任务优先级不同选择不同线程池） 线程的同步机制： 线程间通信实现，win32提供了相应函数： BOOL PostThreadMessage（ DWORD idThread，//目标线程ID UINT Msg， //指定将被寄送的消息的类型（可以自定义） WPARAM wParam，//指定附加的消息特定信息 LPARAM IParam //指定附加的消息特定信息 ）； 针对自定义的消息类型，目标线程则需要有相应的处理函数。同时线程要有相应消息队列，不过系统函数在创建线程的同时就创建了相应队列。 HANDLE OpenFileMapping( DWORD dwDesiredAccess; //共享则设FILE_MAP_ALL_ACCESS BOOL blnheritHandle, //TRUE表示handle可以被子进程继承 LPCTSTR lpName //共享内存区域名称