diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2008-09-09 13:37:48 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2008-09-09 13:37:48 +0000 |
| commit | c1580e72e315576b5f58427f1c29f268b565e95e (patch) | |
| tree | 834f7217e58f9c986719de1216e69c3024f608ad /rts/sm | |
| parent | 886d3dbfc27a159da9c38cc237517a3036ac3a8f (diff) | |
| download | haskell-c1580e72e315576b5f58427f1c29f268b565e95e.tar.gz | |
More sanity checking for the TSO write barrier
Check that all threads marked as dirty are really on the mutable list.
Diffstat (limited to 'rts/sm')
| -rw-r--r-- | rts/sm/GC.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rts/sm/GC.c b/rts/sm/GC.c index f8a0980e51..ef0c79a6ea 100644 --- a/rts/sm/GC.c +++ b/rts/sm/GC.c @@ -268,8 +268,9 @@ GarbageCollect ( rtsBool force_major_gc ) memInventory(traceClass(DEBUG_gc)); #endif - // check stack sanity *before* GC (ToDo: check all threads) + // check stack sanity *before* GC IF_DEBUG(sanity, checkFreeListSanity()); + IF_DEBUG(sanity, checkMutableLists()); // Initialise all our gc_thread structures for (t = 0; t < n_gc_threads; t++) { |