com.oracle.graal.pointsto

Class ObjectScanner

java.lang.Object

com.oracle.graal.pointsto.ObjectScanner

Direct Known Subclasses:

AnalysisHeapHistogramPrinter, 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.FieldConstantFold
static class	ObjectScanner.FieldScan
static class	ObjectScanner.MethodParsing
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)

Method Summary

Modifier and Type	Method and Description
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<jdk.vm.ci.code.BytecodePosition> embeddedRootComparator)
void	scanConstant(JavaConstant value, ObjectScanner.ScanReason reason)
protected void	scanEmbeddedRoot(JavaConstant root, jdk.vm.ci.code.BytecodePosition position)
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.
static void	unsupportedFeature(BigBang bb, String key, String message, ObjectScanner.ScanReason reason)
static void	unsupportedFeatureDuringConstantScan(BigBang bb, JavaConstant constant, UnsupportedFeatureException e, ObjectScanner.ScanReason reason) Use the constant hashCode as a key for the unsupported feature to register only one error message if the constant is reachable from multiple places.
static void	unsupportedFeatureDuringFieldFolding(BigBang bb, AnalysisField field, JavaConstant receiver, UnsupportedFeatureException e, AnalysisMethod parsedMethod, int bci)
static void	unsupportedFeatureDuringFieldScan(BigBang bb, AnalysisField field, JavaConstant receiver, UnsupportedFeatureException e, ObjectScanner.ScanReason reason) Use the field format and receiver hashCode as a key for the unsupported feature to register only one error message if the value is reachable from multiple places.

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,
                     CompletionExecutor executor,
                     ObjectScanner.ReusableSet scannedObjects,
                     ObjectScanningObserver scanningObserver)

Method Detail

scanBootImageHeapRoots

public void scanBootImageHeapRoots()

scanBootImageHeapRoots

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

scanEmbeddedRoot

protected void scanEmbeddedRoot(JavaConstant root,
                                jdk.vm.ci.code.BytecodePosition position)

scanRootField

protected final void scanRootField(AnalysisField field)

Scans the value of a root field.

Parameters:

field - the scanned root field

scanField

protected 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 void scanConstant(JavaConstant value,
                         ObjectScanner.ScanReason reason)

unsupportedFeatureDuringConstantScan

public static void unsupportedFeatureDuringConstantScan(BigBang bb,
                                                        JavaConstant constant,
                                                        UnsupportedFeatureException e,
                                                        ObjectScanner.ScanReason reason)

Use the constant hashCode as a key for the unsupported feature to register only one error message if the constant is reachable from multiple places.

unsupportedFeatureDuringFieldScan

public static void unsupportedFeatureDuringFieldScan(BigBang bb,
                                                     AnalysisField field,
                                                     JavaConstant receiver,
                                                     UnsupportedFeatureException e,
                                                     ObjectScanner.ScanReason reason)

Use the field format and receiver hashCode as a key for the unsupported feature to register only one error message if the value is reachable from multiple places. For example both the heap scanning and the heap verification would scan a field that contains an illegal value.

unsupportedFeatureDuringFieldFolding

public static void unsupportedFeatureDuringFieldFolding(BigBang bb,
                                                        AnalysisField field,
                                                        JavaConstant receiver,
                                                        UnsupportedFeatureException e,
                                                        AnalysisMethod parsedMethod,
                                                        int bci)

unsupportedFeature

public static void unsupportedFeature(BigBang bb,
                                      String key,
                                      String message,
                                      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.

constantType

public static AnalysisType constantType(BigBang bb,
                                        JavaConstant constant)

constantAsObject

public static Object constantAsObject(BigBang bb,
                                      JavaConstant constant)