孙钟秀操作系统第三章答案.pptVIP

4.现有5条语句： S1：a=5-x； S2：b=a*x； S3：c=4*x； S4：d=b+c； S5：e=d+3. 试用Bernstein条件证明语句S2和S3可以并发执行，而语句S3和S4不可并发执行。 Bernstein条件 定义： R(Pi)={a1，a2，…，an} 读集 W(Pi)={b1，b2，…，bn} 写集 若两个进程满足Bernstein条件，即 R(Pi) ∩W(Pj) ∪R(Pj) ∩W(Pi) ∪W(Pi) ∩W(Pj)=? 那么这两个进程可以并发执行。 解： R(S2)={a,x} W(S2)={b} R(S3)={x} W(S3)={c} R(S4)={b,c} W(S4)={d} R(S2) ∩W(S3) ∪R(S3) ∩W(S2) ∪W(S2) ∩W(S3)=? 所以S2和S3可以并发执行。 R(S3) ∩W(S4) ∪R(S4) ∩W(S3) ∪W(S3) ∩W(S4)={c} ≠ ? 所以S3和S4不能并发执行。 6.在一个盒子里，混装了数量相同的黑白围棋子。现利用自动分拣系统把黑子、白字分