Mercurial > hg > truffle

annotate test/compiler/rtm/locking/TestUseRTMAfterLockInflation.java @ 18755:59953a46c56f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Truffle-DSL: migrate DSL tests to use @GenerateNodeFactory.
author Christian Humer <christian.humer@gmail.com>
date Mon, 29 Dec 2014 23:38:30 +0100
parents ba8268c23fa2
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
17873
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
1 /*
ba8268c23fa2 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.
ba8268c23fa2 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.
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
4 *
ba8268c23fa2 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
ba8268c23fa2 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
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
7 * published by the Free Software Foundation.
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
8 *
ba8268c23fa2 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
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
ba8268c23fa2 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
ba8268c23fa2 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
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
13 * accompanied this code).
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
14 *
ba8268c23fa2 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
ba8268c23fa2 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,
ba8268c23fa2 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.
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
18 *
ba8268c23fa2 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
ba8268c23fa2 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
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
21 * questions.
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
22 *
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
23 */
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
24
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
25 /**
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
26 * @test
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
27 * @bug 8031320
ba8268c23fa2 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
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
29 * inflation and after it used for inflated locks.
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
30 * @library /testlibrary /testlibrary/whitebox /compiler/testlibrary
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
31 * @build TestUseRTMAfterLockInflation
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
32 * @run main ClassFileInstaller sun.hotspot.WhiteBox
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
33 * @run main/othervm -Xbootclasspath/a:. -XX:+UnlockDiagnosticVMOptions
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
34 * -XX:+WhiteBoxAPI TestUseRTMAfterLockInflation
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
35 */
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
36
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
37 import java.util.List;
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
38
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
39 import com.oracle.java.testlibrary.*;
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
40 import com.oracle.java.testlibrary.cli.CommandLineOptionTest;
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
41 import com.oracle.java.testlibrary.cli.predicate.AndPredicate;
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
42 import rtm.*;
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
43 import rtm.predicate.SupportedCPU;
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
44 import rtm.predicate.SupportedVM;
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
45
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
46 /**
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
47 * Test verifies that RTM is used after lock inflation by executing compiled
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
48 * method with RTM-based lock elision using stack lock first, then that lock
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
49 * is inflated and the same compiled method invoked again.
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
50 *
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
51 * Compiled method invoked {@code AbortProvoker.DEFAULT_ITERATIONS} times before
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
52 * lock inflation and the same amount of times after inflation.
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
53 * As a result total locks count should be equal to
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
54 * {@code 2*AbortProvoker.DEFAULT_ITERATIONS}.
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
55 * It is a pretty strict assertion which could fail if some retriable abort
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
56 * happened: it could be {@code AbortType.RETRIABLE} or
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
57 * {@code AbortType.MEM_CONFLICT}, but unfortunately abort can has both these
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
58 * reasons simultaneously. In order to avoid false negative failures related
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
59 * to incorrect aborts counting, -XX:RTMRetryCount=0 is used.
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
60 */
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
61 public class TestUseRTMAfterLockInflation extends CommandLineOptionTest {
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
62 private static final long EXPECTED_LOCKS
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
63 = 2L * AbortProvoker.DEFAULT_ITERATIONS;
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
64
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
65 private TestUseRTMAfterLockInflation() {
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
66 super(new AndPredicate(new SupportedVM(), new SupportedCPU()));
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
67 }
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
68
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
69 @Override
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
70 protected void runTestCases() throws Throwable {
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
71 AbortProvoker provoker = AbortType.XABORT.provoker();
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
72 long totalLocksCount = 0;
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
73
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
74 OutputAnalyzer outputAnalyzer = RTMTestBase.executeRTMTest(
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
75 provoker,
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
76 "-XX:+UseRTMForStackLocks",
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
77 "-XX:RTMTotalCountIncrRate=1",
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
78 "-XX:RTMRetryCount=0",
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
79 "-XX:+PrintPreciseRTMLockingStatistics",
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
80 Test.class.getName(),
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
81 AbortType.XABORT.toString());
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
82
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
83 outputAnalyzer.shouldHaveExitValue(0);
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
84
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
85 List<RTMLockingStatistics> statistics = RTMLockingStatistics.fromString(
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
86 provoker.getMethodWithLockName(), outputAnalyzer.getOutput());
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
87
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
88 Asserts.assertEQ(statistics.size(), 2,
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
89 "VM output should contain two rtm locking statistics entries "
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
90 + "for method " + provoker.getMethodWithLockName());
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
91
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
92 for (RTMLockingStatistics s : statistics) {
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
93 totalLocksCount += s.getTotalLocks();
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
94 }
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
95
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
96 Asserts.assertEQ(totalLocksCount,
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
97 TestUseRTMAfterLockInflation.EXPECTED_LOCKS,
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
98 "Total lock count should be greater or equal to "
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
99 + TestUseRTMAfterLockInflation.EXPECTED_LOCKS);
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
100 }
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
101
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
102 public static class Test {
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
103
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
104 /**
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
105 * Usage:
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
106 * Test &lt;provoker type&gt;
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
107 */
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
108 public static void main(String args[]) throws Throwable {
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
109 Asserts.assertGT(args.length, 0,
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
110 "AbortType name is expected as first argument.");
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
111
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
112 AbortProvoker provoker
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
113 = AbortType.lookup(Integer.valueOf(args[0])).provoker();
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
114 for (int i = 0; i < AbortProvoker.DEFAULT_ITERATIONS; i++) {
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
115 provoker.forceAbort();
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
116 }
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
117 provoker.inflateMonitor();
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
118 for (int i = 0; i < AbortProvoker.DEFAULT_ITERATIONS; i++) {
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
119 provoker.forceAbort();
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
120 }
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
121 }
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
122 }
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
123
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
124 public static void main(String args[]) throws Throwable {
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
125 new TestUseRTMAfterLockInflation().test();
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
126 }
ba8268c23fa2 8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff changeset
127 }