X-Git-Url: https://git.saurik.com/apple/javascriptcore.git/blobdiff_plain/6fe7ccc865dc7d7541b93c5bcaf6368d2c98a174..ed1e77d3adeb83d26fd1dfb16dd84cabdcefd250:/runtime/Options.cpp?ds=sidebyside diff --git a/runtime/Options.cpp b/runtime/Options.cpp index 8f5a050..c9c698f 100644 --- a/runtime/Options.cpp +++ b/runtime/Options.cpp @@ -1,5 +1,5 @@ /* - * Copyright (C) 2011 Apple Inc. All rights reserved. + * Copyright (C) 2011-2012, 2014-2015 Apple Inc. All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions @@ -26,76 +26,29 @@ #include "config.h" #include "Options.h" +#include "HeapStatistics.h" +#include #include +#include +#include +#include +#include +#include #include #include +#include +#include #if OS(DARWIN) && ENABLE(PARALLEL_GC) #include #endif -// Set to 1 to control the heuristics using environment variables. -#define ENABLE_RUN_TIME_HEURISTICS 0 - -#if ENABLE(RUN_TIME_HEURISTICS) -#include -#include -#include +#if OS(WINDOWS) +#include "MacroAssemblerX86.h" #endif -namespace JSC { namespace Options { - -bool useJIT; - -unsigned maximumOptimizationCandidateInstructionCount; - -unsigned maximumFunctionForCallInlineCandidateInstructionCount; -unsigned maximumFunctionForConstructInlineCandidateInstructionCount; - -unsigned maximumInliningDepth; - -int32_t thresholdForJITAfterWarmUp; -int32_t thresholdForJITSoon; - -int32_t thresholdForOptimizeAfterWarmUp; -int32_t thresholdForOptimizeAfterLongWarmUp; -int32_t thresholdForOptimizeSoon; - -int32_t executionCounterIncrementForLoop; -int32_t executionCounterIncrementForReturn; - -unsigned desiredSpeculativeSuccessFailRatio; - -double likelyToTakeSlowCaseThreshold; -double couldTakeSlowCaseThreshold; -unsigned likelyToTakeSlowCaseMinimumCount; -unsigned couldTakeSlowCaseMinimumCount; - -double osrExitProminenceForFrequentExitSite; - -unsigned largeFailCountThresholdBase; -unsigned largeFailCountThresholdBaseForLoop; -unsigned forcedOSRExitCountForReoptimization; - -unsigned reoptimizationRetryCounterMax; -unsigned reoptimizationRetryCounterStep; - -unsigned minimumOptimizationDelay; -unsigned maximumOptimizationDelay; -double desiredProfileLivenessRate; -double desiredProfileFullnessRate; +namespace JSC { -double doubleVoteRatioForDoubleFormat; - -unsigned minimumNumberOfScansBetweenRebalance; -unsigned gcMarkStackSegmentSize; -unsigned minimumNumberOfCellsToKeep; -unsigned maximumNumberOfSharedSegments; -unsigned sharedStackWakeupThreshold; -unsigned numberOfGCMarkers; -unsigned opaqueRootMergeThreshold; - -#if ENABLE(RUN_TIME_HEURISTICS) static bool parse(const char* string, bool& value) { if (!strcasecmp(string, "true") || !strcasecmp(string, "yes") || !strcmp(string, "1")) { @@ -124,107 +77,447 @@ static bool parse(const char* string, double& value) return sscanf(string, "%lf", &value) == 1; } -template -void setHeuristic(T& variable, const char* name, U value) +static bool parse(const char* string, OptionRange& value) { - const char* stringValue = getenv(name); - if (!stringValue) { - variable = safeCast(value); - return; + return value.init(string); +} + +static bool parse(const char* string, const char*& value) +{ + value = string; + return true; +} + +static bool parse(const char* string, GCLogging::Level& value) +{ + if (!strcasecmp(string, "none") || !strcasecmp(string, "no") || !strcasecmp(string, "false") || !strcmp(string, "0")) { + value = GCLogging::None; + return true; + } + + if (!strcasecmp(string, "basic") || !strcasecmp(string, "yes") || !strcasecmp(string, "true") || !strcmp(string, "1")) { + value = GCLogging::Basic; + return true; } + + if (!strcasecmp(string, "verbose") || !strcmp(string, "2")) { + value = GCLogging::Verbose; + return true; + } + + return false; +} + +template +bool overrideOptionWithHeuristic(T& variable, const char* name) +{ + const char* stringValue = getenv(name); + if (!stringValue) + return false; if (parse(stringValue, variable)) - return; + return true; fprintf(stderr, "WARNING: failed to parse %s=%s\n", name, stringValue); - variable = safeCast(value); + return false; +} + +static unsigned computeNumberOfWorkerThreads(int maxNumberOfWorkerThreads, int minimum = 1) +{ + int cpusToUse = std::min(WTF::numberOfProcessorCores(), maxNumberOfWorkerThreads); + + // Be paranoid, it is the OS we're dealing with, after all. + ASSERT(cpusToUse >= 1); + return std::max(cpusToUse, minimum); } -#define SET(variable, value) setHeuristic(variable, "JSC_" #variable, value) +static int32_t computePriorityDeltaOfWorkerThreads(int32_t twoCorePriorityDelta, int32_t multiCorePriorityDelta) +{ + if (WTF::numberOfProcessorCores() <= 2) + return twoCorePriorityDelta; + + return multiCorePriorityDelta; +} + +static unsigned computeNumberOfGCMarkers(unsigned maxNumberOfGCMarkers) +{ +#if ENABLE(PARALLEL_GC) + return computeNumberOfWorkerThreads(maxNumberOfGCMarkers); #else -#define SET(variable, value) variable = value + UNUSED_PARAM(maxNumberOfGCMarkers); + return 1; #endif +} -void initializeOptions() +bool OptionRange::init(const char* rangeString) { - SET(useJIT, true); - - SET(maximumOptimizationCandidateInstructionCount, 10000); - - SET(maximumFunctionForCallInlineCandidateInstructionCount, 180); - SET(maximumFunctionForConstructInlineCandidateInstructionCount, 100); - - SET(maximumInliningDepth, 5); + // rangeString should be in the form of [!][:] + // where low and high are unsigned - SET(thresholdForJITAfterWarmUp, 100); - SET(thresholdForJITSoon, 100); + bool invert = false; - SET(thresholdForOptimizeAfterWarmUp, 1000); - SET(thresholdForOptimizeAfterLongWarmUp, 5000); - SET(thresholdForOptimizeSoon, 1000); + if (m_state > Uninitialized) + return true; - SET(executionCounterIncrementForLoop, 1); - SET(executionCounterIncrementForReturn, 15); + if (!rangeString) { + m_state = InitError; + return false; + } - SET(desiredSpeculativeSuccessFailRatio, 6); - - SET(likelyToTakeSlowCaseThreshold, 0.15); - SET(couldTakeSlowCaseThreshold, 0.05); // Shouldn't be zero because some ops will spuriously take slow case, for example for linking or caching. - SET(likelyToTakeSlowCaseMinimumCount, 100); - SET(couldTakeSlowCaseMinimumCount, 10); - - SET(osrExitProminenceForFrequentExitSite, 0.3); + m_rangeString = rangeString; - SET(largeFailCountThresholdBase, 20); - SET(largeFailCountThresholdBaseForLoop, 1); - SET(forcedOSRExitCountForReoptimization, 250); + if (*rangeString == '!') { + invert = true; + rangeString++; + } - SET(reoptimizationRetryCounterStep, 1); + int scanResult = sscanf(rangeString, " %u:%u", &m_lowLimit, &m_highLimit); - SET(minimumOptimizationDelay, 1); - SET(maximumOptimizationDelay, 5); - SET(desiredProfileLivenessRate, 0.75); - SET(desiredProfileFullnessRate, 0.35); - - SET(doubleVoteRatioForDoubleFormat, 2); - - SET(minimumNumberOfScansBetweenRebalance, 10000); - SET(gcMarkStackSegmentSize, pageSize()); - SET(minimumNumberOfCellsToKeep, 10); - SET(maximumNumberOfSharedSegments, 3); - SET(sharedStackWakeupThreshold, 1); - SET(opaqueRootMergeThreshold, 1000); - - int cpusToUse = 1; -#if ENABLE(PARALLEL_GC) - cpusToUse = WTF::numberOfProcessorCores(); + if (!scanResult || scanResult == EOF) { + m_state = InitError; + return false; + } + + if (scanResult == 1) + m_highLimit = m_lowLimit; + + if (m_lowLimit > m_highLimit) { + m_state = InitError; + return false; + } + + m_state = invert ? Inverted : Normal; + + return true; +} + +bool OptionRange::isInRange(unsigned count) +{ + if (m_state < Normal) + return true; + + if ((m_lowLimit <= count) && (count <= m_highLimit)) + return m_state == Normal ? true : false; + + return m_state == Normal ? false : true; +} + +void OptionRange::dump(PrintStream& out) const +{ + out.print(m_rangeString); +} + +Options::Entry Options::s_options[Options::numberOfOptions]; +Options::Entry Options::s_defaultOptions[Options::numberOfOptions]; + +// Realize the names for each of the options: +const Options::EntryInfo Options::s_optionsInfo[Options::numberOfOptions] = { +#define FOR_EACH_OPTION(type_, name_, defaultValue_, description_) \ + { #name_, description_, Options::Type::type_##Type }, + JSC_OPTIONS(FOR_EACH_OPTION) +#undef FOR_EACH_OPTION +}; + +static void scaleJITPolicy() +{ + auto& scaleFactor = Options::jitPolicyScale(); + if (scaleFactor > 1.0) + scaleFactor = 1.0; + else if (scaleFactor < 0.0) + scaleFactor = 0.0; + + struct OptionToScale { + Options::OptionID id; + int32_t minVal; + }; + + static const OptionToScale optionsToScale[] = { + { Options::thresholdForJITAfterWarmUpID, 0 }, + { Options::thresholdForJITSoonID, 0 }, + { Options::thresholdForOptimizeAfterWarmUpID, 1 }, + { Options::thresholdForOptimizeAfterLongWarmUpID, 1 }, + { Options::thresholdForOptimizeSoonID, 1 }, + { Options::thresholdForFTLOptimizeSoonID, 2 }, + { Options::thresholdForFTLOptimizeAfterWarmUpID, 2 } + }; + + const int numberOfOptionsToScale = sizeof(optionsToScale) / sizeof(OptionToScale); + for (int i = 0; i < numberOfOptionsToScale; i++) { + Option option(optionsToScale[i].id); + ASSERT(option.type() == Options::Type::int32Type); + option.int32Val() *= scaleFactor; + option.int32Val() = std::max(option.int32Val(), optionsToScale[i].minVal); + } +} + +static void recomputeDependentOptions() +{ +#if !ENABLE(JIT) + Options::useLLInt() = true; + Options::useJIT() = false; + Options::useDFGJIT() = false; + Options::useFTLJIT() = false; #endif - // We don't scale so well beyond 4. - if (cpusToUse > 4) - cpusToUse = 4; - // Be paranoid, it is the OS we're dealing with, after all. - if (cpusToUse < 1) - cpusToUse = 1; +#if !ENABLE(YARR_JIT) + Options::useRegExpJIT() = false; +#endif +#if !ENABLE(CONCURRENT_JIT) + Options::enableConcurrentJIT() = false; +#endif +#if !ENABLE(DFG_JIT) + Options::useDFGJIT() = false; + Options::useFTLJIT() = false; +#endif +#if !ENABLE(FTL_JIT) + Options::useFTLJIT() = false; +#endif +#if OS(WINDOWS) && CPU(X86) + // Disable JIT on Windows if SSE2 is not present + if (!MacroAssemblerX86::supportsFloatingPoint()) + Options::useJIT() = false; +#endif + if (Options::showDisassembly() + || Options::showDFGDisassembly() + || Options::showFTLDisassembly() + || Options::dumpBytecodeAtDFGTime() + || Options::dumpGraphAtEachPhase() + || Options::verboseCompilation() + || Options::verboseFTLCompilation() + || Options::logCompilationChanges() + || Options::validateGraph() + || Options::validateGraphAtEachPhase() + || Options::verboseOSR() + || Options::verboseCompilationQueue() + || Options::reportCompileTimes() + || Options::reportFTLCompileTimes() + || Options::verboseCFA() + || Options::verboseFTLFailure()) + Options::alwaysComputeHash() = true; + + if (Option(Options::jitPolicyScaleID).isOverridden()) + scaleJITPolicy(); - SET(numberOfGCMarkers, cpusToUse); + if (Options::forceEagerCompilation()) { + Options::thresholdForJITAfterWarmUp() = 10; + Options::thresholdForJITSoon() = 10; + Options::thresholdForOptimizeAfterWarmUp() = 20; + Options::thresholdForOptimizeAfterLongWarmUp() = 20; + Options::thresholdForOptimizeSoon() = 20; + Options::thresholdForFTLOptimizeAfterWarmUp() = 20; + Options::thresholdForFTLOptimizeSoon() = 20; + Options::maximumEvalCacheableSourceLength() = 150000; + Options::enableConcurrentJIT() = false; + } - ASSERT(thresholdForOptimizeAfterLongWarmUp >= thresholdForOptimizeAfterWarmUp); - ASSERT(thresholdForOptimizeAfterWarmUp >= thresholdForOptimizeSoon); - ASSERT(thresholdForOptimizeAfterWarmUp >= 0); - // Compute the maximum value of the reoptimization retry counter. This is simply // the largest value at which we don't overflow the execute counter, when using it // to left-shift the execution counter by this amount. Currently the value ends // up being 18, so this loop is not so terrible; it probably takes up ~100 cycles // total on a 32-bit processor. - reoptimizationRetryCounterMax = 0; - while ((static_cast(thresholdForOptimizeAfterLongWarmUp) << (reoptimizationRetryCounterMax + 1)) <= static_cast(std::numeric_limits::max())) - reoptimizationRetryCounterMax++; + Options::reoptimizationRetryCounterMax() = 0; + while ((static_cast(Options::thresholdForOptimizeAfterLongWarmUp()) << (Options::reoptimizationRetryCounterMax() + 1)) <= static_cast(std::numeric_limits::max())) + Options::reoptimizationRetryCounterMax()++; + + ASSERT((static_cast(Options::thresholdForOptimizeAfterLongWarmUp()) << Options::reoptimizationRetryCounterMax()) > 0); + ASSERT((static_cast(Options::thresholdForOptimizeAfterLongWarmUp()) << Options::reoptimizationRetryCounterMax()) <= static_cast(std::numeric_limits::max())); +} + +void Options::initialize() +{ + static std::once_flag initializeOptionsOnceFlag; + + std::call_once( + initializeOptionsOnceFlag, + [] { + // Initialize each of the options with their default values: +#define FOR_EACH_OPTION(type_, name_, defaultValue_, description_) \ + name_() = defaultValue_; \ + name_##Default() = defaultValue_; + JSC_OPTIONS(FOR_EACH_OPTION) +#undef FOR_EACH_OPTION + + // It *probably* makes sense for other platforms to enable this. +#if PLATFORM(IOS) && CPU(ARM64) + enableLLVMFastISel() = true; +#endif + + // Allow environment vars to override options if applicable. + // The evn var should be the name of the option prefixed with + // "JSC_". +#define FOR_EACH_OPTION(type_, name_, defaultValue_, description_) \ + overrideOptionWithHeuristic(name_(), "JSC_" #name_); + JSC_OPTIONS(FOR_EACH_OPTION) +#undef FOR_EACH_OPTION + +#if 0 + ; // Deconfuse editors that do auto indentation +#endif - ASSERT((static_cast(thresholdForOptimizeAfterLongWarmUp) << reoptimizationRetryCounterMax) > 0); - ASSERT((static_cast(thresholdForOptimizeAfterLongWarmUp) << reoptimizationRetryCounterMax) <= static_cast(std::numeric_limits::max())); + recomputeDependentOptions(); + + // Do range checks where needed and make corrections to the options: + ASSERT(Options::thresholdForOptimizeAfterLongWarmUp() >= Options::thresholdForOptimizeAfterWarmUp()); + ASSERT(Options::thresholdForOptimizeAfterWarmUp() >= Options::thresholdForOptimizeSoon()); + ASSERT(Options::thresholdForOptimizeAfterWarmUp() >= 0); + + if (Options::showOptions()) { + DumpLevel level = static_cast(Options::showOptions()); + if (level > DumpLevel::Verbose) + level = DumpLevel::Verbose; + + const char* title = nullptr; + switch (level) { + case DumpLevel::None: + break; + case DumpLevel::Overridden: + title = "Overridden JSC options:"; + break; + case DumpLevel::All: + title = "All JSC options:"; + break; + case DumpLevel::Verbose: + title = "All JSC options with descriptions:"; + break; + } + dumpAllOptions(level, title); + } + + ensureOptionsAreCoherent(); + }); +} + +// Parses a single command line option in the format "=" +// (no spaces allowed) and set the specified option if appropriate. +bool Options::setOption(const char* arg) +{ + // arg should look like this: + // = + const char* equalStr = strchr(arg, '='); + if (!equalStr) + return false; + + const char* valueStr = equalStr + 1; + + // For each option, check if the specify arg is a match. If so, set the arg + // if the value makes sense. Otherwise, move on to checking the next option. +#define FOR_EACH_OPTION(type_, name_, defaultValue_, description_) \ + if (!strncmp(arg, #name_, equalStr - arg)) { \ + type_ value; \ + value = (defaultValue_); \ + bool success = parse(valueStr, value); \ + if (success) { \ + name_() = value; \ + recomputeDependentOptions(); \ + return true; \ + } \ + return false; \ + } + + JSC_OPTIONS(FOR_EACH_OPTION) +#undef FOR_EACH_OPTION + + return false; // No option matched. +} + +void Options::dumpAllOptions(DumpLevel level, const char* title, FILE* stream) +{ + if (title) + fprintf(stream, "%s\n", title); + for (int id = 0; id < numberOfOptions; id++) + dumpOption(level, static_cast(id), stream, " ", "\n"); } -} } // namespace JSC::Options +void Options::dumpOption(DumpLevel level, OptionID id, FILE* stream, const char* header, const char* footer) +{ + if (id >= numberOfOptions) + return; // Illegal option. + + Option option(id); + bool wasOverridden = option.isOverridden(); + bool needsDescription = (level == DumpLevel::Verbose && option.description()); + + if (level == DumpLevel::Overridden && !wasOverridden) + return; + + fprintf(stream, "%s%s: ", header, option.name()); + option.dump(stream); + + if (wasOverridden) { + fprintf(stream, " (default: "); + option.defaultOption().dump(stream); + fprintf(stream, ")"); + } + + if (needsDescription) + fprintf(stream, " ... %s", option.description()); + + fprintf(stream, "%s", footer); +} + +void Options::ensureOptionsAreCoherent() +{ + bool coherent = true; + if (!(useLLInt() || useJIT())) { + coherent = false; + dataLog("INCOHERENT OPTIONS: at least one of useLLInt or useJIT must be true\n"); + } + if (!coherent) + CRASH(); +} + +void Option::dump(FILE* stream) const +{ + switch (type()) { + case Options::Type::boolType: + fprintf(stream, "%s", m_entry.boolVal ? "true" : "false"); + break; + case Options::Type::unsignedType: + fprintf(stream, "%u", m_entry.unsignedVal); + break; + case Options::Type::doubleType: + fprintf(stream, "%lf", m_entry.doubleVal); + break; + case Options::Type::int32Type: + fprintf(stream, "%d", m_entry.int32Val); + break; + case Options::Type::optionRangeType: + fprintf(stream, "%s", m_entry.optionRangeVal.rangeString()); + break; + case Options::Type::optionStringType: { + const char* option = m_entry.optionStringVal; + if (!option) + option = ""; + fprintf(stream, "%s", option); + break; + } + case Options::Type::gcLogLevelType: { + fprintf(stream, "%s", GCLogging::levelAsString(m_entry.gcLogLevelVal)); + break; + } + } +} + +bool Option::operator==(const Option& other) const +{ + switch (type()) { + case Options::Type::boolType: + return m_entry.boolVal == other.m_entry.boolVal; + case Options::Type::unsignedType: + return m_entry.unsignedVal == other.m_entry.unsignedVal; + case Options::Type::doubleType: + return (m_entry.doubleVal == other.m_entry.doubleVal) || (isnan(m_entry.doubleVal) && isnan(other.m_entry.doubleVal)); + case Options::Type::int32Type: + return m_entry.int32Val == other.m_entry.int32Val; + case Options::Type::optionRangeType: + return m_entry.optionRangeVal.rangeString() == other.m_entry.optionRangeVal.rangeString(); + case Options::Type::optionStringType: + return (m_entry.optionStringVal == other.m_entry.optionStringVal) + || (m_entry.optionStringVal && other.m_entry.optionStringVal && !strcmp(m_entry.optionStringVal, other.m_entry.optionStringVal)); + case Options::Type::gcLogLevelType: + return m_entry.gcLogLevelVal == other.m_entry.gcLogLevelVal; + } + return false; +} +} // namespace JSC