blob: e1957e00a83378ea651677ba34806ac72c30b885 [file] [log] [blame]
/*
* 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 $Qualifier$UnsafeAccessTest$Type$
* @run testng/othervm -Diters=20000 -XX:TieredStopAtLevel=1 $Qualifier$UnsafeAccessTest$Type$
* @run testng/othervm -Diters=20000 -XX:-TieredCompilation $Qualifier$UnsafeAccessTest$Type$
* @run testng/othervm -Diters=20000 $Qualifier$UnsafeAccessTest$Type$
*/
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 $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 r = UNSAFE.weakCompareAndSwap$Type$(base, offset, $value1$, $value2$);
assertEquals(r, true, "weakCompareAndSwap $type$");
$type$ x = UNSAFE.get$Type$(base, offset);
assertEquals(x, $value2$, "weakCompareAndSwap $type$ value");
}
{
boolean r = UNSAFE.weakCompareAndSwap$Type$Acquire(base, offset, $value2$, $value1$);
assertEquals(r, true, "weakCompareAndSwapAcquire $type$");
$type$ x = UNSAFE.get$Type$(base, offset);
assertEquals(x, $value1$, "weakCompareAndSwapAcquire $type$");
}
{
boolean r = UNSAFE.weakCompareAndSwap$Type$Release(base, offset, $value1$, $value2$);
assertEquals(r, true, "weakCompareAndSwapRelease $type$");
$type$ x = UNSAFE.get$Type$(base, offset);
assertEquals(x, $value2$, "weakCompareAndSwapRelease $type$");
}
#end[JdkInternalMisc]
// 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, $value1$ + $value2$, "weakCompareAndSwapRelease $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]
}