Supporting exception handling for futures in Java

ABSTRACT

A future is a simple and elegant construct that programmers can use to identify potentially asynchronous computation and to introduce parallelism into serial programs. In its recent 5.0 release, Java provides an interface-based implementation of futures that enables users to encapsulate potentially asynchronous computation and to define their own execution engines for futures. In prior work, we have proposed an alternative model, called directive-based lazy futures (DBLFutures), to support futures in Java, that simplifies Java programmer effort and improves performance and scalability of future-based applications. In the DBLFuture model, programmers use a new directive, "@future", to specify potentially concurrent computations within a serial program. DBLFutures enable programmers to focus on the logic and correctness of a program in the serial version first, and then to introduce parallelism gradually and intuitively. Moreover, DBLFutures provide greater flexibility to the Java virtual machine for efficient future support.

In this paper, we investigate the exception handling aspect of futures in Java. In Java 5.0 Future APIs, exceptions of future execution are propagated to the point in the program at which future values are queried (used). We show that this exception handling model is not appropriate or desirable for DBLFutures. Instead, we propose an as-if-serial exception handling mechanism for DBL-Futures in which the system delivers exceptions at the same point as they would be delivered if the program was executed sequentially. Our approach, we believe, provides programmers with intuitive exception handling behavior and control. We present the design and implementation of our approach within the DBLFuture framework in the Jikes Research Virtual Machine. Our results show that our implementation introduces negligible overhead for applications without exceptions, and guarantees serial semantics of exception handling for applications that throw exceptions.

REFERENCES

• 1: E. Allan, D. Chase, V. Luchangco, J. Maessen, S. Ryu, G. Steele, and S. Tobin-Hochstadt. The Fortress language specification version 0.785. Technical report, Sun Microsystems, 2005.
• 2: E. Allan, D. Chase, V. Luchangco, J. Maessen, S. Ryu, G. Steele, and S. Tobin-Hochstadt. The Fortress language specification version 0.954. Technical report, Sun Microsystems, 2006.
• 3: Matthew Arnold , Stephen Fink , David Grove , Michael Hind , Peter F. Sweeney, Adaptive optimization in the Jalapeño JVM, Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.47-65, October 2000, Minneapolis, Minnesota, United States
• 4: Stephen M. Blackburn , Antony L. Hosking, Barriers: friend or foe?, Proceedings of the 4th international symposium on Memory management, October 24-25, 2004, Vancouver, BC, Canada [doi>10.1145/1029873.1029891]
• 5: Robert D. Blumofe , Christopher F. Joerg , Bradley C. Kuszmaul , Charles E. Leiserson , Keith H. Randall , Yuli Zhou, Cilk: an efficient multithreaded runtime system, Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming, p.207-216, July 19-21, 1995, Santa Barbara, California, United States
• 6: David Callahan , Burton Smith, A future-based parallel language for a general-purpose highly-parallel computer, Selected papers of the second workshop on Languages and compilers for parallel computing, p.95-113, May 1990, Urbana, Illinois, United States
• 7: Roy H. Campbell , Brian Randell, Error recovery in asynchronous systems, IEEE Transactions on Software Engineering, v.12 n.8, p.811-826, Aug. 1986
• 8: Philippe Charles , Christian Grothoff , Vijay Saraswat , Christopher Donawa , Allan Kielstra , Kemal Ebcioglu , Christoph von Praun , Vivek Sarkar, X10: an object-oriented approach to non-uniform cluster computing, Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA
• 9: F. Cristian, Exception Handling and Software Fault Tolerance, IEEE Transactions on Computers, v.31 n.6, p.531-540, June 1982 [doi>10.1109/TC.1982.1676035]
• 10: J. Danaher. The jcilk-1 runtime system. Master's thesis, Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science, June 2005.
• 11: Thomas M. Lahey , T. M. Ellis, FORTRAN 90 Programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1994
• 12: Matteo Frigo , Charles E. Leiserson , Keith H. Randall, The implementation of the Cilk-5 multithreaded language, Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, p.212-223, June 17-19, 1998, Montreal, Quebec, Canada
• 13: G. W. Hill, ACM Algorithm 395: Student's t-distribution, Communications of the ACM, v.13 n.10, p.617-619, Oct. 1970 [doi>10.1145/355598.355599]
• 14: James Gosling , Bill Joy , Guy Steele , Gilad Bracha, Java Language Specification, Second Edition: The Java Series, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
• 15: Andrew S. Grimshaw, Easy-to-Use Object-Oriented Parallel Processing with Mentat, Computer, v.26 n.5, p.39-51, May 1993 [doi>10.1109/2.211896]
• 16: Robert H. Halstead, Jr., MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.501-538, Oct. 1985 [doi>10.1145/4472.4478]
• 17: Shin-ichi Tazuneki , Takaichi Yoshida, Concurrent Exception Handling in a Distributed Object-Oriented Computing Environment, Proceedings of the Seventh International Conference on Parallel and Distributed Systems: Workshops, p.75, July 04-07, 2000
• 18: Intermetrics, editor. Information Technology -- Programming Languages -- Ada. ISO/IEC 8652:1995(E), 1995.
• 19: V. Issarny. An exception handling mechanism for parallel object-oriented programming: Towards reusable, robust distributed software. Journal of Object-Oriented Programming, 6(6):29--39, 1993.
• 20: Valérie Issarny, An exception handling model for parallel programming and its verification, Proceedings of the conference on Software for citical systems, p.92-100, December 04-06, 1991, New Orleans, Louisiana, United States
• 21: Java Remote Method Invocation Specification. http://java.sun.com/j2se/1.4.2/docs/guide/rmi/.
• 22: IBM Jikes Research Virtual Machine (RVM). http://www-124.ibm.com/developerworks/oss/jikesrvm.
• 23: JSR166: Concurrency utilities. http://java.sun.com/j2se/1.5.0/docs/guide/concurrency.
• 24: A. Krishnamurthy , D. E. Culler , A. Dusseau , S. C. Goldstein , S. Lumetta , T. von Eicken , K. Yelick, Parallel programming in Split-C, Proceedings of the 1993 ACM/IEEE conference on Supercomputing, p.262-273, December 1993, Portland, Oregon, United States [doi>10.1145/169627.169724]
• 25: Doug Lea, A Java fork/join framework, Proceedings of the ACM 2000 conference on Java Grande, p.36-43, June 03-04, 2000, San Francisco, California, United States [doi>10.1145/337449.337465]
• 26: I. Lee. The JCilk multithreaded language. Master's thesis, Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science, August 2005.
• 27: B. H. Liskov , A. Snyder, Exception Handling in CLU, IEEE Transactions on Software Engineering, v.5 n.6, p.546-558, November 1979 [doi>10.1109/TSE.1979.230191]
• 28: 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
• 29: Bertrand Meyer, Eiffel: the language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
• 30: E. Mohr , D. A. Kranz , R. H. Halstead, Jr., Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs, IEEE Transactions on Parallel and Distributed Systems, v.2 n.3, p.264-280, July 1991 [doi>10.1109/71.86103]
• 31: OpenMP specifications. http://www.openmp.org/specs.
• 32: B. Randell, System structure for software fault tolerance, Proceedings of the international conference on Reliable software, p.437-449, April 21-23, 1975, Los Angeles, California
• 33: Exception handling and resolution in distributed object-oriented systems, Proceedings of the 16th International Conference on Distributed Computing Systems (ICDCS '96), p.545, May 27-30, 1996
• 34: Bjarne Stroustrup, The C++ programming language (2nd ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1991
• 35: R. van Nieuwpoort, J. Maassen, T. Kielmann, and H. Bal. Satin: Simple and efficient Java-based grid programming. Scalable Computing: Practice and Experience, 6(3):19--32, September 2005.
• 36: Adam Welc , Suresh Jagannathan , Antony Hosking, Safe futures for Java, Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA
• 37: Jie Xu , Alexander Romanovsky , Brian Randell, Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation, Proceedings of the The 18th International Conference on Distributed Computing Systems, p.12, May 26-29, 1998
• 38: Jie Xu , Alexander Romanovsky , Brian Randell, Concurrent Exception Handling and Resolution in Distributed Object Systems, IEEE Transactions on Parallel and Distributed Systems, v.11 n.10, p.1019-1032, October 2000 [doi>10.1109/71.888642]
• 39: Lingli Zhang , Chandra Krintz , Priya Nagpurkar, Language and Virtual Machine Support for Efficient Fine-Grained Futures in Java, Proceedings of the 16th International Conference on Parallel Architecture and Compilation Techniques, p.130-139, September 15-19, 2007 [doi>10.1109/PACT.2007.45]
• 40: L. Zhang, C. Krintz, and S. Soman. Efficient Support of Fine-grained Futures in Java. In International Conference on Parallel and Distributed Computing Systems (PDCS), 2006.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Concurrent programming structures

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Control structures

General Terms:
Languages, Performance, Reliability

Keywords:
Java, concurrent programming, exception handling, future