diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-10-03 15:18:48 +0000 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-10-24 21:00:38 -0400 |
| commit | 086521f744f989a4f11585989f1304ab1333a61b (patch) | |
| tree | 2079382bc81f4457f28aff1fa0bdd403abe2f61f /rts/Task.c | |
| parent | 56778ab38eeb9fd683250a57c228f3821a444811 (diff) | |
| download | haskell-086521f744f989a4f11585989f1304ab1333a61b.tar.gz | |
rts: Eliminate shutdown data race on task counters
Diffstat (limited to 'rts/Task.c')
| -rw-r--r-- | rts/Task.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/Task.c b/rts/Task.c index 5fc2331827..c471d4afee 100644 --- a/rts/Task.c +++ b/rts/Task.c @@ -30,6 +30,7 @@ Task *all_tasks = NULL; // current number of bound tasks + total number of worker tasks. +// Locks required: all_tasks_mutex. uint32_t taskCount; uint32_t workerCount; uint32_t currentWorkerCount; |