Modifier and Type	Class and Description
public static class	HotSpotSpeculationLog.HotSpotSpeculation
private static class	HotSpotSpeculationLog.LogCleaner Frees the native memory resources associated with `HotSpotSpeculationLog`s once they become reclaimable.

Modifier and Type	Field and Description
private byte[][]	failedSpeculations The list of failed speculations read from native memory via `CompilerToVM#getFailedSpeculations`.
private long	failedSpeculationsAddress Address of a pointer to a set of failed speculations.
private final boolean	managesFailedSpeculations
private static final byte[]	NO_FLATTENED_SPECULATIONS
private List<SpeculationLog.SpeculationReason>	speculationReasons
private List<byte[]>	speculations Speculations made during the compilation associated with this log.

Access	Constructor and Description
public	HotSpotSpeculationLog() Creates a speculation log that manages a failed speculation list.
public	HotSpotSpeculationLog(long an address in native memory at which the pointer to the externally managed sailed speculation list resides failedSpeculationsAddress) Creates a speculation log that reads from an externally managed failed speculation list.

Method Summary

Modifier and Type	Method and Description
public boolean	Returns: `false` if the speculation could not be appended to the list addFailedSpeculation(SpeculationLog.Speculation speculation) Adds `speculation` to the native list of failed speculations.
public void	collectFailedSpeculations() Implements jdk.vm.ci.meta.SpeculationLog.collectFailedSpeculations. Updates the set of failed speculations recorded in this log.
private static boolean	Returns: `true` if `needle` is in `haystack[fromIndex..haystack.length-1]` contains(byte[][] haystack, int fromIndex, byte[] needle)
private static int	decodeIndex(long indexAndLength)
private static int	decodeLength(long indexAndLength)
private static byte[]	encode(SpeculationLog.SpeculationReason reason)
private static long	encodeIndexAndLength(int index, int length)
public long	getFailedSpeculationsAddress() Gets the address of the pointer to the native failed speculations list.
pack-priv byte[]	getFlattenedSpeculations(boolean validate)
public boolean	hasSpeculations() Implements jdk.vm.ci.meta.SpeculationLog.hasSpeculations. Returns if this log has speculations.
public SpeculationLog.Speculation	lookupSpeculation(JavaConstant constant) Implements jdk.vm.ci.meta.SpeculationLog.lookupSpeculation. Given a `JavaConstant` previously returned from `MetaAccessProvider#encodeSpeculation(Speculation)` return the original `Speculation` object.
public boolean	managesFailedSpeculations() Returns `true` if the value returned by `getFailedSpeculationsAddress()` is only valid only as long as this object is alive, `false` otherwise.
public boolean	Returns: `true` if the given speculation can be performed, i.e., it never failed so far, otherwise return `false`. Note, that this method returns consistent results for any given speculation for the entire lifetime of the enclosing SpeculationLog object. This means that speculations failed during a compilation will not be updated. maySpeculate(SpeculationLog.SpeculationReason reason) Implements jdk.vm.ci.meta.SpeculationLog.maySpeculate. If this method returns true, the compiler is allowed to `speculate` with the given reason.
public SpeculationLog.Speculation	speculate(SpeculationLog.SpeculationReason an object representing the reason for the speculation reason) Implements jdk.vm.ci.meta.SpeculationLog.speculate. Registers a speculation performed by the compiler.
public String	toString() Overrides java.lang.Object.toString. Returns a string representation of the object.

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll wait wait wait

Field Detail

failedSpeculations	back to summary
private byte[][] failedSpeculations The list of failed speculations read from native memory via `CompilerToVM#getFailedSpeculations`.

failedSpeculationsAddress	back to summary
private long failedSpeculationsAddress Address of a pointer to a set of failed speculations. The address is recorded in the nmethod compiled with this speculation log such that when it fails a speculation, the speculation is added to the list.

managesFailedSpeculations	back to summary
private final boolean managesFailedSpeculations

NO_FLATTENED_SPECULATIONS	back to summary
private static final byte[] NO_FLATTENED_SPECULATIONS

speculationReasons	back to summary
private List<SpeculationLog.SpeculationReason> speculationReasons

speculations	back to summary
private List<byte[]> speculations Speculations made during the compilation associated with this log.

Constructor Detail

HotSpotSpeculationLog back to summary

HotSpotSpeculationLog	back to summary
public HotSpotSpeculationLog() Creates a speculation log that manages a failed speculation list. That is, when this object dies, the native resources of the list are freed. See Also `managesFailedSpeculations()`, `getFailedSpeculationsAddress()`

public HotSpotSpeculationLog()

Creates a speculation log that manages a failed speculation list. That is, when this object dies, the native resources of the list are freed.

See Also: managesFailedSpeculations(), getFailedSpeculationsAddress()

HotSpotSpeculationLog	back to summary
public HotSpotSpeculationLog(long failedSpeculationsAddress) Creates a speculation log that reads from an externally managed failed speculation list. That is, the lifetime of the list is independent of this object. Parameters failedSpeculationsAddress:long an address in native memory at which the pointer to the externally managed sailed speculation list resides

HotSpotSpeculationLog

back to summary

public HotSpotSpeculationLog(long failedSpeculationsAddress)

Creates a speculation log that reads from an externally managed failed speculation list. That is, the lifetime of the list is independent of this object.

Parameters

failedSpeculationsAddress:long: an address in native memory at which the pointer to the externally managed sailed speculation list resides

Method Detail

addFailedSpeculation back to summary

addFailedSpeculation	back to summary
public boolean addFailedSpeculation(SpeculationLog.Speculation speculation) Adds `speculation` to the native list of failed speculations. To update this object's view of the failed speculations, `collectFailedSpeculations()` must be called after this method returns. This method exists primarily for testing purposes. Speculations are normally only added to the list by HotSpot during deoptimization. Returns:boolean `false` if the speculation could not be appended to the list

public boolean addFailedSpeculation(SpeculationLog.Speculation speculation)

Adds speculation to the native list of failed speculations. To update this object's view of the failed speculations, collectFailedSpeculations() must be called after this method returns. This method exists primarily for testing purposes. Speculations are normally only added to the list by HotSpot during deoptimization.

Returns:boolean: false if the speculation could not be appended to the list

collectFailedSpeculations	back to summary
public void collectFailedSpeculations() Implements jdk.vm.ci.meta.SpeculationLog.collectFailedSpeculations. Doc from jdk.vm.ci.meta.SpeculationLog.collectFailedSpeculations. Updates the set of failed speculations recorded in this log. This must be called before compilation. Annotations @Override

collectFailedSpeculations

back to summary

public void collectFailedSpeculations()

Implements jdk.vm.ci.meta.SpeculationLog.collectFailedSpeculations.

Doc from jdk.vm.ci.meta.SpeculationLog.collectFailedSpeculations.

Updates the set of failed speculations recorded in this log. This must be called before compilation.

Annotations

@Override

contains	back to summary
private static boolean contains(byte[][] haystack, int fromIndex, byte[] needle) Returns:boolean `true` if `needle` is in `haystack[fromIndex..haystack.length-1]`

decodeIndex	back to summary
private static int decodeIndex(long indexAndLength)

decodeLength	back to summary
private static int decodeLength(long indexAndLength)

encode	back to summary
private static byte[] encode(SpeculationLog.SpeculationReason reason)

encodeIndexAndLength	back to summary
private static long encodeIndexAndLength(int index, int length)

getFailedSpeculationsAddress back to summary

getFailedSpeculationsAddress	back to summary
public long getFailedSpeculationsAddress() Gets the address of the pointer to the native failed speculations list. See Also `managesFailedSpeculations()`

public long getFailedSpeculationsAddress()

Gets the address of the pointer to the native failed speculations list.

See Also: managesFailedSpeculations()

getFlattenedSpeculations	back to summary
pack-priv byte[] getFlattenedSpeculations(boolean validate)

hasSpeculations	back to summary
public boolean hasSpeculations() Implements jdk.vm.ci.meta.SpeculationLog.hasSpeculations. Doc from jdk.vm.ci.meta.SpeculationLog.hasSpeculations. Returns if this log has speculations. Returns:boolean true if there are speculations, false otherwise Annotations @Override

hasSpeculations

back to summary

public boolean hasSpeculations()

Implements jdk.vm.ci.meta.SpeculationLog.hasSpeculations.

Doc from jdk.vm.ci.meta.SpeculationLog.hasSpeculations.

Returns if this log has speculations.

Returns:boolean

true if there are speculations, false otherwise

Annotations

@Override

lookupSpeculation back to summary

lookupSpeculation	back to summary
public SpeculationLog.Speculation lookupSpeculation(JavaConstant constant) Implements jdk.vm.ci.meta.SpeculationLog.lookupSpeculation. Doc from jdk.vm.ci.meta.SpeculationLog.lookupSpeculation. Given a `JavaConstant` previously returned from `MetaAccessProvider#encodeSpeculation(Speculation)` return the original `Speculation` object. Annotations @Override

public SpeculationLog.Speculation lookupSpeculation(JavaConstant constant)

Implements jdk.vm.ci.meta.SpeculationLog.lookupSpeculation.

Doc from jdk.vm.ci.meta.SpeculationLog.lookupSpeculation.

Given a JavaConstant previously returned from MetaAccessProvider#encodeSpeculation(Speculation) return the original Speculation object.

Annotations

@Override

managesFailedSpeculations	back to summary
public boolean managesFailedSpeculations() Returns `true` if the value returned by `getFailedSpeculationsAddress()` is only valid only as long as this object is alive, `false` otherwise.

maySpeculate back to summary

maySpeculate	back to summary
public boolean maySpeculate(SpeculationLog.SpeculationReason reason) Implements jdk.vm.ci.meta.SpeculationLog.maySpeculate. Doc from jdk.vm.ci.meta.SpeculationLog.maySpeculate. If this method returns true, the compiler is allowed to `speculate` with the given reason. Returns:boolean `true` if the given speculation can be performed, i.e., it never failed so far, otherwise return `false`. Note, that this method returns consistent results for any given speculation for the entire lifetime of the enclosing SpeculationLog object. This means that speculations failed during a compilation will not be updated. Annotations @Override

public boolean maySpeculate(SpeculationLog.SpeculationReason reason)

Implements jdk.vm.ci.meta.SpeculationLog.maySpeculate.

Doc from jdk.vm.ci.meta.SpeculationLog.maySpeculate.

If this method returns true, the compiler is allowed to speculate with the given reason.

Returns:boolean

true if the given speculation can be performed, i.e., it never failed so far, otherwise return false. Note, that this method returns consistent results for any given speculation for the entire lifetime of the enclosing SpeculationLog object. This means that speculations failed during a compilation will not be updated.

Annotations

@Override

speculate back to summary

speculate	back to summary
public SpeculationLog.Speculation speculate(SpeculationLog.SpeculationReason reason) Implements jdk.vm.ci.meta.SpeculationLog.speculate. Doc from jdk.vm.ci.meta.SpeculationLog.speculate. Registers a speculation performed by the compiler. The compiler must guard every call to this method for a specific reason with a call to `maySpeculate(SpeculationReason)`. This API is subject to a benign race where a during the course of a compilation another thread might fail a speculation such that `maySpeculate(SpeculationReason)` will return false but an earlier call returned true. This method will still return a working `Speculation` in that case but the compile will eventually be invalidated and the compile attempted again without the now invalid speculation. Parameters reason:SpeculationLog.SpeculationReason an object representing the reason for the speculation Returns:SpeculationLog.Speculation a compiler constant encapsulating the provided reason. It is usually passed as an argument to the deoptimization function. Annotations @Override

public SpeculationLog.Speculation speculate(SpeculationLog.SpeculationReason reason)

Implements jdk.vm.ci.meta.SpeculationLog.speculate.

Doc from jdk.vm.ci.meta.SpeculationLog.speculate.

Registers a speculation performed by the compiler. The compiler must guard every call to this method for a specific reason with a call to maySpeculate(SpeculationReason). This API is subject to a benign race where a during the course of a compilation another thread might fail a speculation such that maySpeculate(SpeculationReason) will return false but an earlier call returned true. This method will still return a working Speculation in that case but the compile will eventually be invalidated and the compile attempted again without the now invalid speculation.

Parameters

reason:SpeculationLog.SpeculationReason: an object representing the reason for the speculation

Returns:SpeculationLog.Speculation

a compiler constant encapsulating the provided reason. It is usually passed as an argument to the deoptimization function.

Annotations

@Override

toString back to summary

toString	back to summary
public String toString() Overrides java.lang.Object.toString. Doc from java.lang.Object.toString. Returns a string representation of the object. Satisfying this method's contract implies a non-`null` result must be returned. Returns:String a string representation of the object Annotations @Override

public String toString()

Overrides java.lang.Object.toString.

Doc from java.lang.Object.toString.

Returns a string representation of the object. Satisfying this method's contract implies a non-null result must be returned.

Returns:String

a string representation of the object

Annotations

@Override

jdk.vm.ci.hotspot back to summary

public final Class HotSpotSpeculationLog.HotSpotSpeculation

Class Inheritance

extends Speculation

java.lang.Object
jdk.vm.ci.meta.SpeculationLog.Speculation
jdk.vm.ci.hotspot.HotSpotSpeculationLog.HotSpotSpeculation

Field Summary

Modifier and Type	Field and Description
private final byte[]	encoding
private final JavaConstant	id A speculation id is a long encoding a length (low 5 bits) and an index into a `byte[]`.

Constructor Summary

Access	Constructor and Description
pack-priv	HotSpotSpeculation(SpeculationLog.SpeculationReason reason, JavaConstant id, byte[] encoding)

Method Summary

Modifier and Type	Method and Description
public JavaConstant	getEncoding()
public String	toString() Overrides jdk.vm.ci.meta.SpeculationLog.Speculation.toString. Returns a string representation of the object.

Inherited from jdk.vm.ci.meta.SpeculationLog.Speculation:: equals getReason hashCode

Field Detail

encoding	back to summary
private final byte[] encoding

id	back to summary
private final JavaConstant id A speculation id is a long encoding a length (low 5 bits) and an index into a `byte[]`. Combined, the index and length denote where the encoded speculation is in a flattened speculations array.

Constructor Detail

HotSpotSpeculation	back to summary
pack-priv HotSpotSpeculation(SpeculationLog.SpeculationReason reason, JavaConstant id, byte[] encoding)

Method Detail

getEncoding	back to summary
public JavaConstant getEncoding()

toString back to summary

toString	back to summary
public String toString() Overrides jdk.vm.ci.meta.SpeculationLog.Speculation.toString. Doc from java.lang.Object.toString. Returns a string representation of the object. Satisfying this method's contract implies a non-`null` result must be returned. Returns:String a string representation of the object Annotations @Override

public String toString()

Overrides jdk.vm.ci.meta.SpeculationLog.Speculation.toString.

Doc from java.lang.Object.toString.

Returns a string representation of the object. Satisfying this method's contract implies a non-null result must be returned.

Returns:String

a string representation of the object

Annotations

@Override

jdk.vm.ci.hotspot back to summary

private final Class HotSpotSpeculationLog.LogCleaner

Class Inheritance

extends Cleaner

java.lang.Object
java.lang.ref.Reference
java.lang.ref.WeakReference
jdk.vm.ci.hotspot.Cleaner
jdk.vm.ci.hotspot.HotSpotSpeculationLog.LogCleaner

Frees the native memory resources associated with HotSpotSpeculationLogs once they become reclaimable.

Field Summary

Modifier and Type	Field and Description
pack-priv final long	address

Constructor Summary

Access	Constructor and Description
pack-priv	LogCleaner(HotSpotSpeculationLog referent, long address)

Method Summary

Modifier and Type	Method and Description
pack-priv boolean	doCleanup() Implements abstract jdk.vm.ci.hotspot.Cleaner.doCleanup. Performs the cleanup action now that this object's referent has become weakly reachable.

Inherited from jdk.vm.ci.hotspot.Cleaner:: clean

Field Detail

address	back to summary
pack-priv final long address

Constructor Detail

LogCleaner	back to summary
pack-priv LogCleaner(HotSpotSpeculationLog referent, long address)

Method Detail

doCleanup back to summary

doCleanup	back to summary
pack-priv boolean doCleanup() Implements abstract jdk.vm.ci.hotspot.Cleaner.doCleanup. Doc from jdk.vm.ci.hotspot.Cleaner.doCleanup. Performs the cleanup action now that this object's referent has become weakly reachable. Returns:boolean true if the clean up action cleared the referent of an oop handle and requires a subsequent call to `CompilerToVM#releaseClearedOopHandles()` to reclaim the resources of the handle itself Annotations @Override

pack-priv boolean doCleanup()

Implements abstract jdk.vm.ci.hotspot.Cleaner.doCleanup.

Doc from jdk.vm.ci.hotspot.Cleaner.doCleanup.

Performs the cleanup action now that this object's referent has become weakly reachable.

Returns:boolean

true if the clean up action cleared the referent of an oop handle and requires a subsequent call to CompilerToVM#releaseClearedOopHandles() to reclaim the resources of the handle itself

Annotations

@Override

public Class HotSpotSpeculationLog

Nested and Inner Type Summary

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail

public final Class HotSpotSpeculationLog.HotSpotSpeculation

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail

private final Class HotSpotSpeculationLog.LogCleaner

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail