Vorpal

DOI10.1145/3293611.3331598MaRDI QIDQ5145252zbMATH OpenOpenAlexFDO

Authors Kunal Korgaonkar, Joseph Izraelevitz, Jishen Zhao, Steven Swanson

Publication date 20 January 2021

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

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

zbMATH Keywords

clockscomputer architecturedistributed systemsnon-volatile main memoriesnon-volatile memoriesparallel architecturespersistent memoriesscale-up architecturesstorage architecturesvector clocks

Mathematics Subject Classification ID

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

Recommendations

• Verifying correctness of persistent concurrent data structures
• Modularising verification of durable opacity
• Robust shared objects for non-volatile main memory
• Defining and verifying durable opacity: correctness for persistent software transactional memory
• Verifying correctness of persistent concurrent data structures: a sound and complete method

This page was built for publication: Vorpal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145252)