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 -