Atomic shared register access by asynchronous hardware


The contribution of this paper is two-fold. First, we describe two ways to construct multivalued atomic n-writer n-reader registers. The first solution uses atomic 1-writer 1-reader registers and unbounded tags. the other solution uses atomic 1-writer n-reader registers and bounded tags. The second part of the paper develops a general methodology to prove… (More)
DOI: 10.1109/SFCS.1986.11


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics