Re: Trivial Haskell Concurrency problem

[George Russell]

Tom Pledger wrote:
> For two threads to have access to the same MVar, they must have a
> common ancestor, right?  Could a common ancestor spawn a transaction
> broker thread?  That would be similar to what database management
> systems do.  It'd still be centralised, but wouldn't need to do unsafe
> IO.
Well, all threads trivially have a common ancestor.  But I don't see how
you can pick a particular ancestor.  The flags could easily have been passed
around in a fairly general fashion along polymorphic channels.