P. Michael Melliar-Smith
University of California at Santa Barbara, Santa Barbara
-
Synchronizing Clocks in the Presence of Faults
Journal of the ACM, vol. 32,no. 1,Jan/1985 – JACM
Algorithms are described for maintaining clock synchrony in a distributed multiprocess system where each process has its own clock. These algorithms work in the presence of arbitrary clock or process failures, including “two-faced clocks” that ...
bibtex -
Totem: A Fault-Tolerant Multicast Group Communication System
Communications of the ACM, vol. 39,no. 4,1996 – CACM
54 April 1996/Vol. 39, No. 4 COMMUNICATIONS OF THE ACM Many applications can benefit from distributed systems based on multiple computers interconnected by a com-munication network. Distributed systems use inexpensive high-performance computers and ...
bibtex -
Broadcast Protocols for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems, vol. 1,no. 1,1990 – TPDS
An innovative approach is presented to the design of fault-tolerant distributed systems that avoids the several rounds of message exchange required by current protocols for consensus agreement. The approach is based on broadcast communication over a ...
bibtex -
The Totem Single-Ring Ordering and Membership Protocol
ACM Transactions on Computer Systems, vol. 13,no. 4,1995 – TOCS
Fault-tolerant distributed systems are becoming more important, but in existing systems, maintaining the consistency of replicated data is quite expensive. The Totem single-ring protocol supports consistent concurrent operations by placing a total ...
bibtex -
A Graphical Interval Logic for Specifying Concurrent Systems
ACM Transactions on Software Engineering and Methodology, vol. 3,no. 2,1994 – TOSEM
This article describes a graphical interval logic that is the foundation of a tool set supporting formal specification and verification of concurrent software systems. Experience has shown that most software engineers find standard temporal logics ...
bibtex -
Extended Virtual Synchrony
ICDCS 1994: Poznan, 1994 – ICDCS
We formulate a model of extended virtual synchrony that defines a group communication transport service for multicast and broadcast communication in a distributed system. The model extends the virtual synchrony model of the Isis system to support ...
bibtex -
Byzantine Clock Synchronization
Third annual ACM symposium on Principles of distributed computing, 1984 – PODC
An informal description is given of three fault-tolerant clock-synchronization algorithms. These algorithms work in the presence of arbitrary kinds of failure, including “two-faced” clocks. Two of the algorithms are derived from Byzantine ...
bibtex -
The SecureRing Protocols for Securing Group Communication
The SecureRing group communication protocols provide reliable ordered message delivery and group membership services despite Byzantine faults such as might be caused by modifications to the programs of a group member following illicit access to, or ...
bibtex -
An Interval Logic for Higher-Level Temporal Reasoning
PODC 1983: Montreal, 1983 – PODC
During the last several years, we have explored temporal logic as a framework for specifying and reasoning about concurrent programs, distributed systems, and communications protocols. Previous papers[Schwartz/Melliar-Smith81, 82, Vogt82a,b] report ...
bibtex -
Fast Message Ordering and Membership Using a Logical Token-Passing Ring
ICDCS 1993: Pittsburgh, 1993 – ICDCS
Many protocols exist to support the maintenance of consistency of data in fault-tolerant distributed systems; these protocols are quite expensive and thus have not been widely adopted. The Totem protocol supports consistent concurrent operations by ...
bibtex
