Bonnichsen L F, Karlsson S, Probst C W. ELB-trees an efficient and lock-free B-tree derivative[C]//Proceedings of the 6thIEEE International Workshop onMulti-/Many-core Computing Systems (MuCoCoS)[s. l. ]: IEEE, 2013: 1-10.

SirajoAbdullahiBakura, AminuMohammed. Lock-free hybrid concurrency control strategy for mobile environment[J]. Proceedings of the 6thInternational Conference on Adaptive Science % Technology (ICAST), 2014, 66(5): 1-5. DOI: 1

NirShavit, ItayLotan. Skiplist-based concurrent priority queues[C]//Proceedings of the 14th International Parallel and Distributed Processing Symposium. Washington, DC, USA: IEEE, 2000: 263-268.

Deli Zhang, Damian Dechev. A lock-free priority queue design based on multi-dimensional linked lists[J]. Journal of IEEE Transactions on Parallel and Distributed Systems, 2015, 27(3): 1-14. DOI: 1

Youngjoong Cho, Dongwoo Lee, HyungKooK Jun, et al. Lock-free memory allocator without garbage collection on multicore embedded devices[C]//Proceedings of the International Conference on Consumer Electronics (ICCE). Istanbul, Turkey: IEEE, 2014: 428-429.

KristijanDragic, Daniel Bauer. A survey of concurrent priority queue algorithms[C]//Proceedings of the International Symposium on Parallel and Distributed Processing(ISPDP). Switzerband: IEEE, 2008: 1-6.

AleksandarProkopec, Dmitry Petrashko, MartinOdersky. Efficient lock-free work-stealing Iterators for data-parallel collections[C]//Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP). Lausanne, Switzerland: IEEE. 2015: 248-252.

Pooja Aggarwal, Smruti R Sarangi. Lock-free and wait-free slot scheduling algorithms[C]//Proceedings of the 27th International Parallel and Distributed Processing Symposium(IPDPS). Washington, DC, USA: ACM, 2013: 961-972.

Amos Israeli, LihuRappoport. Efficient wait-free implementation of a concurrentpriority queue[C]//Proceedings of the 7th International Workshop Distributed Algorithms(WDAG). Lausanne, Switzerland: IEEE, 1993: 1-17.

SundellHäkan, TsigasPhilippas. Fast and lock-free concurrent priority queues for multi-thread systems[J]. Journal of Parallel and Distributed Computing, 2005, 65(1): 609-627. DOI: 609

Herlihy M P, Wing J M, Linerizability: A correctness condition for concurrent objects[J]. Journal of ACM Transactions on Programming Languages and Systems, 1990, 12(1): 463-492. DOI: 463

Nhan Nguyen, PhilippasTsigas. Lock-Free cuckoo hashing[C]//Proceedings of the 34thInternational Conference on Distributed Computing Systems (ICDCS). Madrid, Spain: IEEE, 2014: 627-636.

Gerhard Schellhorn, Simon Baumler. Formal verification of lock-free algorithms[C]//Proceedings of the 9th International Conference on Application of Concurrency to System Design(ACSD). Washington, DC, USA: ACM, 2009: 13-18.