Computing global functions in asynchronous distributed systems with perfect failure detectors

IEEE Transactions on Parallel and Distributed Systems

Volumn 11, Issue 9, 2000, Pages 897-909

  Helary J M ^a   Hurfin, M ^a   Mostefaoui, A ^a   Raynal, M ^a   Tronel, F ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANT COMPUTER SYSTEMS; FUNCTIONS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; THEOREM PROVING;

ASYNCHRONOUS DISTRIBUTED SYSTEMS; GLOBAL DATA COMPUTATION; GLOBAL FUNCTIONS; PERFECT FAILURE DETECTORS; PROCESS CRASH;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0034262430     PISSN: 10459219     EISSN: None     Source Type: Journal    
DOI: 10.1109/71.879773     Document Type: Article

References (28)

1. B. Awerbuch, "Complexity of Network Synchronization," J. ACM, vol. 32, no. 4, pp. 802-823, 1985.
2. J.-Cl. Bermond, J.-Cl. Konig, and M. Raynal, "General and Efficient Decentralized Consensus Protocols," Proc. Second Int'l. Workshop Distributed Algorithms (WDAG' 87), J. Van Leeuwen ed., pp. 41-56, 1987.
3. P.A. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database Systems, Reading, Mass.: Addison-Wesley, 1987.
4. R. Brand, "Iso-Ethernet: Bridging the Gap from WAN to LAN," Data Comm., 1995.
5. T. Chandra and S. Toueg, "Unreliable Failure Detectors for Reliable Distributed Systems," J. ACM, vol. 43, no. 2, pp. 225-267, Mar. 1996.
6. T. Chandra, V. Hadzilacos, and S. Toueg, "The Weakest Failure Detector for Solving Consensus," J. ACM, vol. 43, no. 4, pp. 685-722, July 1996.
7. A. Doudou, B. Garbinato, R. Guerraoui, and A. Schiper, "Muteness Failure Detectors: Specification and Implementation," Proc. Third European Dependable Computing Conf. (EDCC '99), pp. 71-87, Sept. 1999.
8. D. Dolev, R. Reischuk, and R. Strong, "Early Stopping in Byzantine Agreement," J. ACM, vol. 37, no. 4, pp. 720-741, Apr. 1990.
9. M.J. Fischer, N. Lynch, and M.S. Paterson, "Impossibility of Distributed Consensus with One Faulty Process," J. ACM, vol. 32, no. 2, pp. 374-382, Apr. 1985.
10. E. Fromentin, M. Raynal, and F. Tronel, "On Classes of Problems in Asynchronous Distributed Systems with Process Crashes," Proc. 19th IEEE Int. Conf. Distributed Computing Systems (ICDCS '99), pp. 470-477, May 1999.
11. V.K. Garg and J. Ghosh, "Repeated Computation of Global Functions in a Distributed Environment," IEEE Trans. Parallel and Distributed Systems, vol. 5, no. 8, pp. 823-834, 1994.
12. V.K. Garg, Principles of Distributed Systems. Kluwer Academic, 1996.
13. R. Guerraoui, "Revisiting the Relationship Between Non-Blocking Atomic Commitment and Consensus," Proc. Ninth Int'l Workshop Distributed Algorithms (WDAG '95), J.M. Hélary and M. Raynal eds., pp. 87-100, 1995.
14. V. Hadzilacos and S. Toueg, "Reliable Broadcast and Related Problems," Distributed Systems, S. Mullender ed., pp. 97-145, 1993.
15. J.-M. Hélary and M. Raynal, Synchronization and Control of Distributed Systems and Programs. John Wiley & Sons, 1990.
16. M. Hurfin and M. Raynal, "A Simple and Fast Asynchronous Consensus Protocol Based on a Weak Failure Detector," Distributed Computing, vol. 12, no. 4, pp. 209-223, 1999.
17. M. Hurfin and F. Tronel, "A Solution to Atomic Commitment Based on an Extended Consensus Protocol," Proc. Sixth IEEE Workshop Future Trends of Distributed Computing Systems (FTDCS '97), pp. 98-103, 1997.
18. N. Lynch, Distributed Algorithms. Morgan Kaufmann, 1996
19. J. Matocha and T. Camp, "A Taxonomy of Distributed Termination Detection Algorithms," J. Systems and Software, vol. 43, pp. 207-221, 1998.
20. F. Mattern, "Algorithms for Distributed Termination Detection," Distributed Computing, vol. 2, pp. 161-175, 1987.
21. A. Mostefaoui and M. Raynal, "Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A Generic Quorum-Based Approach," Proc. 13th Int'l Symp. Distributed Computing (DISC '99), pp. 49-63, 1999.
22. L. Pease, R. Shostak, and L. Lamport, "Reaching Agreement in Presence of Faults," J. ACM, vol. 27, no. 2, pp. 228-234, 1980.
23. M. de Prycker, Asynchronous Transfer Mode: Solution for Broadband ISDN. Prentice Hall, 1995.
24. M. Raynal, "Non-Blocking Atomic Commitment in Distributed Systems: A Tutorial Based on a Generic Protocol," J. Computer Systems Science and Eng., vol. 15, no. 2, pp. 77-86, 2000.
25. J. Rufino, P. Verissimo, P. Arroz, C. Almeida, and L. Rodrigues, "Fault-Tolerant Broadcast in CAN," Proc. 28th Int'l Symp. Fault-Tolerant Computing (FTCS '28), pp. 150-159, 1998.
26. A. Schiper, "Early Consensus in an Asynchronous System with a Weak Failure Detector," Distributed Computing, vol. 10, pp. 149-157, 1997.
27. G. Tel, Intro. to Distributed Algorithms. Cambridge Univ. Press, 1994.
28. P. Veríssimo, Distributed Systems, Second ed., S. Mullender ed., Addison-Wesley, pp. 447-490, 1993.