Serializability in Distributed Systems with Handshaking

CMU-CS-85-109

R.J.R. Back oot Abo Akademi, Department of Information Processing, Finland , Reino Kurki-Suonio oot On leave from Tampere University of Technology in Tampere, Finland.

February 1985

Two interleaving models, a concurrent model and a serial model, are given for distributed systems in which two or more processes can be synchronized for communication by a handshake mechanism. The equivalence of the two models is shown, up to fairness and justice properties. The relationships between the natural fairness and justice notions in the models are analyzed, and sufficient conditions are derived for the validity of serial reasoning in the concurrent model. Proving that these conditions hold for a particular system can be carried out totally within the simpler serial model.

21 pages

Return to: SCS Technical Report Collection
School of Computer Science homepage

This page maintained by [email protected]