src/java.base/share/classes/java/io/FileCleanable.java
author rriggs
Fri, 23 Feb 2018 14:26:29 -0500
changeset 48941 4f11514fe783
child 52427 3c6aa484536c
permissions -rw-r--r--
8189330: Cleanup FileDescriptor implementation Reviewed-by: bpb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
48941
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
     1
/*
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
     2
 * Copyright (c) 2018, Oracle and/or its affiliates. All rights reserved.
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
     4
 *
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    10
 *
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    15
 * accompanied this code).
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    16
 *
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    20
 *
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    23
 * questions.
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    24
 */
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    25
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    26
package java.io;
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    27
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    28
import jdk.internal.misc.JavaIOFileDescriptorAccess;
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    29
import jdk.internal.misc.SharedSecrets;
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    30
import jdk.internal.ref.CleanerFactory;
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    31
import jdk.internal.ref.PhantomCleanable;
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    32
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    33
import java.lang.ref.Cleaner;
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    34
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    35
/**
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    36
 * Cleanable for a FileDescriptor when it becomes phantom reachable.
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    37
 * For regular fds on Unix and regular handles on Windows
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    38
 * register a cleanup if fd != -1 or handle != -1.
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    39
 * <p>
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    40
 * Subclassed from {@code PhantomCleanable} so that {@code clear} can be
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    41
 * called to disable the cleanup when the handle is closed by any means other
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    42
 * than calling {@link FileDescriptor#close}.
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    43
 * Otherwise, it might incorrectly close the handle after it has been reused.
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    44
 */
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    45
final class FileCleanable extends PhantomCleanable<FileDescriptor> {
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    46
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    47
    // Access to FileDescriptor private fields;
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    48
    // avoids making fd and handle package private
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    49
    private static final JavaIOFileDescriptorAccess fdAccess =
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    50
            SharedSecrets.getJavaIOFileDescriptorAccess();
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    51
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    52
    /*
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    53
     * Raw close of the file fd and/or handle.
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    54
     * Used only for last chance cleanup.
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    55
     */
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    56
    private static native void cleanupClose0(int fd, long handle) throws IOException;
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    57
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    58
    // The raw fd to close
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    59
    private final int fd;
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    60
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    61
    // The handle to close
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    62
    private final long handle;
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    63
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    64
    /**
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    65
     * Register a Cleanable with the FileDescriptor
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    66
     * if the FileDescriptor is non-null and valid.
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    67
     * @implNote
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    68
     * A exception (OutOfMemoryException) will leave the FileDescriptor
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    69
     * having allocated resources and leak the fd/handle.
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    70
     *
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    71
     * @param fdo the FileDescriptor; may be null
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    72
     */
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    73
    static void register(FileDescriptor fdo) {
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    74
        if (fdo != null && fdo.valid()) {
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    75
            int fd = fdAccess.get(fdo);
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    76
            long handle = fdAccess.getHandle(fdo);
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    77
            fdo.registerCleanup(new FileCleanable(fdo, CleanerFactory.cleaner(), fd, handle));
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    78
        }
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    79
    }
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    80
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    81
    /**
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    82
     * Unregister a Cleanable from the FileDescriptor.
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    83
     * @param fdo the FileDescriptor; may be null
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    84
     */
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    85
    static void unregister(FileDescriptor fdo) {
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    86
        if (fdo != null) {
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    87
            fdo.unregisterCleanup();
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    88
        }
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    89
    }
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    90
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    91
    /**
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    92
     * Constructor for a phantom cleanable reference.
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    93
     *
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    94
     * @param obj     the object to monitor
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    95
     * @param cleaner the cleaner
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    96
     * @param fd      file descriptor to close
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    97
     * @param handle  handle to close
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    98
     */
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
    99
    private FileCleanable(FileDescriptor obj, Cleaner cleaner, int fd, long handle) {
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   100
        super(obj, cleaner);
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   101
        this.fd = fd;
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   102
        this.handle = handle;
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   103
    }
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   104
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   105
    /**
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   106
     * Close the native handle or fd.
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   107
     */
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   108
    @Override
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   109
    protected void performCleanup() {
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   110
        try {
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   111
            cleanupClose0(fd, handle);
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   112
        } catch (IOException ioe) {
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   113
            throw new UncheckedIOException("close", ioe);
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   114
        }
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   115
    }
4f11514fe783 8189330: Cleanup FileDescriptor implementation
rriggs
parents:
diff changeset
   116
}