src/share/vm/runtime/signature.cpp

Wed, 31 Jan 2018 19:24:57 -0500

author
dbuck
date
Wed, 31 Jan 2018 19:24:57 -0500
changeset 9289
427b2fb1944f
parent 8562
56e96eb12a4b
child 8604
04d83ba48607
permissions
-rw-r--r--

8189170: Add option to disable stack overflow checking in primordial thread for use with JNI_CreateJavaJVM
Reviewed-by: dcubed

duke@435 1 /*
drchase@6680 2 * Copyright (c) 1997, 2014, Oracle and/or its affiliates. All rights reserved.
duke@435 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435 4 *
duke@435 5 * This code is free software; you can redistribute it and/or modify it
duke@435 6 * under the terms of the GNU General Public License version 2 only, as
duke@435 7 * published by the Free Software Foundation.
duke@435 8 *
duke@435 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@435 13 * accompanied this code).
duke@435 14 *
duke@435 15 * You should have received a copy of the GNU General Public License version
duke@435 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@435 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435 18 *
trims@1907 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907 20 * or visit www.oracle.com if you need additional information or have any
trims@1907 21 * questions.
duke@435 22 *
duke@435 23 */
duke@435 24
stefank@2314 25 #include "precompiled.hpp"
stefank@2314 26 #include "classfile/symbolTable.hpp"
stefank@2314 27 #include "classfile/systemDictionary.hpp"
stefank@2314 28 #include "memory/oopFactory.hpp"
stefank@2314 29 #include "oops/instanceKlass.hpp"
stefank@2314 30 #include "oops/oop.inline.hpp"
coleenp@2497 31 #include "oops/symbol.hpp"
stefank@2314 32 #include "oops/typeArrayKlass.hpp"
stefank@2314 33 #include "runtime/signature.hpp"
duke@435 34
drchase@6680 35 PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC
duke@435 36
duke@435 37 // Implementation of SignatureIterator
duke@435 38
duke@435 39 // Signature syntax:
duke@435 40 //
duke@435 41 // Signature = "(" {Parameter} ")" ReturnType.
duke@435 42 // Parameter = FieldType.
duke@435 43 // ReturnType = FieldType | "V".
duke@435 44 // FieldType = "B" | "C" | "D" | "F" | "I" | "J" | "S" | "Z" | "L" ClassName ";" | "[" FieldType.
duke@435 45 // ClassName = string.
duke@435 46
duke@435 47
coleenp@2497 48 SignatureIterator::SignatureIterator(Symbol* signature) {
duke@435 49 _signature = signature;
duke@435 50 _parameter_index = 0;
duke@435 51 }
duke@435 52
duke@435 53 void SignatureIterator::expect(char c) {
jcoomes@1845 54 if (_signature->byte_at(_index) != c) fatal(err_msg("expecting %c", c));
duke@435 55 _index++;
duke@435 56 }
duke@435 57
duke@435 58
duke@435 59 void SignatureIterator::skip_optional_size() {
coleenp@2497 60 Symbol* sig = _signature;
duke@435 61 char c = sig->byte_at(_index);
duke@435 62 while ('0' <= c && c <= '9') c = sig->byte_at(++_index);
duke@435 63 }
duke@435 64
duke@435 65
duke@435 66 int SignatureIterator::parse_type() {
duke@435 67 // Note: This function could be simplified by using "return T_XXX_size;"
duke@435 68 // instead of the assignment and the break statements. However, it
duke@435 69 // seems that the product build for win32_i486 with MS VC++ 6.0 doesn't
duke@435 70 // work (stack underflow for some tests) - this seems to be a VC++ 6.0
duke@435 71 // compiler bug (was problem - gri 4/27/2000).
duke@435 72 int size = -1;
duke@435 73 switch(_signature->byte_at(_index)) {
duke@435 74 case 'B': do_byte (); if (_parameter_index < 0 ) _return_type = T_BYTE;
duke@435 75 _index++; size = T_BYTE_size ; break;
duke@435 76 case 'C': do_char (); if (_parameter_index < 0 ) _return_type = T_CHAR;
duke@435 77 _index++; size = T_CHAR_size ; break;
duke@435 78 case 'D': do_double(); if (_parameter_index < 0 ) _return_type = T_DOUBLE;
duke@435 79 _index++; size = T_DOUBLE_size ; break;
duke@435 80 case 'F': do_float (); if (_parameter_index < 0 ) _return_type = T_FLOAT;
duke@435 81 _index++; size = T_FLOAT_size ; break;
duke@435 82 case 'I': do_int (); if (_parameter_index < 0 ) _return_type = T_INT;
duke@435 83 _index++; size = T_INT_size ; break;
duke@435 84 case 'J': do_long (); if (_parameter_index < 0 ) _return_type = T_LONG;
duke@435 85 _index++; size = T_LONG_size ; break;
duke@435 86 case 'S': do_short (); if (_parameter_index < 0 ) _return_type = T_SHORT;
duke@435 87 _index++; size = T_SHORT_size ; break;
duke@435 88 case 'Z': do_bool (); if (_parameter_index < 0 ) _return_type = T_BOOLEAN;
duke@435 89 _index++; size = T_BOOLEAN_size; break;
duke@435 90 case 'V': do_void (); if (_parameter_index < 0 ) _return_type = T_VOID;
duke@435 91 _index++; size = T_VOID_size; ; break;
duke@435 92 case 'L':
duke@435 93 { int begin = ++_index;
coleenp@2497 94 Symbol* sig = _signature;
duke@435 95 while (sig->byte_at(_index++) != ';') ;
duke@435 96 do_object(begin, _index);
duke@435 97 }
duke@435 98 if (_parameter_index < 0 ) _return_type = T_OBJECT;
duke@435 99 size = T_OBJECT_size;
duke@435 100 break;
duke@435 101 case '[':
duke@435 102 { int begin = ++_index;
duke@435 103 skip_optional_size();
coleenp@2497 104 Symbol* sig = _signature;
duke@435 105 while (sig->byte_at(_index) == '[') {
duke@435 106 _index++;
duke@435 107 skip_optional_size();
duke@435 108 }
duke@435 109 if (sig->byte_at(_index) == 'L') {
duke@435 110 while (sig->byte_at(_index++) != ';') ;
duke@435 111 } else {
duke@435 112 _index++;
duke@435 113 }
duke@435 114 do_array(begin, _index);
duke@435 115 if (_parameter_index < 0 ) _return_type = T_ARRAY;
duke@435 116 }
duke@435 117 size = T_ARRAY_size;
duke@435 118 break;
duke@435 119 default:
duke@435 120 ShouldNotReachHere();
duke@435 121 break;
duke@435 122 }
duke@435 123 assert(size >= 0, "size must be set");
duke@435 124 return size;
duke@435 125 }
duke@435 126
duke@435 127
duke@435 128 void SignatureIterator::check_signature_end() {
duke@435 129 if (_index < _signature->utf8_length()) {
duke@435 130 tty->print_cr("too many chars in signature");
duke@435 131 _signature->print_value_on(tty);
duke@435 132 tty->print_cr(" @ %d", _index);
duke@435 133 }
duke@435 134 }
duke@435 135
duke@435 136
duke@435 137 void SignatureIterator::dispatch_field() {
duke@435 138 // no '(', just one (field) type
duke@435 139 _index = 0;
duke@435 140 _parameter_index = 0;
duke@435 141 parse_type();
duke@435 142 check_signature_end();
duke@435 143 }
duke@435 144
duke@435 145
duke@435 146 void SignatureIterator::iterate_parameters() {
duke@435 147 // Parse parameters
duke@435 148 _index = 0;
duke@435 149 _parameter_index = 0;
duke@435 150 expect('(');
duke@435 151 while (_signature->byte_at(_index) != ')') _parameter_index += parse_type();
duke@435 152 expect(')');
duke@435 153 _parameter_index = 0;
duke@435 154 }
duke@435 155
duke@435 156 // Optimized version of iterat_parameters when fingerprint is known
duke@435 157 void SignatureIterator::iterate_parameters( uint64_t fingerprint ) {
duke@435 158 uint64_t saved_fingerprint = fingerprint;
duke@435 159
duke@435 160 // Check for too many arguments
duke@435 161 if ( fingerprint == UCONST64(-1) ) {
duke@435 162 SignatureIterator::iterate_parameters();
duke@435 163 return;
duke@435 164 }
duke@435 165
duke@435 166 assert(fingerprint, "Fingerprint should not be 0");
duke@435 167
duke@435 168 _parameter_index = 0;
duke@435 169 fingerprint = fingerprint >> (static_feature_size + result_feature_size);
duke@435 170 while ( 1 ) {
duke@435 171 switch ( fingerprint & parameter_feature_mask ) {
duke@435 172 case bool_parm:
duke@435 173 do_bool();
duke@435 174 _parameter_index += T_BOOLEAN_size;
duke@435 175 break;
duke@435 176 case byte_parm:
duke@435 177 do_byte();
duke@435 178 _parameter_index += T_BYTE_size;
duke@435 179 break;
duke@435 180 case char_parm:
duke@435 181 do_char();
duke@435 182 _parameter_index += T_CHAR_size;
duke@435 183 break;
duke@435 184 case short_parm:
duke@435 185 do_short();
duke@435 186 _parameter_index += T_SHORT_size;
duke@435 187 break;
duke@435 188 case int_parm:
duke@435 189 do_int();
duke@435 190 _parameter_index += T_INT_size;
duke@435 191 break;
duke@435 192 case obj_parm:
duke@435 193 do_object(0, 0);
duke@435 194 _parameter_index += T_OBJECT_size;
duke@435 195 break;
duke@435 196 case long_parm:
duke@435 197 do_long();
duke@435 198 _parameter_index += T_LONG_size;
duke@435 199 break;
duke@435 200 case float_parm:
duke@435 201 do_float();
duke@435 202 _parameter_index += T_FLOAT_size;
duke@435 203 break;
duke@435 204 case double_parm:
duke@435 205 do_double();
duke@435 206 _parameter_index += T_DOUBLE_size;
duke@435 207 break;
duke@435 208 case done_parm:
duke@435 209 return;
duke@435 210 break;
duke@435 211 default:
duke@435 212 tty->print_cr("*** parameter is %d", fingerprint & parameter_feature_mask);
duke@435 213 tty->print_cr("*** fingerprint is " PTR64_FORMAT, saved_fingerprint);
duke@435 214 ShouldNotReachHere();
duke@435 215 break;
duke@435 216 }
duke@435 217 fingerprint >>= parameter_feature_size;
duke@435 218 }
duke@435 219 _parameter_index = 0;
duke@435 220 }
duke@435 221
duke@435 222
duke@435 223 void SignatureIterator::iterate_returntype() {
duke@435 224 // Ignore parameters
duke@435 225 _index = 0;
duke@435 226 expect('(');
coleenp@2497 227 Symbol* sig = _signature;
vkempik@8562 228 // Need to skip over each type in the signature's argument list until a
vkempik@8562 229 // closing ')' is found., then get the return type. We cannot just scan
vkempik@8562 230 // for the first ')' because ')' is a legal character in a type name.
vkempik@8562 231 while (sig->byte_at(_index) != ')') {
vkempik@8562 232 switch(sig->byte_at(_index)) {
vkempik@8562 233 case 'B':
vkempik@8562 234 case 'C':
vkempik@8562 235 case 'D':
vkempik@8562 236 case 'F':
vkempik@8562 237 case 'I':
vkempik@8562 238 case 'J':
vkempik@8562 239 case 'S':
vkempik@8562 240 case 'Z':
vkempik@8562 241 case 'V':
vkempik@8562 242 {
vkempik@8562 243 _index++;
vkempik@8562 244 }
vkempik@8562 245 break;
vkempik@8562 246 case 'L':
vkempik@8562 247 {
vkempik@8562 248 while (sig->byte_at(_index++) != ';') ;
vkempik@8562 249 }
vkempik@8562 250 break;
vkempik@8562 251 case '[':
vkempik@8562 252 {
vkempik@8562 253 int begin = ++_index;
vkempik@8562 254 skip_optional_size();
vkempik@8562 255 while (sig->byte_at(_index) == '[') {
vkempik@8562 256 _index++;
vkempik@8562 257 skip_optional_size();
vkempik@8562 258 }
vkempik@8562 259 if (sig->byte_at(_index) == 'L') {
vkempik@8562 260 while (sig->byte_at(_index++) != ';') ;
vkempik@8562 261 } else {
vkempik@8562 262 _index++;
vkempik@8562 263 }
vkempik@8562 264 }
vkempik@8562 265 break;
vkempik@8562 266 default:
vkempik@8562 267 ShouldNotReachHere();
vkempik@8562 268 break;
vkempik@8562 269 }
vkempik@8562 270 }
duke@435 271 expect(')');
duke@435 272 // Parse return type
duke@435 273 _parameter_index = -1;
duke@435 274 parse_type();
duke@435 275 check_signature_end();
duke@435 276 _parameter_index = 0;
duke@435 277 }
duke@435 278
duke@435 279
duke@435 280 void SignatureIterator::iterate() {
duke@435 281 // Parse parameters
duke@435 282 _parameter_index = 0;
duke@435 283 _index = 0;
duke@435 284 expect('(');
duke@435 285 while (_signature->byte_at(_index) != ')') _parameter_index += parse_type();
duke@435 286 expect(')');
duke@435 287 // Parse return type
duke@435 288 _parameter_index = -1;
duke@435 289 parse_type();
duke@435 290 check_signature_end();
duke@435 291 _parameter_index = 0;
duke@435 292 }
duke@435 293
duke@435 294
duke@435 295 // Implementation of SignatureStream
coleenp@2497 296 SignatureStream::SignatureStream(Symbol* signature, bool is_method) :
coleenp@2497 297 _signature(signature), _at_return_type(false) {
coleenp@2497 298 _begin = _end = (is_method ? 1 : 0); // skip first '(' in method signatures
coleenp@2497 299 _names = new GrowableArray<Symbol*>(10);
coleenp@2497 300 next();
coleenp@2497 301 }
coleenp@2497 302
coleenp@2497 303 SignatureStream::~SignatureStream() {
coleenp@2497 304 // decrement refcount for names created during signature parsing
coleenp@2497 305 for (int i = 0; i < _names->length(); i++) {
coleenp@2497 306 _names->at(i)->decrement_refcount();
coleenp@2497 307 }
coleenp@2497 308 }
duke@435 309
duke@435 310 bool SignatureStream::is_done() const {
coleenp@2497 311 return _end > _signature->utf8_length();
duke@435 312 }
duke@435 313
duke@435 314
duke@435 315 void SignatureStream::next_non_primitive(int t) {
duke@435 316 switch (t) {
duke@435 317 case 'L': {
duke@435 318 _type = T_OBJECT;
coleenp@2497 319 Symbol* sig = _signature;
duke@435 320 while (sig->byte_at(_end++) != ';');
duke@435 321 break;
duke@435 322 }
duke@435 323 case '[': {
duke@435 324 _type = T_ARRAY;
coleenp@2497 325 Symbol* sig = _signature;
duke@435 326 char c = sig->byte_at(_end);
duke@435 327 while ('0' <= c && c <= '9') c = sig->byte_at(_end++);
duke@435 328 while (sig->byte_at(_end) == '[') {
duke@435 329 _end++;
duke@435 330 c = sig->byte_at(_end);
duke@435 331 while ('0' <= c && c <= '9') c = sig->byte_at(_end++);
duke@435 332 }
duke@435 333 switch(sig->byte_at(_end)) {
duke@435 334 case 'B':
duke@435 335 case 'C':
duke@435 336 case 'D':
duke@435 337 case 'F':
duke@435 338 case 'I':
duke@435 339 case 'J':
duke@435 340 case 'S':
duke@435 341 case 'Z':_end++; break;
duke@435 342 default: {
duke@435 343 while (sig->byte_at(_end++) != ';');
duke@435 344 break;
duke@435 345 }
duke@435 346 }
duke@435 347 break;
duke@435 348 }
duke@435 349 case ')': _end++; next(); _at_return_type = true; break;
duke@435 350 default : ShouldNotReachHere();
duke@435 351 }
duke@435 352 }
duke@435 353
duke@435 354
duke@435 355 bool SignatureStream::is_object() const {
duke@435 356 return _type == T_OBJECT
duke@435 357 || _type == T_ARRAY;
duke@435 358 }
duke@435 359
duke@435 360 bool SignatureStream::is_array() const {
duke@435 361 return _type == T_ARRAY;
duke@435 362 }
duke@435 363
coleenp@2497 364 Symbol* SignatureStream::as_symbol(TRAPS) {
duke@435 365 // Create a symbol from for string _begin _end
duke@435 366 int begin = _begin;
duke@435 367 int end = _end;
duke@435 368
coleenp@2497 369 if ( _signature->byte_at(_begin) == 'L'
coleenp@2497 370 && _signature->byte_at(_end-1) == ';') {
duke@435 371 begin++;
duke@435 372 end--;
duke@435 373 }
duke@435 374
coleenp@2497 375 // Save names for cleaning up reference count at the end of
coleenp@2497 376 // SignatureStream scope.
coleenp@2497 377 Symbol* name = SymbolTable::new_symbol(_signature, begin, end, CHECK_NULL);
coleenp@2497 378 _names->push(name); // save new symbol for decrementing later
coleenp@2497 379 return name;
duke@435 380 }
duke@435 381
coleenp@4037 382 Klass* SignatureStream::as_klass(Handle class_loader, Handle protection_domain,
jrose@1863 383 FailureMode failure_mode, TRAPS) {
jrose@1863 384 if (!is_object()) return NULL;
coleenp@2497 385 Symbol* name = as_symbol(CHECK_NULL);
jrose@1863 386 if (failure_mode == ReturnNull) {
jrose@1863 387 return SystemDictionary::resolve_or_null(name, class_loader, protection_domain, THREAD);
jrose@1863 388 } else {
jrose@1863 389 bool throw_error = (failure_mode == NCDFError);
jrose@1863 390 return SystemDictionary::resolve_or_fail(name, class_loader, protection_domain, throw_error, THREAD);
jrose@1863 391 }
jrose@1863 392 }
jrose@1863 393
jrose@1863 394 oop SignatureStream::as_java_mirror(Handle class_loader, Handle protection_domain,
jrose@1863 395 FailureMode failure_mode, TRAPS) {
jrose@1863 396 if (!is_object())
jrose@1863 397 return Universe::java_mirror(type());
coleenp@4037 398 Klass* klass = as_klass(class_loader, protection_domain, failure_mode, CHECK_NULL);
jrose@1863 399 if (klass == NULL) return NULL;
hseigel@4278 400 return klass->java_mirror();
jrose@1863 401 }
duke@435 402
coleenp@2497 403 Symbol* SignatureStream::as_symbol_or_null() {
duke@435 404 // Create a symbol from for string _begin _end
duke@435 405 ResourceMark rm;
duke@435 406
duke@435 407 int begin = _begin;
duke@435 408 int end = _end;
duke@435 409
coleenp@2497 410 if ( _signature->byte_at(_begin) == 'L'
coleenp@2497 411 && _signature->byte_at(_end-1) == ';') {
duke@435 412 begin++;
duke@435 413 end--;
duke@435 414 }
duke@435 415
duke@435 416 char* buffer = NEW_RESOURCE_ARRAY(char, end - begin);
duke@435 417 for (int index = begin; index < end; index++) {
coleenp@2497 418 buffer[index - begin] = _signature->byte_at(index);
duke@435 419 }
coleenp@2497 420 Symbol* result = SymbolTable::probe(buffer, end - begin);
duke@435 421 return result;
duke@435 422 }
duke@435 423
roland@5914 424 int SignatureStream::reference_parameter_count() {
roland@5914 425 int args_count = 0;
roland@5914 426 for ( ; !at_return_type(); next()) {
roland@5914 427 if (is_object()) {
roland@5914 428 args_count++;
roland@5914 429 }
roland@5914 430 }
roland@5914 431 return args_count;
roland@5914 432 }
roland@5914 433
coleenp@2497 434 bool SignatureVerifier::is_valid_signature(Symbol* sig) {
duke@435 435 const char* signature = (const char*)sig->bytes();
duke@435 436 ssize_t len = sig->utf8_length();
duke@435 437 if (signature == NULL || signature[0] == '\0' || len < 1) {
duke@435 438 return false;
duke@435 439 } else if (signature[0] == '(') {
duke@435 440 return is_valid_method_signature(sig);
duke@435 441 } else {
duke@435 442 return is_valid_type_signature(sig);
duke@435 443 }
duke@435 444 }
duke@435 445
coleenp@2497 446 bool SignatureVerifier::is_valid_method_signature(Symbol* sig) {
duke@435 447 const char* method_sig = (const char*)sig->bytes();
duke@435 448 ssize_t len = sig->utf8_length();
duke@435 449 ssize_t index = 0;
duke@435 450 if (method_sig != NULL && len > 1 && method_sig[index] == '(') {
duke@435 451 ++index;
duke@435 452 while (index < len && method_sig[index] != ')') {
duke@435 453 ssize_t res = is_valid_type(&method_sig[index], len - index);
duke@435 454 if (res == -1) {
duke@435 455 return false;
duke@435 456 } else {
duke@435 457 index += res;
duke@435 458 }
duke@435 459 }
duke@435 460 if (index < len && method_sig[index] == ')') {
duke@435 461 // check the return type
duke@435 462 ++index;
duke@435 463 return (is_valid_type(&method_sig[index], len - index) == (len - index));
duke@435 464 }
duke@435 465 }
duke@435 466 return false;
duke@435 467 }
duke@435 468
coleenp@2497 469 bool SignatureVerifier::is_valid_type_signature(Symbol* sig) {
duke@435 470 const char* type_sig = (const char*)sig->bytes();
duke@435 471 ssize_t len = sig->utf8_length();
duke@435 472 return (type_sig != NULL && len >= 1 &&
duke@435 473 (is_valid_type(type_sig, len) == len));
duke@435 474 }
duke@435 475
duke@435 476 // Checks to see if the type (not to go beyond 'limit') refers to a valid type.
duke@435 477 // Returns -1 if it is not, or the index of the next character that is not part
duke@435 478 // of the type. The type encoding may end before 'limit' and that's ok.
duke@435 479 ssize_t SignatureVerifier::is_valid_type(const char* type, ssize_t limit) {
duke@435 480 ssize_t index = 0;
duke@435 481
duke@435 482 // Iterate over any number of array dimensions
duke@435 483 while (index < limit && type[index] == '[') ++index;
duke@435 484 if (index >= limit) {
duke@435 485 return -1;
duke@435 486 }
duke@435 487 switch (type[index]) {
duke@435 488 case 'B': case 'C': case 'D': case 'F': case 'I':
duke@435 489 case 'J': case 'S': case 'Z': case 'V':
duke@435 490 return index + 1;
duke@435 491 case 'L':
duke@435 492 for (index = index + 1; index < limit; ++index) {
duke@435 493 char c = type[index];
duke@435 494 if (c == ';') {
duke@435 495 return index + 1;
duke@435 496 }
duke@435 497 if (invalid_name_char(c)) {
duke@435 498 return -1;
duke@435 499 }
duke@435 500 }
duke@435 501 // fall through
duke@435 502 default: ; // fall through
duke@435 503 }
duke@435 504 return -1;
duke@435 505 }
duke@435 506
duke@435 507 bool SignatureVerifier::invalid_name_char(char c) {
duke@435 508 switch (c) {
duke@435 509 case '\0': case '.': case ';': case '[':
duke@435 510 return true;
duke@435 511 default:
duke@435 512 return false;
duke@435 513 }
duke@435 514 }

mercurial