ViewVC Help
View File | Revision Log | Show Annotations | Download File | Root Listing
root/jsr166/jsr166/src/main/java/util/concurrent/CopyOnWriteArrayList.java
Revision: 1.75
Committed: Thu Apr 21 11:30:11 2011 UTC (13 years, 1 month ago) by dl
Branch: MAIN
CVS Tags: release-1_7_0
Changes since 1.74: +2 -2 lines
Log Message:
Typos

File Contents

# Content
1 /*
2 * Written by Doug Lea with assistance from members of JCP JSR-166
3 * Expert Group. Adapted and released, under explicit permission,
4 * from JDK ArrayList.java which carries the following copyright:
5 *
6 * Copyright 1997 by Sun Microsystems, Inc.,
7 * 901 San Antonio Road, Palo Alto, California, 94303, U.S.A.
8 * All rights reserved.
9 *
10 * This software is the confidential and proprietary information
11 * of Sun Microsystems, Inc. ("Confidential Information"). You
12 * shall not disclose such Confidential Information and shall use
13 * it only in accordance with the terms of the license agreement
14 * you entered into with Sun.
15 */
16
17 package java.util.concurrent;
18 import java.util.*;
19 import java.util.concurrent.locks.*;
20 import sun.misc.Unsafe;
21
22 /**
23 * A thread-safe variant of {@link java.util.ArrayList} in which all mutative
24 * operations (<tt>add</tt>, <tt>set</tt>, and so on) are implemented by
25 * making a fresh copy of the underlying array.
26 *
27 * <p> This is ordinarily too costly, but may be <em>more</em> efficient
28 * than alternatives when traversal operations vastly outnumber
29 * mutations, and is useful when you cannot or don't want to
30 * synchronize traversals, yet need to preclude interference among
31 * concurrent threads. The "snapshot" style iterator method uses a
32 * reference to the state of the array at the point that the iterator
33 * was created. This array never changes during the lifetime of the
34 * iterator, so interference is impossible and the iterator is
35 * guaranteed not to throw <tt>ConcurrentModificationException</tt>.
36 * The iterator will not reflect additions, removals, or changes to
37 * the list since the iterator was created. Element-changing
38 * operations on iterators themselves (<tt>remove</tt>, <tt>set</tt>, and
39 * <tt>add</tt>) are not supported. These methods throw
40 * <tt>UnsupportedOperationException</tt>.
41 *
42 * <p>All elements are permitted, including <tt>null</tt>.
43 *
44 * <p>Memory consistency effects: As with other concurrent
45 * collections, actions in a thread prior to placing an object into a
46 * {@code CopyOnWriteArrayList}
47 * <a href="package-summary.html#MemoryVisibility"><i>happen-before</i></a>
48 * actions subsequent to the access or removal of that element from
49 * the {@code CopyOnWriteArrayList} in another thread.
50 *
51 * <p>This class is a member of the
52 * <a href="{@docRoot}/../technotes/guides/collections/index.html">
53 * Java Collections Framework</a>.
54 *
55 * @since 1.5
56 * @author Doug Lea
57 * @param <E> the type of elements held in this collection
58 */
59 public class CopyOnWriteArrayList<E>
60 implements List<E>, RandomAccess, Cloneable, java.io.Serializable {
61 private static final long serialVersionUID = 8673264195747942595L;
62
63 /** The lock protecting all mutators */
64 transient final ReentrantLock lock = new ReentrantLock();
65
66 /** The array, accessed only via getArray/setArray. */
67 private volatile transient Object[] array;
68
69 /**
70 * Gets the array. Non-private so as to also be accessible
71 * from CopyOnWriteArraySet class.
72 */
73 final Object[] getArray() {
74 return array;
75 }
76
77 /**
78 * Sets the array.
79 */
80 final void setArray(Object[] a) {
81 array = a;
82 }
83
84 /**
85 * Creates an empty list.
86 */
87 public CopyOnWriteArrayList() {
88 setArray(new Object[0]);
89 }
90
91 /**
92 * Creates a list containing the elements of the specified
93 * collection, in the order they are returned by the collection's
94 * iterator.
95 *
96 * @param c the collection of initially held elements
97 * @throws NullPointerException if the specified collection is null
98 */
99 public CopyOnWriteArrayList(Collection<? extends E> c) {
100 Object[] elements = c.toArray();
101 // c.toArray might (incorrectly) not return Object[] (see 6260652)
102 if (elements.getClass() != Object[].class)
103 elements = Arrays.copyOf(elements, elements.length, Object[].class);
104 setArray(elements);
105 }
106
107 /**
108 * Creates a list holding a copy of the given array.
109 *
110 * @param toCopyIn the array (a copy of this array is used as the
111 * internal array)
112 * @throws NullPointerException if the specified array is null
113 */
114 public CopyOnWriteArrayList(E[] toCopyIn) {
115 setArray(Arrays.copyOf(toCopyIn, toCopyIn.length, Object[].class));
116 }
117
118 /**
119 * Returns the number of elements in this list.
120 *
121 * @return the number of elements in this list
122 */
123 public int size() {
124 return getArray().length;
125 }
126
127 /**
128 * Returns <tt>true</tt> if this list contains no elements.
129 *
130 * @return <tt>true</tt> if this list contains no elements
131 */
132 public boolean isEmpty() {
133 return size() == 0;
134 }
135
136 /**
137 * Test for equality, coping with nulls.
138 */
139 private static boolean eq(Object o1, Object o2) {
140 return (o1 == null ? o2 == null : o1.equals(o2));
141 }
142
143 /**
144 * static version of indexOf, to allow repeated calls without
145 * needing to re-acquire array each time.
146 * @param o element to search for
147 * @param elements the array
148 * @param index first index to search
149 * @param fence one past last index to search
150 * @return index of element, or -1 if absent
151 */
152 private static int indexOf(Object o, Object[] elements,
153 int index, int fence) {
154 if (o == null) {
155 for (int i = index; i < fence; i++)
156 if (elements[i] == null)
157 return i;
158 } else {
159 for (int i = index; i < fence; i++)
160 if (o.equals(elements[i]))
161 return i;
162 }
163 return -1;
164 }
165
166 /**
167 * static version of lastIndexOf.
168 * @param o element to search for
169 * @param elements the array
170 * @param index first index to search
171 * @return index of element, or -1 if absent
172 */
173 private static int lastIndexOf(Object o, Object[] elements, int index) {
174 if (o == null) {
175 for (int i = index; i >= 0; i--)
176 if (elements[i] == null)
177 return i;
178 } else {
179 for (int i = index; i >= 0; i--)
180 if (o.equals(elements[i]))
181 return i;
182 }
183 return -1;
184 }
185
186 /**
187 * Returns <tt>true</tt> if this list contains the specified element.
188 * More formally, returns <tt>true</tt> if and only if this list contains
189 * at least one element <tt>e</tt> such that
190 * <tt>(o==null&nbsp;?&nbsp;e==null&nbsp;:&nbsp;o.equals(e))</tt>.
191 *
192 * @param o element whose presence in this list is to be tested
193 * @return <tt>true</tt> if this list contains the specified element
194 */
195 public boolean contains(Object o) {
196 Object[] elements = getArray();
197 return indexOf(o, elements, 0, elements.length) >= 0;
198 }
199
200 /**
201 * {@inheritDoc}
202 */
203 public int indexOf(Object o) {
204 Object[] elements = getArray();
205 return indexOf(o, elements, 0, elements.length);
206 }
207
208 /**
209 * Returns the index of the first occurrence of the specified element in
210 * this list, searching forwards from <tt>index</tt>, or returns -1 if
211 * the element is not found.
212 * More formally, returns the lowest index <tt>i</tt> such that
213 * <tt>(i&nbsp;&gt;=&nbsp;index&nbsp;&amp;&amp;&nbsp;(e==null&nbsp;?&nbsp;get(i)==null&nbsp;:&nbsp;e.equals(get(i))))</tt>,
214 * or -1 if there is no such index.
215 *
216 * @param e element to search for
217 * @param index index to start searching from
218 * @return the index of the first occurrence of the element in
219 * this list at position <tt>index</tt> or later in the list;
220 * <tt>-1</tt> if the element is not found.
221 * @throws IndexOutOfBoundsException if the specified index is negative
222 */
223 public int indexOf(E e, int index) {
224 Object[] elements = getArray();
225 return indexOf(e, elements, index, elements.length);
226 }
227
228 /**
229 * {@inheritDoc}
230 */
231 public int lastIndexOf(Object o) {
232 Object[] elements = getArray();
233 return lastIndexOf(o, elements, elements.length - 1);
234 }
235
236 /**
237 * Returns the index of the last occurrence of the specified element in
238 * this list, searching backwards from <tt>index</tt>, or returns -1 if
239 * the element is not found.
240 * More formally, returns the highest index <tt>i</tt> such that
241 * <tt>(i&nbsp;&lt;=&nbsp;index&nbsp;&amp;&amp;&nbsp;(e==null&nbsp;?&nbsp;get(i)==null&nbsp;:&nbsp;e.equals(get(i))))</tt>,
242 * or -1 if there is no such index.
243 *
244 * @param e element to search for
245 * @param index index to start searching backwards from
246 * @return the index of the last occurrence of the element at position
247 * less than or equal to <tt>index</tt> in this list;
248 * -1 if the element is not found.
249 * @throws IndexOutOfBoundsException if the specified index is greater
250 * than or equal to the current size of this list
251 */
252 public int lastIndexOf(E e, int index) {
253 Object[] elements = getArray();
254 return lastIndexOf(e, elements, index);
255 }
256
257 /**
258 * Returns a shallow copy of this list. (The elements themselves
259 * are not copied.)
260 *
261 * @return a clone of this list
262 */
263 public Object clone() {
264 try {
265 CopyOnWriteArrayList c = (CopyOnWriteArrayList)(super.clone());
266 c.resetLock();
267 return c;
268 } catch (CloneNotSupportedException e) {
269 // this shouldn't happen, since we are Cloneable
270 throw new InternalError();
271 }
272 }
273
274 /**
275 * Returns an array containing all of the elements in this list
276 * in proper sequence (from first to last element).
277 *
278 * <p>The returned array will be "safe" in that no references to it are
279 * maintained by this list. (In other words, this method must allocate
280 * a new array). The caller is thus free to modify the returned array.
281 *
282 * <p>This method acts as bridge between array-based and collection-based
283 * APIs.
284 *
285 * @return an array containing all the elements in this list
286 */
287 public Object[] toArray() {
288 Object[] elements = getArray();
289 return Arrays.copyOf(elements, elements.length);
290 }
291
292 /**
293 * Returns an array containing all of the elements in this list in
294 * proper sequence (from first to last element); the runtime type of
295 * the returned array is that of the specified array. If the list fits
296 * in the specified array, it is returned therein. Otherwise, a new
297 * array is allocated with the runtime type of the specified array and
298 * the size of this list.
299 *
300 * <p>If this list fits in the specified array with room to spare
301 * (i.e., the array has more elements than this list), the element in
302 * the array immediately following the end of the list is set to
303 * <tt>null</tt>. (This is useful in determining the length of this
304 * list <i>only</i> if the caller knows that this list does not contain
305 * any null elements.)
306 *
307 * <p>Like the {@link #toArray()} method, this method acts as bridge between
308 * array-based and collection-based APIs. Further, this method allows
309 * precise control over the runtime type of the output array, and may,
310 * under certain circumstances, be used to save allocation costs.
311 *
312 * <p>Suppose <tt>x</tt> is a list known to contain only strings.
313 * The following code can be used to dump the list into a newly
314 * allocated array of <tt>String</tt>:
315 *
316 * <pre>
317 * String[] y = x.toArray(new String[0]);</pre>
318 *
319 * Note that <tt>toArray(new Object[0])</tt> is identical in function to
320 * <tt>toArray()</tt>.
321 *
322 * @param a the array into which the elements of the list are to
323 * be stored, if it is big enough; otherwise, a new array of the
324 * same runtime type is allocated for this purpose.
325 * @return an array containing all the elements in this list
326 * @throws ArrayStoreException if the runtime type of the specified array
327 * is not a supertype of the runtime type of every element in
328 * this list
329 * @throws NullPointerException if the specified array is null
330 */
331 @SuppressWarnings("unchecked")
332 public <T> T[] toArray(T a[]) {
333 Object[] elements = getArray();
334 int len = elements.length;
335 if (a.length < len)
336 return (T[]) Arrays.copyOf(elements, len, a.getClass());
337 else {
338 System.arraycopy(elements, 0, a, 0, len);
339 if (a.length > len)
340 a[len] = null;
341 return a;
342 }
343 }
344
345 // Positional Access Operations
346
347 @SuppressWarnings("unchecked")
348 private E get(Object[] a, int index) {
349 return (E) a[index];
350 }
351
352 /**
353 * {@inheritDoc}
354 *
355 * @throws IndexOutOfBoundsException {@inheritDoc}
356 */
357 public E get(int index) {
358 return get(getArray(), index);
359 }
360
361 /**
362 * Replaces the element at the specified position in this list with the
363 * specified element.
364 *
365 * @throws IndexOutOfBoundsException {@inheritDoc}
366 */
367 public E set(int index, E element) {
368 final ReentrantLock lock = this.lock;
369 lock.lock();
370 try {
371 Object[] elements = getArray();
372 E oldValue = get(elements, index);
373
374 if (oldValue != element) {
375 int len = elements.length;
376 Object[] newElements = Arrays.copyOf(elements, len);
377 newElements[index] = element;
378 setArray(newElements);
379 } else {
380 // Not quite a no-op; ensures volatile write semantics
381 setArray(elements);
382 }
383 return oldValue;
384 } finally {
385 lock.unlock();
386 }
387 }
388
389 /**
390 * Appends the specified element to the end of this list.
391 *
392 * @param e element to be appended to this list
393 * @return <tt>true</tt> (as specified by {@link Collection#add})
394 */
395 public boolean add(E e) {
396 final ReentrantLock lock = this.lock;
397 lock.lock();
398 try {
399 Object[] elements = getArray();
400 int len = elements.length;
401 Object[] newElements = Arrays.copyOf(elements, len + 1);
402 newElements[len] = e;
403 setArray(newElements);
404 return true;
405 } finally {
406 lock.unlock();
407 }
408 }
409
410 /**
411 * Inserts the specified element at the specified position in this
412 * list. Shifts the element currently at that position (if any) and
413 * any subsequent elements to the right (adds one to their indices).
414 *
415 * @throws IndexOutOfBoundsException {@inheritDoc}
416 */
417 public void add(int index, E element) {
418 final ReentrantLock lock = this.lock;
419 lock.lock();
420 try {
421 Object[] elements = getArray();
422 int len = elements.length;
423 if (index > len || index < 0)
424 throw new IndexOutOfBoundsException("Index: "+index+
425 ", Size: "+len);
426 Object[] newElements;
427 int numMoved = len - index;
428 if (numMoved == 0)
429 newElements = Arrays.copyOf(elements, len + 1);
430 else {
431 newElements = new Object[len + 1];
432 System.arraycopy(elements, 0, newElements, 0, index);
433 System.arraycopy(elements, index, newElements, index + 1,
434 numMoved);
435 }
436 newElements[index] = element;
437 setArray(newElements);
438 } finally {
439 lock.unlock();
440 }
441 }
442
443 /**
444 * Removes the element at the specified position in this list.
445 * Shifts any subsequent elements to the left (subtracts one from their
446 * indices). Returns the element that was removed from the list.
447 *
448 * @throws IndexOutOfBoundsException {@inheritDoc}
449 */
450 public E remove(int index) {
451 final ReentrantLock lock = this.lock;
452 lock.lock();
453 try {
454 Object[] elements = getArray();
455 int len = elements.length;
456 E oldValue = get(elements, index);
457 int numMoved = len - index - 1;
458 if (numMoved == 0)
459 setArray(Arrays.copyOf(elements, len - 1));
460 else {
461 Object[] newElements = new Object[len - 1];
462 System.arraycopy(elements, 0, newElements, 0, index);
463 System.arraycopy(elements, index + 1, newElements, index,
464 numMoved);
465 setArray(newElements);
466 }
467 return oldValue;
468 } finally {
469 lock.unlock();
470 }
471 }
472
473 /**
474 * Removes the first occurrence of the specified element from this list,
475 * if it is present. If this list does not contain the element, it is
476 * unchanged. More formally, removes the element with the lowest index
477 * <tt>i</tt> such that
478 * <tt>(o==null&nbsp;?&nbsp;get(i)==null&nbsp;:&nbsp;o.equals(get(i)))</tt>
479 * (if such an element exists). Returns <tt>true</tt> if this list
480 * contained the specified element (or equivalently, if this list
481 * changed as a result of the call).
482 *
483 * @param o element to be removed from this list, if present
484 * @return <tt>true</tt> if this list contained the specified element
485 */
486 public boolean remove(Object o) {
487 final ReentrantLock lock = this.lock;
488 lock.lock();
489 try {
490 Object[] elements = getArray();
491 int len = elements.length;
492 if (len != 0) {
493 // Copy while searching for element to remove
494 // This wins in the normal case of element being present
495 int newlen = len - 1;
496 Object[] newElements = new Object[newlen];
497
498 for (int i = 0; i < newlen; ++i) {
499 if (eq(o, elements[i])) {
500 // found one; copy remaining and exit
501 for (int k = i + 1; k < len; ++k)
502 newElements[k-1] = elements[k];
503 setArray(newElements);
504 return true;
505 } else
506 newElements[i] = elements[i];
507 }
508
509 // special handling for last cell
510 if (eq(o, elements[newlen])) {
511 setArray(newElements);
512 return true;
513 }
514 }
515 return false;
516 } finally {
517 lock.unlock();
518 }
519 }
520
521 /**
522 * Removes from this list all of the elements whose index is between
523 * <tt>fromIndex</tt>, inclusive, and <tt>toIndex</tt>, exclusive.
524 * Shifts any succeeding elements to the left (reduces their index).
525 * This call shortens the list by <tt>(toIndex - fromIndex)</tt> elements.
526 * (If <tt>toIndex==fromIndex</tt>, this operation has no effect.)
527 *
528 * @param fromIndex index of first element to be removed
529 * @param toIndex index after last element to be removed
530 * @throws IndexOutOfBoundsException if fromIndex or toIndex out of range
531 * ({@code{fromIndex < 0 || toIndex > size() || toIndex < fromIndex})
532 */
533 private void removeRange(int fromIndex, int toIndex) {
534 final ReentrantLock lock = this.lock;
535 lock.lock();
536 try {
537 Object[] elements = getArray();
538 int len = elements.length;
539
540 if (fromIndex < 0 || toIndex > len || toIndex < fromIndex)
541 throw new IndexOutOfBoundsException();
542 int newlen = len - (toIndex - fromIndex);
543 int numMoved = len - toIndex;
544 if (numMoved == 0)
545 setArray(Arrays.copyOf(elements, newlen));
546 else {
547 Object[] newElements = new Object[newlen];
548 System.arraycopy(elements, 0, newElements, 0, fromIndex);
549 System.arraycopy(elements, toIndex, newElements,
550 fromIndex, numMoved);
551 setArray(newElements);
552 }
553 } finally {
554 lock.unlock();
555 }
556 }
557
558 /**
559 * Append the element if not present.
560 *
561 * @param e element to be added to this list, if absent
562 * @return <tt>true</tt> if the element was added
563 */
564 public boolean addIfAbsent(E e) {
565 final ReentrantLock lock = this.lock;
566 lock.lock();
567 try {
568 // Copy while checking if already present.
569 // This wins in the most common case where it is not present
570 Object[] elements = getArray();
571 int len = elements.length;
572 Object[] newElements = new Object[len + 1];
573 for (int i = 0; i < len; ++i) {
574 if (eq(e, elements[i]))
575 return false; // exit, throwing away copy
576 else
577 newElements[i] = elements[i];
578 }
579 newElements[len] = e;
580 setArray(newElements);
581 return true;
582 } finally {
583 lock.unlock();
584 }
585 }
586
587 /**
588 * Returns <tt>true</tt> if this list contains all of the elements of the
589 * specified collection.
590 *
591 * @param c collection to be checked for containment in this list
592 * @return <tt>true</tt> if this list contains all of the elements of the
593 * specified collection
594 * @throws NullPointerException if the specified collection is null
595 * @see #contains(Object)
596 */
597 public boolean containsAll(Collection<?> c) {
598 Object[] elements = getArray();
599 int len = elements.length;
600 for (Object e : c) {
601 if (indexOf(e, elements, 0, len) < 0)
602 return false;
603 }
604 return true;
605 }
606
607 /**
608 * Removes from this list all of its elements that are contained in
609 * the specified collection. This is a particularly expensive operation
610 * in this class because of the need for an internal temporary array.
611 *
612 * @param c collection containing elements to be removed from this list
613 * @return <tt>true</tt> if this list changed as a result of the call
614 * @throws ClassCastException if the class of an element of this list
615 * is incompatible with the specified collection
616 * (<a href="../Collection.html#optional-restrictions">optional</a>)
617 * @throws NullPointerException if this list contains a null element and the
618 * specified collection does not permit null elements
619 * (<a href="../Collection.html#optional-restrictions">optional</a>),
620 * or if the specified collection is null
621 * @see #remove(Object)
622 */
623 public boolean removeAll(Collection<?> c) {
624 final ReentrantLock lock = this.lock;
625 lock.lock();
626 try {
627 Object[] elements = getArray();
628 int len = elements.length;
629 if (len != 0) {
630 // temp array holds those elements we know we want to keep
631 int newlen = 0;
632 Object[] temp = new Object[len];
633 for (int i = 0; i < len; ++i) {
634 Object element = elements[i];
635 if (!c.contains(element))
636 temp[newlen++] = element;
637 }
638 if (newlen != len) {
639 setArray(Arrays.copyOf(temp, newlen));
640 return true;
641 }
642 }
643 return false;
644 } finally {
645 lock.unlock();
646 }
647 }
648
649 /**
650 * Retains only the elements in this list that are contained in the
651 * specified collection. In other words, removes from this list all of
652 * its elements that are not contained in the specified collection.
653 *
654 * @param c collection containing elements to be retained in this list
655 * @return <tt>true</tt> if this list changed as a result of the call
656 * @throws ClassCastException if the class of an element of this list
657 * is incompatible with the specified collection
658 * (<a href="../Collection.html#optional-restrictions">optional</a>)
659 * @throws NullPointerException if this list contains a null element and the
660 * specified collection does not permit null elements
661 * (<a href="../Collection.html#optional-restrictions">optional</a>),
662 * or if the specified collection is null
663 * @see #remove(Object)
664 */
665 public boolean retainAll(Collection<?> c) {
666 final ReentrantLock lock = this.lock;
667 lock.lock();
668 try {
669 Object[] elements = getArray();
670 int len = elements.length;
671 if (len != 0) {
672 // temp array holds those elements we know we want to keep
673 int newlen = 0;
674 Object[] temp = new Object[len];
675 for (int i = 0; i < len; ++i) {
676 Object element = elements[i];
677 if (c.contains(element))
678 temp[newlen++] = element;
679 }
680 if (newlen != len) {
681 setArray(Arrays.copyOf(temp, newlen));
682 return true;
683 }
684 }
685 return false;
686 } finally {
687 lock.unlock();
688 }
689 }
690
691 /**
692 * Appends all of the elements in the specified collection that
693 * are not already contained in this list, to the end of
694 * this list, in the order that they are returned by the
695 * specified collection's iterator.
696 *
697 * @param c collection containing elements to be added to this list
698 * @return the number of elements added
699 * @throws NullPointerException if the specified collection is null
700 * @see #addIfAbsent(Object)
701 */
702 public int addAllAbsent(Collection<? extends E> c) {
703 Object[] cs = c.toArray();
704 if (cs.length == 0)
705 return 0;
706 Object[] uniq = new Object[cs.length];
707 final ReentrantLock lock = this.lock;
708 lock.lock();
709 try {
710 Object[] elements = getArray();
711 int len = elements.length;
712 int added = 0;
713 for (int i = 0; i < cs.length; ++i) { // scan for duplicates
714 Object e = cs[i];
715 if (indexOf(e, elements, 0, len) < 0 &&
716 indexOf(e, uniq, 0, added) < 0)
717 uniq[added++] = e;
718 }
719 if (added > 0) {
720 Object[] newElements = Arrays.copyOf(elements, len + added);
721 System.arraycopy(uniq, 0, newElements, len, added);
722 setArray(newElements);
723 }
724 return added;
725 } finally {
726 lock.unlock();
727 }
728 }
729
730 /**
731 * Removes all of the elements from this list.
732 * The list will be empty after this call returns.
733 */
734 public void clear() {
735 final ReentrantLock lock = this.lock;
736 lock.lock();
737 try {
738 setArray(new Object[0]);
739 } finally {
740 lock.unlock();
741 }
742 }
743
744 /**
745 * Appends all of the elements in the specified collection to the end
746 * of this list, in the order that they are returned by the specified
747 * collection's iterator.
748 *
749 * @param c collection containing elements to be added to this list
750 * @return <tt>true</tt> if this list changed as a result of the call
751 * @throws NullPointerException if the specified collection is null
752 * @see #add(Object)
753 */
754 public boolean addAll(Collection<? extends E> c) {
755 Object[] cs = c.toArray();
756 if (cs.length == 0)
757 return false;
758 final ReentrantLock lock = this.lock;
759 lock.lock();
760 try {
761 Object[] elements = getArray();
762 int len = elements.length;
763 Object[] newElements = Arrays.copyOf(elements, len + cs.length);
764 System.arraycopy(cs, 0, newElements, len, cs.length);
765 setArray(newElements);
766 return true;
767 } finally {
768 lock.unlock();
769 }
770 }
771
772 /**
773 * Inserts all of the elements in the specified collection into this
774 * list, starting at the specified position. Shifts the element
775 * currently at that position (if any) and any subsequent elements to
776 * the right (increases their indices). The new elements will appear
777 * in this list in the order that they are returned by the
778 * specified collection's iterator.
779 *
780 * @param index index at which to insert the first element
781 * from the specified collection
782 * @param c collection containing elements to be added to this list
783 * @return <tt>true</tt> if this list changed as a result of the call
784 * @throws IndexOutOfBoundsException {@inheritDoc}
785 * @throws NullPointerException if the specified collection is null
786 * @see #add(int,Object)
787 */
788 public boolean addAll(int index, Collection<? extends E> c) {
789 Object[] cs = c.toArray();
790 final ReentrantLock lock = this.lock;
791 lock.lock();
792 try {
793 Object[] elements = getArray();
794 int len = elements.length;
795 if (index > len || index < 0)
796 throw new IndexOutOfBoundsException("Index: "+index+
797 ", Size: "+len);
798 if (cs.length == 0)
799 return false;
800 int numMoved = len - index;
801 Object[] newElements;
802 if (numMoved == 0)
803 newElements = Arrays.copyOf(elements, len + cs.length);
804 else {
805 newElements = new Object[len + cs.length];
806 System.arraycopy(elements, 0, newElements, 0, index);
807 System.arraycopy(elements, index,
808 newElements, index + cs.length,
809 numMoved);
810 }
811 System.arraycopy(cs, 0, newElements, index, cs.length);
812 setArray(newElements);
813 return true;
814 } finally {
815 lock.unlock();
816 }
817 }
818
819 /**
820 * Saves the state of the list to a stream (that is, serializes it).
821 *
822 * @serialData The length of the array backing the list is emitted
823 * (int), followed by all of its elements (each an Object)
824 * in the proper order.
825 * @param s the stream
826 */
827 private void writeObject(java.io.ObjectOutputStream s)
828 throws java.io.IOException{
829
830 s.defaultWriteObject();
831
832 Object[] elements = getArray();
833 // Write out array length
834 s.writeInt(elements.length);
835
836 // Write out all elements in the proper order.
837 for (Object element : elements)
838 s.writeObject(element);
839 }
840
841 /**
842 * Reconstitutes the list from a stream (that is, deserializes it).
843 *
844 * @param s the stream
845 */
846 private void readObject(java.io.ObjectInputStream s)
847 throws java.io.IOException, ClassNotFoundException {
848
849 s.defaultReadObject();
850
851 // bind to new lock
852 resetLock();
853
854 // Read in array length and allocate array
855 int len = s.readInt();
856 Object[] elements = new Object[len];
857
858 // Read in all elements in the proper order.
859 for (int i = 0; i < len; i++)
860 elements[i] = s.readObject();
861 setArray(elements);
862 }
863
864 /**
865 * Returns a string representation of this list. The string
866 * representation consists of the string representations of the list's
867 * elements in the order they are returned by its iterator, enclosed in
868 * square brackets (<tt>"[]"</tt>). Adjacent elements are separated by
869 * the characters <tt>", "</tt> (comma and space). Elements are
870 * converted to strings as by {@link String#valueOf(Object)}.
871 *
872 * @return a string representation of this list
873 */
874 public String toString() {
875 return Arrays.toString(getArray());
876 }
877
878 /**
879 * Compares the specified object with this list for equality.
880 * Returns {@code true} if the specified object is the same object
881 * as this object, or if it is also a {@link List} and the sequence
882 * of elements returned by an {@linkplain List#iterator() iterator}
883 * over the specified list is the same as the sequence returned by
884 * an iterator over this list. The two sequences are considered to
885 * be the same if they have the same length and corresponding
886 * elements at the same position in the sequence are <em>equal</em>.
887 * Two elements {@code e1} and {@code e2} are considered
888 * <em>equal</em> if {@code (e1==null ? e2==null : e1.equals(e2))}.
889 *
890 * @param o the object to be compared for equality with this list
891 * @return {@code true} if the specified object is equal to this list
892 */
893 public boolean equals(Object o) {
894 if (o == this)
895 return true;
896 if (!(o instanceof List))
897 return false;
898
899 List<?> list = (List<?>)(o);
900 Iterator<?> it = list.iterator();
901 Object[] elements = getArray();
902 int len = elements.length;
903 for (int i = 0; i < len; ++i)
904 if (!it.hasNext() || !eq(elements[i], it.next()))
905 return false;
906 if (it.hasNext())
907 return false;
908 return true;
909 }
910
911 /**
912 * Returns the hash code value for this list.
913 *
914 * <p>This implementation uses the definition in {@link List#hashCode}.
915 *
916 * @return the hash code value for this list
917 */
918 public int hashCode() {
919 int hashCode = 1;
920 Object[] elements = getArray();
921 int len = elements.length;
922 for (int i = 0; i < len; ++i) {
923 Object obj = elements[i];
924 hashCode = 31*hashCode + (obj==null ? 0 : obj.hashCode());
925 }
926 return hashCode;
927 }
928
929 /**
930 * Returns an iterator over the elements in this list in proper sequence.
931 *
932 * <p>The returned iterator provides a snapshot of the state of the list
933 * when the iterator was constructed. No synchronization is needed while
934 * traversing the iterator. The iterator does <em>NOT</em> support the
935 * <tt>remove</tt> method.
936 *
937 * @return an iterator over the elements in this list in proper sequence
938 */
939 public Iterator<E> iterator() {
940 return new COWIterator<E>(getArray(), 0);
941 }
942
943 /**
944 * {@inheritDoc}
945 *
946 * <p>The returned iterator provides a snapshot of the state of the list
947 * when the iterator was constructed. No synchronization is needed while
948 * traversing the iterator. The iterator does <em>NOT</em> support the
949 * <tt>remove</tt>, <tt>set</tt> or <tt>add</tt> methods.
950 */
951 public ListIterator<E> listIterator() {
952 return new COWIterator<E>(getArray(), 0);
953 }
954
955 /**
956 * {@inheritDoc}
957 *
958 * <p>The returned iterator provides a snapshot of the state of the list
959 * when the iterator was constructed. No synchronization is needed while
960 * traversing the iterator. The iterator does <em>NOT</em> support the
961 * <tt>remove</tt>, <tt>set</tt> or <tt>add</tt> methods.
962 *
963 * @throws IndexOutOfBoundsException {@inheritDoc}
964 */
965 public ListIterator<E> listIterator(final int index) {
966 Object[] elements = getArray();
967 int len = elements.length;
968 if (index<0 || index>len)
969 throw new IndexOutOfBoundsException("Index: "+index);
970
971 return new COWIterator<E>(elements, index);
972 }
973
974 private static class COWIterator<E> implements ListIterator<E> {
975 /** Snapshot of the array */
976 private final Object[] snapshot;
977 /** Index of element to be returned by subsequent call to next. */
978 private int cursor;
979
980 private COWIterator(Object[] elements, int initialCursor) {
981 cursor = initialCursor;
982 snapshot = elements;
983 }
984
985 public boolean hasNext() {
986 return cursor < snapshot.length;
987 }
988
989 public boolean hasPrevious() {
990 return cursor > 0;
991 }
992
993 @SuppressWarnings("unchecked")
994 public E next() {
995 if (! hasNext())
996 throw new NoSuchElementException();
997 return (E) snapshot[cursor++];
998 }
999
1000 @SuppressWarnings("unchecked")
1001 public E previous() {
1002 if (! hasPrevious())
1003 throw new NoSuchElementException();
1004 return (E) snapshot[--cursor];
1005 }
1006
1007 public int nextIndex() {
1008 return cursor;
1009 }
1010
1011 public int previousIndex() {
1012 return cursor-1;
1013 }
1014
1015 /**
1016 * Not supported. Always throws UnsupportedOperationException.
1017 * @throws UnsupportedOperationException always; <tt>remove</tt>
1018 * is not supported by this iterator.
1019 */
1020 public void remove() {
1021 throw new UnsupportedOperationException();
1022 }
1023
1024 /**
1025 * Not supported. Always throws UnsupportedOperationException.
1026 * @throws UnsupportedOperationException always; <tt>set</tt>
1027 * is not supported by this iterator.
1028 */
1029 public void set(E e) {
1030 throw new UnsupportedOperationException();
1031 }
1032
1033 /**
1034 * Not supported. Always throws UnsupportedOperationException.
1035 * @throws UnsupportedOperationException always; <tt>add</tt>
1036 * is not supported by this iterator.
1037 */
1038 public void add(E e) {
1039 throw new UnsupportedOperationException();
1040 }
1041 }
1042
1043 /**
1044 * Returns a view of the portion of this list between
1045 * <tt>fromIndex</tt>, inclusive, and <tt>toIndex</tt>, exclusive.
1046 * The returned list is backed by this list, so changes in the
1047 * returned list are reflected in this list.
1048 *
1049 * <p>The semantics of the list returned by this method become
1050 * undefined if the backing list (i.e., this list) is modified in
1051 * any way other than via the returned list.
1052 *
1053 * @param fromIndex low endpoint (inclusive) of the subList
1054 * @param toIndex high endpoint (exclusive) of the subList
1055 * @return a view of the specified range within this list
1056 * @throws IndexOutOfBoundsException {@inheritDoc}
1057 */
1058 public List<E> subList(int fromIndex, int toIndex) {
1059 final ReentrantLock lock = this.lock;
1060 lock.lock();
1061 try {
1062 Object[] elements = getArray();
1063 int len = elements.length;
1064 if (fromIndex < 0 || toIndex > len || fromIndex > toIndex)
1065 throw new IndexOutOfBoundsException();
1066 return new COWSubList<E>(this, fromIndex, toIndex);
1067 } finally {
1068 lock.unlock();
1069 }
1070 }
1071
1072 /**
1073 * Sublist for CopyOnWriteArrayList.
1074 * This class extends AbstractList merely for convenience, to
1075 * avoid having to define addAll, etc. This doesn't hurt, but
1076 * is wasteful. This class does not need or use modCount
1077 * mechanics in AbstractList, but does need to check for
1078 * concurrent modification using similar mechanics. On each
1079 * operation, the array that we expect the backing list to use
1080 * is checked and updated. Since we do this for all of the
1081 * base operations invoked by those defined in AbstractList,
1082 * all is well. While inefficient, this is not worth
1083 * improving. The kinds of list operations inherited from
1084 * AbstractList are already so slow on COW sublists that
1085 * adding a bit more space/time doesn't seem even noticeable.
1086 */
1087 private static class COWSubList<E>
1088 extends AbstractList<E>
1089 implements RandomAccess
1090 {
1091 private final CopyOnWriteArrayList<E> l;
1092 private final int offset;
1093 private int size;
1094 private Object[] expectedArray;
1095
1096 // only call this holding l's lock
1097 COWSubList(CopyOnWriteArrayList<E> list,
1098 int fromIndex, int toIndex) {
1099 l = list;
1100 expectedArray = l.getArray();
1101 offset = fromIndex;
1102 size = toIndex - fromIndex;
1103 }
1104
1105 // only call this holding l's lock
1106 private void checkForComodification() {
1107 if (l.getArray() != expectedArray)
1108 throw new ConcurrentModificationException();
1109 }
1110
1111 // only call this holding l's lock
1112 private void rangeCheck(int index) {
1113 if (index<0 || index>=size)
1114 throw new IndexOutOfBoundsException("Index: "+index+
1115 ",Size: "+size);
1116 }
1117
1118 public E set(int index, E element) {
1119 final ReentrantLock lock = l.lock;
1120 lock.lock();
1121 try {
1122 rangeCheck(index);
1123 checkForComodification();
1124 E x = l.set(index+offset, element);
1125 expectedArray = l.getArray();
1126 return x;
1127 } finally {
1128 lock.unlock();
1129 }
1130 }
1131
1132 public E get(int index) {
1133 final ReentrantLock lock = l.lock;
1134 lock.lock();
1135 try {
1136 rangeCheck(index);
1137 checkForComodification();
1138 return l.get(index+offset);
1139 } finally {
1140 lock.unlock();
1141 }
1142 }
1143
1144 public int size() {
1145 final ReentrantLock lock = l.lock;
1146 lock.lock();
1147 try {
1148 checkForComodification();
1149 return size;
1150 } finally {
1151 lock.unlock();
1152 }
1153 }
1154
1155 public void add(int index, E element) {
1156 final ReentrantLock lock = l.lock;
1157 lock.lock();
1158 try {
1159 checkForComodification();
1160 if (index<0 || index>size)
1161 throw new IndexOutOfBoundsException();
1162 l.add(index+offset, element);
1163 expectedArray = l.getArray();
1164 size++;
1165 } finally {
1166 lock.unlock();
1167 }
1168 }
1169
1170 public void clear() {
1171 final ReentrantLock lock = l.lock;
1172 lock.lock();
1173 try {
1174 checkForComodification();
1175 l.removeRange(offset, offset+size);
1176 expectedArray = l.getArray();
1177 size = 0;
1178 } finally {
1179 lock.unlock();
1180 }
1181 }
1182
1183 public E remove(int index) {
1184 final ReentrantLock lock = l.lock;
1185 lock.lock();
1186 try {
1187 rangeCheck(index);
1188 checkForComodification();
1189 E result = l.remove(index+offset);
1190 expectedArray = l.getArray();
1191 size--;
1192 return result;
1193 } finally {
1194 lock.unlock();
1195 }
1196 }
1197
1198 public boolean remove(Object o) {
1199 int index = indexOf(o);
1200 if (index == -1)
1201 return false;
1202 remove(index);
1203 return true;
1204 }
1205
1206 public Iterator<E> iterator() {
1207 final ReentrantLock lock = l.lock;
1208 lock.lock();
1209 try {
1210 checkForComodification();
1211 return new COWSubListIterator<E>(l, 0, offset, size);
1212 } finally {
1213 lock.unlock();
1214 }
1215 }
1216
1217 public ListIterator<E> listIterator(final int index) {
1218 final ReentrantLock lock = l.lock;
1219 lock.lock();
1220 try {
1221 checkForComodification();
1222 if (index<0 || index>size)
1223 throw new IndexOutOfBoundsException("Index: "+index+
1224 ", Size: "+size);
1225 return new COWSubListIterator<E>(l, index, offset, size);
1226 } finally {
1227 lock.unlock();
1228 }
1229 }
1230
1231 public List<E> subList(int fromIndex, int toIndex) {
1232 final ReentrantLock lock = l.lock;
1233 lock.lock();
1234 try {
1235 checkForComodification();
1236 if (fromIndex<0 || toIndex>size)
1237 throw new IndexOutOfBoundsException();
1238 return new COWSubList<E>(l, fromIndex + offset,
1239 toIndex + offset);
1240 } finally {
1241 lock.unlock();
1242 }
1243 }
1244
1245 }
1246
1247
1248 private static class COWSubListIterator<E> implements ListIterator<E> {
1249 private final ListIterator<E> i;
1250 private final int index;
1251 private final int offset;
1252 private final int size;
1253
1254 COWSubListIterator(List<E> l, int index, int offset,
1255 int size) {
1256 this.index = index;
1257 this.offset = offset;
1258 this.size = size;
1259 i = l.listIterator(index+offset);
1260 }
1261
1262 public boolean hasNext() {
1263 return nextIndex() < size;
1264 }
1265
1266 public E next() {
1267 if (hasNext())
1268 return i.next();
1269 else
1270 throw new NoSuchElementException();
1271 }
1272
1273 public boolean hasPrevious() {
1274 return previousIndex() >= 0;
1275 }
1276
1277 public E previous() {
1278 if (hasPrevious())
1279 return i.previous();
1280 else
1281 throw new NoSuchElementException();
1282 }
1283
1284 public int nextIndex() {
1285 return i.nextIndex() - offset;
1286 }
1287
1288 public int previousIndex() {
1289 return i.previousIndex() - offset;
1290 }
1291
1292 public void remove() {
1293 throw new UnsupportedOperationException();
1294 }
1295
1296 public void set(E e) {
1297 throw new UnsupportedOperationException();
1298 }
1299
1300 public void add(E e) {
1301 throw new UnsupportedOperationException();
1302 }
1303 }
1304
1305 // Support for resetting lock while deserializing
1306 private void resetLock() {
1307 UNSAFE.putObjectVolatile(this, lockOffset, new ReentrantLock());
1308 }
1309 private static final sun.misc.Unsafe UNSAFE;
1310 private static final long lockOffset;
1311 static {
1312 try {
1313 UNSAFE = sun.misc.Unsafe.getUnsafe();
1314 Class k = CopyOnWriteArrayList.class;
1315 lockOffset = UNSAFE.objectFieldOffset
1316 (k.getDeclaredField("lock"));
1317 } catch (Exception e) {
1318 throw new Error(e);
1319 }
1320 }
1321 }