Art of Multiprocessor Programming 答案 ch3

本文提供了《Art of Multiprocessor Programming》第三章的习题解答,涉及多核编程中的静态一致性、顺序一致性、无锁算法等概念。通过实例分析解释了静态一致性和顺序一致性之间的区别,并探讨了无锁编程中的一些关键问题。
摘要由CSDN通过智能技术生成

大部分的答案: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. 静态一致非顺序一致:



顺序一致非静态一致:

<

评论 4
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值