/* * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. * * This code is distributed in the hope that it will be useful, but WITHOUT * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License * version 2 for more details (a copy is included in the LICENSE file that * accompanied this code). * * You should have received a copy of the GNU General Public License version * 2 along with this work; if not, write to the Free Software Foundation, * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. * * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA * or visit www.oracle.com if you need additional information or have any * questions. */ /* * @test * @bug 8143628 * @summary Test unsafe access for $type$ * * @modules $module$/$package$ * @run testng/othervm -Diters=100 -Xint compiler.unsafe.$Qualifier$UnsafeAccessTest$Type$ * @run testng/othervm -Diters=20000 -XX:TieredStopAtLevel=1 compiler.unsafe.$Qualifier$UnsafeAccessTest$Type$ * @run testng/othervm -Diters=20000 -XX:-TieredCompilation compiler.unsafe.$Qualifier$UnsafeAccessTest$Type$ * @run testng/othervm -Diters=20000 compiler.unsafe.$Qualifier$UnsafeAccessTest$Type$ */ package compiler.unsafe; import org.testng.annotations.Test; import java.lang.reflect.Field; import static org.testng.Assert.*; public class $Qualifier$UnsafeAccessTest$Type$ { static final int ITERS = Integer.getInteger("iters", 1); static final int WEAK_ATTEMPTS = Integer.getInteger("weakAttempts", 10); static final $package$.Unsafe UNSAFE; static final long V_OFFSET; static final Object STATIC_V_BASE; static final long STATIC_V_OFFSET; static int ARRAY_OFFSET; static int ARRAY_SHIFT; static { try { Field f = $package$.Unsafe.class.getDeclaredField("theUnsafe"); f.setAccessible(true); UNSAFE = ($package$.Unsafe) f.get(null); } catch (Exception e) { throw new RuntimeException("Unable to get Unsafe instance.", e); } try { Field staticVField = $Qualifier$UnsafeAccessTest$Type$.class.getDeclaredField("static_v"); STATIC_V_BASE = UNSAFE.staticFieldBase(staticVField); STATIC_V_OFFSET = UNSAFE.staticFieldOffset(staticVField); } catch (Exception e) { throw new RuntimeException(e); } try { Field vField = $Qualifier$UnsafeAccessTest$Type$.class.getDeclaredField("v"); V_OFFSET = UNSAFE.objectFieldOffset(vField); } catch (Exception e) { throw new RuntimeException(e); } ARRAY_OFFSET = UNSAFE.arrayBaseOffset($type$[].class); int ascale = UNSAFE.arrayIndexScale($type$[].class); ARRAY_SHIFT = 31 - Integer.numberOfLeadingZeros(ascale); } static $type$ static_v; $type$ v; @Test public void testFieldInstance() { $Qualifier$UnsafeAccessTest$Type$ t = new $Qualifier$UnsafeAccessTest$Type$(); for (int c = 0; c < ITERS; c++) { testAccess(t, V_OFFSET); } } @Test public void testFieldStatic() { for (int c = 0; c < ITERS; c++) { testAccess(STATIC_V_BASE, STATIC_V_OFFSET); } } @Test public void testArray() { $type$[] array = new $type$[10]; for (int c = 0; c < ITERS; c++) { for (int i = 0; i < array.length; i++) { testAccess(array, (((long) i) << ARRAY_SHIFT) + ARRAY_OFFSET); } } } #if[!Object] #if[!boolean] @Test public void testArrayOffHeap() { int size = 10; long address = UNSAFE.allocateMemory(size << ARRAY_SHIFT); try { for (int c = 0; c < ITERS; c++) { for (int i = 0; i < size; i++) { testAccess(null, (((long) i) << ARRAY_SHIFT) + address); } } } finally { UNSAFE.freeMemory(address); } } @Test public void testArrayOffHeapDirect() { int size = 10; long address = UNSAFE.allocateMemory(size << ARRAY_SHIFT); try { for (int c = 0; c < ITERS; c++) { for (int i = 0; i < size; i++) { testAccess((((long) i) << ARRAY_SHIFT) + address); } } } finally { UNSAFE.freeMemory(address); } } #end[!boolean] #end[!Object] static void testAccess(Object base, long offset) { // Plain { UNSAFE.put$Type$(base, offset, $value1$); $type$ x = UNSAFE.get$Type$(base, offset); assertEquals(x, $value1$, "set $type$ value"); } // Volatile { UNSAFE.put$Type$Volatile(base, offset, $value2$); $type$ x = UNSAFE.get$Type$Volatile(base, offset); assertEquals(x, $value2$, "putVolatile $type$ value"); } #if[!JdkInternalMisc] #if[Ordered] // Lazy { UNSAFE.putOrdered$Type$(base, offset, $value1$); $type$ x = UNSAFE.get$Type$Volatile(base, offset); assertEquals(x, $value1$, "putRelease $type$ value"); } #end[Ordered] #end[!JdkInternalMisc] #if[JdkInternalMisc] // Lazy { UNSAFE.put$Type$Release(base, offset, $value1$); $type$ x = UNSAFE.get$Type$Acquire(base, offset); assertEquals(x, $value1$, "putRelease $type$ value"); } // Opaque { UNSAFE.put$Type$Opaque(base, offset, $value2$); $type$ x = UNSAFE.get$Type$Opaque(base, offset); assertEquals(x, $value2$, "putOpaque $type$ value"); } #end[JdkInternalMisc] #if[JdkInternalMisc] #if[Unaligned] // Unaligned { UNSAFE.put$Type$Unaligned(base, offset, $value2$); $type$ x = UNSAFE.get$Type$Unaligned(base, offset); assertEquals(x, $value2$, "putUnaligned $type$ value"); } { UNSAFE.put$Type$Unaligned(base, offset, $value1$, true); $type$ x = UNSAFE.get$Type$Unaligned(base, offset, true); assertEquals(x, $value1$, "putUnaligned big endian $type$ value"); } { UNSAFE.put$Type$Unaligned(base, offset, $value2$, false); $type$ x = UNSAFE.get$Type$Unaligned(base, offset, false); assertEquals(x, $value2$, "putUnaligned little endian $type$ value"); } #end[Unaligned] #end[JdkInternalMisc] #if[CAS] UNSAFE.put$Type$(base, offset, $value1$); // Compare { boolean r = UNSAFE.compareAndSwap$Type$(base, offset, $value1$, $value2$); assertEquals(r, true, "success compareAndSwap $type$"); $type$ x = UNSAFE.get$Type$(base, offset); assertEquals(x, $value2$, "success compareAndSwap $type$ value"); } { boolean r = UNSAFE.compareAndSwap$Type$(base, offset, $value1$, $value3$); assertEquals(r, false, "failing compareAndSwap $type$"); $type$ x = UNSAFE.get$Type$(base, offset); assertEquals(x, $value2$, "failing compareAndSwap $type$ value"); } #if[JdkInternalMisc] // Advanced compare { $type$ r = UNSAFE.compareAndExchange$Type$Volatile(base, offset, $value2$, $value1$); assertEquals(r, $value2$, "success compareAndExchangeVolatile $type$"); $type$ x = UNSAFE.get$Type$(base, offset); assertEquals(x, $value1$, "success compareAndExchangeVolatile $type$ value"); } { $type$ r = UNSAFE.compareAndExchange$Type$Volatile(base, offset, $value2$, $value3$); assertEquals(r, $value1$, "failing compareAndExchangeVolatile $type$"); $type$ x = UNSAFE.get$Type$(base, offset); assertEquals(x, $value1$, "failing compareAndExchangeVolatile $type$ value"); } { $type$ r = UNSAFE.compareAndExchange$Type$Acquire(base, offset, $value1$, $value2$); assertEquals(r, $value1$, "success compareAndExchangeAcquire $type$"); $type$ x = UNSAFE.get$Type$(base, offset); assertEquals(x, $value2$, "success compareAndExchangeAcquire $type$ value"); } { $type$ r = UNSAFE.compareAndExchange$Type$Acquire(base, offset, $value1$, $value3$); assertEquals(r, $value2$, "failing compareAndExchangeAcquire $type$"); $type$ x = UNSAFE.get$Type$(base, offset); assertEquals(x, $value2$, "failing compareAndExchangeAcquire $type$ value"); } { $type$ r = UNSAFE.compareAndExchange$Type$Release(base, offset, $value2$, $value1$); assertEquals(r, $value2$, "success compareAndExchangeRelease $type$"); $type$ x = UNSAFE.get$Type$(base, offset); assertEquals(x, $value1$, "success compareAndExchangeRelease $type$ value"); } { $type$ r = UNSAFE.compareAndExchange$Type$Release(base, offset, $value2$, $value3$); assertEquals(r, $value1$, "failing compareAndExchangeRelease $type$"); $type$ x = UNSAFE.get$Type$(base, offset); assertEquals(x, $value1$, "failing compareAndExchangeRelease $type$ value"); } { boolean success = false; for (int c = 0; c < WEAK_ATTEMPTS && !success; c++) { success = UNSAFE.weakCompareAndSwap$Type$(base, offset, $value1$, $value2$); } assertEquals(success, true, "weakCompareAndSwap $type$"); $type$ x = UNSAFE.get$Type$(base, offset); assertEquals(x, $value2$, "weakCompareAndSwap $type$ value"); } { boolean success = false; for (int c = 0; c < WEAK_ATTEMPTS && !success; c++) { success = UNSAFE.weakCompareAndSwap$Type$Acquire(base, offset, $value2$, $value1$); } assertEquals(success, true, "weakCompareAndSwapAcquire $type$"); $type$ x = UNSAFE.get$Type$(base, offset); assertEquals(x, $value1$, "weakCompareAndSwapAcquire $type$"); } { boolean success = false; for (int c = 0; c < WEAK_ATTEMPTS && !success; c++) { success = UNSAFE.weakCompareAndSwap$Type$Release(base, offset, $value1$, $value2$); } assertEquals(success, true, "weakCompareAndSwapRelease $type$"); $type$ x = UNSAFE.get$Type$(base, offset); assertEquals(x, $value2$, "weakCompareAndSwapRelease $type$"); } { boolean success = false; for (int c = 0; c < WEAK_ATTEMPTS && !success; c++) { success = UNSAFE.weakCompareAndSwap$Type$Volatile(base, offset, $value2$, $value1$); } assertEquals(success, true, "weakCompareAndSwapVolatile $type$"); $type$ x = UNSAFE.get$Type$(base, offset); assertEquals(x, $value1$, "weakCompareAndSwapVolatile $type$"); } #end[JdkInternalMisc] UNSAFE.put$Type$(base, offset, $value2$); // Compare set and get { $type$ o = UNSAFE.getAndSet$Type$(base, offset, $value1$); assertEquals(o, $value2$, "getAndSet $type$"); $type$ x = UNSAFE.get$Type$(base, offset); assertEquals(x, $value1$, "getAndSet $type$ value"); } #end[CAS] #if[AtomicAdd] UNSAFE.put$Type$(base, offset, $value1$); // get and add, add and get { $type$ o = UNSAFE.getAndAdd$Type$(base, offset, $value2$); assertEquals(o, $value1$, "getAndAdd $type$"); $type$ x = UNSAFE.get$Type$(base, offset); assertEquals(x, ($type$)($value1$ + $value2$), "getAndAdd $type$"); } #end[AtomicAdd] } #if[!Object] #if[!boolean] static void testAccess(long address) { // Plain { UNSAFE.put$Type$(address, $value1$); $type$ x = UNSAFE.get$Type$(address); assertEquals(x, $value1$, "set $type$ value"); } } #end[!boolean] #end[!Object] }