1987-01-02
Errata to: Atomic Shared Register Access by asynchronous Hardware
Publication
Publication
Presented at the
28th Annual Symposium on Foundations of Computer Science., Los Angeles, CA, USA
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.
| Additional Metadata | |
|---|---|
| doi.org/10.1109/SFCS.1987.23 | |
| 28th Annual Symposium on Foundations of Computer Science. | |
| Organisation | Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands |
|
Vitányi, P., & Awerbuch, B. (1987). Errata to: Atomic Shared Register Access by asynchronous Hardware. Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS. doi:10.1109/SFCS.1987.23 |
|
