Clock construction in fully asynchronous parallel systems and PRAM simulation

We consider the problem of simulating synchronous computations on asynchronous shared memory systems. The systems we consider allow for arbitrary asynchronous behavior of the processors. In addition, we make very limited (and in some cases no) assumptions about the atomicity of read and write operations to shared memory. We provide detailed definitions of these asynchronous systems and their atomicity properties. The first construction in this paper is a novel clock for asynchronous systems. The clock is a basic tool for synchronization in the asynchronous environment. The constructiion we give is extremely robust, and can be implemented in a system with no atomicity assumptions, and in the presence of an adaptive adversary scheduler The correct behavior of the clock is obtained with overwhelming probability (>1−2−αn, α>0). We then show how to harness this clock to drive an efficient PRAM simulation on an asynchronous system. The simulation requires an O(log 2 n) work, and O(log n) space, overhead. This improves by a log n factor on the efficiency of previously obtained simulation results, while relaxing the assumptions on the underlying asynchronous system.

Authors

• Yonatan Aumann Bar-Ilan University
• Michael O. Rabin

Keywords

No keywords are indexed for this paper.