| /* |
| * This file is part of the Jikes RVM project (http://jikesrvm.org). |
| * |
| * This file is licensed to You under the Eclipse Public License (EPL); |
| * You may not use this file except in compliance with the License. You |
| * may obtain a copy of the License at |
| * |
| * http://www.opensource.org/licenses/eclipse-1.0.php |
| * |
| * See the COPYRIGHT.txt file distributed with this work for information |
| * regarding copyright ownership. |
| */ |
| package org.mmtk.plan.semispace; |
| |
| import org.mmtk.plan.TraceLocal; |
| import org.mmtk.plan.Trace; |
| import org.mmtk.policy.Space; |
| |
| import org.vmmagic.pragma.*; |
| import org.vmmagic.unboxed.*; |
| |
| /** |
| * This class implments the core functionality for a transitive |
| * closure over the heap graph. |
| */ |
| @Uninterruptible |
| public class SSTraceLocal extends TraceLocal { |
| /** |
| * Constructor |
| */ |
| public SSTraceLocal(Trace trace, boolean specialized) { |
| super(specialized ? SS.SCAN_SS : -1, trace); |
| } |
| |
| /** |
| * Constructor |
| */ |
| public SSTraceLocal(Trace trace) { |
| this(trace, true); |
| } |
| |
| /**************************************************************************** |
| * |
| * Externally visible Object processing and tracing |
| */ |
| |
| /** |
| * Return true if <code>obj</code> is a live object. |
| * |
| * @param object The object in question |
| * @return True if <code>obj</code> is a live object. |
| */ |
| public boolean isLive(ObjectReference object) { |
| if (object.isNull()) return false; |
| if (Space.isInSpace(SS.SS0, object)) |
| return SS.hi ? SS.copySpace0.isLive(object) : true; |
| if (Space.isInSpace(SS.SS1, object)) |
| return SS.hi ? true : SS.copySpace1.isLive(object); |
| return super.isLive(object); |
| } |
| |
| |
| /** |
| * This method is the core method during the trace of the object graph. |
| * The role of this method is to: |
| * |
| * 1. Ensure the traced object is not collected. |
| * 2. If this is the first visit to the object enqueue it to be scanned. |
| * 3. Return the forwarded reference to the object. |
| * |
| * @param object The object to be traced. |
| * @return The new reference to the same object instance. |
| */ |
| @Inline |
| public ObjectReference traceObject(ObjectReference object) { |
| if (object.isNull()) return object; |
| if (Space.isInSpace(SS.SS0, object)) |
| return SS.copySpace0.traceObject(this, object, SS.ALLOC_SS); |
| if (Space.isInSpace(SS.SS1, object)) |
| return SS.copySpace1.traceObject(this, object, SS.ALLOC_SS); |
| return super.traceObject(object); |
| } |
| |
| /** |
| * Ensure that this object will not move for the rest of the GC. |
| * |
| * @param object The object that must not move |
| * @return The new object, guaranteed stable for the rest of the GC. |
| */ |
| @Inline |
| public ObjectReference precopyObject(ObjectReference object) { |
| if (object.isNull()) return object; |
| if (Space.isInSpace(SS.SS0, object)) |
| return SS.copySpace0.traceObject(this, object, SS.ALLOC_SS); |
| if (Space.isInSpace(SS.SS1, object)) |
| return SS.copySpace1.traceObject(this, object, SS.ALLOC_SS); |
| return object; |
| } |
| |
| /** |
| * Will this object move from this point on, during the current trace ? |
| * |
| * @param object The object to query. |
| * @return True if the object will not move. |
| */ |
| public boolean willNotMoveInCurrentCollection(ObjectReference object) { |
| return (SS.hi && !Space.isInSpace(SS.SS0, object)) || |
| (!SS.hi && !Space.isInSpace(SS.SS1, object)); |
| } |
| } |