Revocation techniques for Java concurrency

Concurrency and Computation: Practice and Experience

Volumn 18, Issue 12, 2006, Pages 1613-1656

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

^a Purdue University   (United States)

Author keywords

Atomicity; Concurrency; Isolation; Java; Speculation; Synchronization

Indexed keywords

ABSTRACTING; AUTOMATION; COMPUTER SYSTEM RECOVERY; CONCURRENT ENGINEERING; INTERCONNECTION NETWORKS; PERT; SEMANTICS; SYNCHRONIZATION;

ATOMICITY; EXCLUSION MONITORS; JAVA CONCURRENCY; JAVA MONITORS;

JAVA PROGRAMMING LANGUAGE;

EID: 33749359469     PISSN: 15320626     EISSN: 15320634     Source Type: Journal    
DOI: 10.1002/cpe.1008     Document Type: Article

References (43)

1. Bacon D, Konuru R, Murthy C, Serrano M. Thin locks: Featherweight synchronization for Java. Proceedings of the ACM Conference on Programming Language Design and Implementation, vol. 33. ACM Press: New York, 1998; 258-268.
2. Boyapati C, Lee R, Rinard MC. Ownership types for safe programming: Preventing data races and deadlocks. Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, vol. 37. ACM Press: New York, 2002; 211-230.
3. Boyapati C, Rinard M. A parameterized type system for race-free Java programs. Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, vol. 36. ACM Press: New York, 2001; 56-69.
4. Flanagan C, Freund SN. Atomizer: A dynamic atomicity checker for multithreaded programs. Conference Record of the ACM Symposium on Principles of Programming Languages. ACM Press: New York, 2004; 256-267.
5. Flanagan C, Qadeer S. Types for atomicity. Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Language Design and Implementation. ACM Press: New York, 2003; 1-12.
6. Alpern B et al. Implementing Jalapeño in Java. Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, vol. 34. ACM Press: New York, 1999; 314-324.
7. Sha L, Rajkumar R, Lehoczky JP. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers 1990; 29(9):1175-1185.
8. Gray J, Reuter A. Transaction processing: Concepts and techniques. Data Management Systems. Morgan Kaufmann: San Mateo, CA. 1993.
9. Kung HT, Robinson JT. On optimistic methods for concurrency control. ACM Transactions on Database Systems 1981; 9(4):213-226.
10. Manson J, Pugh W. JSR133: Java Memory Model and Thread Specification, 2004.
11. Gosling J, Joy B, Steele G Jr, Bracha G. The Java Language Specification (2nd edn). Addison-Wesley: Reading, MA, 2000.
12. Lindholm T, Yellin F. The Java Virtual Machine Specification. Addison-Wesley: Reading, MA, 1999.
13. Moss JEB. Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press: Cambridge, MA, 1985.
14. Moss JEB. Nested transactions: An approach to reliable distributed computing. PhD Thesis, Massachusetts Institute of Technology, Cambridge, MA, April 1981.
15. (Also published as Technical Report 260, MIT Laboratory for Computer Science, Cambridge, MA, 1981.)
16. Carey MJ, DeWitt DJ, Naughton JF. The OO7 benchmark. Proceedings of the ACM International Conference on Management of Data, vol. 22. ACM Press: New York, 1993; 12-21.
17. Carey MJ, DeWitt DJ, Kant C, Naughton JF. A status report on the OO7 OODBMS benchmarking effort. Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, vol. 29. ACM Press: New York, 1994; 414-426.
18. Adya A, Gruber R, Liskov B, Maheshwari U. Efficient optimistic concurrency control using loosely synchronized clocks. ACM SIGMOD Record 1990; 24(2):23-34.
19. Herlihy M. Apologizing versus asking permission: Optimistic concurrency control for abstract data types. ACM Transactions on Database Systems 1995; 15(1):96-124.
20. Stonebraker M, Hellerstein J (eds.). Readings in Database Systems (3rd edn). Morgan Kaufmann: San Mateo, CA, 1998.
21. Harris T, Fraser K. Language support for lightweight transactions. Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, vol. 38. ACM Press: New York, 2003; 388-402.
22. Rajwar R, Goodman JR. Transactional lock-free execution of lock-based programs. Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems, vol. 37. ACM Press: New York, 2002; 5-17.
23. Jensen EH, Hagensen GW, Broughton JM. A new approach to exclusive data access in shared memory multiprocessors. Technical Report, Lawrence Livermore National Laboratories, 1987.
24. Hosking AL, Moss JEB. Object fault handling for persistent programming languages: A performance evaluation. Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, vol. 28. ACM Press: New York, 1993; 288-303.
25. Shavit N, Touitou D. Software transactional memory. Proceedings of the Annual ACM Symposium on Principles of Distributed Computing. ACM Press: New York, 1995; 204-213.
26. Herlihy M, Luchangco V, Moir M, Scherer WN III. Software transactional memory for dynamic-sized data structures. Proceedings of the Annual ACM Symposium on Principles of Distributed Computing. ACM Press: New York, 2003; 92-101.
27. Pizlo F, Prochazka M, Jagannathan S, Vitek J. Transactional lock-free objects for real-time Java. Proceedings of the PODC Workshop on Concurrency and Synchronization in Java Programs, 2004; 54-62.
28. Rinard M. Effective fine-grained synchronization for automatically parallelized programs using optimistic synchronization primitives. ACM Transactions on Computer Systems 1999; 17(4):337-371.
29. Harris T, Fraser K. Revocable locks for non-blocking programming. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. ACM Press: New York, 2005.
30. Clarke DC, Potter JM, Noble J. Ownership types for flexible alias protection. Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, vol. 33. ACM Press: New York, 1998; 48-64.
31. von Praun C, Gross TR. Object race detection. Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, vol. 36. ACM Press: New York, 2001; 70-82.
32. Agesen O, Detlefs D, Garthwaite A, Knippel R, Ramakrishna YS, White D. An efficient meta-lock for implementing ubiquitous synchronization. Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, vol. 34. ACM Press: New York, 1999; 207-222.
33. Lynch N, Merritt M, Weihl W, Fekete A. Atomic Transactions. Morgan Kaufmann: San Mateo, CA, 1994.
34. Chrysanthis P, Ramamritham K. Synthesis of extended transaction models using ACTA. ACM Transactions on Database Systems 1994; 19(3):450-491.
35. Black A, Cremet V, Guerraoui R, Odersky M. An equational theory for transactions. Proceedings of the Conference on Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science, vol. 2914). Springer: Berlin, 2003; 38-49.
36. Choithia T, Duggan D. Abstractions for fault-tolerant computing. Technical Report 2003-3, Department of Computer Science, Stevens Institute of Technology, 2003.
37. Bruni R, Laneve C, Montanari U. Orchestrating transactions in the join calculus. Proceedings of the International Conference on Concurrency Theory (Lecture Notes in Computer Science, vol. 2421), Brim L, Kretíský M, Jancar P, Kucera A (eds.). Springer: Berlin, 2002; 321-337.
38. Busi N, Gorrieri R, Zavattaro G. On the semantics of JavaSpaces. Formal Methods for Open Object-Based Distributed Systems IV (IFIP Conference Proceedings, vol. 177), Smith SF, Talcott CL (eds.). Kluwer: Dordrecht, 2000.
39. Busi N, Zavattaro G. On the serializability of transactions in shared dataspaces with temporary data. Proceedings of the ACM Symposium on Applied Computing. ACM Press: New York, 2002; 359-366.
40. Busi N, Gorrieri R, Zavattaro G. Temporary data in shared dataspace coordination languages. Proceedings of the International Conference on Foundations of Software Science and Computation Structures (Lecture Notes in Computer Science, vol. 2030), Honsell F, Miculan M (eds.). Springer: Berlin, 2001; 121-136.
41. Berger M, Honda K. The two-phase commitment protocol in an extended pi-calculus. Satellite Workshops from CONCUR 2000, vol. 39. Elsevier: Amsterdam, 2000.
42. Jagannathan S, Vitek J. Optimistic concurrency semantics for transactions in coordination languages. Coordination Models and Languages. 6th International Conference COORDINATION 2004 (Lecture Notes in Computer Science, vol. 2949), De Nicola R, Ferrari GL, Meredith G (eds.). Springer: Berlin, 2004; 183-198.
43. Vitek J, Jagannathan S, Welc A, Hosking AL. A semantic framework for designer transactions. Proceedings of the European Symposium on Programming (Lecture Notes in Computer Science, vol. 2986), Schmidt DE (ed.). Springer: Berlin, 2004; 249-263.