第四章 互斥、同步与通讯 并发进程(concurrent processes) 进程互斥(mutual exclusion) 进程同步(synchronization) 进程高级通讯(communication)14.1 并发进程 4.1.1 顺序程序及其特性程序的顺序性- 内部顺序性:P1: a1,a2,a3; P2: b1,b2,b3- 外部顺序性:情形1 :a1,a2,a3,b1,b2,b3; 情形2 :b1,b2,b3,a1,a2,a3顺序程序设计的特性:- 顺序性:处理机严格按指令依次执行;- 封闭型:执行过程独占资源;- 可再现性:程序执行的结果与执行速度无关。多个进程依次执行进程内所有指令按顺序执行24.1 并发进程4.1.2 并发程序及其特性程序的并发性内部并发性:P2: b1,b2,b3; P2: b1,b3,b2外部并发性:情形1 :a1,b1,b2,a2,a3,b3; 情形2 :b1,b2,a1,b3,a2,a3并发程序的特性(带来好处也引发问题):- 交叉性:不同的交叉可能导致不同的结果;- 非封闭性:进程的运行环境可被其他进程所改变;- 不可再现性:不可再现上