Title :
Errata to "Atomic shared register access by asynchronous hardware," FOGS \´86
Author :
Vitanyi, Paul M.B. ; Awerbuch, Baruch
Abstract :
The authors report that the paper by P.M.B. Vitanyi and B. Awerbuch, "Atomic shared register access by asynchronous hardware," Proc. 27th IEEE Symp. on Foundations of Computer Science (1986), 233-243, has an error in the \´Struldbrugg\´ algorithm (the main bounded tag algorithm) and a counterexample is presented. The "selection rule" of the reader is not sufficient to guarantee atomicity, but only the weaker regularity condition. Informally, regularity for multiwriter registers means that a reader does return a value written by a write, such that there is no complete other write strictly in between the durations of the read and the write it returns.
Keywords :
Atomic measurements; Hardware;
Conference_Titel :
Foundations of Computer Science, 1987., 28th Annual Symposium on
Conference_Location :
Los Angeles, CA, USA
Print_ISBN :
0-8186-0807-2
DOI :
10.1109/SFCS.1987.23