[Haskell] concurrency analysis
simonpj at microsoft.com
Fri Aug 12 04:03:24 EDT 2005
I don’t know of any. Quite a bit has been done for the single threaded case, trying to identify cases where thunk updates can be omitted (e.g. http://research.microsoft.com/%7Esimonpj/Papers/usage-types/usage.htm).
For the parallel case you may be interested in our Haskell workshop paper (on my home page).
| -----Original Message-----
| From: haskell-bounces at haskell.org [mailto:haskell-bounces at haskell.org] On Behalf Of John Meacham
| Sent: 12 August 2005 04:05
| To: haskell at haskell.org
| Subject: [Haskell] concurrency analysis
| 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⑈
| Haskell mailing list
| Haskell at haskell.org
More information about the Haskell