首页    期刊浏览 2024年11月05日 星期二
登录注册

文章基本信息

  • 标题: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
国家哲学社会科学文献中心版权所有