src/share/vm/oops/cpCacheOop.cpp

Sat, 01 Dec 2007 00:00:00 +0000

author
duke
date
Sat, 01 Dec 2007 00:00:00 +0000
changeset 435
a61af66fc99e
child 548
ba764ed4b6f2
permissions
-rw-r--r--

Initial load

duke@435 1 /*
duke@435 2 * Copyright 1998-2006 Sun Microsystems, Inc. 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 *
duke@435 19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@435 20 * CA 95054 USA or visit www.sun.com if you need additional information or
duke@435 21 * have any questions.
duke@435 22 *
duke@435 23 */
duke@435 24
duke@435 25 #include "incls/_precompiled.incl"
duke@435 26 #include "incls/_cpCacheOop.cpp.incl"
duke@435 27
duke@435 28
duke@435 29 // Implememtation of ConstantPoolCacheEntry
duke@435 30
duke@435 31 void ConstantPoolCacheEntry::set_initial_state(int index) {
duke@435 32 assert(0 <= index && index < 0x10000, "sanity check");
duke@435 33 _indices = index;
duke@435 34 }
duke@435 35
duke@435 36
duke@435 37 int ConstantPoolCacheEntry::as_flags(TosState state, bool is_final,
duke@435 38 bool is_vfinal, bool is_volatile,
duke@435 39 bool is_method_interface, bool is_method) {
duke@435 40 int f = state;
duke@435 41
duke@435 42 assert( state < number_of_states, "Invalid state in as_flags");
duke@435 43
duke@435 44 f <<= 1;
duke@435 45 if (is_final) f |= 1;
duke@435 46 f <<= 1;
duke@435 47 if (is_vfinal) f |= 1;
duke@435 48 f <<= 1;
duke@435 49 if (is_volatile) f |= 1;
duke@435 50 f <<= 1;
duke@435 51 if (is_method_interface) f |= 1;
duke@435 52 f <<= 1;
duke@435 53 if (is_method) f |= 1;
duke@435 54 f <<= ConstantPoolCacheEntry::hotSwapBit;
duke@435 55 // Preserve existing flag bit values
duke@435 56 #ifdef ASSERT
duke@435 57 int old_state = ((_flags >> tosBits) & 0x0F);
duke@435 58 assert(old_state == 0 || old_state == state,
duke@435 59 "inconsistent cpCache flags state");
duke@435 60 #endif
duke@435 61 return (_flags | f) ;
duke@435 62 }
duke@435 63
duke@435 64 void ConstantPoolCacheEntry::set_bytecode_1(Bytecodes::Code code) {
duke@435 65 #ifdef ASSERT
duke@435 66 // Read once.
duke@435 67 volatile Bytecodes::Code c = bytecode_1();
duke@435 68 assert(c == 0 || c == code || code == 0, "update must be consistent");
duke@435 69 #endif
duke@435 70 // Need to flush pending stores here before bytecode is written.
duke@435 71 OrderAccess::release_store_ptr(&_indices, _indices | ((u_char)code << 16));
duke@435 72 }
duke@435 73
duke@435 74 void ConstantPoolCacheEntry::set_bytecode_2(Bytecodes::Code code) {
duke@435 75 #ifdef ASSERT
duke@435 76 // Read once.
duke@435 77 volatile Bytecodes::Code c = bytecode_2();
duke@435 78 assert(c == 0 || c == code || code == 0, "update must be consistent");
duke@435 79 #endif
duke@435 80 // Need to flush pending stores here before bytecode is written.
duke@435 81 OrderAccess::release_store_ptr(&_indices, _indices | ((u_char)code << 24));
duke@435 82 }
duke@435 83
duke@435 84 #ifdef ASSERT
duke@435 85 // It is possible to have two different dummy methodOops created
duke@435 86 // when the resolve code for invoke interface executes concurrently
duke@435 87 // Hence the assertion below is weakened a bit for the invokeinterface
duke@435 88 // case.
duke@435 89 bool ConstantPoolCacheEntry::same_methodOop(oop cur_f1, oop f1) {
duke@435 90 return (cur_f1 == f1 || ((methodOop)cur_f1)->name() ==
duke@435 91 ((methodOop)f1)->name() || ((methodOop)cur_f1)->signature() ==
duke@435 92 ((methodOop)f1)->signature());
duke@435 93 }
duke@435 94 #endif
duke@435 95
duke@435 96 // Note that concurrent update of both bytecodes can leave one of them
duke@435 97 // reset to zero. This is harmless; the interpreter will simply re-resolve
duke@435 98 // the damaged entry. More seriously, the memory synchronization is needed
duke@435 99 // to flush other fields (f1, f2) completely to memory before the bytecodes
duke@435 100 // are updated, lest other processors see a non-zero bytecode but zero f1/f2.
duke@435 101 void ConstantPoolCacheEntry::set_field(Bytecodes::Code get_code,
duke@435 102 Bytecodes::Code put_code,
duke@435 103 KlassHandle field_holder,
duke@435 104 int orig_field_index,
duke@435 105 int field_offset,
duke@435 106 TosState field_type,
duke@435 107 bool is_final,
duke@435 108 bool is_volatile) {
duke@435 109 set_f1(field_holder());
duke@435 110 set_f2(field_offset);
duke@435 111 // The field index is used by jvm/ti and is the index into fields() array
duke@435 112 // in holder instanceKlass. This is scaled by instanceKlass::next_offset.
duke@435 113 assert((orig_field_index % instanceKlass::next_offset) == 0, "wierd index");
duke@435 114 const int field_index = orig_field_index / instanceKlass::next_offset;
duke@435 115 assert(field_index <= field_index_mask,
duke@435 116 "field index does not fit in low flag bits");
duke@435 117 set_flags(as_flags(field_type, is_final, false, is_volatile, false, false) |
duke@435 118 (field_index & field_index_mask));
duke@435 119 set_bytecode_1(get_code);
duke@435 120 set_bytecode_2(put_code);
duke@435 121 NOT_PRODUCT(verify(tty));
duke@435 122 }
duke@435 123
duke@435 124 int ConstantPoolCacheEntry::field_index() const {
duke@435 125 return (_flags & field_index_mask) * instanceKlass::next_offset;
duke@435 126 }
duke@435 127
duke@435 128 void ConstantPoolCacheEntry::set_method(Bytecodes::Code invoke_code,
duke@435 129 methodHandle method,
duke@435 130 int vtable_index) {
duke@435 131
duke@435 132 assert(method->interpreter_entry() != NULL, "should have been set at this point");
duke@435 133 assert(!method->is_obsolete(), "attempt to write obsolete method to cpCache");
duke@435 134 bool change_to_virtual = (invoke_code == Bytecodes::_invokeinterface);
duke@435 135
duke@435 136 int byte_no = -1;
duke@435 137 bool needs_vfinal_flag = false;
duke@435 138 switch (invoke_code) {
duke@435 139 case Bytecodes::_invokevirtual:
duke@435 140 case Bytecodes::_invokeinterface: {
duke@435 141 if (method->can_be_statically_bound()) {
duke@435 142 set_f2((intptr_t)method());
duke@435 143 needs_vfinal_flag = true;
duke@435 144 } else {
duke@435 145 assert(vtable_index >= 0, "valid index");
duke@435 146 set_f2(vtable_index);
duke@435 147 }
duke@435 148 byte_no = 2;
duke@435 149 break;
duke@435 150 }
duke@435 151 case Bytecodes::_invokespecial:
duke@435 152 // Preserve the value of the vfinal flag on invokevirtual bytecode
duke@435 153 // which may be shared with this constant pool cache entry.
duke@435 154 needs_vfinal_flag = is_resolved(Bytecodes::_invokevirtual) && is_vfinal();
duke@435 155 // fall through
duke@435 156 case Bytecodes::_invokestatic:
duke@435 157 set_f1(method());
duke@435 158 byte_no = 1;
duke@435 159 break;
duke@435 160 default:
duke@435 161 ShouldNotReachHere();
duke@435 162 break;
duke@435 163 }
duke@435 164
duke@435 165 set_flags(as_flags(as_TosState(method->result_type()),
duke@435 166 method->is_final_method(),
duke@435 167 needs_vfinal_flag,
duke@435 168 false,
duke@435 169 change_to_virtual,
duke@435 170 true)|
duke@435 171 method()->size_of_parameters());
duke@435 172
duke@435 173 // Note: byte_no also appears in TemplateTable::resolve.
duke@435 174 if (byte_no == 1) {
duke@435 175 set_bytecode_1(invoke_code);
duke@435 176 } else if (byte_no == 2) {
duke@435 177 if (change_to_virtual) {
duke@435 178 // NOTE: THIS IS A HACK - BE VERY CAREFUL!!!
duke@435 179 //
duke@435 180 // Workaround for the case where we encounter an invokeinterface, but we
duke@435 181 // should really have an _invokevirtual since the resolved method is a
duke@435 182 // virtual method in java.lang.Object. This is a corner case in the spec
duke@435 183 // but is presumably legal. javac does not generate this code.
duke@435 184 //
duke@435 185 // We set bytecode_1() to _invokeinterface, because that is the
duke@435 186 // bytecode # used by the interpreter to see if it is resolved.
duke@435 187 // We set bytecode_2() to _invokevirtual.
duke@435 188 // See also interpreterRuntime.cpp. (8/25/2000)
duke@435 189 // Only set resolved for the invokeinterface case if method is public.
duke@435 190 // Otherwise, the method needs to be reresolved with caller for each
duke@435 191 // interface call.
duke@435 192 if (method->is_public()) set_bytecode_1(invoke_code);
duke@435 193 set_bytecode_2(Bytecodes::_invokevirtual);
duke@435 194 } else {
duke@435 195 set_bytecode_2(invoke_code);
duke@435 196 }
duke@435 197 } else {
duke@435 198 ShouldNotReachHere();
duke@435 199 }
duke@435 200 NOT_PRODUCT(verify(tty));
duke@435 201 }
duke@435 202
duke@435 203
duke@435 204 void ConstantPoolCacheEntry::set_interface_call(methodHandle method, int index) {
duke@435 205 klassOop interf = method->method_holder();
duke@435 206 assert(instanceKlass::cast(interf)->is_interface(), "must be an interface");
duke@435 207 set_f1(interf);
duke@435 208 set_f2(index);
duke@435 209 set_flags(as_flags(as_TosState(method->result_type()), method->is_final_method(), false, false, false, true) | method()->size_of_parameters());
duke@435 210 set_bytecode_1(Bytecodes::_invokeinterface);
duke@435 211 }
duke@435 212
duke@435 213
duke@435 214 class LocalOopClosure: public OopClosure {
duke@435 215 private:
duke@435 216 void (*_f)(oop*);
duke@435 217
duke@435 218 public:
duke@435 219 LocalOopClosure(void f(oop*)) { _f = f; }
duke@435 220 virtual void do_oop(oop* o) { _f(o); }
duke@435 221 };
duke@435 222
duke@435 223
duke@435 224 void ConstantPoolCacheEntry::oops_do(void f(oop*)) {
duke@435 225 LocalOopClosure blk(f);
duke@435 226 oop_iterate(&blk);
duke@435 227 }
duke@435 228
duke@435 229
duke@435 230 void ConstantPoolCacheEntry::oop_iterate(OopClosure* blk) {
duke@435 231 assert(in_words(size()) == 4, "check code below - may need adjustment");
duke@435 232 // field[1] is always oop or NULL
duke@435 233 blk->do_oop((oop*)&_f1);
duke@435 234 if (is_vfinal()) {
duke@435 235 blk->do_oop((oop*)&_f2);
duke@435 236 }
duke@435 237 }
duke@435 238
duke@435 239
duke@435 240 void ConstantPoolCacheEntry::oop_iterate_m(OopClosure* blk, MemRegion mr) {
duke@435 241 assert(in_words(size()) == 4, "check code below - may need adjustment");
duke@435 242 // field[1] is always oop or NULL
duke@435 243 if (mr.contains((oop *)&_f1)) blk->do_oop((oop*)&_f1);
duke@435 244 if (is_vfinal()) {
duke@435 245 if (mr.contains((oop *)&_f2)) blk->do_oop((oop*)&_f2);
duke@435 246 }
duke@435 247 }
duke@435 248
duke@435 249
duke@435 250 void ConstantPoolCacheEntry::follow_contents() {
duke@435 251 assert(in_words(size()) == 4, "check code below - may need adjustment");
duke@435 252 // field[1] is always oop or NULL
duke@435 253 MarkSweep::mark_and_push((oop*)&_f1);
duke@435 254 if (is_vfinal()) {
duke@435 255 MarkSweep::mark_and_push((oop*)&_f2);
duke@435 256 }
duke@435 257 }
duke@435 258
duke@435 259 #ifndef SERIALGC
duke@435 260 void ConstantPoolCacheEntry::follow_contents(ParCompactionManager* cm) {
duke@435 261 assert(in_words(size()) == 4, "check code below - may need adjustment");
duke@435 262 // field[1] is always oop or NULL
duke@435 263 PSParallelCompact::mark_and_push(cm, (oop*)&_f1);
duke@435 264 if (is_vfinal()) {
duke@435 265 PSParallelCompact::mark_and_push(cm, (oop*)&_f2);
duke@435 266 }
duke@435 267 }
duke@435 268 #endif // SERIALGC
duke@435 269
duke@435 270 void ConstantPoolCacheEntry::adjust_pointers() {
duke@435 271 assert(in_words(size()) == 4, "check code below - may need adjustment");
duke@435 272 // field[1] is always oop or NULL
duke@435 273 MarkSweep::adjust_pointer((oop*)&_f1);
duke@435 274 if (is_vfinal()) {
duke@435 275 MarkSweep::adjust_pointer((oop*)&_f2);
duke@435 276 }
duke@435 277 }
duke@435 278
duke@435 279 #ifndef SERIALGC
duke@435 280 void ConstantPoolCacheEntry::update_pointers() {
duke@435 281 assert(in_words(size()) == 4, "check code below - may need adjustment");
duke@435 282 // field[1] is always oop or NULL
duke@435 283 PSParallelCompact::adjust_pointer((oop*)&_f1);
duke@435 284 if (is_vfinal()) {
duke@435 285 PSParallelCompact::adjust_pointer((oop*)&_f2);
duke@435 286 }
duke@435 287 }
duke@435 288
duke@435 289 void ConstantPoolCacheEntry::update_pointers(HeapWord* beg_addr,
duke@435 290 HeapWord* end_addr) {
duke@435 291 assert(in_words(size()) == 4, "check code below - may need adjustment");
duke@435 292 // field[1] is always oop or NULL
duke@435 293 PSParallelCompact::adjust_pointer((oop*)&_f1, beg_addr, end_addr);
duke@435 294 if (is_vfinal()) {
duke@435 295 PSParallelCompact::adjust_pointer((oop*)&_f2, beg_addr, end_addr);
duke@435 296 }
duke@435 297 }
duke@435 298 #endif // SERIALGC
duke@435 299
duke@435 300 // RedefineClasses() API support:
duke@435 301 // If this constantPoolCacheEntry refers to old_method then update it
duke@435 302 // to refer to new_method.
duke@435 303 bool ConstantPoolCacheEntry::adjust_method_entry(methodOop old_method,
duke@435 304 methodOop new_method, bool * trace_name_printed) {
duke@435 305
duke@435 306 if (is_vfinal()) {
duke@435 307 // virtual and final so f2() contains method ptr instead of vtable index
duke@435 308 if (f2() == (intptr_t)old_method) {
duke@435 309 // match old_method so need an update
duke@435 310 _f2 = (intptr_t)new_method;
duke@435 311 if (RC_TRACE_IN_RANGE(0x00100000, 0x00400000)) {
duke@435 312 if (!(*trace_name_printed)) {
duke@435 313 // RC_TRACE_MESG macro has an embedded ResourceMark
duke@435 314 RC_TRACE_MESG(("adjust: name=%s",
duke@435 315 Klass::cast(old_method->method_holder())->external_name()));
duke@435 316 *trace_name_printed = true;
duke@435 317 }
duke@435 318 // RC_TRACE macro has an embedded ResourceMark
duke@435 319 RC_TRACE(0x00400000, ("cpc vf-entry update: %s(%s)",
duke@435 320 new_method->name()->as_C_string(),
duke@435 321 new_method->signature()->as_C_string()));
duke@435 322 }
duke@435 323
duke@435 324 return true;
duke@435 325 }
duke@435 326
duke@435 327 // f1() is not used with virtual entries so bail out
duke@435 328 return false;
duke@435 329 }
duke@435 330
duke@435 331 if ((oop)_f1 == NULL) {
duke@435 332 // NULL f1() means this is a virtual entry so bail out
duke@435 333 // We are assuming that the vtable index does not need change.
duke@435 334 return false;
duke@435 335 }
duke@435 336
duke@435 337 if ((oop)_f1 == old_method) {
duke@435 338 _f1 = new_method;
duke@435 339 if (RC_TRACE_IN_RANGE(0x00100000, 0x00400000)) {
duke@435 340 if (!(*trace_name_printed)) {
duke@435 341 // RC_TRACE_MESG macro has an embedded ResourceMark
duke@435 342 RC_TRACE_MESG(("adjust: name=%s",
duke@435 343 Klass::cast(old_method->method_holder())->external_name()));
duke@435 344 *trace_name_printed = true;
duke@435 345 }
duke@435 346 // RC_TRACE macro has an embedded ResourceMark
duke@435 347 RC_TRACE(0x00400000, ("cpc entry update: %s(%s)",
duke@435 348 new_method->name()->as_C_string(),
duke@435 349 new_method->signature()->as_C_string()));
duke@435 350 }
duke@435 351
duke@435 352 return true;
duke@435 353 }
duke@435 354
duke@435 355 return false;
duke@435 356 }
duke@435 357
duke@435 358 bool ConstantPoolCacheEntry::is_interesting_method_entry(klassOop k) {
duke@435 359 if (!is_method_entry()) {
duke@435 360 // not a method entry so not interesting by default
duke@435 361 return false;
duke@435 362 }
duke@435 363
duke@435 364 methodOop m = NULL;
duke@435 365 if (is_vfinal()) {
duke@435 366 // virtual and final so _f2 contains method ptr instead of vtable index
duke@435 367 m = (methodOop)_f2;
duke@435 368 } else if ((oop)_f1 == NULL) {
duke@435 369 // NULL _f1 means this is a virtual entry so also not interesting
duke@435 370 return false;
duke@435 371 } else {
duke@435 372 if (!((oop)_f1)->is_method()) {
duke@435 373 // _f1 can also contain a klassOop for an interface
duke@435 374 return false;
duke@435 375 }
duke@435 376 m = (methodOop)_f1;
duke@435 377 }
duke@435 378
duke@435 379 assert(m != NULL && m->is_method(), "sanity check");
duke@435 380 if (m == NULL || !m->is_method() || m->method_holder() != k) {
duke@435 381 // robustness for above sanity checks or method is not in
duke@435 382 // the interesting class
duke@435 383 return false;
duke@435 384 }
duke@435 385
duke@435 386 // the method is in the interesting class so the entry is interesting
duke@435 387 return true;
duke@435 388 }
duke@435 389
duke@435 390 void ConstantPoolCacheEntry::print(outputStream* st, int index) const {
duke@435 391 // print separator
duke@435 392 if (index == 0) tty->print_cr(" -------------");
duke@435 393 // print entry
duke@435 394 tty->print_cr("%3d (%08x) [%02x|%02x|%5d]", index, this, bytecode_2(), bytecode_1(), constant_pool_index());
duke@435 395 tty->print_cr(" [ %08x]", (address)(oop)_f1);
duke@435 396 tty->print_cr(" [ %08x]", _f2);
duke@435 397 tty->print_cr(" [ %08x]", _flags);
duke@435 398 tty->print_cr(" -------------");
duke@435 399 }
duke@435 400
duke@435 401 void ConstantPoolCacheEntry::verify(outputStream* st) const {
duke@435 402 // not implemented yet
duke@435 403 }
duke@435 404
duke@435 405 // Implementation of ConstantPoolCache
duke@435 406
duke@435 407 void constantPoolCacheOopDesc::initialize(intArray& inverse_index_map) {
duke@435 408 assert(inverse_index_map.length() == length(), "inverse index map must have same length as cache");
duke@435 409 for (int i = 0; i < length(); i++) entry_at(i)->set_initial_state(inverse_index_map[i]);
duke@435 410 }
duke@435 411
duke@435 412 // RedefineClasses() API support:
duke@435 413 // If any entry of this constantPoolCache points to any of
duke@435 414 // old_methods, replace it with the corresponding new_method.
duke@435 415 void constantPoolCacheOopDesc::adjust_method_entries(methodOop* old_methods, methodOop* new_methods,
duke@435 416 int methods_length, bool * trace_name_printed) {
duke@435 417
duke@435 418 if (methods_length == 0) {
duke@435 419 // nothing to do if there are no methods
duke@435 420 return;
duke@435 421 }
duke@435 422
duke@435 423 // get shorthand for the interesting class
duke@435 424 klassOop old_holder = old_methods[0]->method_holder();
duke@435 425
duke@435 426 for (int i = 0; i < length(); i++) {
duke@435 427 if (!entry_at(i)->is_interesting_method_entry(old_holder)) {
duke@435 428 // skip uninteresting methods
duke@435 429 continue;
duke@435 430 }
duke@435 431
duke@435 432 // The constantPoolCache contains entries for several different
duke@435 433 // things, but we only care about methods. In fact, we only care
duke@435 434 // about methods in the same class as the one that contains the
duke@435 435 // old_methods. At this point, we have an interesting entry.
duke@435 436
duke@435 437 for (int j = 0; j < methods_length; j++) {
duke@435 438 methodOop old_method = old_methods[j];
duke@435 439 methodOop new_method = new_methods[j];
duke@435 440
duke@435 441 if (entry_at(i)->adjust_method_entry(old_method, new_method,
duke@435 442 trace_name_printed)) {
duke@435 443 // current old_method matched this entry and we updated it so
duke@435 444 // break out and get to the next interesting entry if there one
duke@435 445 break;
duke@435 446 }
duke@435 447 }
duke@435 448 }
duke@435 449 }

mercurial