jdk/src/share/classes/java/util/concurrent/atomic/AtomicReferenceArray.java
author dl
Tue, 06 Oct 2009 12:20:35 -0700
changeset 5169 a4fcbe0e04e3
parent 2 90ce3da70b43
child 5506 202f599c92aa
permissions -rw-r--r--
6888149: AtomicReferenceArray causes SIGSEGV -> SEGV_MAPERR error Summary: Avoid integer overflow by using long arithmetic Reviewed-by: martin, dholmes
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     1
/*
90ce3da70b43 Initial load
duke
parents:
diff changeset
     2
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
90ce3da70b43 Initial load
duke
parents:
diff changeset
     3
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
     4
 * This code is free software; you can redistribute it and/or modify it
90ce3da70b43 Initial load
duke
parents:
diff changeset
     5
 * under the terms of the GNU General Public License version 2 only, as
90ce3da70b43 Initial load
duke
parents:
diff changeset
     6
 * published by the Free Software Foundation.  Sun designates this
90ce3da70b43 Initial load
duke
parents:
diff changeset
     7
 * particular file as subject to the "Classpath" exception as provided
90ce3da70b43 Initial load
duke
parents:
diff changeset
     8
 * by Sun in the LICENSE file that accompanied this code.
90ce3da70b43 Initial load
duke
parents:
diff changeset
     9
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    10
 * This code is distributed in the hope that it will be useful, but WITHOUT
90ce3da70b43 Initial load
duke
parents:
diff changeset
    11
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
90ce3da70b43 Initial load
duke
parents:
diff changeset
    12
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
90ce3da70b43 Initial load
duke
parents:
diff changeset
    13
 * version 2 for more details (a copy is included in the LICENSE file that
90ce3da70b43 Initial load
duke
parents:
diff changeset
    14
 * accompanied this code).
90ce3da70b43 Initial load
duke
parents:
diff changeset
    15
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    16
 * You should have received a copy of the GNU General Public License version
90ce3da70b43 Initial load
duke
parents:
diff changeset
    17
 * 2 along with this work; if not, write to the Free Software Foundation,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    18
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    19
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    20
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    21
 * CA 95054 USA or visit www.sun.com if you need additional information or
90ce3da70b43 Initial load
duke
parents:
diff changeset
    22
 * have any questions.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    23
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    24
90ce3da70b43 Initial load
duke
parents:
diff changeset
    25
/*
90ce3da70b43 Initial load
duke
parents:
diff changeset
    26
 * This file is available under and governed by the GNU General Public
90ce3da70b43 Initial load
duke
parents:
diff changeset
    27
 * License version 2 only, as published by the Free Software Foundation.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    28
 * However, the following notice accompanied the original version of this
90ce3da70b43 Initial load
duke
parents:
diff changeset
    29
 * file:
90ce3da70b43 Initial load
duke
parents:
diff changeset
    30
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    31
 * Written by Doug Lea with assistance from members of JCP JSR-166
90ce3da70b43 Initial load
duke
parents:
diff changeset
    32
 * Expert Group and released to the public domain, as explained at
90ce3da70b43 Initial load
duke
parents:
diff changeset
    33
 * http://creativecommons.org/licenses/publicdomain
90ce3da70b43 Initial load
duke
parents:
diff changeset
    34
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    35
90ce3da70b43 Initial load
duke
parents:
diff changeset
    36
package java.util.concurrent.atomic;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    37
import sun.misc.Unsafe;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    38
import java.util.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    39
90ce3da70b43 Initial load
duke
parents:
diff changeset
    40
/**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    41
 * An array of object references in which elements may be updated
90ce3da70b43 Initial load
duke
parents:
diff changeset
    42
 * atomically.  See the {@link java.util.concurrent.atomic} package
90ce3da70b43 Initial load
duke
parents:
diff changeset
    43
 * specification for description of the properties of atomic
90ce3da70b43 Initial load
duke
parents:
diff changeset
    44
 * variables.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    45
 * @since 1.5
90ce3da70b43 Initial load
duke
parents:
diff changeset
    46
 * @author Doug Lea
90ce3da70b43 Initial load
duke
parents:
diff changeset
    47
 * @param <E> The base class of elements held in this array
90ce3da70b43 Initial load
duke
parents:
diff changeset
    48
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    49
public class AtomicReferenceArray<E> implements java.io.Serializable {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    50
    private static final long serialVersionUID = -6209656149925076980L;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    51
90ce3da70b43 Initial load
duke
parents:
diff changeset
    52
    private static final Unsafe unsafe = Unsafe.getUnsafe();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    53
    private static final int base = unsafe.arrayBaseOffset(Object[].class);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    54
    private static final int scale = unsafe.arrayIndexScale(Object[].class);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    55
    private final Object[] array;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    56
90ce3da70b43 Initial load
duke
parents:
diff changeset
    57
    private long rawIndex(int i) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    58
        if (i < 0 || i >= array.length)
90ce3da70b43 Initial load
duke
parents:
diff changeset
    59
            throw new IndexOutOfBoundsException("index " + i);
5169
a4fcbe0e04e3 6888149: AtomicReferenceArray causes SIGSEGV -> SEGV_MAPERR error
dl
parents: 2
diff changeset
    60
        return base + (long) i * scale;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    61
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    62
90ce3da70b43 Initial load
duke
parents:
diff changeset
    63
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    64
     * Creates a new AtomicReferenceArray of given length.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    65
     * @param length the length of the array
90ce3da70b43 Initial load
duke
parents:
diff changeset
    66
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    67
    public AtomicReferenceArray(int length) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    68
        array = new Object[length];
90ce3da70b43 Initial load
duke
parents:
diff changeset
    69
        // must perform at least one volatile write to conform to JMM
90ce3da70b43 Initial load
duke
parents:
diff changeset
    70
        if (length > 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
    71
            unsafe.putObjectVolatile(array, rawIndex(0), null);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    72
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    73
90ce3da70b43 Initial load
duke
parents:
diff changeset
    74
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    75
     * Creates a new AtomicReferenceArray with the same length as, and
90ce3da70b43 Initial load
duke
parents:
diff changeset
    76
     * all elements copied from, the given array.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    77
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    78
     * @param array the array to copy elements from
90ce3da70b43 Initial load
duke
parents:
diff changeset
    79
     * @throws NullPointerException if array is null
90ce3da70b43 Initial load
duke
parents:
diff changeset
    80
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    81
    public AtomicReferenceArray(E[] array) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    82
        if (array == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
    83
            throw new NullPointerException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    84
        int length = array.length;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    85
        this.array = new Object[length];
90ce3da70b43 Initial load
duke
parents:
diff changeset
    86
        if (length > 0) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    87
            int last = length-1;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    88
            for (int i = 0; i < last; ++i)
90ce3da70b43 Initial load
duke
parents:
diff changeset
    89
                this.array[i] = array[i];
90ce3da70b43 Initial load
duke
parents:
diff changeset
    90
            // Do the last write as volatile
90ce3da70b43 Initial load
duke
parents:
diff changeset
    91
            E e = array[last];
90ce3da70b43 Initial load
duke
parents:
diff changeset
    92
            unsafe.putObjectVolatile(this.array, rawIndex(last), e);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    93
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    94
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    95
90ce3da70b43 Initial load
duke
parents:
diff changeset
    96
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    97
     * Returns the length of the array.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    98
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    99
     * @return the length of the array
90ce3da70b43 Initial load
duke
parents:
diff changeset
   100
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   101
    public final int length() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   102
        return array.length;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   103
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   104
90ce3da70b43 Initial load
duke
parents:
diff changeset
   105
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   106
     * Gets the current value at position {@code i}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   107
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   108
     * @param i the index
90ce3da70b43 Initial load
duke
parents:
diff changeset
   109
     * @return the current value
90ce3da70b43 Initial load
duke
parents:
diff changeset
   110
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   111
    public final E get(int i) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   112
        return (E) unsafe.getObjectVolatile(array, rawIndex(i));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   113
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   114
90ce3da70b43 Initial load
duke
parents:
diff changeset
   115
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   116
     * Sets the element at position {@code i} to the given value.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   117
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   118
     * @param i the index
90ce3da70b43 Initial load
duke
parents:
diff changeset
   119
     * @param newValue the new value
90ce3da70b43 Initial load
duke
parents:
diff changeset
   120
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   121
    public final void set(int i, E newValue) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   122
        unsafe.putObjectVolatile(array, rawIndex(i), newValue);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   123
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   124
90ce3da70b43 Initial load
duke
parents:
diff changeset
   125
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   126
     * Eventually sets the element at position {@code i} to the given value.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   127
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   128
     * @param i the index
90ce3da70b43 Initial load
duke
parents:
diff changeset
   129
     * @param newValue the new value
90ce3da70b43 Initial load
duke
parents:
diff changeset
   130
     * @since 1.6
90ce3da70b43 Initial load
duke
parents:
diff changeset
   131
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   132
    public final void lazySet(int i, E newValue) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   133
        unsafe.putOrderedObject(array, rawIndex(i), newValue);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   134
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   135
90ce3da70b43 Initial load
duke
parents:
diff changeset
   136
90ce3da70b43 Initial load
duke
parents:
diff changeset
   137
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   138
     * Atomically sets the element at position {@code i} to the given
90ce3da70b43 Initial load
duke
parents:
diff changeset
   139
     * value and returns the old value.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   140
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   141
     * @param i the index
90ce3da70b43 Initial load
duke
parents:
diff changeset
   142
     * @param newValue the new value
90ce3da70b43 Initial load
duke
parents:
diff changeset
   143
     * @return the previous value
90ce3da70b43 Initial load
duke
parents:
diff changeset
   144
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   145
    public final E getAndSet(int i, E newValue) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   146
        while (true) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   147
            E current = get(i);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   148
            if (compareAndSet(i, current, newValue))
90ce3da70b43 Initial load
duke
parents:
diff changeset
   149
                return current;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   150
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   151
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   152
90ce3da70b43 Initial load
duke
parents:
diff changeset
   153
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   154
     * Atomically sets the element at position {@code i} to the given
90ce3da70b43 Initial load
duke
parents:
diff changeset
   155
     * updated value if the current value {@code ==} the expected value.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   156
     * @param i the index
90ce3da70b43 Initial load
duke
parents:
diff changeset
   157
     * @param expect the expected value
90ce3da70b43 Initial load
duke
parents:
diff changeset
   158
     * @param update the new value
90ce3da70b43 Initial load
duke
parents:
diff changeset
   159
     * @return true if successful. False return indicates that
90ce3da70b43 Initial load
duke
parents:
diff changeset
   160
     * the actual value was not equal to the expected value.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   161
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   162
    public final boolean compareAndSet(int i, E expect, E update) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   163
        return unsafe.compareAndSwapObject(array, rawIndex(i),
90ce3da70b43 Initial load
duke
parents:
diff changeset
   164
                                         expect, update);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   165
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   166
90ce3da70b43 Initial load
duke
parents:
diff changeset
   167
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   168
     * Atomically sets the element at position {@code i} to the given
90ce3da70b43 Initial load
duke
parents:
diff changeset
   169
     * updated value if the current value {@code ==} the expected value.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   170
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   171
     * <p>May <a href="package-summary.html#Spurious">fail spuriously</a>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   172
     * and does not provide ordering guarantees, so is only rarely an
90ce3da70b43 Initial load
duke
parents:
diff changeset
   173
     * appropriate alternative to {@code compareAndSet}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   174
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   175
     * @param i the index
90ce3da70b43 Initial load
duke
parents:
diff changeset
   176
     * @param expect the expected value
90ce3da70b43 Initial load
duke
parents:
diff changeset
   177
     * @param update the new value
90ce3da70b43 Initial load
duke
parents:
diff changeset
   178
     * @return true if successful.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   179
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   180
    public final boolean weakCompareAndSet(int i, E expect, E update) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   181
        return compareAndSet(i, expect, update);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   182
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   183
90ce3da70b43 Initial load
duke
parents:
diff changeset
   184
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   185
     * Returns the String representation of the current values of array.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   186
     * @return the String representation of the current values of array.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   187
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   188
    public String toString() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   189
        if (array.length > 0) // force volatile read
90ce3da70b43 Initial load
duke
parents:
diff changeset
   190
            get(0);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   191
        return Arrays.toString(array);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   192
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   193
90ce3da70b43 Initial load
duke
parents:
diff changeset
   194
}