com.oracle.graal.pointsto.heap

Class ImageHeapScanner

java.lang.Object

com.oracle.graal.pointsto.heap.ImageHeapScanner

public abstract class ImageHeapScanner
extends Object

Scanning is triggered when:

• a static final field is marked as accessed, or
s
• a method is parsed and embedded roots are discovered

When an instance field is marked as accessed the objects of its declaring type (and all the subtypes) are re-scanned.

Field Summary

Fields

Modifier and Type	Field and Description
protected ConstantReflectionProvider	constantReflection
protected ConstantReflectionProvider	hostedConstantReflection
protected org.graalvm.compiler.api.replacements.SnippetReflectionProvider	hostedSnippetReflection
protected HostVM	hostVM
protected ImageHeap	imageHeap
protected AnalysisMetaAccess	metaAccess
protected ObjectScanningObserver	scanningObserver
protected org.graalvm.compiler.api.replacements.SnippetReflectionProvider	snippetReflection
protected AnalysisUniverse	universe

Constructor Summary

Constructors

Constructor and Description
ImageHeapScanner(ImageHeap heap, AnalysisMetaAccess aMetaAccess, org.graalvm.compiler.api.replacements.SnippetReflectionProvider aSnippetReflection, ConstantReflectionProvider aConstantReflection, ObjectScanningObserver aScanningObserver)

Method Summary

Modifier and Type	Method and Description
protected AnalysisType	analysisType(Object constant)
JavaConstant	asConstant(Object object)
protected Object	asObject(JavaConstant constant)
void	cleanupAfterAnalysis()
TypeData	computeTypeData(AnalysisType type) Computes the class initialization status and the snapshot of all static fields.
protected AnalysisType	constantType(JavaConstant constant)
protected ImageHeapObject	createImageHeapObject(JavaConstant constant, ObjectScanner.ScanReason reason, Consumer<ObjectScanner.ScanReason> onAnalysisModified)
protected String	formatReason(String message, ObjectScanner.ScanReason reason)
protected abstract Class<?>	getClass(String className)
protected ImageHeapObject	getOrCreateConstantReachableTask(JavaConstant javaConstant, ObjectScanner.ScanReason reason, Consumer<ObjectScanner.ScanReason> onAnalysisModified)
ObjectScanningObserver	getScanningObserver()
boolean	isValueAvailable(AnalysisField field)
protected AnalysisField	lookupJavaField(String className, String fieldName)
protected AnalysisType	lookupJavaType(String className)
protected JavaConstant	onArrayElementReachable(JavaConstant array, AnalysisType arrayType, JavaConstant rawElementValue, int elementIndex, ObjectScanner.ScanReason reason)
protected JavaConstant	onArrayElementReachable(JavaConstant array, AnalysisType arrayType, JavaConstant rawElementValue, int elementIndex, ObjectScanner.ScanReason reason, Consumer<ObjectScanner.ScanReason> onAnalysisModified)
void	onFieldRead(AnalysisField field)
protected void	onObjectReachable(ImageHeapObject imageHeapObject)
protected AnalysisFuture<JavaConstant>	patchInstanceField(com.oracle.graal.pointsto.heap.ImageHeapInstance receiverObject, AnalysisField field, JavaConstant fieldValue, ObjectScanner.ScanReason reason, Consumer<ObjectScanner.ScanReason> onAnalysisModified)
protected AnalysisFuture<JavaConstant>	patchStaticField(TypeData typeData, AnalysisField field, JavaConstant fieldValue, ObjectScanner.ScanReason reason, Consumer<ObjectScanner.ScanReason> onAnalysisModified)
void	postTask(AnalysisFuture<?> future)
void	postTask(Runnable task)
protected ValueSupplier<JavaConstant>	readHostedFieldValue(AnalysisField field, JavaConstant receiver)
protected void	rescanEconomicMap(org.graalvm.collections.EconomicMap<?,?> object)
void	rescanField(Object receiver, Field reflectionField)
void	rescanObject(Object object) Add the object to the image heap and, if the object is a collection, rescan its elements.
void	rescanObject(Object object, ObjectScanner.ScanReason reason) Add the object to the image heap.
Object	rescanRoot(Field reflectionField)
void	scanEmbeddedRoot(JavaConstant root, BytecodePosition position)
protected boolean	skipScanning()
protected ImageHeapObject	toImageHeapObject(JavaConstant constant)
protected ImageHeapObject	toImageHeapObject(JavaConstant constant, ObjectScanner.ScanReason reason, Consumer<ObjectScanner.ScanReason> onAnalysisModified)
protected JavaConstant	transformFieldValue(AnalysisField field, JavaConstant receiverConstant, JavaConstant originalValueConstant)
protected Object	unwrapObject(JavaConstant constant)

Methods inherited from class java.lang.Object

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

Field Detail

imageHeap

protected final ImageHeap imageHeap

metaAccess

protected final AnalysisMetaAccess metaAccess

universe

protected final AnalysisUniverse universe

hostVM

protected final HostVM hostVM

snippetReflection

protected final org.graalvm.compiler.api.replacements.SnippetReflectionProvider snippetReflection

constantReflection

protected final ConstantReflectionProvider constantReflection

hostedConstantReflection

protected final ConstantReflectionProvider hostedConstantReflection

hostedSnippetReflection

protected final org.graalvm.compiler.api.replacements.SnippetReflectionProvider hostedSnippetReflection

scanningObserver

protected ObjectScanningObserver scanningObserver

Constructor Detail

ImageHeapScanner

public ImageHeapScanner(ImageHeap heap,
                        AnalysisMetaAccess aMetaAccess,
                        org.graalvm.compiler.api.replacements.SnippetReflectionProvider aSnippetReflection,
                        ConstantReflectionProvider aConstantReflection,
                        ObjectScanningObserver aScanningObserver)

Method Detail

scanEmbeddedRoot

public void scanEmbeddedRoot(JavaConstant root,
                             BytecodePosition position)

onFieldRead

public void onFieldRead(AnalysisField field)

computeTypeData

public TypeData computeTypeData(AnalysisType type)

Computes the class initialization status and the snapshot of all static fields. This is an expensive operation and therefore done in an asynchronous task.

toImageHeapObject

protected ImageHeapObject toImageHeapObject(JavaConstant constant)

toImageHeapObject

protected ImageHeapObject toImageHeapObject(JavaConstant constant,
                                            ObjectScanner.ScanReason reason,
                                            Consumer<ObjectScanner.ScanReason> onAnalysisModified)

getOrCreateConstantReachableTask

protected ImageHeapObject getOrCreateConstantReachableTask(JavaConstant javaConstant,
                                                           ObjectScanner.ScanReason reason,
                                                           Consumer<ObjectScanner.ScanReason> onAnalysisModified)

createImageHeapObject

protected ImageHeapObject createImageHeapObject(JavaConstant constant,
                                                ObjectScanner.ScanReason reason,
                                                Consumer<ObjectScanner.ScanReason> onAnalysisModified)

unwrapObject

protected Object unwrapObject(JavaConstant constant)

transformFieldValue

protected JavaConstant transformFieldValue(AnalysisField field,
                                           JavaConstant receiverConstant,
                                           JavaConstant originalValueConstant)

onArrayElementReachable

protected JavaConstant onArrayElementReachable(JavaConstant array,
                                               AnalysisType arrayType,
                                               JavaConstant rawElementValue,
                                               int elementIndex,
                                               ObjectScanner.ScanReason reason)

onArrayElementReachable

protected JavaConstant onArrayElementReachable(JavaConstant array,
                                               AnalysisType arrayType,
                                               JavaConstant rawElementValue,
                                               int elementIndex,
                                               ObjectScanner.ScanReason reason,
                                               Consumer<ObjectScanner.ScanReason> onAnalysisModified)

onObjectReachable

protected void onObjectReachable(ImageHeapObject imageHeapObject)

isValueAvailable

public boolean isValueAvailable(AnalysisField field)

formatReason

protected String formatReason(String message,
                              ObjectScanner.ScanReason reason)

readHostedFieldValue

protected ValueSupplier<JavaConstant> readHostedFieldValue(AnalysisField field,
                                                           JavaConstant receiver)

skipScanning

protected boolean skipScanning()

rescanRoot

public Object rescanRoot(Field reflectionField)

rescanField

public void rescanField(Object receiver,
                        Field reflectionField)

patchStaticField

protected AnalysisFuture<JavaConstant> patchStaticField(TypeData typeData,
                                                        AnalysisField field,
                                                        JavaConstant fieldValue,
                                                        ObjectScanner.ScanReason reason,
                                                        Consumer<ObjectScanner.ScanReason> onAnalysisModified)

patchInstanceField

protected AnalysisFuture<JavaConstant> patchInstanceField(com.oracle.graal.pointsto.heap.ImageHeapInstance receiverObject,
                                                          AnalysisField field,
                                                          JavaConstant fieldValue,
                                                          ObjectScanner.ScanReason reason,
                                                          Consumer<ObjectScanner.ScanReason> onAnalysisModified)

rescanObject

public void rescanObject(Object object)

Add the object to the image heap and, if the object is a collection, rescan its elements.

rescanObject

public void rescanObject(Object object,
                         ObjectScanner.ScanReason reason)

Add the object to the image heap.

rescanEconomicMap

protected void rescanEconomicMap(org.graalvm.collections.EconomicMap<?,?> object)

analysisType

protected AnalysisType analysisType(Object constant)

constantType

protected AnalysisType constantType(JavaConstant constant)

asObject

protected Object asObject(JavaConstant constant)

asConstant

public JavaConstant asConstant(Object object)

cleanupAfterAnalysis

public void cleanupAfterAnalysis()

getScanningObserver

public ObjectScanningObserver getScanningObserver()

getClass

protected abstract Class<?> getClass(String className)

lookupJavaType

protected AnalysisType lookupJavaType(String className)

lookupJavaField

protected AnalysisField lookupJavaField(String className,
                                        String fieldName)

postTask

public void postTask(AnalysisFuture<?> future)

postTask

public void postTask(Runnable task)