操作系统ppt课件进程同步.pptxVIP

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