Transactional monitors for concurrent objects

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3086, Issue , 2004, Pages 519-542

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

^a Purdue University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35048884255     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (41)

1. Ole Agesen, David Detlefs, Alex Garthwaite, Ross Knippel, Y. S. Ramakrishna, and Derek White. An efficient meta-lock for implementing ubiquitous synchronization. In OOPSLA'99 [34], pages 207-222.
2. BowenAlpern, C. R. Attanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber, Ton Ngo, Mark Mergen, Janice C. Shepherd, and Stephen Smith. Implementing Jalapeño in Java. In OOPSLA'99 [34], pages 314-324.
3. Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, and Peter F. Sweeney. Adaptive optimization in the Jalapeño JVM. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, volume 35, pages 47-65, October 2000.
4. David Bacon, Ravi Konuru, Chet Murthy, and Mauricio Serrano. Thin locks: Featherweight synchronization for Java. In Proceedings of the ACM Conference on Programming Language Design and Implementation, volume 33, pages 258-268, May 1998.
5. Martin Berger and Kohei Honda. The Two-Phase Commitment Protocol in an Extended piCalculus. In Luca Aceto and Bjorn Victor, editors, Electronic Notes in Theoretical Computer o Science, volume 39. Elsevier, 2003.
6. Andrew Black, Vincent Cremet, Rachid Guerraoui, and Martin Odersky. An equational theory for transactions. Technical Report CSE03-007, DepartmentofComputerScience,OGISchool of Science and Engineering, 2003.
7. Chandrasekhar Boyapati, Robert Lee, and Martin C. Rinard. Ownership types for safe programming: preventing data races and deadlocks. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, volume 37, pages 211-230, November 2002.
8. Chandrasekhar Boyapati and Martin Rinard. A parameterized type system for race-free Java programs. In OOPSLA'Ol [33], pages 56-69.
9. Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, and Ricardo Pena. The Eden coordination model for distributed memory systems. In High-Level Parallel Programming Models and Supportive Environments (HIPS). IEEE Press, 1997.
10. R. Bruni, C. Laneve, and U. Montanari. Orchestrating transactions in the join calculus. In Lubos Brim, Mojmír Kretíský Petr Jancar, and Antonín Kucera, editors, International Conference on Concurrency Theory, volume 2421 of Lecture Notes in Computer Science, pages 321-337,2002.
11. Nadia Busi, Roberto Gorrieri, and Gianluigi Zavattaro. On the Semantics of JavaSpaces. In Formal Methods for Open Object-Based Distributed Systems IV, volume 177. Kluwcr, 2000.
12. Nadia Busi, Roberto Gorrieri, and Gianluigi Zavattaro. Temporary Data in Shared Dataspace Coordination Languages. In FOSSACS'01, pages 121-136. Springer-Verlag, 2001.
13. Nadia Busi and Gianluigi Zavattaro. On the serializability of transactions in JavaSpaces. In Proc. of International Workshop on Concurrency and Coordination (CONCOORD'01). Electronic Notes in Theoretical Computer Science 54, Elsevier, 2001.
14. Michael J. Carey, David J. DeWitt, and Jeffrey F. Naughton. The OO7 benchmark. In Proceedings of the ACM International Conference on Management of Data, volume 22, pages 12-21, June 1993.
15. Tom Choithia and Dominic Duggan. Abstractions for fault-tolerant computing. Technical Report 2003-3, Department of Computer Science, Stevens Institute of Technology, 2003.
16. Panos Chrysanthis and Krithi Ramarnritham. Synthesis of extended transaction models using ACTA. ACM Transactions on Database Systems, 19(3):450-491, 1994.
17. David G. Clarke, John M. Potter, and James Noble. Ownership types for flexible alias protection. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, volume 33, pages 48-64, October 1998.
18. Cormac Flanagan and Matthias Felleisen. The semantics of future and its use in program optimizations. In Conference Record of the ACM Symposium on Principles of Programming Languages, pages 209-220,1995.
19. Cormac Flanagan and Stephen N. Freund. Type-based race detection for Java. In Proceedings of the ACM Conference on Programming Language Design and Implementation, volume 35, pages 219-232, June 2000.
20. Cormac Flanagan and Shaz Qadeer. Types for atomicity. In Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Language Design and Implementation, pages 1-12,2003.
21. Jim Gray and Andreas Reuter. Transaction Processing: Concepts and Techniques. Data Management Systems. Morgan Kaufmann, 1993.
22. Robert H. Halstead, Jr. Multilisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems, 7(4):501-538, October 1985.
23. K. Hammond and G. Michaelson, editors. Research Directions in Parallel Functional Programming. Springer-Verlag, 1999.
24. Tim Harris and Keir Fraser. Language support for lightweight transactions. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, volume 38, pages 388-402, November 2003.
25. Maurice Herlihy, Victor Luchangco, Mark Moir, and William N. Scherer, III. Software transactional memory for dynamic-sized data structures. In Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, pages 92-101, 2003.
26. Antony L. Hosking and J. Eliot B. Moss. Object fault handling for persistent programming languages: A performance evaluation. In Proceedings of the ACM Conference on ObjectOriented Programming Systems, Languages, and Applications, volume 28, pages 288-303, October 1993.
27. Suresh Jagannathan and Jan Vitek. Optimistic Concurrency Semantics for Transactions in Coordination Languages. In Coordination Models and Languages, volume 2949 of Lecture Notes in Computer Science, pages 183-198,2004.
28. E. H. Jensen, G. W. Hagensen, and J. M. Broughton. A new approach to exclusive data access in shared memory multiprocessors. Technical report, Lawrence Livermore National Laboratories, 1987.
29. H. T. Kung and J. T. Robinson. On optimistic methods for concurrency control. ACM Transactions on Database Systems, 9(4):213-226, June 1981.
30. Nancy Lynch, Michael Merritt, William Weihl, and Alan Fekete. Atomic Transactions. Morgan Kaufmann, 1994.
31. G. Michaelson, N. Scaife, P. Bristow, and P. King. Nested algorithmic skeletons from higher order functions. Parallel Algorithms and Applications, 2000. Special issue on High Level Models and Languages for Parallel Processing.
32. J. Eliot B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, Cambridge, Massachusetts, 1985.
33. Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, volume 36, November 2001.
34. Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, volume 34, October 1999.
35. Ravi Rajwar and James R Goodman. Transactional lock-free execution of lock-based programs. In Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems, volume 37, pages 5-17, October 2002.
36. John Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
37. Martin Rinard. Effective fine-grained synchronization for automatically parallelized programs using optimistic synchronization primitives. A CM Transactions on Computer Systems, 17(4):337-371, November 1999.
38. Nir Shavit and Dan Touitou. Software transactional memory. In Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, pages 204-213,1995.
39. Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, and Simon L. Peyton Jones. Algorithms + strategy = parallelism. Journal of Functional Programming, 8(1):23-60,1998.
40. Jan Vitek, Suresh Jagannathan, Adam Welc, and Antony L. Hosking. A semantic framework for designer transactions. In David E. Schmidt, editor, Proceedings of the European Symposium on Programming, volume 2986 of Lecture Notes in Computer Science, pages 249-263,2004.
41. Christoph von Praun and Thomas R. Gross. Object race detection. In OOPSLA'0l [33], pages 70-82.