University of Surrey

Test tubes in the lab Research in the ATI Dance Research

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.

[img]
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 :
NameEmailORCID
Dongol, Brijeshb.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 View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800