Tracking in Order to Recover - Detectable Recovery of Lock-Free Data Structures

Hagit Attiya, Ohad Ben-Baruch, Panagiota Fatourou, Danny Hendler, Eleftherios Kosmas. Tracking in Order to Recover - Detectable Recovery of Lock-Free Data Structures. In Christian Scheideler, Michael Spear, editors, SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020. pages 503-505, ACM, 2020. [doi]

Abstract

Abstract is missing.