并发：同步和互斥.ppt

并发性：互斥和同步 中山大学计算机科学系 陈国明博士 并发的原理 单处理器多道程序设计：交替执行 多处理器系统：交替执行、重叠执行 困难： 资源共享充满危险：不同读写执行顺序非常关键 较难资源分配优化管理：死锁 并发环境不可再现性与不确定性 互斥，指多个进程不能同时使用同一个资源； 死锁，指多个进程互不相让，都得不到足够的资源； 饥饿，指一个进程一直得不到资源（其他进程可能轮流占用资源） 字符丢失、另一个字符显示两次 多处理器 启示：保护共享全局变量，控制访问该变量的代码 增加一次只能有一个进程处于echo中的规则 注意：中断会在进程中任何地方停止指令的执行。 进程交互 每个进程相互不知道其他进程的存在（互不知道） 两个或更多进程共享合作资源（间接知道） 进程之间通信合作（直接知道） 竞争引发的潜在控制问题 互斥、死锁、饥饿 进程间资源访问冲突 共享变量的修改冲突 操作顺序冲突 进程间的制约关系 间接制约：进行竞争－－独占分配到的部分或全部共享资源，“互斥” 直接制约：进行协作－－等待来自其他进程的信息，“同步” 互斥 多个进程需要访问一个不可共享资源（打印机）时, 只能有一个访问这个资源 临界资源 不可共享的资源 临界区 访问临界资源的那部分程序、代码 临界区的访问过程 临界区(critical section)：进程中访问临界资源的一段代码。 进入区(entry section)：在进入临界区之前，检查可否进入临界区的一段代码。如果可以进入临界区，通常设置相应正在访问临界区标志 退出区(exit section)：用于将正在访问临界区标志清除。 剩余区(remainder section)：代码中的其余部分。 进程间通过共享的合作 不确切知道其他进程的存在，确保数据完整性 共享变量、文件或数据库等 避免相互间产生的影响：每个进程整个序列声明成一个临界区 互斥 一次只允许一个进程进入临界区 在非临界区停止进程不干涉其他进程 访问临界区的进程不会死锁或饥饿 没有进程在临界区，进程能够立即进入 进程速度和处理器数目没有任何要求 驻留临界区时间有限 互斥 软件算法（附录）：一般使用两个进程、消耗处理器时间 硬件算法（中断禁用、专用机器指令）：多个进程 中断禁用：限制了处理器交替执行各进程的能力，不能用于多处理器结构 专用机器指令：一个指令周期完成,不会被中断 消耗处理器时间、可能饥饿、可能死锁（调度） 操作系统（信号量）包括同步机制 程序设计语言：管程（编译器支持） 信号量及Wait（P）和Signal（V）原语 二元信号量（信号量取值只能0或1 ） 强信号量与弱信号量 强信号量 移出队列的顺序是FIFO 保证不会饿死 弱信号量 没有规定进程从队列移出的顺序 不能保证不会饿死 s.count = 0 :可用的资源数/可以执行wait(s)而不会阻塞的进程数 0 : s.count的大小为等待的进程数 P、V操作可以解决任何同步互斥的问 P、V操作顺序不当产生死锁 遇到复杂同步互斥问题时实现复杂 正确性难以证明 P、V原语实现（硬件或固件） 用软件或testset指令实现将伴随额外处理开销 单处理器可用中断实现 经典同步与互斥问题 生产者、消费者问题 读者、写者问题 哲学家就餐问题 理发师问题 无限缓冲区 producer: while (true) { /* produce item v */ b[in] = v; in++; } consumer: while (true) { while (in = out) /*do nothing */; w = b[out]; out++; /* consume item w */ } 环形缓冲区 producer: while (true) { /* produce item v */ while ((in + 1) % n == out) /* do nothing */; b[in] = v; in = (in + 1) % n consumer: while (true) { while (in == out) /* do nothing */; w = b[out]; out = (out + 1) % n; /* consume item w */ } 店内人员满不会进入 沙发坐满站立 理发师空闲向坐在沙发上时间最长顾客提供服务 顾客理完发后，任一理发师可以收钱，只有一台收款机 理发师：理发、收款、等待 管程 信号量复杂：p、v原语分布在整个程序中 管程是一种程序设计语言结构 在并发Pascal、Pascal-plus、Modula-2、Modula-3和Java等实现，需要编