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