Brief Announcement: Generalising Concurrent Correctness to Weak Memory
Dongol, Brijesh, Doherty, Simon, Wehrheim, Heiki and Derrick, John (2018) Brief Announcement: Generalising Concurrent Correctness to Weak Memory In: 32nd International Symposium on Distributed Computing (DISC 2018), 15 - 19 October 2018, New Orleans.
|
Text
LIPIcs-DISC-2018-45.pdf - Version of Record Download (386kB) | Preview |
Abstract
Correctness conditions like linearizability and opacity describe some form of atomicity imposed on concurrent objects. In this paper, we propose a correctness condition (called causal atomicity) for concurrent objects executing in a weak memory model, where the histories of the objects in question are partially ordered. We establish compositionality and abstraction results for causal atomicity and develop an associated refinement-based proof technique.
Item Type: | Conference or Workshop Item (Conference Paper) | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Divisions : | Faculty of Engineering and Physical Sciences > Computing Science | |||||||||||||||
Authors : |
|
|||||||||||||||
Date : | 12 July 2018 | |||||||||||||||
DOI : | 10.4230/LIPIcs.DISC.2018.45 | |||||||||||||||
Grant Title : | EPSRC Grant | |||||||||||||||
Copyright Disclaimer : | © Simon Doherty, Brijesh Dongol, Heike Wehrheim, and John Derrick | |||||||||||||||
Uncontrolled Keywords : | Weak Memory, Concurrent Object, Execution Structure | |||||||||||||||
Depositing User : | Charlene King | |||||||||||||||
Date Deposited : | 13 Mar 2019 11:54 | |||||||||||||||
Last Modified : | 13 Mar 2019 11:54 | |||||||||||||||
URI: | http://epubs.surrey.ac.uk/id/eprint/850728 |
Actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year