<div dir="ltr"><div>Thanks for heads up, Ben! This is useful stuff to take into account. I also wonder how is this list (mine ++ yours) is relevant to what GHC actually has these days. But maybe that's harder to answer quickly.</div><div><br></div><div>--</div><div>Best wishes,</div><div>Artem<br></div><div><br></div><div><br></div></div><br><br><div class="gmail_quote"><div dir="ltr">On Thu, Dec 6, 2018 at 10:47 AM Ben Gamari <<a href="mailto:ben@smart-cactus.org" target="_blank">ben@smart-cactus.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Artem Pelenitsyn <<a href="mailto:a.pelenitsyn@gmail.com" target="_blank">a.pelenitsyn@gmail.com</a>> writes:<br>
<br>
> Hello devs,<br>
><br>
> I've been working on a short survey devoted to a topic of multithreading<br>
> inside the GHC compiler and runtime. So far I was mostly looking at the<br>
> following three papers<br>
><br>
> [1] P. W. Trinder, K. Hammond, J. S. Mattson, Jr., A. S. Partridge, and S.<br>
> L. Peyton Jones. Gum: A portable parallel implementation of Haskell.  PLDI<br>
> ’96<br>
><br>
> [2] Tim Harris, Simon Marlow, and Simon Peyton Jones. Haskell on a<br>
> shared-memory multiprocessor. Haskell ’05<br>
><br>
> [3] Simon Marlow, Simon Peyton Jones, and Satnam Singh. Runtime support for<br>
> multicore Haskell. ICFP ’09<br>
><br>
> Can you suggest any other papers adding insights on how GHC uses multiple<br>
> capabilities for anything from GC to the implementation of<br>
> Parallel/Concurrent Haskell? Perhaps, something more recent than the above,<br>
> but preferably published in academic venues.<br>
><br>
Here are a few others but I may have missed a few:<br>
<br>
 * Parallel Generational-Copying Garbage Collection with a Block-Structured Heap (Simon Marlow, Tim Harris, Roshan P. James, Simon Peyton Jones) In ISMM '08: Proceedings of the 7th international symposium on Memory management, Tucson, Arizona, ACM, June 2008 <br>
 * Concurrent Haskell, Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne.<br>
 * Composable Memory Transactions, Tim Harris, Simon Marlow, Simon Peyton-Jones, and Maurice Herlihy. In Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (PPoPP '05) <br>
 * Transactional Memory with Data Invariants, Tim Harris and Simon Peyton Jones. In TRANSACT '06 <br>
<br>
Cheers,<br>
<br>
- Ben<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>