src/share/vm/ci/ciInstanceKlass.cpp

Wed, 09 Jun 2010 18:50:45 -0700

author
jrose
date
Wed, 09 Jun 2010 18:50:45 -0700
changeset 1957
136b78722a08
parent 1907
c18cbe5936b8
child 1959
b918d354830a
permissions
-rw-r--r--

6939203: JSR 292 needs method handle constants
Summary: Add new CP types CONSTANT_MethodHandle, CONSTANT_MethodType; extend 'ldc' bytecode.
Reviewed-by: twisti, never

     1 /*
     2  * Copyright (c) 1999, 2008, 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  */
    25 #include "incls/_precompiled.incl"
    26 #include "incls/_ciInstanceKlass.cpp.incl"
    28 // ciInstanceKlass
    29 //
    30 // This class represents a klassOop in the HotSpot virtual machine
    31 // whose Klass part in an instanceKlass.
    33 // ------------------------------------------------------------------
    34 // ciInstanceKlass::ciInstanceKlass
    35 //
    36 // Loaded instance klass.
    37 ciInstanceKlass::ciInstanceKlass(KlassHandle h_k) :
    38   ciKlass(h_k), _non_static_fields(NULL)
    39 {
    40   assert(get_Klass()->oop_is_instance(), "wrong type");
    41   instanceKlass* ik = get_instanceKlass();
    43   AccessFlags access_flags = ik->access_flags();
    44   _flags = ciFlags(access_flags);
    45   _has_finalizer = access_flags.has_finalizer();
    46   _has_subklass = ik->subklass() != NULL;
    47   _is_initialized = ik->is_initialized();
    48   // Next line must follow and use the result of the previous line:
    49   _is_linked = _is_initialized || ik->is_linked();
    50   _nonstatic_field_size = ik->nonstatic_field_size();
    51   _has_nonstatic_fields = ik->has_nonstatic_fields();
    52   _nonstatic_fields = NULL; // initialized lazily by compute_nonstatic_fields:
    54   _nof_implementors = ik->nof_implementors();
    55   for (int i = 0; i < implementors_limit; i++) {
    56     _implementors[i] = NULL;  // we will fill these lazily
    57   }
    59   Thread *thread = Thread::current();
    60   if (ciObjectFactory::is_initialized()) {
    61     _loader = JNIHandles::make_local(thread, ik->class_loader());
    62     _protection_domain = JNIHandles::make_local(thread,
    63                                                 ik->protection_domain());
    64     _is_shared = false;
    65   } else {
    66     Handle h_loader(thread, ik->class_loader());
    67     Handle h_protection_domain(thread, ik->protection_domain());
    68     _loader = JNIHandles::make_global(h_loader);
    69     _protection_domain = JNIHandles::make_global(h_protection_domain);
    70     _is_shared = true;
    71   }
    73   // Lazy fields get filled in only upon request.
    74   _super  = NULL;
    75   _java_mirror = NULL;
    77   if (is_shared()) {
    78     if (h_k() != SystemDictionary::Object_klass()) {
    79       super();
    80     }
    81     java_mirror();
    82     //compute_nonstatic_fields();  // done outside of constructor
    83   }
    85   _field_cache = NULL;
    86 }
    88 // Version for unloaded classes:
    89 ciInstanceKlass::ciInstanceKlass(ciSymbol* name,
    90                                  jobject loader, jobject protection_domain)
    91   : ciKlass(name, ciInstanceKlassKlass::make())
    92 {
    93   assert(name->byte_at(0) != '[', "not an instance klass");
    94   _is_initialized = false;
    95   _is_linked = false;
    96   _nonstatic_field_size = -1;
    97   _has_nonstatic_fields = false;
    98   _nonstatic_fields = NULL;
    99   _nof_implementors = -1;
   100   _loader = loader;
   101   _protection_domain = protection_domain;
   102   _is_shared = false;
   103   _super = NULL;
   104   _java_mirror = NULL;
   105   _field_cache = NULL;
   106 }
   110 // ------------------------------------------------------------------
   111 // ciInstanceKlass::compute_shared_is_initialized
   112 bool ciInstanceKlass::compute_shared_is_initialized() {
   113   GUARDED_VM_ENTRY(
   114     instanceKlass* ik = get_instanceKlass();
   115     _is_initialized = ik->is_initialized();
   116     return _is_initialized;
   117   )
   118 }
   120 // ------------------------------------------------------------------
   121 // ciInstanceKlass::compute_shared_is_linked
   122 bool ciInstanceKlass::compute_shared_is_linked() {
   123   GUARDED_VM_ENTRY(
   124     instanceKlass* ik = get_instanceKlass();
   125     _is_linked = ik->is_linked();
   126     return _is_linked;
   127   )
   128 }
   130 // ------------------------------------------------------------------
   131 // ciInstanceKlass::compute_shared_has_subklass
   132 bool ciInstanceKlass::compute_shared_has_subklass() {
   133   GUARDED_VM_ENTRY(
   134     instanceKlass* ik = get_instanceKlass();
   135     _has_subklass = ik->subklass() != NULL;
   136     return _has_subklass;
   137   )
   138 }
   140 // ------------------------------------------------------------------
   141 // ciInstanceKlass::compute_shared_nof_implementors
   142 int ciInstanceKlass::compute_shared_nof_implementors() {
   143   // We requery this property, since it is a very old ciObject.
   144   GUARDED_VM_ENTRY(
   145     instanceKlass* ik = get_instanceKlass();
   146     _nof_implementors = ik->nof_implementors();
   147     return _nof_implementors;
   148   )
   149 }
   151 // ------------------------------------------------------------------
   152 // ciInstanceKlass::loader
   153 oop ciInstanceKlass::loader() {
   154   ASSERT_IN_VM;
   155   return JNIHandles::resolve(_loader);
   156 }
   158 // ------------------------------------------------------------------
   159 // ciInstanceKlass::loader_handle
   160 jobject ciInstanceKlass::loader_handle() {
   161   return _loader;
   162 }
   164 // ------------------------------------------------------------------
   165 // ciInstanceKlass::protection_domain
   166 oop ciInstanceKlass::protection_domain() {
   167   ASSERT_IN_VM;
   168   return JNIHandles::resolve(_protection_domain);
   169 }
   171 // ------------------------------------------------------------------
   172 // ciInstanceKlass::protection_domain_handle
   173 jobject ciInstanceKlass::protection_domain_handle() {
   174   return _protection_domain;
   175 }
   177 // ------------------------------------------------------------------
   178 // ciInstanceKlass::field_cache
   179 //
   180 // Get the field cache associated with this klass.
   181 ciConstantPoolCache* ciInstanceKlass::field_cache() {
   182   if (is_shared()) {
   183     return NULL;
   184   }
   185   if (_field_cache == NULL) {
   186     assert(!is_java_lang_Object(), "Object has no fields");
   187     Arena* arena = CURRENT_ENV->arena();
   188     _field_cache = new (arena) ciConstantPoolCache(arena, 5);
   189   }
   190   return _field_cache;
   191 }
   193 // ------------------------------------------------------------------
   194 // ciInstanceKlass::get_canonical_holder
   195 //
   196 ciInstanceKlass* ciInstanceKlass::get_canonical_holder(int offset) {
   197   #ifdef ASSERT
   198   if (!(offset >= 0 && offset < layout_helper())) {
   199     tty->print("*** get_canonical_holder(%d) on ", offset);
   200     this->print();
   201     tty->print_cr(" ***");
   202   };
   203   assert(offset >= 0 && offset < layout_helper(), "offset must be tame");
   204   #endif
   206   if (offset < instanceOopDesc::base_offset_in_bytes()) {
   207     // All header offsets belong properly to java/lang/Object.
   208     return CURRENT_ENV->Object_klass();
   209   }
   211   ciInstanceKlass* self = this;
   212   for (;;) {
   213     assert(self->is_loaded(), "must be loaded to have size");
   214     ciInstanceKlass* super = self->super();
   215     if (super == NULL || super->nof_nonstatic_fields() == 0 ||
   216         !super->contains_field_offset(offset)) {
   217       return self;
   218     } else {
   219       self = super;  // return super->get_canonical_holder(offset)
   220     }
   221   }
   222 }
   224 // ------------------------------------------------------------------
   225 // ciInstanceKlass::is_java_lang_Object
   226 //
   227 // Is this klass java.lang.Object?
   228 bool ciInstanceKlass::is_java_lang_Object() {
   229   return equals(CURRENT_ENV->Object_klass());
   230 }
   232 // ------------------------------------------------------------------
   233 // ciInstanceKlass::uses_default_loader
   234 bool ciInstanceKlass::uses_default_loader() {
   235   // Note:  We do not need to resolve the handle or enter the VM
   236   // in order to test null-ness.
   237   return _loader == NULL;
   238 }
   240 // ------------------------------------------------------------------
   241 // ciInstanceKlass::is_in_package
   242 //
   243 // Is this klass in the given package?
   244 bool ciInstanceKlass::is_in_package(const char* packagename, int len) {
   245   // To avoid class loader mischief, this test always rejects application classes.
   246   if (!uses_default_loader())
   247     return false;
   248   GUARDED_VM_ENTRY(
   249     return is_in_package_impl(packagename, len);
   250   )
   251 }
   253 bool ciInstanceKlass::is_in_package_impl(const char* packagename, int len) {
   254   ASSERT_IN_VM;
   256   // If packagename contains trailing '/' exclude it from the
   257   // prefix-test since we test for it explicitly.
   258   if (packagename[len - 1] == '/')
   259     len--;
   261   if (!name()->starts_with(packagename, len))
   262     return false;
   264   // Test if the class name is something like "java/lang".
   265   if ((len + 1) > name()->utf8_length())
   266     return false;
   268   // Test for trailing '/'
   269   if ((char) name()->byte_at(len) != '/')
   270     return false;
   272   // Make sure it's not actually in a subpackage:
   273   if (name()->index_of_at(len+1, "/", 1) >= 0)
   274     return false;
   276   return true;
   277 }
   279 // ------------------------------------------------------------------
   280 // ciInstanceKlass::print_impl
   281 //
   282 // Implementation of the print method.
   283 void ciInstanceKlass::print_impl(outputStream* st) {
   284   ciKlass::print_impl(st);
   285   GUARDED_VM_ENTRY(st->print(" loader=0x%x", (address)loader());)
   286   if (is_loaded()) {
   287     st->print(" loaded=true initialized=%s finalized=%s subklass=%s size=%d flags=",
   288               bool_to_str(is_initialized()),
   289               bool_to_str(has_finalizer()),
   290               bool_to_str(has_subklass()),
   291               layout_helper());
   293     _flags.print_klass_flags();
   295     if (_super) {
   296       st->print(" super=");
   297       _super->print_name();
   298     }
   299     if (_java_mirror) {
   300       st->print(" mirror=PRESENT");
   301     }
   302   } else {
   303     st->print(" loaded=false");
   304   }
   305 }
   307 // ------------------------------------------------------------------
   308 // ciInstanceKlass::super
   309 //
   310 // Get the superklass of this klass.
   311 ciInstanceKlass* ciInstanceKlass::super() {
   312   assert(is_loaded(), "must be loaded");
   313   if (_super == NULL && !is_java_lang_Object()) {
   314     GUARDED_VM_ENTRY(
   315       klassOop super_klass = get_instanceKlass()->super();
   316       _super = CURRENT_ENV->get_object(super_klass)->as_instance_klass();
   317     )
   318   }
   319   return _super;
   320 }
   322 // ------------------------------------------------------------------
   323 // ciInstanceKlass::java_mirror
   324 //
   325 // Get the instance of java.lang.Class corresponding to this klass.
   326 ciInstance* ciInstanceKlass::java_mirror() {
   327   if (_java_mirror == NULL) {
   328     if (!is_loaded())
   329       _java_mirror = ciEnv::current()->get_unloaded_klass_mirror(this);
   330     else
   331       _java_mirror = ciKlass::java_mirror();
   332   }
   333   return _java_mirror;
   334 }
   336 // ------------------------------------------------------------------
   337 // ciInstanceKlass::unique_concrete_subklass
   338 ciInstanceKlass* ciInstanceKlass::unique_concrete_subklass() {
   339   if (!is_loaded())     return NULL; // No change if class is not loaded
   340   if (!is_abstract())   return NULL; // Only applies to abstract classes.
   341   if (!has_subklass())  return NULL; // Must have at least one subklass.
   342   VM_ENTRY_MARK;
   343   instanceKlass* ik = get_instanceKlass();
   344   Klass* up = ik->up_cast_abstract();
   345   assert(up->oop_is_instance(), "must be instanceKlass");
   346   if (ik == up) {
   347     return NULL;
   348   }
   349   return CURRENT_THREAD_ENV->get_object(up->as_klassOop())->as_instance_klass();
   350 }
   352 // ------------------------------------------------------------------
   353 // ciInstanceKlass::has_finalizable_subclass
   354 bool ciInstanceKlass::has_finalizable_subclass() {
   355   if (!is_loaded())     return true;
   356   VM_ENTRY_MARK;
   357   return Dependencies::find_finalizable_subclass(get_instanceKlass()) != NULL;
   358 }
   360 // ------------------------------------------------------------------
   361 // ciInstanceKlass::get_field_by_offset
   362 ciField* ciInstanceKlass::get_field_by_offset(int field_offset, bool is_static) {
   363   if (!is_static) {
   364     for (int i = 0, len = nof_nonstatic_fields(); i < len; i++) {
   365       ciField* field = _nonstatic_fields->at(i);
   366       int  field_off = field->offset_in_bytes();
   367       if (field_off == field_offset)
   368         return field;
   369       if (field_off > field_offset)
   370         break;
   371       // could do binary search or check bins, but probably not worth it
   372     }
   373     return NULL;
   374   }
   375   VM_ENTRY_MARK;
   376   instanceKlass* k = get_instanceKlass();
   377   fieldDescriptor fd;
   378   if (!k->find_field_from_offset(field_offset, is_static, &fd)) {
   379     return NULL;
   380   }
   381   ciField* field = new (CURRENT_THREAD_ENV->arena()) ciField(&fd);
   382   return field;
   383 }
   385 // ------------------------------------------------------------------
   386 // ciInstanceKlass::get_field_by_name
   387 ciField* ciInstanceKlass::get_field_by_name(ciSymbol* name, ciSymbol* signature, bool is_static) {
   388   VM_ENTRY_MARK;
   389   instanceKlass* k = get_instanceKlass();
   390   fieldDescriptor fd;
   391   klassOop def = k->find_field(name->get_symbolOop(), signature->get_symbolOop(), is_static, &fd);
   392   if (def == NULL) {
   393     return NULL;
   394   }
   395   ciField* field = new (CURRENT_THREAD_ENV->arena()) ciField(&fd);
   396   return field;
   397 }
   399 // ------------------------------------------------------------------
   400 // ciInstanceKlass::non_static_fields.
   402 class NonStaticFieldFiller: public FieldClosure {
   403   GrowableArray<ciField*>* _arr;
   404   ciEnv* _curEnv;
   405 public:
   406   NonStaticFieldFiller(ciEnv* curEnv, GrowableArray<ciField*>* arr) :
   407     _curEnv(curEnv), _arr(arr)
   408   {}
   409   void do_field(fieldDescriptor* fd) {
   410     ciField* field = new (_curEnv->arena()) ciField(fd);
   411     _arr->append(field);
   412   }
   413 };
   415 GrowableArray<ciField*>* ciInstanceKlass::non_static_fields() {
   416   if (_non_static_fields == NULL) {
   417     VM_ENTRY_MARK;
   418     ciEnv* curEnv = ciEnv::current();
   419     instanceKlass* ik = get_instanceKlass();
   420     int max_n_fields = ik->fields()->length()/instanceKlass::next_offset;
   422     _non_static_fields =
   423       new (curEnv->arena()) GrowableArray<ciField*>(max_n_fields);
   424     NonStaticFieldFiller filler(curEnv, _non_static_fields);
   425     ik->do_nonstatic_fields(&filler);
   426   }
   427   return _non_static_fields;
   428 }
   430 static int sort_field_by_offset(ciField** a, ciField** b) {
   431   return (*a)->offset_in_bytes() - (*b)->offset_in_bytes();
   432   // (no worries about 32-bit overflow...)
   433 }
   435 // ------------------------------------------------------------------
   436 // ciInstanceKlass::compute_nonstatic_fields
   437 int ciInstanceKlass::compute_nonstatic_fields() {
   438   assert(is_loaded(), "must be loaded");
   440   if (_nonstatic_fields != NULL)
   441     return _nonstatic_fields->length();
   443   if (!has_nonstatic_fields()) {
   444     Arena* arena = CURRENT_ENV->arena();
   445     _nonstatic_fields = new (arena) GrowableArray<ciField*>(arena, 0, 0, NULL);
   446     return 0;
   447   }
   448   assert(!is_java_lang_Object(), "bootstrap OK");
   450   // Size in bytes of my fields, including inherited fields.
   451   int fsize = nonstatic_field_size() * heapOopSize;
   453   ciInstanceKlass* super = this->super();
   454   GrowableArray<ciField*>* super_fields = NULL;
   455   if (super != NULL && super->has_nonstatic_fields()) {
   456     int super_fsize  = super->nonstatic_field_size() * heapOopSize;
   457     int super_flen   = super->nof_nonstatic_fields();
   458     super_fields = super->_nonstatic_fields;
   459     assert(super_flen == 0 || super_fields != NULL, "first get nof_fields");
   460     // See if I am no larger than my super; if so, I can use his fields.
   461     if (fsize == super_fsize) {
   462       _nonstatic_fields = super_fields;
   463       return super_fields->length();
   464     }
   465   }
   467   GrowableArray<ciField*>* fields = NULL;
   468   GUARDED_VM_ENTRY({
   469       fields = compute_nonstatic_fields_impl(super_fields);
   470     });
   472   if (fields == NULL) {
   473     // This can happen if this class (java.lang.Class) has invisible fields.
   474     _nonstatic_fields = super_fields;
   475     return super_fields->length();
   476   }
   478   int flen = fields->length();
   480   // Now sort them by offset, ascending.
   481   // (In principle, they could mix with superclass fields.)
   482   fields->sort(sort_field_by_offset);
   483 #ifdef ASSERT
   484   int last_offset = instanceOopDesc::base_offset_in_bytes();
   485   for (int i = 0; i < fields->length(); i++) {
   486     ciField* field = fields->at(i);
   487     int offset = field->offset_in_bytes();
   488     int size   = (field->_type == NULL) ? heapOopSize : field->size_in_bytes();
   489     assert(last_offset <= offset, "no field overlap");
   490     if (last_offset > (int)sizeof(oopDesc))
   491       assert((offset - last_offset) < BytesPerLong, "no big holes");
   492     // Note:  Two consecutive T_BYTE fields will be separated by wordSize-1
   493     // padding bytes if one of them is declared by a superclass.
   494     // This is a minor inefficiency classFileParser.cpp.
   495     last_offset = offset + size;
   496   }
   497   assert(last_offset <= (int)instanceOopDesc::base_offset_in_bytes() + fsize, "no overflow");
   498 #endif
   500   _nonstatic_fields = fields;
   501   return flen;
   502 }
   504 GrowableArray<ciField*>*
   505 ciInstanceKlass::compute_nonstatic_fields_impl(GrowableArray<ciField*>*
   506                                                super_fields) {
   507   ASSERT_IN_VM;
   508   Arena* arena = CURRENT_ENV->arena();
   509   int flen = 0;
   510   GrowableArray<ciField*>* fields = NULL;
   511   instanceKlass* k = get_instanceKlass();
   512   typeArrayOop fields_array = k->fields();
   513   for (int pass = 0; pass <= 1; pass++) {
   514     for (int i = 0, alen = fields_array->length(); i < alen; i += instanceKlass::next_offset) {
   515       fieldDescriptor fd;
   516       fd.initialize(k->as_klassOop(), i);
   517       if (fd.is_static())  continue;
   518       if (pass == 0) {
   519         flen += 1;
   520       } else {
   521         ciField* field = new (arena) ciField(&fd);
   522         fields->append(field);
   523       }
   524     }
   526     // Between passes, allocate the array:
   527     if (pass == 0) {
   528       if (flen == 0) {
   529         return NULL;  // return nothing if none are locally declared
   530       }
   531       if (super_fields != NULL) {
   532         flen += super_fields->length();
   533       }
   534       fields = new (arena) GrowableArray<ciField*>(arena, flen, 0, NULL);
   535       if (super_fields != NULL) {
   536         fields->appendAll(super_fields);
   537       }
   538     }
   539   }
   540   assert(fields->length() == flen, "sanity");
   541   return fields;
   542 }
   544 // ------------------------------------------------------------------
   545 // ciInstanceKlass::find_method
   546 //
   547 // Find a method in this klass.
   548 ciMethod* ciInstanceKlass::find_method(ciSymbol* name, ciSymbol* signature) {
   549   VM_ENTRY_MARK;
   550   instanceKlass* k = get_instanceKlass();
   551   symbolOop name_sym = name->get_symbolOop();
   552   symbolOop sig_sym= signature->get_symbolOop();
   554   methodOop m = k->find_method(name_sym, sig_sym);
   555   if (m == NULL)  return NULL;
   557   return CURRENT_THREAD_ENV->get_object(m)->as_method();
   558 }
   560 // ------------------------------------------------------------------
   561 // ciInstanceKlass::is_leaf_type
   562 bool ciInstanceKlass::is_leaf_type() {
   563   assert(is_loaded(), "must be loaded");
   564   if (is_shared()) {
   565     return is_final();  // approximately correct
   566   } else {
   567     return !_has_subklass && (_nof_implementors == 0);
   568   }
   569 }
   571 // ------------------------------------------------------------------
   572 // ciInstanceKlass::implementor
   573 //
   574 // Report an implementor of this interface.
   575 // Returns NULL if exact information is not available.
   576 // Note that there are various races here, since my copy
   577 // of _nof_implementors might be out of date with respect
   578 // to results returned by instanceKlass::implementor.
   579 // This is OK, since any dependencies we decide to assert
   580 // will be checked later under the Compile_lock.
   581 ciInstanceKlass* ciInstanceKlass::implementor(int n) {
   582   if (n > implementors_limit) {
   583     return NULL;
   584   }
   585   ciInstanceKlass* impl = _implementors[n];
   586   if (impl == NULL) {
   587     if (_nof_implementors > implementors_limit) {
   588       return NULL;
   589     }
   590     // Go into the VM to fetch the implementor.
   591     {
   592       VM_ENTRY_MARK;
   593       klassOop k = get_instanceKlass()->implementor(n);
   594       if (k != NULL) {
   595         impl = CURRENT_THREAD_ENV->get_object(k)->as_instance_klass();
   596       }
   597     }
   598     // Memoize this result.
   599     if (!is_shared()) {
   600       _implementors[n] = (impl == NULL)? this: impl;
   601     }
   602   } else if (impl == this) {
   603     impl = NULL;  // memoized null result from a VM query
   604   }
   605   return impl;
   606 }

mercurial