第三章 进程的并发控制 互斥和同步.pptVIP

第三章 进程的并发控制 ——互斥与同步 与时间有关的错误问题 进程协调的概念 对临界区管理的准则 简单的同步机制（标志法） 信号量机制（实现进程互斥与同步的控制） 3.1 程序的两种执行方式 程序的顺序执行 程序在运行的时独占系统资源，且系统按照程序步骤顺序执行地执行，在该程序执行完之前，其他程序只能等待。 程序的并发执行 多道程序设计的系统中，若干个作业可以同时执行，这些进程轮流地占用CPU，即一个进程的工作没有全部完成之前，另一个进程就可开始工作，我们说这些执行的进程具有并发性。 3.1 与时间有关的错误问题(1) 问题描述：设有一个游乐场设置了一个自动计算机系统，用一个变量count指示在场的人数，当有人进入，则PIN进程完成count++，当有人退出，则POUT进程完成count-- 3.1 与时间有关的错误问题(1) 两个进程的顺序执行（不产生错误） 3.1与时间有关的错误问题(1) 并发执行一种错误的可能结果： 3.1与时间有关的错误问题(1) 并发执行另一种错误的可能结果： 3.1与时间有关的错误问题(1) 分析产生错误的可能原因 一个进程运行时由于自身或外界的原因可能被中断，且断点是不固定的。 进程执行的相对速度不能由自己来控制 两个并发进程使用共享的变量count 两个进程在不同时间里访问count变量，可能得到相同的count变量值。 3.1与时间有关的错误问题(2) 问题描述：设一个飞机航班售票系统有n个售票处，每个售票处通过终端访问系统公共数据区，假定公共数据区中的一些单元Aj（j=1，2，……）分别存放某年某月某日某次航班的剩余票数。设P1，P2，…，Pn表示各个售票处的处理进程，R1，R2，…，Rn表示各进程执行时所用的工作单元，当各售票处有旅客买票时，进程工作如下： 3.1与时间有关的错误问题(2) 可能产生的错误结果 可能有若干个旅客在几乎相同的时间里到不同的售票处要求购买同一天同一航班的机票，于是若干进程都要访问同一个Aj，则结果可能出现同一张票卖给几个不同的旅客 3.1与时间有关的错误问题(2) 假设某一个时刻三个客户在不同网点但几乎同时到达购票访问的情况 3.2 进程的协调概念 在os支持下，多个进程既独立又并发执行，然而进程之间可能合作完成一项任务，可能共享一种系统资源，可能相互支持和依赖，甚至制约对方，为了协调进程间的关系，os必须进行进程间的协调。 3.2 进程的制约关系 直接相互制约关系 源于进程的合作，同步关系 如：A、B两个进程通过缓冲区合作完成一项任务，A负责存数据到缓冲区，B负责从缓冲区中取数。 间接相互制约关系 源于资源共享，互斥关系 如：A、B两个进程共享打印机，若分配给A，则当B需要打印机时被阻塞而等待 3.2 进程的互斥与同步 进程间具有一种互斥关系 也就是说对于某个系统资源，如果一个进程正在使用，其他进程就必须等待其用完，不能同时使用。 进程间具有一种同步关系 即多个相关的进程在执行次序上需要协调，如当两个进程或多个进程合作完成一个任务，在并发执行中，一个进程需等待其合作伙伴发送消息或建立条件再向前执行，这种制约关系通常称为进程的同步。 几个专业术语 临界资源 一次只允许一个进程使用的资源 广义上，包括物理实体资源，如：打印机 软件资源，如：变量、文件等 临界区 一个进程访问这种临界资源的那段程序代码，称为临界区 几个专业术语 剩余区 除临界区外的其余代码 说明：进程互斥的再定义，就是两个进程不能同时进入访问同一临界资源的临界区 操作系统中实现互斥和同步的机制统称为同步机制 3.3 临界区的管理准则－P79 操作系统的进程同步机制必须遵循如下准则 空闲让进 忙则等待 有限等待 让权等待 3.3 临界区的管理准则 空闲让进 当无进程处于临界区时，允许一个进程进入 忙则等待 当有进程在临界区，其他欲进入临界区的进程须等待，否则无需等待 （一次至多一个进程能够进入临界区） 3.3 临界区的管理准则 有限等待 对要求进入临界区的进程，应在有限时间内让其进入，避免“死等” （不能让一个进程无限在临界区执行，任何进入临界区的进程必须在有限时间内退出） 临界区的管理准则 让权等待 临界区让出，必须立即释放CPU，让等待进程进入，避免“忙等” （不能让一个进程无限等待进入，即有进程退出临界区时，应让等待进程进入临界区执行） 3.4 简单的同步机制－标志位机制 进程互斥问题的软件解决方法 轮流标志法（单标志法） 双标志法 三标志法 3.4 简单的同步机制－单标志位法 算法的基本思想 设置一个标志变量turn，两个进程P0、P1要进入临界