Failure detection sequencers: Necessary and sufficient information about failures to solve predicate detection

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2508, Issue , 2002, Pages 280-294

  Gärtner, Felix C ^a   Pleisch, Stefan ^b  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

^b IBM RESEARCH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

AMOUNT OF INFORMATION; ASYNCHRONOUS SYSTEM; CRASH FAILURES; FAILURE DETECTION; FAILURE DETECTORS; FINAL STATE; PREDICATE DETECTION; SYNCHRONOUS SYSTEM;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84947223138     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36108-1_19     Document Type: Conference Paper

References (18)

1. B. Awerbuch. Complexity of network synchronization. Journal of the ACM, 32(4):804-823, Oct. 1985.
2. K. Birman and T. Joseph. Reliable communication in the presence of failures. ACM Transactions on Computer Systems, 5(1):47-76, Feb. 1995.
3. T. D. Chandra and S. Toueg. Unreliable failure detectors for reliable distributed systems. Journal of the ACM, 43(2):225-267, Mar. 1996.
4. B. Charron-Bost, C. Delporte-Gallet, and H. Fauconnier. Local and temporal predicates in distributed systems. ACM Transactions on Programming Languages and Systems, 17(1):157-179, Jan. 1995.
5. B. Charron-Bost, R. Guerraoui, and A. Schiper. Synchronous system and perfect failure detector: Solvability and efficiency issues. In International Conference on Dependable Systems and Networks (IEEE Computer Society), 2000.
6. C. M. Chase and V. K. Garg. Detection of global predicates: Techniques and their limitations. Distributed Computing, 11(4):191-201, 1998.
7. R. Cooper and K. Marzullo. Consistent detection of global predicates. ACM SIGPLAN Notices, 26(12):167-174, Dec. 1991.
8. V. K. Garg and J. R. Mitchell. Distributed predicate detection in a faulty environment. In Proceedings of the 18th IEEE International Conference on Distributed Computing Systems (ICDCS98), 1998.
9. F. C. Gärtner and S. Kloppenburg. Consistent detection of global predicates under a weak fault assumption. In Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems (SRDS2000), pages 94-103, Nürnberg, Germany, Oct. 2000. IEEE Computer Society Press.
10. F. C. Gärtner and S. Pleisch. (Im)Possibilities of predicate detection in crashaffected systems. In Proceedings of the 5th Workshop on Self-Stabilizing Systems (WSS2001), number 2194 in Lecture Notes in Computer Science, pages 98-113, Lisbon, Portugal, Oct. 2001. Springer-Verlag.
11. F. C. Gärtner and S. Pleisch. Failure detection sequencers: Necessary and sufficient information about failures to solve predicate detection. Research Report RZ 3438, IBM Research Laboratory, Zurich, 2002.
12. V. Hadzilacos and S. Toueg. A modular approach to fault-tolerant broadcasts and related problems. Technical Report TR94-1425, Cornell University, Computer Science Department, May 1994.
13. K. Marzullo and G. Neiger. Detection of global state predicates. In Proceedings of the 5th International Workshop on Distributed Algorithms (WDAG91), pages 254-272, 1991.
14. F. Mattern. Virtual time and global states of distributed systems. In M. C. et al., editor, Proceedings of the International Workshop on Parallel and Distributed Algorithms, pages 215-226, Chateau de Bonas, France, 1989. Elsevier Science Publishers. Reprinted on pages 123-133 in [17].
15. G. Tel. Introduction to Distributed Algorithms. Cambridge University Press, second edition, 2000.
16. S. Venkatesan. Reliable protocols for distributed termination detection. IEEE Transactions on Reliability, 38(1):103-110, Apr. 1989.
17. Z. Yang and T. A. Marsland, editors. Global States and Time in Distributed Systems. IEEE Computer Society Press, 1994.
18. P. yu Li and B. McMillin. Fault-tolerant distributed deadlock detection/resolution. In Proceedings of the 17th Annual International Computer Software and Applications Conference (COMPSAC’93), pages 224-230, Nov. 1993.