1 /* 2 * Copyright (c) 2015, Oracle and/or its affiliates. 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 * @test 26 * @bug 8143628 27 * @summary Test unsafe access for boolean 28 * 29 * @modules java.base/jdk.internal.misc 30 * @run testng/othervm -Diters=100 -Xint compiler.unsafe.JdkInternalMiscUnsafeAccessTestBoolean 31 * @run testng/othervm -Diters=20000 -XX:TieredStopAtLevel=1 compiler.unsafe.JdkInternalMiscUnsafeAccessTestBoolean 32 * @run testng/othervm -Diters=20000 -XX:-TieredCompilation compiler.unsafe.JdkInternalMiscUnsafeAccessTestBoolean 33 * @run testng/othervm -Diters=20000 compiler.unsafe.JdkInternalMiscUnsafeAccessTestBoolean 34 */ 35 36 package compiler.unsafe; 37 38 import org.testng.annotations.Test; 39 40 import java.lang.reflect.Field; 41 42 import static org.testng.Assert.*; 43 44 public class JdkInternalMiscUnsafeAccessTestBoolean { 45 static final int ITERS = Integer.getInteger("iters", 1); 46 static final int WEAK_ATTEMPTS = Integer.getInteger("weakAttempts", 10); 47 48 static final jdk.internal.misc.Unsafe UNSAFE; 49 50 static final long V_OFFSET; 51 52 static final Object STATIC_V_BASE; 53 54 static final long STATIC_V_OFFSET; 55 56 static int ARRAY_OFFSET; 57 58 static int ARRAY_SHIFT; 59 60 static { 61 try { 62 Field f = jdk.internal.misc.Unsafe.class.getDeclaredField("theUnsafe"); 63 f.setAccessible(true); 64 UNSAFE = (jdk.internal.misc.Unsafe) f.get(null); 65 } catch (Exception e) { 66 throw new RuntimeException("Unable to get Unsafe instance.", e); 67 } 68 69 try { 70 Field staticVField = JdkInternalMiscUnsafeAccessTestBoolean.class.getDeclaredField("static_v"); 71 STATIC_V_BASE = UNSAFE.staticFieldBase(staticVField); 72 STATIC_V_OFFSET = UNSAFE.staticFieldOffset(staticVField); 73 } catch (Exception e) { 74 throw new RuntimeException(e); 75 } 76 77 try { 78 Field vField = JdkInternalMiscUnsafeAccessTestBoolean.class.getDeclaredField("v"); 79 V_OFFSET = UNSAFE.objectFieldOffset(vField); 80 } catch (Exception e) { 81 throw new RuntimeException(e); 82 } 83 84 ARRAY_OFFSET = UNSAFE.arrayBaseOffset(boolean[].class); 85 int ascale = UNSAFE.arrayIndexScale(boolean[].class); 86 ARRAY_SHIFT = 31 - Integer.numberOfLeadingZeros(ascale); 87 } 88 89 static boolean static_v; 90 91 boolean v; 92 93 @Test 94 public void testFieldInstance() { 95 JdkInternalMiscUnsafeAccessTestBoolean t = new JdkInternalMiscUnsafeAccessTestBoolean(); 96 for (int c = 0; c < ITERS; c++) { 97 testAccess(t, V_OFFSET); 98 } 99 } 100 101 @Test 102 public void testFieldStatic() { 103 for (int c = 0; c < ITERS; c++) { 104 testAccess(STATIC_V_BASE, STATIC_V_OFFSET); 105 } 106 } 107 108 @Test 109 public void testArray() { 110 boolean[] array = new boolean[10]; 111 for (int c = 0; c < ITERS; c++) { 112 for (int i = 0; i < array.length; i++) { 113 testAccess(array, (((long) i) << ARRAY_SHIFT) + ARRAY_OFFSET); 114 } 115 } 116 } 117 118 119 static void testAccess(Object base, long offset) { 120 // Plain 121 { 122 UNSAFE.putBoolean(base, offset, true); 123 boolean x = UNSAFE.getBoolean(base, offset); 124 assertEquals(x, true, "set boolean value"); 125 } 126 127 // Volatile 128 { 129 UNSAFE.putBooleanVolatile(base, offset, false); 130 boolean x = UNSAFE.getBooleanVolatile(base, offset); 131 assertEquals(x, false, "putVolatile boolean value"); 132 } 133 134 135 // Lazy 136 { 137 UNSAFE.putBooleanRelease(base, offset, true); 138 boolean x = UNSAFE.getBooleanAcquire(base, offset); 139 assertEquals(x, true, "putRelease boolean value"); 140 } 141 142 // Opaque 143 { 144 UNSAFE.putBooleanOpaque(base, offset, false); 145 boolean x = UNSAFE.getBooleanOpaque(base, offset); 146 assertEquals(x, false, "putOpaque boolean value"); 147 } 148 149 150 UNSAFE.putBoolean(base, offset, true); 151 152 // Compare 153 { 154 boolean r = UNSAFE.compareAndSwapBoolean(base, offset, true, false); 155 assertEquals(r, true, "success compareAndSwap boolean"); 156 boolean x = UNSAFE.getBoolean(base, offset); 157 assertEquals(x, false, "success compareAndSwap boolean value"); 158 } 159 160 { 161 boolean r = UNSAFE.compareAndSwapBoolean(base, offset, true, false); 162 assertEquals(r, false, "failing compareAndSwap boolean"); 163 boolean x = UNSAFE.getBoolean(base, offset); 164 assertEquals(x, false, "failing compareAndSwap boolean value"); 165 } 166 167 // Advanced compare 168 { 169 boolean r = UNSAFE.compareAndExchangeBooleanVolatile(base, offset, false, true); 170 assertEquals(r, false, "success compareAndExchangeVolatile boolean"); 171 boolean x = UNSAFE.getBoolean(base, offset); 172 assertEquals(x, true, "success compareAndExchangeVolatile boolean value"); 173 } 174 175 { 176 boolean r = UNSAFE.compareAndExchangeBooleanVolatile(base, offset, false, false); 177 assertEquals(r, true, "failing compareAndExchangeVolatile boolean"); 178 boolean x = UNSAFE.getBoolean(base, offset); 179 assertEquals(x, true, "failing compareAndExchangeVolatile boolean value"); 180 } 181 182 { 183 boolean r = UNSAFE.compareAndExchangeBooleanAcquire(base, offset, true, false); 184 assertEquals(r, true, "success compareAndExchangeAcquire boolean"); 185 boolean x = UNSAFE.getBoolean(base, offset); 186 assertEquals(x, false, "success compareAndExchangeAcquire boolean value"); 187 } 188 189 { 190 boolean r = UNSAFE.compareAndExchangeBooleanAcquire(base, offset, true, false); 191 assertEquals(r, false, "failing compareAndExchangeAcquire boolean"); 192 boolean x = UNSAFE.getBoolean(base, offset); 193 assertEquals(x, false, "failing compareAndExchangeAcquire boolean value"); 194 } 195 196 { 197 boolean r = UNSAFE.compareAndExchangeBooleanRelease(base, offset, false, true); 198 assertEquals(r, false, "success compareAndExchangeRelease boolean"); 199 boolean x = UNSAFE.getBoolean(base, offset); 200 assertEquals(x, true, "success compareAndExchangeRelease boolean value"); 201 } 202 203 { 204 boolean r = UNSAFE.compareAndExchangeBooleanRelease(base, offset, false, false); 205 assertEquals(r, true, "failing compareAndExchangeRelease boolean"); 206 boolean x = UNSAFE.getBoolean(base, offset); 207 assertEquals(x, true, "failing compareAndExchangeRelease boolean value"); 208 } 209 210 { 211 boolean success = false; 212 for (int c = 0; c < WEAK_ATTEMPTS && !success; c++) { 213 success = UNSAFE.weakCompareAndSwapBoolean(base, offset, true, false); 214 } 215 assertEquals(success, true, "weakCompareAndSwap boolean"); 216 boolean x = UNSAFE.getBoolean(base, offset); 217 assertEquals(x, false, "weakCompareAndSwap boolean value"); 218 } 219 220 { 221 boolean success = false; 222 for (int c = 0; c < WEAK_ATTEMPTS && !success; c++) { 223 success = UNSAFE.weakCompareAndSwapBooleanAcquire(base, offset, false, true); 224 } 225 assertEquals(success, true, "weakCompareAndSwapAcquire boolean"); 226 boolean x = UNSAFE.getBoolean(base, offset); 227 assertEquals(x, true, "weakCompareAndSwapAcquire boolean"); 228 } 229 230 { 231 boolean success = false; 232 for (int c = 0; c < WEAK_ATTEMPTS && !success; c++) { 233 success = UNSAFE.weakCompareAndSwapBooleanRelease(base, offset, true, false); 234 } 235 assertEquals(success, true, "weakCompareAndSwapRelease boolean"); 236 boolean x = UNSAFE.getBoolean(base, offset); 237 assertEquals(x, false, "weakCompareAndSwapRelease boolean"); 238 } 239 240 { 241 boolean success = false; 242 for (int c = 0; c < WEAK_ATTEMPTS && !success; c++) { 243 success = UNSAFE.weakCompareAndSwapBooleanVolatile(base, offset, false, true); 244 } 245 assertEquals(success, true, "weakCompareAndSwapVolatile boolean"); 246 boolean x = UNSAFE.getBoolean(base, offset); 247 assertEquals(x, true, "weakCompareAndSwapVolatile boolean"); 248 } 249 250 UNSAFE.putBoolean(base, offset, false); 251 252 // Compare set and get 253 { 254 boolean o = UNSAFE.getAndSetBoolean(base, offset, true); 255 assertEquals(o, false, "getAndSet boolean"); 256 boolean x = UNSAFE.getBoolean(base, offset); 257 assertEquals(x, true, "getAndSet boolean value"); 258 } 259 260 } 261 262 } 263