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 }