Exceptional situations and program reliability

ACM Transactions on Programming Languages and Systems

Volumn 30, Issue 2, 2008, Pages

  Weimer, Westley ^a,b   Necula, George C ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b University of Virginia   (United States)

Author keywords

Compensating transactions; Error handling; Linear sagas; Linear types; Resource management

Indexed keywords

COMPENSATING TRANSACTIONS; ERROR HANDLING; LINEAR SAGAS; LINEAR TYPES; RESOURCE MANAGEMENT; RUN-TIME ERRORS;

DATA FLOW ANALYSIS; ERROR ANALYSIS; JAVA PROGRAMMING LANGUAGE; RELIABILITY ANALYSIS;

COMPUTER PROGRAM LISTINGS;

EID: 41149163668     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/1330017.1330019     Document Type: Article

References (81)

1. ABRIAL, J.-R., SCHUMAN, S. A., AND MEYER, B. 1980. Specification language. In On the Construction of Programs. 343-410.
2. AHO, A., SETHI, R., AND ULLMAN, J. 1986. Compilers: Principles, Techniques and Tools. Addison-Wesley, Reading, MA.
3. ALONSO, G., HAGEN, C., AGRAWAL, D., ABBADI, A. E., AND MOHAN, C. 2000. Enhancing the fault tolerance of workflow management systems. IEEE Concurr. 8, 3 (July), 74-81.
4. ALONSO, G., KAMATH, M., AGRAWAL, D., ABBADI, A. E., GUNTHOR, R., AND MOHAN, C. 1994. Failure handling in large-scale workflow management systems. Tech. Rep. RJ9913, IBM Almaden Research Center, San Jose, CA. Nov.
5. BALL, T. AND RAJAMANI, S. K. 2001a. Automatically validating temporal safety properties of interfaces. In SPIN 2001, Workshop on Model Checking of Software. Lecture Notes in Computer Science, vol. 2057. Springer-Verlag, New York. 103-122.
6. BALL, T. AND RAJAMANI, S. K. 2001b. SLIC: A specification language for interface checking (of C). Tech. Rep. MSR-TR-2001-21, Microsoft Research.
7. BOEHM, H.-J. 2003. Destructors, finalizers and synchronization. In Proceedings of the Symposium on Principles of Programming Languages. ACM, New York.
8. BORG, A., BLAU, W., GRAETSCH, W., HERRMANN, F., AND OBERLE, W. 1989. Fault tolerance under UNIX. ACM Trans. Comput. Syst. 7, 1 (Feb.).
9. BROWN, A. AND PATTERSON, D. 2003. Undo for operators: Building an undoable e-mail store. In USENIX Annual Technical Conference.
10. BRUNTINK, M., VAN DEURSEN, A., AND TOURWE, T. 2006. Discovering faults in idiom-based exception handling. In ICSE '06: Proceeding of the 28th International Conference on Software Engineering. ACM, New York. 242-251.
11. BURKE, M., CHOI, J., FINK, S., GROVE, D., HIND, M., SARKAR, V., SERRANO, M., SREEDHAR, V., SRINIVASAN, H., AND WHALEY, J. 1999. The jalapeno dynamic optimizing compiler for Java. In Proceedings of the ACM 1999 Java Grande Conference (San Francisco, CA). ACM, New York. 129-141.
12. CAMPIONE, M., WALRATH, K., AND HUML, A. 2000. The Java Tutorial. Addison-Wesley, Reading, MA.
13. CANDEA, G., DELGADO, M., CHEN, M., AND FOX, A. 2003. Automatic failure-path inference: A generic introspection technique for internet applications. In Proceedings of the IEEE Workshop on Internet Applications (San Jose, CA). IEEE Computer Society Press, Los Alamitos, CA.
14. CARDELLI, L. AND DAVIES, R. 1999. Service combinators for web computing. Softw. Eng. 25, 3, 309-316.
15. CARGILL, T. 1994. Exception handling: A false sense of security. C++ Report 6, 9.
16. CHANG, B.-M., JO, J.-W., YI, K., AND CHOE, K.-M. 2001. Interprocedural exception analysis for Java. In SAC '01: Proceedings of the 2001ACM Symposium on Applied Computing. ACM Press, New York. 620-625.
17. CHATTERJEE, R., RYDER, B. G., AND LANDI, W. 2001. Complexity of points-to analysis of Java in the presence of exceptions. IEEE Trans. Software Eng. 27, 6, 481-512.
18. CHEN, M. Y., KICIMAN, E., FRATKIN, E., FOX, A., AND BREWER, E. 2002. Pinpoint: Problem determination in large, dynamic Internet services. In Proceedings of the International Conference on Dependable Systems and Networks. IEEE Computer Society, Press, Los Alamitos, CA. 595-604.
19. CHOI, J.-D., GROVE, D., HIND, M., AND SARKAR, V. 1999. Efficient and precise modeling of exceptions for the analysis of Java programs. In PASTE '99: Proceedings of the 1999 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. ACM, New York. 21-31.
20. CRISTIAN, F. 1982. Exception handling and software fault tolerance. IEEE Trans. Comput. 31, 6, 531-540.
21. CRISTIAN, F. 1987. Exception handling. Tech. Rep. RJ5724, IBM Research.
22. DAN, A., DIAS, D. M., NGUYEN, T., SACHS, M., SHAIKH, H., KING, R., AND DURI, S. 1998. The Coyote project: Framework for multi-party e-commerce. In Proceedings of ECDL. Lecture Notes in Computer Science, vol. 1513. Springer-Verlag, New York. 873-889.
23. DAS, M., LERNER, S., AND SEIGLE, M. 2002. ESP: Path-sensitive program verification in polynomial time. SIGPLAN Notices 37, 5, 57-68.
24. DAYAL, U., HSU, M., AND LADIN, R. 1990. Organizing long-running activities with triggers and transactions. In Proceedings of ACM SIGMOD (Atlantic City, NJ). ACM, New York. 204-214.
25. DELINE, R. AND FÄHNDRICH, M. 2001. Enforcing high-level protocols in low-level software. In Programming Language Design and Implementation. 59-69.
26. DEMSKY, B. AND RINARD, M. C. 2003. Automatic data structure repair for self-healing systems. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM, New York.
27. DONY, C. 2001. A fully object-oriented exception handling system. In Advances in Exception Handling Techniques. Lecture Notes in Computer Science, vol. 2022. Springer-Verlag, New York. 18-38.
28. ENGLER, D., CHELP, B., CHOU, A., AND HALLEM, S. 2000. Checking system rules using system-specific, programmer-written compiler extensions. In Proceedings of the Symposium on Operating Systems Design and Implementation.
29. FÄHNDRICH, M. AND DELINE, R. 2002. Adoption and focus: Practical linear types for imperative programming. In Proceedings of the ACM Conference on Programming Language Design and Implementation. ACM, New York.
30. FINK, S., YAHAV, E., DOR, N., RAMALINGAM, G., AND GEAY, E. 2006. Effective typestate verification in the presence of aliasing. In ISSTA '06: Proceedings of the 2006 International Symposium on Software Testing and Analysis. ACM, New York. 133-144.
31. FU, C., MILANOVA, A., RYDER, B. G., AND WONNACOTT, D. 2005. Robustness testing of Java server applications. IEEE Trans. Softw. Eng. 31, 4, 292-311.
32. FU, C., RYDER, B., MILANOVA, A., AND WANNACOTT, D. 2004. Testing of Java web services for robustness. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA).
33. GARCIA-MOLINA, H. AND SALEM, K. 1987. Sagas. In Proceedings of the ACM Conference on Management of Data. ACM, New York. 249-259.
34. GAY, D. AND AIKEN, A. 1998. Memory management with explicit regions. In Prog. Lang. Des. Implement. 313-323.
35. GENERAL SERVICES ADMINISTRATION. 1996. Telecommunications: Glossary of Telecommunication terms. Tech. Rep. Federal Standard 1037C, National Communications System Technology & Standards Division. Aug.
36. GOODENOUGH, J. B. 1975. Exception handling: issues and a proposed notation. Commun. ACM 18, 12, 683-696.
37. GOSLING, J., JOY, B., AND STEELE, G. L. 1996. The Java Language Specification. The Java Series. Addison-Wesley, Reading, MA.
38. GRAY, J. 1981. The transaction concept: virtues and limitations. In Proceedings of the International Conference on Very Large Data Bases (Cannes, France). ACM, New York. 144154.
39. GUPTA, M., CHOI, J.-D., AND HIND, M. 2000. Optimizing Java programs in the presence of exceptions. In ECOOP '00: Proceedings of the 14th European Conference on Object-Oriented Programming (London, UK). 422-446.
40. HAGEN, C. AND ALONSO, G. 2000. Exception handling in workflow management systems. IEEE Trans. Software Engineering 26, 9 (Sept.), 943-959.
41. HAUSWIRTH, M. AND CHILIMBI, T 2004. Low-overhead memory leak detection using adaptive statistical profiling. In Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS).
42. HEJLSBERG, A., WILAMUTH, S., AND GOLDE, P. 2003. The C# Programming Language. AddisonWesley, Reading, MA.
43. HIBERNATE. 2004. Object/relational mapping and transparent object persistence for Java and SQL databases. In http://www.hibernate.org/.
44. HOPCROFT, J. E., MOTWANI, R., AND ULLMAN, J. D. 2000. Introduction to Automata Theory, Languages, and Computation (2nd Edition). Addison-Wesley.
45. HOVEMEYER, D. AND PUGH, W. 2004. Finding bugs is easy. In OOPSLA '04: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and applications. ACM, New York. 132-136.
46. KILDALL, G. A. 1973. A unified approach to global program optimization. In Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. ACM, New York. 194-206.
47. KORTH, H. F., LEVY, E., AND SILBERSCHATZ, A. 1990. A formal approach to recovery by compensating transactions. VLDS J. 95-106.
48. LIBLIT, B., AIKEN, A., ZHENG, A. X., AND JORDAN, M. I. 2003. Bug isolation via remote program sampling. In Programming Language Design and Implementation (San Diego, CA).
49. LINDHOLM, T. AND YELLIN, F. 1997. The Java Virtual Machine Specification. The Java Series. Addison-Wesley, Reading, MA.
50. LISKOV, B. AND SCHEIFLER, R. 1983. Guardians and actions: Linguistic support for robust, distributed programs. ACM Trans. Prog. Lang. Syst. 5, 3 (July), 381-404.
51. LIU, C., ORLOWSKA, M. E., LIN, X., AND ZHOU, X. 2001. Improving backward recovery in workflow systems. In Proceedings of the Conference on Database Systems for Advanced Applications.
52. LOWELL, D. E., CHANDRA, S., AND CHEN, P. M. 2000. Exploring failure transparency and the limits of generic recovery. In Proceedings of the USENIX Symposium, on Operating Systems Design and Implementation.
53. LOWELL, D. E. AND CHEN, P. M. 1998. Discount checking: transparent, low-overhead recovery for general applications. Tech. Rep. CSE-TR-410-99, University of Michigan. Nov.
54. MALAYERI, D. AND ALDRICH, J. 2006. Practical exception specifications. In Advanced Topics in Exception Handling Techniques, C. Dony, J. L. Knudsen, A. B. Romanovsky, and A. Tripathi, Eds. Lecture Notes in Computer Science, vol. 4119. Springer-Verlag, New York. 200-220.
55. MILLER, R. AND TRIPATHI, A. 1997. Issues with exception handling in object-oriented systems. In Proceedings of the 11th European Conference on Object-Oriented Programming (ECOOP). 85-103.
56. NECULA, G. C., MCPEAK, S., RAHUL, S. P., AND WEIMER, W. 2002. Cil: An infrastructure for C program analysis and transformation. In Proceedings of the International Conference on Compiler Construction. 213-228.
57. NECULA, G. C., MCPEAK, S., AND WEIMER, W. 2002. CCured: Type-safe retrofitting of legacy code. In Proceedings of the ACM Symposium on Principles of Programming Languages. ACM, New York. 128-139.
58. ODERSKY, M. AND WADLER, P. 1997. Pizza into Java: Translating theory into practice. In Proceedings of the ACM Symposium on Principles of Programming Languages. ACM, New York. 146159.
59. O'HANLEY, J. 2005. Always close streams. In http://www. javapractices.com/.
60. PERRY, E. H., SANKO, M., WRIGHT, B., AND PFAEFFLE, T. 2002. Oracle9i JDBC developer's guide and reference. Tech. Rep. A96654-01 (Release 2 (9.2)), http://www.oracle.com. Mar.
61. REIMER, D., SCHONBERG, E., SRINIVAS, K., SRINIVASAN, H., ALPERN, B., JOHNSON, R. D., KERSHENBAUM, A., AND KOVED, L. 2004. Saber: Smart analysis based error reduction. SIGSOFT Softw. Eng. Notes 29, 4, 243-251.
62. REPS, T., HORWITZ, S., AND SAGIV, M. 1995. Precise interprocedural dataflow analysis via graph reachability. In Conference Record of POPL '95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (San Francisco, CA). ACM, New York. 49-61.
63. ROBILLARD, M. P. AND MURPHY, G. C. 2003. Static analysis to support the evolution of exception structure in object-oriented systems. ACM Trans. Softw. Eng. Methodol. 12, 2, 191-221.
64. RYDER, B. G., SMITH, D., KREMER, U., GORDON, M., AND SHAH, N. 2000. A static study of Java exceptions using jesp. In CC '00: Proceedings of the 9th International Conference on Compiler Construction (London, UK). Springer-Verlag, New York. 67-81.
65. SAVAGE, S., BURROWS, M., NELSON, G., SOBALVARRO, P., AND ANDERSON, T. 1997. Eraser: A dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15, 4, 391-411.
66. SCHMUCK, F. AND WYLLIE, J. 1991. Experience with transactions in QuickSilver. In Proceedings of the 13th ACM SIGOPS Symposium on Operating Systems Principles. ACM, New York. 239-253.
67. SELTZER, M. I., ENDO, Y., SMALL, C., AND SMITH, K. A. 1996. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the Symposium on Operating Systems Design and Implementation (Seattle, WA). 213-227.
68. SHAPIRO, J. S., SMITH, J. M., AND FARBER, D. J. 1999. EROS: A fast capability system. In Proceedings of the Symposium on Operating Systems Principles. 170-185.
69. SINHA, S. AND HARROLD, M. J. 1999. Criteria for testing exception-handling constructs in Java programs. In Proceedings of the International Conference on Software Maintenance (ICSM'99) (Oxford, England, UK, August 30-September 3). IEEE Computer Society, Online publication: http://computer.org/proceedings/icsm/0016/0016toc.htm, 265-276.
70. SINHA, S. AND HARROLD, M. J. 2000. Analysis and testing of programs with exception handling constructs. IEEE Trans. Softw. Eng. 26, 9, 849-871.
71. SINHA, S., ORSO, A., AND HARROLD, M. J. 2004. Automated support for development, maintenance, and testing in the presence of implicit control flow. In Proceedings of the 27th International Conference on Software Engineering (ICSE 2005) (St. Louis, MO, May 15-21). ACM, New York. 336-345.
72. SOURCEFORGE.NET. 2003. About SouraeForge.net (documentAl). http://sourceforge.net. Tech. rep.
73. STALLMAN, R., PESCH, R., AND SHEBS, S. 2002. Debugging with, GDB. Free Software Foundation.
74. STROUSTRUP, B. 1991. The C++ Programming Language (second edition). Addison-Wesley, Reading, MA.
75. SUN MICROSYSTEMS. 2001. Java pet store 1.1.2 blueprint application, http://java.sun.com/blueprints/code/. Tech. rep.
76. TOFTE, M. AND TALPIN, J.-P. 1997. Region-based memory management. Inf. Comput.
77. VALETTO, G. AND KAISER, G. 2002. Acase study in software adaptation. In Proceedings of the ACM Workshop on Self-Healing Systems (WOSS '02). 73-78.
78. VAN DER WAL, S. 2002. Creating the C++ auto.ptro utility for Symbian OS. Tech. rep., http://www.symbian.com/developer/techlib/. Aug.
79. WAGNER, D., FOSTER, J. S., BREWER, E. A., AND AIKEN, A. 2000. A first step towards automated detection of buffer overrun vulnerabilities. In Proceedings of the Networking and Distributed System Security Symposium 2000 (San Diego, CA).
80. WEIMER, W. AND NECULA, G. C. 2004. Finding and preventing run-time error handling mistakes. In OOPSLA '04: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM, New York. 419-431.
81. WEIMER, W. AND NECULA, G. C. 2005. Mining temporal specifications for error detection. Lecture Notes in Computer Science, vol. 3440. Springer-Verlag, New York. 461-476.