com.oracle.graal.pointsto

Class ObjectScanner

java.lang.Object

com.oracle.graal.pointsto.ObjectScanner

Direct Known Subclasses:

AnalysisHeapHistogramPrinter, AnalysisObjectScanner, ObjectTreePrinter

public 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
static class	ObjectScanner.ArrayScan
static class	ObjectScanner.EmbeddedRootScan
static class	ObjectScanner.FieldScan
static class	ObjectScanner.OtherReason
static class	ObjectScanner.ReusableSet This datastructure keeps track if an object was already put or not atomically.
static class	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)
ObjectScanner(BigBang bb, ObjectScanner.ReusableSet scannedObjects, ObjectScanningObserver scanningObserver)
ObjectScanner(BigBang bb, ObjectScanningObserver scanningObserver)

Method Summary

Modifier and Type	Method and Description
protected static AnalysisType	analysisType(BigBang bb, Object constant)
static String	asString(BigBang bb, JavaConstant constant)
static String	asString(BigBang bb, JavaConstant constant, boolean appendToString)
static AnalysisMethod	buildObjectBacktrace(BigBang bb, ObjectScanner.ScanReason reason, StringBuilder objectBacktrace)
static AnalysisMethod	buildObjectBacktrace(BigBang bb, ObjectScanner.ScanReason reason, StringBuilder objectBacktrace, String header)
static Object	constantAsObject(BigBang bb, JavaConstant constant)
static AnalysisType	constantType(BigBang bb, JavaConstant constant)
protected void	finish() Process all consequences for scanned fields.
static String	limit(String value, int length)
protected void	scanArray(JavaConstant array, ObjectScanner.ScanReason prevReason) Scans constant arrays, one element at the time.
void	scanBootImageHeapRoots()
void	scanBootImageHeapRoots(Comparator<AnalysisField> fieldComparator, Comparator<BytecodePosition> embeddedRootComparator)
void	scanConstant(JavaConstant value, ObjectScanner.ScanReason reason)
protected void	scanField(AnalysisField field, JavaConstant receiver, ObjectScanner.ScanReason prevReason) 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, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

bb

protected final BigBang bb

Constructor Detail

ObjectScanner

public ObjectScanner(BigBang bb,
                     ObjectScanningObserver scanningObserver)

ObjectScanner

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

ObjectScanner

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

Method Detail

scanBootImageHeapRoots

public void scanBootImageHeapRoots()

scanBootImageHeapRoots

public void scanBootImageHeapRoots(Comparator<AnalysisField> fieldComparator,
                                   Comparator<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,
                               JavaConstant receiver,
                               ObjectScanner.ScanReason prevReason)

Scans the value of a field giving a receiver object.

Parameters:

field - the scanned field

receiver - the receiver object

scanArray

protected final void scanArray(JavaConstant array,
                               ObjectScanner.ScanReason prevReason)

Scans constant arrays, one element at the time.

Parameters:

array - the array to be scanned

scanConstant

public final void scanConstant(JavaConstant value,
                               ObjectScanner.ScanReason reason)

buildObjectBacktrace

public static AnalysisMethod buildObjectBacktrace(BigBang bb,
                                                  ObjectScanner.ScanReason reason,
                                                  StringBuilder objectBacktrace)

buildObjectBacktrace

public static AnalysisMethod buildObjectBacktrace(BigBang bb,
                                                  ObjectScanner.ScanReason reason,
                                                  StringBuilder objectBacktrace,
                                                  String header)

asString

public static String asString(BigBang bb,
                              JavaConstant constant)

asString

public static String asString(BigBang bb,
                              JavaConstant constant,
                              boolean appendToString)

limit

public static String limit(String value,
                           int length)

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

public static AnalysisType constantType(BigBang bb,
                                        JavaConstant constant)

constantAsObject

public static Object constantAsObject(BigBang bb,
                                      JavaConstant constant)