Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/15533
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Dongol, B | - |
dc.contributor.author | Jagadeesan, R | - |
dc.contributor.author | Riely, J | - |
dc.contributor.author | Armstrong, A | - |
dc.coverage.spatial | Los Angeles, USA | - |
dc.date.accessioned | 2017-12-06T16:32:46Z | - |
dc.date.available | 2017-12-06T16:32:46Z | - |
dc.date.issued | 2017 | - |
dc.identifier.citation | VMCAI, (2017) | en_US |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/15533 | - |
dc.description.abstract | Linearisability is the de facto standard correctness condition for concurrent objects. Classical linearisability assumes that the e ect of a method is captured entirely by the allowed sequences of calls and returns. This assumption is inadequate in the presence of relaxed memory models, where happens-before relations are also of importance. In this paper, we develop hb-linearisability for relaxed memory models by extending the classical notion with happens-before information. We con- sider two variants: Real time hb-linearisability, which adopts the classical view that time runs on a single global clock, and causal hb-linearisability, which eschews real-time and is appropriate for systems without a global clock. For both variants, we prove abstraction (so that programmers can reason about a client program using the sequential speci cation of an object rather than its more complex concurrent implementation) and composition (so that reasoning about independent objects can be con- ducted in isolation). | en_US |
dc.language.iso | en | en_US |
dc.source | VMCAI | - |
dc.source | VMCAI | - |
dc.title | On abstraction and compositionality for weak-memory linearisability | en_US |
dc.type | Conference Paper | en_US |
pubs.publication-status | Accepted | - |
Appears in Collections: | Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Fulltext.pdf | 386.17 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.