Remarks on Memory Consistency Description

Issue title: Concurrency, Specification, and Programming: Special Issue of Selected Papers of CS&P 2015

Guest editors: Ludwik Czaja, Wojciech Penczek and Krzysztof Stencel

Article type: Research Article

Authors: Czaja, Ludwik^{a; b; *}

Affiliations: [a] Vistula University, Warsaw, Poland | [b] Institute of Informatics, The University of Warsaw, Poland. lczaja@mimuw.edu.pl

Correspondence: [*] Address for correspondence: Institute of Informatics, The University of Warsaw, Poland

Abstract: Two observations in the matter of pictorial as well as formal presentation of some consistency in distributed shared memory are made. The first concerns geometric transformation of line segments and points picturing read/write operations, the second - converting partial order of the operations into linear order of their initiations and terminations. This allows to reduce serialization of the read/write operations as a whole to permutations of their beginnings and ends. Some draft proposals are introduced.

DOI: 10.3233/FI-2016-1405

Journal: Fundamenta Informaticae, vol. 147, no. 2-3, pp. 209-221, 2016