吉林大学操作系统课件 第四章 互斥同步与通讯1.ppt

第四章 互斥、同步与通讯 并发进程(concurrent processes) 进程互斥(mutual exclusion) 进程同步(synchronization) 进程高级通讯(communication) 4.1并发进程 4.1.1前趋图的定义 前趋图（precedence graph） 有向无环图，图中每个结点表示一个语句、一个计算步骤、或一个进程。 结点间的有向边表示偏序或前趋（precedence relation)关系“→” 。 →={（Pi，Pj）| Pj启动之前Pi必须已经完成}。 （Pi，Pj）∈→可记作Pi→Pj, 称Pi是Pj的前趋，Pj是Pi的后继。 在前趋图中，没有前趋的结点称为初始结点，没有后继的结点称为终止结点。 每个结点可以有一个权重(weight)，它可以表示该结点所包含的程序量或计算时间。 4.1并发进程 前趋图的例子 P1→P2，P1→P3，P1→P4，P2→P5，P3→P5，P4→P5，P4→P6，P5→P7，P6→P7 4.1.2顺序程序及其特性 4.1.2.1 程序的顺序执行 (1)内部顺序性：对于一个进程来说，它的所有指令是按序执行的。 S1：a:=x+y S2：b:=a-z S3：c:=a+b S4：d:=c+5 4.1.2顺序程序及其特性 (2)外部顺序性：对于多个进程来说，所有进程的活动是依次执行的。 例: 输入(I