第3章-进程同步与通信

out 输出指针
计数器
counter
n-1
n-2
0
1 2
3
4 5
in 输入指针
• PP和CP共享的变量： Var n,integer; Type item=„; Var buffer:array[0,1„n-1] of item; in,out:0,1„n-1; counter:0,1„n;
PP:repeat CP:repeat „„ while counter=0 do no-op produce an item in nextp; nextc:=buffer[out]; „„ out:=(out+1)mod n; while counter=n do no-op; counter:=counter-1; buffer[in]:=nextp; consume the item in nextc in:=(in+1)mod n; counter:=counter+1; until false; until false;
记录型信号量
3.2.2
AND型信号量和信号量集

1. AND型信号量集 • 整型和记录型信号量机制是针对进程间共享一个临界 资源而言的。多个进程共享多个临界资源时则要采取 另外的信号量机制。 若A和B按下述次序执行wait操作: • 设A(Dmutex,Emutex 和B为进程，都要求访问共享数据 D和E，这时D和E 初值为1） 为临界资源。为 D、E设置用于互斥的信号量Dmutex、E processA:wait(Dmutex);//Dmutex=0 mutex，令初值为 1，这时A和B有操作： processB:wait(Emutex);//Emutex=0 Process A: process B: 阻塞 processA:wait(Emutex);//Emutex=-1,A processB:wait(Dmutex);//Dmutex=-1,B 阻塞 wait(Dmutex); wait(Emutex); 此时A，B进入死锁状态。显 然，进程要求 wait(Emutex); wait(Dmutex); 的共享资源越多，死锁的可能性越大。

第三章一．选择题(50题)1.以下_B__操作系统中的技术是用来解决进程同步的。

A.管道B.管程C.通道D.DMA2.以下_B__不是操作系统的进程通信手段。

A.管道B.原语C.套接字D.文件映射3.如果有3个进程共享同一程序段，而且每次最多允许两个进程进入该程序段，则信号量的初值应设置为_B__。

A.3B.2C.1D.04.设有4个进程共享一个资源，如果每次只允许一个进程使用该资源，则用P、V 操作管理时信号量S的可能取值是_C__。

A.3,2,1,0，-1B.2,1,0，-1，-2C. 1,0，-1，-2，-3D.4,3，2,1,05.下面有关进程的描述，是正确的__A__。

A.进程执行的相对速度不能由进程自己来控制B.进程利用信号量的P、V 操作可以交换大量的信息C.并发进程在访问共享资源时，不可能出现与时间有关的错误D.P、V操作不是原语操作6.信号灯可以用来实现进程之间的_B__。

A.调度B.同步与互斥C.同步D.互斥7.对于两个并发进程都想进入临界区，设互斥信号量为S，若某时S=0，表示_B_ _。

A.没有进程进入临界区B.有1个进程进入了临界区C. 有2个进程进入了临界区D. 有1个进程进入了临界区并且另一个进程正等待进入8. 信箱通信是一种_B__方式A.直接通信B.间接通信C.低级通信D.信号量9.以下关于临界区的说法，是正确的_C__。

A.对于临界区，最重要的是判断哪个进程先进入B.若进程A已进入临界区，而进程B的优先级高于进程A，则进程B可以打断进程A而自己进入临界区C. 信号量的初值非负，在其上只能做PV操作D.两个互斥进程在临界区内，对共享变量的操作是相同的10. 并发是指_C__。

A.可平行执行的进程B.可先后执行的进程C.可同时执行的进程D.不可中断的进程11. 临界区是_C__。

A.一个缓冲区B.一段数据区C.一段程序D.栈12．进程在处理机上执行，它们的关系是_C__。

3.1.2 进程的定义 进程的概念是60年代初期，首先在MIT 的 Multics系 统和IBM 的 TSS/360系统中引用的。从那以来，人 们对进程下过许多各式各样的定义。 (1) 进程是可以并行执行的计算部分（S.E.Madnick， J.T.Donovan）； (2) 进程是一个独立的可以调度的活动（E.Cohen， D.Jofferson）； (3) 进程是一抽象实体，当它执行某个任务时，将要 分配和释放各种资源（P.Denning）； (4) 行为的规则叫程序，程序在处理机上执行时的活 动称为进程（E.W.Dijkstra）；
W(Si)={b1 b2 … bn}，bj(j=1，…，n) 是语句Si在执行期间必须对其进行修改、访问的变量； 如果对于语句S1和S2，有 ① R(S1)∩ W(S2)={∮}， ② W(S1)∩ R(S2)={∮}， ③ W(S1)∩ W(S2)={∮} 同时成立，则语句S1和S2是 可以并发执行的。
(1) 进程是一个动态概念，而程序则是一个静态概念。程序是 指令的有序集合，没有任何执行的含义。而进程则强调执 行过程，它动态地被创建，并被调度执行后消亡。 (2) 进程具有并行特征，而程序没有。由进程的定义可知，进 程具有并行特征的两个方面，即独立性和异步性。也就是 说，在不考虑资源共享的情况下，各进程的执行是独立的， 执行速度是异步的。显然，由于程序不反映执行过程，所 以不具有并行特征。 (3) 进程是竞争计算机系统资源的基本单位，从而其并行性受 到系统自己的制约。这里，制约就是对进程独立性和异步 性的限制。 (4) 不同的进程可以包含同一程序，只要该程序所对应的数据 集不同。
第3章 进程管理
3.1 进程的概念 3.2 进程的描述 3.3 进程状态及其转换 3.4 进程控制 3.5 进程互斥 3.6 进程同步 3.7 进程通信 3.8 死锁问题 3.9 线程 本章小结 习题

用TS实现进程互斥: repeat while TS(lock) do skip; critical section lock:=false; remainder section until false;
第三章 进程的同步与通信
２. 利用Swap指令实现互斥 Swap指令: procedure (var a,b:Boolean) var temp:Boolean; begin temp:=a; a:=b; b:=temp end
计算机操作系统
第三章 进程的同步与通信
教学目的与要求： 1.掌握进程同步、进程通信、资源、信号量等
基本概念 2.了解解决进程同步问题的软件方法和硬件方
法 3.能用信号量和管程解决简单进程同步问题 4.了解OS/2操作系统的进程同步与通信机制
第三章 进程的同步与通信
重点与难点：
1. 同步、通信、资源、信号量等基本概念
第三章 进程的同步与通信
２ 临界资源的定义 临界资源是指并发进程之间在某段时间内同
时提出访问请求的互斥型资源。 例：在A进程正在访问打印机的时候，B进程也提
出对打印机的访问请求，则打印机为临界资源。应 互斥使用临界资源。
三．临界区 １ 临界区的定义 是指进程中访问临界资源的那段代码
第三章 进程的同步与通信
第三章 进程的同步与通信
算法３：与算法2相似，只是在flag[i]=ture时表示进 程P[i]要求进入临界区，若此时无其它进程有此要求， 则进程P[i]可进入临界区。对于进程Pi repeat flag[i]:=true; while flag[j] do no_op critical section flag[i]:=false; remainder section until false 该算法的缺点：违背了空闲让进和有限等待原则