358 lines
12 KiB
Plaintext
358 lines
12 KiB
Plaintext
/*
|
|
* 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]
|
|
}
|
|
|