Journal article icon

Journal article

Abstraction for concurrent objects

Abstract:

Concurrent data structures are usually designed to satisfy correctness conditions such as sequential consistency or linearizability. In this paper, we consider the following fundamental question: What guarantees are provided by these conditions for client programs? We formally show that these conditions can be characterized in terms of observational refinement. Our study also provides a new understanding of sequential consistency and linearizability in terms of abstraction of dependency betwe...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.1016/j.tcs.2010.09.021

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Role:
Author
Journal:
THEORETICAL COMPUTER SCIENCE
Volume:
411
Issue:
51-52
Pages:
4379-4398
Publication date:
2010-12-04
DOI:
ISSN:
0304-3975
URN:
uuid:96b627ad-9a52-48cc-b9d6-e082639048f3
Source identifiers:
331452
Local pid:
pubs:331452

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP