Exceptions and side-effects in atomic blocks

Science of Computer Programming

Volumn 58, Issue 3, 2005, Pages 325-343

  Harris, Tim ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Atomic blocks; Exceptions; Non blocking synchronization; Software transactional memory

Indexed keywords

ABSTRACTING; CODES (STANDARDS); DATA STRUCTURES; SECURITY OF DATA;

ATOMIC BLOCKS; EXCEPTIONS; NON-BLOCKING SYNCHRONIZATION; SOFTWARE TRANSACTIONAL MEMORY;

JAVA PROGRAMMING LANGUAGE;

EID: 27644522943     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2005.03.005     Document Type: Conference Paper

References (22)

1. G. Bollella, B. Brosgol, P. Dibble, S. Furr, J. Gosling, D. Hardin, M. Turnbull, and R. Belliardi The Real-Time Specification for Java 2000 Addison Wesley
2. P. Brinch Hansen Distributed processes: A concurrent programming concept Communications of the ACM 21 11 1978 934 941
3. P. Brinch Hansen Edison - a multiprocessor language Software - Practice and Experience 11 4 1981 325 361
4. T.H. Cormen, C.E. Leiserson, and R.L. Rivest Introduction to Algorithms 1990 MIT Press Cambridge, Mass.
5. F. Curbera, F. Leymann, T. Storey, D. Ferguson, and S. Weerawarana Web Services Platform Architecture: Soap, WSDL, WS-Policy, WS-Addressing, WS-Bpel, WS-Reliable Messaging and More 2005 Prentice Hall
6. K. Fraser, Practical lock freedom, Ph.D. Thesis, University of Cambridge, Computer Laboratory, 2003
7. L. Hammond, B.D. Carlstrom, V. Wong, B. Hertzberg, M. Chen, C. Kozyrakis, and K. Olukotun Programming with transactional coherence and consistency (TCC) ASPLOS-XI: Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems 2004 ACM Press 1 13
8. T. Harris, Design choices for language-based transactions, Tech. Rep. UCAM-CL-TR-572, University of Cambridge, Computer Laboratory, August 2003
9. T. Harris, K. Fraser, Language support for lightweight transactions, in: Object-Oriented Programming, Systems, Langauges & Applications, OOPSLA'03, 2003, pp. 388-402
10. T. Harris, M. Herlihy, S. Marlow, S. Peyton-Jones, Composable memory transactions, in: Proceedings of the ACM Symposium on Principles and Practice of Parallel Programming, 2005
11. M. Herlihy, V. Luchangco, M. Moir, and W.N. Scherer, III Software transactional memory for dynamic-sized data structures Proceedings of the 22nd Annual ACM Symposium on Principles of Distributed Computing 2003 ACM Press 92 101
12. M. Herlihy, and J.E.B. Moss Transactional memory: Architectural support for lock-free data structures Proceedings of the 20th Annual International Symposium on Computer Architecture 1993 IEEE Computer Society Press 289 301
13. C.A.R. Hoare Towards a theory of parallel programming Operating Systems Techniques A.P.I.C. Studies in Data Processing vol. 9 1972 61 71
14. 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
15. D.B. Lomet Process structuring, synchronization and recovery using atomic actions D.B. Wortman Proceedings of an ACM Conference on Language Design for Reliable Software 1977 ACM 128 137
16. R. Rajwar, and J.R. Goodman Transactional lock-free execution of lock-based programs ACM SIGPLAN Notices 37 10 2002 5 17
17. M.L. Scott Language support for loosely coupled distributed programs IEEE Transactions on Software Engineering SE 13 1 1987 88 103
18. A. Shinnar, D. Tarditi, M. Plesko, B. Steensgaard, Integrating support for undo with exception handling, Tech. Rep. MSR-TR-2004-140, Microsoft Research, December 2004
19. I. Singh, B. Stearns, and M. Johnson Designing Enterprise Applications with the J2EE Platform 2nd edition 2002 Addison Wesley
20. M. Tofte, and J.-P. Talpin Region-based memory management Information and Computation 132 2 1997 109 176
21. A. Welc, A.L. Hosking, S. Jagannathan, Preemption-based avoidance of priority inversion for java, in: Proceedings of the 2004 International Conference on Parallel Processing, ICPP, 2004, pp. 529-538
22. A. Welc, S. Jagannathan, T. Hosking, Transactional monitors for concurrent objects, in: Proceedings of the European Conference on Object-Oriented Programming, ECOOP, 2004, pp. 519-542