Joseph Y. Halpern
- ACT97.M.K. Aguilera, W. Chen, and S. Toueg. Heartbeat: a tirneout-free failure de. tector for quiescent reliable communication. In Proceedings of the 11th International -Workshop on Distributed Algorithms, pages 126--140. Springer-Verlag, 1997. A filll ver.qian is al.qo availahle as Technical Report 97-1631, Department of Computer Science, Cornell University, 1997. Google Scholar
Digital Library
- BJ87.K. Birman and T. Joseph. Exploiting Virtual Synchrony in Distributed Systems. In 11th Symposium on Operating System .c'/1T&c.~p&co) ,{~G,~C:D x,0o~.,Jo~ ~.~ol. Google ScholarDigital Library
- CHT96.T. D. Chandra, V. Hadzilacos, and S. 'l-bueg. 'T'he weakest failure detector for solving consensus. Journal of the A C'M, aa'~g,q-722, 1996. Google ScholarDigital Library
- Coa86.B. Coan. A communication-efficient canonical form for fault toletant distributed protols. In proc. 5th ACM Syrup. on Principles of Distributed Computing, pages 63-72, 1986. Google ScholarDigital Library
- CT96.T.D. Chandra and S. Toueg. Unreliable Failure Detectors for Reliable Distributed Systems. Journal of the ACM, 43(2):225- 267, 1996. Google ScholarDigital Library
- FHMV95.R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, Mass., 1995. Google ScholarDigital Library
- FLP85.M.J.Fischer, N.A Lynch,and M. S. Paterson. Impossibility of distributed consensus with one faulty processor. Journal of the A CM, 32(2):374-382, 1985. Google ScholarDigital Library
- GT89.A. Gopal and S. Toueg. Reliable Broadcast in Synchronous and Asynchronous Environments. in 3rd WDAG. Springer Verlag (LNCS 39~), pages 110-123, 1989. Google ScholarDigital Library
- SS93.A. Schiper and A. Sandoz. Uniform Reliable Multicast in a Virtually Synchronous Environment. In Proceedings of the IEEE 13th iGDCv, 1993.Google ScholarCross Ref
Index Terms
- A knowledge-theoretic analysis of uniform distributed coordination and failure detectors
Recommendations
Unreliable failure detectors for reliable distributed systems
We introduce the concept of unreliable failure detectors and study how they can be used to solve Consensus in asynchronous systems with crash failures. We characterise unreliable failure detectors in terms of two properties—completeness and accuracy. We ...
A knowledge-theoretic analysis of uniform distributed coordination and failure detectors
It is shown that, in a precise sense, if there is no bound on the number of faulty processes in a system with unreliable but fair communication, Uniform Distributed Coordination (UDC) can be attained if and only if a system has perfect failure ...
Asynchronous failure detectors
PODC '12: Proceedings of the 2012 ACM symposium on Principles of distributed computingFailure detectors - oracles that provide information about process crashes - are an important abstraction for crash tolerance in distributed systems. Although current failure-detector theory provides great generality and expressiveness, it also poses ...
Comments