Abstract
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/sup - alpha n/, alpha >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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings - 33rd Annual Symposium on Foundations of Computer Science, FOCS 1992 |
| Publisher | IEEE Computer Society |
| Pages | 147-156 |
| Number of pages | 10 |
| ISBN (Electronic) | 0818629002 |
| DOIs | |
| State | Published - 1992 |
| Externally published | Yes |
| Event | 33rd Annual Symposium on Foundations of Computer Science, FOCS 1992 - Pittsburgh, United States Duration: 24 Oct 1992 → 27 Oct 1992 |
Publication series
| Name | Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS |
|---|---|
| Volume | 1992-October |
| ISSN (Print) | 0272-5428 |
Conference
| Conference | 33rd Annual Symposium on Foundations of Computer Science, FOCS 1992 |
|---|---|
| Country/Territory | United States |
| City | Pittsburgh |
| Period | 24/10/92 → 27/10/92 |
Bibliographical note
Publisher Copyright:© 1992 IEEE.