References for GHC usage of multiple capabilities

Tom Murphy amindfv at gmail.com
Fri Dec 7 17:00:28 UTC 2018


There's also "Mio: A High-Performance Multicore IO Manager for GHC"

http://haskell.cs.yale.edu/wp-content/uploads/2013/08/hask035-voellmy.pdf

On 12/7/18, Artem Pelenitsyn <haskelier.artem at gmail.com> wrote:
> 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.
>
> --
> Best wishes,
> Artem
>
>
>
>
> On Thu, Dec 6, 2018 at 10:47 AM Ben Gamari <ben at smart-cactus.org> wrote:
>
>> Artem Pelenitsyn <a.pelenitsyn at gmail.com> writes:
>>
>> > Hello devs,
>> >
>> > I've been working on a short survey devoted to a topic of
>> > multithreading
>> > inside the GHC compiler and runtime. So far I was mostly looking at the
>> > following three papers
>> >
>> > [1] P. W. Trinder, K. Hammond, J. S. Mattson, Jr., A. S. Partridge, and
>> S.
>> > L. Peyton Jones. Gum: A portable parallel implementation of Haskell.
>> PLDI
>> > ’96
>> >
>> > [2] Tim Harris, Simon Marlow, and Simon Peyton Jones. Haskell on a
>> > shared-memory multiprocessor. Haskell ’05
>> >
>> > [3] Simon Marlow, Simon Peyton Jones, and Satnam Singh. Runtime support
>> for
>> > multicore Haskell. ICFP ’09
>> >
>> > Can you suggest any other papers adding insights on how GHC uses
>> > multiple
>> > capabilities for anything from GC to the implementation of
>> > Parallel/Concurrent Haskell? Perhaps, something more recent than the
>> above,
>> > but preferably published in academic venues.
>> >
>> Here are a few others but I may have missed a few:
>>
>>  * 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
>>  * Concurrent Haskell, Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne.
>>  * 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)
>>  * Transactional Memory with Data Invariants, Tim Harris and Simon Peyton
>> Jones. In TRANSACT '06
>>
>> Cheers,
>>
>> - Ben
>> _______________________________________________
>> ghc-devs mailing list
>> ghc-devs at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>
>


More information about the ghc-devs mailing list