src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.hotspot/src/org/graalvm/compiler/hotspot/HotSpotTTYStreamProvider.java
author chegar
Thu, 17 Oct 2019 20:54:25 +0100
branchdatagramsocketimpl-branch
changeset 58679 9c3209ff7550
parent 58678 9cf78a70fa4f
parent 58299 6df94ce3ab2f
permissions -rw-r--r--
datagramsocketimpl-branch: merge with default
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
     1
/*
54328
37648a9c4a6a 8221341: Update Graal
jwilhelm
parents: 54084
diff changeset
     2
 * Copyright (c) 2015, 2019, Oracle and/or its affiliates. All rights reserved.
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
     4
 *
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
     7
 * published by the Free Software Foundation.
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
     8
 *
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    13
 * accompanied this code).
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    14
 *
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    18
 *
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    21
 * questions.
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    22
 */
50858
2d3e99a72541 8205824: Update Graal
never
parents: 47216
diff changeset
    23
2d3e99a72541 8205824: Update Graal
never
parents: 47216
diff changeset
    24
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    25
package org.graalvm.compiler.hotspot;
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    26
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    27
import static org.graalvm.compiler.hotspot.HotSpotGraalOptionValues.GRAAL_OPTION_PROPERTY_PREFIX;
54084
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    28
import static org.graalvm.compiler.hotspot.HotSpotGraalOptionValues.defaultOptions;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents: 43972
diff changeset
    29
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    30
import java.io.FileNotFoundException;
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    31
import java.io.FileOutputStream;
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    32
import java.io.IOException;
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    33
import java.io.OutputStream;
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    34
import java.io.PrintStream;
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    35
import java.util.List;
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    36
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    37
import org.graalvm.compiler.core.common.SuppressFBWarnings;
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    38
import org.graalvm.compiler.debug.TTYStreamProvider;
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    39
import org.graalvm.compiler.options.Option;
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    40
import org.graalvm.compiler.options.OptionKey;
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    41
import org.graalvm.compiler.options.OptionType;
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    42
import org.graalvm.compiler.serviceprovider.GraalServices;
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    43
import org.graalvm.compiler.serviceprovider.ServiceProvider;
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    44
57537
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
    45
import jdk.vm.ci.common.NativeImageReinitialize;
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    46
import jdk.vm.ci.hotspot.HotSpotJVMCIRuntime;
54328
37648a9c4a6a 8221341: Update Graal
jwilhelm
parents: 54084
diff changeset
    47
import jdk.vm.ci.services.Services;
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    48
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    49
@ServiceProvider(TTYStreamProvider.class)
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    50
public class HotSpotTTYStreamProvider implements TTYStreamProvider {
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    51
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    52
    public static class Options {
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    53
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    54
        // @formatter:off
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    55
        @Option(help = "File to which logging is sent.  A %p in the name will be replaced with a string identifying " +
58299
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
    56
                       "the process, usually the process id and %t will be replaced by System.currentTimeMillis().  " +
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
    57
                       "Using %o as filename sends logging to System.out whereas %e sends logging to System.err.", type = OptionType.Expert)
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    58
        public static final LogStreamOptionKey LogFile = new LogStreamOptionKey();
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    59
        // @formatter:on
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    60
    }
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    61
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    62
    @Override
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    63
    public PrintStream getStream() {
55509
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
    64
        return Options.LogFile.getStream();
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
    65
    }
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    66
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    67
    /**
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    68
     * An option for a configurable file name that can also open a {@link PrintStream} on the file.
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    69
     * If no value is given for the option, the stream will output to HotSpot's
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    70
     * {@link HotSpotJVMCIRuntime#getLogStream() log} stream
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    71
     */
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    72
    private static class LogStreamOptionKey extends OptionKey<String> {
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    73
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    74
        LogStreamOptionKey() {
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    75
            super(null);
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    76
        }
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    77
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    78
        /**
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    79
         * @return {@code nameTemplate} with all instances of %p replaced by
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    80
         *         {@link GraalServices#getExecutionID()} and %t by
58299
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
    81
         *         {@link System#currentTimeMillis()}. Checks %o and %e are not combined with any
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
    82
         *         other characters.
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    83
         */
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    84
        private static String makeFilename(String nameTemplate) {
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    85
            String name = nameTemplate;
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    86
            if (name.contains("%p")) {
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    87
                name = name.replaceAll("%p", GraalServices.getExecutionID());
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    88
            }
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    89
            if (name.contains("%t")) {
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    90
                name = name.replaceAll("%t", String.valueOf(System.currentTimeMillis()));
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    91
            }
58299
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
    92
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
    93
            for (String subst : new String[]{"%o", "%e"}) {
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
    94
                if (name.contains(subst) && !name.equals(subst)) {
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
    95
                    throw new IllegalArgumentException("LogFile substitution " + subst + " cannot be combined with any other characters");
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
    96
                }
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
    97
            }
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
    98
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
    99
            return name;
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   100
        }
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   101
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   102
        /**
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   103
         * An output stream that redirects to {@link HotSpotJVMCIRuntime#getLogStream()}. The
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   104
         * {@link HotSpotJVMCIRuntime#getLogStream()} value is only accessed the first time an IO
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   105
         * operation is performed on the stream. This is required to break a deadlock in early JVMCI
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   106
         * initialization.
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   107
         */
55509
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   108
        class DelayedOutputStream extends OutputStream {
57537
ecc6e394475f 8226771: Update Graal
dlong
parents: 55509
diff changeset
   109
            @NativeImageReinitialize private volatile OutputStream lazy;
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   110
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   111
            private OutputStream lazy() {
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   112
                if (lazy == null) {
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   113
                    synchronized (this) {
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   114
                        if (lazy == null) {
55509
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   115
                            String nameTemplate = LogStreamOptionKey.this.getValue(defaultOptions());
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   116
                            if (nameTemplate != null) {
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   117
                                String name = makeFilename(nameTemplate);
58299
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   118
                                switch (name) {
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   119
                                    case "%o":
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   120
                                        lazy = System.out;
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   121
                                        break;
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   122
                                    case "%e":
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   123
                                        lazy = System.err;
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   124
                                        break;
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   125
                                    default:
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   126
                                        try {
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   127
                                            final boolean enableAutoflush = true;
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   128
                                            FileOutputStream result = new FileOutputStream(name);
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   129
                                            if (!Services.IS_IN_NATIVE_IMAGE) {
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   130
                                                printVMConfig(enableAutoflush, result);
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   131
                                            } else {
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   132
                                                // There are no VM arguments for the libgraal
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   133
                                                // library.
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   134
                                            }
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   135
                                            lazy = result;
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   136
                                        } catch (FileNotFoundException e) {
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   137
                                            throw new RuntimeException("couldn't open file: " + name, e);
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   138
                                        }
55509
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   139
                                }
58299
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 57537
diff changeset
   140
                                return lazy;
55509
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   141
                            }
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   142
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   143
                            lazy = HotSpotJVMCIRuntime.runtime().getLogStream();
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   144
                            PrintStream ps = new PrintStream(lazy);
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   145
                            ps.printf("[Use -D%sLogFile=<path> to redirect Graal log output to a file.]%n", GRAAL_OPTION_PROPERTY_PREFIX);
55509
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   146
                            ps.flush();
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   147
                        }
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   148
                    }
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   149
                }
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   150
                return lazy;
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   151
            }
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   152
55509
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   153
            @SuppressFBWarnings(value = "DLS_DEAD_LOCAL_STORE", justification = "false positive on dead store to `ps`")
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   154
            private void printVMConfig(final boolean enableAutoflush, FileOutputStream result) {
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   155
                /*
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   156
                 * Add the JVM and Java arguments to the log file to help identity it.
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   157
                 */
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   158
                PrintStream ps = new PrintStream(result, enableAutoflush);
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   159
                List<String> inputArguments = GraalServices.getInputArguments();
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   160
                if (inputArguments != null) {
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   161
                    ps.println("VM Arguments: " + String.join(" ", inputArguments));
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   162
                }
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   163
                String cmd = Services.getSavedProperties().get("sun.java.command");
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   164
                if (cmd != null) {
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   165
                    ps.println("sun.java.command=" + cmd);
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   166
                }
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   167
            }
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   168
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   169
            @Override
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   170
            public void write(byte[] b, int off, int len) throws IOException {
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   171
                lazy().write(b, off, len);
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   172
            }
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   173
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   174
            @Override
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   175
            public void write(int b) throws IOException {
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   176
                lazy().write(b);
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   177
            }
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   178
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   179
            @Override
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   180
            public void flush() throws IOException {
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   181
                lazy().flush();
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   182
            }
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   183
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   184
            @Override
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   185
            public void close() throws IOException {
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   186
                lazy().close();
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   187
            }
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   188
        }
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   189
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   190
        /**
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   191
         * Gets the print stream configured by this option. If no file is configured, the print
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   192
         * stream will output to HotSpot's {@link HotSpotJVMCIRuntime#getLogStream() log} stream.
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   193
         */
55509
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   194
        public PrintStream getStream() {
d58442b8abc1 8225497: Update Graal
jwilhelm
parents: 54328
diff changeset
   195
            return new PrintStream(new DelayedOutputStream());
52910
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   196
        }
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   197
    }
583fd71c47d6 8214023: Update Graal
dlong
parents: 50858
diff changeset
   198
43972
1ade39b8381b 8174879: Rename jdk.vm.ci to jdk.internal.vm.ci
kvn
parents:
diff changeset
   199
}