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.

Preview

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 :	Name Email ORCID Dongol, Brijesh b.dongol@surrey.ac.uk Doherty, Simon Wehrheim, Heiki Derrick, John
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