Author:
Harris Timothy L.,Fraser Keir,Pratt Ian A.
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. S. V. Adve and K. Gharachorloo. Shared memory consistency models: a tutorial. IEEE Computer, 29(12):66–76, Dec. 1996.
2. J. H. Anderson and M. Moir. Universal constructions for multi-object operations. In Proc. 14th PODC, pp 184–193, Aug. 1995.
3. J. H. Anderson, S. Ramamurthy, and R. Jain. Implementing wait-free objects on priority-based systems. In Proc. 16th PODC, pp 229–238, Aug. 1997.
4. Lect Notes Comput Sci;D. L. Detlefs,2000
5. M. Greenwald. Non-blocking synchronization and system design. PhD thesis, Stanford University, Aug. 1999.
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability;Proceedings of the ACM on Programming Languages;2024-01-05
2. Separating Mechanism from Policy in STM;2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT);2023-10-21
3. Opportunities and Limitations of Hardware Timestamps in Concurrent Data Structures;2023 IEEE International Parallel and Distributed Processing Symposium (IPDPS);2023-05
4. Proof Automation for Linearizability in Separation Logic;Proceedings of the ACM on Programming Languages;2023-04-06
5. lfbench: a lock-free microbenchmark suite;2023 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS);2023-04