org.graalvm.compiler.phases.common

Class LockEliminationPhase

java.lang.Object

org.graalvm.compiler.phases.BasePhase<Object>

org.graalvm.compiler.phases.Phase

org.graalvm.compiler.phases.common.LockEliminationPhase

All Implemented Interfaces:

PhaseSizeContract

public class LockEliminationPhase
extends Phase

Nested Class Summary

Nested classes/interfaces inherited from class org.graalvm.compiler.phases.BasePhase

BasePhase.ApplyScope, BasePhase.BasePhaseStatistics, BasePhase.PhaseOptions, BasePhase.SharedGlobalPhaseState

Constructor Summary

Constructors

Constructor and Description
LockEliminationPhase()

Method Summary

Modifier and Type	Method and Description
static Block	getGuardingBlock(GuardingNode g1, ControlFlowGraph cfg) Get the basic block of the GuardingNode.
static boolean	isCompatibleLock(AccessMonitorNode a, AccessMonitorNode b, boolean aDominatesB, ControlFlowGraph cfg) Check that the paired monitor operations operate on the same object at the same lock depth.
static Block	lowestGuardedInputBlock(AccessMonitorNode monitorNode, ControlFlowGraph cfg) Get the lowest (by dominance relation) Block for the (potentially hidden behind ProxyNodes) inputs of the AccessMonitorNode.
static Block	lowestGuardedInputBlock(GuardingNode g1, GuardingNode g2, ControlFlowGraph cfg)
protected void	run(StructuredGraph graph)
static GuardingNode	unproxifyHighestGuard(ValueNode value) Get the highest (by input traversal) GuardingNode attached to any ProxyNode visited in GraphUtil.unproxify(ValueNode).

Methods inherited from class org.graalvm.compiler.phases.Phase

apply, apply, run

Methods inherited from class org.graalvm.compiler.phases.BasePhase

apply, apply, applyScope, codeSizeIncrease, contractorName, equals, getName, hashCode, shouldDumpAfterAtBasicLevel, shouldDumpBeforeAtBasicLevel

Methods inherited from class java.lang.Object

clone, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.graalvm.compiler.phases.contract.PhaseSizeContract

checkContract

Constructor Detail

LockEliminationPhase

public LockEliminationPhase()

Method Detail

run

protected void run(StructuredGraph graph)

Specified by:

run in class Phase

isCompatibleLock

public static boolean isCompatibleLock(AccessMonitorNode a,
                                       AccessMonitorNode b,
                                       boolean aDominatesB,
                                       ControlFlowGraph cfg)

Check that the paired monitor operations operate on the same object at the same lock depth. Additionally, ensure that any PiNode in between respect a dominance relation between a and b. This is necessary to ensure any monitor rewiring respects a proper schedule.

Parameters:

a - The first AccessMonitorNode

b - The first AccessMonitorNode

aDominatesB - if true determine if a must dominate b (including any guarded PiNode in between to determine if a and b are compatible, else if false determine if b must dominate a

lowestGuardedInputBlock

public static Block lowestGuardedInputBlock(AccessMonitorNode monitorNode,
                                            ControlFlowGraph cfg)

Get the lowest (by dominance relation) Block for the (potentially hidden behind ProxyNodes) inputs of the AccessMonitorNode.

lowestGuardedInputBlock

public static Block lowestGuardedInputBlock(GuardingNode g1,
                                            GuardingNode g2,
                                            ControlFlowGraph cfg)

getGuardingBlock

public static Block getGuardingBlock(GuardingNode g1,
                                     ControlFlowGraph cfg)

Get the basic block of the GuardingNode. Handles fixed and floating guarded nodes.

unproxifyHighestGuard

public static GuardingNode unproxifyHighestGuard(ValueNode value)

Get the highest (by input traversal) GuardingNode attached to any ProxyNode visited in GraphUtil.unproxify(ValueNode).