jdk/src/share/classes/java/lang/ref/Finalizer.java
author darcy
Thu, 25 Jul 2013 20:03:20 -0700
changeset 19053 69648476a89e
parent 16875 a29830a7e5b3
child 21628 50fd58446d64
permissions -rw-r--r--
8021429: Fix lint warnings in java.lang.ref Reviewed-by: lancea, mduigou, alanb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     1
/*
19053
69648476a89e 8021429: Fix lint warnings in java.lang.ref
darcy
parents: 16875
diff changeset
     2
 * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.
2
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
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 715
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 715
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
2
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
 *
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 715
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 715
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 715
diff changeset
    23
 * questions.
2
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.lang.ref;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    27
90ce3da70b43 Initial load
duke
parents:
diff changeset
    28
import java.security.PrivilegedAction;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    29
import java.security.AccessController;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    30
90ce3da70b43 Initial load
duke
parents:
diff changeset
    31
19053
69648476a89e 8021429: Fix lint warnings in java.lang.ref
darcy
parents: 16875
diff changeset
    32
final class Finalizer extends FinalReference<Object> { /* Package-private; must be in
69648476a89e 8021429: Fix lint warnings in java.lang.ref
darcy
parents: 16875
diff changeset
    33
                                                          same package as the Reference
69648476a89e 8021429: Fix lint warnings in java.lang.ref
darcy
parents: 16875
diff changeset
    34
                                                          class */
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    35
90ce3da70b43 Initial load
duke
parents:
diff changeset
    36
    /* A native method that invokes an arbitrary object's finalize method is
90ce3da70b43 Initial load
duke
parents:
diff changeset
    37
       required since the finalize method is protected
90ce3da70b43 Initial load
duke
parents:
diff changeset
    38
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    39
    static native void invokeFinalizeMethod(Object o) throws Throwable;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    40
19053
69648476a89e 8021429: Fix lint warnings in java.lang.ref
darcy
parents: 16875
diff changeset
    41
    private static ReferenceQueue<Object> queue = new ReferenceQueue<>();
16875
a29830a7e5b3 8003335: Better handling of Finalizer thread
chegar
parents: 5506
diff changeset
    42
    private static Finalizer unfinalized = null;
a29830a7e5b3 8003335: Better handling of Finalizer thread
chegar
parents: 5506
diff changeset
    43
    private static final Object lock = new Object();
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    44
90ce3da70b43 Initial load
duke
parents:
diff changeset
    45
    private Finalizer
90ce3da70b43 Initial load
duke
parents:
diff changeset
    46
        next = null,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    47
        prev = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    48
90ce3da70b43 Initial load
duke
parents:
diff changeset
    49
    private boolean hasBeenFinalized() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    50
        return (next == this);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    51
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    52
90ce3da70b43 Initial load
duke
parents:
diff changeset
    53
    private void add() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    54
        synchronized (lock) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    55
            if (unfinalized != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    56
                this.next = unfinalized;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    57
                unfinalized.prev = this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    58
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    59
            unfinalized = this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    60
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    61
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    62
90ce3da70b43 Initial load
duke
parents:
diff changeset
    63
    private void remove() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    64
        synchronized (lock) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    65
            if (unfinalized == this) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    66
                if (this.next != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    67
                    unfinalized = this.next;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    68
                } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    69
                    unfinalized = this.prev;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    70
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    71
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    72
            if (this.next != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    73
                this.next.prev = this.prev;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    74
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    75
            if (this.prev != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    76
                this.prev.next = this.next;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    77
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    78
            this.next = this;   /* Indicates that this has been finalized */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    79
            this.prev = this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    80
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    81
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    82
90ce3da70b43 Initial load
duke
parents:
diff changeset
    83
    private Finalizer(Object finalizee) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    84
        super(finalizee, queue);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    85
        add();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    86
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    87
90ce3da70b43 Initial load
duke
parents:
diff changeset
    88
    /* Invoked by VM */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    89
    static void register(Object finalizee) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    90
        new Finalizer(finalizee);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    91
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    92
90ce3da70b43 Initial load
duke
parents:
diff changeset
    93
    private void runFinalizer() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    94
        synchronized (this) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    95
            if (hasBeenFinalized()) return;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    96
            remove();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    97
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    98
        try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    99
            Object finalizee = this.get();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   100
            if (finalizee != null && !(finalizee instanceof java.lang.Enum)) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   101
                invokeFinalizeMethod(finalizee);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   102
                /* Clear stack slot containing this variable, to decrease
90ce3da70b43 Initial load
duke
parents:
diff changeset
   103
                   the chances of false retention with a conservative GC */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   104
                finalizee = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   105
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   106
        } catch (Throwable x) { }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   107
        super.clear();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   108
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   109
90ce3da70b43 Initial load
duke
parents:
diff changeset
   110
    /* Create a privileged secondary finalizer thread in the system thread
90ce3da70b43 Initial load
duke
parents:
diff changeset
   111
       group for the given Runnable, and wait for it to complete.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   112
90ce3da70b43 Initial load
duke
parents:
diff changeset
   113
       This method is used by both runFinalization and runFinalizersOnExit.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   114
       The former method invokes all pending finalizers, while the latter
90ce3da70b43 Initial load
duke
parents:
diff changeset
   115
       invokes all uninvoked finalizers if on-exit finalization has been
90ce3da70b43 Initial load
duke
parents:
diff changeset
   116
       enabled.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   117
90ce3da70b43 Initial load
duke
parents:
diff changeset
   118
       These two methods could have been implemented by offloading their work
90ce3da70b43 Initial load
duke
parents:
diff changeset
   119
       to the regular finalizer thread and waiting for that thread to finish.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   120
       The advantage of creating a fresh thread, however, is that it insulates
90ce3da70b43 Initial load
duke
parents:
diff changeset
   121
       invokers of these methods from a stalled or deadlocked finalizer thread.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   122
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   123
    private static void forkSecondaryFinalizer(final Runnable proc) {
51
6fe31bc95bbc 6600143: Remove another 450 unnecessary casts
martin
parents: 2
diff changeset
   124
        AccessController.doPrivileged(
6fe31bc95bbc 6600143: Remove another 450 unnecessary casts
martin
parents: 2
diff changeset
   125
            new PrivilegedAction<Void>() {
6fe31bc95bbc 6600143: Remove another 450 unnecessary casts
martin
parents: 2
diff changeset
   126
                public Void run() {
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   127
                ThreadGroup tg = Thread.currentThread().getThreadGroup();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   128
                for (ThreadGroup tgn = tg;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   129
                     tgn != null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   130
                     tg = tgn, tgn = tg.getParent());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   131
                Thread sft = new Thread(tg, proc, "Secondary finalizer");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   132
                sft.start();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   133
                try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   134
                    sft.join();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   135
                } catch (InterruptedException x) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   136
                    /* Ignore */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   137
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   138
                return null;
51
6fe31bc95bbc 6600143: Remove another 450 unnecessary casts
martin
parents: 2
diff changeset
   139
                }});
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   140
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   141
90ce3da70b43 Initial load
duke
parents:
diff changeset
   142
    /* Called by Runtime.runFinalization() */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   143
    static void runFinalization() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   144
        forkSecondaryFinalizer(new Runnable() {
16875
a29830a7e5b3 8003335: Better handling of Finalizer thread
chegar
parents: 5506
diff changeset
   145
            private volatile boolean running;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   146
            public void run() {
16875
a29830a7e5b3 8003335: Better handling of Finalizer thread
chegar
parents: 5506
diff changeset
   147
                if (running)
a29830a7e5b3 8003335: Better handling of Finalizer thread
chegar
parents: 5506
diff changeset
   148
                    return;
a29830a7e5b3 8003335: Better handling of Finalizer thread
chegar
parents: 5506
diff changeset
   149
                running = true;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   150
                for (;;) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   151
                    Finalizer f = (Finalizer)queue.poll();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   152
                    if (f == null) break;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   153
                    f.runFinalizer();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   154
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   155
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   156
        });
90ce3da70b43 Initial load
duke
parents:
diff changeset
   157
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   158
90ce3da70b43 Initial load
duke
parents:
diff changeset
   159
    /* Invoked by java.lang.Shutdown */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   160
    static void runAllFinalizers() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   161
        forkSecondaryFinalizer(new Runnable() {
16875
a29830a7e5b3 8003335: Better handling of Finalizer thread
chegar
parents: 5506
diff changeset
   162
            private volatile boolean running;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   163
            public void run() {
16875
a29830a7e5b3 8003335: Better handling of Finalizer thread
chegar
parents: 5506
diff changeset
   164
                if (running)
a29830a7e5b3 8003335: Better handling of Finalizer thread
chegar
parents: 5506
diff changeset
   165
                    return;
a29830a7e5b3 8003335: Better handling of Finalizer thread
chegar
parents: 5506
diff changeset
   166
                running = true;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   167
                for (;;) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   168
                    Finalizer f;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   169
                    synchronized (lock) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   170
                        f = unfinalized;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   171
                        if (f == null) break;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   172
                        unfinalized = f.next;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   173
                    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   174
                    f.runFinalizer();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   175
                }}});
90ce3da70b43 Initial load
duke
parents:
diff changeset
   176
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   177
90ce3da70b43 Initial load
duke
parents:
diff changeset
   178
    private static class FinalizerThread extends Thread {
16875
a29830a7e5b3 8003335: Better handling of Finalizer thread
chegar
parents: 5506
diff changeset
   179
        private volatile boolean running;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   180
        FinalizerThread(ThreadGroup g) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   181
            super(g, "Finalizer");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   182
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   183
        public void run() {
16875
a29830a7e5b3 8003335: Better handling of Finalizer thread
chegar
parents: 5506
diff changeset
   184
            if (running)
a29830a7e5b3 8003335: Better handling of Finalizer thread
chegar
parents: 5506
diff changeset
   185
                return;
a29830a7e5b3 8003335: Better handling of Finalizer thread
chegar
parents: 5506
diff changeset
   186
            running = true;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   187
            for (;;) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   188
                try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   189
                    Finalizer f = (Finalizer)queue.remove();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   190
                    f.runFinalizer();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   191
                } catch (InterruptedException x) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   192
                    continue;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   193
                }
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
90ce3da70b43 Initial load
duke
parents:
diff changeset
   198
    static {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   199
        ThreadGroup tg = Thread.currentThread().getThreadGroup();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   200
        for (ThreadGroup tgn = tg;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   201
             tgn != null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   202
             tg = tgn, tgn = tg.getParent());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   203
        Thread finalizer = new FinalizerThread(tg);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   204
        finalizer.setPriority(Thread.MAX_PRIORITY - 2);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   205
        finalizer.setDaemon(true);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   206
        finalizer.start();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   207
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   208
90ce3da70b43 Initial load
duke
parents:
diff changeset
   209
}