Automatic mutual exclusion and atomicity checks

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

Volumn 5065 LNCS, Issue , 2008, Pages 510-526

  Abadi, Martín ^a,b  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMIC FRAGMENTS; CONCURRENT EXECUTION; COOPERATIVE MULTITHREADING; HEIDELBERG (CO); MUTUAL EXCLUSIONS; PROGRAMMING MODELS; SOFTWARE TRANSACTIONAL MEMORY; SPRINGER (CO);

AUTOMATIC PROGRAMMING; GRAPH THEORY;

CONCURRENCY CONTROL;

EID: 45849123887     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68679-8_32     Document Type: Conference Paper

References (16)

1. Abadi, M., Birrell, A., Harris, T., Isard, M.: Semantics of transactional memory and automatic mutual exclusion. In: Proc. 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 63-74 (2008)
2. Adya, A., Howell, J., Theimer, M., Bolosky, W.J., Douceur, J.R.: Cooperative task management without manual stack management. In: Proc. 2002 USENIX Annual Technical Conference, pp. 289-302 (2002)
3. Allen, E., Chase, D., Hallett, J., Luchangco, V., Maessen, J.-W., Ryu, S., Steele, G.L., Jr., Tobin-Hochstadt, S.: The Fortress language specification, v1.0β. Technical report, Sun Microsystems (March 2007)
4. Boudol, G.: Fair cooperative multithreading. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 272-286. Springer, Heidelberg (2007)
5. Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Proc. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 209-220 (2005)
6. Carlstrom, B.D., McDonald, A., Chafi, H., Chung, J., Minh, C.C., Kozyrakis, C., Olukotun, K.: The Atomos transactional programming language. In: PLDI 2006: Proc. 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 1-13 (2006)
7. Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: Proc. 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 338-349 (2003)
8. Garcia-Molina, H., Salem, K.: Sagas. In: Proc. ACM SIGMOD 1987 Annual Conference, pp. 249-259 (1987)
9. Harris, T., Fraser, K.: Language support for lightweight transactions. In: Proc. 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 388-402 (2003)
10. Harris, T., Marlow, S., Peyton-Jones, S., Herlihy, M.: Composable memory transactions. In: PPoPP 2005: Proc. 10th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 48-60 (2005)
11. Harris, T., Plesko, M., Shinnar, A., Tarditi, D.: Optimizing memory transactions. In: Proc. 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 14-25 (2006)
12. Isard, M., Birrell, A.: Automatic mutual exclusion. In: Proc. 11th Workshop on Hot Topics in Operating Systems (2007)
13. Roe, P., Szyperski, C.A.: Mianjin: A parallel language with a type system that governs global system behaviour. In: Weck, W., Gutknecht, J. (eds.) JMLC 2000. LNCS, vol. 1897, pp. 38-50. Springer, Heidelberg (2000)
14. Shavit, N., Touitou, D.: Software transactional memory. In: Proc. 14th Annual ACM Symposium on Principles of Distributed Computing, pp. 204-213 (1995)
15. Smaragdakis, Y., Kay, A., Behrends, R., Young, M.: Transactions with isolation and cooperation. In: Proc. 22nd Annual ACM SIGPLAN Conference on ObjectOriented Programming, Systems, Languages, and Applications, pp. 191-210 (2007)
16. Andrew, K.: Wright and Matthias Felleisen. A syntactic approach to type soundness 115(1), 38-94 (1994)