Relationships between communication models in networks using atomic registers

L. Higham, C. Johnen
2006 Proceedings 20th IEEE International Parallel & Distributed Processing Symposium  
A distributed system is commonly modelled by a graph where nodes represent processors and there is an edge between two processors if and only if they can communicate directly. In shared-registers versions of this general description, neighbouring processors communicate by reading or writing shared registers, where each read or write is one atomic step. Variants of shared register models occur in the literature. This paper dened two models of shared registers determined by selecting the register
more » ... locations. In the atomic-state model each processor has a register; in the atomic-link model, each communication link has a register. We determine under what conditions and with what robustness and/or failure-tolerance guarantees it is possible to transform a solution under the atomic-state model into a solution under the atomic-link model. The fault-tolerant models considered in this paper are waitfreedom and self-stabilization. These questions are addressed by rst establishing a framework for dening correct transformations, which may be useful for similar studies of the relationship between various models of distributed computation.
doi:10.1109/ipdps.2006.1639328 dblp:conf/ipps/HighamJ06 fatcat:hhzonscxzndcvlbw5dt2o5w3aa