Nonblocking Algorithms and Backward Simulation-Reference-Cited by-同舟云学术

Nonblocking Algorithms and Backward Simulation

Published:2009 Issue: Volume: Page:274-288
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Doherty Simon,Moir Mark

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04355-0_28

Reference11 articles.

1. Lecture Notes in Computer Science;R. Colvin,2006

2. Detlefs, D., Flood, C.H., Garthwaite, A., Martin, P., Shavit, N.N., Steele Jr., G.L.: Even better DCAS-based concurrent deques. In: Proceedings of the 14th International Conference on Distributed Computing, pp. 59–73. IEEE Computer Society Press, Los Alamitos (2000)

3. Doherty, S., Detlefs, D., Groves, L., Flood, C., Luchangco, V., Martin, P., Moir, M., Shavit, N., Steele Jr., G.L.: DCAS is not a silver bullet for nonblocking synchronization. In: Proceedings of the Sixteenth ACM Symposium on Parllelism in Algorithms and Architectures. ACM Press, New York (2004)

4. Lecture Notes in Computer Science;S. Doherty,2004

5. Gao, H., Groote, J., Hesselink, W.H.: Lock-free resizable hash-tables with open addressing. Distributed Computing 18(1) (July 2005)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Pointer life cycle types for lock-free data structures with memory reclamation;Proceedings of the ACM on Programming Languages;2020-01

2. Decoupling lock-free data structures from memory reclamation for static analysis;Proceedings of the ACM on Programming Languages;2019-01-02

3. Aspect-oriented linearizability proofs;Logical Methods in Computer Science;2015-04-01

4. A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures;ACM Transactions on Computational Logic;2014-08

5. Linearizability Is Not Always a Safety Property;Networked Systems;2014