[Haskell] concurrency analysis

John Meacham john at repetae.net
Thu Aug 11 23:04:53 EDT 2005

I was curious if there has been any research on "concurrency analysis"
which would determine which thunks might be accessed concurrently by
different threads. I imagine that the vast majority are only accessed in
a single threaded manner so can use a more efficient representation when
doing SMP parallelism with haskell. It seems that some sort of abstract
interpretation could provide a conservative answer to this similar to
the way update analysis is done.

John Meacham - ⑆repetae.net⑆john⑈ 

More information about the Haskell mailing list