1 /*
   2  * Copyright (c) 1997, 2015, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.  Oracle designates this
   8  * particular file as subject to the "Classpath" exception as provided
   9  * by Oracle in the LICENSE file that accompanied this code.
  10  *
  11  * This code is distributed in the hope that it will be useful, but WITHOUT
  12  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  13  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  14  * version 2 for more details (a copy is included in the LICENSE file that
  15  * accompanied this code).
  16  *
  17  * You should have received a copy of the GNU General Public License version
  18  * 2 along with this work; if not, write to the Free Software Foundation,
  19  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  20  *
  21  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  22  * or visit www.oracle.com if you need additional information or have any
  23  * questions.
  24  */
  25 
  26 package java.lang.ref;
  27 
  28 /**
  29  * Reference queues, to which registered reference objects are appended by the
  30  * garbage collector after the appropriate reachability changes are detected.
  31  *
  32  * @author   Mark Reinhold
  33  * @since    1.2
  34  */
  35 
  36 public class ReferenceQueue<T> {
  37 
  38     /**
  39      * Constructs a new reference-object queue.
  40      */
  41     public ReferenceQueue() { }
  42 
  43     private static class Null<S> extends ReferenceQueue<S> {
  44         boolean enqueue(Reference<? extends S> r) {
  45             return false;
  46         }
  47     }
  48 
  49     static ReferenceQueue<Object> NULL = new Null<>();
  50     static ReferenceQueue<Object> ENQUEUED = new Null<>();
  51 
  52     static private class Lock { };
  53     private Lock lock = new Lock();
  54     private volatile Reference<? extends T> head = null;
  55     private long queueLength = 0;
  56 
  57     boolean enqueue(Reference<? extends T> r) { /* Called only by Reference class */
  58         synchronized (lock) {
  59             // Check that since getting the lock this reference hasn't already been
  60             // enqueued (and even then removed)
  61             ReferenceQueue<?> queue = r.queue;
  62             if ((queue == NULL) || (queue == ENQUEUED)) {
  63                 return false;
  64             }
  65             assert queue == this;
  66             r.next = (head == null) ? r : head;
  67             head = r;
  68             queueLength++;
  69             // Update r.queue *after* adding to list, to avoid race
  70             // with concurrent enqueued checks and fast-path poll().
  71             // Volatiles ensure ordering.
  72             r.queue = ENQUEUED;
  73             if (r instanceof FinalReference) {
  74                 sun.misc.VM.addFinalRefCount(1);
  75             }
  76             lock.notifyAll();
  77             return true;
  78         }
  79     }
  80 
  81     @SuppressWarnings("unchecked")
  82     private Reference<? extends T> reallyPoll() {       /* Must hold lock */
  83         Reference<? extends T> r = head;
  84         if (r != null) {
  85             r.queue = NULL;
  86             // Update r.queue *before* removing from list, to avoid
  87             // race with concurrent enqueued checks and fast-path
  88             // poll().  Volatiles ensure ordering.
  89             head = (r.next == r) ?
  90                 null :
  91                 r.next; // Unchecked due to the next field having a raw type in Reference
  92             r.next = r;
  93             queueLength--;
  94             if (r instanceof FinalReference) {
  95                 sun.misc.VM.addFinalRefCount(-1);
  96             }
  97             return r;
  98         }
  99         return null;
 100     }
 101 
 102     /**
 103      * Polls this queue to see if a reference object is available.  If one is
 104      * available without further delay then it is removed from the queue and
 105      * returned.  Otherwise this method immediately returns <tt>null</tt>.
 106      *
 107      * @return  A reference object, if one was immediately available,
 108      *          otherwise <code>null</code>
 109      */
 110     public Reference<? extends T> poll() {
 111         if (head == null)
 112             return null;
 113         synchronized (lock) {
 114             return reallyPoll();
 115         }
 116     }
 117 
 118     /**
 119      * Removes the next reference object in this queue, blocking until either
 120      * one becomes available or the given timeout period expires.
 121      *
 122      * <p> This method does not offer real-time guarantees: It schedules the
 123      * timeout as if by invoking the {@link Object#wait(long)} method.
 124      *
 125      * @param  timeout  If positive, block for up to <code>timeout</code>
 126      *                  milliseconds while waiting for a reference to be
 127      *                  added to this queue.  If zero, block indefinitely.
 128      *
 129      * @return  A reference object, if one was available within the specified
 130      *          timeout period, otherwise <code>null</code>
 131      *
 132      * @throws  IllegalArgumentException
 133      *          If the value of the timeout argument is negative
 134      *
 135      * @throws  InterruptedException
 136      *          If the timeout wait is interrupted
 137      */
 138     public Reference<? extends T> remove(long timeout)
 139         throws IllegalArgumentException, InterruptedException
 140     {
 141         if (timeout < 0) {
 142             throw new IllegalArgumentException("Negative timeout value");
 143         }
 144         synchronized (lock) {
 145             Reference<? extends T> r = reallyPoll();
 146             if (r != null) return r;
 147             long start = (timeout == 0) ? 0 : System.nanoTime();
 148             for (;;) {
 149                 lock.wait(timeout);
 150                 r = reallyPoll();
 151                 if (r != null) return r;
 152                 if (timeout != 0) {
 153                     long end = System.nanoTime();
 154                     timeout -= (end - start) / 1000_000;
 155                     if (timeout <= 0) return null;
 156                     start = end;
 157                 }
 158             }
 159         }
 160     }
 161 
 162     /**
 163      * Removes the next reference object in this queue, blocking until one
 164      * becomes available.
 165      *
 166      * @return A reference object, blocking until one becomes available
 167      * @throws  InterruptedException  If the wait is interrupted
 168      */
 169     public Reference<? extends T> remove() throws InterruptedException {
 170         return remove(0);
 171     }
 172 
 173 }