Supporting customized failure models for distributed software

Distributed Systems Engineering

Volumn 6, Issue 3, 1999, Pages 103-111

  Hiltunen, Matti A ^a   Immanuel, Vijaykumar ^a,b   Schlichting, Richard D ^a  

^a University of Arizona   (United States)

^b HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000208701     PISSN: 09671846     EISSN: None     Source Type: Journal    
DOI: 10.1088/0967-1846/6/3/302     Document Type: Article

References (28)

1. Schneider F 1990 Implementing fault-tolerant services using the state machine approach: a tutorial ACM Comput. Surv. 22 299-319
2. Chang J and Maxemchuk N 1984 Reliable broadcast protocols. ACM Trans. Comput. Syst. 2 251-73
3. Cristian F, Aghili H, Strong R and Dolev D 1985 Atomic broadcast: from simple message diffusion to Byzantine agreement Proc. 15th Symp. on Fault-Tolerant Computing (Ann Arbor, MI) pp 200-6
4. Lamport L, Shostak R and Pease M 1982 The Byzantine generals problem ACM Trans. Program. Lang. Syst. 4 382-401
5. Powell D 1992 Failure mode assumptions and assumption coverage Proc. 22nd IEEE Symp. on Fault-Tolerant Computing (Boston, MA) pp 386-95
6. Thambidurai P and Park Y-K 1988 Interactive consistency with multiple failure modes Proc. 7th Symp. on Reliable Distributed Systems (Los Alamitos, CA: IEEE Computer Society Press) pp 93-100
7. Bhatti N, Hiltunen M, Schlichting R and Chiu W 1998 Coyote: a system for constructing fine-grain configurable communication services ACM Trans. Comput. Syst. 16 321-66
8. Hiltunen M, Schlichting R, Han X, Cardozo M and Das R 1999 Real-time dependable channels: customizing QoS attributes for distributed systems IEEE Trans. Parallel Distrib. Syst. 10600-12
9. Travostino F, Menze E and Reynolds F 1996 Paths: programming with system resources in support of real-time distributed applications Proc. IEEE Workshop on Object-Oriented Real-Time Dependable Systems (Laguna Beach, CA) (Los Alamitos, CA: IEEE Computer Society Press)
10. Hutchinson N and Peterson L 1991 The x-kernel: an architecture for implementing network protocols IEEE Trans. Software Eng. 17 64-76
11. Agha G and Sturman D 1994 A methodology for adapting to patterns of faults Foundations of Dependable Computing: Models and Frameworks for Dependable Systems ed G Koob and C Lau (Dordrecht: Kluwer) pp 23-60
12. Fabre J-C and Perennou T 1998 A metaobject architecture for fault tolerant distributed systems: the FRIENDS approach IEEE Trans. Comput. (Special Issue) 47 78-95
13. Nelson B 1981 Remote procedure call PhD Thesis Department of Computer Science (Pittsburgh, PA: Carnegie-Mellon University)
14. Cheriton D 1986 VMTP: a transport protocol for the next generation of communication systems SIGCOMM'86: Proc. Symp. on Communication Architectures and Protocols (New York: ACM Press) pp 406-15
15. Birman K 1985 Replication and fault-tolerance in the Isis system Proc. 10th ACM Symp. Operating System Principles (Orcas Island, WA) pp 79-86
16. Kopetz H, Grunsteidl G and Reisinger J 1991 Fault-tolerant membership service in a synchronous distributed real-time system Dependable Computing for Critical Applications ed A Avizienis and J C Laprie (Vienna: Springer) pp 411-29
17. Bernstein P, Hadzilacos V and Goodman N 1987 Concurrency Control and Recovery in Database Systems (New York: Addison-Wesley)
18. Fischer M, Lynch N and Paterson M 1985 Impossibility of distributed consensus with one faulty process J. ACM 32 374-82
19. Chang I, Hiltunen M and Schlichting R 1998 Affordable fault tolerance through adaptation Parallel and Distributed Processing (Lecture Notes in Computer Science vol 1388) ed J Rolin (New York: Springer) pp 585-603
20. Lincoln P and Rushby J 1993 A formally verified algorithm for interactive consistency under a hybrid fault model Proc. 23rd Int. Symp. on Fault-Tolerant Computing (Toulouse) pp 402-11
21. Walter C, Hugue M and Suri N 1995 Continual on-line diagnosis of hybrid faults Dependable Computing for Critical Applications vol 4, ed F Cristian et al (Vienna: Springer) pp 233-49
22. Sturman D and Agha G 1994 A protocol description language for customizing failure semantics Proc. 13th Symp. on Reliable Distributed Systems (Los Alamitos, CA: IEEE Computer Society Press) pp 148-57
23. Fabre J-C, Nicomette V, Perennou T, Stroud R and Wu Z 1995 Implementing fault tolerant applications using reflective object-oriented programming Proc. 25th Int. Symp. on Fault-Tolerant Computing (Pasadena, CA) pp 489-98
24. Hiltunen M and Schlichting R 1995 Constructing a configurable group RPC service Proc. 15th Int. Conf. on Distributed Computing Systems (Vancouver) pp 288-95
25. Bhatti N and Schlichting R 1995 A system for constructing configurable high-level protocols Proc. SIGCOMM '95 (Cambridge, MA) pp 138-50
26. Huang Y-M and Ravishankar C 1994 Designing an agent synthesis system for cross-RPC communication IEEE Trans. Software Eng. 19 188-98
27. Hutchinson N, Peterson L, O'Malley S and Abbott M 1989 RPC in the x-kernel: evaluating new design techniques Proc. 12th ACM Symp. on Operating Systems Principles (Litchfield Park, AZ) pp 91-101
28. Hiltunen M, Jaiprakash S and Schlichting R 1999 Exploiting fine-grain configurability for secure communication Technical Report 99-08 University of Arizona