#2319: STM not as fair as it could be
-------------------------+--------------------------------------------------
Reporter: josef | Owner:
Type: bug | Status: new
Priority: normal | Component: Runtime System
Version: 6.8.2 | Severity: normal
Keywords: | Testcase:
Architecture: Multiple | Os: Multiple
-------------------------+--------------------------------------------------
Even though this has been discussed via email I'm filing a ticket so that
the issue and the patch aren't forgotten about. If the patch is accepted
it would be nice if it could be included in 6.8.3 provided it merges
cleanly.
GHC's STM implementation could be a bit more fair. Suppose you have
several transactions waiting for a variable to be updated. When that
variable is updated all transactions are woken up. The problem is that the
transaction which was blocked last is woken up first. This leads to
unnecessary starvation in some programs.
There is a patch which fixes this. It can be downloaded from here:
http://www.haskell.org/pipermail/cvs-ghc/2008-April/041943.html
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2319>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
