diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2008-11-19 12:48:48 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2008-11-19 12:48:48 +0000 |
| commit | 5cbe7adb6051a9d1738dfb5735c8c923b74c5945 (patch) | |
| tree | e79827a16b6d43caf6057fd87be955d67d9ff764 /rts/Task.h | |
| parent | 33189c6969f4838dab3558497dd66f7400ee77d0 (diff) | |
| download | haskell-5cbe7adb6051a9d1738dfb5735c8c923b74c5945.tar.gz | |
Fix some more shutdown races
There were races between workerTaskStop() and freeTaskManager(): we
need to be sure that all Tasks have exited properly before we start
tearing things down. This isn't completely straighforward, see
comments for details.
Diffstat (limited to 'rts/Task.h')
| -rw-r--r-- | rts/Task.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/rts/Task.h b/rts/Task.h index 3b7a08ee96..590dd679b3 100644 --- a/rts/Task.h +++ b/rts/Task.h @@ -169,8 +169,7 @@ extern Task *all_tasks; // Requires: sched_mutex. // void initTaskManager (void); -void stopTaskManager (void); -void freeTaskManager (void); +nat freeTaskManager (void); // Create a new Task for a bound thread // Requires: sched_mutex. |