04第四章互斥同步与通讯11.ppt

第四章 互斥、同步与通讯 并发进程(concurrent processes) 进程互斥(mutual exclusion) 进程同步(synchronization) 进程高级通讯(communication) 4.1并发进程 4.1.1前驱图的定义 前驱图(precedence graph)是一个有向无环图，图中的每个结点表示一条语句、一个计算步骤或一个进程。结点间的有向边表示偏序或前驱关系（precedence relation）“→”，→={（pi，pj）∣ pi必须在pj启动之前完成}。 （pi，pj）∈ →可记为pi → pj，称pi是pj的前驱， pj是pi的后继。 4.1并发进程 在前驱图中没有前驱的结点称为初始结点，没有后继的结点称为终止结点。每个结点可以有一个权重（weight），它表示该结点所包含的程序量或计算时间。 前驱关系满足传递性，即若p1 → p2，p2 → p3，则必有p1 → p3。 4.1 并发进程 4.1.2 顺序程序及其特性 顺序性 内部顺序性：对于一个进程来说，它的所有指令是按顺序执行的。P1: a1,a2,a3; P2: b1,b2,b3 外部顺序性：对于多个进程来说，所有进程的活动是依次执行的。a1,a2,a3,b1,b2,b3; b1,b2,b3,a1,a2,a3 顺序程序特性: (1)顺序性: 指