X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2Fsm%2FScav.c-inc;h=ae6a6bba595ffeec695b9bc8e5d8466dae74ec70;hb=04cddd339c000df6d02c90ce59dbffa58d2fe166;hp=d694887a6ed97b46ae9ecdf7f60575774c03a405;hpb=34d0fee7fa3f29069c9a84df404182726f61b367;p=ghc-hetmet.git diff --git a/rts/sm/Scav.c-inc b/rts/sm/Scav.c-inc index d694887..ae6a6bb 100644 --- a/rts/sm/Scav.c-inc +++ b/rts/sm/Scav.c-inc @@ -1,6 +1,6 @@ /* -----------------------------------------------------------------------*-c-*- * - * (c) The GHC Team 1998-2006 + * (c) The GHC Team 1998-2008 * * Generational garbage collector: scavenging functions * @@ -15,15 +15,16 @@ // defined, the second time without. #ifndef PARALLEL_GC -#define scavenge_block(a,b) scavenge_block1(a,b) +#define scavenge_block(a) scavenge_block1(a) #define evacuate(a) evacuate1(a) +#define recordMutableGen_GC(a,b) recordMutableGen(a,b) #else #undef scavenge_block #undef evacuate #undef recordMutableGen_GC #endif -static void scavenge_block (bdescr *bd, StgPtr scan); +static void scavenge_block (bdescr *bd); /* ----------------------------------------------------------------------------- Scavenge a block from the given scan pointer up to bd->free. @@ -38,7 +39,7 @@ static void scavenge_block (bdescr *bd, StgPtr scan); -------------------------------------------------------------------------- */ static void -scavenge_block (bdescr *bd, StgPtr scan) +scavenge_block (bdescr *bd) { StgPtr p, q; StgInfoTable *info; @@ -46,11 +47,10 @@ scavenge_block (bdescr *bd, StgPtr scan) rtsBool saved_eager_promotion; step_workspace *ws; - p = scan; - debugTrace(DEBUG_gc, "scavenging block %p (gen %d, step %d) @ %p", - bd->start, bd->gen_no, bd->step->no, scan); + bd->start, bd->gen_no, bd->step->no, bd->u.scan); + gct->scan_bd = bd; gct->evac_step = bd->step; saved_evac_step = gct->evac_step; saved_eager_promotion = gct->eager_promotion; @@ -58,6 +58,8 @@ scavenge_block (bdescr *bd, StgPtr scan) ws = &gct->steps[bd->step->abs_no]; + p = bd->u.scan; + // we might be evacuating into the very object that we're // scavenging, so we have to check the real bd->free pointer each // time around the loop. @@ -325,18 +327,7 @@ scavenge_block (bdescr *bd, StgPtr scan) case TSO: { StgTSO *tso = (StgTSO *)p; - - gct->eager_promotion = rtsFalse; - scavengeTSO(tso); - gct->eager_promotion = saved_eager_promotion; - - if (gct->failed_to_evac) { - tso->flags |= TSO_DIRTY; - } else { - tso->flags &= ~TSO_DIRTY; - } - - gct->failed_to_evac = rtsTrue; // always on the mutable list + scavengeTSO(tso); p += tso_sizeW(tso); break; } @@ -443,12 +434,26 @@ scavenge_block (bdescr *bd, StgPtr scan) } if (p > bd->free) { + gct->copied += ws->todo_free - bd->free; bd->free = p; } debugTrace(DEBUG_gc, " scavenged %ld bytes", - (unsigned long)((bd->free - scan) * sizeof(W_))); + (unsigned long)((bd->free - bd->u.scan) * sizeof(W_))); + + // update stats: this is a block that has been scavenged + gct->scanned += bd->free - bd->u.scan; + bd->u.scan = bd->free; + + if (bd != ws->todo_bd) { + // we're not going to evac any more objects into + // this block, so push it now. + push_scanned_block(bd, ws); + } + + gct->scan_bd = NULL; } #undef scavenge_block #undef evacuate +#undef recordMutableGen_GC