pdf南OS8-网络和分布式操作系统.pdf

第三章 同步、通信与死锁 并发进程 临界区管理 信号量与PV操作 管程 进程通信 死锁 Linux同步和通信 Windows 同步和通信 1 §3.1 并发进程 3.1.1 顺序程序设计 顺序性：前一个操作结束后才开始下一操作 封闭性：独占资源，执行过程不受外界影响 执行结果确定，执行过程可再现 2 3.1.2 进程的并发性 引入并发：将程序分成可同时执行的若干部分，提高 吞吐率和资源利用率。 进程间的相互作用： 无关进程：不影响其它进程，与其它进程的进展情况无关。 相关进程：由于共享某些资源，所以一个进程的执行可能 影响其它进程的执行结果。与同一共享资源有关的程序段分 散在各进程中，且各进程的执行速度不可预知。 由于对资源的共享和竞争，并发程序相互制约。 并发程序的执行结果将不可再现（不确定）。如果不 满足并发条件，还会导致“与时间有关的错误”结果。 3 3.1.2 进程的并发性 两个程序或语句S1和S2并发执行的条件： S1和S2的读集与写集不相交。 R(S1) ∩W(S2) ∪R(S2) ∩W(S1) ∪W(S1) ∩W(S2)= Φ 例：有4条语句：S1：a=x+y； S2：b=z+1； S3：c=a-b； S4：w=c+1 ； 它们的读集和写集分别为： R(S1)={x,y} R(S2)={z} R(S3)={a,b} R(S4)={c} W(S1)={a} W(S2)={b} W(S3)={c} W(S4)={w} 则S1、S2和S4可并发； 而S1和S3， S2和S3， S3和S4不能并发执行。 4 对程序的并发执行不加以控制时具有不可再现性和错误的例子： 例：堆栈S，栈顶指针top，取栈顶数据的程序get(top)和 将数据压栈的程序put(blk)。 Procedure get(top) Procedure put(blk) Begin Begin local r top:=top+1 r:=(top) (top):=blk top:=top-1 return(r) End End top r top A A top A B put(blk) B get(top) B 运行top++之后