diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2014-04-28 16:55:47 +0100 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2014-05-02 14:49:22 +0100 |
| commit | b0534f78a73f972e279eed4447a5687bd6a8308e (patch) | |
| tree | 02d52756620bf27b9df9db45c57dacf55f190842 /includes/CodeGen.Platform.hs | |
| parent | 34db5ccf52ec2a1b5e953c282d0c52a7fc82c02a (diff) | |
| download | haskell-b0534f78a73f972e279eed4447a5687bd6a8308e.tar.gz | |
Per-thread allocation counters and limits
This tracks the amount of memory allocation by each thread in a
counter stored in the TSO. Optionally, when the counter drops below
zero (it counts down), the thread can be sent an asynchronous
exception: AllocationLimitExceeded. When this happens, given a small
additional limit so that it can handle the exception. See
documentation in GHC.Conc for more details.
Allocation limits are similar to timeouts, but
- timeouts use real time, not CPU time. Allocation limits do not
count anything while the thread is blocked or in foreign code.
- timeouts don't re-trigger if the thread catches the exception,
allocation limits do.
- timeouts can catch non-allocating loops, if you use
-fno-omit-yields. This doesn't work for allocation limits.
I couldn't measure any impact on benchmarks with these changes, even
for nofib/smp.
Diffstat (limited to 'includes/CodeGen.Platform.hs')
| -rw-r--r-- | includes/CodeGen.Platform.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/includes/CodeGen.Platform.hs b/includes/CodeGen.Platform.hs index 3d6dd41ae4..f3abb3d275 100644 --- a/includes/CodeGen.Platform.hs +++ b/includes/CodeGen.Platform.hs @@ -741,10 +741,8 @@ globalRegMaybe CurrentTSO = Just (RealRegSingle REG_CurrentTSO) # ifdef REG_CurrentNursery globalRegMaybe CurrentNursery = Just (RealRegSingle REG_CurrentNursery) # endif -globalRegMaybe _ = Nothing -#else -globalRegMaybe = panic "globalRegMaybe not defined for this platform" #endif +globalRegMaybe _ = Nothing freeReg :: RegNo -> FastBool |