Abstract
This paper proposes the use of the microprogramming technique for synchronizing multiprocessors. The language used is an extension of CSP including the bi-io and the probe statements. We present a self-stabilizing algorithm for the generation of a two-phase clock; this algorithm is a generalization of the Dining Philosophers Problem, where n philosophers access m resources.
- E. W. Dijkstra, "Hierarchical ordering of sequential processes", Acta inform., Vol. 1, 1971, pp 115--138.Google Scholar
Digital Library
- C. A. R. Hoare, "Communicating sequential processes", Communications of the ACM, Vol. 21, August 1978, pp 666--677. Google Scholar
Digital Library
- P. M. Lenders, "A generalized mssage-passing mechanism for Communicating Sequential Processes", IEEE Trans. on Comp., to appear. Google Scholar
Digital Library
- A. J. Martin, "The probe: an addition to communication primitives", Infomation Processing letters, 20, 1985, pp 125--130.Google Scholar
Cross Ref
- C. Mead and L. Conway, "Introduction to VLSI systems", Addison-Wesley Publishing Company, 1980. Google Scholar
Digital Library
Index Terms
Distributed microprogramming
Recommendations
Distributed microprogramming
MICRO 20: Proceedings of the 20th annual workshop on MicroprogrammingThis paper proposes the use of the microprogramming technique for synchronizing multiprocessors. The language used is an extension of CSP including the bi-io and the probe statements. We present a self-stabilizing algorithm for the generation of a two-...
Extracting more concurrency from distributed transactions
OSDI'14: Proceedings of the 11th USENIX conference on Operating Systems Design and ImplementationDistributed storage systems run transactions across machines to ensure serializability. Traditional protocols for distributed transactions are based on two-phase locking (2PL) or optimistic concurrency control (OCC). 2PL serializes transactions as soon ...
Implementing Distributed Read-Only Transactions
This paper presents an efficient scheme for eliminating conflicts between distributed read-only transactions and distributed update transactions, thereby reducing synchronization delays. The scheme makes use of a multiversion mechanism in order to ...






Comments