Partial memoization of concurrency and communication

ACM SIGPLAN Notices

Volumn 44, Issue 9, 2009, Pages 161-172

  Ziarek, Lukasz ^a   Sivaramakrishnan, K C ^a   Jagannathan, Suresh ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

Concurrent ml; Concurrent programming; Multicore systems; Partial memoization; Software transactions

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SCIENCE;

COMMUNICATION ACTIONS; CONCURRENT ML; CONCURRENT PROGRAMMING; INPUT/OUTPUT BEHAVIORS; MEMOIZATION; MESSAGE-BASED COMMUNICATION; MULTI-CORE SYSTEMS; OPTIMIZATION TECHNIQUES;

MULTICORE PROGRAMMING;

EID: 70350435468     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1631687.1596575     Document Type: Conference Paper

References (26)

1. Umut A. Acar, Guy E. Blelloch, and Robert Harper. Selective Memoization. In POPL, pages 14-25, 2003.
2. Umut A. Acar, Amal Ahmed, and Matthias Blume. Imperative Self- Adjusting Computation. In POPL, pages 309-322, 2008.
3. Ali-Reza Adl-Tabatabai, Brian T. Lewis, Vijay Menon, Brian R. Murphy, Bratin Saha, and Tatiana Shpeisman. Compiler and Runtime Support for Efficient Software Transactional Memory. In PLDI, pages 26-37, 2006.
4. Michael J. Carey, David J. DeWitt, and Jeffrey F. Naughton. The 007 benchmark. SIGMOD Record, 22(2):12-21, 1993.
5. Kevin Donnelly and Matthew Fluet. Transactional Events. In ICFP, pages 124-135, 2006.
6. Laura Effinger-Dean, Matthew Kehrt, and Dan Grossman. Transactional events for ml. In ICFP '08, pages 103-114, 2008. ISBN 978-1-59593- 919-7.
7. Michael I. Gordon, William Thies, and Saman Amarasinghe. Exploiting Coarse-Grained Task, Data, and Pipeline Parallelism in Stream Programs. In ASPLOS-XII, pages 151-162, 2006.
8. Rachid Guerraoui, Michal Kapalka, and Jan Vitek. STMBench7: A Benchmark for Software Transactional Memory. In EuroSys, pages 315-324, 2007.
9. Matthew Hammer, Umut A. Acar, Mohan Rajagopalan, and Anwar Ghuloum. A Proposal for Parallel Self-Adjusting Computation. In Workshop on Declarative Aspects of Multicore Programming, 2007.
10. Tim Harris and Keir Fraser. Language support for lightweight transactions. In OOPSLA, pages 388-402, 2003.
11. Tim Harris, Simon Marlow, Simon Peyton-Jones, and Maurice Herlihy. Composable Memory Transactions. In Proceedings of the ACM Conference on Principles and Practice of Parallel Programming, pages 48-60, 2005.
12. Allan Heydon, Roy Levin, and Yuan Yu. Caching function calls using precise dependencies. In PLDI, pages 311-320, 2000.
13. Ruy Ley-Wild, Matthew Fluet, and Umut A. Acar. Compiling self-adjusting programs with continuations. In ICFP, pages 321-334, 2008.
14. Yanhong A. Liu and Tim Teitelbaum. Caching Intermediate Results for Program Improvement. In PEPM, pages 190-201, 1995.
15. Richard Matthew Mccutchen and Samir Khuller. Streaming algorithms for k-center clustering with outliers and with anonymity. In APPROX '08/RANDOM '08, pages 165-178, 2008.
16. MLton. http://www.mlton.org.
17. Christopher J. F. Pickett and Clark Verbrugge. Software Thread Level Speculation for the Java Language and Virtual Machine Environment. In Proceedings of the InternationalWorkshop on Languages and Compilers for Parallel Computing, 2005.
18. W. Pugh and T. Teitelbaum. Incremental Computation via Function Caching. In POPL, pages 315-328, 1989.
19. William Pugh. An Improved Replacement Strategy for Function Caching. In LFP, pages 269-276, 1988.
20. Shaz Qadeer, Sriram K. Rajamani, and Jakob Rehof. Summarizing procedures in concurrent programs. In POPL, pages 245-255, 2004.
21. John Reppy and Yingqi Xiao. Towards a Parallel Implementation of Concurrent ML. In DAMP 2008, January 2008.
22. John H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
23. Michael F. Ringenburg and Dan Grossman. AtomCaml: First-Class Atomicity via Rollback. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pages 92-104, 2005.
24. Bratin Saha, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Chi Cao Minh, and Benjamin Hertzberg. McRT-STM: a High-Performance Software Transactional Memory system for a Multi-Core Runtime. In PPoPP, pages 187-197, 2006. (Pubitemid 44758689)
25. Kedar Swadi, Walid Taha, Oleg Kiselyov, and Emir Pasalic. A Monadic Approach for Avoiding Code Duplication When Staging Memoized Functions. In PEPM, pages 160-169, 2006.
26. Lukasz Ziarek, Philip Schatz, and Suresh Jagannathan. Stabilizers: A Modular Checkpointing Abstraction for Concurrent Functional Programs. In ACM International Conference on Functional Programming, pages 136- 147, 2006.