Mercurial > hg > graal-compiler
annotate test/compiler/rtm/locking/TestUseRTMAfterLockInflation.java @ 20182:c5ae0424f822
Move special arithemtic nodes from graal.truffle to graal and use them to inrinsify some of the JDK8 Math methods
author | Gilles Duboscq <gilles.m.duboscq@oracle.com> |
---|---|
date | Tue, 07 Apr 2015 11:30:29 +0200 |
parents | ba8268c23fa2 |
children |
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 <provoker type> |
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 } |