src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core/src/org/graalvm/compiler/core/CompilationWrapper.java
author never
Wed, 27 Jun 2018 17:02:41 -0700
changeset 50858 2d3e99a72541
parent 49873 26ebfe8ce852
child 51436 091c0d22e735
permissions -rw-r--r--
8205824: Update Graal Reviewed-by: iveresov, kvn
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
     1
/*
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
     2
 * Copyright (c) 2017, Oracle and/or its affiliates. All rights reserved.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
     4
 *
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
     7
 * published by the Free Software Foundation.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
     8
 *
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    13
 * accompanied this code).
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    14
 *
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    18
 *
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    21
 * questions.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    22
 */
50858
2d3e99a72541 8205824: Update Graal
never
parents: 49873
diff changeset
    23
2d3e99a72541 8205824: Update Graal
never
parents: 49873
diff changeset
    24
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    25
package org.graalvm.compiler.core;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    26
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    27
import static org.graalvm.compiler.core.CompilationWrapper.ExceptionAction.ExitVM;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    28
import static org.graalvm.compiler.core.GraalCompilerOptions.CompilationBailoutAction;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    29
import static org.graalvm.compiler.core.GraalCompilerOptions.CompilationFailureAction;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    30
import static org.graalvm.compiler.core.GraalCompilerOptions.ExitVMOnException;
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    31
import static org.graalvm.compiler.core.GraalCompilerOptions.MaxCompilationProblemsPerAction;
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    32
import static org.graalvm.compiler.debug.DebugContext.VERBOSE_LEVEL;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    33
import static org.graalvm.compiler.debug.DebugOptions.Dump;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    34
import static org.graalvm.compiler.debug.DebugOptions.DumpPath;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    35
import static org.graalvm.compiler.debug.DebugOptions.MethodFilter;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    36
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    37
import java.io.ByteArrayOutputStream;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    38
import java.io.File;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    39
import java.io.FileOutputStream;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    40
import java.io.IOException;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    41
import java.io.PrintStream;
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    42
import java.util.Map;
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    43
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    44
import org.graalvm.compiler.debug.DebugContext;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    45
import org.graalvm.compiler.debug.DiagnosticsOutputDirectory;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    46
import org.graalvm.compiler.debug.PathUtilities;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    47
import org.graalvm.compiler.debug.TTY;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    48
import org.graalvm.compiler.options.EnumOptionKey;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    49
import org.graalvm.compiler.options.OptionValues;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    50
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    51
import jdk.vm.ci.code.BailoutException;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    52
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    53
/**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    54
 * Wrapper for a compilation that centralizes what action to take based on
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    55
 * {@link GraalCompilerOptions#CompilationBailoutAction} and
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    56
 * {@link GraalCompilerOptions#CompilationFailureAction} when an uncaught exception occurs during
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    57
 * compilation.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    58
 */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    59
public abstract class CompilationWrapper<T> {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    60
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    61
    /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    62
     * Actions to take upon an exception being raised during compilation performed via
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    63
     * {@link CompilationWrapper}. The actions are with respect to what the user sees on the
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    64
     * console. The compilation requester determines what ultimate action is taken in
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    65
     * {@link CompilationWrapper#handleException(Throwable)}.
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    66
     *
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    67
     * The actions are in ascending order of verbosity.
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    68
     */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    69
    public enum ExceptionAction {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    70
        /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    71
         * Print nothing to the console.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    72
         */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    73
        Silent,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    74
        /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    75
         * Print a stack trace to the console.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    76
         */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    77
        Print,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    78
        /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    79
         * An exception causes the compilation to be retried with extra diagnostics enabled.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    80
         */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    81
        Diagnose,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    82
        /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    83
         * Same as {@link #Diagnose} except that the VM process is exited after retrying.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    84
         */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    85
        ExitVM;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    86
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    87
        /**
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    88
         * Gets the action that is one level less verbose than this action, bottoming out at the
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    89
         * least verbose action.
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    90
         */
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    91
        ExceptionAction quieter() {
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    92
            assert ExceptionAction.Silent.ordinal() == 0;
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    93
            int index = Math.max(ordinal() - 1, 0);
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    94
            return values()[index];
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    95
        }
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    96
    }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    97
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    98
    private final DiagnosticsOutputDirectory outputDirectory;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    99
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   100
    private final Map<ExceptionAction, Integer> problemsHandledPerAction;
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   101
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   102
    /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   103
     * @param outputDirectory object used to access a directory for dumping if the compilation is
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   104
     *            re-executed
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   105
     * @param problemsHandledPerAction map used to count the number of compilation failures or
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   106
     *            bailouts handled by each action. This is provided by the caller as it is expected
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   107
     *            to be shared between instances of {@link CompilationWrapper}.
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   108
     */
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   109
    public CompilationWrapper(DiagnosticsOutputDirectory outputDirectory, Map<ExceptionAction, Integer> problemsHandledPerAction) {
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   110
        this.outputDirectory = outputDirectory;
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   111
        this.problemsHandledPerAction = problemsHandledPerAction;
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   112
    }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   113
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   114
    /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   115
     * Handles an uncaught exception.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   116
     *
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   117
     * @param t an exception thrown during {@link #run(DebugContext)}
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   118
     * @return a value representing the result of a failed compilation (may be {@code null})
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   119
     */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   120
    protected abstract T handleException(Throwable t);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   121
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   122
    /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   123
     * Gets the action to take based on the value of {@code actionKey} in {@code options}.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   124
     *
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   125
     * Subclasses can override this to choose a different action based on factors such as whether
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   126
     * {@code actionKey} has been explicitly set in {@code options} for example.
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   127
     *
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   128
     * @param cause the cause of the bailout or failure
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   129
     */
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   130
    protected ExceptionAction lookupAction(OptionValues options, EnumOptionKey<ExceptionAction> actionKey, Throwable cause) {
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   131
        if (actionKey == CompilationFailureAction) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   132
            if (ExitVMOnException.getValue(options)) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   133
                assert CompilationFailureAction.getDefaultValue() != ExceptionAction.ExitVM;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   134
                assert ExitVMOnException.getDefaultValue() != true;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   135
                if (CompilationFailureAction.hasBeenSet(options) && CompilationFailureAction.getValue(options) != ExceptionAction.ExitVM) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   136
                    TTY.printf("WARNING: Ignoring %s=%s since %s=true has been explicitly specified.%n",
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   137
                                    CompilationFailureAction.getName(), CompilationFailureAction.getValue(options),
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   138
                                    ExitVMOnException.getName());
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   139
                }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   140
                return ExceptionAction.ExitVM;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   141
            }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   142
        }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   143
        return actionKey.getValue(options);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   144
    }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   145
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   146
    /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   147
     * Perform the compilation wrapped by this object.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   148
     *
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   149
     * @param debug the debug context to use for the compilation
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   150
     */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   151
    protected abstract T performCompilation(DebugContext debug);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   152
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   153
    /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   154
     * Gets a value that represents the input to the compilation.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   155
     */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   156
    @Override
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   157
    public abstract String toString();
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   158
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   159
    /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   160
     * Creates the {@link DebugContext} to use when retrying a compilation.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   161
     *
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   162
     * @param options the options for configuring the debug context
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   163
     */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   164
    protected abstract DebugContext createRetryDebugContext(OptionValues options);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   165
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   166
    @SuppressWarnings("try")
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   167
    public final T run(DebugContext initialDebug) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   168
        try {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   169
            return performCompilation(initialDebug);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   170
        } catch (Throwable cause) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   171
            OptionValues initialOptions = initialDebug.getOptions();
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   172
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   173
            String causeType = "failure";
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   174
            EnumOptionKey<ExceptionAction> actionKey;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   175
            if (cause instanceof BailoutException) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   176
                actionKey = CompilationBailoutAction;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   177
                causeType = "bailout";
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   178
            } else {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   179
                actionKey = CompilationFailureAction;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   180
                causeType = "failure";
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   181
            }
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   182
            ExceptionAction action = lookupAction(initialOptions, actionKey, cause);
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   183
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   184
            action = adjustAction(initialOptions, actionKey, action);
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   185
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   186
            if (action == ExceptionAction.Silent) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   187
                return handleException(cause);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   188
            }
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   189
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   190
            if (action == ExceptionAction.Print) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   191
                ByteArrayOutputStream baos = new ByteArrayOutputStream();
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   192
                try (PrintStream ps = new PrintStream(baos)) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   193
                    ps.printf("%s: Compilation of %s failed: ", Thread.currentThread(), this);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   194
                    cause.printStackTrace(ps);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   195
                    ps.printf("To disable compilation %s notifications, set %s to %s (e.g., -Dgraal.%s=%s).%n",
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   196
                                    causeType,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   197
                                    actionKey.getName(), ExceptionAction.Silent,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   198
                                    actionKey.getName(), ExceptionAction.Silent);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   199
                    ps.printf("To capture more information for diagnosing or reporting a compilation %s, " +
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   200
                                    "set %s to %s or %s (e.g., -Dgraal.%s=%s).%n",
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   201
                                    causeType,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   202
                                    actionKey.getName(), ExceptionAction.Diagnose,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   203
                                    ExceptionAction.ExitVM,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   204
                                    actionKey.getName(), ExceptionAction.Diagnose);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   205
                }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   206
                synchronized (CompilationFailureAction) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   207
                    // Synchronize to prevent compilation exception
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   208
                    // messages from interleaving.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   209
                    TTY.println(baos.toString());
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   210
                }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   211
                return handleException(cause);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   212
            }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   213
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   214
            // action is Diagnose or ExitVM
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   215
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   216
            if (Dump.hasBeenSet(initialOptions)) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   217
                // If dumping is explicitly enabled, Graal is being debugged
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   218
                // so don't interfere with what the user is expecting to see.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   219
                return handleException(cause);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   220
            }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   221
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   222
            String dir = this.outputDirectory.getPath();
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   223
            if (dir == null) {
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   224
                return handleException(cause);
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   225
            }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   226
            String dumpName = PathUtilities.sanitizeFileName(toString());
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   227
            File dumpPath = new File(dir, dumpName);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   228
            dumpPath.mkdirs();
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   229
            if (!dumpPath.exists()) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   230
                TTY.println("Warning: could not create diagnostics directory " + dumpPath);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   231
                return handleException(cause);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   232
            }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   233
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   234
            String message;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   235
            ByteArrayOutputStream baos = new ByteArrayOutputStream();
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   236
            try (PrintStream ps = new PrintStream(baos)) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   237
                ps.printf("%s: Compilation of %s failed: ", Thread.currentThread(), this);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   238
                cause.printStackTrace(ps);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   239
                ps.printf("To disable compilation %s notifications, set %s to %s (e.g., -Dgraal.%s=%s).%n",
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   240
                                causeType,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   241
                                actionKey.getName(), ExceptionAction.Silent,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   242
                                actionKey.getName(), ExceptionAction.Silent);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   243
                ps.printf("To print a message for a compilation %s without retrying the compilation, " +
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   244
                                "set %s to %s (e.g., -Dgraal.%s=%s).%n",
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   245
                                causeType,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   246
                                actionKey.getName(), ExceptionAction.Print,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   247
                                actionKey.getName(), ExceptionAction.Print);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   248
                ps.println("Retrying compilation of " + this);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   249
                message = baos.toString();
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   250
            }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   251
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   252
            synchronized (CompilationFailureAction) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   253
                // Synchronize here to serialize retry compilations. This
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   254
                // mitigates retry compilation storms.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   255
                TTY.println(message);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   256
                File retryLogFile = new File(dumpPath, "retry.log");
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   257
                try (PrintStream ps = new PrintStream(new FileOutputStream(retryLogFile))) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   258
                    ps.print(message);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   259
                } catch (IOException ioe) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   260
                    TTY.printf("Error writing to %s: %s%n", retryLogFile, ioe);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   261
                }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   262
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   263
                OptionValues retryOptions = new OptionValues(initialOptions,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   264
                                Dump, ":" + VERBOSE_LEVEL,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   265
                                MethodFilter, null,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   266
                                DumpPath, dumpPath.getPath());
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   267
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   268
                try (DebugContext retryDebug = createRetryDebugContext(retryOptions)) {
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   269
                    T res = performCompilation(retryDebug);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   270
                    maybeExitVM(action);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   271
                    return res;
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   272
                } catch (Throwable ignore) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   273
                    // Failures during retry are silent
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   274
                    T res = handleException(cause);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   275
                    maybeExitVM(action);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   276
                    return res;
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   277
                }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   278
            }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   279
        }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   280
    }
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   281
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   282
    private void maybeExitVM(ExceptionAction action) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   283
        if (action == ExitVM) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   284
            synchronized (ExceptionAction.class) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   285
                try {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   286
                    // Give other compiler threads a chance to flush
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   287
                    // error handling output.
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   288
                    ExceptionAction.class.wait(2000);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   289
                } catch (InterruptedException e) {
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   290
                }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   291
                TTY.println("Exiting VM after retry compilation of " + this);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   292
                System.exit(-1);
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   293
            }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   294
        }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   295
    }
26ebfe8ce852 8199755: Update Graal
dlong
parents: 47216
diff changeset
   296
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   297
    /**
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   298
     * Adjusts {@code initialAction} if necessary based on
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   299
     * {@link GraalCompilerOptions#MaxCompilationProblemsPerAction}.
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   300
     */
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   301
    private ExceptionAction adjustAction(OptionValues initialOptions, EnumOptionKey<ExceptionAction> actionKey, ExceptionAction initialAction) {
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   302
        ExceptionAction action = initialAction;
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   303
        int maxProblems = MaxCompilationProblemsPerAction.getValue(initialOptions);
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   304
        synchronized (problemsHandledPerAction) {
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   305
            while (action != ExceptionAction.Silent) {
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   306
                int problems = problemsHandledPerAction.getOrDefault(action, 0);
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   307
                if (problems >= maxProblems) {
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   308
                    if (problems == maxProblems) {
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   309
                        TTY.printf("Warning: adjusting %s from %s to %s after %s (%d) failed compilations%n", actionKey, action, action.quieter(),
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   310
                                        MaxCompilationProblemsPerAction, maxProblems);
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   311
                        // Ensure that the message above is only printed once
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   312
                        problemsHandledPerAction.put(action, problems + 1);
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   313
                    }
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   314
                    action = action.quieter();
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   315
                } else {
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   316
                    break;
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   317
                }
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   318
            }
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   319
            problemsHandledPerAction.put(action, problemsHandledPerAction.getOrDefault(action, 0) + 1);
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   320
        }
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   321
        return action;
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   322
    }
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   323
}