ViewVC Help
View File | Revision Log | Show Annotations | Download File | Root Listing
root/jsr166/jsr166/src/jsr166y/LinkedTransferQueue.java
Revision: 1.44
Committed: Tue Aug 4 20:32:16 2009 UTC (14 years, 9 months ago) by jsr166
Branch: MAIN
Changes since 1.43: +18 -23 lines
Log Message:
remove unnecessary null checks for head/tail

File Contents

# User Rev Content
1 dl 1.1 /*
2     * Written by Doug Lea with assistance from members of JCP JSR-166
3     * Expert Group and released to the public domain, as explained at
4     * http://creativecommons.org/licenses/publicdomain
5     */
6    
7     package jsr166y;
8 jsr166 1.26
9 dl 1.1 import java.util.concurrent.*;
10 jsr166 1.26
11     import java.util.AbstractQueue;
12     import java.util.Collection;
13 jsr166 1.35 import java.util.ConcurrentModificationException;
14 jsr166 1.26 import java.util.Iterator;
15     import java.util.NoSuchElementException;
16 jsr166 1.35 import java.util.Queue;
17 jsr166 1.26 import java.util.concurrent.locks.LockSupport;
18     import java.util.concurrent.atomic.AtomicReference;
19 dl 1.1
20     /**
21 jsr166 1.43 * An unbounded {@link TransferQueue} based on linked nodes.
22 dl 1.1 * This queue orders elements FIFO (first-in-first-out) with respect
23     * to any given producer. The <em>head</em> of the queue is that
24     * element that has been on the queue the longest time for some
25     * producer. The <em>tail</em> of the queue is that element that has
26     * been on the queue the shortest time for some producer.
27     *
28 jsr166 1.11 * <p>Beware that, unlike in most collections, the {@code size}
29 dl 1.1 * method is <em>NOT</em> a constant-time operation. Because of the
30     * asynchronous nature of these queues, determining the current number
31     * of elements requires a traversal of the elements.
32     *
33     * <p>This class and its iterator implement all of the
34     * <em>optional</em> methods of the {@link Collection} and {@link
35     * Iterator} interfaces.
36     *
37     * <p>Memory consistency effects: As with other concurrent
38     * collections, actions in a thread prior to placing an object into a
39     * {@code LinkedTransferQueue}
40     * <a href="package-summary.html#MemoryVisibility"><i>happen-before</i></a>
41     * actions subsequent to the access or removal of that element from
42     * the {@code LinkedTransferQueue} in another thread.
43     *
44     * <p>This class is a member of the
45     * <a href="{@docRoot}/../technotes/guides/collections/index.html">
46     * Java Collections Framework</a>.
47     *
48 dl 1.3 * @since 1.7
49 dl 1.1 * @author Doug Lea
50     * @param <E> the type of elements held in this collection
51     */
52     public class LinkedTransferQueue<E> extends AbstractQueue<E>
53     implements TransferQueue<E>, java.io.Serializable {
54     private static final long serialVersionUID = -3223113410248163686L;
55    
56     /*
57     * This class extends the approach used in FIFO-mode
58     * SynchronousQueues. See the internal documentation, as well as
59     * the PPoPP 2006 paper "Scalable Synchronous Queues" by Scherer,
60     * Lea & Scott
61     * (http://www.cs.rice.edu/~wns1/papers/2006-PPoPP-SQ.pdf)
62     *
63 dl 1.9 * The main extension is to provide different Wait modes for the
64     * main "xfer" method that puts or takes items. These don't
65     * impact the basic dual-queue logic, but instead control whether
66     * or how threads block upon insertion of request or data nodes
67     * into the dual queue. It also uses slightly different
68     * conventions for tracking whether nodes are off-list or
69     * cancelled.
70 dl 1.1 */
71    
72     // Wait modes for xfer method
73     static final int NOWAIT = 0;
74     static final int TIMEOUT = 1;
75     static final int WAIT = 2;
76    
77     /** The number of CPUs, for spin control */
78     static final int NCPUS = Runtime.getRuntime().availableProcessors();
79    
80     /**
81     * The number of times to spin before blocking in timed waits.
82     * The value is empirically derived -- it works well across a
83     * variety of processors and OSes. Empirically, the best value
84     * seems not to vary with number of CPUs (beyond 2) so is just
85     * a constant.
86     */
87 jsr166 1.22 static final int maxTimedSpins = (NCPUS < 2) ? 0 : 32;
88 dl 1.1
89     /**
90     * The number of times to spin before blocking in untimed waits.
91     * This is greater than timed value because untimed waits spin
92     * faster since they don't need to check times on each spin.
93     */
94     static final int maxUntimedSpins = maxTimedSpins * 16;
95    
96     /**
97     * The number of nanoseconds for which it is faster to spin
98     * rather than to use timed park. A rough estimate suffices.
99     */
100     static final long spinForTimeoutThreshold = 1000L;
101    
102 jsr166 1.5 /**
103 dl 1.9 * Node class for LinkedTransferQueue. Opportunistically
104     * subclasses from AtomicReference to represent item. Uses Object,
105     * not E, to allow setting item to "this" after use, to avoid
106     * garbage retention. Similarly, setting the next field to this is
107     * used as sentinel that node is off list.
108 dl 1.1 */
109 jsr166 1.25 static final class Node<E> extends AtomicReference<Object> {
110     volatile Node<E> next;
111 dl 1.1 volatile Thread waiter; // to control park/unpark
112     final boolean isData;
113 jsr166 1.25
114     Node(E item, boolean isData) {
115 dl 1.1 super(item);
116     this.isData = isData;
117     }
118    
119 jsr166 1.32 // Unsafe mechanics
120    
121     private static final sun.misc.Unsafe UNSAFE = getUnsafe();
122     private static final long nextOffset =
123     objectFieldOffset(UNSAFE, "next", Node.class);
124    
125 jsr166 1.25 final boolean casNext(Node<E> cmp, Node<E> val) {
126 jsr166 1.31 return UNSAFE.compareAndSwapObject(this, nextOffset, cmp, val);
127 dl 1.1 }
128 dl 1.15
129     final void clearNext() {
130 jsr166 1.31 UNSAFE.putOrderedObject(this, nextOffset, this);
131     }
132    
133     /**
134     * Returns a sun.misc.Unsafe. Suitable for use in a 3rd party package.
135     * Replace with a simple call to Unsafe.getUnsafe when integrating
136     * into a jdk.
137     *
138     * @return a sun.misc.Unsafe
139     */
140     private static sun.misc.Unsafe getUnsafe() {
141     try {
142     return sun.misc.Unsafe.getUnsafe();
143     } catch (SecurityException se) {
144     try {
145     return java.security.AccessController.doPrivileged
146     (new java.security
147     .PrivilegedExceptionAction<sun.misc.Unsafe>() {
148     public sun.misc.Unsafe run() throws Exception {
149     java.lang.reflect.Field f = sun.misc
150     .Unsafe.class.getDeclaredField("theUnsafe");
151     f.setAccessible(true);
152     return (sun.misc.Unsafe) f.get(null);
153     }});
154     } catch (java.security.PrivilegedActionException e) {
155     throw new RuntimeException("Could not initialize intrinsics",
156     e.getCause());
157     }
158     }
159 dl 1.15 }
160    
161 jsr166 1.24 private static final long serialVersionUID = -3375979862319811754L;
162 dl 1.1 }
163    
164     /**
165     * Padded version of AtomicReference used for head, tail and
166     * cleanMe, to alleviate contention across threads CASing one vs
167     * the other.
168     */
169     static final class PaddedAtomicReference<T> extends AtomicReference<T> {
170     // enough padding for 64bytes with 4byte refs
171     Object p0, p1, p2, p3, p4, p5, p6, p7, p8, p9, pa, pb, pc, pd, pe;
172     PaddedAtomicReference(T r) { super(r); }
173 jsr166 1.24 private static final long serialVersionUID = 8170090609809740854L;
174 dl 1.1 }
175    
176    
177 dl 1.7 /** head of the queue */
178 jsr166 1.25 private transient final PaddedAtomicReference<Node<E>> head;
179 jsr166 1.23
180 dl 1.7 /** tail of the queue */
181 jsr166 1.25 private transient final PaddedAtomicReference<Node<E>> tail;
182 dl 1.1
183     /**
184     * Reference to a cancelled node that might not yet have been
185     * unlinked from queue because it was the last inserted node
186     * when it cancelled.
187     */
188 jsr166 1.25 private transient final PaddedAtomicReference<Node<E>> cleanMe;
189 dl 1.1
190     /**
191     * Tries to cas nh as new head; if successful, unlink
192     * old head's next node to avoid garbage retention.
193     */
194 jsr166 1.25 private boolean advanceHead(Node<E> h, Node<E> nh) {
195 dl 1.1 if (h == head.get() && head.compareAndSet(h, nh)) {
196 dl 1.15 h.clearNext(); // forget old next
197 dl 1.1 return true;
198     }
199     return false;
200     }
201 jsr166 1.5
202 dl 1.1 /**
203     * Puts or takes an item. Used for most queue operations (except
204 dl 1.9 * poll() and tryTransfer()). See the similar code in
205     * SynchronousQueue for detailed explanation.
206 jsr166 1.17 *
207 jsr166 1.4 * @param e the item or if null, signifies that this is a take
208 dl 1.1 * @param mode the wait mode: NOWAIT, TIMEOUT, WAIT
209     * @param nanos timeout in nanosecs, used only if mode is TIMEOUT
210     * @return an item, or null on failure
211     */
212 jsr166 1.25 private E xfer(E e, int mode, long nanos) {
213 dl 1.1 boolean isData = (e != null);
214 jsr166 1.25 Node<E> s = null;
215     final PaddedAtomicReference<Node<E>> head = this.head;
216     final PaddedAtomicReference<Node<E>> tail = this.tail;
217 dl 1.1
218     for (;;) {
219 jsr166 1.25 Node<E> t = tail.get();
220     Node<E> h = head.get();
221 dl 1.1
222 jsr166 1.44 if (t == h || t.isData == isData) {
223 dl 1.1 if (s == null)
224 jsr166 1.25 s = new Node<E>(e, isData);
225     Node<E> last = t.next;
226 dl 1.1 if (last != null) {
227     if (t == tail.get())
228     tail.compareAndSet(t, last);
229     }
230     else if (t.casNext(null, s)) {
231     tail.compareAndSet(t, s);
232     return awaitFulfill(t, s, e, mode, nanos);
233     }
234 jsr166 1.44 } else {
235 jsr166 1.25 Node<E> first = h.next;
236 jsr166 1.5 if (t == tail.get() && first != null &&
237 dl 1.1 advanceHead(h, first)) {
238     Object x = first.get();
239     if (x != first && first.compareAndSet(x, e)) {
240     LockSupport.unpark(first.waiter);
241 jsr166 1.25 return isData ? e : (E) x;
242 dl 1.1 }
243     }
244     }
245     }
246     }
247    
248    
249     /**
250     * Version of xfer for poll() and tryTransfer, which
251 jsr166 1.17 * simplifies control paths both here and in xfer.
252 dl 1.1 */
253 jsr166 1.25 private E fulfill(E e) {
254 dl 1.1 boolean isData = (e != null);
255 jsr166 1.25 final PaddedAtomicReference<Node<E>> head = this.head;
256     final PaddedAtomicReference<Node<E>> tail = this.tail;
257 dl 1.1
258     for (;;) {
259 jsr166 1.25 Node<E> t = tail.get();
260     Node<E> h = head.get();
261 dl 1.1
262 jsr166 1.44 if (t == h || t.isData == isData) {
263 jsr166 1.25 Node<E> last = t.next;
264 dl 1.1 if (t == tail.get()) {
265     if (last != null)
266     tail.compareAndSet(t, last);
267     else
268     return null;
269     }
270 jsr166 1.44 } else {
271 jsr166 1.25 Node<E> first = h.next;
272 jsr166 1.5 if (t == tail.get() &&
273 dl 1.1 first != null &&
274     advanceHead(h, first)) {
275     Object x = first.get();
276     if (x != first && first.compareAndSet(x, e)) {
277     LockSupport.unpark(first.waiter);
278 jsr166 1.25 return isData ? e : (E) x;
279 dl 1.1 }
280     }
281     }
282     }
283     }
284    
285     /**
286     * Spins/blocks until node s is fulfilled or caller gives up,
287     * depending on wait mode.
288     *
289     * @param pred the predecessor of waiting node
290     * @param s the waiting node
291     * @param e the comparison value for checking match
292     * @param mode mode
293     * @param nanos timeout value
294 jsr166 1.39 * @return matched item, or null if cancelled
295 dl 1.1 */
296 jsr166 1.25 private E awaitFulfill(Node<E> pred, Node<E> s, E e,
297     int mode, long nanos) {
298 dl 1.1 if (mode == NOWAIT)
299     return null;
300    
301 jsr166 1.22 long lastTime = (mode == TIMEOUT) ? System.nanoTime() : 0;
302 dl 1.1 Thread w = Thread.currentThread();
303     int spins = -1; // set to desired spin count below
304     for (;;) {
305     if (w.isInterrupted())
306     s.compareAndSet(e, s);
307     Object x = s.get();
308     if (x != e) { // Node was matched or cancelled
309     advanceHead(pred, s); // unlink if head
310 jsr166 1.17 if (x == s) { // was cancelled
311 dl 1.9 clean(pred, s);
312     return null;
313     }
314 jsr166 1.5 else if (x != null) {
315 dl 1.1 s.set(s); // avoid garbage retention
316 jsr166 1.25 return (E) x;
317 dl 1.1 }
318     else
319     return e;
320     }
321     if (mode == TIMEOUT) {
322     long now = System.nanoTime();
323     nanos -= now - lastTime;
324     lastTime = now;
325     if (nanos <= 0) {
326     s.compareAndSet(e, s); // try to cancel
327     continue;
328     }
329     }
330     if (spins < 0) {
331 jsr166 1.25 Node<E> h = head.get(); // only spin if at head
332 jsr166 1.44 spins = ((h.next != s) ? 0 :
333     (mode == TIMEOUT) ? maxTimedSpins :
334     maxUntimedSpins);
335 dl 1.1 }
336     if (spins > 0)
337     --spins;
338     else if (s.waiter == null)
339     s.waiter = w;
340     else if (mode != TIMEOUT) {
341 dl 1.12 LockSupport.park(this);
342 dl 1.1 s.waiter = null;
343     spins = -1;
344     }
345     else if (nanos > spinForTimeoutThreshold) {
346 dl 1.12 LockSupport.parkNanos(this, nanos);
347 dl 1.1 s.waiter = null;
348     spins = -1;
349     }
350     }
351     }
352    
353     /**
354 jsr166 1.17 * Returns validated tail for use in cleaning methods.
355 dl 1.9 */
356 jsr166 1.25 private Node<E> getValidatedTail() {
357 dl 1.9 for (;;) {
358 jsr166 1.25 Node<E> h = head.get();
359     Node<E> first = h.next;
360 jsr166 1.39 if (first != null && first.get() == first) { // help advance
361 dl 1.9 advanceHead(h, first);
362     continue;
363     }
364 jsr166 1.25 Node<E> t = tail.get();
365     Node<E> last = t.next;
366 dl 1.9 if (t == tail.get()) {
367     if (last != null)
368     tail.compareAndSet(t, last); // help advance
369     else
370     return t;
371     }
372     }
373 jsr166 1.10 }
374 dl 1.9
375     /**
376 dl 1.1 * Gets rid of cancelled node s with original predecessor pred.
377 jsr166 1.17 *
378 dl 1.9 * @param pred predecessor of cancelled node
379     * @param s the cancelled node
380 dl 1.1 */
381 jsr166 1.25 private void clean(Node<E> pred, Node<E> s) {
382 dl 1.1 Thread w = s.waiter;
383     if (w != null) { // Wake up thread
384     s.waiter = null;
385     if (w != Thread.currentThread())
386     LockSupport.unpark(w);
387     }
388 dl 1.15
389     if (pred == null)
390     return;
391    
392 dl 1.9 /*
393     * At any given time, exactly one node on list cannot be
394     * deleted -- the last inserted node. To accommodate this, if
395     * we cannot delete s, we save its predecessor as "cleanMe",
396     * processing the previously saved version first. At least one
397     * of node s or the node previously saved can always be
398     * processed, so this always terminates.
399     */
400     while (pred.next == s) {
401 jsr166 1.25 Node<E> oldpred = reclean(); // First, help get rid of cleanMe
402     Node<E> t = getValidatedTail();
403 dl 1.9 if (s != t) { // If not tail, try to unsplice
404 jsr166 1.25 Node<E> sn = s.next; // s.next == s means s already off list
405 jsr166 1.10 if (sn == s || pred.casNext(s, sn))
406 dl 1.9 break;
407     }
408     else if (oldpred == pred || // Already saved
409     (oldpred == null && cleanMe.compareAndSet(null, pred)))
410     break; // Postpone cleaning
411     }
412     }
413 jsr166 1.5
414 dl 1.9 /**
415     * Tries to unsplice the cancelled node held in cleanMe that was
416     * previously uncleanable because it was at tail.
417 jsr166 1.17 *
418 dl 1.9 * @return current cleanMe node (or null)
419     */
420 jsr166 1.25 private Node<E> reclean() {
421 jsr166 1.10 /*
422 dl 1.9 * cleanMe is, or at one time was, predecessor of cancelled
423     * node s that was the tail so could not be unspliced. If s
424     * is no longer the tail, try to unsplice if necessary and
425     * make cleanMe slot available. This differs from similar
426     * code in clean() because we must check that pred still
427     * points to a cancelled node that must be unspliced -- if
428     * not, we can (must) clear cleanMe without unsplicing.
429     * This can loop only due to contention on casNext or
430 jsr166 1.10 * clearing cleanMe.
431 dl 1.9 */
432 jsr166 1.25 Node<E> pred;
433 dl 1.9 while ((pred = cleanMe.get()) != null) {
434 jsr166 1.25 Node<E> t = getValidatedTail();
435     Node<E> s = pred.next;
436 jsr166 1.10 if (s != t) {
437 jsr166 1.25 Node<E> sn;
438 dl 1.9 if (s == null || s == pred || s.get() != s ||
439     (sn = s.next) == s || pred.casNext(s, sn))
440     cleanMe.compareAndSet(pred, null);
441 dl 1.1 }
442 dl 1.9 else // s is still tail; cannot clean
443     break;
444 dl 1.1 }
445 dl 1.9 return pred;
446 dl 1.1 }
447 jsr166 1.5
448 dl 1.1 /**
449 jsr166 1.11 * Creates an initially empty {@code LinkedTransferQueue}.
450 dl 1.1 */
451     public LinkedTransferQueue() {
452 jsr166 1.25 Node<E> dummy = new Node<E>(null, false);
453     head = new PaddedAtomicReference<Node<E>>(dummy);
454     tail = new PaddedAtomicReference<Node<E>>(dummy);
455     cleanMe = new PaddedAtomicReference<Node<E>>(null);
456 dl 1.1 }
457    
458     /**
459 jsr166 1.11 * Creates a {@code LinkedTransferQueue}
460 dl 1.1 * initially containing the elements of the given collection,
461     * added in traversal order of the collection's iterator.
462 jsr166 1.17 *
463 dl 1.1 * @param c the collection of elements to initially contain
464     * @throws NullPointerException if the specified collection or any
465     * of its elements are null
466     */
467     public LinkedTransferQueue(Collection<? extends E> c) {
468 dl 1.7 this();
469 dl 1.1 addAll(c);
470     }
471    
472 jsr166 1.29 /**
473 jsr166 1.35 * Inserts the specified element at the tail of this queue.
474     * As the queue is unbounded, this method will never block.
475     *
476     * @throws NullPointerException if the specified element is null
477 jsr166 1.29 */
478 jsr166 1.35 public void put(E e) {
479     offer(e);
480 dl 1.1 }
481    
482 jsr166 1.29 /**
483 jsr166 1.35 * Inserts the specified element at the tail of this queue.
484     * As the queue is unbounded, this method will never block or
485     * return {@code false}.
486     *
487     * @return {@code true} (as specified by
488     * {@link BlockingQueue#offer(Object,long,TimeUnit) BlockingQueue.offer})
489     * @throws NullPointerException if the specified element is null
490 jsr166 1.29 */
491 jsr166 1.35 public boolean offer(E e, long timeout, TimeUnit unit) {
492     return offer(e);
493 dl 1.1 }
494    
495 jsr166 1.29 /**
496 jsr166 1.35 * Inserts the specified element at the tail of this queue.
497     * As the queue is unbounded, this method will never return {@code false}.
498     *
499     * @return {@code true} (as specified by
500     * {@link BlockingQueue#offer(Object) BlockingQueue.offer})
501     * @throws NullPointerException if the specified element is null
502 jsr166 1.29 */
503 dl 1.1 public boolean offer(E e) {
504     if (e == null) throw new NullPointerException();
505     xfer(e, NOWAIT, 0);
506     return true;
507     }
508    
509 jsr166 1.29 /**
510 jsr166 1.35 * Inserts the specified element at the tail of this queue.
511 jsr166 1.37 * As the queue is unbounded, this method will never throw
512 jsr166 1.35 * {@link IllegalStateException} or return {@code false}.
513     *
514     * @return {@code true} (as specified by {@link Collection#add})
515     * @throws NullPointerException if the specified element is null
516 jsr166 1.29 */
517 dl 1.15 public boolean add(E e) {
518 jsr166 1.35 return offer(e);
519     }
520    
521     /**
522 jsr166 1.40 * Transfers the element to a waiting consumer immediately, if possible.
523     *
524     * <p>More precisely, transfers the specified element immediately
525     * if there exists a consumer already waiting to receive it (in
526     * {@link #take} or timed {@link #poll(long,TimeUnit) poll}),
527     * otherwise returning {@code false} without enqueuing the element.
528 jsr166 1.35 *
529     * @throws NullPointerException if the specified element is null
530     */
531     public boolean tryTransfer(E e) {
532 dl 1.15 if (e == null) throw new NullPointerException();
533 jsr166 1.35 return fulfill(e) != null;
534 dl 1.15 }
535    
536 jsr166 1.29 /**
537 jsr166 1.40 * Transfers the element to a consumer, waiting if necessary to do so.
538     *
539     * <p>More precisely, transfers the specified element immediately
540     * if there exists a consumer already waiting to receive it (in
541     * {@link #take} or timed {@link #poll(long,TimeUnit) poll}),
542     * else inserts the specified element at the tail of this queue
543     * and waits until the element is received by a consumer.
544 jsr166 1.35 *
545     * @throws NullPointerException if the specified element is null
546 jsr166 1.29 */
547 dl 1.1 public void transfer(E e) throws InterruptedException {
548     if (e == null) throw new NullPointerException();
549     if (xfer(e, WAIT, 0) == null) {
550 jsr166 1.6 Thread.interrupted();
551 dl 1.1 throw new InterruptedException();
552 jsr166 1.6 }
553 dl 1.1 }
554    
555 jsr166 1.29 /**
556 jsr166 1.40 * Transfers the element to a consumer if it is possible to do so
557     * before the timeout elapses.
558     *
559     * <p>More precisely, transfers the specified element immediately
560     * if there exists a consumer already waiting to receive it (in
561     * {@link #take} or timed {@link #poll(long,TimeUnit) poll}),
562     * else inserts the specified element at the tail of this queue
563     * and waits until the element is received by a consumer,
564     * returning {@code false} if the specified wait time elapses
565     * before the element can be transferred.
566 jsr166 1.35 *
567     * @throws NullPointerException if the specified element is null
568 jsr166 1.29 */
569 dl 1.1 public boolean tryTransfer(E e, long timeout, TimeUnit unit)
570     throws InterruptedException {
571     if (e == null) throw new NullPointerException();
572     if (xfer(e, TIMEOUT, unit.toNanos(timeout)) != null)
573     return true;
574     if (!Thread.interrupted())
575     return false;
576     throw new InterruptedException();
577     }
578    
579     public E take() throws InterruptedException {
580 jsr166 1.34 E e = xfer(null, WAIT, 0);
581 dl 1.1 if (e != null)
582 jsr166 1.34 return e;
583 jsr166 1.6 Thread.interrupted();
584 dl 1.1 throw new InterruptedException();
585     }
586    
587     public E poll(long timeout, TimeUnit unit) throws InterruptedException {
588 jsr166 1.34 E e = xfer(null, TIMEOUT, unit.toNanos(timeout));
589 dl 1.1 if (e != null || !Thread.interrupted())
590 jsr166 1.34 return e;
591 dl 1.1 throw new InterruptedException();
592     }
593    
594     public E poll() {
595 jsr166 1.25 return fulfill(null);
596 dl 1.1 }
597    
598 jsr166 1.29 /**
599 jsr166 1.30 * @throws NullPointerException {@inheritDoc}
600     * @throws IllegalArgumentException {@inheritDoc}
601 jsr166 1.29 */
602 dl 1.1 public int drainTo(Collection<? super E> c) {
603     if (c == null)
604     throw new NullPointerException();
605     if (c == this)
606     throw new IllegalArgumentException();
607     int n = 0;
608     E e;
609     while ( (e = poll()) != null) {
610     c.add(e);
611     ++n;
612     }
613     return n;
614     }
615    
616 jsr166 1.29 /**
617 jsr166 1.30 * @throws NullPointerException {@inheritDoc}
618     * @throws IllegalArgumentException {@inheritDoc}
619 jsr166 1.29 */
620 dl 1.1 public int drainTo(Collection<? super E> c, int maxElements) {
621     if (c == null)
622     throw new NullPointerException();
623     if (c == this)
624     throw new IllegalArgumentException();
625     int n = 0;
626     E e;
627     while (n < maxElements && (e = poll()) != null) {
628     c.add(e);
629     ++n;
630     }
631     return n;
632     }
633    
634     // Traversal-based methods
635    
636     /**
637 jsr166 1.17 * Returns head after performing any outstanding helping steps.
638 dl 1.1 */
639 jsr166 1.25 private Node<E> traversalHead() {
640 dl 1.1 for (;;) {
641 jsr166 1.25 Node<E> t = tail.get();
642     Node<E> h = head.get();
643 jsr166 1.44 Node<E> last = t.next;
644     Node<E> first = h.next;
645     if (t == tail.get()) {
646     if (last != null)
647     tail.compareAndSet(t, last);
648     else if (first != null) {
649     Object x = first.get();
650     if (x == first)
651     advanceHead(h, first);
652 dl 1.1 else
653     return h;
654     }
655 jsr166 1.44 else
656     return h;
657 dl 1.1 }
658 dl 1.15 reclean();
659 dl 1.1 }
660     }
661    
662 jsr166 1.35 /**
663     * Returns an iterator over the elements in this queue in proper
664     * sequence, from head to tail.
665     *
666     * <p>The returned iterator is a "weakly consistent" iterator that
667     * will never throw
668     * {@link ConcurrentModificationException ConcurrentModificationException},
669     * and guarantees to traverse elements as they existed upon
670     * construction of the iterator, and may (but is not guaranteed
671     * to) reflect any modifications subsequent to construction.
672     *
673     * @return an iterator over the elements in this queue in proper sequence
674     */
675 dl 1.1 public Iterator<E> iterator() {
676     return new Itr();
677     }
678    
679     /**
680 jsr166 1.4 * Iterators. Basic strategy is to traverse list, treating
681 dl 1.1 * non-data (i.e., request) nodes as terminating list.
682     * Once a valid data node is found, the item is cached
683     * so that the next call to next() will return it even
684     * if subsequently removed.
685     */
686     class Itr implements Iterator<E> {
687 jsr166 1.25 Node<E> next; // node to return next
688     Node<E> pnext; // predecessor of next
689     Node<E> curr; // last returned node, for remove()
690     Node<E> pcurr; // predecessor of curr, for remove()
691 dl 1.33 E nextItem; // Cache of next item, once committed to in next
692 jsr166 1.5
693 dl 1.1 Itr() {
694 dl 1.33 advance();
695 dl 1.1 }
696 jsr166 1.5
697 dl 1.15 /**
698 dl 1.33 * Moves to next valid node and returns item to return for
699     * next(), or null if no such.
700 dl 1.15 */
701 dl 1.33 private E advance() {
702     pcurr = pnext;
703     curr = next;
704     E item = nextItem;
705    
706 dl 1.1 for (;;) {
707 jsr166 1.34 pnext = (next == null) ? traversalHead() : next;
708 dl 1.33 next = pnext.next;
709     if (next == pnext) {
710 dl 1.15 next = null;
711 dl 1.33 continue; // restart
712 dl 1.15 }
713 dl 1.33 if (next == null)
714     break;
715     Object x = next.get();
716     if (x != null && x != next) {
717 jsr166 1.22 nextItem = (E) x;
718 dl 1.33 break;
719 dl 1.1 }
720     }
721 dl 1.33 return item;
722 dl 1.1 }
723 jsr166 1.5
724 dl 1.1 public boolean hasNext() {
725 dl 1.15 return next != null;
726 dl 1.1 }
727 jsr166 1.5
728 dl 1.1 public E next() {
729 jsr166 1.35 if (next == null)
730 dl 1.33 throw new NoSuchElementException();
731     return advance();
732 dl 1.1 }
733 jsr166 1.5
734 dl 1.1 public void remove() {
735 jsr166 1.25 Node<E> p = curr;
736 dl 1.15 if (p == null)
737 dl 1.1 throw new IllegalStateException();
738     Object x = p.get();
739     if (x != null && x != p && p.compareAndSet(x, p))
740 dl 1.15 clean(pcurr, p);
741 dl 1.1 }
742     }
743    
744     public E peek() {
745     for (;;) {
746 jsr166 1.25 Node<E> h = traversalHead();
747     Node<E> p = h.next;
748 dl 1.1 if (p == null)
749     return null;
750     Object x = p.get();
751     if (p != x) {
752     if (!p.isData)
753     return null;
754     if (x != null)
755 jsr166 1.22 return (E) x;
756 dl 1.1 }
757     }
758     }
759    
760 jsr166 1.41 /**
761     * Returns {@code true} if this queue contains no elements.
762     *
763     * @return {@code true} if this queue contains no elements
764     */
765 dl 1.2 public boolean isEmpty() {
766     for (;;) {
767 jsr166 1.25 Node<E> h = traversalHead();
768     Node<E> p = h.next;
769 dl 1.2 if (p == null)
770     return true;
771     Object x = p.get();
772     if (p != x) {
773     if (!p.isData)
774     return true;
775     if (x != null)
776     return false;
777     }
778     }
779     }
780    
781 dl 1.1 public boolean hasWaitingConsumer() {
782     for (;;) {
783 jsr166 1.25 Node<E> h = traversalHead();
784     Node<E> p = h.next;
785 dl 1.1 if (p == null)
786     return false;
787     Object x = p.get();
788 jsr166 1.5 if (p != x)
789 dl 1.1 return !p.isData;
790     }
791     }
792 jsr166 1.5
793 dl 1.1 /**
794     * Returns the number of elements in this queue. If this queue
795 jsr166 1.11 * contains more than {@code Integer.MAX_VALUE} elements, returns
796     * {@code Integer.MAX_VALUE}.
797 dl 1.1 *
798     * <p>Beware that, unlike in most collections, this method is
799     * <em>NOT</em> a constant-time operation. Because of the
800     * asynchronous nature of these queues, determining the current
801     * number of elements requires an O(n) traversal.
802     *
803     * @return the number of elements in this queue
804     */
805     public int size() {
806 dl 1.33 for (;;) {
807     int count = 0;
808     Node<E> pred = traversalHead();
809     for (;;) {
810     Node<E> q = pred.next;
811     if (q == pred) // restart
812 dl 1.1 break;
813 dl 1.33 if (q == null || !q.isData)
814     return count;
815     Object x = q.get();
816     if (x != null && x != q) {
817     if (++count == Integer.MAX_VALUE) // saturated
818     return count;
819     }
820     pred = q;
821 dl 1.1 }
822     }
823     }
824    
825     public int getWaitingConsumerCount() {
826 dl 1.33 // converse of size -- count valid non-data nodes
827     for (;;) {
828     int count = 0;
829     Node<E> pred = traversalHead();
830     for (;;) {
831     Node<E> q = pred.next;
832     if (q == pred) // restart
833 dl 1.1 break;
834 dl 1.33 if (q == null || q.isData)
835     return count;
836     Object x = q.get();
837     if (x == null) {
838     if (++count == Integer.MAX_VALUE) // saturated
839     return count;
840     }
841     pred = q;
842 dl 1.1 }
843     }
844     }
845    
846 jsr166 1.42 /**
847     * Removes a single instance of the specified element from this queue,
848     * if it is present. More formally, removes an element {@code e} such
849     * that {@code o.equals(e)}, if this queue contains one or more such
850     * elements.
851     * Returns {@code true} if this queue contained the specified element
852     * (or equivalently, if this queue changed as a result of the call).
853     *
854     * @param o element to be removed from this queue, if present
855     * @return {@code true} if this queue changed as a result of the call
856     */
857 dl 1.15 public boolean remove(Object o) {
858     if (o == null)
859     return false;
860     for (;;) {
861 jsr166 1.25 Node<E> pred = traversalHead();
862 dl 1.15 for (;;) {
863 jsr166 1.25 Node<E> q = pred.next;
864 dl 1.33 if (q == pred) // restart
865     break;
866 dl 1.15 if (q == null || !q.isData)
867     return false;
868     Object x = q.get();
869 jsr166 1.17 if (x != null && x != q && o.equals(x) &&
870 dl 1.15 q.compareAndSet(x, q)) {
871     clean(pred, q);
872     return true;
873     }
874     pred = q;
875     }
876     }
877     }
878    
879 jsr166 1.35 /**
880     * Always returns {@code Integer.MAX_VALUE} because a
881     * {@code LinkedTransferQueue} is not capacity constrained.
882     *
883     * @return {@code Integer.MAX_VALUE} (as specified by
884     * {@link BlockingQueue#remainingCapacity()})
885     */
886 dl 1.33 public int remainingCapacity() {
887     return Integer.MAX_VALUE;
888     }
889    
890 dl 1.1 /**
891     * Save the state to a stream (that is, serialize it).
892     *
893 jsr166 1.11 * @serialData All of the elements (each an {@code E}) in
894 dl 1.1 * the proper order, followed by a null
895     * @param s the stream
896     */
897     private void writeObject(java.io.ObjectOutputStream s)
898     throws java.io.IOException {
899     s.defaultWriteObject();
900 jsr166 1.16 for (E e : this)
901     s.writeObject(e);
902 dl 1.1 // Use trailing null as sentinel
903     s.writeObject(null);
904     }
905    
906     /**
907     * Reconstitute the Queue instance from a stream (that is,
908     * deserialize it).
909 jsr166 1.19 *
910 dl 1.1 * @param s the stream
911     */
912     private void readObject(java.io.ObjectInputStream s)
913     throws java.io.IOException, ClassNotFoundException {
914     s.defaultReadObject();
915 dl 1.7 resetHeadAndTail();
916 dl 1.1 for (;;) {
917 jsr166 1.25 @SuppressWarnings("unchecked") E item = (E) s.readObject();
918 dl 1.1 if (item == null)
919     break;
920     else
921     offer(item);
922     }
923     }
924 dl 1.7
925     // Support for resetting head/tail while deserializing
926 dl 1.12 private void resetHeadAndTail() {
927 jsr166 1.25 Node<E> dummy = new Node<E>(null, false);
928 jsr166 1.20 UNSAFE.putObjectVolatile(this, headOffset,
929 jsr166 1.25 new PaddedAtomicReference<Node<E>>(dummy));
930 jsr166 1.20 UNSAFE.putObjectVolatile(this, tailOffset,
931 jsr166 1.25 new PaddedAtomicReference<Node<E>>(dummy));
932 jsr166 1.20 UNSAFE.putObjectVolatile(this, cleanMeOffset,
933 jsr166 1.25 new PaddedAtomicReference<Node<E>>(null));
934 dl 1.12 }
935 dl 1.7
936 jsr166 1.28 // Unsafe mechanics
937    
938     private static final sun.misc.Unsafe UNSAFE = getUnsafe();
939     private static final long headOffset =
940 jsr166 1.31 objectFieldOffset(UNSAFE, "head", LinkedTransferQueue.class);
941 jsr166 1.28 private static final long tailOffset =
942 jsr166 1.31 objectFieldOffset(UNSAFE, "tail", LinkedTransferQueue.class);
943 jsr166 1.28 private static final long cleanMeOffset =
944 jsr166 1.31 objectFieldOffset(UNSAFE, "cleanMe", LinkedTransferQueue.class);
945    
946 jsr166 1.28
947 jsr166 1.31 static long objectFieldOffset(sun.misc.Unsafe UNSAFE,
948     String field, Class<?> klazz) {
949 jsr166 1.28 try {
950     return UNSAFE.objectFieldOffset(klazz.getDeclaredField(field));
951     } catch (NoSuchFieldException e) {
952     // Convert Exception to corresponding Error
953     NoSuchFieldError error = new NoSuchFieldError(field);
954     error.initCause(e);
955     throw error;
956     }
957     }
958    
959     /**
960     * Returns a sun.misc.Unsafe. Suitable for use in a 3rd party package.
961     * Replace with a simple call to Unsafe.getUnsafe when integrating
962     * into a jdk.
963     *
964     * @return a sun.misc.Unsafe
965     */
966 jsr166 1.25 private static sun.misc.Unsafe getUnsafe() {
967 jsr166 1.13 try {
968 jsr166 1.25 return sun.misc.Unsafe.getUnsafe();
969 jsr166 1.13 } catch (SecurityException se) {
970     try {
971     return java.security.AccessController.doPrivileged
972 jsr166 1.28 (new java.security
973     .PrivilegedExceptionAction<sun.misc.Unsafe>() {
974 jsr166 1.25 public sun.misc.Unsafe run() throws Exception {
975 jsr166 1.28 java.lang.reflect.Field f = sun.misc
976     .Unsafe.class.getDeclaredField("theUnsafe");
977     f.setAccessible(true);
978     return (sun.misc.Unsafe) f.get(null);
979 jsr166 1.13 }});
980     } catch (java.security.PrivilegedActionException e) {
981 jsr166 1.25 throw new RuntimeException("Could not initialize intrinsics",
982     e.getCause());
983 jsr166 1.13 }
984     }
985     }
986 dl 1.1 }