文章基本信息

标题：Brief Announcement: Generalising Concurrent Correctness to Weak Memory
本地全文：下载
作者：Simon Doherty ; Brijesh Dongol ; Heike Wehrheim 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2018
卷号：121
页码：1-3
DOI：10.4230/LIPIcs.DISC.2018.45
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：Weak Memory; Concurrent Object; Execution Structure