Mercurial > hg > truffle
annotate test/compiler/rtm/method_options/TestUseRTMLockElidingOption.java @ 20708:d9e22e15d3f6
8066775: opto/node.hpp:355, assert(i < _max) failed: oob: i=1, _max=1
Summary: bad assumption on graph shape in CastIINode::Value if that part of the graph is becoming dead.
Reviewed-by: kvn
author | roland |
---|---|
date | Fri, 05 Dec 2014 18:03:15 +0100 |
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 UseRTMLockEliding option could be applied to |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
29 * specified method and that such method will not be deoptimized |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
30 * on high abort ratio. |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
31 * @library /testlibrary /testlibrary/whitebox /compiler/testlibrary |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
32 * @build TestUseRTMLockElidingOption |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
33 * @run main ClassFileInstaller sun.hotspot.WhiteBox |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
34 * @run main/othervm -Xbootclasspath/a:. -XX:+UnlockDiagnosticVMOptions |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
35 * -XX:+WhiteBoxAPI TestUseRTMLockElidingOption |
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 |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
38 import java.util.List; |
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 method tagged with option <i>UseRTMLockElidingOption</i> |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
48 * will use RTM-based lock elision, but will be never deoptimized with |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
49 * <i>rtm_state_change reason</i>. |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
50 * Test invokes compiled method and checks that no deoptimization with |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
51 * <i>rtm_state_change</i> reason had happened and that that VM output |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
52 * contains RTM locking statistics for compiled method and that total locks |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
53 * count equals to method's invocations. |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
54 * Since last assert is pretty strict, test uses -XX:RTMRetryCount=0 in order |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
55 * to avoid issue with retriable aborts described in |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
56 * {@link TestUseRTMAfterLockInflation}. |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
57 */ |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
58 public class TestUseRTMLockElidingOption extends CommandLineOptionTest { |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
59 private TestUseRTMLockElidingOption() { |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
60 super(new AndPredicate(new SupportedCPU(), new SupportedVM())); |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
61 } |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
62 |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
63 @Override |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
64 public void runTestCases() throws Throwable { |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
65 verifyOption(false); |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
66 verifyOption(true); |
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 public void verifyOption(boolean useStackLock) throws Throwable { |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
70 AbortProvoker provoker = AbortType.XABORT.provoker(); |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
71 String logFileName = String.format("rtm_deopt_%s_stack_lock.xml", |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
72 (useStackLock ? "use" : "no")); |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
73 String methodOption = String.format("-XX:CompileCommand=option," + |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
74 "%s,UseRTMLockEliding", provoker.getMethodWithLockName()); |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
75 |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
76 OutputAnalyzer outputAnalyzer = RTMTestBase.executeRTMTest( |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
77 logFileName, |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
78 provoker, |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
79 CommandLineOptionTest.prepareBooleanFlag("UseRTMForStackLocks", |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
80 useStackLock), |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
81 methodOption, |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
82 "-XX:RTMTotalCountIncrRate=1", |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
83 "-XX:RTMRetryCount=0", |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
84 "-XX:+UseRTMDeopt", |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
85 "-XX:+PrintPreciseRTMLockingStatistics", |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
86 provoker.getClass().getName(), |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
87 AbortType.XABORT.toString(), |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
88 Boolean.toString(!useStackLock) |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
89 ); |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
90 |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
91 outputAnalyzer.shouldHaveExitValue(0); |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
92 |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
93 int firedTraps = RTMTestBase.firedRTMStateChangeTraps(logFileName); |
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 Asserts.assertEQ(firedTraps, 0, |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
96 "Method deoptimization with rtm_state_change is unexpected"); |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
97 |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
98 List<RTMLockingStatistics> statistics = RTMLockingStatistics.fromString( |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
99 provoker.getMethodWithLockName(), outputAnalyzer.getOutput()); |
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 Asserts.assertEQ(statistics.size(), 1, |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
102 "VM output should contain exactly one RTM locking " |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
103 + "statistics entry for method " |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
104 + provoker.getMethodWithLockName()); |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
105 |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
106 RTMLockingStatistics lock = statistics.get(0); |
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 Asserts.assertEQ(lock.getTotalLocks(), AbortProvoker.DEFAULT_ITERATIONS, |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
109 "Expected to get total locks count equal to total amount of " |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
110 + "lock attempts."); |
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 |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
113 public static void main(String args[]) throws Throwable { |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
114 new TestUseRTMLockElidingOption().test(); |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
115 } |
ba8268c23fa2
8037860: Add tests to cover Intel RTM instructions support
iignatyev
parents:
diff
changeset
|
116 } |