《多处理器编程艺术》课后答案.pdfVIP

Chapter2: 10. 互斥是通过每个线程看到的各⾃的view得到关于global的关于critical area的owner的⼀致看法实现的。根据2.8的证明，锁 的实现必须有写的动作，如果第⼀条指令是读，且只依据这⼀条指令是不能区分先后的；如果写了之后没有读，线程不能 得到view，和没写⼀样；如果又写又读，并得到某些顺序则它实际就是个gate。 11. 满⾜互斥。假设不成⽴。假设 CS(A)--CS(B)  = R(A)(turn=A) -- R(B)(turn=B) W(A)(turn=A)--W(B)(turn=B) R(A)(turn=A)--W(B)(t