com.oracle.graal.pointsto

Class ObjectScanner

java.lang.Object

com.oracle.graal.pointsto.ObjectScanner

Direct Known Subclasses:

AnalysisHeapHistogramPrinter, AnalysisObjectScanner, ObjectTreePrinter

public abstract class ObjectScanner
extends Object

Provides functionality for scanning constant objects. The scanning is done in parallel. The set of visited elements is a special data structure whose structure can be reused over multiple scanning iterations to save CPU resources. (For details ObjectScanner.ReusableSet).

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	ObjectScanner.FieldScan
protected static class	ObjectScanner.MethodScan
static class	ObjectScanner.ReusableSet This datastructure keeps track if an object was already put or not atomically.
static interface	ObjectScanner.ScanReason

Field Summary

Fields

Modifier and Type	Field and Description
protected BigBang	bb

Constructor Summary

Constructors

Constructor and Description
ObjectScanner(BigBang bb, CompletionExecutor executor, ObjectScanner.ReusableSet scannedObjects, ObjectScanningObserver scanningObserver)

Method Summary

Modifier and Type	Method and Description
protected static AnalysisType	analysisType(BigBang bb, Object constant)
protected static Object	constantAsObject(BigBang bb, jdk.vm.ci.meta.JavaConstant constant)
protected static AnalysisType	constantType(BigBang bb, jdk.vm.ci.meta.JavaConstant constant)
protected void	finish() Process all consequences for scanned fields.
protected void	scanArray(jdk.vm.ci.meta.JavaConstant array, com.oracle.graal.pointsto.ObjectScanner.WorklistEntry previous) Scans constant arrays, one element at the time.
void	scanBootImageHeapRoots(Comparator<AnalysisField> fieldComparator, Comparator<jdk.vm.ci.code.BytecodePosition> embeddedRootComparator)
void	scanConstant(jdk.vm.ci.meta.JavaConstant value, ObjectScanner.ScanReason reason)
void	scanConstant(jdk.vm.ci.meta.JavaConstant value, ObjectScanner.ScanReason reason, com.oracle.graal.pointsto.ObjectScanner.WorklistEntry previous)
protected void	scanField(AnalysisField field, jdk.vm.ci.meta.JavaConstant receiver, com.oracle.graal.pointsto.ObjectScanner.WorklistEntry previous) Scans the value of a field giving a receiver object.
protected void	scanRootField(AnalysisField field) Scans the value of a root field.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

bb

protected final BigBang bb

Constructor Detail

ObjectScanner

public ObjectScanner(BigBang bb,
                     CompletionExecutor executor,
                     ObjectScanner.ReusableSet scannedObjects,
                     ObjectScanningObserver scanningObserver)

Method Detail

scanBootImageHeapRoots

public void scanBootImageHeapRoots(Comparator<AnalysisField> fieldComparator,
                                   Comparator<jdk.vm.ci.code.BytecodePosition> embeddedRootComparator)

scanRootField

protected final void scanRootField(AnalysisField field)

Scans the value of a root field.

Parameters:

field - the scanned root field

scanField

protected final void scanField(AnalysisField field,
                               jdk.vm.ci.meta.JavaConstant receiver,
                               com.oracle.graal.pointsto.ObjectScanner.WorklistEntry previous)

Scans the value of a field giving a receiver object.

Parameters:

field - the scanned field

receiver - the receiver object

previous - reference to the work list entry containing parent object

scanArray

protected final void scanArray(jdk.vm.ci.meta.JavaConstant array,
                               com.oracle.graal.pointsto.ObjectScanner.WorklistEntry previous)

Scans constant arrays, one element at the time.

Parameters:

array - the array to be scanned

previous - reference to the work list entry containing parent object

scanConstant

public final void scanConstant(jdk.vm.ci.meta.JavaConstant value,
                               ObjectScanner.ScanReason reason)

scanConstant

public final void scanConstant(jdk.vm.ci.meta.JavaConstant value,
                               ObjectScanner.ScanReason reason,
                               com.oracle.graal.pointsto.ObjectScanner.WorklistEntry previous)

finish

protected void finish()

Process all consequences for scanned fields. This is done in parallel. Buckets of fields are emitted into the exec, to mitigate the calling overhead. Processing fields can issue new fields to be scanned so we always add the check for workitems at the end of the worklist.

analysisType

protected static AnalysisType analysisType(BigBang bb,
                                           Object constant)

constantType

protected static AnalysisType constantType(BigBang bb,
                                           jdk.vm.ci.meta.JavaConstant constant)

constantAsObject

protected static Object constantAsObject(BigBang bb,
                                         jdk.vm.ci.meta.JavaConstant constant)