Safe futures for Java

ACM SIGPLAN Notices

Volumn 40, Issue 10, 2005, Pages 439-453

  Welc, Adam ^a   Jagannathan, Suresh ^a   Hosking, Antony ^a  

^a Purdue University   (United States)

Author keywords

Concurrency; Futures; Java; Safety

Indexed keywords

CONCURRENCY; FUTURES; JAVA; PARALLELISM;

BINARY CODES; COMPUTATION THEORY; COMPUTATIONAL METHODS; DATABASE SYSTEMS; MATHEMATICAL MODELS;

JAVA PROGRAMMING LANGUAGE;

EID: 33745198925     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1103845.1094845     Document Type: Article

References (45)

1. ALDRICH, J., CHAMBERS, C., SIRER, E. G., AND EGGERS, S. J. Static analyses for eliminating unnecessary synchronization from Java programs. In Proceedings of the International Static Analysis Symposium (Venice, Italy, Sept.), A. Cortesi and G. Filé, Eds.vol. 1694 of Lecture Notes in Computer Science. Springer, 1999, pp. 19-38.
2. ALDRICH, J., SIRER, E. G., CHAMBERS, C., AND EGGERS, S. J. Comprehensive synchronization elimination for Java. Science of Computer Programming 47, 2-3 (2003), 91-120.
3. ALPERN, B., ATTANASIO, C. R., BARTON, J. J., COCCHI, A., HUMMEL, S. F., LIEBER, D., NGO, T., MERGEN, M., SHEPHERD, J. C., AND SMITH, S. Implementing Jalapeño in Java. In OOPSLA'99 [35], pp. 314-324.
4. ARNOLD, M., FINK, S. J., GROVE, D., HIND, M., AND SWEENEY, P. F. Adaptive optimization in the Jalapeño JVM. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (Minneapolis, Minnesota, Oct.). ACM SIGPLAN Notices 35, 10 (Oct. 2000), pp. 47-65.
5. BERNSTEIN, A. Program analysis for parallel processing. IEEE Transactions on Computers 15, 5 (Oct. 1966), 757-762.
6. BLANCHET, B. Escape analysis for object-oriented languages: Application to java. In OOPSLA'99 [35], pp. 20-34.
7. BOGDA, J., AND HÖLZLE, U. Removing unnecessary synchronization in Java. In OOPSLA'99 [35], pp. 35-46.
8. BOYAPATI, C., LEE, R., AND RINARD, M. C. Ownership types for safe programming: preventing data races and deadlocks. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (Seattle, Washington, Nov.). ACM SIGPLAN Notices 37, 11 (Nov. 2002), pp. 211-230.
9. BURKE, M. G., CHOI, J.-D., FINK, S. J., GROVE, D., HIND, M., SARKAR, V., SERRANO, M. J., SREEDHAR, V. C., SRINIVASAN, H., AND WHALEY, J. The Jalapeno dynamic optimizing compiler for Java. In Proceedings of the ACM Java Grande Conference (San Francisco, California, June). 1999, pp. 129-141.
10. CAREY, M. J., DEWITT, D. J., KANT, C., AND NAUGHTON, J. F. A status report on the OO7 OODBMS benchmarking effort. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (Portland, Oregon, Oct.). ACM SIGPLAN Notices 29, 10 (Oct. 1994), pp. 414-426.
11. CAREY, M. J., DEWITT, D. J., AND NAUGHTON, J. F. The OO7 benchmark. In Proceedings of the ACM International Conference on Management of Data (Washington, DC, May). ACM SIGMOD Record 22, 2 (June 1993), pp. 12-21.
12. CHOI, J.-D., GUPTA, M., SERRANO, M., SREEDHAR, V. C., AND MIDKIFF, S. Escape analysis for Java. In OOPSLA'99 [35], pp. 1-19.
13. CHOI, J.-D., LEE, K., LOGINOV, A., O'CALLAHAN, R., SARKAR, V., AND SRIDHARAN, M. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the ACM Conference on Programming Language Design and Implementation (Berlin, Germany, June). ACM SIGPLAN Notices 37, 5 (May 2002), pp. 258-269.
14. CLARKE, D. G., POTTER, J. M., AND NOBLE, J. Ownership types for flexible alias protection. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (Vancouver, Canada, Oct.). ACM SIGPLAN Notices 33, 10 (Oct. 1998), pp. 48-64.
15. FLANAGAN, C., AND FELLEISEN, M. The semantics of future and its use in program optimizations. In Conference Record of the ACM Symposium on Principles of Programming Languages (San Francisco, California, Jan.). 1995, pp. 209-220.
16. FLANAGAN, C., AND FELLEISEN, M. The semantics of future and an application. J. Funct. Program. 9, 1 (2005), 1-31.
17. FLANAGAN, C., AND FREUND, S. N. Type-based race detection for Java. In Proceedings of the ACM Conference on Programming Language Design and Implementation (Vancouver, Canada, June). ACM SIGPLAN Notices 35, 6 (June 2000), pp. 219-232.
18. FLANAGAN, C., AND FREUND, S. N. Atomizer: a dynamic atomicity checker for multithreaded programs. In Conference Record of the ACM Symposium, on Principles of Programming Languages (Venice, Italy, Jan.). 2004, pp. 256-267.
19. FLANAGAN, C., AND QADEER, S. Types for atomicity. In Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Language Design and Implementation (New Orleans, Louisiana, Jan.). 2003, pp. 1-12.
20. FLATT, M., KRISHNAMURTHI, S., AND FELLEISEN, M. Classes and mixins. In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, 1998, pp. 171-183.
21. HALSTEAD, JR., R. H. Multilisp: A language for concurrent symbolic computation. ACM Trans. Program. Lang. Syst. 7, 4 (Oct. 1985), 501-538.
22. HARRIS, T., AND FRASER, K. Language support for lightweight transactions. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (Anaheim, California, Nov.). ACM SIGPLAN Notices 38, 11 (Nov. 2003), pp. 388-402.
23. HERLIHY, M., LUCHANGCO, V., MOIR, M., AND SCHERER, III, W. N. Software transactional memory for dynamic-sized data structures. In Proceedings of the Annual ACM Symposium on Principles of Distributed Computing (Boston, Massachusetts, July). 2003, pp. 92-101.
24. HERLIHY, M. P., AND MOSS, J. E. B. Lock-free garbage collection on multiprocessors. IEEE Transactions on Parallel and Distributed Systems 3, 3 (May 1992), 304-311.
25. HOSKING, A. L., AND MOSS, J. E. B. Object fault handling for persistent programming languages: A performance evaluation. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (Washington, DC, Sept.). ACM SIGPLAN Notices 28, 10 (Oct. 1993), pp. 288-303.
26. JENSEN, E. H., HAGENSEN, G. W., AND BROUGHTON, J. M. A new approach to exclusive data access in shared memory multiprocessors. Tech. rep., Lawrence Livermore National Laboratories, 1987.
27. JSR166: Concurrency utilities. http://java.sun.com/j2se/1.5.0/docs/guide/ concurrency/.
28. KATZ, M. Paratran: A transparent, transaction based runtime mechanism for parallel execution of scheme. Tech. rep., Massachusetts Institute of Technology, Cambridge, MA, USA, 1989.
29. 5 report on the algorithmic language Scheme. ACM SIGPLAN Notices 33, 9 (Sept. 1998), 26-76.
30. KRANZ, D., HALSTEAD, JR., R. H., AND MOHR, E. Mul-T: A high-performance parallel Lisp. In Proceedings of the ACM Conference on Programming Language Design and Implementation (Portland, Oregon, June). ACM SIGPLAN Notices 24, 7 (July 1989), pp. 81-90.
31. LISKOV, B., AND SHRIRA, L. Promises: Linguistic support for efficient asynchronous procedure calls in distributed systems. In Proceedings of the ACM Conference on Programming Language Design and Implementation (Atlanta, Georgia, June). ACM SIGPLAN Notices 23, 7 (July 1988), pp. 260-267.
32. MELLOR-CRUMMEY, J. On-the-fly detection of data races for programs with nested fork-join parallelism. In Proceedings of the ACM/IEEE Conference on Supercomputing (Albuquerque, New Mexico, Nov.). 1991, pp. 24-33.
33. MOHR, E., KRANZ, D. A., AND HALSTEAD, JR., R. H. Lazy task creation: A technique for increasing the granularity of parallel programs. In Proceedings of the ACM Conference on Lisp and Functional Programming (Nice, France, June). 1990, pp. 185-197.
34. O'CALLAHAN, R., AND CHOI, J.-D. Hybrid dynamic data race detection. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (San Diego, California, June). 2003, pp. 167-178.
35. Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (Denver, Colorado, Nov.). ACM SIGPLAN Notices 34, 10 (Oct. 1999).
36. PRATIKAKIS, P., SPACCO, J., AND HICKS, M. W. Transparent proxies for Java futures. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (Vancouver, Canada, Oct.). ACM SIGPLAN Notices 39, 10 (Oct. 2004), pp. 206-223.
37. RAJWAR, R., AND GOODMAN, J. R. Transactional lock-free execution of lock-based programs. In Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems (San Jose, California, Oct.). ACM SIGPLAN Notices 37, 10 (Oct. 2002), pp. 5-17.
38. RINARD, M. C., SCALES, D. J., AND LAM, M. S. Jade: A high-level, machine-independent language for parallel programming. IEEE Computer 26, 6 (1993), 28-38.
39. SAVAGE, S., BURROWS, M., NELSON, G., SOBALVARRO, P., AND ANDERSON, T. Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15, 4 (Nov. 1997), 391-411.
40. SHAVIT, N., AND TOUITOU, D. Software transactional memory. In Proceedings of the Annual ACM Symposium on Principles of Distributed Computing (Ottawa, Canada, Aug.). 1995, pp. 204-213.
41. SMITH, L. A., BULL, J. M., AND OBDRZÁLEK, J. A parallel Java Grande benchmark suite. In Proceedings of the ACM/IEEE Conference on Supercomputing (Denver, Colorado, Nov.). 2001, p. 8.
42. UNGUREANU, C., AND JAGANNATHAN, S. Concurrency analysis for Java. In Proceedings of the International Static Analysis Symposium (Santa Barbara, California, Jun./Jul.), J. Palsberg, Ed. vol. 1824 of Lecture Notes in Computer Science. 2000, pp. 413-432.
43. VON PRAUN, C., AND GROSS, T. R. Object race detection. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (Tampa, Florida, Oct.). ACM SIGPLAN Notices 36, 11 (Nov. 2001), pp. 70-82.
44. VON PRAUN, C., AND GROSS, T. R. Static conflict analysis for multi-threaded object-oriented programs. In Proceedings of the ACM Conference on Programming Language Design and Implementation (San Diego, California, June). 2003, pp. 115-128.
45. WELC, A., JAGANNATHAN, S., AND HOSKING, A. L. Transactional monitors for concurrent objects. In Proceedings of the European Conference on Object-Oriented Programming (Oslo, Norway, June), M. Odersky, Ed. vol. 3086 of Lecture Notes in Computer Science. Springer-Verlag, 2004, pp. 519-542.