com.oracle.graal.hotspot.test

Class WriteBarrierAdditionTest

java.lang.Object

com.oracle.graal.test.GraalTest

com.oracle.graal.compiler.test.GraalCompilerTest

com.oracle.graal.hotspot.test.WriteBarrierAdditionTest

public class WriteBarrierAdditionTest
extends GraalCompilerTest

The following unit tests assert the presence of write barriers for both Serial and G1 GCs. Normally, the tests check for compile time inserted barriers. However, there are the cases of unsafe loads of the java.lang.ref.Reference.referent field where runtime checks have to be performed also. For those cases, the unit tests check the presence of the compile-time inserted barriers. Concerning the runtime checks, the results of variable inputs (object types and offsets) passed as input parameters can be checked against printed output from the G1 write barrier snippets. The runtime checks have been validated offline.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	WriteBarrierAdditionTest.Container

Nested classes/interfaces inherited from class com.oracle.graal.compiler.test.GraalCompilerTest

GraalCompilerTest.ArgSupplier, GraalCompilerTest.Result

Nested classes/interfaces inherited from class com.oracle.graal.test.GraalTest

GraalTest.MultiCauseAssertionError

Field Summary

Fields

Modifier and Type	Field and Description
(package private) static WriteBarrierAdditionTest.Container	con
private static HotSpotVMConfig	config
(package private) static Object[]	dst
private static long	referentOffset
(package private) static Object[]	src
(package private) static WeakReference<Object>	wr

Fields inherited from class com.oracle.graal.compiler.test.GraalCompilerTest

lastCompiledGraph

Constructor Summary

Constructors

Constructor and Description
WriteBarrierAdditionTest()

Method Summary

Modifier and Type	Method and Description
private HotSpotInstalledCode	getInstalledCode(String name, boolean withUnsafePrefix)
void	test1() Expected 2 barriers for the Serial GC and 4 for G1 (2 pre + 2 post).
void	test10() The following test concerns the runtime checks of the unsafe loads.
void	test11()
static void	test1Snippet()
void	test2() Expected 4 barriers for the Serial GC and 8 for G1 (4 pre + 4 post).
private void	test2(String snippet, Object... args)
static void	test2Snippet(boolean test)
void	test3() Expected 4 barriers for the Serial GC and 8 for G1 (4 pre + 4 post).
static void	test3Snippet()
void	test4() Expected 2 barriers for the Serial GC and 5 for G1 (3 pre + 2 post) The (2 or 4) barriers are emitted while initializing the fields of the WeakReference instance.
static Object	test4Snippet()
void	test5() Expected 4 barriers for the Serial GC and 9 for G1 (1 ref + 4 pre + 4 post).
static Object	test5Snippet()
void	test6() The following test concerns the runtime checks of the unsafe loads.
void	test7() The following test concerns the runtime checks of the unsafe loads.
void	test8() The following test concerns the runtime checks of the unsafe loads.
void	test9() The following test concerns the runtime checks of the unsafe loads.
static void	testArrayCopy(Object a, Object b, Object c)
private void	testHelper(String snippetName, int expectedBarriers)
static Object	testUnsafeLoad(sun.misc.Unsafe theUnsafe, Object a, Object b, Object c)

Methods inherited from class com.oracle.graal.compiler.test.GraalCompilerTest

addMethod, after, afterTest, applyArgSuppliers, argsWithReceiver, asResolvedJavaMethod, assertConstantReturn, assertEquals, assertEquals, assertEquals, before, beforeTest, branchProbability, breakpoint, breakpoint, checkArgs, checkHighTierGraph, checkLowTierGraph, checkMidTierGraph, compile, countUnusedConstants, createLIRSuites, createSuites, editGraphBuilderConfiguration, executeActual, executeActualCheckDeopt, executeExpected, getBackend, getCanonicalGraphString, getCode, getCode, getCode, getCodeCache, getConstantReflection, getCustomGraphBuilderSuite, getDefaultGraphBuilderPlugins, getDefaultGraphBuilderSuite, getDefaultHighTierContext, getLIRSuites, getLowerer, getMetaAccess, getNodeCountExcludingUnusedConstants, getProviders, getReplacements, getResolvedJavaMethod, getResolvedJavaMethod, getResolvedJavaMethod, getSnippetReflection, getSpeculationLog, getSuites, getTarget, initializeDebugging, invoke, isArchitecture, iterationCount, lookupMethod, parseDebug, parseEager, parseEager, parseForCompile, parseProfiled, parseProfiled, referenceInvoke, supply, test, test, testAgainstExpected, testAgainstExpected, testN

Methods inherited from class com.oracle.graal.test.GraalTest

assertDeepEquals, assertDeepEquals, assertDeepEquals, assertDeepEquals, assertFalse, assertFalse, assertFalse, assertTrue, assertTrue, assertTrue, equalFloatsOrDoublesDelta, fail, getMethod, getMethod, getMethod, ulpsDelta

Methods inherited from class java.lang.Object

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

Field Detail

config

private static final HotSpotVMConfig config

referentOffset

private static final long referentOffset

wr

static WeakReference<Object> wr

con

static WriteBarrierAdditionTest.Container con

src

static Object[] src

dst

static Object[] dst

Constructor Detail

WriteBarrierAdditionTest

public WriteBarrierAdditionTest()

Method Detail

test1

public void test1()
           throws Exception

Expected 2 barriers for the Serial GC and 4 for G1 (2 pre + 2 post).

Throws:

Exception

test1Snippet

public static void test1Snippet()

test2

public void test2()
           throws Exception

Expected 4 barriers for the Serial GC and 8 for G1 (4 pre + 4 post).

Throws:

Exception

test2Snippet

public static void test2Snippet(boolean test)

test3

public void test3()
           throws Exception

Expected 4 barriers for the Serial GC and 8 for G1 (4 pre + 4 post).

Throws:

Exception

test3Snippet

public static void test3Snippet()

test4

public void test4()
           throws Exception

Expected 2 barriers for the Serial GC and 5 for G1 (3 pre + 2 post) The (2 or 4) barriers are emitted while initializing the fields of the WeakReference instance. The extra pre barrier of G1 concerns the read of the referent field.

Throws:

Exception

test4Snippet

public static Object test4Snippet()

test5

public void test5()
           throws Exception

Expected 4 barriers for the Serial GC and 9 for G1 (1 ref + 4 pre + 4 post). In this test, we load the correct offset of the WeakReference object so naturally we assert the presence of the pre barrier.

Throws:

Exception

test5Snippet

public static Object test5Snippet()
                           throws Exception

Throws:

Exception

test6

public void test6()
           throws Exception

The following test concerns the runtime checks of the unsafe loads. In this test, we unsafely load the java.lang.ref.Reference.referent field so the pre barier has to be executed.

Throws:

Exception

test7

public void test7()
           throws Exception

The following test concerns the runtime checks of the unsafe loads. In this test, we unsafely load a matching offset of a wrong object so the pre barier must not be executed.

Throws:

Exception

test8

public void test8()
           throws Exception

The following test concerns the runtime checks of the unsafe loads. In this test, we unsafely load a non-matching offset field of the java.lang.ref.Reference object so the pre barier must not be executed.

Throws:

Exception

test10

public void test10()
            throws Exception

The following test concerns the runtime checks of the unsafe loads. In this test, we unsafely load a matching offset+disp field of the java.lang.ref.Reference object so the pre barier must be executed.

Throws:

Exception

test9

public void test9()
           throws Exception

The following test concerns the runtime checks of the unsafe loads. In this test, we unsafely load a non-matching offset+disp field of the java.lang.ref.Reference object so the pre barier must not be executed.

Throws:

Exception

testArrayCopy

public static void testArrayCopy(Object a,
                                 Object b,
                                 Object c)
                          throws Exception

Throws:

Exception

test11

public void test11()
            throws Exception

Throws:

Exception

testUnsafeLoad

public static Object testUnsafeLoad(sun.misc.Unsafe theUnsafe,
                                    Object a,
                                    Object b,
                                    Object c)
                             throws Exception

Throws:

Exception

getInstalledCode

private HotSpotInstalledCode getInstalledCode(String name,
                                              boolean withUnsafePrefix)
                                       throws Exception

Throws:

Exception

testHelper

private void testHelper(String snippetName,
                        int expectedBarriers)
                 throws Exception,
                        SecurityException

Throws:

Exception

SecurityException

test2

private void test2(String snippet,
                   Object... args)
            throws Exception

Throws:

Exception