[project @ 2005-04-06 15:27:06 by simonmar]
authorsimonmar <unknown>
Wed, 6 Apr 2005 15:27:06 +0000 (15:27 +0000)
committersimonmar <unknown>
Wed, 6 Apr 2005 15:27:06 +0000 (15:27 +0000)
commit9a92cb1ca49cb555ff66dcfcb9295ebf75d1ce01
tree425ad95feb68cac6e011c9b6d534d29d4a78e6ad
parent4bcd03a67e66e584da936d38ac91e3d72bf9cf78
[project @ 2005-04-06 15:27:06 by simonmar]
Revamp the Task API: now we use the same implementation for threaded
and SMP.  We also keep per-task timing stats in the threaded RTS now,
which makes the output of +RTS -sstderr more useful.
ghc/rts/Capability.c
ghc/rts/Capability.h
ghc/rts/Main.c
ghc/rts/Schedule.c
ghc/rts/Stats.c
ghc/rts/Stats.h
ghc/rts/Task.c
ghc/rts/Task.h