Lightweight concurrency primitives for GHC

Haskell'07: Proceedings of the ACM SIGPLAN 2007 Haskell Workshop

Volumn , Issue , 2007, Pages 107-118

  Li, Peng ^a   Marlow, Simon ^b   Jones, Simon Peyton ^b   Tolmach, Andrew ^c  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b MICROSOFT RESEARCH   (United States)

^c PORTLAND STATE UNIVERSITY   (United States)

Author keywords

Concurrency; Haskell; Thread; Transactional memory

Indexed keywords

CONCURRENCY PRIMITIVES; RUNTIME SYSTEM;

COMPUTER SOFTWARE; DIGITAL LIBRARIES; FEATURE EXTRACTION;

AUTOMATIC PROGRAMMING;

EID: 38849113784     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1291201.1291217     Document Type: Conference Paper

References (25)

1. A. Appel. Compiling with Continuations. Cambridge University Press, Cambridge, 1992.
2. J. Berthold, A. Al-Zain, and H.-W. Loidl. Adaptive High-Level Scheduling in a Generic Parallel Runtime Environment. In Symposium on Trends in Functional Programming (TFP), New York, USA, April 2007.
3. C. Bmggeman, O. Waddell, and R. K. Dybvig. Representing control in the presence of one-shot continuations, pages 99-107, May 1996.
4. M. M. T. Chakravarty, R. Leshchinskiy, S. Peyton Jones, G. Keller, and S. Marlow. Data parallel haskell: a status report. In DAMP 2007: Workshop on Declarative Aspects ofMulticore Programming. ACM Press, 2007.
5. K. Claessen. A poor man's concurrency monad. Journal of Functional Programming, 9(3):313-323, 1999.
6. K. Fisher and J. Reppy. Compiler support for lightweight concurrency. Technical memorandum, Bell Labs, Mar. 2002.
7. M. Fluet, M. Rainey, and J. Reppy. Nested schedulers for heterogeneous parallelism, submitted for publication, 2007.
8. M. Fluet, M. Rainey, J. Reppy, A. Shaw, and Y. Xiao. Manticore: A heterogeneous parallel language. In Proceedings of the Workshop on Declarative Aspects of Multicore Programming (DAMP 2007), pages 37-44, Jan. 2007.
9. B. Ford and S. Susarla. CPU Inheritance Scheduling. In Usenix Association Second Symposium on Operating Systems Design and Implementation (OSDI), pages 91-105, 1996.
10. T. Hallgren, M. P. Jones, R. Leslie, and A. Tolmach. A principled approach to operating system construction in Haskell. In ICFP '05: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming, pages 116-128, New York, NY, USA, 2005. ACM Press.
11. T. Harris, S. Marlow, and S. Peyton Jones. Haskell on a sharedmemory multiprocessor. In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, pages 49-61. ACM Press, September 2005.
12. T. Harris, S. Marlow, S. Peyton Jones, and M. Herlihy. Composable memory transactions. In ACM Symposium on Principles and Practice of Parallel Programming (PPoPP'05), June 2005.
13. S. Jagannathan and J. Philbin. A customizable substrate for concurrent languages. In Pmceedings of the Conference on Programming Language Design and Implementation (PLDI), pages 55-67, New York, NY, 1992. ACM Press.
14. S. Jagannathan and J. Philbin. A foundation for an efficient multi-threaded scheme system. In Proc. LISP and Functional Programming, pages 345-357, 1992.
15. S. Marlow, S. Peyton Jones, A. Moran, and J. Reppy. Asynchronous exceptions in Haskell. In ACM Conference on Pivgramming Languages Design and Implementation (PLDI'01), pages 274-285, Snowbird, Utah, June 2001. ACM Press.
16. S. Marlow, S. Peyton Jones, and W. Thaller. Extending the Haskell foreign function interface with concurrency. In Proceedings of the ACM SIGPLAN workshop on Haskell, pages 57-68, Snowbird, Utah, USA, September 2004.
17. J. G. Morrisett and A. Tolmach. Procs and locks: a portable multiprocessing platform, for Standard ML of New Jersey. In PPOPP '93: Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming, pages 198-207, New York, NY, USA, 1993. ACM Press.
18. M. Rainey. The Manticore runtime model, Master's paper, Departent of Computer Science, University of Chicago, 2007.
19. J. Regehr. Using Hierarchical Scheduling to Support Soft Real-Time Applications on General-Purpose Operating Systems, Ph.D. thesis, University of Virginia, 2001.
20. A. Reid. Putting the spine back in the Spineless Tagless G-Machine: An implementation of resumable black-holes, volume 1595 of Lecture Notes in Computer Science, pages 186-199, 1999.
21. J. Reppy. Concurrent programming in ML. Cambridge University Press, 1999.
22. O. Shivers. Continuations and threads: Expressing machine concurrency directly in advanced languages. In Proceedings of the Second ACM SIGPLAN Workshop on Continuations, January 1997.
23. The Computer Language Shootout Benchmarks. http://shootout.alioth.debian. org/.
24. P. Trinder, K. Hammond, J. Mattson, A. Partridge, and S. Peyton Jones. GUM: a portable parallel implementation of haskell. In ACM Conference on Programming Languages Design and Implementation (PLDI'96). ACM Press, Philadelphia, May 1996.
25. M. Wand. Continuation-based multiprocessing. In Proceedings of the 1980 LISP Conference, pages 19-28, Aug. 1980.