A transactional object calculus

Science of Computer Programming

Volumn 57, Issue 2, 2005, Pages 164-186

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

^a Purdue University   (United States)

Author keywords

Nesting; Object calculus; Optimistic concurrency; Threads; Transactions; Two phase locking

Indexed keywords

BINARY CODES; CONCURRENCY CONTROL; DATA STRUCTURES; MATHEMATICAL MODELS; NETWORK PROTOCOLS; SEMANTICS;

NESTING; OBJECT CALCULUS; OPTIMISTIC CONCURRENCY; THREADS; TRANSACTIONS; TWO-PHASE LOCKING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 21344437343     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2005.03.001     Document Type: Article

References (24)

1. M. Atkinson, M. Jordan, A review of the rationale and architectures of PJama: a durable, flexible, evolvable and scalable orthogonally persistent programming platform, Technical Report TR-2000-90, Sun Microsystems Laboratories, June 2000
2. N. Benton, L. Cardelli, and C. Fournet Modern concurrency abstractions for C# Proceedings of the 16th European Conference on Object-Oriented Programming 2002 Springer-Verlag 415 440
3. A. Black, V. Cremet, R. Guerraoui, M. Odersky, An equational theory for transactions, Technical Report CSE 03-007, Department of Computer Science, OGI School of Science and Engineering, 2003
4. R. Bruni, C. Laneve, U. Montanari, Orchestrating transactions in the join calculus, in: 13th International Conference on Concurrency Theory, 2002
5. N. Busi, R. Gorrieri, G. Zavattaro, On the serializability of transactions in JavaSpaces, in: ConCoord 2001, International Workshop on Concurrency and Coordination, 2001
6. T. Chothia, D. Duggan, Abstractions for fault-tolerant computing, Technical Report 2003-3, Department of Computer Science, Stevens Institute of Technology, 2003
7. P. Chrysanthis, and K. Ramamritham Synthesis of extended transaction models using ACTA ACM Transactions on Database Systems 19 3 1994 450 491
8. L. Daynès Implementation of automated fine-granularity locking in a persistent programming language Software-Practice and Experience 30 4 2000 325 361
9. L. Daynès, and G. Czajkowski High-performance, space-efficient, automated object locking Proceedings of the International Conference on Data Engineering 2001 IEEE Computer Society 163 172
10. L. Daynès, G. Czajkowski, Lightweight flexible isolation for language-based extensible systems, in: Proceedings of the International Conference on Very Large Data Bases, 2002
11. D.D. Detlefs, M.P. Herlihy, and J.M. Wing Inheritance of synchronization and recovery in Avalon/C++ IEEE Computer 21 12 1988 57 69
12. Camelot and Avalon: A Distributed Transaction Facility J.L. Eppinger L.B. Mummert A.Z. Spector 1991 Morgan Kaufmann
13. K.P. Eswaran, J.N. Gray, R.A. Lorie, and I.L. Traiger The notion of consistency and predicate locks in a database system Communications of the ACM 19 11 1976 624 633
14. A. Garthwaite, S. Nettles, Transactions for Java, in: M.P. Atkinson and M.J. Jordan (Eds.), Proceedings of the First International Workshop on Persistence and Java, Sun Microsystems Laboratories Technical Report 96-58, November 1996, pp. 6-14
15. J. Gray, and A. Reuter Transaction processing: concepts and techniques Data Management Systems 1993 Morgan Kaufmann
16. N. Haines, D. Kindred, J.G. Morrisett, S.M. Nettles, and J.M. Wing Composing first-class transactions ACM Transactions on Programming Languages and Systems 16 6 1994 1719 1736
17. A. Igarashi, B.C. Pierce, and P. Wadler Featherweight Java: a minimal core calculus for Java and GJ ACM Transactions on Programming Languages and Systems 23 3 2001 396 450
18. R.J. Lipton Reduction: a new method of proving properties of systems of processes Proceedings of the 2nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages 1975 ACM Press 78 86
19. B. Liskov, and R. Scheifler Guardians and actions: Linguistic support for robust distributed programs ACM Transactions on Programming Languages and Systems 5 3 1983 381 404
20. N. Lynch, M. Merritt, W. Weihl, and A. Fekete Atomic Transactions 1994 Morgan-Kaufmann
21. S. Matsuoka, and A. Yonezawa Analysis of inheritance anomaly in object-oriented concurrent programming languages P. Wegner G. Agha A. Yonezawa Research Directions in Concurrent Object-Oriented Programming 1993 The MIT Press 107 150 (Chapter 4)
22. J.E.B. Moss Nested Transactions: An Approach to Reliable Distributed Computing 1985 MIT Press Cambridge, MA
23. S. Qadeer, S.K. Rajamani, and J. Rehof Summarizing procedures in concurrent programs Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2004 ACM Press 245 255
24. J. Vitek, S. Jagannathan, A. Welc, and A.L. Hosking A semantic framework for designer transactions Proceedings of the European Symposium on Programming 2004 Springer-Verlag 249 263