src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.hotspot/src/org/graalvm/compiler/hotspot/HotSpotGraalOptionValues.java
author iveresov
Fri, 02 Feb 2018 17:28:17 -0800
changeset 48861 47f19ff9903c
parent 47216 71c04702a3d5
child 49873 26ebfe8ce852
permissions -rw-r--r--
8194819: 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
/*
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
     2
 * Copyright (c) 2017, Oracle and/or its affiliates. All rights reserved.
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
 */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    23
package org.graalvm.compiler.hotspot;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    24
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    25
import static jdk.vm.ci.common.InitTimer.timer;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    26
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    27
import java.io.File;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    28
import java.io.FileReader;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    29
import java.io.IOException;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    30
import java.util.Map;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    31
import java.util.Properties;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    32
48861
47f19ff9903c 8194819: Update Graal
iveresov
parents: 47216
diff changeset
    33
import org.graalvm.collections.EconomicMap;
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    34
import org.graalvm.compiler.options.Option;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    35
import org.graalvm.compiler.options.OptionDescriptors;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    36
import org.graalvm.compiler.options.OptionKey;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    37
import org.graalvm.compiler.options.OptionValues;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    38
import org.graalvm.compiler.options.OptionValuesAccess;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    39
import org.graalvm.compiler.options.OptionsParser;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    40
import org.graalvm.compiler.serviceprovider.ServiceProvider;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    41
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    42
import jdk.vm.ci.common.InitTimer;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    43
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    44
/**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    45
 * The {@link #HOTSPOT_OPTIONS} value contains the options values initialized in a HotSpot VM. The
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    46
 * values are set via system properties with the {@value #GRAAL_OPTION_PROPERTY_PREFIX} prefix.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    47
 */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    48
@ServiceProvider(OptionValuesAccess.class)
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    49
public class HotSpotGraalOptionValues implements OptionValuesAccess {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    50
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    51
    /**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    52
     * The name of the system property specifying a file containing extra Graal option settings.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    53
     */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    54
    private static final String GRAAL_OPTIONS_FILE_PROPERTY_NAME = "graal.options.file";
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    55
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    56
    /**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    57
     * The name of the system property specifying the Graal version.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    58
     */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    59
    private static final String GRAAL_VERSION_PROPERTY_NAME = "graal.version";
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    60
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    61
    /**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    62
     * The prefix for system properties that correspond to {@link Option} annotated fields. A field
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    63
     * named {@code MyOption} will have its value set from a system property with the name
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    64
     * {@code GRAAL_OPTION_PROPERTY_PREFIX + "MyOption"}.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    65
     */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    66
    public static final String GRAAL_OPTION_PROPERTY_PREFIX = "graal.";
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    67
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    68
    /**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    69
     * Gets the system property assignment that would set the current value for a given option.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    70
     */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    71
    public static String asSystemPropertySetting(OptionValues options, OptionKey<?> value) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    72
        return GRAAL_OPTION_PROPERTY_PREFIX + value.getName() + "=" + value.getValue(options);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    73
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    74
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    75
    public static final OptionValues HOTSPOT_OPTIONS = initializeOptions();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    76
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    77
    /**
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    78
     * Global options. The values for these options are initialized by parsing the file denoted by
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    79
     * the {@code VM.getSavedProperty(String) saved} system property named
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    80
     * {@value #GRAAL_OPTIONS_FILE_PROPERTY_NAME} if the file exists followed by parsing the options
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    81
     * encoded in saved system properties whose names start with
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    82
     * {@value #GRAAL_OPTION_PROPERTY_PREFIX}. Key/value pairs are parsed from the aforementioned
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    83
     * file with {@link Properties#load(java.io.Reader)}.
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    84
     */
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    85
    @SuppressWarnings("try")
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    86
    private static OptionValues initializeOptions() {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    87
        EconomicMap<OptionKey<?>, Object> values = OptionValues.newOptionMap();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    88
        try (InitTimer t = timer("InitializeOptions")) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    89
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    90
            Iterable<OptionDescriptors> loader = OptionsParser.getOptionsLoader();
46459
7d4e637d3f21 8180267: Update Graal
kvn
parents: 46393
diff changeset
    91
            Map<String, String> savedProps = jdk.vm.ci.services.Services.getSavedProperties();
7d4e637d3f21 8180267: Update Graal
kvn
parents: 46393
diff changeset
    92
            String optionsFile = savedProps.get(GRAAL_OPTIONS_FILE_PROPERTY_NAME);
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    93
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    94
            if (optionsFile != null) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    95
                File graalOptions = new File(optionsFile);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    96
                if (graalOptions.exists()) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    97
                    try (FileReader fr = new FileReader(graalOptions)) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    98
                        Properties props = new Properties();
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
    99
                        props.load(fr);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   100
                        EconomicMap<String, String> optionSettings = EconomicMap.create();
46393
d497d892ab11 8178864: Update Graal
iveresov
parents: 46344
diff changeset
   101
                        for (Map.Entry<Object, Object> e : props.entrySet()) {
d497d892ab11 8178864: Update Graal
iveresov
parents: 46344
diff changeset
   102
                            optionSettings.put((String) e.getKey(), (String) e.getValue());
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   103
                        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   104
                        try {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   105
                            OptionsParser.parseOptions(optionSettings, values, loader);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   106
                        } catch (Throwable e) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   107
                            throw new InternalError("Error parsing an option from " + graalOptions, e);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   108
                        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   109
                    } catch (IOException e) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   110
                        throw new InternalError("Error reading " + graalOptions, e);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   111
                    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   112
                }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   113
            }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   114
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   115
            EconomicMap<String, String> optionSettings = EconomicMap.create();
46459
7d4e637d3f21 8180267: Update Graal
kvn
parents: 46393
diff changeset
   116
            for (Map.Entry<String, String> e : savedProps.entrySet()) {
7d4e637d3f21 8180267: Update Graal
kvn
parents: 46393
diff changeset
   117
                String name = e.getKey();
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   118
                if (name.startsWith(GRAAL_OPTION_PROPERTY_PREFIX)) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   119
                    if (name.equals("graal.PrintFlags") || name.equals("graal.ShowFlags")) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   120
                        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
   121
                    } else if (name.equals(GRAAL_OPTIONS_FILE_PROPERTY_NAME) || name.equals(GRAAL_VERSION_PROPERTY_NAME)) {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   122
                        // Ignore well known properties that do not denote an option
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   123
                    } else {
46459
7d4e637d3f21 8180267: Update Graal
kvn
parents: 46393
diff changeset
   124
                        String value = e.getValue();
46344
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   125
                        optionSettings.put(name.substring(GRAAL_OPTION_PROPERTY_PREFIX.length()), value);
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
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   130
            OptionsParser.parseOptions(optionSettings, values, loader);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   131
            return new OptionValues(values);
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   132
        }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   133
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   134
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   135
    @Override
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   136
    public OptionValues getOptions() {
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   137
        return HOTSPOT_OPTIONS;
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   138
    }
694c102fd8ed 8177046: Update Graal
iveresov
parents:
diff changeset
   139
}