Fix some more shutdown races
authorSimon Marlow <marlowsd@gmail.com>
Wed, 19 Nov 2008 12:48:48 +0000 (12:48 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 19 Nov 2008 12:48:48 +0000 (12:48 +0000)
commit5cbe7adb6051a9d1738dfb5735c8c923b74c5945
treee79827a16b6d43caf6057fd87be955d67d9ff764
parent33189c6969f4838dab3558497dd66f7400ee77d0
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.
rts/RtsAPI.c
rts/Schedule.c
rts/Task.c
rts/Task.h