A Scalable Elimination-based Exchange Channel
暂无分享,去创建一个
[1] Mark Moir,et al. Using elimination to implement scalable and lock-free FIFO queues , 2005, SPAA '05.
[2] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[3] Nir Shavit,et al. Elimination Trees and the Construction of Pools and Stacks , 1997, Theory of Computing Systems.
[4] William N. Scherer,et al. Nonblocking Concurrent Objects with Condition Synchronization , 2004 .
[5] Arthur J. Bernstein,et al. Output Guards and Nondeterminism in “Communicating Sequential Processes” , 1980, TOPL.
[6] Nir Shavit,et al. A scalable lock-free stack algorithm , 2004, SPAA '04.
[7] Maurice Herlihy,et al. Linearizability: a correctness condition for concurrent objects , 1990, TOPL.
[8] Maurice Herlihy,et al. Supporting Increment and Decrement Operations in Balancing Networks , 1999, Chic. J. Theor. Comput. Sci..
[9] Maurice Herlihy,et al. Obstruction-free synchronization: double-ended queues as an example , 2003, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings..
[10] Maurice Herlihy,et al. Wait-free synchronization , 1991, TOPL.
[11] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.