Nesting-Safe Recoverable Linearizability

DOI10.1145/3212734.3212753zbMath1428.68055OpenAlexW2810443901MaRDI QIDQ5197661

Ohad Ben-Baruch, Danny Hendler, Hagit Attiya

Publication date: 19 September 2019

Published in: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3212734.3212753

zbMATH Keywords

concurrencyshared memorynonblockingwait-freedomlock-freedommulti-core algorithms

Mathematics Subject Classification ID

Distributed systems (68M14) Distributed algorithms (68W15)

Related Items (2)

The ERA Theorem for Safe Memory Reclamation ⋮ Brief Announcement: Efficient Recoverable Writable-CAS

This page was built for publication: Nesting-Safe Recoverable Linearizability