Axioms for memory access in asynchronous hardware systems
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
The power of processor consistency
SPAA '93 Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures
Limitations of fast consistency conditions for distributed shared memories
Information Processing Letters
Distributed Algorithms
Consistency Requirements of Distributed Shared Memory for Dijkstra's Mutual Exclusion Algorithm
ICDCS '00 Proceedings of the The 20th International Conference on Distributed Computing Systems ( ICDCS 2000)
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
IEEE Transactions on Computers
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Hi-index | 0.00 |
This paper deals with consistency requirements of Peterson's algorithm for mutual exclusion of n processes in a distributed shared memory (DSM) system.It is shown here that a suitable combination of processor consistency and PRAM consistency, i.e. two models that are weaker than sequential consistency, is sufficient for the correctness of Peterson's algorithm for n processes. The algorithm resulting from the combination is proven to be correct in terms of safety and liveness including progress and lockout-freedom. Moreover, the combination is proven to be optimal for Peterson's algorithm in the sense that the relaxation of any write operation consistency semantics leads to incorrectness of the algorithm.