org.mmtk.plan.stickyimmix
Class StickyImmix

java.lang.Object
  org.mmtk.plan.Plan
      org.mmtk.plan.Simple
          org.mmtk.plan.StopTheWorld
              org.mmtk.plan.immix.Immix
                  org.mmtk.plan.stickyimmix.StickyImmix

All Implemented Interfaces:

Constants

public class StickyImmix
extends Immix

This class implements the global state of a simple sticky mark bits collector, based on an immix collector. The sticky mark bits algorithm is due to Demmers et al. (http://doi.acm.org/10.1145/96709.96735), and allows generational collection to be performed in a non-moving heap by overloading the role of mark bits to also indicate whether an object is new (nursery) or not. Thus nursery objects are identified by a bit in their header, not by where they lie within the address space. While Demmers et al. did their work in a conservative collector, here we have an exact collector, so we can use a regular write barrier, and don't need to use page protection etc.

See the PLDI'08 paper by Blackburn and McKinley for a description of the algorithm: http://doi.acm.org/10.1145/1375581.1375586

All plans make a clear distinction between global and thread-local activities, and divides global and local state into separate class hierarchies. Global activities must be synchronized, whereas no synchronization is required for thread-local activities. There is a single instance of Plan (or the appropriate sub-class), and a 1:1 mapping of PlanLocal to "kernel threads" (aka CPUs or in Jikes RVM, Processors). Thus instance methods of PlanLocal allow fast, unsychronized access to functions such as allocation and collection.

The global instance defines and manages static resources (such as memory and virtual memory resources). This mapping of threads to instances is crucial to understanding the correctness and performance properties of MMTk plans.

NURSERY_COLLECT_PLOS

static final boolean NURSERY_COLLECT_PLOS

If true, then new PLOS objects are collected at each nursery GC

See Also:

Constant Field Values

MAJOR_GC_ONLY

static final boolean MAJOR_GC_ONLY

If true then we only do full heap GCs---so we're like MarkSweep (+ write barrier)

See Also:

Constant Field Values

SURVIVAL_ESTIMATE

protected static final float SURVIVAL_ESTIMATE

estimated collection yield

See Also:

Constant Field Values

SCAN_NURSERY

public static int SCAN_NURSERY

lastCommittedImmixPages

private static int lastCommittedImmixPages

TODO: this field is unused, somebody with MMTk knowledge needs to look at it

fullHeap

public static BooleanCounter fullHeap

modPool

public final SharedDeque modPool

Remset pool

StickyImmix

public StickyImmix()

Constructor.

userTriggeredGC

public void userTriggeredGC()

A user-triggered GC has been initiated.

forceFullHeapCollection

public void forceFullHeapCollection()

Description copied from class: Plan

Force the next collection to be full heap.

Overrides:

forceFullHeapCollection in class Plan

collectionPhase

public final void collectionPhase(short phaseId)

Description copied from class: Immix

Perform a (global) collection phase.

Overrides:

collectionPhase in class Immix

Parameters:

phaseId - The unique id of the phase to perform.

collectionRequired

public final boolean collectionRequired(boolean spaceFull,
                                        Space space)

This method controls the triggering of a GC. It is called periodically during allocation. Returns true to trigger a collection.

Overrides:

collectionRequired in class Plan

Parameters:

spaceFull - Space request failed, must recover pages within 'space'.

space - TODO

Returns:

true if a collection is requested by the plan.

requiresFullHeapCollection

protected boolean requiresFullHeapCollection()

Determine whether this GC should be a full heap collection.

Returns:

True if this GC should be a full heap collection.

getCollectionReserve

public int getCollectionReserve()

Description copied from class: Immix

Return the number of pages reserved for collection.

Overrides:

getCollectionReserve in class Immix

Returns:

The number of pages reserved given the pending allocation, including space reserved for collection.

printPreStats

public void printPreStats()

Print pre-collection statistics. In this class we prefix the output indicating whether the collection was full heap or not.

Overrides:

printPreStats in class Plan

isCurrentGCNursery

public final boolean isCurrentGCNursery()

Overrides:

isCurrentGCNursery in class Plan

Returns:

Is current GC only collecting objects allocated since last GC.

isLastGCFull

public final boolean isLastGCFull()

registerSpecializedMethods

protected void registerSpecializedMethods()

Description copied from class: Plan

Register specialized methods.

Overrides:

registerSpecializedMethods in class Immix