X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2FWeak.c;h=f0103952212399ca567866428f27390ef0015430;hb=3eacdc7faf0d0e87a7201253f9f12c1fb4db7249;hp=5c71710a9ebd38d2213614871fe30c4e1d023fd8;hpb=6e2ea06c4a72866396f1b754ec8c2091a9b1e20b;p=ghc-hetmet.git diff --git a/ghc/rts/Weak.c b/ghc/rts/Weak.c index 5c71710..f010395 100644 --- a/ghc/rts/Weak.c +++ b/ghc/rts/Weak.c @@ -1,5 +1,4 @@ /* ----------------------------------------------------------------------------- - * $Id: Weak.c,v 1.21 2002/02/18 13:26:13 sof Exp $ * * (c) The GHC Team, 1998-1999 * @@ -8,44 +7,20 @@ * ---------------------------------------------------------------------------*/ #include "PosixSource.h" +#define COMPILING_RTS_MAIN #include "Rts.h" -#include "RtsAPI.h" +#include "RtsUtils.h" #include "SchedAPI.h" #include "RtsFlags.h" #include "Weak.h" #include "Storage.h" +#include "Schedule.h" #include "Prelude.h" +#include "RtsAPI.h" StgWeak *weak_ptr_list; /* - * finalizeWeakPointersNow() is called just before the system is shut - * down. It runs the finalizer for each weak pointer still in the - * system. - * - * Careful here - rts_evalIO might cause a garbage collection, which - * might change weak_ptr_list. Must re-load weak_ptr_list each time - * around the loop. - */ - -void -finalizeWeakPointersNow(void) -{ - StgWeak *w; - - while ((w = weak_ptr_list)) { - weak_ptr_list = w->link; - if (w->header.info != &stg_DEAD_WEAK_info) { - w->header.info = &stg_DEAD_WEAK_info; - IF_DEBUG(weak,fprintf(stderr,"Finalising weak pointer at %p -> %p\n", w, w->key)); - if (w->finalizer != &stg_NO_FINALIZER_closure) { - rts_evalIO(w->finalizer,NULL); - } - } - } -} - -/* * scheduleFinalizers() is called on the list of weak pointers found * to be dead after a garbage collection. It overwrites each object * with DEAD_WEAK, and creates a new thread to run the pending finalizers. @@ -61,30 +36,22 @@ finalizeWeakPointersNow(void) */ void -scheduleFinalizers(StgWeak *list) +scheduleFinalizers(Capability *cap, StgWeak *list) { StgWeak *w; StgTSO *t; StgMutArrPtrs *arr; nat n; - /* count number of finalizers first... */ - for (n = 0, w = list; w; w = w->link) { - if (w->finalizer != &stg_NO_FINALIZER_closure) - n++; - } - - if (n == 0) return; - - IF_DEBUG(weak,fprintf(stderr,"weak: batching %d finalizers\n", n)); + // count number of finalizers, and kill all the weak pointers first... + n = 0; + for (w = list; w; w = w->link) { - arr = (StgMutArrPtrs *)allocate(sizeofW(StgMutArrPtrs) + n); - SET_HDR(arr, &stg_MUT_ARR_PTRS_FROZEN_info, CCS_SYSTEM); - arr->ptrs = n; + // Better not be a DEAD_WEAK at this stage; the garbage + // collector removes DEAD_WEAKs from the weak pointer list. + ASSERT(w->header.info != &stg_DEAD_WEAK_info); - for (n = 0, w = list; w; w = w->link) { if (w->finalizer != &stg_NO_FINALIZER_closure) { - arr->payload[n] = w->finalizer; n++; } @@ -99,13 +66,32 @@ scheduleFinalizers(StgWeak *list) #endif SET_HDR(w, &stg_DEAD_WEAK_info, w->header.prof.ccs); } + + // No finalizers to run? + if (n == 0) return; + + IF_DEBUG(weak,debugBelch("weak: batching %d finalizers\n", n)); + + arr = (StgMutArrPtrs *)allocateLocal(cap, sizeofW(StgMutArrPtrs) + n); + TICK_ALLOC_PRIM(sizeofW(StgMutArrPtrs), n, 0); + SET_HDR(arr, &stg_MUT_ARR_PTRS_FROZEN_info, CCS_SYSTEM); + arr->ptrs = n; + + n = 0; + for (w = list; w; w = w->link) { + if (w->finalizer != &stg_NO_FINALIZER_closure) { + arr->payload[n] = w->finalizer; + n++; + } + } - t = createIOThread(RtsFlags.GcFlags.initialStkSize, - rts_apply( - rts_apply( + t = createIOThread(cap, + RtsFlags.GcFlags.initialStkSize, + rts_apply(cap, + rts_apply(cap, (StgClosure *)runFinalizerBatch_closure, - rts_mkInt(n)), + rts_mkInt(cap,n)), (StgClosure *)arr) ); - scheduleThread(t); + scheduleThread(cap,t); }