package org.graalvm.compiler.hotspot.gc.shared;
import org.graalvm.compiler.debug.GraalError;
import org.graalvm.compiler.hotspot.GraalHotSpotVMConfig;
import org.graalvm.compiler.nodes.StructuredGraph;
import org.graalvm.compiler.nodes.ValueNode;
import org.graalvm.compiler.nodes.extended.ArrayRangeWrite;
import org.graalvm.compiler.nodes.java.AbstractCompareAndSwapNode;
import org.graalvm.compiler.nodes.java.LoweredAtomicReadAndWriteNode;
import org.graalvm.compiler.nodes.memory.FixedAccessNode;
import org.graalvm.compiler.nodes.memory.HeapAccess;
import org.graalvm.compiler.nodes.memory.ReadNode;
import org.graalvm.compiler.nodes.memory.WriteNode;
import org.graalvm.compiler.nodes.memory.address.AddressNode;
import org.graalvm.compiler.nodes.type.StampTool;
public class CardTableBarrierSet extends BarrierSet {
public CardTableBarrierSet(GraalHotSpotVMConfig vmConfig) {
super(vmConfig);
}
@Override
public void addReadNodeBarriers(ReadNode node, StructuredGraph graph) {
}
@Override
public void addWriteNodeBarriers(WriteNode node, StructuredGraph graph) {
HeapAccess.BarrierType barrierType = node.getBarrierType();
switch (barrierType) {
case NONE:
break;
case FIELD:
case ARRAY:
case UNKNOWN:
boolean precise = barrierType != HeapAccess.BarrierType.FIELD;
boolean init = node.getLocationIdentity().isInit();
if (!init || !getVMConfig().useDeferredInitBarriers) {
addSerialPostWriteBarrier(node, node.getAddress(), node.value(), precise, graph);
}
break;
default:
throw new GraalError("unexpected barrier type: " + barrierType);
}
}
@Override
public void addAtomicReadWriteNodeBarriers(LoweredAtomicReadAndWriteNode node, StructuredGraph graph) {
HeapAccess.BarrierType barrierType = node.getBarrierType();
switch (barrierType) {
case NONE:
break;
case FIELD:
case ARRAY:
case UNKNOWN:
boolean precise = barrierType != HeapAccess.BarrierType.FIELD;
addSerialPostWriteBarrier(node, node.getAddress(), node.getNewValue(), precise, graph);
break;
default:
throw new GraalError("unexpected barrier type: " + barrierType);
}
}
@Override
public void addCASBarriers(AbstractCompareAndSwapNode node, StructuredGraph graph) {
HeapAccess.BarrierType barrierType = node.getBarrierType();
switch (barrierType) {
case NONE:
break;
case FIELD:
case ARRAY:
case UNKNOWN:
boolean precise = barrierType != HeapAccess.BarrierType.FIELD;
addSerialPostWriteBarrier(node, node.getAddress(), node.getNewValue(), precise, graph);
break;
default:
throw new GraalError("unexpected barrier type: " + barrierType);
}
}
@Override
public void addArrayRangeBarriers(ArrayRangeWrite write, StructuredGraph graph) {
SerialArrayRangeWriteBarrier serialArrayRangeWriteBarrier = graph.add(new SerialArrayRangeWriteBarrier(write.getAddress(), write.getLength(), write.getElementStride()));
graph.addAfterFixed(write.asNode(), serialArrayRangeWriteBarrier);
}
protected void addSerialPostWriteBarrier(FixedAccessNode node, AddressNode address, ValueNode value, boolean precise, StructuredGraph graph) {
final boolean alwaysNull = StampTool.isPointerAlwaysNull(value);
if (alwaysNull) {
return;
}
graph.addAfterFixed(node, graph.add(new SerialWriteBarrier(address, precise)));
}
}