Specifying Graceful Degradation

IEEE Transactions on Parallel and Distributed Systems

Volumn 2, Issue 1, 1991, Pages 93-104

  Herlihy, Maurice P ^a   Wing, Tpannpttfe M ^b  

^a HEWLETT PACKARD COMPANY   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Concurrency; distributed computing; fault tolerance; formal specification; Larch

Indexed keywords

AUTOMATA THEORY; COMPUTER SOFTWARE--RELIABILITY; PROBABILITY--QUEUEING THEORY;

FAULT TOLERANT SOFTWARE; GRACEFUL DEGRADATION; NETWORK PARTITIONS; RELAXATION LATTICE METHOD; SITE CRASHES; SYNCHRONIZATION CONFLICTS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0025897759     PISSN: 10459219     EISSN: None     Source Type: Journal    
DOI: 10.1109/71.80192     Document Type: Article

References (28)

1. M., Ahamad, M.H., Ammar, Performance characterization of quorum-consensus algorithms for replicated data, Tech. Rep Sept, GIT-ICS-86/23, School of Inform, and Comput. Sci., Georgia Institute of Technol. 1986.
2. D.E., Bell, L.J., LaPadula, Secure computer systems: Unified exposition and multics interpretation, Tech. Rep, Mar, ESD-TR-75-306, The MITRE Corp., Bedford, MA 1976
3. P.A., Bernstein, N., Goodman, The failure and recovery problem for replicated databases, Proc. 2nd ACM SIGACT—SIGOPS Symp. Principles Distributed Comput., Montreal, P.Q., Canada 1983
4. K.P., Birman, Replication and fault-tolerance in the isis system, Proc. 10th Symp. Oper. Syst. Principles, 85, 668, Dec, Also TR Cornell Univ. 1985
5. A.D., Birrell, R., Levin, R., Needham, M., Schroeder, Grapevine: An exercise in distributed computing, Commun. ACM, 25, 14, 260, 274, Apr 1982
6. J., Chang, N.F., Maxemchuk, Reliable broadcast protocols, ACM Trans. Comput. Syst., 2, 3, 251, 273, Aug 1984
7. F., Cristian, A rigorous approach to fault-tolerant system development, Tech. Rep, Sept, RJ 4008, IBM Res. Lab. 1983
8. I., Durham, M., Shaw, Specifying reliability as a software attribute, Tech. Rep., Dec, CS-82-148, Carnegie-Mellon Univ. 1982
9. K.P., Eswaran, J.N., Gray, R.A., Lorie, I.L., Traiger, The notion of consistency and predicate locks in a database system, Commun. ACM, 19, 11, 624, 633, Nov 1976
10. M., Fischer, A., Michael, Sacrificing serializability to attain high availability of data in an unreliable network, Proc. ACM SIGACT-SIGMOD Symp. Principles Database Syst., Mar 1982
11. H., Garcia-Molina, Using semantic knowledge for transaction processing in a distributed database, ACM Trans. Database Syst., 8, 2, 186, 213, June 1983
12. D.K., Gifford, Weighted voting for replicated data, Proc. Seventh Oper. Syst. Principles, ACM SIGOPS, Dec 1979
13. J., Gray, Notes on Database Operating Systems, 393, 481, Berlin, Germany: Springer-Verlag
14. J.V., Guttag, J.J., Horning, J.M., Wing, The Larch family of specification languages, IEEE Software, 2, 5, 24, 36, Sept 1985
15. J.V., Guttag, J.J., Horning, J.M., Wing, Larch in five easy pieces, Tech. Rep., 5, July DEC Systems Research Center 1985
16. M.P., Herlihy, A quorum-consensus replication method for abstract data types, ACM Trans. Comput. Syst., 4, 1, Feb 1986
17. M.P., Herlihy, J.M., Wing, Specifying graceful degradation in distributed systems, Proc. Sixth ACM SIGACT-SIGOPS Symp. Principles Distributed Comput. (PODC), 87, 120, Aug, Also CMU-CS 1987
18. S., Khosla, T.S.E., Maibaum, M., Sadler, Large database specifications from small views, Proc. Fifth Conf. Foundations Software Technol. Theoret. Comput. Science (LNCS 206). Berlin, Germany: Springer-Verlag, 246, 271 1985
19. L., Lamport, Time, clocks, and the ordering of events in a distributed system, Commun. ACM, 21, 7, 558, 565, July 1978
20. B.W., Lampson, Protection, ACM Oper. Syst. Rev., 19, 13, 24, Dec. 1985
21. B.W., Lampson, Protection, ACM Oper. Syst. Rev., 19, 5, 13, 24, Dec 1985
22. B., Liskov, R., Scheifler, Guardians and actions: Linguistic support for robust, distributed programs, Trans. Programming Languages Syst., 5, 3, 381, 404, July 1983
23. B.H., Liskov, W.E., Weihl, Specifications of distributed programs, Distributed Comput., 1, 2, 102, 118, Apr 1986
24. G.J., Popek, B., Walker, J., Chow, D., Edwards, C., Kline, G., Rudisin, G., Thiel, Locus: A network transparent high reliability distributed system, Proc. Eighth Symp. Oper. Syst. Principles, Dec 1981
25. P.M., Schwarz, A.Z., Spector, Synchronizing shared abstract types, ACM Trans. Comput. Syst., 2, 3, 223, 250, Aug 1984
26. W.E., Weihl, Specification and implementation of atomic data types, Tech. Rep., Mar, TR-314, MIT Lab. forComput. Sci., W. E. Weihl and B. H. Liskov, “Specification and implementation of resilient, atomic data types,” in Proc. SIGPLAN Symp. Programming Language Issues in Software Syst., June 1984
27. J.M., Wing, A two-tiered approach to specifying programs, Tech, June Rep. M1T-LCS-TR-299, MIT Lab. forComput. Sci. 1983
28. A specifier's introduction to formal methods