<div dir="ltr"><div>Thank you all for the feedback again! I managed to make use of only basic papers in time. The result is here:</div><div><br></div><div>github repo: <a href="https://github.com/ulysses4ever/CS7600-Survey-Paper">https://github.com/ulysses4ever/CS7600-Survey-Paper</a></div><div></div><div>current PDF: <a href="https://github.com/ulysses4ever/CS7600-Survey-Paper/releases/download/v1.0.0/CS7600__Survey_Paper.pdf">https://github.com/ulysses4ever/CS7600-Survey-Paper/releases/download/v1.0.0/CS7600__Survey_Paper.pdf</a></div><div><br></div><div>--</div><div>Best, Artem<br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr">On Fri, 7 Dec 2018 at 13:23 Artem Pelenitsyn <<a href="mailto:a.pelenitsyn@gmail.com">a.pelenitsyn@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Thanks, Tom! I didn't realize that this one was merged into GHC. I wonder if the work presented on Haskell Symposium this year about a libuv-based I/O manager (<a href="https://dl.acm.org/citation.cfm?id=3242759" target="_blank">https://dl.acm.org/citation.cfm?id=3242759</a>) will go somewhere…</div><div><br></div><div>--</div><div>Best, Artem<br></div></div><div dir="ltr"><br><div class="gmail_quote"><div dir="ltr">On Fri, 7 Dec 2018 at 12:00 Tom Murphy <<a href="mailto:amindfv@gmail.com" target="_blank">amindfv@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">There's also "Mio: A High-Performance Multicore IO Manager for GHC"<br>
<br>
<a href="http://haskell.cs.yale.edu/wp-content/uploads/2013/08/hask035-voellmy.pdf" rel="noreferrer" target="_blank">http://haskell.cs.yale.edu/wp-content/uploads/2013/08/hask035-voellmy.pdf</a><br>
<br>
On 12/7/18, Artem Pelenitsyn <<a href="mailto:haskelier.artem@gmail.com" target="_blank">haskelier.artem@gmail.com</a>> wrote:<br>
> Thanks for heads up, Ben! This is useful stuff to take into account. I also<br>
> wonder how is this list (mine ++ yours) is relevant to what GHC actually<br>
> has these days. But maybe that's harder to answer quickly.<br>
><br>
> --<br>
> Best wishes,<br>
> Artem<br>
><br>
><br>
><br>
><br>
> 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>
><br>
>> 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<br>
>> > 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<br>
>> S.<br>
>> > L. Peyton Jones. Gum: A portable parallel implementation of Haskell.<br>
>> 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<br>
>> for<br>
>> > multicore Haskell. ICFP ’09<br>
>> ><br>
>> > Can you suggest any other papers adding insights on how GHC uses<br>
>> > multiple<br>
>> > capabilities for anything from GC to the implementation of<br>
>> > Parallel/Concurrent Haskell? Perhaps, something more recent than the<br>
>> 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<br>
>> Block-Structured Heap (Simon Marlow, Tim Harris, Roshan P. James, Simon<br>
>> Peyton Jones) In ISMM '08: Proceedings of the 7th international symposium<br>
>> 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<br>
>> Peyton-Jones, and Maurice Herlihy. In Proceedings of the tenth ACM<br>
>> SIGPLAN<br>
>> symposium on Principles and practice of parallel programming (PPoPP '05)<br>
>>  * Transactional Memory with Data Invariants, Tim Harris and Simon Peyton<br>
>> 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>
>><br>
><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></div></blockquote></div>