rje 2003/02/21 08:19:08 PST
Modified files: (Branch: speceval_2)
ghc/rts Schedule.c Schedule.h StgMiscClosures.hc
ghc/includes Closures.h InfoTables.h Regs.h
StgMacros.h StgMiscClosures.h
Log:
Speculation computations can now be aborted by sending the thread an
async exception. This causes execution to fall back to the body of the
outermost speculative "let".
A speculative thread will abort automatically if the thread attempts to
block for any reason, if it runs out of stack or heap space, if it loops
or if it enters a black hole.
Soon we will also abort a speculation if it has gone on for too long.
Revision Changes Path
1.160.2.2 +173 -33 fptools/ghc/rts/Schedule.c
1.36.6.1 +7 -3 fptools/ghc/rts/Schedule.h
1.83.2.1 +34 -1 fptools/ghc/rts/StgMiscClosures.hc
1.32.2.1 +12 -1 fptools/ghc/includes/Closures.h
1.28.2.3 +9 -4 fptools/ghc/includes/InfoTables.h
1.12.2.2 +1 -1 fptools/ghc/includes/Regs.h
1.50.2.3 +2 -2 fptools/ghc/includes/StgMacros.h
1.45.2.1 +2 -1 fptools/ghc/includes/StgMiscClosures.h
|
