Atomic shared register access by asynchronous hardware
Atomic shared register access by asynchronous hardware
复制标题
异步硬件的原子共享寄存器访问
DOI：
10.1109/sfcs.1986.11
复制
发表时间：
1986
期刊：
影响因子：
--
通讯作者：
B. Awerbuch
中科院分区：
文献类型：
--
作者：
P. Vitányi;B. Awerbuch
本文的贡献是双重的。首先，我们描述了构造多值原子n写n读寄存器的两种方法。第一种解决方案使用原子1-写1-读寄存器和无界标记。另一种解决方案使用原子1写n读寄存器和有界标记。本文的第二部分通过确定一组保证所需原子映射的有效构造的标准，开发了证明原子性的一般方法。我们应用该方法证明了原子多写多读寄存器的两种实现的原子性。
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 atomicity, by identifying a set of criteria which guaranty an effective construction for the required atomic mapping. We apply the method to prove atomicity of the two implementations for atomic multiwriter multireader registers.