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

Hagit Attiya; Ohad Ben-Baruch; Panagiota Fatourou; Danny Hendler; Eleftherios Kosmas

doi:10.1145/3350755.3400257

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

Hagit Attiya, Ohad Ben-Baruch, Panagiota Fatourou, Danny Hendler, Eleftherios Kosmas

Technion - Israel Institute of Technology, Ben-Gurion University of the Negev

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

We present the tracking approach for deriving detectable implementations of many widely-used concurrent data structures for systems with non-volatile main memory (NVRAM). Detectable recovery ensures that in the crash-recovery model, every operation executed during a crash, resumes its execution and returns a correct response, and that the state of the data structure is not corrupted.

Original language	English
Title of host publication	SPAA 2020 - Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures
Pages	503-505
Number of pages	3
ISBN (Electronic)	9781450369350
DOIs	https://doi.org/10.1145/3350755.3400257
State	Published - 6 Jul 2020
Event	32nd ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2020 - Virtual, Online, United States Duration: 15 Jul 2020 → 17 Jul 2020

Publication series

Name	Annual ACM Symposium on Parallelism in Algorithms and Architectures

Conference

Conference	32nd ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2020
Country/Territory	United States
City	Virtual, Online
Period	15/07/20 → 17/07/20

Keywords

detectability
non-volatile memory
recoverable algorithms

All Science Journal Classification (ASJC) codes

Software
Theoretical Computer Science
Hardware and Architecture

Access to Document

10.1145/3350755.3400257

Cite this

Attiya, H., Ben-Baruch, O., Fatourou, P., Hendler, D., & Kosmas, E. (2020). Tracking in Order to Recover - Detectable Recovery of Lock-Free Data Structures. In SPAA 2020 - Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (pp. 503-505). (Annual ACM Symposium on Parallelism in Algorithms and Architectures). https://doi.org/10.1145/3350755.3400257

@inproceedings{d6f20d2bded744f1bc67c6114ba13e14,

title = "Tracking in Order to Recover - Detectable Recovery of Lock-Free Data Structures",

abstract = "We present the tracking approach for deriving detectable implementations of many widely-used concurrent data structures for systems with non-volatile main memory (NVRAM). Detectable recovery ensures that in the crash-recovery model, every operation executed during a crash, resumes its execution and returns a correct response, and that the state of the data structure is not corrupted.",

keywords = "detectability, non-volatile memory, recoverable algorithms",

author = "Hagit Attiya and Ohad Ben-Baruch and Panagiota Fatourou and Danny Hendler and Eleftherios Kosmas",

note = "Publisher Copyright: {\textcopyright} 2020 Owner/Author.; 32nd ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2020 ; Conference date: 15-07-2020 Through 17-07-2020",

year = "2020",

month = jul,

day = "6",

doi = "10.1145/3350755.3400257",

language = "الإنجليزيّة",

series = "Annual ACM Symposium on Parallelism in Algorithms and Architectures",

pages = "503--505",

booktitle = "SPAA 2020 - Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures",

}

Attiya, H, Ben-Baruch, O, Fatourou, P, Hendler, D & Kosmas, E 2020, Tracking in Order to Recover - Detectable Recovery of Lock-Free Data Structures. in SPAA 2020 - Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures. Annual ACM Symposium on Parallelism in Algorithms and Architectures, pp. 503-505, 32nd ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2020, Virtual, Online, United States, 15/07/20. https://doi.org/10.1145/3350755.3400257

Tracking in Order to Recover - Detectable Recovery of Lock-Free Data Structures. / Attiya, Hagit; Ben-Baruch, Ohad; Fatourou, Panagiota et al.
SPAA 2020 - Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures. 2020. p. 503-505 (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

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

AU - Attiya, Hagit

AU - Ben-Baruch, Ohad

AU - Fatourou, Panagiota

AU - Hendler, Danny

AU - Kosmas, Eleftherios

PY - 2020/7/6

Y1 - 2020/7/6

N2 - We present the tracking approach for deriving detectable implementations of many widely-used concurrent data structures for systems with non-volatile main memory (NVRAM). Detectable recovery ensures that in the crash-recovery model, every operation executed during a crash, resumes its execution and returns a correct response, and that the state of the data structure is not corrupted.

AB - We present the tracking approach for deriving detectable implementations of many widely-used concurrent data structures for systems with non-volatile main memory (NVRAM). Detectable recovery ensures that in the crash-recovery model, every operation executed during a crash, resumes its execution and returns a correct response, and that the state of the data structure is not corrupted.

KW - detectability

KW - non-volatile memory

KW - recoverable algorithms

UR - http://www.scopus.com/inward/record.url?scp=85088656288&partnerID=8YFLogxK

U2 - 10.1145/3350755.3400257

DO - 10.1145/3350755.3400257

M3 - منشور من مؤتمر

T3 - Annual ACM Symposium on Parallelism in Algorithms and Architectures

SP - 503

EP - 505

BT - SPAA 2020 - Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures

T2 - 32nd ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2020

Y2 - 15 July 2020 through 17 July 2020

ER -

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

Abstract

Publication series

Conference

Keywords

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this