A monad for deterministic parallelism

Haskell'11 - Proceedings of the 2011 ACM SIGPLAN Haskell Symposium

Volumn , Issue , 2011, Pages 71-82

  Marlow, Simon ^a   Newton, Ryan ^b   Peyton Jones, Simon ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

^b INTEL CORPORATION   (United States)

Author keywords

haskell; parallel

Indexed keywords

DATAFLOW; DYNAMIC CONSTRUCTION; FUNCTIONAL LANGUAGES; HASKELL; PARALLEL; PARALLEL COMPUTATION; PARALLEL EXECUTIONS; PARALLEL PROGRAMMING MODEL; PROGRAMMING MODELS; RUNTIMES;

COMPUTER PROGRAMMING LANGUAGES; DATA FLOW ANALYSIS; FUNCTIONAL PROGRAMMING; SEMANTICS;

PARALLEL PROGRAMMING;

EID: 82655188166     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2034675.2034685     Document Type: Conference Paper

References (20)

1. Arvind, R. S. Nikhil, and K. K. Pingali. I-structures: data structures for parallel computing. ACM Trans. Program. Lang. Syst., 11:598-632, October 1989.
2. C. Baker-Finch, D. J. King, and P. Trinder. An operational semantics for parallel lazy evaluation. In Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, ICFP '00, pages 162-173, 2000.
3. R. D. Blumofe, C. F. Joerg, B. C. Kuszmaul, C. E. Leiserson, K. H. Randall, and Y. Zhou. Cilk: an efficient multithreaded runtime system. In Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming, pages 207-216, 1995.
4. Z. Budimlic, M. Burke, V. Cave, K. Knobe, G. Lowney, R. Newton, J. Palsberg, D. Peixotto, V. Sarkar, F. Schlimbach, and S. Tasirlar. The CnC programming model. Journal of Scientific Programming, 2010.
5. V. Cavé, Z. Budimlić, and V. Sarkar. Comparing the usability of library vs. language approaches to task parallelism. In Evaluation and Usability of Programming Languages and Tools, PLATEAU '10, pages 9:1-9:6. ACM, 2010.
6. M. Chakravarty, R. Leshchinskiy, S. Peyton Jones, G. Keller, and S. Marlow. Data Parallel Haskell: a status report. In DAMP'07 -Workshop on Declarative Aspects of Multicore Programming. ACM Press, 2007.
7. K. Claessen. A poor man's concurrency monad. Journal of Functional Programming, 9:313-323, May 1999.
8. M. Cole. Algorithmic Skeletons: structured management of parallel computation. MIT Press, 1989.
9. M. Fluet, M. Rainey, J. Reppy, A. Shaw, and Y. Xiao. Manticore: a heterogeneous parallel language. In Proceedings of the 2007 workshop on Declarative aspects of multicore programming, pages 37-44, 2007.
10. M. I. Gordon et al. Exploiting coarse-grained task, data, and pipeline parallelism in stream programs. In ASPLOS-XII: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems, pages 151-162, 2006.
11. J. Launchbury and S. L. Peyton Jones. Lazy functional state threads. In Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, pages 24-35, 1994.
12. E. A. Lee and T. M. Parks. Readings in hardware/software co-design. chapter Dataflow process networks, pages 59-85. Kluwer Academic Publishers, 2002.
13. P. Li and S. Zdancewic. Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives. In Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, PLDI '07, pages 189-199, 2007.
14. S. Marlow, P. Maier, H.-W. Loidl, M. K. Aswad, and P. Trinder. Seq no more: better strategies for parallel Haskell. In Proceedings of the third ACM Haskell symposium on Haskell, pages 91-102, 2010.
15. D. G. Murray and S. Hand. Scripting the cloud with Skywriting. In HotCloud '10: Proceedings of the Second Workshop on Hot Topics in Cloud Computing, Berkeley, CA, USA, 2010. USENIX.
16. R. A. Nikhil. Implicit parallel programming in pH. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2001. ISBN 1-55860-644-0.
17. J. Reppy, C. V. Russo, and Y. Xiao. Parallel concurrent ML. In Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, pages 257-268, 2009.
18. E. Scholz. A concurrency monad based on constructor primitives, or, being first-class is not enough. Technical report, Universitt Berlin, 1995.
19. D. J. Spoonhower. Scheduling deterministric parallel programs. PhD thesis, Carnegie Mellon University, 2009.
20. P. Trinder, K. Hammond, H.-W. Loidl, and S. Peyton Jones. Algorithm + strategy = parallelism. 8:23-60, Jan. 1998.