| ... | ... | @@ -338,14 +338,21 @@ Documentation: |
|
|
|
- The [ Control.Concurrency](http://www.haskell.org/ghc/docs/latest/html/libraries/base/Control-Concurrent.html) module
|
|
|
|
|
|
|
|
|
|
|
|
Papers and other docs:
|
|
|
|
Papers:
|
|
|
|
|
|
|
|
|
|
|
|
- [ Concurrent Haskell](http://www.haskell.org/ghc/docs/papers/concurrent-haskell.ps.gz) (the original paper, including a semantics)
|
|
|
|
- [ Extending the Haskell FFI with Concurrency](http://www.haskell.org/~simonmar/papers/conc-ffi.pdf) (a specification of the interaction between concurrency and the FFI, with a semantics)
|
|
|
|
- [ A Draft report addendum](http://www.haskell.org/ghc/docs/papers/threads.ps.gz) (a shorter version of the above paper).
|
|
|
|
- [ Software Transactional Memory](http://research.microsoft.com/~simonpj/papers/stm/)
|
|
|
|
- [ Cheap (but Functional) Threads](http://www.cs.missouri.edu/~harrison/drafts/CheapThreads.pdf) William L. Harrison. (a threading library entirely in user-space based on resumption monads, including support for system calls)
|
|
|
|
- [ A Language-based Approach to Unifying Events and Threads](http://www.cis.upenn.edu/~lipeng/papers/lz06report.pdf) Peng Li and Steve Zdancewic. (another user-space implementation of concurrency, demonstrating efficiency and multiprocessor scalability).
|
|
|
|
|
|
|
|
|
|
|
|
other docs:
|
|
|
|
|
|
|
|
|
|
|
|
- [ State Threads for C](http://state-threads.sourceforge.net/)
|
|
|
|
- [ A Draft report addendum](http://www.haskell.org/ghc/docs/papers/threads.ps.gz) (a shorter version of the above paper).
|
|
|
|
|
|
|
|
---
|
|
|
|
|
| ... | ... | |
