hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core/src/org/graalvm/compiler/core/CompilationWrapper.java
author iveresov
Fri, 11 Aug 2017 17:36:26 -0700
changeset 46807 8b2c620d7092
parent 46680 2894e4262fd6
child 46963 089674d9949b
permissions -rw-r--r--
8186158: Update Graal Reviewed-by: 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
 */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    23
package org.graalvm.compiler.core;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    24
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    25
import static org.graalvm.compiler.core.CompilationWrapper.ExceptionAction.ExitVM;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    26
import static org.graalvm.compiler.core.GraalCompilerOptions.CompilationBailoutAction;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    27
import static org.graalvm.compiler.core.GraalCompilerOptions.CompilationFailureAction;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    28
import static org.graalvm.compiler.core.GraalCompilerOptions.ExitVMOnException;
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    29
import static org.graalvm.compiler.core.GraalCompilerOptions.MaxCompilationProblemsPerAction;
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    30
import static org.graalvm.compiler.debug.DebugContext.VERBOSE_LEVEL;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    31
import static org.graalvm.compiler.debug.DebugOptions.Dump;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    32
import static org.graalvm.compiler.debug.DebugOptions.DumpPath;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    33
import static org.graalvm.compiler.debug.DebugOptions.MethodFilter;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    34
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    35
import java.io.ByteArrayOutputStream;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    36
import java.io.File;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    37
import java.io.FileOutputStream;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    38
import java.io.IOException;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    39
import java.io.PrintStream;
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    40
import java.util.Map;
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    41
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    42
import org.graalvm.compiler.debug.DebugContext;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    43
import org.graalvm.compiler.debug.DiagnosticsOutputDirectory;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    44
import org.graalvm.compiler.debug.PathUtilities;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    45
import org.graalvm.compiler.debug.TTY;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    46
import org.graalvm.compiler.options.EnumOptionKey;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    47
import org.graalvm.compiler.options.OptionValues;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    48
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    49
import jdk.vm.ci.code.BailoutException;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    50
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    51
/**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    52
 * Wrapper for a compilation that centralizes what action to take based on
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    53
 * {@link GraalCompilerOptions#CompilationBailoutAction} and
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    54
 * {@link GraalCompilerOptions#CompilationFailureAction} when an uncaught exception occurs during
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    55
 * compilation.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    56
 */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    57
public abstract class CompilationWrapper<T> {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    58
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    59
    /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    60
     * Actions to take upon an exception being raised during compilation performed via
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    61
     * {@link CompilationWrapper}. The actions are with respect to what the user sees on the
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    62
     * console. The compilation requester determines what ultimate action is taken in
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    63
     * {@link CompilationWrapper#handleException(Throwable)}.
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    64
     *
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
    65
     * The actions are in ascending order of verbosity.
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    66
     */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    67
    public enum ExceptionAction {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    68
        /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    69
         * Print nothing to the console.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    70
         */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    71
        Silent,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    72
        /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    73
         * Print a stack trace to the console.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    74
         */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    75
        Print,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    76
        /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    77
         * An exception causes the compilation to be retried with extra diagnostics enabled.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    78
         */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    79
        Diagnose,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    80
        /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    81
         * Same as {@link #Diagnose} except that the VM process is exited after retrying.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    82
         */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    83
        ExitVM;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    84
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    85
        static ValueHelp HELP = new ValueHelp();
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    86
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    87
        static class ValueHelp implements EnumOptionKey.ValueHelp<ExceptionAction> {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    88
            @Override
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    89
            public String getHelp(Object value) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    90
                ExceptionAction action = (ExceptionAction) value;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    91
                switch (action) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    92
                    case Silent:
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    93
                        return action + ": Print nothing to the console.";
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    94
                    case Print:
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    95
                        return action + ": Print a stack trace to the console.";
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    96
                    case Diagnose:
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    97
                        return action + ": Retry the compilation with extra diagnostics.";
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    98
                    case ExitVM:
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
    99
                        return action + ": Same as " + Diagnose + " except that the VM process exits after retrying.";
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   100
                }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   101
                return null;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   102
            }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   103
        }
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   104
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   105
        /**
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   106
         * 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
   107
         * least verbose action.
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   108
         */
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   109
        ExceptionAction quieter() {
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   110
            assert ExceptionAction.Silent.ordinal() == 0;
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   111
            int index = Math.max(ordinal() - 1, 0);
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   112
            return values()[index];
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   113
        }
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   114
    }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   115
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   116
    private final DiagnosticsOutputDirectory outputDirectory;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   117
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   118
    private final Map<ExceptionAction, Integer> problemsHandledPerAction;
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   119
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   120
    /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   121
     * @param outputDirectory object used to access a directory for dumping if the compilation is
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   122
     *            re-executed
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   123
     * @param problemsHandledPerAction map used to count the number of compilation failures or
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   124
     *            bailouts handled by each action. This is provided by the caller as it is expected
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   125
     *            to be shared between instances of {@link CompilationWrapper}.
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   126
     */
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   127
    public CompilationWrapper(DiagnosticsOutputDirectory outputDirectory, Map<ExceptionAction, Integer> problemsHandledPerAction) {
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   128
        this.outputDirectory = outputDirectory;
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   129
        this.problemsHandledPerAction = problemsHandledPerAction;
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   130
    }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   131
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   132
    /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   133
     * Handles an uncaught exception.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   134
     *
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   135
     * @param t an exception thrown during {@link #run(DebugContext)}
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   136
     * @return a value representing the result of a failed compilation (may be {@code null})
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   137
     */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   138
    protected abstract T handleException(Throwable t);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   139
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   140
    /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   141
     * Gets the action to take based on the value of {@code actionKey} in {@code options}.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   142
     *
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   143
     * Subclasses can override this to choose a different action based on factors such as whether
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   144
     * {@code actionKey} has been explicitly set in {@code options} for example.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   145
     */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   146
    protected ExceptionAction lookupAction(OptionValues options, EnumOptionKey<ExceptionAction> actionKey) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   147
        if (actionKey == CompilationFailureAction) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   148
            if (ExitVMOnException.getValue(options)) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   149
                assert CompilationFailureAction.getDefaultValue() != ExceptionAction.ExitVM;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   150
                assert ExitVMOnException.getDefaultValue() != true;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   151
                if (CompilationFailureAction.hasBeenSet(options) && CompilationFailureAction.getValue(options) != ExceptionAction.ExitVM) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   152
                    TTY.printf("WARNING: Ignoring %s=%s since %s=true has been explicitly specified.%n",
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   153
                                    CompilationFailureAction.getName(), CompilationFailureAction.getValue(options),
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   154
                                    ExitVMOnException.getName());
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   155
                }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   156
                return ExceptionAction.ExitVM;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   157
            }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   158
        }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   159
        return actionKey.getValue(options);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   160
    }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   161
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   162
    /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   163
     * Perform the compilation wrapped by this object.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   164
     *
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   165
     * @param debug the debug context to use for the compilation
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   166
     */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   167
    protected abstract T performCompilation(DebugContext debug);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   168
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   169
    /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   170
     * Gets a value that represents the input to the compilation.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   171
     */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   172
    @Override
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   173
    public abstract String toString();
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   174
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   175
    /**
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   176
     * Creates the {@link DebugContext} to use when retrying a compilation.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   177
     *
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   178
     * @param options the options for configuring the debug context
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   179
     */
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   180
    protected abstract DebugContext createRetryDebugContext(OptionValues options);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   181
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   182
    @SuppressWarnings("try")
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   183
    public final T run(DebugContext initialDebug) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   184
        try {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   185
            return performCompilation(initialDebug);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   186
        } catch (Throwable cause) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   187
            OptionValues initialOptions = initialDebug.getOptions();
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   188
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   189
            String causeType = "failure";
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   190
            EnumOptionKey<ExceptionAction> actionKey;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   191
            if (cause instanceof BailoutException) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   192
                actionKey = CompilationBailoutAction;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   193
                causeType = "bailout";
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   194
            } else {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   195
                actionKey = CompilationFailureAction;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   196
                causeType = "failure";
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   197
            }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   198
            ExceptionAction action = lookupAction(initialOptions, actionKey);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   199
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   200
            action = adjustAction(initialOptions, actionKey, action);
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   201
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   202
            if (action == ExceptionAction.Silent) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   203
                return handleException(cause);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   204
            }
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   205
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   206
            if (action == ExceptionAction.Print) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   207
                ByteArrayOutputStream baos = new ByteArrayOutputStream();
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   208
                try (PrintStream ps = new PrintStream(baos)) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   209
                    ps.printf("%s: Compilation of %s failed: ", Thread.currentThread(), this);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   210
                    cause.printStackTrace(ps);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   211
                    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
   212
                                    causeType,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   213
                                    actionKey.getName(), ExceptionAction.Silent,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   214
                                    actionKey.getName(), ExceptionAction.Silent);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   215
                    ps.printf("To capture more information for diagnosing or reporting a compilation %s, " +
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   216
                                    "set %s to %s or %s (e.g., -Dgraal.%s=%s).%n",
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   217
                                    causeType,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   218
                                    actionKey.getName(), ExceptionAction.Diagnose,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   219
                                    ExceptionAction.ExitVM,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   220
                                    actionKey.getName(), ExceptionAction.Diagnose);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   221
                }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   222
                synchronized (CompilationFailureAction) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   223
                    // Synchronize to prevent compilation exception
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   224
                    // messages from interleaving.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   225
                    TTY.println(baos.toString());
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   226
                }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   227
                return handleException(cause);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   228
            }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   229
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   230
            // action is Diagnose or ExitVM
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   231
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   232
            if (Dump.hasBeenSet(initialOptions)) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   233
                // If dumping is explicitly enabled, Graal is being debugged
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   234
                // so don't interfere with what the user is expecting to see.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   235
                return handleException(cause);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   236
            }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   237
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   238
            String dir = this.outputDirectory.getPath();
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   239
            if (dir == null) {
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   240
                return handleException(cause);
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   241
            }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   242
            String dumpName = PathUtilities.sanitizeFileName(toString());
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   243
            File dumpPath = new File(dir, dumpName);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   244
            dumpPath.mkdirs();
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   245
            if (!dumpPath.exists()) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   246
                TTY.println("Warning: could not create diagnostics directory " + dumpPath);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   247
                return handleException(cause);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   248
            }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   249
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   250
            String message;
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   251
            ByteArrayOutputStream baos = new ByteArrayOutputStream();
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   252
            try (PrintStream ps = new PrintStream(baos)) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   253
                ps.printf("%s: Compilation of %s failed: ", Thread.currentThread(), this);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   254
                cause.printStackTrace(ps);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   255
                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
   256
                                causeType,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   257
                                actionKey.getName(), ExceptionAction.Silent,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   258
                                actionKey.getName(), ExceptionAction.Silent);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   259
                ps.printf("To print a message for a compilation %s without retrying the compilation, " +
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   260
                                "set %s to %s (e.g., -Dgraal.%s=%s).%n",
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   261
                                causeType,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   262
                                actionKey.getName(), ExceptionAction.Print,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   263
                                actionKey.getName(), ExceptionAction.Print);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   264
                ps.println("Retrying compilation of " + this);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   265
                message = baos.toString();
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   266
            }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   267
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   268
            synchronized (CompilationFailureAction) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   269
                // Synchronize here to serialize retry compilations. This
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   270
                // mitigates retry compilation storms.
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   271
                TTY.println(message);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   272
                File retryLogFile = new File(dumpPath, "retry.log");
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   273
                try (PrintStream ps = new PrintStream(new FileOutputStream(retryLogFile))) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   274
                    ps.print(message);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   275
                } catch (IOException ioe) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   276
                    TTY.printf("Error writing to %s: %s%n", retryLogFile, ioe);
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
                OptionValues retryOptions = new OptionValues(initialOptions,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   280
                                Dump, ":" + VERBOSE_LEVEL,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   281
                                MethodFilter, null,
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   282
                                DumpPath, dumpPath.getPath());
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   283
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   284
                try (DebugContext retryDebug = createRetryDebugContext(retryOptions)) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   285
                    return performCompilation(retryDebug);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   286
                } catch (Throwable ignore) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   287
                    // Failures during retry are silent
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   288
                    return handleException(cause);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   289
                } finally {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   290
                    if (action == ExitVM) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   291
                        synchronized (ExceptionAction.class) {
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   292
                            TTY.println("Exiting VM after retry compilation of " + this);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   293
                            System.exit(-1);
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   294
                        }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   295
                    }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   296
                }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   297
            }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   298
        }
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   299
    }
46807
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   300
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   301
    /**
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   302
     * Adjusts {@code initialAction} if necessary based on
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   303
     * {@link GraalCompilerOptions#MaxCompilationProblemsPerAction}.
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   304
     */
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   305
    private ExceptionAction adjustAction(OptionValues initialOptions, EnumOptionKey<ExceptionAction> actionKey, ExceptionAction initialAction) {
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   306
        ExceptionAction action = initialAction;
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   307
        int maxProblems = MaxCompilationProblemsPerAction.getValue(initialOptions);
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   308
        synchronized (problemsHandledPerAction) {
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   309
            while (action != ExceptionAction.Silent) {
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   310
                int problems = problemsHandledPerAction.getOrDefault(action, 0);
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   311
                if (problems >= maxProblems) {
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   312
                    if (problems == maxProblems) {
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   313
                        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
   314
                                        MaxCompilationProblemsPerAction, maxProblems);
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   315
                        // Ensure that the message above is only printed once
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   316
                        problemsHandledPerAction.put(action, problems + 1);
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   317
                    }
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   318
                    action = action.quieter();
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   319
                } else {
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   320
                    break;
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   321
                }
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   322
            }
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   323
            problemsHandledPerAction.put(action, problemsHandledPerAction.getOrDefault(action, 0) + 1);
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   324
        }
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   325
        return action;
8b2c620d7092 8186158: Update Graal
iveresov
parents: 46680
diff changeset
   326
    }
46680
2894e4262fd6 8184768: Update Graal
iveresov
parents:
diff changeset
   327
}