Surrey researchers Sign in
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
Conference proceeding   Open access   Peer reviewed

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory

Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn and Heike Wehrheim
Formal Techniques for Distributed Objects, Components, and Systems, Vol.12136, pp.39-58
FORTE 2020 (Valletta, Malta, 15/06/2020 - 19/06/2020)
08/06/2020

Abstract

Non-volatile memory (NVM), aka persistent memory, is a new paradigm for memory that preserves its contents even after power loss. The expected ubiquity of NVM has stimulated interest in the design of novel concepts ensuring correctness of concurrent programming abstractions in the face of persistency. So far, this has lead to the design of a number of persistent concurrent data structures, built to satisfy an associated notion of correctness: durable linearizability.
url
https://doi.org/10.1007/978-3-030-50086-3_3View
Published (Version of record) Open

Metrics

64 Record Views

Details

Usage Policy