[project @ 2003-12-18 13:27:27 by simonmar]
authorsimonmar <unknown>
Thu, 18 Dec 2003 13:27:27 +0000 (13:27 +0000)
committersimonmar <unknown>
Thu, 18 Dec 2003 13:27:27 +0000 (13:27 +0000)
commit50ebfb020a18f2fa05129ee2e2c5a7752b10b141
treefed610312f13fe3d5fcaabec7992de731f1d5ab2
parent0542fa233d82cabb178505ce7e5ebab8ac0ba0e9
[project @ 2003-12-18 13:27:27 by simonmar]
Fix some threaded RTS bugs:

 - in awaitRequests(), it was possible to return immediately even
   though wait was set to rtsTrue.  This lead to a busy wait loop,
   so I've disabled that case (see code for details).

 - using PulseEvent in abandonRequestWait() wasn't the right thing,
   because it exposed a race condition.  Again, see the comment in
   the code for details.
ghc/rts/win32/AsyncIO.c
ghc/rts/win32/AsyncIO.h