os_ch2-2进程同步.pptVIP

2.4 进程同步 2.4.1 进程同步的基本概念 2.4.2 硬件同步机制 2.4.3 信号量机制 （重点掌握） 2.4.4 信号量的应用 （掌握） 2.3.5 管程机制 （了解） 2.4.1 进程同步的基本概念 引例1 银行的联网储蓄业务允许储户同时用储蓄卡和存折对同一帐户进行存取款操作，如果某帐户同时办理（在ATM机和营业柜台）两笔存款业务（假设分别是1000和2000元） 从系统角度看，有两个进程同时对储户余额等数据进行修改。如果两个进程同时读出原余额（假设为5000），两个进程分别将最新余额修改为6000（5000+1000）和7000 （5000+2000） 引例1分析 余额为6000或7000都不正确 原因：两个进程同时修改同一数据，没有进行有效控制 正确方法：如果有多个进程同时修改某一数据，操作系统必须控制，一次只允许一个进程完成读数据修改数据。 2.4.1 进程同步的基本概念 引例2 编写一个复制n个记录的程序，它把文件F中的每个记录依次读到输入缓冲区R，再从R拷贝到输出缓冲区T，最后写到文件G中。假定R和T正好存放一个记录。 GET：从文件F按照顺序读出一个记录，然后送入输入缓冲区R； COPY：把输入缓冲区R里的记录拷贝到输出缓冲区T里； PUT：从输出缓冲区T里读出一个记录，然后依照顺序写入文件G。 引例2分析 引例2分析 若不管GET、COPY、PUT的执行关系，有六种执行可能： 1）COPY→PUT→GET； 2）COPY→GET→PUT； 3）PUT→COPY→GET 4）PUT→GET→COPY； 5）GET→COPY→PUT； 6）GET→PUT→COPY 引例2分析 1.两种形式的制约关系 引例1——间接制约：进程的互斥(mutual exclusion) 由于各进程要求共享资源，而有些资源需要互斥使用，因此各进程间竞争使用这些资源，进程的这种关系为进程的互斥 进程—资源—进程 引例2——直接制约：进程的同步（synchronization） 系统中一些进程需要相互合作，共同完成一项任务。 一个进程运行到某一点时要求另一伙伴进程为它提供消息，在未获得消息之前，该进程处于等待状态，获得消息后被唤醒进入就绪态 进程—进程 例题1 【例1】进程之间存在哪几种相互制约关系？下列活动分别属于哪种制约关系？ （1）若干同学都要借同一本书； （2）两队举行篮球比赛，两队员争抢球时； （3）流水线生产的各道工序； （4）商品生产和社会消费。 2.临界资源(critical resource) 系统中某些资源一次只允许一个进程使用，称这样的资源为临界资源或互斥资源或共享变量 3.临界区（互斥区）：critical section 一个程序片段的集合，这些程序片段分散在不同的进程中，对某个共享的数据结构（共享资源）进行操作 在进程中涉及到临界资源的程序段叫临界区 演示 例题2 【例2】一个正在访问临界资源的进程，由于申请等待I/O操作而被中断时，_____。 A．可以允许其他进程进入与该进程相关的临界区。 B．不允许其他进程进入任何临界区。 C．可以允许其他就绪进程抢占处理器，继续运行。 D．不允许任何进程抢占处理器。 turn: 0 P0进入临界区 1 P1进入临界区 .... P0 : do { while (turn!=0) ; critical section turn:=1; remainder section } while(1); 软件方法 (1)：Dekker算法 P1 : do { while (turn!=1) ; critical section turn:=0; remainder section }while(1); 演示 flag:array[0..1] of boolean; P0: do { flag[0]:=true; while flag[1] ; critical section flag[0]:=false; remainder section }while(1); 软件解法 (2)：Perterson算法 P1: do { flag