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