src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.hotspot/src/org/graalvm/compiler/hotspot/HotSpotGraalOptionValues.java
author dlong
Tue, 24 Sep 2019 12:47:15 -0400
changeset 58299 6df94ce3ab2f
parent 54204 55c262f4f5a1
permissions -rw-r--r--
8229201: Update Graal Reviewed-by: kvn
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     1
/*
58299
6df94ce3ab2f 8229201: Update Graal
dlong
parents: 54204
diff changeset
     2
 * Copyright (c) 2017, 2019, Oracle and/or its affiliates. All rights reserved.
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     4
 *
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     7
 * published by the Free Software Foundation.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     8
 *
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    13
 * accompanied this code).
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    14
 *
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    18
 *
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    21
 * questions.
694c102fd8ed 8177046: 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
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    25
package org.graalvm.compiler.hotspot;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    26
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    27
import static jdk.vm.ci.common.InitTimer.timer;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    28
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    29
import java.io.File;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    30
import java.io.FileReader;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    31
import java.io.IOException;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    32
import java.util.Map;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    33
import java.util.Properties;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    34
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 48861
diff changeset
    35
import jdk.internal.vm.compiler.collections.EconomicMap;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    36
import org.graalvm.compiler.options.Option;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    37
import org.graalvm.compiler.options.OptionDescriptors;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    38
import org.graalvm.compiler.options.OptionKey;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    39
import org.graalvm.compiler.options.OptionValues;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    40
import org.graalvm.compiler.options.OptionsParser;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    41
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    42
import jdk.vm.ci.common.InitTimer;
54084
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    43
import jdk.vm.ci.common.NativeImageReinitialize;
54204
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
    44
import jdk.vm.ci.services.Services;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    45
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    46
/**
54084
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    47
 * The {@link #defaultOptions()} method returns the options values initialized in a HotSpot VM. The
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    48
 * values are set via system properties with the {@value #GRAAL_OPTION_PROPERTY_PREFIX} prefix.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    49
 */
49873
26ebfe8ce852 8199755: Update Graal
dlong
parents: 48861
diff changeset
    50
public class HotSpotGraalOptionValues {
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    51
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    52
    /**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    53
     * The name of the system property specifying a file containing extra Graal option settings.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    54
     */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    55
    private static final String GRAAL_OPTIONS_FILE_PROPERTY_NAME = "graal.options.file";
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    56
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    57
    /**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    58
     * The name of the system property specifying the Graal version.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    59
     */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    60
    private static final String GRAAL_VERSION_PROPERTY_NAME = "graal.version";
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    61
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    62
    /**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    63
     * The prefix for system properties that correspond to {@link Option} annotated fields. A field
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    64
     * named {@code MyOption} will have its value set from a system property with the name
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    65
     * {@code GRAAL_OPTION_PROPERTY_PREFIX + "MyOption"}.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    66
     */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    67
    public static final String GRAAL_OPTION_PROPERTY_PREFIX = "graal.";
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    68
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    69
    /**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    70
     * Gets the system property assignment that would set the current value for a given option.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    71
     */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    72
    public static String asSystemPropertySetting(OptionValues options, OptionKey<?> value) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    73
        return GRAAL_OPTION_PROPERTY_PREFIX + value.getName() + "=" + value.getValue(options);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    74
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    75
54084
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    76
    @NativeImageReinitialize private static volatile OptionValues hotspotOptions;
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    77
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    78
    public static OptionValues defaultOptions() {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    79
        OptionValues res = hotspotOptions;
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    80
        if (res == null) {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    81
            synchronized (HotSpotGraalOptionValues.class) {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    82
                res = hotspotOptions;
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    83
                if (res == null) {
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    84
                    res = initializeOptions();
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    85
                    hotspotOptions = res;
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    86
                }
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    87
            }
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    88
        }
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    89
        return res;
84f10bbf993f 8218074: Update Graal
jwilhelm
parents: 52910
diff changeset
    90
    }
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    91
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    92
    /**
54204
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
    93
     * Gets and parses options based on {@linkplain Services#getSavedProperties() saved system
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
    94
     * properties}. The values for these options are initialized by parsing the file denoted by the
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
    95
     * {@value #GRAAL_OPTIONS_FILE_PROPERTY_NAME} property followed by parsing the options encoded
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
    96
     * in properties whose names start with {@value #GRAAL_OPTION_PROPERTY_PREFIX}. Key/value pairs
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
    97
     * are parsed from the aforementioned file with {@link Properties#load(java.io.Reader)}.
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    98
     */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    99
    @SuppressWarnings("try")
54204
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
   100
    public static EconomicMap<OptionKey<?>, Object> parseOptions() {
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   101
        EconomicMap<OptionKey<?>, Object> values = OptionValues.newOptionMap();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   102
        try (InitTimer t = timer("InitializeOptions")) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   103
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   104
            Iterable<OptionDescriptors> loader = OptionsParser.getOptionsLoader();
46459
7d4e637d3f21 8180267: Update Graal
kvn
parents: 46393
diff changeset
   105
            Map<String, String> savedProps = jdk.vm.ci.services.Services.getSavedProperties();
7d4e637d3f21 8180267: Update Graal
kvn
parents: 46393
diff changeset
   106
            String optionsFile = savedProps.get(GRAAL_OPTIONS_FILE_PROPERTY_NAME);
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   107
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   108
            if (optionsFile != null) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   109
                File graalOptions = new File(optionsFile);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   110
                if (graalOptions.exists()) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   111
                    try (FileReader fr = new FileReader(graalOptions)) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   112
                        Properties props = new Properties();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   113
                        props.load(fr);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   114
                        EconomicMap<String, String> optionSettings = EconomicMap.create();
46393
d497d892ab11 8178864: Update Graal
iveresov
parents: 46344
diff changeset
   115
                        for (Map.Entry<Object, Object> e : props.entrySet()) {
d497d892ab11 8178864: Update Graal
iveresov
parents: 46344
diff changeset
   116
                            optionSettings.put((String) e.getKey(), (String) e.getValue());
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   117
                        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   118
                        try {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   119
                            OptionsParser.parseOptions(optionSettings, values, loader);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   120
                        } catch (Throwable e) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   121
                            throw new InternalError("Error parsing an option from " + graalOptions, e);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   122
                        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   123
                    } catch (IOException e) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   124
                        throw new InternalError("Error reading " + graalOptions, e);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   125
                    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   126
                }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   127
            }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   128
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   129
            EconomicMap<String, String> optionSettings = EconomicMap.create();
46459
7d4e637d3f21 8180267: Update Graal
kvn
parents: 46393
diff changeset
   130
            for (Map.Entry<String, String> e : savedProps.entrySet()) {
7d4e637d3f21 8180267: Update Graal
kvn
parents: 46393
diff changeset
   131
                String name = e.getKey();
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   132
                if (name.startsWith(GRAAL_OPTION_PROPERTY_PREFIX)) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   133
                    if (name.equals("graal.PrintFlags") || name.equals("graal.ShowFlags")) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   134
                        System.err.println("The " + name + " option has been removed and will be ignored. Use -XX:+JVMCIPrintProperties instead.");
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   135
                    } else if (name.equals(GRAAL_OPTIONS_FILE_PROPERTY_NAME) || name.equals(GRAAL_VERSION_PROPERTY_NAME)) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   136
                        // Ignore well known properties that do not denote an option
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   137
                    } else {
46459
7d4e637d3f21 8180267: Update Graal
kvn
parents: 46393
diff changeset
   138
                        String value = e.getValue();
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   139
                        optionSettings.put(name.substring(GRAAL_OPTION_PROPERTY_PREFIX.length()), value);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   140
                    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   141
                }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   142
            }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   143
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   144
            OptionsParser.parseOptions(optionSettings, values, loader);
54204
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
   145
            return values;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   146
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   147
    }
54204
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
   148
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
   149
    /**
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
   150
     * Substituted by
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
   151
     * {@code com.oracle.svm.graal.hotspot.libgraal.Target_org_graalvm_compiler_hotspot_HotSpotGraalOptionValues}
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
   152
     * to update {@code com.oracle.svm.core.option.RuntimeOptionValues.singleton()} instead of
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
   153
     * creating a new {@link OptionValues} object.
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
   154
     */
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
   155
    private static OptionValues initializeOptions() {
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
   156
        return new OptionValues(parseOptions());
55c262f4f5a1 8220389: Update Graal
jwilhelm
parents: 54084
diff changeset
   157
    }
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   158
}