1 /*
2 * Copyright (c) 2017, 2020, Red Hat, Inc. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25 /*
26 * @test id=passive
27 * @summary Tests that we pass at least one jcstress-like test with all verification turned on
28 * @requires vm.gc.Shenandoah
29 * @modules java.base/jdk.internal.misc
30 * java.management
31 *
32 * @run main/othervm -Xmx1g -Xms1g -XX:+UnlockExperimentalVMOptions -XX:+UnlockDiagnosticVMOptions
33 * -XX:+UseShenandoahGC -XX:ShenandoahGCMode=passive
34 * -XX:+ShenandoahDegeneratedGC -XX:+ShenandoahVerify
35 * TestVerifyJCStress
36 *
37 * @run main/othervm -Xmx1g -Xms1g -XX:+UnlockExperimentalVMOptions -XX:+UnlockDiagnosticVMOptions
38 * -XX:+UseShenandoahGC -XX:ShenandoahGCMode=passive
39 * -XX:-ShenandoahDegeneratedGC -XX:+ShenandoahVerify
40 * TestVerifyJCStress
41 */
42
43 /*
44 * @test id=default-debug
45 * @summary Tests that we pass at least one jcstress-like test with all verification turned on
46 * @requires vm.gc.Shenandoah
47 * @requires vm.debug
48 * @modules java.base/jdk.internal.misc
49 * java.management
50 *
51 * @run main/othervm -Xmx1g -Xms1g -XX:+UnlockExperimentalVMOptions -XX:+UnlockDiagnosticVMOptions
52 * -XX:+UseShenandoahGC -XX:ShenandoahGCHeuristics=adaptive
53 * -XX:+ShenandoahVerify -XX:+ShenandoahVerifyOptoBarriers
54 * TestVerifyJCStress
55 *
56 * @run main/othervm -Xmx1g -Xms1g -XX:+UnlockExperimentalVMOptions -XX:+UnlockDiagnosticVMOptions
57 * -XX:+UseShenandoahGC -XX:ShenandoahGCHeuristics=compact
58 * -XX:+ShenandoahVerify -XX:+ShenandoahVerifyOptoBarriers
59 * TestVerifyJCStress
60 */
61
62 /*
63 * @test id=default
64 * @summary Tests that we pass at least one jcstress-like test with all verification turned on
65 * @requires vm.gc.Shenandoah
66 * @requires !vm.debug
67 * @modules java.base/jdk.internal.misc
68 * java.management
69 *
70 * @run main/othervm -Xmx1g -Xms1g -XX:+UnlockExperimentalVMOptions -XX:+UnlockDiagnosticVMOptions
71 * -XX:+UseShenandoahGC -XX:ShenandoahGCHeuristics=adaptive
72 * -XX:+ShenandoahVerify
73 * TestVerifyJCStress
74 *
75 * @run main/othervm -Xmx1g -Xms1g -XX:+UnlockExperimentalVMOptions -XX:+UnlockDiagnosticVMOptions
76 * -XX:+UseShenandoahGC -XX:ShenandoahGCHeuristics=compact
77 * -XX:+ShenandoahVerify
78 * TestVerifyJCStress
79 */
80
81 /*
82 * @test id=iu-debug
83 * @summary Tests that we pass at least one jcstress-like test with all verification turned on
84 * @requires vm.gc.Shenandoah
85 * @requires vm.debug
86 * @modules java.base/jdk.internal.misc
87 * java.management
88 *
89 * @run main/othervm -Xmx1g -Xms1g -XX:+UnlockExperimentalVMOptions -XX:+UnlockDiagnosticVMOptions
90 * -XX:+UseShenandoahGC -XX:ShenandoahGCMode=iu
91 * -XX:+ShenandoahVerify -XX:+ShenandoahVerifyOptoBarriers
92 * TestVerifyJCStress
93 */
94
95 /*
96 * @test id=iu
97 * @summary Tests that we pass at least one jcstress-like test with all verification turned on
98 * @requires vm.gc.Shenandoah
99 * @requires !vm.debug
100 * @modules java.base/jdk.internal.misc
101 * java.management
102 *
103 * @run main/othervm -Xmx1g -Xms1g -XX:+UnlockExperimentalVMOptions -XX:+UnlockDiagnosticVMOptions
104 * -XX:+UseShenandoahGC -XX:ShenandoahGCMode=iu
105 * -XX:+ShenandoahVerify
106 * TestVerifyJCStress
107 */
108
109 /*
110 * @test id=iu-c1
111 * @summary Tests that we pass at least one jcstress-like test with all verification turned on
112 * @requires vm.gc.Shenandoah
113 * @modules java.base/jdk.internal.misc
114 * java.management
115 *
116 * @run main/othervm -Xmx1g -Xms1g -XX:+UnlockExperimentalVMOptions -XX:+UnlockDiagnosticVMOptions
117 * -XX:+UseShenandoahGC -XX:ShenandoahGCMode=iu
118 * -XX:+ShenandoahVerify -XX:TieredStopAtLevel=1
119 * TestVerifyJCStress
120 */
121
122
123 import java.util.*;
124 import java.util.concurrent.*;
125 import java.util.concurrent.locks.*;
126
127 public class TestVerifyJCStress {
128
129 public static void main(String[] args) throws Exception {
130 ExecutorService service = Executors.newFixedThreadPool(
131 2,
132 r -> {
133 Thread t = new Thread(r);
134 t.setDaemon(true);
135 return t;
136 }
137 );
138
139 for (int c = 0; c < 10000; c++) {
140 final Test[] tests = new Test[10000];
141 for (int t = 0; t < tests.length; t++) {
142 tests[t] = new Test();
143 }
144
145 Future<?> f1 = service.submit(() -> {
146 IntResult2 r = new IntResult2();
147 for (Test test : tests) {
148 test.RL_Us(r);
149 }
150 });
151 Future<?> f2 = service.submit(() -> {
152 for (Test test : tests) {
153 test.WLI_Us();
154 }
155 });
156
157 f1.get();
158 f2.get();
159 }
160 }
161
162 public static class IntResult2 {
163 int r1, r2;
164 }
165
166 public static class Test {
167 final StampedLock lock = new StampedLock();
168
169 int x, y;
170
171 public void RL_Us(IntResult2 r) {
172 StampedLock lock = this.lock;
173 long stamp = lock.readLock();
174 r.r1 = x;
175 r.r2 = y;
176 lock.unlock(stamp);
177 }
178
179 public void WLI_Us() {
180 try {
181 StampedLock lock = this.lock;
182 long stamp = lock.writeLockInterruptibly();
183 x = 1;
184 y = 2;
185 lock.unlock(stamp);
186 } catch (InterruptedException e) {
187 throw new RuntimeException(e);
188 }
189 }
190 }
191
192 }