hotspot/test/compiler/rtm/locking/TestUseRTMAfterLockInflation.java
author thartmann
Fri, 12 Dec 2014 09:37:38 +0100
changeset 28190 5a6b07edeb21
parent 25958 8dc85547d6d6
child 28394 6d382dc493e5
permissions -rw-r--r--
8066433: Move Whitebox test library to top level repository Summary: Moved Whitebox test library to top level repository. Reviewed-by: iignatyev, sla, mr
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
24006
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
     1
/*
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
     2
 * Copyright (c) 2014, Oracle and/or its affiliates. All rights reserved.
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
     4
 *
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
     7
 * published by the Free Software Foundation.
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
     8
 *
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    13
 * accompanied this code).
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    14
 *
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    18
 *
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    21
 * questions.
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    22
 *
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    23
 */
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    24
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    25
/**
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    26
 * @test
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    27
 * @bug 8031320
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    28
 * @summary Verify that rtm locking is used for stack locks before
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    29
 *          inflation and after it used for inflated locks.
28190
5a6b07edeb21 8066433: Move Whitebox test library to top level repository
thartmann
parents: 25958
diff changeset
    30
 * @library /testlibrary /../../test/lib /compiler/testlibrary
24006
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    31
 * @build TestUseRTMAfterLockInflation
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    32
 * @run main ClassFileInstaller sun.hotspot.WhiteBox
25958
8dc85547d6d6 8011397: JTREG needs to copy additional WhiteBox class file to JTwork/scratch/sun/hotspot
mgerdin
parents: 24006
diff changeset
    33
 *                              sun.hotspot.WhiteBox$WhiteBoxPermission
24006
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    34
 * @run main/othervm -Xbootclasspath/a:. -XX:+UnlockDiagnosticVMOptions
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    35
 *                   -XX:+WhiteBoxAPI TestUseRTMAfterLockInflation
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    36
 */
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    37
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    38
import java.util.List;
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    39
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    40
import com.oracle.java.testlibrary.*;
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    41
import com.oracle.java.testlibrary.cli.CommandLineOptionTest;
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    42
import com.oracle.java.testlibrary.cli.predicate.AndPredicate;
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    43
import rtm.*;
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    44
import rtm.predicate.SupportedCPU;
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    45
import rtm.predicate.SupportedVM;
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    46
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    47
/**
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    48
 * Test verifies that RTM is used after lock inflation by executing compiled
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    49
 * method with RTM-based lock elision using stack lock first, then that lock
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    50
 * is inflated and the same compiled method invoked again.
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    51
 *
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    52
 * Compiled method invoked {@code AbortProvoker.DEFAULT_ITERATIONS} times before
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    53
 * lock inflation and the same amount of times after inflation.
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    54
 * As a result total locks count should be equal to
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    55
 * {@code 2*AbortProvoker.DEFAULT_ITERATIONS}.
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    56
 * It is a pretty strict assertion which could fail if some retriable abort
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    57
 * happened: it could be {@code AbortType.RETRIABLE} or
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    58
 * {@code AbortType.MEM_CONFLICT}, but unfortunately abort can has both these
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    59
 * reasons simultaneously. In order to avoid false negative failures related
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    60
 * to incorrect aborts counting, -XX:RTMRetryCount=0 is used.
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    61
 */
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    62
public class TestUseRTMAfterLockInflation extends CommandLineOptionTest {
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    63
    private static final long EXPECTED_LOCKS
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    64
            = 2L * AbortProvoker.DEFAULT_ITERATIONS;
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    65
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    66
    private TestUseRTMAfterLockInflation() {
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    67
        super(new AndPredicate(new SupportedVM(), new SupportedCPU()));
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    68
    }
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    69
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    70
    @Override
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    71
    protected void runTestCases() throws Throwable {
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    72
        AbortProvoker provoker = AbortType.XABORT.provoker();
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    73
        long totalLocksCount = 0;
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    74
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    75
        OutputAnalyzer outputAnalyzer = RTMTestBase.executeRTMTest(
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    76
                provoker,
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    77
                "-XX:+UseRTMForStackLocks",
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    78
                "-XX:RTMTotalCountIncrRate=1",
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    79
                "-XX:RTMRetryCount=0",
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    80
                "-XX:+PrintPreciseRTMLockingStatistics",
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    81
                Test.class.getName(),
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    82
                AbortType.XABORT.toString());
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    83
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    84
        outputAnalyzer.shouldHaveExitValue(0);
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    85
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    86
        List<RTMLockingStatistics> statistics = RTMLockingStatistics.fromString(
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    87
                provoker.getMethodWithLockName(), outputAnalyzer.getOutput());
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    88
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    89
        Asserts.assertEQ(statistics.size(), 2,
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    90
                "VM output should contain two rtm locking statistics entries "
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    91
                + "for method " + provoker.getMethodWithLockName());
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    92
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    93
        for (RTMLockingStatistics s : statistics) {
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    94
            totalLocksCount += s.getTotalLocks();
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    95
        }
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    96
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    97
        Asserts.assertEQ(totalLocksCount,
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    98
                TestUseRTMAfterLockInflation.EXPECTED_LOCKS,
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
    99
                "Total lock count should be greater or equal to "
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   100
                + TestUseRTMAfterLockInflation.EXPECTED_LOCKS);
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   101
    }
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   102
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   103
    public static class Test {
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   104
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   105
        /**
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   106
         * Usage:
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   107
         * Test &lt;provoker type&gt;
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   108
         */
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   109
        public static void main(String args[]) throws Throwable {
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   110
            Asserts.assertGT(args.length, 0,
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   111
                    "AbortType name is expected as first argument.");
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   112
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   113
            AbortProvoker provoker
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   114
                    = AbortType.lookup(Integer.valueOf(args[0])).provoker();
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   115
            for (int i = 0; i < AbortProvoker.DEFAULT_ITERATIONS; i++) {
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   116
                provoker.forceAbort();
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   117
            }
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   118
            provoker.inflateMonitor();
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   119
            for (int i = 0; i < AbortProvoker.DEFAULT_ITERATIONS; i++) {
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   120
                provoker.forceAbort();
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   121
            }
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   122
        }
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   123
    }
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   124
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   125
    public static void main(String args[]) throws Throwable {
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   126
        new TestUseRTMAfterLockInflation().test();
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   127
    }
54399106938f 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
   128
}