[project @ 2005-11-04 12:02:04 by simonmar]
authorsimonmar <unknown>
Fri, 4 Nov 2005 12:02:05 +0000 (12:02 +0000)
committersimonmar <unknown>
Fri, 4 Nov 2005 12:02:05 +0000 (12:02 +0000)
commit2846bc8a8a6a02851dd62e2c04be358902eee204
tree9532c46035575886e37d7e96f8729f92d38b552d
parentf6feb336f56311aa0d9ed96418367f7ef339a555
[project @ 2005-11-04 12:02:04 by simonmar]
Win32: Use CriticalSections instead of Mutexes, they are *much* faster.
ghc/includes/OSThreads.h
ghc/rts/Schedule.c
ghc/rts/Storage.c
ghc/rts/win32/OSThreads.c