A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps

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

Guest editors: Ludwik Czaja, Wojciech Penczek, Holger Schlingloff and Nguyen Hung Son

Article type: Research Article

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

Affiliations: [a] Vistula University, Warsaw, Poland | [b] Institute of Informatics, The University of Warsaw, Poland. [email protected]

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

Abstract: A new protocol using vectors of global timestamps for mutual exclusion in systems with Distributed Shared Memory (DSM) is described and some of its properties are proved.

DOI: 10.3233/FI-2018-1632

Journal: Fundamenta Informaticae, vol. 157, no. 4, pp. 359-370, 2018