TY - GEN
T1 - Clock Construction in Fully Asynchronous Parallel Systems and PRAM Simulation
AU - Aumann, Y.
AU - Rabin, M. O.
N1 - Place of conference:Pittsburgh, PA
PY - 1992
Y1 - 1992
N2 - The authors discuss the question of simulating synchronous computations on asynchronous systems. They consider an asynchronous system with very weak, or altogether lacking any, atomicity assumptions. The first contribution of this paper is a novel clock for asynchronous systems. The clock is a basic tool for synchronization in the asynchronous environment. It is a very robust construction and can operate in a system with no atomicity assumptions, and in the presence of a dynamic scheduler. The behavior of the clock is obtained with overwhelming probability (1-2-αn, α>0). The authors show how to harness this clock to drive a PRAM simulation on an asynchronous system. The resulting simulation scheme is more efficient than existing ones, while actually relaxing the assumptions on the underlying asynchronous system
AB - The authors discuss the question of simulating synchronous computations on asynchronous systems. They consider an asynchronous system with very weak, or altogether lacking any, atomicity assumptions. The first contribution of this paper is a novel clock for asynchronous systems. The clock is a basic tool for synchronization in the asynchronous environment. It is a very robust construction and can operate in a system with no atomicity assumptions, and in the presence of a dynamic scheduler. The behavior of the clock is obtained with overwhelming probability (1-2-αn, α>0). The authors show how to harness this clock to drive a PRAM simulation on an asynchronous system. The resulting simulation scheme is more efficient than existing ones, while actually relaxing the assumptions on the underlying asynchronous system
UR - http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=267777&newsearch=true&queryText=Clock%20Construction%20in%20Fully%20Asynchronous%20Parallel%20Systems%20and%20PRAM%20Simulation
M3 - Conference contribution
BT - 33rd Annual Symposium, on the Foundations of Computer Science (FOCS)
PB - IEEE
ER -