操作系统课件进程同步.pptVIP

* * 第三章 进程的同步与通信 3.1 进程的同步 3.2 进程通信 3.1 进程的同步 3.1.1 临界区 3.1.2 利用硬件的方法解决进程互 斥问题—互斥的加锁实现 3.1.3 信号量机制 进程同步的主要任务：使并发执行的诸进程之间能有效地共享资源和相互合作，从而使程序的并发执行具有可再现性。 3.1.1 临界区 一、临界区 1.临界资源： 2.临界区： 3.1 进程的同步 一次仅允许一个进程访问的资源 例：进程PA、PB共享内存MS。其中MS分为三个领域，即系统区、进程工作区和数据区。数据区被划分为大小相等的块，每个块中既可能被放有数据，也可能未放有数据。系统区中主要是堆栈S，其中存放那些空数据块的地址。分析其中的临界资源、临界区。 访问临界资源的代码段，不允许多个并发进程交叉执行的一段程序 二、进程间的制约关系 1.间接制约关系(互斥)： 2.直接制约关系(同步)： 3.1.1 临界区 由于共享资源引起 由于相互合作引起 3.1 进程的同步 受间接制约的各进程在执行顺序上是任意的; 一组在异步环境下的并发进程,各自的执行结果互为对方的执行条件,从而限制各进程的执行速度的过程,称为并发进程间的直接制约。 三、临界区的进入： 3.1.1 临界区 临界区必须互斥访问 2.同步机制应遵循的准则 1.访问过程 3.1 进程的同步 临界区 (1)检查临界资源是否被访问，未被访问，转(2)，否则转(1)。(2)进入临界区，并设访问标志 恢复访问标志，允许其它进程进入 空闲让进 忙则等待 有限等待 让权等待 进入区 退出区 3.1.2 利用硬件的方法解决进程互斥问题—互斥的加锁实现 可以利用某些硬件指令－－其读写操作由一条指令完成，因而保证读操作与写操作不被打断；这些指令允许对一个字的内容进行检测和修正，或交换两个字的内容。 一、利用Test-and-Set指令实现互斥 二、利用Swap指令实现进程互斥 3.1 进程的同步 3.1.2 利用硬件的方法解决进程互斥问题—互斥的加锁实现 一、利用Test-and-Set指令实现互斥 1. Test-and-Set指令 该指令读出标志后设置为TRUE boolean TS(boolean *lock) { boolean old; old = *lock; *lock = TRUE; return old; } lock表示资源的两种状态：TRUE表示临界区正被占用（忙），FALSE表示空闲。 3.1 进程的同步 3.1.2 利用硬件的方法解决进程互斥问题—互斥的加锁实现 一、利用Test-and-Set指令实现互斥 2.利用TS指令实现进程互斥 利用TS实现进程互斥：每个临界资源设置一个公共布尔变量lock，初值为FALSE 在“进入区”利用TS进行检查：若有进程在临界区时，重复检查；直到其它进程退出时，检查通过； 3.1 进程的同步 3.1.2 利用硬件的方法解决进程互斥问题—互斥的加锁实现 二、利用Swap指令实现进程互斥 1. Swap指令 交换两个字（字节）的内容 void SWAP(int *a, int *b) { int temp; temp = *a; *a = *b; *b = temp; } 3.1 进程的同步 3.1.2 利用硬件的方法解决进程互斥问题—互斥的加锁实现 二、利用Swap指令实现进程互斥 2. 利用Swap实现进程互斥 每个临界资源设置一个公共布尔变量lock，初值为FALSE。每个进程设置一个私有布尔变量key 3.1 进程的同步 3.1.2 利用硬件的方法解决进程互斥问题—互斥的加锁实现 3.1 进程的同步 硬件方法的优点 适用于任意数目的进程，在单处理器或多处理器上 简单，容易验证其正确性 可以支持进程内存在多个临界区，只需为每个临界区设立一个布尔变量 硬件方法的缺点 循环测试锁状态,损耗CPU时间。 可能“饥饿”：从等待进程中随机选择一个进入临界区，有的进程可能一直选不上(不公平现象) 3.1 进程的同步 3.1.3 信号量机制 一、信号量 是对系统中资源及其组织情况的抽象。它由一个记录型数据表示。包含两个数据项: type semaphore=record value:integer; L:list of process; end 其中: value的值表示可用资源的数目; L:为等待此类资源的进程PCB表链。 3.1 进程的同步 3.1.3 信号量