操作系统04__互斥同步与通讯1.pdf

第四章 互斥、同步与通讯 n并发进程(concurrent processes) n进程互斥(mutual exclusion) n进程同步(synchronization) n进程高级通讯(communication) 4.1并发进程 n 4.1.1前趋图的定义 n 前趋图（precedence graph） n 有向无环图，图中每个结点表示一个语句、一个计算步骤、 或一个进程。 n 结点间的有向边表示偏序或前趋（precedence relation) 关系“→” 。 n →={ （Pi，Pj ）|Pj启动之前Pi必须已经完成}。 n （Pi，Pj ）∈→可记作Pi→Pj, 称Pi是Pj 的前趋，Pj是Pi的 后继。 n 在前趋图中，没有前趋的结点称为初始结点，没有后继的结 点称为终止结点。 n 每个结点可以有一个权重(weight)，它可以表示该结点所 包含的程序量或计算时间。 4.1并发进程 n前趋图的例子 n P1→P2，P1→P3，P1→P4，P2→P5， P3→P5，P4→P5，P4→P6，P5→P7， P6→P7 2 5 7 1 3 6 4 4.1.2顺序程序及其特性 n4.1.2.1 程序的顺序执行 n(1)内部顺序性：对于一个进程来说，它 的所有指令是按序执行的。 n S1：a:=x+y n S2：b:=a-z n S3：c:=a+b n S4：d:=c+5 S1 S2 S3 S4 4.1.2顺序程序及其特性 n(2)外部顺序性：对于多个进程来说，所 有进程的活动是依次执行的。 n 例: 输入(I)、计算(C)、打印(P)三个活动构 成的进程，每个进程的内部活动是顺序的， 即Ii→Ci→Pi，多个进程的活动也是顺序的。 I1 C1 P1 I2 C2 P2 4.1.2顺序程序及其特性 n4.1.2.2顺序程序特性: n (1)连续性: 指令逐条执行 n (2)封闭性: 不受其它程序及外界因素影响 n (3)可再现性: 结果与推进速度无关 4.1.3 并发程序及其特性 n4.1.3.1 程序的并发执行 n(1)内部并发性: 指一个程序内部 的并发性。例： n S1：a:=x+2； n S2：b:=y+4； 1 5 n S3：c:=a+b； 3 n S4：d:=c+6； 2 4 n S5：e:=c-d； 4.1.3 并发程序及其特性 n4.1.3.1 程序的并发执行 n (2)外部并发性: 指多个程序之间的并发性。 I1 I2 I3 I4 C1 C2 C3 C4 P1 P2 P3 P4 4.1.3 并发程序及其特性 n 不可再现