diff options
| author | Joe Crayne <joe@jerkface.net> | 2020-01-25 19:17:22 -0500 |
|---|---|---|
| committer | Joe Crayne <joe@jerkface.net> | 2020-01-25 19:18:12 -0500 |
| commit | 4881188039568837d0a12ef8c73450718957f58b (patch) | |
| tree | 7e806fc9e618c0b1b9979dd10deb38cfbb0538e8 | |
| parent | a97fea6d6a2c46830432712dd00beb1dac639d7b (diff) | |
Thread instrumentation: half as many MVars.
| -rw-r--r-- | lifted-concurrent/src/Control/Concurrent/Lifted/Instrument.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lifted-concurrent/src/Control/Concurrent/Lifted/Instrument.hs b/lifted-concurrent/src/Control/Concurrent/Lifted/Instrument.hs index adce64ba..0b608213 100644 --- a/lifted-concurrent/src/Control/Concurrent/Lifted/Instrument.hs +++ b/lifted-concurrent/src/Control/Concurrent/Lifted/Instrument.hs | |||
| @@ -44,7 +44,7 @@ data PerThread = PerThread | |||
| 44 | 44 | ||
| 45 | {-# NOINLINE globalMVarArray #-} | 45 | {-# NOINLINE globalMVarArray #-} |
| 46 | globalMVarArray :: Vector (MVar (Map.Map ThreadId PerThread)) | 46 | globalMVarArray :: Vector (MVar (Map.Map ThreadId PerThread)) |
| 47 | globalMVarArray = unsafePerformIO (sequence (V.replicate 256 (newMVar Map.empty))) | 47 | globalMVarArray = unsafePerformIO (sequence (V.replicate 128 (newMVar Map.empty))) |
| 48 | 48 | ||
| 49 | data GlobalState = GlobalState | 49 | data GlobalState = GlobalState |
| 50 | { reportException :: String -> IO () | 50 | { reportException :: String -> IO () |