@inproceedings{aaf495fca2e7455dafcfb90fd077bc4b,
title = "Brief Announcement: Recoverable and Detectable Self-Implementations of Swap",
abstract = "Recoverable algorithms tolerate failures and recoveries of processes by using non-volatile memory. Of particular interest are self-implementations of key operations, in which a recoverable operation is implemented from its non-recoverable counterpart (in addition to reads and writes). This paper presents two self-implementations of the SWAP operation. One works in the system-wide failures model, where all processes fail and recover together, and the other in the independent failures model, where each process crashes and recovers independently of the other processes. Both algorithms are wait-free in crash-free executions, but their recovery code is blocking. We prove that this is inherent for the independent failures model. The impossibility result is proved for implementations of distinguishable operations using interfering functions, and in particular, it applies to a recoverable self-implementation of swap.",
keywords = "Persistent memory, detectablitly, non-volatile memory, recoverable objects",
author = "Lehman, \{Tomer Lev\} and Hagit Attiya and Danny Hendler",
note = "Publisher Copyright: {\textcopyright} Tomer Lev Lehman, Hagit Attiya, and Danny Hendler; licensed under Creative Commons License CC-BY 4.0.; 37th International Symposium on Distributed Computing, DISC 2023 ; Conference date: 10-10-2023 Through 12-10-2023",
year = "2023",
month = oct,
day = "1",
doi = "10.4230/LIPIcs.DISC.2023.44",
language = "English",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Rotem Oshman",
booktitle = "37th International Symposium on Distributed Computing, DISC 2023",
address = "Germany",
}