1 /* 2 * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. 8 * 9 * This code is distributed in the hope that it will be useful, but WITHOUT 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 12 * version 2 for more details (a copy is included in the LICENSE file that 13 * accompanied this code). 14 * 15 * You should have received a copy of the GNU General Public License version 16 * 2 along with this work; if not, write to the Free Software Foundation, 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 18 * 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 20 * or visit www.oracle.com if you need additional information or have any 21 * questions. 22 * 23 */ 24 25 #include "precompiled.hpp" 26 #include "oops/metadata.hpp" 27 #include "runtime/os.hpp" 28 #include "code/relocInfo.hpp" 29 #include "interpreter/invocationCounter.hpp" 30 #include "runtime/arguments.hpp" 31 #include "runtime/commandLineFlagConstraintsCompiler.hpp" 32 #include "runtime/commandLineFlagRangeList.hpp" 33 #include "runtime/globals.hpp" 34 #include "utilities/defaultStream.hpp" 35 36 Flag::Error AliasLevelConstraintFunc(intx value, bool verbose) { 37 if ((value <= 1) && (Arguments::mode() == Arguments::_comp || Arguments::mode() == Arguments::_mixed)) { 38 CommandLineError::print(verbose, 39 "AliasLevel (" INTX_FORMAT ") is not " 40 "compatible with -Xcomp or -Xmixed\n", 41 value); 42 return Flag::VIOLATES_CONSTRAINT; 43 } else { 44 return Flag::SUCCESS; 45 } 46 } 47 48 /** 49 * Validate the minimum number of compiler threads needed to run the 50 * JVM. The following configurations are possible. 51 * 52 * 1) The JVM is build using an interpreter only. As a result, the minimum number of 53 * compiler threads is 0. 54 * 2) The JVM is build using the compiler(s) and tiered compilation is disabled. As 55 * a result, either C1 or C2 is used, so the minimum number of compiler threads is 1. 56 * 3) The JVM is build using the compiler(s) and tiered compilation is enabled. However, 57 * the option "TieredStopAtLevel < CompLevel_full_optimization". As a result, only 58 * C1 can be used, so the minimum number of compiler threads is 1. 59 * 4) The JVM is build using the compilers and tiered compilation is enabled. The option 60 * 'TieredStopAtLevel = CompLevel_full_optimization' (the default value). As a result, 61 * the minimum number of compiler threads is 2. 62 */ 63 Flag::Error CICompilerCountConstraintFunc(intx value, bool verbose) { 64 int min_number_of_compiler_threads = 0; 65 #if !defined(COMPILER1) && !defined(COMPILER2) && !defined(SHARK) && !INCLUDE_JVMCI 66 // case 1 67 #else 68 if (!TieredCompilation || (TieredStopAtLevel < CompLevel_full_optimization)) { 69 min_number_of_compiler_threads = 1; // case 2 or case 3 70 } else { 71 min_number_of_compiler_threads = 2; // case 4 (tiered) 72 } 73 #endif 74 75 // The default CICompilerCount's value is CI_COMPILER_COUNT. 76 // With a client VM, -XX:+TieredCompilation causes TieredCompilation 77 // to be true here (the option is validated later) and 78 // min_number_of_compiler_threads to exceed CI_COMPILER_COUNT. 79 min_number_of_compiler_threads = MIN2(min_number_of_compiler_threads, CI_COMPILER_COUNT); 80 81 if (value < (intx)min_number_of_compiler_threads) { 82 CommandLineError::print(verbose, 83 "CICompilerCount (" INTX_FORMAT ") must be " 84 "at least %d \n", 85 value, min_number_of_compiler_threads); 86 return Flag::VIOLATES_CONSTRAINT; 87 } else { 88 return Flag::SUCCESS; 89 } 90 } 91 92 Flag::Error AllocatePrefetchDistanceConstraintFunc(intx value, bool verbose) { 93 if (value < 0) { 94 CommandLineError::print(verbose, 95 "Unable to determine system-specific value for AllocatePrefetchDistance. " 96 "Please provide appropriate value, if unsure, use 0 to disable prefetching\n"); 97 return Flag::VIOLATES_CONSTRAINT; 98 } 99 100 return Flag::SUCCESS; 101 } 102 103 Flag::Error AllocatePrefetchInstrConstraintFunc(intx value, bool verbose) { 104 intx max_value = max_intx; 105 #if defined(SPARC) 106 max_value = 1; 107 #elif defined(X86) 108 max_value = 3; 109 #endif 110 if (value < 0 || value > max_value) { 111 CommandLineError::print(verbose, 112 "AllocatePrefetchInstr (" INTX_FORMAT ") must be " 113 "between 0 and " INTX_FORMAT "\n", value, max_value); 114 return Flag::VIOLATES_CONSTRAINT; 115 } 116 117 return Flag::SUCCESS; 118 } 119 120 Flag::Error AllocatePrefetchStepSizeConstraintFunc(intx value, bool verbose) { 121 intx max_value = 512; 122 if (value < 1 || value > max_value) { 123 CommandLineError::print(verbose, 124 "AllocatePrefetchStepSize (" INTX_FORMAT ") " 125 "must be between 1 and %d\n", 126 AllocatePrefetchStepSize, 127 max_value); 128 return Flag::VIOLATES_CONSTRAINT; 129 } 130 131 if (AllocatePrefetchDistance % AllocatePrefetchStepSize != 0) { 132 CommandLineError::print(verbose, 133 "AllocatePrefetchDistance (" INTX_FORMAT ") " 134 "%% AllocatePrefetchStepSize (" INTX_FORMAT ") " 135 "= " INTX_FORMAT " " 136 "must be 0\n", 137 AllocatePrefetchDistance, AllocatePrefetchStepSize, 138 AllocatePrefetchDistance % AllocatePrefetchStepSize); 139 return Flag::VIOLATES_CONSTRAINT; 140 } 141 142 /* The limit of 64 for the quotient of AllocatePrefetchDistance and AllocatePrefetchSize 143 * originates from the limit of 64 for AllocatePrefetchLines/AllocateInstancePrefetchLines. 144 * If AllocatePrefetchStyle == 2, the quotient from above is used in PhaseMacroExpand::prefetch_allocation() 145 * to determine the number of lines to prefetch. For other values of AllocatePrefetchStyle, 146 * AllocatePrefetchDistance and AllocatePrefetchSize is used. For consistency, all these 147 * quantities must have the same limit (64 in this case). 148 */ 149 if (AllocatePrefetchDistance / AllocatePrefetchStepSize > 64) { 150 CommandLineError::print(verbose, 151 "AllocatePrefetchDistance (" INTX_FORMAT ") too large or " 152 "AllocatePrefetchStepSize (" INTX_FORMAT ") too small; " 153 "try decreasing/increasing values so that " 154 "AllocatePrefetchDistance / AllocatePrefetchStepSize <= 64\n", 155 AllocatePrefetchDistance, AllocatePrefetchStepSize, 156 AllocatePrefetchDistance % AllocatePrefetchStepSize); 157 return Flag::VIOLATES_CONSTRAINT; 158 } 159 160 return Flag::SUCCESS; 161 } 162 163 Flag::Error CompileThresholdConstraintFunc(intx value, bool verbose) { 164 if (value < 0 || value > INT_MAX >> InvocationCounter::count_shift) { 165 CommandLineError::print(verbose, 166 "CompileThreshold (" INTX_FORMAT ") " 167 "must be between 0 and %d\n", 168 value, 169 INT_MAX >> InvocationCounter::count_shift); 170 return Flag::VIOLATES_CONSTRAINT; 171 } 172 173 return Flag::SUCCESS; 174 } 175 176 Flag::Error OnStackReplacePercentageConstraintFunc(intx value, bool verbose) { 177 int backward_branch_limit; 178 if (ProfileInterpreter) { 179 if (OnStackReplacePercentage < InterpreterProfilePercentage) { 180 CommandLineError::print(verbose, 181 "OnStackReplacePercentage (" INTX_FORMAT ") must be " 182 "larger than InterpreterProfilePercentage (" INTX_FORMAT ")\n", 183 OnStackReplacePercentage, InterpreterProfilePercentage); 184 return Flag::VIOLATES_CONSTRAINT; 185 } 186 187 backward_branch_limit = ((CompileThreshold * (OnStackReplacePercentage - InterpreterProfilePercentage)) / 100) 188 << InvocationCounter::count_shift; 189 190 if (backward_branch_limit < 0) { 191 CommandLineError::print(verbose, 192 "CompileThreshold * (InterpreterProfilePercentage - OnStackReplacePercentage) / 100 = " 193 INTX_FORMAT " " 194 "must be between 0 and " INTX_FORMAT ", try changing " 195 "CompileThreshold, InterpreterProfilePercentage, and/or OnStackReplacePercentage\n", 196 (CompileThreshold * (OnStackReplacePercentage - InterpreterProfilePercentage)) / 100, 197 INT_MAX >> InvocationCounter::count_shift); 198 return Flag::VIOLATES_CONSTRAINT; 199 } 200 } else { 201 if (OnStackReplacePercentage < 0 ) { 202 CommandLineError::print(verbose, 203 "OnStackReplacePercentage (" INTX_FORMAT ") must be " 204 "non-negative\n", OnStackReplacePercentage); 205 return Flag::VIOLATES_CONSTRAINT; 206 } 207 208 backward_branch_limit = ((CompileThreshold * OnStackReplacePercentage) / 100) 209 << InvocationCounter::count_shift; 210 211 if (backward_branch_limit < 0) { 212 CommandLineError::print(verbose, 213 "CompileThreshold * OnStackReplacePercentage / 100 = " INTX_FORMAT " " 214 "must be between 0 and " INTX_FORMAT ", try changing " 215 "CompileThreshold and/or OnStackReplacePercentage\n", 216 (CompileThreshold * OnStackReplacePercentage) / 100, 217 INT_MAX >> InvocationCounter::count_shift); 218 return Flag::VIOLATES_CONSTRAINT; 219 } 220 } 221 return Flag::SUCCESS; 222 } 223 224 Flag::Error CodeCacheSegmentSizeConstraintFunc(uintx value, bool verbose) { 225 if (CodeCacheSegmentSize < (uintx)CodeEntryAlignment) { 226 CommandLineError::print(verbose, 227 "CodeCacheSegmentSize (" UINTX_FORMAT ") must be " 228 "larger than or equal to CodeEntryAlignment (" INTX_FORMAT ") " 229 "to align entry points\n", 230 CodeCacheSegmentSize, CodeEntryAlignment); 231 return Flag::VIOLATES_CONSTRAINT; 232 } 233 234 if (CodeCacheSegmentSize < sizeof(jdouble)) { 235 CommandLineError::print(verbose, 236 "CodeCacheSegmentSize (" UINTX_FORMAT ") must be " 237 "at least " SIZE_FORMAT " to align constants\n", 238 CodeCacheSegmentSize, sizeof(jdouble)); 239 return Flag::VIOLATES_CONSTRAINT; 240 } 241 242 #ifdef COMPILER2 243 if (CodeCacheSegmentSize < (uintx)OptoLoopAlignment) { 244 CommandLineError::print(verbose, 245 "CodeCacheSegmentSize (" UINTX_FORMAT ") must be " 246 "larger than or equal to OptoLoopAlignment (" INTX_FORMAT ") " 247 "to align inner loops\n", 248 CodeCacheSegmentSize, OptoLoopAlignment); 249 return Flag::VIOLATES_CONSTRAINT; 250 } 251 #endif 252 253 return Flag::SUCCESS; 254 } 255 256 Flag::Error CompilerThreadPriorityConstraintFunc(intx value, bool verbose) { 257 #ifdef SOLARIS 258 if ((value < MinimumPriority || value > MaximumPriority) && 259 (value != -1) && (value != -FXCriticalPriority)) { 260 CommandLineError::print(verbose, 261 "CompileThreadPriority (" INTX_FORMAT ") must be " 262 "between %d and %d inclusively or -1 (means no change) " 263 "or %d (special value for critical thread class/priority)\n", 264 value, MinimumPriority, MaximumPriority, -FXCriticalPriority); 265 return Flag::VIOLATES_CONSTRAINT; 266 } 267 #endif 268 269 return Flag::SUCCESS; 270 } 271 272 Flag::Error CodeEntryAlignmentConstraintFunc(intx value, bool verbose) { 273 #ifdef SPARC 274 if (CodeEntryAlignment % relocInfo::addr_unit() != 0) { 275 CommandLineError::print(verbose, 276 "CodeEntryAlignment (" INTX_FORMAT ") must be " 277 "multiple of NOP size\n", CodeEntryAlignment); 278 return Flag::VIOLATES_CONSTRAINT; 279 } 280 #endif 281 282 if (!is_power_of_2(value)) { 283 CommandLineError::print(verbose, 284 "CodeEntryAlignment (" INTX_FORMAT ") must be " 285 "a power of two\n", CodeEntryAlignment); 286 return Flag::VIOLATES_CONSTRAINT; 287 } 288 289 if (CodeEntryAlignment < 16) { 290 CommandLineError::print(verbose, 291 "CodeEntryAlignment (" INTX_FORMAT ") must be " 292 "greater than or equal to %d\n", 293 CodeEntryAlignment, 16); 294 return Flag::VIOLATES_CONSTRAINT; 295 } 296 297 return Flag::SUCCESS; 298 } 299 300 Flag::Error OptoLoopAlignmentConstraintFunc(intx value, bool verbose) { 301 if (!is_power_of_2(value)) { 302 CommandLineError::print(verbose, 303 "OptoLoopAlignment (" INTX_FORMAT ") " 304 "must be a power of two\n", 305 value); 306 return Flag::VIOLATES_CONSTRAINT; 307 } 308 309 #ifdef SPARC 310 if (OptoLoopAlignment % relocInfo::addr_unit() != 0) { 311 CommandLineError::print(verbose, 312 "OptoLoopAlignment (" INTX_FORMAT ") must be " 313 "multiple of NOP size\n"); 314 return Flag::VIOLATES_CONSTRAINT; 315 } 316 #endif 317 318 return Flag::SUCCESS; 319 } 320 321 Flag::Error ArraycopyDstPrefetchDistanceConstraintFunc(uintx value, bool verbose) { 322 if (value != 0) { 323 CommandLineError::print(verbose, 324 "ArraycopyDstPrefetchDistance (" UINTX_FORMAT ") must be 0\n", 325 value); 326 return Flag::VIOLATES_CONSTRAINT; 327 } 328 329 return Flag::SUCCESS; 330 } 331 332 Flag::Error ArraycopySrcPrefetchDistanceConstraintFunc(uintx value, bool verbose) { 333 if (value != 0) { 334 CommandLineError::print(verbose, 335 "ArraycopySrcPrefetchDistance (" UINTX_FORMAT ") must be 0\n", 336 value); 337 return Flag::VIOLATES_CONSTRAINT; 338 } 339 340 return Flag::SUCCESS; 341 } 342 343 Flag::Error TypeProfileLevelConstraintFunc(uintx value, bool verbose) { 344 for (int i = 0; i < 3; i++) { 345 if (value % 10 > 2) { 346 CommandLineError::print(verbose, 347 "Invalid value (" UINTX_FORMAT ") " 348 "in TypeProfileLevel at position %d\n", value, i); 349 return Flag::VIOLATES_CONSTRAINT; 350 } 351 value = value / 10; 352 } 353 354 return Flag::SUCCESS; 355 } 356 357 #ifdef COMPILER2 358 Flag::Error InteriorEntryAlignmentConstraintFunc(intx value, bool verbose) { 359 if (InteriorEntryAlignment > CodeEntryAlignment) { 360 CommandLineError::print(verbose, 361 "InteriorEntryAlignment (" INTX_FORMAT ") must be " 362 "less than or equal to CodeEntryAlignment (" INTX_FORMAT ")\n", 363 InteriorEntryAlignment, CodeEntryAlignment); 364 return Flag::VIOLATES_CONSTRAINT; 365 } 366 367 #ifdef SPARC 368 if (InteriorEntryAlignment % relocInfo::addr_unit() != 0) { 369 CommandLineError::print(verbose, 370 "InteriorEntryAlignment (" INTX_FORMAT ") must be " 371 "multiple of NOP size\n"); 372 return Flag::VIOLATES_CONSTRAINT; 373 } 374 #endif 375 376 if (!is_power_of_2(value)) { 377 CommandLineError::print(verbose, 378 "InteriorEntryAlignment (" INTX_FORMAT ") must be " 379 "a power of two\n", InteriorEntryAlignment); 380 return Flag::VIOLATES_CONSTRAINT; 381 } 382 383 int minimum_alignment = 16; 384 #if defined(SPARC) || (defined(X86) && !defined(AMD64)) 385 minimum_alignment = 4; 386 #endif 387 388 if (InteriorEntryAlignment < minimum_alignment) { 389 CommandLineError::print(verbose, 390 "InteriorEntryAlignment (" INTX_FORMAT ") must be " 391 "greater than or equal to %d\n", 392 InteriorEntryAlignment, minimum_alignment); 393 return Flag::VIOLATES_CONSTRAINT; 394 } 395 396 return Flag::SUCCESS; 397 } 398 399 Flag::Error NodeLimitFudgeFactorConstraintFunc(intx value, bool verbose) { 400 if (value < MaxNodeLimit * 2 / 100 || value > MaxNodeLimit * 40 / 100) { 401 CommandLineError::print(verbose, 402 "NodeLimitFudgeFactor must be between 2%% and 40%% " 403 "of MaxNodeLimit (" INTX_FORMAT ")\n", 404 MaxNodeLimit); 405 return Flag::VIOLATES_CONSTRAINT; 406 } 407 408 return Flag::SUCCESS; 409 } 410 #endif // COMPILER2