ACM的通信
练习档案
实践档案提供对过去问题发布的所有实践文章的访问权限。
2013年7月
从ACM的通信
非阻塞算法和可扩展的多核编程
探索基于锁的同步的替代方案。
从ACM的通信
结构延迟：通过拖延同步
我们根本没有同步机制，可以实施相互排除。
从ACM的通信
证明非阻塞数据结构的正确性
非阻塞同步可以在可伸缩性和实时响应方面产生惊人的结果，但在验证状态空间的费用。
实践档案提供对过去问题发布的所有实践文章的访问权限。
探索基于锁的同步的替代方案。
我们根本没有同步机制，可以实施相互排除。
非阻塞同步可以在可伸缩性和实时响应方面产生惊人的结果，但在验证状态空间的费用。