大部分的答案:http://www.cs.nyu.edu/courses/spring09/G22.2631-001/sol2.pdf
21 A,B复合之后的任一静止状态必然同时是A和B的静止状态,则由这个静止状态分开的任何方法都满足 原理3.3.2
22. 否。如图示: R1一个时间单位返回,但是效果需要3个时间单位才能被看到; R2需要3个时钟单位返回,并且立刻能被看到。对于组合,t3为静止态,读操作能得到合理的结果;但是对于R1,t1为静止态,不满足静态一致性。
23. 静态一致非顺序一致:
顺序一致非静态一致:
<