jdk/src/share/classes/java/util/Timer.java
author duke
Sat, 01 Dec 2007 00:00:00 +0000
changeset 2 90ce3da70b43
child 1006 f0e0218ff458
permissions -rw-r--r--
Initial load
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
 * Copyright 1999-2007 Sun Microsystems, Inc.  All Rights Reserved.
90ce3da70b43 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
90ce3da70b43 Initial load
duke
parents:
diff changeset
     4
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
90ce3da70b43 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
90ce3da70b43 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Sun designates this
90ce3da70b43 Initial load
duke
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
90ce3da70b43 Initial load
duke
parents:
diff changeset
     9
 * by Sun in the LICENSE file that accompanied this code.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    10
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
90ce3da70b43 Initial load
duke
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
90ce3da70b43 Initial load
duke
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
90ce3da70b43 Initial load
duke
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
90ce3da70b43 Initial load
duke
parents:
diff changeset
    15
 * accompanied this code).
90ce3da70b43 Initial load
duke
parents:
diff changeset
    16
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
90ce3da70b43 Initial load
duke
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    20
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    21
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    22
 * CA 95054 USA or visit www.sun.com if you need additional information or
90ce3da70b43 Initial load
duke
parents:
diff changeset
    23
 * have any questions.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    24
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    25
90ce3da70b43 Initial load
duke
parents:
diff changeset
    26
package java.util;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    27
import java.util.Date;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    28
90ce3da70b43 Initial load
duke
parents:
diff changeset
    29
/**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    30
 * A facility for threads to schedule tasks for future execution in a
90ce3da70b43 Initial load
duke
parents:
diff changeset
    31
 * background thread.  Tasks may be scheduled for one-time execution, or for
90ce3da70b43 Initial load
duke
parents:
diff changeset
    32
 * repeated execution at regular intervals.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    33
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    34
 * <p>Corresponding to each <tt>Timer</tt> object is a single background
90ce3da70b43 Initial load
duke
parents:
diff changeset
    35
 * thread that is used to execute all of the timer's tasks, sequentially.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    36
 * Timer tasks should complete quickly.  If a timer task takes excessive time
90ce3da70b43 Initial load
duke
parents:
diff changeset
    37
 * to complete, it "hogs" the timer's task execution thread.  This can, in
90ce3da70b43 Initial load
duke
parents:
diff changeset
    38
 * turn, delay the execution of subsequent tasks, which may "bunch up" and
90ce3da70b43 Initial load
duke
parents:
diff changeset
    39
 * execute in rapid succession when (and if) the offending task finally
90ce3da70b43 Initial load
duke
parents:
diff changeset
    40
 * completes.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    41
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    42
 * <p>After the last live reference to a <tt>Timer</tt> object goes away
90ce3da70b43 Initial load
duke
parents:
diff changeset
    43
 * <i>and</i> all outstanding tasks have completed execution, the timer's task
90ce3da70b43 Initial load
duke
parents:
diff changeset
    44
 * execution thread terminates gracefully (and becomes subject to garbage
90ce3da70b43 Initial load
duke
parents:
diff changeset
    45
 * collection).  However, this can take arbitrarily long to occur.  By
90ce3da70b43 Initial load
duke
parents:
diff changeset
    46
 * default, the task execution thread does not run as a <i>daemon thread</i>,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    47
 * so it is capable of keeping an application from terminating.  If a caller
90ce3da70b43 Initial load
duke
parents:
diff changeset
    48
 * wants to terminate a timer's task execution thread rapidly, the caller
90ce3da70b43 Initial load
duke
parents:
diff changeset
    49
 * should invoke the timer's <tt>cancel</tt> method.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    50
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    51
 * <p>If the timer's task execution thread terminates unexpectedly, for
90ce3da70b43 Initial load
duke
parents:
diff changeset
    52
 * example, because its <tt>stop</tt> method is invoked, any further
90ce3da70b43 Initial load
duke
parents:
diff changeset
    53
 * attempt to schedule a task on the timer will result in an
90ce3da70b43 Initial load
duke
parents:
diff changeset
    54
 * <tt>IllegalStateException</tt>, as if the timer's <tt>cancel</tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    55
 * method had been invoked.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    56
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    57
 * <p>This class is thread-safe: multiple threads can share a single
90ce3da70b43 Initial load
duke
parents:
diff changeset
    58
 * <tt>Timer</tt> object without the need for external synchronization.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    59
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    60
 * <p>This class does <i>not</i> offer real-time guarantees: it schedules
90ce3da70b43 Initial load
duke
parents:
diff changeset
    61
 * tasks using the <tt>Object.wait(long)</tt> method.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    62
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    63
 * <p>Java 5.0 introduced the {@code java.util.concurrent} package and
90ce3da70b43 Initial load
duke
parents:
diff changeset
    64
 * one of the concurrency utilities therein is the {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
    65
 * java.util.concurrent.ScheduledThreadPoolExecutor
90ce3da70b43 Initial load
duke
parents:
diff changeset
    66
 * ScheduledThreadPoolExecutor} which is a thread pool for repeatedly
90ce3da70b43 Initial load
duke
parents:
diff changeset
    67
 * executing tasks at a given rate or delay.  It is effectively a more
90ce3da70b43 Initial load
duke
parents:
diff changeset
    68
 * versatile replacement for the {@code Timer}/{@code TimerTask}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    69
 * combination, as it allows multiple service threads, accepts various
90ce3da70b43 Initial load
duke
parents:
diff changeset
    70
 * time units, and doesn't require subclassing {@code TimerTask} (just
90ce3da70b43 Initial load
duke
parents:
diff changeset
    71
 * implement {@code Runnable}).  Configuring {@code
90ce3da70b43 Initial load
duke
parents:
diff changeset
    72
 * ScheduledThreadPoolExecutor} with one thread makes it equivalent to
90ce3da70b43 Initial load
duke
parents:
diff changeset
    73
 * {@code Timer}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    74
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    75
 * <p>Implementation note: This class scales to large numbers of concurrently
90ce3da70b43 Initial load
duke
parents:
diff changeset
    76
 * scheduled tasks (thousands should present no problem).  Internally,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    77
 * it uses a binary heap to represent its task queue, so the cost to schedule
90ce3da70b43 Initial load
duke
parents:
diff changeset
    78
 * a task is O(log n), where n is the number of concurrently scheduled tasks.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    79
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    80
 * <p>Implementation note: All constructors start a timer thread.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    81
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    82
 * @author  Josh Bloch
90ce3da70b43 Initial load
duke
parents:
diff changeset
    83
 * @see     TimerTask
90ce3da70b43 Initial load
duke
parents:
diff changeset
    84
 * @see     Object#wait(long)
90ce3da70b43 Initial load
duke
parents:
diff changeset
    85
 * @since   1.3
90ce3da70b43 Initial load
duke
parents:
diff changeset
    86
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    87
90ce3da70b43 Initial load
duke
parents:
diff changeset
    88
public class Timer {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    89
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    90
     * The timer task queue.  This data structure is shared with the timer
90ce3da70b43 Initial load
duke
parents:
diff changeset
    91
     * thread.  The timer produces tasks, via its various schedule calls,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    92
     * and the timer thread consumes, executing timer tasks as appropriate,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    93
     * and removing them from the queue when they're obsolete.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    94
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    95
    private TaskQueue queue = new TaskQueue();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    96
90ce3da70b43 Initial load
duke
parents:
diff changeset
    97
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    98
     * The timer thread.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    99
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   100
    private TimerThread thread = new TimerThread(queue);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   101
90ce3da70b43 Initial load
duke
parents:
diff changeset
   102
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   103
     * This object causes the timer's task execution thread to exit
90ce3da70b43 Initial load
duke
parents:
diff changeset
   104
     * gracefully when there are no live references to the Timer object and no
90ce3da70b43 Initial load
duke
parents:
diff changeset
   105
     * tasks in the timer queue.  It is used in preference to a finalizer on
90ce3da70b43 Initial load
duke
parents:
diff changeset
   106
     * Timer as such a finalizer would be susceptible to a subclass's
90ce3da70b43 Initial load
duke
parents:
diff changeset
   107
     * finalizer forgetting to call it.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   108
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   109
    private Object threadReaper = new Object() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   110
        protected void finalize() throws Throwable {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   111
            synchronized(queue) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   112
                thread.newTasksMayBeScheduled = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   113
                queue.notify(); // In case queue is empty.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   114
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   115
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   116
    };
90ce3da70b43 Initial load
duke
parents:
diff changeset
   117
90ce3da70b43 Initial load
duke
parents:
diff changeset
   118
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   119
     * This ID is used to generate thread names.  (It could be replaced
90ce3da70b43 Initial load
duke
parents:
diff changeset
   120
     * by an AtomicInteger as soon as they become available.)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   121
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   122
    private static int nextSerialNumber = 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   123
    private static synchronized int serialNumber() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   124
        return nextSerialNumber++;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   125
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   126
90ce3da70b43 Initial load
duke
parents:
diff changeset
   127
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   128
     * Creates a new timer.  The associated thread does <i>not</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   129
     * {@linkplain Thread#setDaemon run as a daemon}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   130
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   131
    public Timer() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   132
        this("Timer-" + serialNumber());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   133
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   134
90ce3da70b43 Initial load
duke
parents:
diff changeset
   135
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   136
     * Creates a new timer whose associated thread may be specified to
90ce3da70b43 Initial load
duke
parents:
diff changeset
   137
     * {@linkplain Thread#setDaemon run as a daemon}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   138
     * A daemon thread is called for if the timer will be used to
90ce3da70b43 Initial load
duke
parents:
diff changeset
   139
     * schedule repeating "maintenance activities", which must be
90ce3da70b43 Initial load
duke
parents:
diff changeset
   140
     * performed as long as the application is running, but should not
90ce3da70b43 Initial load
duke
parents:
diff changeset
   141
     * prolong the lifetime of the application.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   142
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   143
     * @param isDaemon true if the associated thread should run as a daemon.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   144
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   145
    public Timer(boolean isDaemon) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   146
        this("Timer-" + serialNumber(), isDaemon);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   147
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   148
90ce3da70b43 Initial load
duke
parents:
diff changeset
   149
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   150
     * Creates a new timer whose associated thread has the specified name.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   151
     * The associated thread does <i>not</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   152
     * {@linkplain Thread#setDaemon run as a daemon}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   153
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   154
     * @param name the name of the associated thread
90ce3da70b43 Initial load
duke
parents:
diff changeset
   155
     * @throws NullPointerException if {@code name} is null
90ce3da70b43 Initial load
duke
parents:
diff changeset
   156
     * @since 1.5
90ce3da70b43 Initial load
duke
parents:
diff changeset
   157
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   158
    public Timer(String name) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   159
        thread.setName(name);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   160
        thread.start();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   161
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   162
90ce3da70b43 Initial load
duke
parents:
diff changeset
   163
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   164
     * Creates a new timer whose associated thread has the specified name,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   165
     * and may be specified to
90ce3da70b43 Initial load
duke
parents:
diff changeset
   166
     * {@linkplain Thread#setDaemon run as a daemon}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   167
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   168
     * @param name the name of the associated thread
90ce3da70b43 Initial load
duke
parents:
diff changeset
   169
     * @param isDaemon true if the associated thread should run as a daemon
90ce3da70b43 Initial load
duke
parents:
diff changeset
   170
     * @throws NullPointerException if {@code name} is null
90ce3da70b43 Initial load
duke
parents:
diff changeset
   171
     * @since 1.5
90ce3da70b43 Initial load
duke
parents:
diff changeset
   172
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   173
    public Timer(String name, boolean isDaemon) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   174
        thread.setName(name);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   175
        thread.setDaemon(isDaemon);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   176
        thread.start();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   177
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   178
90ce3da70b43 Initial load
duke
parents:
diff changeset
   179
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   180
     * Schedules the specified task for execution after the specified delay.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   181
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   182
     * @param task  task to be scheduled.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   183
     * @param delay delay in milliseconds before task is to be executed.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   184
     * @throws IllegalArgumentException if <tt>delay</tt> is negative, or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   185
     *         <tt>delay + System.currentTimeMillis()</tt> is negative.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   186
     * @throws IllegalStateException if task was already scheduled or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   187
     *         cancelled, timer was cancelled, or timer thread terminated.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   188
     * @throws NullPointerException if {@code task} is null
90ce3da70b43 Initial load
duke
parents:
diff changeset
   189
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   190
    public void schedule(TimerTask task, long delay) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   191
        if (delay < 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   192
            throw new IllegalArgumentException("Negative delay.");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   193
        sched(task, System.currentTimeMillis()+delay, 0);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   194
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   195
90ce3da70b43 Initial load
duke
parents:
diff changeset
   196
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   197
     * Schedules the specified task for execution at the specified time.  If
90ce3da70b43 Initial load
duke
parents:
diff changeset
   198
     * the time is in the past, the task is scheduled for immediate execution.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   199
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   200
     * @param task task to be scheduled.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   201
     * @param time time at which task is to be executed.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   202
     * @throws IllegalArgumentException if <tt>time.getTime()</tt> is negative.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   203
     * @throws IllegalStateException if task was already scheduled or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   204
     *         cancelled, timer was cancelled, or timer thread terminated.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   205
     * @throws NullPointerException if {@code task} or {@code time} is null
90ce3da70b43 Initial load
duke
parents:
diff changeset
   206
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   207
    public void schedule(TimerTask task, Date time) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   208
        sched(task, time.getTime(), 0);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   209
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   210
90ce3da70b43 Initial load
duke
parents:
diff changeset
   211
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   212
     * Schedules the specified task for repeated <i>fixed-delay execution</i>,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   213
     * beginning after the specified delay.  Subsequent executions take place
90ce3da70b43 Initial load
duke
parents:
diff changeset
   214
     * at approximately regular intervals separated by the specified period.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   215
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   216
     * <p>In fixed-delay execution, each execution is scheduled relative to
90ce3da70b43 Initial load
duke
parents:
diff changeset
   217
     * the actual execution time of the previous execution.  If an execution
90ce3da70b43 Initial load
duke
parents:
diff changeset
   218
     * is delayed for any reason (such as garbage collection or other
90ce3da70b43 Initial load
duke
parents:
diff changeset
   219
     * background activity), subsequent executions will be delayed as well.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   220
     * In the long run, the frequency of execution will generally be slightly
90ce3da70b43 Initial load
duke
parents:
diff changeset
   221
     * lower than the reciprocal of the specified period (assuming the system
90ce3da70b43 Initial load
duke
parents:
diff changeset
   222
     * clock underlying <tt>Object.wait(long)</tt> is accurate).
90ce3da70b43 Initial load
duke
parents:
diff changeset
   223
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   224
     * <p>Fixed-delay execution is appropriate for recurring activities
90ce3da70b43 Initial load
duke
parents:
diff changeset
   225
     * that require "smoothness."  In other words, it is appropriate for
90ce3da70b43 Initial load
duke
parents:
diff changeset
   226
     * activities where it is more important to keep the frequency accurate
90ce3da70b43 Initial load
duke
parents:
diff changeset
   227
     * in the short run than in the long run.  This includes most animation
90ce3da70b43 Initial load
duke
parents:
diff changeset
   228
     * tasks, such as blinking a cursor at regular intervals.  It also includes
90ce3da70b43 Initial load
duke
parents:
diff changeset
   229
     * tasks wherein regular activity is performed in response to human
90ce3da70b43 Initial load
duke
parents:
diff changeset
   230
     * input, such as automatically repeating a character as long as a key
90ce3da70b43 Initial load
duke
parents:
diff changeset
   231
     * is held down.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   232
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   233
     * @param task   task to be scheduled.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   234
     * @param delay  delay in milliseconds before task is to be executed.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   235
     * @param period time in milliseconds between successive task executions.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   236
     * @throws IllegalArgumentException if {@code delay < 0}, or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   237
     *         {@code delay + System.currentTimeMillis() < 0}, or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   238
     *         {@code period <= 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   239
     * @throws IllegalStateException if task was already scheduled or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   240
     *         cancelled, timer was cancelled, or timer thread terminated.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   241
     * @throws NullPointerException if {@code task} is null
90ce3da70b43 Initial load
duke
parents:
diff changeset
   242
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   243
    public void schedule(TimerTask task, long delay, long period) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   244
        if (delay < 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   245
            throw new IllegalArgumentException("Negative delay.");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   246
        if (period <= 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   247
            throw new IllegalArgumentException("Non-positive period.");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   248
        sched(task, System.currentTimeMillis()+delay, -period);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   249
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   250
90ce3da70b43 Initial load
duke
parents:
diff changeset
   251
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   252
     * Schedules the specified task for repeated <i>fixed-delay execution</i>,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   253
     * beginning at the specified time. Subsequent executions take place at
90ce3da70b43 Initial load
duke
parents:
diff changeset
   254
     * approximately regular intervals, separated by the specified period.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   255
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   256
     * <p>In fixed-delay execution, each execution is scheduled relative to
90ce3da70b43 Initial load
duke
parents:
diff changeset
   257
     * the actual execution time of the previous execution.  If an execution
90ce3da70b43 Initial load
duke
parents:
diff changeset
   258
     * is delayed for any reason (such as garbage collection or other
90ce3da70b43 Initial load
duke
parents:
diff changeset
   259
     * background activity), subsequent executions will be delayed as well.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   260
     * In the long run, the frequency of execution will generally be slightly
90ce3da70b43 Initial load
duke
parents:
diff changeset
   261
     * lower than the reciprocal of the specified period (assuming the system
90ce3da70b43 Initial load
duke
parents:
diff changeset
   262
     * clock underlying <tt>Object.wait(long)</tt> is accurate).  As a
90ce3da70b43 Initial load
duke
parents:
diff changeset
   263
     * consequence of the above, if the scheduled first time is in the past,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   264
     * it is scheduled for immediate execution.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   265
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   266
     * <p>Fixed-delay execution is appropriate for recurring activities
90ce3da70b43 Initial load
duke
parents:
diff changeset
   267
     * that require "smoothness."  In other words, it is appropriate for
90ce3da70b43 Initial load
duke
parents:
diff changeset
   268
     * activities where it is more important to keep the frequency accurate
90ce3da70b43 Initial load
duke
parents:
diff changeset
   269
     * in the short run than in the long run.  This includes most animation
90ce3da70b43 Initial load
duke
parents:
diff changeset
   270
     * tasks, such as blinking a cursor at regular intervals.  It also includes
90ce3da70b43 Initial load
duke
parents:
diff changeset
   271
     * tasks wherein regular activity is performed in response to human
90ce3da70b43 Initial load
duke
parents:
diff changeset
   272
     * input, such as automatically repeating a character as long as a key
90ce3da70b43 Initial load
duke
parents:
diff changeset
   273
     * is held down.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   274
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   275
     * @param task   task to be scheduled.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   276
     * @param firstTime First time at which task is to be executed.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   277
     * @param period time in milliseconds between successive task executions.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   278
     * @throws IllegalArgumentException if {@code firstTime.getTime() < 0}, or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   279
     *         {@code period <= 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   280
     * @throws IllegalStateException if task was already scheduled or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   281
     *         cancelled, timer was cancelled, or timer thread terminated.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   282
     * @throws NullPointerException if {@code task} or {@code firstTime} is null
90ce3da70b43 Initial load
duke
parents:
diff changeset
   283
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   284
    public void schedule(TimerTask task, Date firstTime, long period) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   285
        if (period <= 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   286
            throw new IllegalArgumentException("Non-positive period.");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   287
        sched(task, firstTime.getTime(), -period);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   288
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   289
90ce3da70b43 Initial load
duke
parents:
diff changeset
   290
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   291
     * Schedules the specified task for repeated <i>fixed-rate execution</i>,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   292
     * beginning after the specified delay.  Subsequent executions take place
90ce3da70b43 Initial load
duke
parents:
diff changeset
   293
     * at approximately regular intervals, separated by the specified period.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   294
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   295
     * <p>In fixed-rate execution, each execution is scheduled relative to the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   296
     * scheduled execution time of the initial execution.  If an execution is
90ce3da70b43 Initial load
duke
parents:
diff changeset
   297
     * delayed for any reason (such as garbage collection or other background
90ce3da70b43 Initial load
duke
parents:
diff changeset
   298
     * activity), two or more executions will occur in rapid succession to
90ce3da70b43 Initial load
duke
parents:
diff changeset
   299
     * "catch up."  In the long run, the frequency of execution will be
90ce3da70b43 Initial load
duke
parents:
diff changeset
   300
     * exactly the reciprocal of the specified period (assuming the system
90ce3da70b43 Initial load
duke
parents:
diff changeset
   301
     * clock underlying <tt>Object.wait(long)</tt> is accurate).
90ce3da70b43 Initial load
duke
parents:
diff changeset
   302
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   303
     * <p>Fixed-rate execution is appropriate for recurring activities that
90ce3da70b43 Initial load
duke
parents:
diff changeset
   304
     * are sensitive to <i>absolute</i> time, such as ringing a chime every
90ce3da70b43 Initial load
duke
parents:
diff changeset
   305
     * hour on the hour, or running scheduled maintenance every day at a
90ce3da70b43 Initial load
duke
parents:
diff changeset
   306
     * particular time.  It is also appropriate for recurring activities
90ce3da70b43 Initial load
duke
parents:
diff changeset
   307
     * where the total time to perform a fixed number of executions is
90ce3da70b43 Initial load
duke
parents:
diff changeset
   308
     * important, such as a countdown timer that ticks once every second for
90ce3da70b43 Initial load
duke
parents:
diff changeset
   309
     * ten seconds.  Finally, fixed-rate execution is appropriate for
90ce3da70b43 Initial load
duke
parents:
diff changeset
   310
     * scheduling multiple repeating timer tasks that must remain synchronized
90ce3da70b43 Initial load
duke
parents:
diff changeset
   311
     * with respect to one another.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   312
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   313
     * @param task   task to be scheduled.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   314
     * @param delay  delay in milliseconds before task is to be executed.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   315
     * @param period time in milliseconds between successive task executions.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   316
     * @throws IllegalArgumentException if {@code delay < 0}, or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   317
     *         {@code delay + System.currentTimeMillis() < 0}, or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   318
     *         {@code period <= 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   319
     * @throws IllegalStateException if task was already scheduled or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   320
     *         cancelled, timer was cancelled, or timer thread terminated.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   321
     * @throws NullPointerException if {@code task} is null
90ce3da70b43 Initial load
duke
parents:
diff changeset
   322
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   323
    public void scheduleAtFixedRate(TimerTask task, long delay, long period) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   324
        if (delay < 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   325
            throw new IllegalArgumentException("Negative delay.");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   326
        if (period <= 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   327
            throw new IllegalArgumentException("Non-positive period.");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   328
        sched(task, System.currentTimeMillis()+delay, period);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   329
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   330
90ce3da70b43 Initial load
duke
parents:
diff changeset
   331
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   332
     * Schedules the specified task for repeated <i>fixed-rate execution</i>,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   333
     * beginning at the specified time. Subsequent executions take place at
90ce3da70b43 Initial load
duke
parents:
diff changeset
   334
     * approximately regular intervals, separated by the specified period.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   335
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   336
     * <p>In fixed-rate execution, each execution is scheduled relative to the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   337
     * scheduled execution time of the initial execution.  If an execution is
90ce3da70b43 Initial load
duke
parents:
diff changeset
   338
     * delayed for any reason (such as garbage collection or other background
90ce3da70b43 Initial load
duke
parents:
diff changeset
   339
     * activity), two or more executions will occur in rapid succession to
90ce3da70b43 Initial load
duke
parents:
diff changeset
   340
     * "catch up."  In the long run, the frequency of execution will be
90ce3da70b43 Initial load
duke
parents:
diff changeset
   341
     * exactly the reciprocal of the specified period (assuming the system
90ce3da70b43 Initial load
duke
parents:
diff changeset
   342
     * clock underlying <tt>Object.wait(long)</tt> is accurate).  As a
90ce3da70b43 Initial load
duke
parents:
diff changeset
   343
     * consequence of the above, if the scheduled first time is in the past,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   344
     * then any "missed" executions will be scheduled for immediate "catch up"
90ce3da70b43 Initial load
duke
parents:
diff changeset
   345
     * execution.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   346
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   347
     * <p>Fixed-rate execution is appropriate for recurring activities that
90ce3da70b43 Initial load
duke
parents:
diff changeset
   348
     * are sensitive to <i>absolute</i> time, such as ringing a chime every
90ce3da70b43 Initial load
duke
parents:
diff changeset
   349
     * hour on the hour, or running scheduled maintenance every day at a
90ce3da70b43 Initial load
duke
parents:
diff changeset
   350
     * particular time.  It is also appropriate for recurring activities
90ce3da70b43 Initial load
duke
parents:
diff changeset
   351
     * where the total time to perform a fixed number of executions is
90ce3da70b43 Initial load
duke
parents:
diff changeset
   352
     * important, such as a countdown timer that ticks once every second for
90ce3da70b43 Initial load
duke
parents:
diff changeset
   353
     * ten seconds.  Finally, fixed-rate execution is appropriate for
90ce3da70b43 Initial load
duke
parents:
diff changeset
   354
     * scheduling multiple repeating timer tasks that must remain synchronized
90ce3da70b43 Initial load
duke
parents:
diff changeset
   355
     * with respect to one another.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   356
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   357
     * @param task   task to be scheduled.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   358
     * @param firstTime First time at which task is to be executed.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   359
     * @param period time in milliseconds between successive task executions.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   360
     * @throws IllegalArgumentException if {@code firstTime.getTime() < 0} or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   361
     *         {@code period <= 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   362
     * @throws IllegalStateException if task was already scheduled or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   363
     *         cancelled, timer was cancelled, or timer thread terminated.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   364
     * @throws NullPointerException if {@code task} or {@code firstTime} is null
90ce3da70b43 Initial load
duke
parents:
diff changeset
   365
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   366
    public void scheduleAtFixedRate(TimerTask task, Date firstTime,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   367
                                    long period) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   368
        if (period <= 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   369
            throw new IllegalArgumentException("Non-positive period.");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   370
        sched(task, firstTime.getTime(), period);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   371
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   372
90ce3da70b43 Initial load
duke
parents:
diff changeset
   373
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   374
     * Schedule the specified timer task for execution at the specified
90ce3da70b43 Initial load
duke
parents:
diff changeset
   375
     * time with the specified period, in milliseconds.  If period is
90ce3da70b43 Initial load
duke
parents:
diff changeset
   376
     * positive, the task is scheduled for repeated execution; if period is
90ce3da70b43 Initial load
duke
parents:
diff changeset
   377
     * zero, the task is scheduled for one-time execution. Time is specified
90ce3da70b43 Initial load
duke
parents:
diff changeset
   378
     * in Date.getTime() format.  This method checks timer state, task state,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   379
     * and initial execution time, but not period.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   380
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   381
     * @throws IllegalArgumentException if <tt>time</tt> is negative.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   382
     * @throws IllegalStateException if task was already scheduled or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   383
     *         cancelled, timer was cancelled, or timer thread terminated.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   384
     * @throws NullPointerException if {@code task} is null
90ce3da70b43 Initial load
duke
parents:
diff changeset
   385
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   386
    private void sched(TimerTask task, long time, long period) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   387
        if (time < 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   388
            throw new IllegalArgumentException("Illegal execution time.");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   389
90ce3da70b43 Initial load
duke
parents:
diff changeset
   390
        synchronized(queue) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   391
            if (!thread.newTasksMayBeScheduled)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   392
                throw new IllegalStateException("Timer already cancelled.");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   393
90ce3da70b43 Initial load
duke
parents:
diff changeset
   394
            synchronized(task.lock) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   395
                if (task.state != TimerTask.VIRGIN)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   396
                    throw new IllegalStateException(
90ce3da70b43 Initial load
duke
parents:
diff changeset
   397
                        "Task already scheduled or cancelled");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   398
                task.nextExecutionTime = time;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   399
                task.period = period;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   400
                task.state = TimerTask.SCHEDULED;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   401
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   402
90ce3da70b43 Initial load
duke
parents:
diff changeset
   403
            queue.add(task);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   404
            if (queue.getMin() == task)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   405
                queue.notify();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   406
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   407
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   408
90ce3da70b43 Initial load
duke
parents:
diff changeset
   409
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   410
     * Terminates this timer, discarding any currently scheduled tasks.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   411
     * Does not interfere with a currently executing task (if it exists).
90ce3da70b43 Initial load
duke
parents:
diff changeset
   412
     * Once a timer has been terminated, its execution thread terminates
90ce3da70b43 Initial load
duke
parents:
diff changeset
   413
     * gracefully, and no more tasks may be scheduled on it.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   414
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   415
     * <p>Note that calling this method from within the run method of a
90ce3da70b43 Initial load
duke
parents:
diff changeset
   416
     * timer task that was invoked by this timer absolutely guarantees that
90ce3da70b43 Initial load
duke
parents:
diff changeset
   417
     * the ongoing task execution is the last task execution that will ever
90ce3da70b43 Initial load
duke
parents:
diff changeset
   418
     * be performed by this timer.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   419
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   420
     * <p>This method may be called repeatedly; the second and subsequent
90ce3da70b43 Initial load
duke
parents:
diff changeset
   421
     * calls have no effect.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   422
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   423
    public void cancel() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   424
        synchronized(queue) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   425
            thread.newTasksMayBeScheduled = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   426
            queue.clear();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   427
            queue.notify();  // In case queue was already empty.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   428
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   429
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   430
90ce3da70b43 Initial load
duke
parents:
diff changeset
   431
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   432
     * Removes all cancelled tasks from this timer's task queue.  <i>Calling
90ce3da70b43 Initial load
duke
parents:
diff changeset
   433
     * this method has no effect on the behavior of the timer</i>, but
90ce3da70b43 Initial load
duke
parents:
diff changeset
   434
     * eliminates the references to the cancelled tasks from the queue.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   435
     * If there are no external references to these tasks, they become
90ce3da70b43 Initial load
duke
parents:
diff changeset
   436
     * eligible for garbage collection.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   437
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   438
     * <p>Most programs will have no need to call this method.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   439
     * It is designed for use by the rare application that cancels a large
90ce3da70b43 Initial load
duke
parents:
diff changeset
   440
     * number of tasks.  Calling this method trades time for space: the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   441
     * runtime of the method may be proportional to n + c log n, where n
90ce3da70b43 Initial load
duke
parents:
diff changeset
   442
     * is the number of tasks in the queue and c is the number of cancelled
90ce3da70b43 Initial load
duke
parents:
diff changeset
   443
     * tasks.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   444
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   445
     * <p>Note that it is permissible to call this method from within a
90ce3da70b43 Initial load
duke
parents:
diff changeset
   446
     * a task scheduled on this timer.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   447
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   448
     * @return the number of tasks removed from the queue.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   449
     * @since 1.5
90ce3da70b43 Initial load
duke
parents:
diff changeset
   450
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   451
     public int purge() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   452
         int result = 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   453
90ce3da70b43 Initial load
duke
parents:
diff changeset
   454
         synchronized(queue) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   455
             for (int i = queue.size(); i > 0; i--) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   456
                 if (queue.get(i).state == TimerTask.CANCELLED) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   457
                     queue.quickRemove(i);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   458
                     result++;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   459
                 }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   460
             }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   461
90ce3da70b43 Initial load
duke
parents:
diff changeset
   462
             if (result != 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   463
                 queue.heapify();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   464
         }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   465
90ce3da70b43 Initial load
duke
parents:
diff changeset
   466
         return result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   467
     }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   468
}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   469
90ce3da70b43 Initial load
duke
parents:
diff changeset
   470
/**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   471
 * This "helper class" implements the timer's task execution thread, which
90ce3da70b43 Initial load
duke
parents:
diff changeset
   472
 * waits for tasks on the timer queue, executions them when they fire,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   473
 * reschedules repeating tasks, and removes cancelled tasks and spent
90ce3da70b43 Initial load
duke
parents:
diff changeset
   474
 * non-repeating tasks from the queue.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   475
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   476
class TimerThread extends Thread {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   477
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   478
     * This flag is set to false by the reaper to inform us that there
90ce3da70b43 Initial load
duke
parents:
diff changeset
   479
     * are no more live references to our Timer object.  Once this flag
90ce3da70b43 Initial load
duke
parents:
diff changeset
   480
     * is true and there are no more tasks in our queue, there is no
90ce3da70b43 Initial load
duke
parents:
diff changeset
   481
     * work left for us to do, so we terminate gracefully.  Note that
90ce3da70b43 Initial load
duke
parents:
diff changeset
   482
     * this field is protected by queue's monitor!
90ce3da70b43 Initial load
duke
parents:
diff changeset
   483
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   484
    boolean newTasksMayBeScheduled = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   485
90ce3da70b43 Initial load
duke
parents:
diff changeset
   486
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   487
     * Our Timer's queue.  We store this reference in preference to
90ce3da70b43 Initial load
duke
parents:
diff changeset
   488
     * a reference to the Timer so the reference graph remains acyclic.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   489
     * Otherwise, the Timer would never be garbage-collected and this
90ce3da70b43 Initial load
duke
parents:
diff changeset
   490
     * thread would never go away.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   491
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   492
    private TaskQueue queue;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   493
90ce3da70b43 Initial load
duke
parents:
diff changeset
   494
    TimerThread(TaskQueue queue) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   495
        this.queue = queue;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   496
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   497
90ce3da70b43 Initial load
duke
parents:
diff changeset
   498
    public void run() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   499
        try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   500
            mainLoop();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   501
        } finally {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   502
            // Someone killed this Thread, behave as if Timer cancelled
90ce3da70b43 Initial load
duke
parents:
diff changeset
   503
            synchronized(queue) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   504
                newTasksMayBeScheduled = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   505
                queue.clear();  // Eliminate obsolete references
90ce3da70b43 Initial load
duke
parents:
diff changeset
   506
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   507
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   508
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   509
90ce3da70b43 Initial load
duke
parents:
diff changeset
   510
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   511
     * The main timer loop.  (See class comment.)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   512
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   513
    private void mainLoop() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   514
        while (true) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   515
            try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   516
                TimerTask task;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   517
                boolean taskFired;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   518
                synchronized(queue) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   519
                    // Wait for queue to become non-empty
90ce3da70b43 Initial load
duke
parents:
diff changeset
   520
                    while (queue.isEmpty() && newTasksMayBeScheduled)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   521
                        queue.wait();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   522
                    if (queue.isEmpty())
90ce3da70b43 Initial load
duke
parents:
diff changeset
   523
                        break; // Queue is empty and will forever remain; die
90ce3da70b43 Initial load
duke
parents:
diff changeset
   524
90ce3da70b43 Initial load
duke
parents:
diff changeset
   525
                    // Queue nonempty; look at first evt and do the right thing
90ce3da70b43 Initial load
duke
parents:
diff changeset
   526
                    long currentTime, executionTime;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   527
                    task = queue.getMin();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   528
                    synchronized(task.lock) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   529
                        if (task.state == TimerTask.CANCELLED) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   530
                            queue.removeMin();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   531
                            continue;  // No action required, poll queue again
90ce3da70b43 Initial load
duke
parents:
diff changeset
   532
                        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   533
                        currentTime = System.currentTimeMillis();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   534
                        executionTime = task.nextExecutionTime;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   535
                        if (taskFired = (executionTime<=currentTime)) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   536
                            if (task.period == 0) { // Non-repeating, remove
90ce3da70b43 Initial load
duke
parents:
diff changeset
   537
                                queue.removeMin();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   538
                                task.state = TimerTask.EXECUTED;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   539
                            } else { // Repeating task, reschedule
90ce3da70b43 Initial load
duke
parents:
diff changeset
   540
                                queue.rescheduleMin(
90ce3da70b43 Initial load
duke
parents:
diff changeset
   541
                                  task.period<0 ? currentTime   - task.period
90ce3da70b43 Initial load
duke
parents:
diff changeset
   542
                                                : executionTime + task.period);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   543
                            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   544
                        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   545
                    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   546
                    if (!taskFired) // Task hasn't yet fired; wait
90ce3da70b43 Initial load
duke
parents:
diff changeset
   547
                        queue.wait(executionTime - currentTime);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   548
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   549
                if (taskFired)  // Task fired; run it, holding no locks
90ce3da70b43 Initial load
duke
parents:
diff changeset
   550
                    task.run();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   551
            } catch(InterruptedException e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   552
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   553
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   554
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   555
}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   556
90ce3da70b43 Initial load
duke
parents:
diff changeset
   557
/**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   558
 * This class represents a timer task queue: a priority queue of TimerTasks,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   559
 * ordered on nextExecutionTime.  Each Timer object has one of these, which it
90ce3da70b43 Initial load
duke
parents:
diff changeset
   560
 * shares with its TimerThread.  Internally this class uses a heap, which
90ce3da70b43 Initial load
duke
parents:
diff changeset
   561
 * offers log(n) performance for the add, removeMin and rescheduleMin
90ce3da70b43 Initial load
duke
parents:
diff changeset
   562
 * operations, and constant time performance for the getMin operation.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   563
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   564
class TaskQueue {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   565
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   566
     * Priority queue represented as a balanced binary heap: the two children
90ce3da70b43 Initial load
duke
parents:
diff changeset
   567
     * of queue[n] are queue[2*n] and queue[2*n+1].  The priority queue is
90ce3da70b43 Initial load
duke
parents:
diff changeset
   568
     * ordered on the nextExecutionTime field: The TimerTask with the lowest
90ce3da70b43 Initial load
duke
parents:
diff changeset
   569
     * nextExecutionTime is in queue[1] (assuming the queue is nonempty).  For
90ce3da70b43 Initial load
duke
parents:
diff changeset
   570
     * each node n in the heap, and each descendant of n, d,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   571
     * n.nextExecutionTime <= d.nextExecutionTime.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   572
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   573
    private TimerTask[] queue = new TimerTask[128];
90ce3da70b43 Initial load
duke
parents:
diff changeset
   574
90ce3da70b43 Initial load
duke
parents:
diff changeset
   575
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   576
     * The number of tasks in the priority queue.  (The tasks are stored in
90ce3da70b43 Initial load
duke
parents:
diff changeset
   577
     * queue[1] up to queue[size]).
90ce3da70b43 Initial load
duke
parents:
diff changeset
   578
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   579
    private int size = 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   580
90ce3da70b43 Initial load
duke
parents:
diff changeset
   581
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   582
     * Returns the number of tasks currently on the queue.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   583
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   584
    int size() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   585
        return size;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   586
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   587
90ce3da70b43 Initial load
duke
parents:
diff changeset
   588
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   589
     * Adds a new task to the priority queue.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   590
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   591
    void add(TimerTask task) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   592
        // Grow backing store if necessary
90ce3da70b43 Initial load
duke
parents:
diff changeset
   593
        if (size + 1 == queue.length)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   594
            queue = Arrays.copyOf(queue, 2*queue.length);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   595
90ce3da70b43 Initial load
duke
parents:
diff changeset
   596
        queue[++size] = task;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   597
        fixUp(size);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   598
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   599
90ce3da70b43 Initial load
duke
parents:
diff changeset
   600
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   601
     * Return the "head task" of the priority queue.  (The head task is an
90ce3da70b43 Initial load
duke
parents:
diff changeset
   602
     * task with the lowest nextExecutionTime.)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   603
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   604
    TimerTask getMin() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   605
        return queue[1];
90ce3da70b43 Initial load
duke
parents:
diff changeset
   606
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   607
90ce3da70b43 Initial load
duke
parents:
diff changeset
   608
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   609
     * Return the ith task in the priority queue, where i ranges from 1 (the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   610
     * head task, which is returned by getMin) to the number of tasks on the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   611
     * queue, inclusive.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   612
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   613
    TimerTask get(int i) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   614
        return queue[i];
90ce3da70b43 Initial load
duke
parents:
diff changeset
   615
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   616
90ce3da70b43 Initial load
duke
parents:
diff changeset
   617
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   618
     * Remove the head task from the priority queue.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   619
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   620
    void removeMin() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   621
        queue[1] = queue[size];
90ce3da70b43 Initial load
duke
parents:
diff changeset
   622
        queue[size--] = null;  // Drop extra reference to prevent memory leak
90ce3da70b43 Initial load
duke
parents:
diff changeset
   623
        fixDown(1);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   624
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   625
90ce3da70b43 Initial load
duke
parents:
diff changeset
   626
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   627
     * Removes the ith element from queue without regard for maintaining
90ce3da70b43 Initial load
duke
parents:
diff changeset
   628
     * the heap invariant.  Recall that queue is one-based, so
90ce3da70b43 Initial load
duke
parents:
diff changeset
   629
     * 1 <= i <= size.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   630
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   631
    void quickRemove(int i) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   632
        assert i <= size;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   633
90ce3da70b43 Initial load
duke
parents:
diff changeset
   634
        queue[i] = queue[size];
90ce3da70b43 Initial load
duke
parents:
diff changeset
   635
        queue[size--] = null;  // Drop extra ref to prevent memory leak
90ce3da70b43 Initial load
duke
parents:
diff changeset
   636
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   637
90ce3da70b43 Initial load
duke
parents:
diff changeset
   638
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   639
     * Sets the nextExecutionTime associated with the head task to the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   640
     * specified value, and adjusts priority queue accordingly.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   641
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   642
    void rescheduleMin(long newTime) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   643
        queue[1].nextExecutionTime = newTime;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   644
        fixDown(1);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   645
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   646
90ce3da70b43 Initial load
duke
parents:
diff changeset
   647
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   648
     * Returns true if the priority queue contains no elements.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   649
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   650
    boolean isEmpty() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   651
        return size==0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   652
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   653
90ce3da70b43 Initial load
duke
parents:
diff changeset
   654
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   655
     * Removes all elements from the priority queue.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   656
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   657
    void clear() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   658
        // Null out task references to prevent memory leak
90ce3da70b43 Initial load
duke
parents:
diff changeset
   659
        for (int i=1; i<=size; i++)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   660
            queue[i] = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   661
90ce3da70b43 Initial load
duke
parents:
diff changeset
   662
        size = 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   663
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   664
90ce3da70b43 Initial load
duke
parents:
diff changeset
   665
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   666
     * Establishes the heap invariant (described above) assuming the heap
90ce3da70b43 Initial load
duke
parents:
diff changeset
   667
     * satisfies the invariant except possibly for the leaf-node indexed by k
90ce3da70b43 Initial load
duke
parents:
diff changeset
   668
     * (which may have a nextExecutionTime less than its parent's).
90ce3da70b43 Initial load
duke
parents:
diff changeset
   669
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   670
     * This method functions by "promoting" queue[k] up the hierarchy
90ce3da70b43 Initial load
duke
parents:
diff changeset
   671
     * (by swapping it with its parent) repeatedly until queue[k]'s
90ce3da70b43 Initial load
duke
parents:
diff changeset
   672
     * nextExecutionTime is greater than or equal to that of its parent.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   673
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   674
    private void fixUp(int k) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   675
        while (k > 1) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   676
            int j = k >> 1;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   677
            if (queue[j].nextExecutionTime <= queue[k].nextExecutionTime)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   678
                break;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   679
            TimerTask tmp = queue[j];  queue[j] = queue[k]; queue[k] = tmp;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   680
            k = j;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   681
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   682
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   683
90ce3da70b43 Initial load
duke
parents:
diff changeset
   684
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   685
     * Establishes the heap invariant (described above) in the subtree
90ce3da70b43 Initial load
duke
parents:
diff changeset
   686
     * rooted at k, which is assumed to satisfy the heap invariant except
90ce3da70b43 Initial load
duke
parents:
diff changeset
   687
     * possibly for node k itself (which may have a nextExecutionTime greater
90ce3da70b43 Initial load
duke
parents:
diff changeset
   688
     * than its children's).
90ce3da70b43 Initial load
duke
parents:
diff changeset
   689
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   690
     * This method functions by "demoting" queue[k] down the hierarchy
90ce3da70b43 Initial load
duke
parents:
diff changeset
   691
     * (by swapping it with its smaller child) repeatedly until queue[k]'s
90ce3da70b43 Initial load
duke
parents:
diff changeset
   692
     * nextExecutionTime is less than or equal to those of its children.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   693
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   694
    private void fixDown(int k) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   695
        int j;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   696
        while ((j = k << 1) <= size && j > 0) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   697
            if (j < size &&
90ce3da70b43 Initial load
duke
parents:
diff changeset
   698
                queue[j].nextExecutionTime > queue[j+1].nextExecutionTime)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   699
                j++; // j indexes smallest kid
90ce3da70b43 Initial load
duke
parents:
diff changeset
   700
            if (queue[k].nextExecutionTime <= queue[j].nextExecutionTime)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   701
                break;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   702
            TimerTask tmp = queue[j];  queue[j] = queue[k]; queue[k] = tmp;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   703
            k = j;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   704
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   705
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   706
90ce3da70b43 Initial load
duke
parents:
diff changeset
   707
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   708
     * Establishes the heap invariant (described above) in the entire tree,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   709
     * assuming nothing about the order of the elements prior to the call.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   710
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   711
    void heapify() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   712
        for (int i = size/2; i >= 1; i--)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   713
            fixDown(i);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   714
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   715
}