Memento: A Framework for Detectable Recoverability in Persistent Memory

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 139
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorCho, Kyeongminko
dc.contributor.authorJeon, Seungminko
dc.contributor.authorRaad, Azaleako
dc.contributor.authorKang, Jeehoonko
dc.date.accessioned2023-07-18T02:00:48Z-
dc.date.available2023-07-18T02:00:48Z-
dc.date.created2023-07-17-
dc.date.created2023-07-17-
dc.date.created2023-07-17-
dc.date.issued2023-06-
dc.identifier.citationPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.7, no.PLDI, pp.292 - 317-
dc.identifier.issn2475-1421-
dc.identifier.urihttp://hdl.handle.net/10203/310562-
dc.description.abstractPersistent memory (PM) is an emerging class of storage technology that combines the performance of DRAM with the durability of SSD, offering the best of both worlds. This had led to a surge of research on persistent objects in PM. Among such persistent objects, concurrent data structures (DSs) are particularly interesting thanks to their performance and scalability. One of the most widely used correctness criteria for persistent concurrent DSs is detectable recoverability, ensuring both thread safety (for correctness in non-crashing concurrent executions) and crash consistency (for correctness in crashing executions). However, the existing approaches to designing detectably recoverable concurrent DSs are either limited to simple algorithms or suffer from high runtime overheads. We present Memento: a general and high-performance programming framework for detectably recoverable concurrent DSs in PM. To ensure general applicability to various DSs, Memento supports primitive operations such as checkpoint and compare-and-swap and their composition with control constructs. To ensure high performance, Memento employs a timestamp-based recovery strategy that requires fewer writes and flushes to PM than the existing approaches. We formally prove that Memento ensures detectable recoverability in the presence of crashes. To showcase Memento, we implement a lock-free stack, list, queue, and hash table, and a combining queue that detectably recovers from random crashes in stress tests and performs comparably to existing hand-tuned persistent DSs with and without detectable recoverability.-
dc.languageEnglish-
dc.publisherASSOC COMPUTING MACHINERY-
dc.titleMemento: A Framework for Detectable Recoverability in Persistent Memory-
dc.typeArticle-
dc.identifier.scopusid2-s2.0-85162028250-
dc.type.rimsART-
dc.citation.volume7-
dc.citation.issuePLDI-
dc.citation.beginningpage292-
dc.citation.endingpage317-
dc.citation.publicationnamePROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL-
dc.identifier.doi10.1145/3591232-
dc.contributor.localauthorKang, Jeehoon-
dc.contributor.nonIdAuthorRaad, Azalea-
dc.description.isOpenAccessN-
dc.type.journalArticleArticle-
dc.subject.keywordAuthorpersistent memory-
dc.subject.keywordAuthordetectable recovery-
dc.subject.keywordAuthorconcurrent data structure-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0