Transactional events for ML

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2008, Pages 103-114

  Effinger Dean, Laura ^a   Kehrt, Matthew ^a   Grossman, Dan ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

Concurrency; Synchronous message passing; Transactional events

Indexed keywords

CONCURRENCY; CONCURRENT PROGRAMMING; DESIGN TRADE-OFFS; FUNCTIONAL INTERFACES; FUNCTIONAL LANGUAGES; HASKELL; HIGH-LEVEL SEMANTICS; INTERLEAVINGS; MULTIPLE MESSAGES; NONDETERMINISTIC CHOICES; PROGRAMMING PATTERNS; RUN-TIME SYSTEMS; SYNCHRONOUS MESSAGE PASSING; TRANSACTIONAL EVENTS; TYPE SYSTEMS;

COMPUTER PROGRAMMING; FUNCTIONAL PROGRAMMING; INFORMATION THEORY; JAVA PROGRAMMING LANGUAGE; PROGRAMMING THEORY; SEMANTICS; SYNCHRONIZATION;

MESSAGE PASSING;

EID: 59249094247     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1411204.1411222     Document Type: Conference Paper

References (22)

1. Joe Armstrong, Robert Virding, Claes Wikström, and Mike Williams. Con-current Programming in Erlang. Prentice-Hall, 2nd edition, 1996.
2. Kevin Donnelly and Matthew Fluet. Transactional events. The Journal of Functional Programming, 2008. To appear.
3. Kevin Donnelly and Matthew Fluet. Transactional events. In 11th ACM International Conference on Functional Programming, 2006.
4. Matthew Flatt and Robert Bruce Findler. Kill-safe synchronization abstractions. In ACM Conference on Programming Language Design and Implementation, 2004.
5. Tim Harris and Keir Fraser. Language support for lightweight transactions. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2003.
6. Tim Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy. Composable memory transactions. In ACM Symposium on Principles and Practice of Parallel Programming, 2005a.
7. Tim Harris, Simon Marlow, and Simon Peyton Jones. Haskell on a shared-memory multiprocessor. In Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell, 2005b.
8. C. A. R. Hoare. Communicating sequential processes. Commun. ACM, 21 (8), 1978.
9. Suresh Jagannathan, Jan Vitek, Adam Welc, and Antony L. Hosking. A transactional object calculus. Science of Computer Programming, 57(2), 2005.
10. Alan Jeffrey. A fully abstract semantics for a concurrent functional language with monadic types. In The Symposium on Logic in Computer Science, 1995.
11. Aaron Kimball and Dan Grossman. Software transactions meet first-class continuations. In 8th Annual Workshop on Scheme and Functional Programming, 2007.
12. Xavier Leroy. The Objective Carnl system release 3.10, Event module, 2007. http://caml.inria.fr/pub/docs/manual.-ocaml/libref/Event.html.
13. Katherine F. Moore and Dan Grossman. High-level small-step operational semantics for transactions. In 35th ACM Symposium on Principles of Programming Languages, 2008.
14. Prakash Panangaden and John Reppy. The essence of Concurrent ML. In Flemming Nielson, editor, ML with Concurrency: Design, Analysis, Implementation, and Application, Springer Monographs in Computer Science. Springer-Verlag, 1997.
15. John Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
16. John Reppy and Yingqi Xiao. Specialization of CML message-passing primitives. In 34th ACM Symposium on Principles of Programming Languages, 2007.
17. John Reppy and Yinqi Xiao. Toward a parallel implementation of Concurrent ML. In Workshop on Declarative Aspects of Multicore Programming, 2008.
18. Michael. F. Ringenburg and Dan Grossman. AtomCaml: First-class atomicity via rollback. In 10th ACM International Conference on Functional Programming, 2005.
19. George Russell. Events in Haskell, and how to implement them. In 6th ACM International Conference on Functional Programming, 2001.
20. Yannis Smaragdakis, Anthony Kay, Reimer Behrends, and Michal Young. Transactions with, isolation and cooperation. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2007.
21. Lukasz Ziarek and Suresh. Jagannathan. Memoizing multi-threaded transactions. In Workshop on Declarative Aspects of Multicore Programming, 2008.
22. Lukasz Ziarek, Philip Schatz, and Suresh Jagannathan. Stabilizers: A modular checkpointing abstraction for concurrent functional programs. In 11th ACM International Conference on Functional Programming, 2006.