文章基本信息

标题：Brief Announcement: On the Impossibility of Detecting Concurrency
本地全文：下载
作者：E}ric Goubault ; J{\'e}r{\'e}my Ledent ; Samuel Mimram 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2018
卷号：121
页码：1-4
DOI：10.4230/LIPIcs.DISC.2018.50
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：We identify a general principle of distributed computing: one cannot force two processes running in parallel to see each other. This principle is formally stated in the context of asynchronous processes communicating through shared objects, using trace-based semantics. We prove that it holds in a reasonable computational model, and then study the class of concurrent specifications which satisfy this property. This allows us to derive a Galois connection theorem for different variants of linearizability.
关键词：concurrent specification; concurrent object; linearizability