License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.FSTTCS.2020.42
URN: urn:nbn:de:0030-drops-132833
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2020/13283/
Go to the corresponding LIPIcs Volume Portal

Chini, Peter ; Saivasan, Prakash

A Framework for Consistency Algorithms

pdf-format:
LIPIcs-FSTTCS-2020-42.pdf (0.5 MB)

Abstract

We present a framework that provides deterministic consistency algorithms for given memory models. Such an algorithm checks whether the executions of a shared-memory concurrent program are consistent under the axioms defined by a model. For memory models like SC and TSO, checking consistency is NP-complete. Our framework shows, that despite the hardness, fast deterministic consistency algorithms can be obtained by employing tools from fine-grained complexity.
The framework is based on a universal consistency problem which can be instantiated by different memory models. We construct an algorithm for the problem running in time ?^*(2^k), where k is the number of write accesses in the execution that is checked for consistency. Each instance of the framework then admits an ?^*(2^k)-time consistency algorithm. By applying the framework, we obtain corresponding consistency algorithms for SC, TSO, PSO, and RMO. Moreover, we show that the obtained algorithms for SC, TSO, and PSO are optimal in the fine-grained sense: there is no consistency algorithm for these running in time 2^{o(k)} unless the exponential time hypothesis fails.

BibTeX - Entry

@InProceedings{chini_et_al:LIPIcs:2020:13283,
  author =	{Peter Chini and Prakash Saivasan},
  title =	{{A Framework for Consistency Algorithms}},
  booktitle =	{40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020)},
  pages =	{42:1--42:17},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-174-0},
  ISSN =	{1868-8969},
  year =	{2020},
  volume =	{182},
  editor =	{Nitin Saxena and Sunil Simon},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2020/13283},
  URN =		{urn:nbn:de:0030-drops-132833},
  doi =		{10.4230/LIPIcs.FSTTCS.2020.42},
  annote =	{Keywords: Consistency, Weak Memory, Fine-Grained Complexity}
}

Keywords: Consistency, Weak Memory, Fine-Grained Complexity
Collection: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020)
Issue Date: 2020
Date of publication: 04.12.2020

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI