1 /* 2 * Copyright (c) 1998, 2014, 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 "compiler/compilerOracle.hpp" 27 #include "memory/allocation.inline.hpp" 28 #include "memory/oopFactory.hpp" 29 #include "memory/resourceArea.hpp" 30 #include "oops/klass.hpp" 31 #include "oops/method.hpp" 32 #include "oops/oop.inline.hpp" 33 #include "oops/symbol.hpp" 34 #include "runtime/handles.inline.hpp" 35 #include "runtime/jniHandles.hpp" 36 #include "runtime/os.hpp" 37 38 class MethodMatcher : public CHeapObj<mtCompiler> { 39 public: 40 enum Mode { 41 Exact, 42 Prefix = 1, 43 Suffix = 2, 44 Substring = Prefix | Suffix, 45 Any, 46 Unknown = -1 47 }; 48 49 protected: 50 Symbol* _class_name; 51 Symbol* _method_name; 52 Symbol* _signature; 53 Mode _class_mode; 54 Mode _method_mode; 55 MethodMatcher* _next; 56 57 static bool match(Symbol* candidate, Symbol* match, Mode match_mode); 58 59 Symbol* class_name() const { return _class_name; } 60 Symbol* method_name() const { return _method_name; } 61 Symbol* signature() const { return _signature; } 62 63 public: 64 MethodMatcher(Symbol* class_name, Mode class_mode, 65 Symbol* method_name, Mode method_mode, 66 Symbol* signature, MethodMatcher* next); 67 MethodMatcher(Symbol* class_name, Symbol* method_name, MethodMatcher* next); 68 69 // utility method 70 MethodMatcher* find(methodHandle method) { 71 Symbol* class_name = method->method_holder()->name(); 72 Symbol* method_name = method->name(); 73 for (MethodMatcher* current = this; current != NULL; current = current->_next) { 74 if (match(class_name, current->class_name(), current->_class_mode) && 75 match(method_name, current->method_name(), current->_method_mode) && 76 (current->signature() == NULL || current->signature() == method->signature())) { 77 return current; 78 } 79 } 80 return NULL; 81 } 82 83 bool match(methodHandle method) { 84 return find(method) != NULL; 85 } 86 87 MethodMatcher* next() const { return _next; } 88 89 static void print_symbol(Symbol* h, Mode mode) { 90 ResourceMark rm; 91 92 if (mode == Suffix || mode == Substring || mode == Any) { 93 tty->print("*"); 94 } 95 if (mode != Any) { 96 h->print_symbol_on(tty); 97 } 98 if (mode == Prefix || mode == Substring) { 99 tty->print("*"); 100 } 101 } 102 103 void print_base() { 104 print_symbol(class_name(), _class_mode); 105 tty->print("."); 106 print_symbol(method_name(), _method_mode); 107 if (signature() != NULL) { 108 tty->print(" "); 109 signature()->print_symbol_on(tty); 110 } 111 } 112 113 virtual void print() { 114 print_base(); 115 tty->cr(); 116 } 117 }; 118 119 MethodMatcher::MethodMatcher(Symbol* class_name, Symbol* method_name, MethodMatcher* next) { 120 _class_name = class_name; 121 _method_name = method_name; 122 _next = next; 123 _class_mode = MethodMatcher::Exact; 124 _method_mode = MethodMatcher::Exact; 125 _signature = NULL; 126 } 127 128 129 MethodMatcher::MethodMatcher(Symbol* class_name, Mode class_mode, 130 Symbol* method_name, Mode method_mode, 131 Symbol* signature, MethodMatcher* next): 132 _class_mode(class_mode) 133 , _method_mode(method_mode) 134 , _next(next) 135 , _class_name(class_name) 136 , _method_name(method_name) 137 , _signature(signature) { 138 } 139 140 bool MethodMatcher::match(Symbol* candidate, Symbol* match, Mode match_mode) { 141 if (match_mode == Any) { 142 return true; 143 } 144 145 if (match_mode == Exact) { 146 return candidate == match; 147 } 148 149 ResourceMark rm; 150 const char * candidate_string = candidate->as_C_string(); 151 const char * match_string = match->as_C_string(); 152 153 switch (match_mode) { 154 case Prefix: 155 return strstr(candidate_string, match_string) == candidate_string; 156 157 case Suffix: { 158 size_t clen = strlen(candidate_string); 159 size_t mlen = strlen(match_string); 160 return clen >= mlen && strcmp(candidate_string + clen - mlen, match_string) == 0; 161 } 162 163 case Substring: 164 return strstr(candidate_string, match_string) != NULL; 165 166 default: 167 return false; 168 } 169 } 170 171 enum OptionType { 172 IntxType, 173 UintxType, 174 BoolType, 175 CcstrType, 176 DoubleType, 177 UnknownType 178 }; 179 180 /* Methods to map real type names to OptionType */ 181 template<typename T> 182 static OptionType get_type_for() { 183 return UnknownType; 184 }; 185 186 template<> OptionType get_type_for<intx>() { 187 return IntxType; 188 } 189 190 template<> OptionType get_type_for<uintx>() { 191 return UintxType; 192 } 193 194 template<> OptionType get_type_for<bool>() { 195 return BoolType; 196 } 197 198 template<> OptionType get_type_for<ccstr>() { 199 return CcstrType; 200 } 201 202 template<> OptionType get_type_for<double>() { 203 return DoubleType; 204 } 205 206 template<typename T> 207 static const T copy_value(const T value) { 208 return value; 209 } 210 211 template<> const ccstr copy_value<ccstr>(const ccstr value) { 212 return (const ccstr)os::strdup_check_oom(value); 213 } 214 215 template <typename T> 216 class TypedMethodOptionMatcher : public MethodMatcher { 217 const char* _option; 218 OptionType _type; 219 const T _value; 220 221 public: 222 TypedMethodOptionMatcher(Symbol* class_name, Mode class_mode, 223 Symbol* method_name, Mode method_mode, 224 Symbol* signature, const char* opt, 225 const T value, MethodMatcher* next) : 226 MethodMatcher(class_name, class_mode, method_name, method_mode, signature, next), 227 _type(get_type_for<T>()), _value(copy_value<T>(value)) { 228 _option = os::strdup_check_oom(opt); 229 } 230 231 ~TypedMethodOptionMatcher() { 232 os::free((void*)_option); 233 } 234 235 TypedMethodOptionMatcher* match(methodHandle method, const char* opt) { 236 TypedMethodOptionMatcher* current = this; 237 while (current != NULL) { 238 current = (TypedMethodOptionMatcher*)current->find(method); 239 if (current == NULL) { 240 return NULL; 241 } 242 if (strcmp(current->_option, opt) == 0) { 243 return current; 244 } 245 current = current->next(); 246 } 247 return NULL; 248 } 249 250 TypedMethodOptionMatcher* next() { 251 return (TypedMethodOptionMatcher*)_next; 252 } 253 254 OptionType get_type(void) { 255 return _type; 256 }; 257 258 T value() { return _value; } 259 260 void print() { 261 ttyLocker ttyl; 262 print_base(); 263 tty->print(" %s", _option); 264 tty->print(" <unknown option type>"); 265 tty->cr(); 266 } 267 }; 268 269 template<> 270 void TypedMethodOptionMatcher<intx>::print() { 271 ttyLocker ttyl; 272 print_base(); 273 tty->print(" intx %s", _option); 274 tty->print(" = " INTX_FORMAT, _value); 275 tty->cr(); 276 }; 277 278 template<> 279 void TypedMethodOptionMatcher<uintx>::print() { 280 ttyLocker ttyl; 281 print_base(); 282 tty->print(" uintx %s", _option); 283 tty->print(" = " UINTX_FORMAT, _value); 284 tty->cr(); 285 }; 286 287 template<> 288 void TypedMethodOptionMatcher<bool>::print() { 289 ttyLocker ttyl; 290 print_base(); 291 tty->print(" bool %s", _option); 292 tty->print(" = %s", _value ? "true" : "false"); 293 tty->cr(); 294 }; 295 296 template<> 297 void TypedMethodOptionMatcher<ccstr>::print() { 298 ttyLocker ttyl; 299 print_base(); 300 tty->print(" const char* %s", _option); 301 tty->print(" = '%s'", _value); 302 tty->cr(); 303 }; 304 305 template<> 306 void TypedMethodOptionMatcher<double>::print() { 307 ttyLocker ttyl; 308 print_base(); 309 tty->print(" double %s", _option); 310 tty->print(" = %f", _value); 311 tty->cr(); 312 }; 313 314 // this must parallel the command_names below 315 enum OracleCommand { 316 UnknownCommand = -1, 317 OracleFirstCommand = 0, 318 BreakCommand = OracleFirstCommand, 319 PrintCommand, 320 ExcludeCommand, 321 InlineCommand, 322 DontInlineCommand, 323 CompileOnlyCommand, 324 LogCommand, 325 OptionCommand, 326 QuietCommand, 327 HelpCommand, 328 OracleCommandCount 329 }; 330 331 // this must parallel the enum OracleCommand 332 static const char * command_names[] = { 333 "break", 334 "print", 335 "exclude", 336 "inline", 337 "dontinline", 338 "compileonly", 339 "log", 340 "option", 341 "quiet", 342 "help" 343 }; 344 345 class MethodMatcher; 346 static MethodMatcher* lists[OracleCommandCount] = { 0, }; 347 348 349 static bool check_predicate(OracleCommand command, methodHandle method) { 350 return ((lists[command] != NULL) && 351 !method.is_null() && 352 lists[command]->match(method)); 353 } 354 355 356 static MethodMatcher* add_predicate(OracleCommand command, 357 Symbol* class_name, MethodMatcher::Mode c_mode, 358 Symbol* method_name, MethodMatcher::Mode m_mode, 359 Symbol* signature) { 360 assert(command != OptionCommand, "must use add_option_string"); 361 if (command == LogCommand && !LogCompilation && lists[LogCommand] == NULL) 362 tty->print_cr("Warning: +LogCompilation must be enabled in order for individual methods to be logged."); 363 lists[command] = new MethodMatcher(class_name, c_mode, method_name, m_mode, signature, lists[command]); 364 return lists[command]; 365 } 366 367 template<typename T> 368 static MethodMatcher* add_option_string(Symbol* class_name, MethodMatcher::Mode c_mode, 369 Symbol* method_name, MethodMatcher::Mode m_mode, 370 Symbol* signature, 371 const char* option, 372 T value) { 373 lists[OptionCommand] = new TypedMethodOptionMatcher<T>(class_name, c_mode, method_name, m_mode, 374 signature, option, value, lists[OptionCommand]); 375 return lists[OptionCommand]; 376 } 377 378 template<typename T> 379 static bool get_option_value(methodHandle method, const char* option, T& value) { 380 TypedMethodOptionMatcher<T>* m; 381 if (lists[OptionCommand] != NULL 382 && (m = ((TypedMethodOptionMatcher<T>*)lists[OptionCommand])->match(method, option)) != NULL 383 && m->get_type() == get_type_for<T>()) { 384 value = m->value(); 385 return true; 386 } else { 387 return false; 388 } 389 } 390 391 bool CompilerOracle::has_option_string(methodHandle method, const char* option) { 392 bool value = false; 393 get_option_value(method, option, value); 394 return value; 395 } 396 397 template<typename T> 398 bool CompilerOracle::has_option_value(methodHandle method, const char* option, T& value) { 399 return ::get_option_value(method, option, value); 400 } 401 402 // Explicit instantiation for all OptionTypes supported. 403 template bool CompilerOracle::has_option_value<intx>(methodHandle method, const char* option, intx& value); 404 template bool CompilerOracle::has_option_value<uintx>(methodHandle method, const char* option, uintx& value); 405 template bool CompilerOracle::has_option_value<bool>(methodHandle method, const char* option, bool& value); 406 template bool CompilerOracle::has_option_value<ccstr>(methodHandle method, const char* option, ccstr& value); 407 template bool CompilerOracle::has_option_value<double>(methodHandle method, const char* option, double& value); 408 409 bool CompilerOracle::should_exclude(methodHandle method, bool& quietly) { 410 quietly = true; 411 if (lists[ExcludeCommand] != NULL) { 412 if (lists[ExcludeCommand]->match(method)) { 413 quietly = _quiet; 414 return true; 415 } 416 } 417 418 if (lists[CompileOnlyCommand] != NULL) { 419 return !lists[CompileOnlyCommand]->match(method); 420 } 421 return false; 422 } 423 424 425 bool CompilerOracle::should_inline(methodHandle method) { 426 return (check_predicate(InlineCommand, method)); 427 } 428 429 430 bool CompilerOracle::should_not_inline(methodHandle method) { 431 return (check_predicate(DontInlineCommand, method)); 432 } 433 434 435 bool CompilerOracle::should_print(methodHandle method) { 436 return (check_predicate(PrintCommand, method)); 437 } 438 439 bool CompilerOracle::should_print_methods() { 440 return lists[PrintCommand] != NULL; 441 } 442 443 bool CompilerOracle::should_log(methodHandle method) { 444 if (!LogCompilation) return false; 445 if (lists[LogCommand] == NULL) return true; // by default, log all 446 return (check_predicate(LogCommand, method)); 447 } 448 449 450 bool CompilerOracle::should_break_at(methodHandle method) { 451 return check_predicate(BreakCommand, method); 452 } 453 454 455 static OracleCommand parse_command_name(const char * line, int* bytes_read) { 456 assert(ARRAY_SIZE(command_names) == OracleCommandCount, 457 "command_names size mismatch"); 458 459 *bytes_read = 0; 460 char command[33]; 461 int result = sscanf(line, "%32[a-z]%n", command, bytes_read); 462 for (uint i = 0; i < ARRAY_SIZE(command_names); i++) { 463 if (strcmp(command, command_names[i]) == 0) { 464 return (OracleCommand)i; 465 } 466 } 467 return UnknownCommand; 468 } 469 470 471 static void usage() { 472 tty->print_cr(" CompileCommand and the CompilerOracle allows simple control over"); 473 tty->print_cr(" what's allowed to be compiled. The standard supported directives"); 474 tty->print_cr(" are exclude and compileonly. The exclude directive stops a method"); 475 tty->print_cr(" from being compiled and compileonly excludes all methods except for"); 476 tty->print_cr(" the ones mentioned by compileonly directives. The basic form of"); 477 tty->print_cr(" all commands is a command name followed by the name of the method"); 478 tty->print_cr(" in one of two forms: the standard class file format as in"); 479 tty->print_cr(" class/name.methodName or the PrintCompilation format"); 480 tty->print_cr(" class.name::methodName. The method name can optionally be followed"); 481 tty->print_cr(" by a space then the signature of the method in the class file"); 482 tty->print_cr(" format. Otherwise the directive applies to all methods with the"); 483 tty->print_cr(" same name and class regardless of signature. Leading and trailing"); 484 tty->print_cr(" *'s in the class and/or method name allows a small amount of"); 485 tty->print_cr(" wildcarding. "); 486 tty->cr(); 487 tty->print_cr(" Examples:"); 488 tty->cr(); 489 tty->print_cr(" exclude java/lang/StringBuffer.append"); 490 tty->print_cr(" compileonly java/lang/StringBuffer.toString ()Ljava/lang/String;"); 491 tty->print_cr(" exclude java/lang/String*.*"); 492 tty->print_cr(" exclude *.toString"); 493 } 494 495 // The characters allowed in a class or method name. 496 // Chars in ascii range 0x00-0x7f can only exist in UTF8 single byte encoding. 497 // The range 0xc00-0xf7 is the first byte in a multibyte sequence 498 // The range 0x80-0xbf are for the followers in a multibyte sequence 499 // The range 0xf7-0xff can not exist in any position. 500 // 0x00 is a legal part identifer but we can not support that. 501 // The parser accepts all matching Charachter.isJavaIdentiferPart - 502 // that means some illegal patterns may be specified. They will never 503 // match any method or class. 504 505 #define RANGEBASE "\x1\x2\x3\x4\x5\x6\x7\x8\xe\xf" \ 506 "\x10\x11\x12\x13\x14\x15\x16\x17\x18\x19\x1a\x1b" \ 507 "\x24" \ 508 "\x30\x31\x32\x33\x34\x35\x36\x37\x38\x39" \ 509 "\x41\x42\x43\x44\x45\x46\x47\x48\x49\x4a\x4b\x4c\x4d\x4e\x4f" \ 510 "\x50\x51\x52\x53\x54\x55\x56\x57\x58\x59\x5a\x5f" \ 511 "\x61\x62\x63\x64\x65\x66\x67\x68\x69\x6a\x6b\x6c\x6d\x6e\x6f" \ 512 "\x70\x71\x72\x73\x74\x75\x76\x77\x78\x79\x7a\x7f" \ 513 "\x80\x81\x82\x83\x84\x85\x86\x87\x88\x89\x8a\x8b\x8c\x8d\x8e\x8f" \ 514 "\x90\x91\x92\x93\x94\x95\x96\x97\x98\x99\x9a\x9b\x9c\x9d\x9e\x9f" \ 515 "\xa0\xa1\xa2\xa3\xa4\xa5\xa6\xa7\xa8\xa9\xaa\xab\xac\xad\xae\xaf" \ 516 "\xb0\xb1\xb2\xb3\xb4\xb5\xb6\xb7\xb8\xb9\xba\xbb\xbc\xbd\xbe\xbf" \ 517 "\xc0\xc1\xc2\xc3\xc4\xc5\xc6\xc7\xc8\xc9\xca\xcb\xcc\xcd\xce\xcf" \ 518 "\xd0\xd1\xd2\xd3\xd4\xd5\xd6\xd7\xd8\xd9\xda\xdb\xdc\xdd\xde\xdf" \ 519 "\xe0\xe1\xe2\xe3\xe4\xe5\xe6\xe7\xe8\xe9\xea\xeb\xec\xed\xee\xef" \ 520 "\xf0\xf1\xf2\xf3\xf4\xf5\xf6\xf7" 521 522 #define RANGE0 "[*" RANGEBASE "]" 523 #define RANGESLASH "[*" RANGEBASE "/]" 524 525 static MethodMatcher::Mode check_mode(char name[], const char*& error_msg) { 526 int match = MethodMatcher::Exact; 527 while (name[0] == '*') { 528 match |= MethodMatcher::Suffix; 529 strcpy(name, name + 1); 530 } 531 532 if (strcmp(name, "*") == 0) return MethodMatcher::Any; 533 534 size_t len = strlen(name); 535 while (len > 0 && name[len - 1] == '*') { 536 match |= MethodMatcher::Prefix; 537 name[--len] = '\0'; 538 } 539 540 if (strstr(name, "*") != NULL) { 541 error_msg = " Embedded * not allowed"; 542 return MethodMatcher::Unknown; 543 } 544 return (MethodMatcher::Mode)match; 545 } 546 547 static bool scan_line(const char * line, 548 char class_name[], MethodMatcher::Mode* c_mode, 549 char method_name[], MethodMatcher::Mode* m_mode, 550 int* bytes_read, const char*& error_msg) { 551 *bytes_read = 0; 552 error_msg = NULL; 553 if (2 == sscanf(line, "%*[ \t]%255" RANGESLASH "%*[ ]" "%255" RANGE0 "%n", class_name, method_name, bytes_read)) { 554 *c_mode = check_mode(class_name, error_msg); 555 *m_mode = check_mode(method_name, error_msg); 556 return *c_mode != MethodMatcher::Unknown && *m_mode != MethodMatcher::Unknown; 557 } 558 return false; 559 } 560 561 562 563 // Scan next flag and value in line, return MethodMatcher object on success, NULL on failure. 564 // On failure, error_msg contains description for the first error. 565 // For future extensions: set error_msg on first error. 566 static MethodMatcher* scan_flag_and_value(const char* type, const char* line, int& total_bytes_read, 567 Symbol* c_name, MethodMatcher::Mode c_match, 568 Symbol* m_name, MethodMatcher::Mode m_match, 569 Symbol* signature, 570 char* errorbuf, const int buf_size) { 571 total_bytes_read = 0; 572 int bytes_read = 0; 573 char flag[256]; 574 575 // Read flag name. 576 if (sscanf(line, "%*[ \t]%255[a-zA-Z0-9]%n", flag, &bytes_read) == 1) { 577 line += bytes_read; 578 total_bytes_read += bytes_read; 579 580 // Read value. 581 if (strcmp(type, "intx") == 0) { 582 intx value; 583 if (sscanf(line, "%*[ \t]" INTX_FORMAT "%n", &value, &bytes_read) == 1) { 584 total_bytes_read += bytes_read; 585 return add_option_string(c_name, c_match, m_name, m_match, signature, flag, value); 586 } else { 587 jio_snprintf(errorbuf, buf_size, " Value cannot be read for flag %s of type %s ", flag, type); 588 } 589 } else if (strcmp(type, "uintx") == 0) { 590 uintx value; 591 if (sscanf(line, "%*[ \t]" UINTX_FORMAT "%n", &value, &bytes_read) == 1) { 592 total_bytes_read += bytes_read; 593 return add_option_string(c_name, c_match, m_name, m_match, signature, flag, value); 594 } else { 595 jio_snprintf(errorbuf, buf_size, " Value cannot be read for flag %s of type %s", flag, type); 596 } 597 } else if (strcmp(type, "ccstr") == 0) { 598 ResourceMark rm; 599 char* value = NEW_RESOURCE_ARRAY(char, strlen(line) + 1); 600 if (sscanf(line, "%*[ \t]%255[_a-zA-Z0-9]%n", value, &bytes_read) == 1) { 601 total_bytes_read += bytes_read; 602 return add_option_string(c_name, c_match, m_name, m_match, signature, flag, (ccstr)value); 603 } else { 604 jio_snprintf(errorbuf, buf_size, " Value cannot be read for flag %s of type %s", flag, type); 605 } 606 } else if (strcmp(type, "ccstrlist") == 0) { 607 // Accumulates several strings into one. The internal type is ccstr. 608 ResourceMark rm; 609 char* value = NEW_RESOURCE_ARRAY(char, strlen(line) + 1); 610 char* next_value = value; 611 if (sscanf(line, "%*[ \t]%255[_a-zA-Z0-9]%n", next_value, &bytes_read) == 1) { 612 total_bytes_read += bytes_read; 613 line += bytes_read; 614 next_value += bytes_read; 615 char* end_value = next_value-1; 616 while (sscanf(line, "%*[ \t]%255[_a-zA-Z0-9]%n", next_value, &bytes_read) == 1) { 617 total_bytes_read += bytes_read; 618 line += bytes_read; 619 *end_value = ' '; // override '\0' 620 next_value += bytes_read; 621 end_value = next_value-1; 622 } 623 return add_option_string(c_name, c_match, m_name, m_match, signature, flag, (ccstr)value); 624 } else { 625 jio_snprintf(errorbuf, buf_size, " Value cannot be read for flag %s of type %s", flag, type); 626 } 627 } else if (strcmp(type, "bool") == 0) { 628 char value[256]; 629 if (sscanf(line, "%*[ \t]%255[a-zA-Z]%n", value, &bytes_read) == 1) { 630 if (strcmp(value, "true") == 0) { 631 total_bytes_read += bytes_read; 632 return add_option_string(c_name, c_match, m_name, m_match, signature, flag, true); 633 } else if (strcmp(value, "false") == 0) { 634 total_bytes_read += bytes_read; 635 return add_option_string(c_name, c_match, m_name, m_match, signature, flag, false); 636 } else { 637 jio_snprintf(errorbuf, buf_size, " Value cannot be read for flag %s of type %s", flag, type); 638 } 639 } else { 640 jio_snprintf(errorbuf, sizeof(errorbuf), " Value cannot be read for flag %s of type %s", flag, type); 641 } 642 } else if (strcmp(type, "double") == 0) { 643 char buffer[2][256]; 644 // Decimal separator '.' has been replaced with ' ' or '/' earlier, 645 // so read integer and fraction part of double value separately. 646 if (sscanf(line, "%*[ \t]%255[0-9]%*[ /\t]%255[0-9]%n", buffer[0], buffer[1], &bytes_read) == 2) { 647 char value[512] = ""; 648 strncat(value, buffer[0], 255); 649 strcat(value, "."); 650 strncat(value, buffer[1], 255); 651 total_bytes_read += bytes_read; 652 return add_option_string(c_name, c_match, m_name, m_match, signature, flag, atof(value)); 653 } else { 654 jio_snprintf(errorbuf, buf_size, " Value cannot be read for flag %s of type %s", flag, type); 655 } 656 } else { 657 jio_snprintf(errorbuf, sizeof(errorbuf), " Type %s not supported ", type); 658 } 659 } else { 660 jio_snprintf(errorbuf, sizeof(errorbuf), " Flag name for type %s should be alphanumeric ", type); 661 } 662 return NULL; 663 } 664 665 void CompilerOracle::parse_from_line(char* line) { 666 if (line[0] == '\0') return; 667 if (line[0] == '#') return; 668 669 bool have_colon = (strstr(line, "::") != NULL); 670 for (char* lp = line; *lp != '\0'; lp++) { 671 // Allow '.' to separate the class name from the method name. 672 // This is the preferred spelling of methods: 673 // exclude java/lang/String.indexOf(I)I 674 // Allow ',' for spaces (eases command line quoting). 675 // exclude,java/lang/String.indexOf 676 // For backward compatibility, allow space as separator also. 677 // exclude java/lang/String indexOf 678 // exclude,java/lang/String,indexOf 679 // For easy cut-and-paste of method names, allow VM output format 680 // as produced by Method::print_short_name: 681 // exclude java.lang.String::indexOf 682 // For simple implementation convenience here, convert them all to space. 683 if (have_colon) { 684 if (*lp == '.') *lp = '/'; // dots build the package prefix 685 if (*lp == ':') *lp = ' '; 686 } 687 if (*lp == ',' || *lp == '.') *lp = ' '; 688 } 689 690 char* original_line = line; 691 int bytes_read; 692 OracleCommand command = parse_command_name(line, &bytes_read); 693 line += bytes_read; 694 ResourceMark rm; 695 696 if (command == UnknownCommand) { 697 ttyLocker ttyl; 698 tty->print_cr("CompileCommand: unrecognized command"); 699 tty->print_cr(" \"%s\"", original_line); 700 return; 701 } 702 703 if (command == QuietCommand) { 704 _quiet = true; 705 return; 706 } 707 708 if (command == HelpCommand) { 709 usage(); 710 return; 711 } 712 713 MethodMatcher::Mode c_match = MethodMatcher::Exact; 714 MethodMatcher::Mode m_match = MethodMatcher::Exact; 715 char class_name[256]; 716 char method_name[256]; 717 char sig[1024]; 718 char errorbuf[1024]; 719 const char* error_msg = NULL; // description of first error that appears 720 MethodMatcher* match = NULL; 721 722 if (scan_line(line, class_name, &c_match, method_name, &m_match, &bytes_read, error_msg)) { 723 EXCEPTION_MARK; 724 Symbol* c_name = SymbolTable::new_symbol(class_name, CHECK); 725 Symbol* m_name = SymbolTable::new_symbol(method_name, CHECK); 726 Symbol* signature = NULL; 727 728 line += bytes_read; 729 // there might be a signature following the method. 730 // signatures always begin with ( so match that by hand 731 if (1 == sscanf(line, "%*[ \t](%254[[);/" RANGEBASE "]%n", sig + 1, &bytes_read)) { 732 sig[0] = '('; 733 line += bytes_read; 734 signature = SymbolTable::new_symbol(sig, CHECK); 735 } 736 737 if (command == OptionCommand) { 738 // Look for trailing options. 739 // 740 // Two types of trailing options are 741 // supported: 742 // 743 // (1) CompileCommand=option,Klass::method,flag 744 // (2) CompileCommand=option,Klass::method,type,flag,value 745 // 746 // Type (1) is used to enable a boolean flag for a method. 747 // 748 // Type (2) is used to support options with a value. Values can have the 749 // the following types: intx, uintx, bool, ccstr, ccstrlist, and double. 750 // 751 // For future extensions: extend scan_flag_and_value() 752 char option[256]; // stores flag for Type (1) and type of Type (2) 753 while (sscanf(line, "%*[ \t]%255[a-zA-Z0-9]%n", option, &bytes_read) == 1) { 754 if (match != NULL && !_quiet) { 755 // Print out the last match added 756 ttyLocker ttyl; 757 tty->print("CompileCommand: %s ", command_names[command]); 758 match->print(); 759 } 760 line += bytes_read; 761 762 if (strcmp(option, "intx") == 0 763 || strcmp(option, "uintx") == 0 764 || strcmp(option, "bool") == 0 765 || strcmp(option, "ccstr") == 0 766 || strcmp(option, "ccstrlist") == 0 767 || strcmp(option, "double") == 0 768 ) { 769 770 // Type (2) option: parse flag name and value. 771 match = scan_flag_and_value(option, line, bytes_read, 772 c_name, c_match, m_name, m_match, signature, 773 errorbuf, sizeof(errorbuf)); 774 if (match == NULL) { 775 error_msg = errorbuf; 776 break; 777 } 778 line += bytes_read; 779 } else { 780 // Type (1) option 781 match = add_option_string(c_name, c_match, m_name, m_match, signature, option, true); 782 } 783 } // while( 784 } else { 785 match = add_predicate(command, c_name, c_match, m_name, m_match, signature); 786 } 787 } 788 789 ttyLocker ttyl; 790 if (error_msg != NULL) { 791 // an error has happened 792 tty->print_cr("CompileCommand: An error occured during parsing"); 793 tty->print_cr(" \"%s\"", original_line); 794 if (error_msg != NULL) { 795 tty->print_cr("%s", error_msg); 796 } 797 } else { 798 // check for remaining characters 799 bytes_read = 0; 800 sscanf(line, "%*[ \t]%n", &bytes_read); 801 if (line[bytes_read] != '\0') { 802 tty->print_cr("CompileCommand: Bad pattern"); 803 tty->print_cr(" \"%s\"", original_line); 804 tty->print_cr(" Unrecognized text %s after command ", line); 805 } else if (match != NULL && !_quiet) { 806 tty->print("CompilerCommand: %s ", command_names[command]); 807 match->print(); 808 } 809 } 810 } 811 812 static const char* default_cc_file = ".hotspot_compiler"; 813 814 static const char* cc_file() { 815 #ifdef ASSERT 816 if (CompileCommandFile == NULL) 817 return default_cc_file; 818 #endif 819 return CompileCommandFile; 820 } 821 822 bool CompilerOracle::has_command_file() { 823 return cc_file() != NULL; 824 } 825 826 bool CompilerOracle::_quiet = false; 827 828 void CompilerOracle::parse_from_file() { 829 assert(has_command_file(), "command file must be specified"); 830 FILE* stream = fopen(cc_file(), "rt"); 831 if (stream == NULL) return; 832 833 char token[1024]; 834 int pos = 0; 835 int c = getc(stream); 836 while(c != EOF && pos < (int)(sizeof(token)-1)) { 837 if (c == '\n') { 838 token[pos++] = '\0'; 839 parse_from_line(token); 840 pos = 0; 841 } else { 842 token[pos++] = c; 843 } 844 c = getc(stream); 845 } 846 token[pos++] = '\0'; 847 parse_from_line(token); 848 849 fclose(stream); 850 } 851 852 void CompilerOracle::parse_from_string(const char* str, void (*parse_line)(char*)) { 853 char token[1024]; 854 int pos = 0; 855 const char* sp = str; 856 int c = *sp++; 857 while (c != '\0' && pos < (int)(sizeof(token)-1)) { 858 if (c == '\n') { 859 token[pos++] = '\0'; 860 parse_line(token); 861 pos = 0; 862 } else { 863 token[pos++] = c; 864 } 865 c = *sp++; 866 } 867 token[pos++] = '\0'; 868 parse_line(token); 869 } 870 871 void CompilerOracle::append_comment_to_file(const char* message) { 872 assert(has_command_file(), "command file must be specified"); 873 fileStream stream(fopen(cc_file(), "at")); 874 stream.print("# "); 875 for (int index = 0; message[index] != '\0'; index++) { 876 stream.put(message[index]); 877 if (message[index] == '\n') stream.print("# "); 878 } 879 stream.cr(); 880 } 881 882 void CompilerOracle::append_exclude_to_file(methodHandle method) { 883 assert(has_command_file(), "command file must be specified"); 884 fileStream stream(fopen(cc_file(), "at")); 885 stream.print("exclude "); 886 method->method_holder()->name()->print_symbol_on(&stream); 887 stream.print("."); 888 method->name()->print_symbol_on(&stream); 889 method->signature()->print_symbol_on(&stream); 890 stream.cr(); 891 stream.cr(); 892 } 893 894 895 void compilerOracle_init() { 896 CompilerOracle::parse_from_string(CompileCommand, CompilerOracle::parse_from_line); 897 CompilerOracle::parse_from_string(CompileOnly, CompilerOracle::parse_compile_only); 898 if (CompilerOracle::has_command_file()) { 899 CompilerOracle::parse_from_file(); 900 } else { 901 struct stat buf; 902 if (os::stat(default_cc_file, &buf) == 0) { 903 warning("%s file is present but has been ignored. " 904 "Run with -XX:CompileCommandFile=%s to load the file.", 905 default_cc_file, default_cc_file); 906 } 907 } 908 if (lists[PrintCommand] != NULL) { 909 if (PrintAssembly) { 910 warning("CompileCommand and/or %s file contains 'print' commands, but PrintAssembly is also enabled", default_cc_file); 911 } else if (FLAG_IS_DEFAULT(DebugNonSafepoints)) { 912 warning("printing of assembly code is enabled; turning on DebugNonSafepoints to gain additional output"); 913 DebugNonSafepoints = true; 914 } 915 } 916 } 917 918 919 void CompilerOracle::parse_compile_only(char * line) { 920 int i; 921 char name[1024]; 922 const char* className = NULL; 923 const char* methodName = NULL; 924 925 bool have_colon = (strstr(line, "::") != NULL); 926 char method_sep = have_colon ? ':' : '.'; 927 928 if (Verbose) { 929 tty->print_cr("%s", line); 930 } 931 932 ResourceMark rm; 933 while (*line != '\0') { 934 MethodMatcher::Mode c_match = MethodMatcher::Exact; 935 MethodMatcher::Mode m_match = MethodMatcher::Exact; 936 937 for (i = 0; 938 i < 1024 && *line != '\0' && *line != method_sep && *line != ',' && !isspace(*line); 939 line++, i++) { 940 name[i] = *line; 941 if (name[i] == '.') name[i] = '/'; // package prefix uses '/' 942 } 943 944 if (i > 0) { 945 char* newName = NEW_RESOURCE_ARRAY( char, i + 1); 946 if (newName == NULL) 947 return; 948 strncpy(newName, name, i); 949 newName[i] = '\0'; 950 951 if (className == NULL) { 952 className = newName; 953 c_match = MethodMatcher::Prefix; 954 } else { 955 methodName = newName; 956 } 957 } 958 959 if (*line == method_sep) { 960 if (className == NULL) { 961 className = ""; 962 c_match = MethodMatcher::Any; 963 } else { 964 // foo/bar.blah is an exact match on foo/bar, bar.blah is a suffix match on bar 965 if (strchr(className, '/') != NULL) { 966 c_match = MethodMatcher::Exact; 967 } else { 968 c_match = MethodMatcher::Suffix; 969 } 970 } 971 } else { 972 // got foo or foo/bar 973 if (className == NULL) { 974 ShouldNotReachHere(); 975 } else { 976 // got foo or foo/bar 977 if (strchr(className, '/') != NULL) { 978 c_match = MethodMatcher::Prefix; 979 } else if (className[0] == '\0') { 980 c_match = MethodMatcher::Any; 981 } else { 982 c_match = MethodMatcher::Substring; 983 } 984 } 985 } 986 987 // each directive is terminated by , or NUL or . followed by NUL 988 if (*line == ',' || *line == '\0' || (line[0] == '.' && line[1] == '\0')) { 989 if (methodName == NULL) { 990 methodName = ""; 991 if (*line != method_sep) { 992 m_match = MethodMatcher::Any; 993 } 994 } 995 996 EXCEPTION_MARK; 997 Symbol* c_name = SymbolTable::new_symbol(className, CHECK); 998 Symbol* m_name = SymbolTable::new_symbol(methodName, CHECK); 999 Symbol* signature = NULL; 1000 1001 add_predicate(CompileOnlyCommand, c_name, c_match, m_name, m_match, signature); 1002 if (PrintVMOptions) { 1003 tty->print("CompileOnly: compileonly "); 1004 lists[CompileOnlyCommand]->print(); 1005 } 1006 1007 className = NULL; 1008 methodName = NULL; 1009 } 1010 1011 line = *line == '\0' ? line : line + 1; 1012 } 1013 }