Reliability Issues in Computing System Design

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Reliability Issues in Computing System Design

Full text

Pdf (3.95 MB)

Source

ACM Computing Surveys (CSUR) archive
Volume 10 , Issue 2 (June 1978) table of contents

Pages: 123 - 165

Year of Publication: 1978

ISSN:0360-0300

Authors

B. Randell	Computing Laboratory, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU UK
P. Lee	Computing Laboratory, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU UK
P. C. Treleaven	Computing Laboratory, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU UK

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 26, Downloads (12 Months): 205, Citation Count: 52

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/356725.356729 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	ANDE76	T. Anderson , R. Kerr, Recovery blocks in action: A system supporting high reliability, Proceedings of the 2nd international conference on Software engineering, p.447-457, October 13-15, 1976, San Francisco, California, United States
	ANDE77	ANDERSON, T.; LEE, P. A.; AND SHRI- VASTAVA, S. K. A model of recoverabd~ty m multi.level systems, Tech. Rep 115, Computing Laboratory, Umv. Newcastle upon Tyne, UK, Nov. 1977. To appear in IEE Trans. Soflw Eng
	AVIZ71	AVIZIENIS, A. et al. "The STAR (self testing and repah~ing) computer' an investigation of the theory and practice of fault tolerant computer design," IEEE Trans. Comput. C-20, 11 (Nov. 1971), 1312-1321.
	AVIZ72	AVIZIENIS, A.; AND RENNEI~, D. A. "Fault tolerance experiments with the JPL-STAR computer," IEEE COMP- CON 72, IEEE, New York, 1972, pp. 321-324.
	AVIZ76	AVIZIENIS, A "Fault-tolerant systerns." IEEE Trans. Comput C-25, 12 (Dec. 1976), 1304-1312.
	BASK72	BASKIN, H. B.; BORGERSON, B. R.; AND ROBERTS, R. "PRIME--a modular architecture for terminal-orientated systems," in Proc. 1972 AFIPS Spring Jr. Computer Conf, Vol. 40, AFIPS Press, Montvale, N.J., pp. 431-437.
	BELL64	Bell Syst. Tech. J., (Sept. 1964).
	BELL77	Bell Syst. Tech. J., (Feb. 1977).
	BJOR72	BJORK, L. A.; AND DAVIES, C.T. The semantws of the preservat~on and recovery of integrity tna data system, Rep. TR 02.540, IBM, San Jose, Calif., Dec. 1972.
	BJOR74	BJORK, L.A. Generahsed audtt trad (ledger) concepts for data base apphcatmns, Rep. TR 02.641, IBM, San Jose, Cahf., Sept. 1974
	BORG72	BORGERSON, B. R. "A fail-softly system for timesharing use," Dtgest of papers FTC-2, 1972, pp. 89-93.
	BORG73	BORGERSON, B. R "Spontaneous reconfiguration in a fail-softly computer utility," Datafa~r (1973), 326-331
	CLEM74	CLEMENT, C. F., AND TOYER, R. D. "Recovery from faults m the No. 1A processor," FTC-4, 1974, pp 5.2-5 7
	DAVI72	DAVIES, C. T. A recovery~integrity archttecture for a data system, Rep. TR 02.528, IBM, San Jose, Calif., May 1972.
	DENN76	Peter J. Denning, Fault Tolerant Operating Systems, ACM Computing Surveys (CSUR), v.8 n.4, p.359-389, Dec. 1976 [doi>10.1145/356678.356680]
	DIJK68	Edsger W. Dijkstra, The structure of the “THE”-multiprogramming system, Communications of the ACM, v.11 n.5, p.341-346, May 1968 [doi>10.1145/363095.363143]
	DIJK76	DIJKSTRA, E. W A dtsctphne of programmmg, Prentice-Hall, Inc., Eng\|ewood Cliffs, N.J., 1976.
	EDEL74	Murray Edelberg, Data base contamination and recovery, Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control, p.419-430, May 01-03, 1974, Ann Arbor, Michigan [doi>10.1145/800296.811523]
	ELSP72	Bernard Elspas , Karl N. Levitt , Richard J. Waldinger , Abraham Waksman, An Assessment of Techniques for Proving Program Correctness, ACM Computing Surveys (CSUR), v.4 n.2, p.97-147, June 1972 [doi>10.1145/356599.356602]
	ESWA76	K. P. Eswaran , J. N. Gray , R. A. Lorie , I. L. Traiger, The notions of consistency and predicate locks in a database system, Communications of the ACM, v.19 n.11, p.624-633, Nov. 1976 [doi>10.1145/360363.360369]
	FABR73	R. S. Fabry, Dynamic verification of operating system decisions, Communications of the ACM, v.16 n.11, p.659-668, Nov. 1973 [doi>10.1145/355611.362535]
	FOSD76	Lloyd D. Fosdick , Leon J. Osterweil, Data Flow Analysis in Software Reliability, ACM Computing Surveys (CSUR), v.8 n.3, p.305-330, Sept. 1976 [doi>10.1145/356674.356676]
	GOOD75	John B. Goodenough, Exception handling: issues and a proposed notation, Communications of the ACM, v.18 n.12, p.683-696, Dec. 1975 [doi>10.1145/361227.361230]
	GRAY75	GRAY, J. N.; LORIE, R. A.; PUTZOLU, G. R.; AND TRAINER, L.L. Granularity of locks and degrees of consistency ~n a shared database, IBM Research Rep. RJ1654, Sept. 1975
	GRAY77	GRAY, J.N. Private commumcation.
	HANT76	Sidney L. Hantler , James C. King, An Introduction to Proving the Correctness of Programs, ACM Computing Surveys (CSUR), v.8 n.3, p.331-353, Sept. 1976 [doi>10.1145/356674.356677]
	HEAR73	HEART, F. E.; ORNSTEIN, S. M., CROWTHER, W. R; AND BARKER, W. B "A new minlcomputer/multiprocessor for the ARPA network," in Proc. 1973 AFIPS Natl. Computer Conf, Vol 42, AFIPS Press, Montvale, N.J., pp. 529-537
	HORN74	James J. Horning , Hugh C. Lauer , P. M. Melliar-Smith , Brian Randell, A program structure for error detection and recovery, Operating Systems, Proceedings of an International Symposium, p.171-187, April 23-25, 1974
	LAMP76	LAMPSON, B.; AND STURGIS, H. Crash recovery m a dtstr~buted data storage system, Computer Science Laboratory, Xerox Palo Alto Research Center, Palo Alto, Calif., 1976.
	LEVI77	Roy Levin, Program structures for exceptional condition handling., 1977
	LOME77	D. B. Lomet, Process structuring, synchronization, and recovery using atomic actions, Proceedings of an ACM conference on Language design for reliable software, p.128-137, March 28-30, 1977, Raleigh, North Carolina
	LOND75	Ralph L. London, A view of program verification, Proceedings of the international conference on Reliable software, p.534-545, April 21-23, 1975, Los Angeles, California
	MCPH74	MCPHEE, W S "Operating system integrity in OS/VS2," IBM Syst. J. 13, 3 (1974), 230-252.
	MELL77	P. M. Melliar-Smith , B. Randell, Software reliability: The role of programmed exception handling, Proceedings of an ACM conference on Language design for reliable software, p.95-100, March 28-30, 1977, Raleigh, North Carolina
	MERL77	MERLIN, P. M.; AND RANDELL, B. Consistent state restoratmn m d~str~buted systems, Tech. Rep. 113, Computing Laboratory, Umv. Newcastle upon Tyne, UK, Oct. 1977.
	NAUR77	NAUR, P. "Software reliability," in Infotech State of the Art Conf. Rehable Software, 1977, Infotech International Ltd., Maidenhead, UK, pp. 7-13.
	NEUM73	NEUMANN, P. G.; GOLDBERG, J.; LEV- ITT, K. N.; AND WENSLEY, J. H. A study of fault-tolerant computmg, Stanford Research Inst., Menlo Park, Calif., July 1973.
	ORNS75	ORNSTEIN, S. M.; CROWTHER, W. R.; KRALEY, M. F.; BRESSLER, R D.; MI- CHAEL, A., AND HEART, F.E. "Plurlbus--a reliable multi-processor," in Proc 1975 AFIPS Natl. Computer Conf., Vol. 44, AFIPS Press, Montvale, N.J., pp. 551-559.
	PARN76	D. L. Parnas , H. Würges, Response to undesired events in software systems, Proceedings of the 2nd international conference on Software engineering, p.437-446, October 13-15, 1976, San Francisco, California, United States
	RAND75	RANDELL, B. "System structure for software fault tolerance," IEEE Trans. Softw Eng. SE-1, 2 (June 1975), 220-232.
	RAND78	RANDELL, B., LEE, P. A.; AND TRE- LEAVEN, P. C "Reliable computing systems," to appear in Lecture notes m computer science, Springer-Verlag, New York.
	ROHR73	ROHR, J. A. "Starex self-repatr routines software recovery m the JPL- STAR computer", D~gest of papers FTC-3, 1973, pp. 11-16.
	RUSS76	RUSSEL, D. L. State restoratmn amongst commumcatmg processes, Tech. Rep. 112, Digital Systems Laboratory, Stanford Umv., Stanford, Calif., June 1976
	SHOO68	SHOOMAN, M. L. Probabd~st~c rehabihty; an engineering approach, Mc- Graw-Hill, Inc, New York, 1968
	SHRI78	SHRIVASTAVA, S. K.; AND BANATRE, J- P. "Reliable resource allocation between unreliable processes," to appear in IEEE Trans. Soflw Eng. (Also published as Tech. Rep. 99, Computing Laboratory, Univ Newcastle upon Tyne, UK, June 1977.
	VERH77a	Joost Verhofstad, Recovery and crash resistance in a filing system, Proceedings of the 1977 ACM SIGMOD international conference on Management of data, August 03-05, 1977, Toronto, Ontario, Canada [doi>10.1145/509404.509430]
	VERH77b	VERHOFSTAD J. S.M. "The construction of recoverable multi-level systems," PhD Thesm, Univ. Newcastle upon Tyne, UK, Aug. 1977
	WASS76	WASSERMAN, A.I. Procedure-oriented exceptmn handhng, Medical Information Science, Univ. California, San Francisco, Calif., 1976.
	WENS72	WENSLEY, J.H. "SIFT--software nnplemented fault tolerance," in Proc. 1972 AFIPS Fall Jt. Computer Conf., Vol. 41, Part I, AFIPS Press, Montvale, N.J., pp. 243-253.
	WULF75	William A. Wulf, Reliable hardware-software architecture, Proceedings of the international conference on Reliable software, p.122-130, April 21-23, 1975, Los Angeles, California

CITED BY 52

	Tein-Hsiang Lin , Kang G. Shin, Damage Assessment for Optimal Rollback Recovery, IEEE Transactions on Computers, v.47 n.5, p.603-613, May 1998
	S. Arévalo , A. Alvarez, Fault tolerant distributed Ada, ACM SIGAda Ada Letters, v.VIII n.7, p.118-122, June 1-3, 1988
	J. E. Allchin , M. S. McKendry, Synchronization and recovery of actions, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.31-44, August 17-19, 1983, Montreal, Quebec, Canada
	Barton P. Miller , Jong-Deok Choi, A mechanism for efficient debugging of parallel programs, ACM SIGPLAN Notices, v.24 n.1, p.141-150, Jan. 1989
	Robert H. B. Netzer , Barton P. Miller, What are race conditions?: Some issues and formalizations, ACM Letters on Programming Languages and Systems (LOPLAS), v.1 n.1, p.74-88, March 1992
	Joost S. M. Verhofstad, Recovery Techniques for Database Systems, ACM Computing Surveys (CSUR), v.10 n.2, p.167-195, June 1978
	Yvon Kermarrec , Laurent Nana , Laurent Pautet, Providing fault-tolerant services to distributed Ada 95 applications, Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada, p.39-47, December 03-07, 1996, Philadelphia, Pennsylvania, United States
	Robyn R. Lutz , Johnny S. K. Wong, Detecting Unsafe Error Recovery Schedules, IEEE Transactions on Software Engineering, v.18 n.8, p.749-760, August 1992
	Joseph S. Griffin , John Craig Comfort, The simulation of a fault tolerant computer system, Proceedings of the 18th annual symposium on Simulation, p.171-187, March 1985, Tampa, Florida, United States
	Walter H. Kohler, A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems, ACM Computing Surveys (CSUR), v.13 n.2, p.149-183, June 1981
	Zhiming Liu , Mathai Joseph, Specification and verification of fault-tolerance, timing, and scheduling, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.1, p.46-89, Jan. 1999
	Hans-Ruedi Aschmann , Niklaus Giger , Elisabeth Hoepli , Peter Janak , Hubert Kirrmann, Alphorn: A Remote Procedure Call Environment for Fault-Tolerant, Heterogeneous, Distributed Systems, IEEE Micro, v.11 n.5, p.16-19, 60-67, September 1991
	Flaviu Cristian, A recovery mechanism for modular software, Proceedings of the 4th international conference on Software engineering, p.42-50.A, September 17-19, 1979, Munich, Germany
	Sany M. Leinwand, Process oriented logic simulation, Proceedings of the 18th conference on Design automation, p.511-517, June 29-July 01, 1981, Nashville, Tennessee, United States
	Hector Garcia-Molina , Kenneth Salem, Sagas, ACM SIGMOD Record, v.16 n.3, p.249-259, Dec. 1987
	Taesoon Park , Inseon Lee , Heon Y. Yeom, An efficient causal logging scheme for recoverable distributed shared memory systems, Parallel Computing, v.28 n.11, p.1549-1572, November 2002
	B. Gupta , Z. Liu , Z. Liang, On designing direct dependency: based fast recovery algorithms for distributed systems, ACM SIGOPS Operating Systems Review, v.38 n.1, p.58-73, January 2004
	Richard Koo , Sam Toueg, Checkpointing and rollback-recovery for distributed systems, Proceedings of 1986 ACM Fall joint computer conference, p.1150-1158, November 1986, Dallas, Texas, United States
	B. P. Miller , Jong-Deok Choi, A mechanism for efficient debugging of parallel programs, ACM SIGPLAN Notices, v.23 n.7, p.135-144, July 1988
	Richard D. Schlichting , Fred B. Schneider, Fail-stop processors: an approach to designing fault-tolerant computing systems, ACM Transactions on Computer Systems (TOCS), v.1 n.3, p.222-238, August 1983
	Parameswaran Ramanathan , Kang G. Shin, Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System, IEEE Transactions on Software Engineering, v.19 n.6, p.571-583, June 1993
	P. Ancilotti , B. Lazzerini , C. A. Prete , M. Sacchi, A Distributed Commit Protocol for a Multicomputer System, IEEE Transactions on Computers, v.39 n.5, p.718-724, May 1990
	Patrick A. V. Hall, Adding database management to Ada, ACM SIGAda Ada Letters, v.II n.4, p.88-91, January/February 1983
	Morteza Afghahi , Christer Svensson, Performance of Synchronous and Asynchronous Schemes for VLSI Systems, IEEE Transactions on Computers, v.41 n.7, p.858-872, July 1992
	Andy Wellings , Alan Burns, Implementing Atomic Actions in Ada 95, IEEE Transactions on Software Engineering, v.23 n.2, p.107-123, February 1997
	Houssine Chetto , Maryline Chetto, Some Results of the Earliest Deadline Scheduling Algorithm, IEEE Transactions on Software Engineering, v.15 n.10, p.1261-1269, October 1989
	J. L. Kim , T. Park, An Efficient Protocol for Checkpointing Recovery in Distributed Systems, IEEE Transactions on Parallel and Distributed Systems, v.4 n.8, p.955-960, August 1993
	Patrick A. V. Hall, Adding database management to Ada, ACM SIGMOD Record, v.13 n.3, p.13-17, April 1983
	Robert Miller , Anand Tripathi, The Guardian Model and Primitives for Exception Handling in Distributed Systems, IEEE Transactions on Software Engineering, v.30 n.12, p.1008-1022, December 2004
	Jim Gray , Daniel P. Siewiorek, High-Availability Computer Systems, Computer, v.24 n.9, p.39-48, September 1991
	J. E. Allchin , M. S. McKendry, Synchronization and recovery of actions, ACM SIGOPS Operating Systems Review, v.19 n.1, p.32-45, January 1985
	Taesoon Park , Namyoon Woo , Heon Y. Yeom, An Efficient Optimistic Message Logging Scheme for Recoverable Mobile Computing Systems, IEEE Transactions on Mobile Computing, v.1 n.4, p.265-277, October 2002
	Javier Paris , Victor Gulias , Alberto Valderruten, A high performance Erlang Tcp/Ip stack, Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, September 26-28, 2005, Tallinn, Estonia
	Feng Qin , Joseph Tucek , Jagadeesan Sundaresan , Yuanyuan Zhou, Rx: treating bugs as allergies---a safe method to survive software failures, ACM SIGOPS Operating Systems Review, v.39 n.5, December 2005
	Y. Tamir , M. Tremblay, High-Performance Fault-Tolerant VLSI Systems Using Micro Rollback, IEEE Transactions on Computers, v.39 n.4, p.548-554, April 1990
	Goutam Kumar Saha, Application semantic driven assertions toward fault tolerant computing, Ubiquity, v.7 n.22, p.1-27, June 13, 2006 - June 19, 2006
	Soyeon Park , Seung Ryoul Maeng, Log-based rollback recovery without checkpoints of shared memory in software DSM, The Journal of Supercomputing, v.35 n.2, p.141-154, February 2006
	Javier Paris , Alberto Valderruten , Victor M. Gulias, Developing a functional Tcp/Ip stack oriented towards Tcp connection replication, Proceedings of the 3rd international IFIP/ACM Latin American conference on Networking, October 10-13, 2005, Cali, Columbia
	Feng Qin , Joseph Tucek , Yuanyuan Zhou, Treating bugs as allergies: a safe method for surviving software failures, Proceedings of the 10th conference on Hot Topics in Operating Systems, p.19-19, June 12-15, 2005, Santa Fe, NM
	Feng Qin , Joseph Tucek , Yuanyuan Zhou , Jagadeesan Sundaresan, Rx: Treating bugs as allergies—a safe method to survive software failures, ACM Transactions on Computer Systems (TOCS), v.25 n.3, p.7-es, August 2007
	Bernd Walter, Strategies for handling transactions in distributed data base systems during recovery, Proceedings of the sixth international conference on Very Large Data Bases, p.384-389, October 01-03, 1980, Montreal, Quebec, Canada
	Taesoon Park , Heon Y. Yeom, A Low Overhead Logging Scheme for Fast Recovery in Distributed Shared Memory Systems, The Journal of Supercomputing, v.15 n.3, p.295-320, Mar.1.2000
	B. Gupta , S. K. Banerjee, A Roll-Forward Recovery Scheme for Solving the Problem of Coasting Forward for Distributed Systems, ACM SIGOPS Operating Systems Review, v.35 n.3, p.55-66, July 1 2001
	Alessandro Contessa, An approach to fault tolerance and error recovery in a parallel graph reduction machine: MaRS—a case study, ACM SIGARCH Computer Architecture News, v.16 n.3, p.25-32, June 1988
	Behrooz Parhami, From defects to failures: a view of dependable computing, ACM SIGARCH Computer Architecture News, v.16 n.4, p.157-168, Sept. 1988
	S. Arevalo , A. Alvarez, Fault tolerant distributed Ada, ACM SIGAda Ada Letters, v.IX n.5, p.54-59, July/Aug. 1989
	Christoph Krauí , Markus Schneider , Claudia Eckert, On handling insider attacks in wireless sensor networks, Information Security Tech. Report, v.13 n.3, p.165-172, August, 2008
	Francisco Afonso , Carlos Silva , Nuno Brito , Sergio Montenegro , Adriano Tavares, Aspect-oriented fault tolerance for real-time embedded systems, Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software, p.1-8, March 31-April 08, 2008, Brussels, Belgium
	Bharat Bhargava, Software reliability in real-time systems, Proceedings of the May 4-7, 1981, national computer conference, May 04-07, 1981, Chicago, Illinois
	Akira Sekino , Keizo Moritani , Teruaki Masai , Toshiaki Tasaki , Kazuo Goto, The DCS: a new approach to multisystem data-sharing, Proceedings of the July 9-12, 1984, national computer conference and exposition, July 09-12, 1984, Las Vegas, Nevada
	Zhongtang Cai , Vibhore Kumar , Brian F. Cooper , Greg Eisenhauer , Karsten Schwan , Robert E. Strom, Utility-driven proactive management of availability in enterprise-scale information flows, Proceedings of the ACM/IFIP/USENIX 2006 International Conference on Middleware, November 01-01, 2006, Melbourne, Australia
	Vijay Nagarajan , Dennis Jeffrey , Rajiv Gupta, Self-recovery in server programs, Proceedings of the 2009 international symposium on Memory management, June 19-20, 2009, Dublin, Ireland