src/share/vm/ci/ciMethodData.cpp

Wed, 12 Oct 2011 21:00:13 -0700

author
twisti
date
Wed, 12 Oct 2011 21:00:13 -0700
changeset 3197
5eb9169b1a14
parent 2314
f95d63e2154a
child 4037
da91efe96a93
permissions
-rw-r--r--

7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
Reviewed-by: jrose, never

duke@435 1 /*
iveresov@2138 2 * Copyright (c) 2001, 2010, 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 "ci/ciMethodData.hpp"
stefank@2314 27 #include "ci/ciUtilities.hpp"
stefank@2314 28 #include "memory/allocation.inline.hpp"
stefank@2314 29 #include "memory/resourceArea.hpp"
stefank@2314 30 #include "runtime/deoptimization.hpp"
stefank@2314 31 #include "utilities/copy.hpp"
duke@435 32
duke@435 33 // ciMethodData
duke@435 34
duke@435 35 // ------------------------------------------------------------------
duke@435 36 // ciMethodData::ciMethodData
duke@435 37 //
duke@435 38 ciMethodData::ciMethodData(methodDataHandle h_md) : ciObject(h_md) {
duke@435 39 assert(h_md() != NULL, "no null method data");
duke@435 40 Copy::zero_to_words((HeapWord*) &_orig, sizeof(_orig) / sizeof(HeapWord));
duke@435 41 _data = NULL;
duke@435 42 _data_size = 0;
duke@435 43 _extra_data_size = 0;
duke@435 44 _current_mileage = 0;
iveresov@2138 45 _invocation_counter = 0;
iveresov@2138 46 _backedge_counter = 0;
duke@435 47 _state = empty_state;
duke@435 48 _saw_free_extra_data = false;
duke@435 49 // Set an initial hint. Don't use set_hint_di() because
duke@435 50 // first_di() may be out of bounds if data_size is 0.
duke@435 51 _hint_di = first_di();
kvn@480 52 // Initialize the escape information (to "don't know.");
kvn@480 53 _eflags = _arg_local = _arg_stack = _arg_returned = 0;
duke@435 54 }
duke@435 55
duke@435 56 // ------------------------------------------------------------------
duke@435 57 // ciMethodData::ciMethodData
duke@435 58 //
duke@435 59 // No methodDataOop.
duke@435 60 ciMethodData::ciMethodData() : ciObject() {
duke@435 61 Copy::zero_to_words((HeapWord*) &_orig, sizeof(_orig) / sizeof(HeapWord));
duke@435 62 _data = NULL;
duke@435 63 _data_size = 0;
duke@435 64 _extra_data_size = 0;
duke@435 65 _current_mileage = 0;
iveresov@2138 66 _invocation_counter = 0;
iveresov@2138 67 _backedge_counter = 0;
duke@435 68 _state = empty_state;
duke@435 69 _saw_free_extra_data = false;
duke@435 70 // Set an initial hint. Don't use set_hint_di() because
duke@435 71 // first_di() may be out of bounds if data_size is 0.
duke@435 72 _hint_di = first_di();
kvn@480 73 // Initialize the escape information (to "don't know.");
kvn@480 74 _eflags = _arg_local = _arg_stack = _arg_returned = 0;
duke@435 75 }
duke@435 76
duke@435 77 void ciMethodData::load_data() {
duke@435 78 methodDataOop mdo = get_methodDataOop();
duke@435 79 if (mdo == NULL) return;
duke@435 80
duke@435 81 // To do: don't copy the data if it is not "ripe" -- require a minimum #
duke@435 82 // of invocations.
duke@435 83
duke@435 84 // Snapshot the data -- actually, take an approximate snapshot of
duke@435 85 // the data. Any concurrently executing threads may be changing the
duke@435 86 // data as we copy it.
duke@435 87 int skip_header = oopDesc::header_size();
duke@435 88 Copy::disjoint_words((HeapWord*) mdo + skip_header,
duke@435 89 (HeapWord*) &_orig + skip_header,
duke@435 90 sizeof(_orig) / HeapWordSize - skip_header);
duke@435 91 DEBUG_ONLY(*_orig.adr_method() = NULL); // no dangling oops, please
duke@435 92 Arena* arena = CURRENT_ENV->arena();
duke@435 93 _data_size = mdo->data_size();
duke@435 94 _extra_data_size = mdo->extra_data_size();
duke@435 95 int total_size = _data_size + _extra_data_size;
duke@435 96 _data = (intptr_t *) arena->Amalloc(total_size);
duke@435 97 Copy::disjoint_words((HeapWord*) mdo->data_base(), (HeapWord*) _data, total_size / HeapWordSize);
duke@435 98
duke@435 99 // Traverse the profile data, translating any oops into their
duke@435 100 // ci equivalents.
duke@435 101 ResourceMark rm;
duke@435 102 ciProfileData* ci_data = first_data();
duke@435 103 ProfileData* data = mdo->first_data();
duke@435 104 while (is_valid(ci_data)) {
duke@435 105 ci_data->translate_from(data);
duke@435 106 ci_data = next_data(ci_data);
duke@435 107 data = mdo->next_data(data);
duke@435 108 }
duke@435 109 // Note: Extra data are all BitData, and do not need translation.
duke@435 110 _current_mileage = methodDataOopDesc::mileage_of(mdo->method());
iveresov@2138 111 _invocation_counter = mdo->invocation_count();
iveresov@2138 112 _backedge_counter = mdo->backedge_count();
duke@435 113 _state = mdo->is_mature()? mature_state: immature_state;
duke@435 114
duke@435 115 _eflags = mdo->eflags();
duke@435 116 _arg_local = mdo->arg_local();
duke@435 117 _arg_stack = mdo->arg_stack();
duke@435 118 _arg_returned = mdo->arg_returned();
duke@435 119 }
duke@435 120
duke@435 121 void ciReceiverTypeData::translate_receiver_data_from(ProfileData* data) {
duke@435 122 for (uint row = 0; row < row_limit(); row++) {
duke@435 123 klassOop k = data->as_ReceiverTypeData()->receiver(row);
duke@435 124 if (k != NULL) {
duke@435 125 ciKlass* klass = CURRENT_ENV->get_object(k)->as_klass();
duke@435 126 set_receiver(row, klass);
duke@435 127 }
duke@435 128 }
duke@435 129 }
duke@435 130
duke@435 131
duke@435 132 // Get the data at an arbitrary (sort of) data index.
duke@435 133 ciProfileData* ciMethodData::data_at(int data_index) {
duke@435 134 if (out_of_bounds(data_index)) {
duke@435 135 return NULL;
duke@435 136 }
duke@435 137 DataLayout* data_layout = data_layout_at(data_index);
duke@435 138
duke@435 139 switch (data_layout->tag()) {
duke@435 140 case DataLayout::no_tag:
duke@435 141 default:
duke@435 142 ShouldNotReachHere();
duke@435 143 return NULL;
duke@435 144 case DataLayout::bit_data_tag:
duke@435 145 return new ciBitData(data_layout);
duke@435 146 case DataLayout::counter_data_tag:
duke@435 147 return new ciCounterData(data_layout);
duke@435 148 case DataLayout::jump_data_tag:
duke@435 149 return new ciJumpData(data_layout);
duke@435 150 case DataLayout::receiver_type_data_tag:
duke@435 151 return new ciReceiverTypeData(data_layout);
duke@435 152 case DataLayout::virtual_call_data_tag:
duke@435 153 return new ciVirtualCallData(data_layout);
duke@435 154 case DataLayout::ret_data_tag:
duke@435 155 return new ciRetData(data_layout);
duke@435 156 case DataLayout::branch_data_tag:
duke@435 157 return new ciBranchData(data_layout);
duke@435 158 case DataLayout::multi_branch_data_tag:
duke@435 159 return new ciMultiBranchData(data_layout);
kvn@480 160 case DataLayout::arg_info_data_tag:
kvn@480 161 return new ciArgInfoData(data_layout);
duke@435 162 };
duke@435 163 }
duke@435 164
duke@435 165 // Iteration over data.
duke@435 166 ciProfileData* ciMethodData::next_data(ciProfileData* current) {
duke@435 167 int current_index = dp_to_di(current->dp());
duke@435 168 int next_index = current_index + current->size_in_bytes();
duke@435 169 ciProfileData* next = data_at(next_index);
duke@435 170 return next;
duke@435 171 }
duke@435 172
duke@435 173 // Translate a bci to its corresponding data, or NULL.
duke@435 174 ciProfileData* ciMethodData::bci_to_data(int bci) {
duke@435 175 ciProfileData* data = data_before(bci);
duke@435 176 for ( ; is_valid(data); data = next_data(data)) {
duke@435 177 if (data->bci() == bci) {
duke@435 178 set_hint_di(dp_to_di(data->dp()));
duke@435 179 return data;
duke@435 180 } else if (data->bci() > bci) {
duke@435 181 break;
duke@435 182 }
duke@435 183 }
duke@435 184 // bci_to_extra_data(bci) ...
duke@435 185 DataLayout* dp = data_layout_at(data_size());
duke@435 186 DataLayout* end = data_layout_at(data_size() + extra_data_size());
duke@435 187 for (; dp < end; dp = methodDataOopDesc::next_extra(dp)) {
duke@435 188 if (dp->tag() == DataLayout::no_tag) {
duke@435 189 _saw_free_extra_data = true; // observed an empty slot (common case)
duke@435 190 return NULL;
duke@435 191 }
kvn@480 192 if (dp->tag() == DataLayout::arg_info_data_tag) {
kvn@480 193 break; // ArgInfoData is at the end of extra data section.
kvn@480 194 }
duke@435 195 if (dp->bci() == bci) {
duke@435 196 assert(dp->tag() == DataLayout::bit_data_tag, "sane");
duke@435 197 return new ciBitData(dp);
duke@435 198 }
duke@435 199 }
duke@435 200 return NULL;
duke@435 201 }
duke@435 202
duke@435 203 // Conservatively decode the trap_state of a ciProfileData.
duke@435 204 int ciMethodData::has_trap_at(ciProfileData* data, int reason) {
duke@435 205 typedef Deoptimization::DeoptReason DR_t;
duke@435 206 int per_bc_reason
duke@435 207 = Deoptimization::reason_recorded_per_bytecode_if_any((DR_t) reason);
duke@435 208 if (trap_count(reason) == 0) {
duke@435 209 // Impossible for this trap to have occurred, regardless of trap_state.
duke@435 210 // Note: This happens if the MDO is empty.
duke@435 211 return 0;
duke@435 212 } else if (per_bc_reason == Deoptimization::Reason_none) {
duke@435 213 // We cannot conclude anything; a trap happened somewhere, maybe here.
duke@435 214 return -1;
duke@435 215 } else if (data == NULL) {
duke@435 216 // No profile here, not even an extra_data record allocated on the fly.
duke@435 217 // If there are empty extra_data records, and there had been a trap,
duke@435 218 // there would have been a non-null data pointer. If there are no
duke@435 219 // free extra_data records, we must return a conservative -1.
duke@435 220 if (_saw_free_extra_data)
duke@435 221 return 0; // Q.E.D.
duke@435 222 else
duke@435 223 return -1; // bail with a conservative answer
duke@435 224 } else {
duke@435 225 return Deoptimization::trap_state_has_reason(data->trap_state(), per_bc_reason);
duke@435 226 }
duke@435 227 }
duke@435 228
duke@435 229 int ciMethodData::trap_recompiled_at(ciProfileData* data) {
duke@435 230 if (data == NULL) {
duke@435 231 return (_saw_free_extra_data? 0: -1); // (see previous method)
duke@435 232 } else {
duke@435 233 return Deoptimization::trap_state_is_recompiled(data->trap_state())? 1: 0;
duke@435 234 }
duke@435 235 }
duke@435 236
duke@435 237 void ciMethodData::clear_escape_info() {
duke@435 238 VM_ENTRY_MARK;
duke@435 239 methodDataOop mdo = get_methodDataOop();
kvn@480 240 if (mdo != NULL) {
duke@435 241 mdo->clear_escape_info();
kvn@480 242 ArgInfoData *aid = arg_info();
kvn@480 243 int arg_count = (aid == NULL) ? 0 : aid->number_of_args();
kvn@480 244 for (int i = 0; i < arg_count; i++) {
kvn@480 245 set_arg_modified(i, 0);
kvn@480 246 }
kvn@480 247 }
duke@435 248 _eflags = _arg_local = _arg_stack = _arg_returned = 0;
duke@435 249 }
duke@435 250
duke@435 251 // copy our escape info to the methodDataOop if it exists
duke@435 252 void ciMethodData::update_escape_info() {
duke@435 253 VM_ENTRY_MARK;
duke@435 254 methodDataOop mdo = get_methodDataOop();
duke@435 255 if ( mdo != NULL) {
duke@435 256 mdo->set_eflags(_eflags);
duke@435 257 mdo->set_arg_local(_arg_local);
duke@435 258 mdo->set_arg_stack(_arg_stack);
duke@435 259 mdo->set_arg_returned(_arg_returned);
kvn@480 260 int arg_count = mdo->method()->size_of_parameters();
kvn@480 261 for (int i = 0; i < arg_count; i++) {
kvn@480 262 mdo->set_arg_modified(i, arg_modified(i));
kvn@480 263 }
duke@435 264 }
duke@435 265 }
duke@435 266
iveresov@2138 267 void ciMethodData::set_compilation_stats(short loops, short blocks) {
iveresov@2138 268 VM_ENTRY_MARK;
iveresov@2138 269 methodDataOop mdo = get_methodDataOop();
iveresov@2138 270 if (mdo != NULL) {
iveresov@2138 271 mdo->set_num_loops(loops);
iveresov@2138 272 mdo->set_num_blocks(blocks);
iveresov@2138 273 }
iveresov@2138 274 }
iveresov@2138 275
iveresov@2138 276 void ciMethodData::set_would_profile(bool p) {
iveresov@2138 277 VM_ENTRY_MARK;
iveresov@2138 278 methodDataOop mdo = get_methodDataOop();
iveresov@2138 279 if (mdo != NULL) {
iveresov@2138 280 mdo->set_would_profile(p);
iveresov@2138 281 }
iveresov@2138 282 }
iveresov@2138 283
duke@435 284 bool ciMethodData::has_escape_info() {
duke@435 285 return eflag_set(methodDataOopDesc::estimated);
duke@435 286 }
duke@435 287
duke@435 288 void ciMethodData::set_eflag(methodDataOopDesc::EscapeFlag f) {
duke@435 289 set_bits(_eflags, f);
duke@435 290 }
duke@435 291
duke@435 292 void ciMethodData::clear_eflag(methodDataOopDesc::EscapeFlag f) {
duke@435 293 clear_bits(_eflags, f);
duke@435 294 }
duke@435 295
duke@435 296 bool ciMethodData::eflag_set(methodDataOopDesc::EscapeFlag f) const {
duke@435 297 return mask_bits(_eflags, f) != 0;
duke@435 298 }
duke@435 299
duke@435 300 void ciMethodData::set_arg_local(int i) {
duke@435 301 set_nth_bit(_arg_local, i);
duke@435 302 }
duke@435 303
duke@435 304 void ciMethodData::set_arg_stack(int i) {
duke@435 305 set_nth_bit(_arg_stack, i);
duke@435 306 }
duke@435 307
duke@435 308 void ciMethodData::set_arg_returned(int i) {
duke@435 309 set_nth_bit(_arg_returned, i);
duke@435 310 }
duke@435 311
kvn@480 312 void ciMethodData::set_arg_modified(int arg, uint val) {
kvn@480 313 ArgInfoData *aid = arg_info();
kvn@480 314 if (aid == NULL)
kvn@480 315 return;
kvn@480 316 assert(arg >= 0 && arg < aid->number_of_args(), "valid argument number");
kvn@480 317 aid->set_arg_modified(arg, val);
kvn@480 318 }
kvn@480 319
duke@435 320 bool ciMethodData::is_arg_local(int i) const {
duke@435 321 return is_set_nth_bit(_arg_local, i);
duke@435 322 }
duke@435 323
duke@435 324 bool ciMethodData::is_arg_stack(int i) const {
duke@435 325 return is_set_nth_bit(_arg_stack, i);
duke@435 326 }
duke@435 327
duke@435 328 bool ciMethodData::is_arg_returned(int i) const {
duke@435 329 return is_set_nth_bit(_arg_returned, i);
duke@435 330 }
duke@435 331
kvn@480 332 uint ciMethodData::arg_modified(int arg) const {
kvn@480 333 ArgInfoData *aid = arg_info();
kvn@480 334 if (aid == NULL)
kvn@480 335 return 0;
kvn@480 336 assert(arg >= 0 && arg < aid->number_of_args(), "valid argument number");
kvn@480 337 return aid->arg_modified(arg);
kvn@480 338 }
kvn@480 339
duke@435 340 ByteSize ciMethodData::offset_of_slot(ciProfileData* data, ByteSize slot_offset_in_data) {
duke@435 341 // Get offset within methodDataOop of the data array
duke@435 342 ByteSize data_offset = methodDataOopDesc::data_offset();
duke@435 343
duke@435 344 // Get cell offset of the ProfileData within data array
duke@435 345 int cell_offset = dp_to_di(data->dp());
duke@435 346
duke@435 347 // Add in counter_offset, the # of bytes into the ProfileData of counter or flag
duke@435 348 int offset = in_bytes(data_offset) + cell_offset + in_bytes(slot_offset_in_data);
duke@435 349
duke@435 350 return in_ByteSize(offset);
duke@435 351 }
duke@435 352
kvn@480 353 ciArgInfoData *ciMethodData::arg_info() const {
kvn@480 354 // Should be last, have to skip all traps.
kvn@480 355 DataLayout* dp = data_layout_at(data_size());
kvn@480 356 DataLayout* end = data_layout_at(data_size() + extra_data_size());
kvn@480 357 for (; dp < end; dp = methodDataOopDesc::next_extra(dp)) {
kvn@480 358 if (dp->tag() == DataLayout::arg_info_data_tag)
kvn@480 359 return new ciArgInfoData(dp);
kvn@480 360 }
kvn@480 361 return NULL;
kvn@480 362 }
kvn@480 363
kvn@480 364
duke@435 365 // Implementation of the print method.
duke@435 366 void ciMethodData::print_impl(outputStream* st) {
duke@435 367 ciObject::print_impl(st);
duke@435 368 }
duke@435 369
duke@435 370 #ifndef PRODUCT
duke@435 371 void ciMethodData::print() {
duke@435 372 print_data_on(tty);
duke@435 373 }
duke@435 374
duke@435 375 void ciMethodData::print_data_on(outputStream* st) {
duke@435 376 ResourceMark rm;
duke@435 377 ciProfileData* data;
duke@435 378 for (data = first_data(); is_valid(data); data = next_data(data)) {
duke@435 379 st->print("%d", dp_to_di(data->dp()));
duke@435 380 st->fill_to(6);
duke@435 381 data->print_data_on(st);
duke@435 382 }
kvn@480 383 st->print_cr("--- Extra data:");
kvn@480 384 DataLayout* dp = data_layout_at(data_size());
kvn@480 385 DataLayout* end = data_layout_at(data_size() + extra_data_size());
kvn@480 386 for (; dp < end; dp = methodDataOopDesc::next_extra(dp)) {
kvn@480 387 if (dp->tag() == DataLayout::no_tag) continue;
kvn@480 388 if (dp->tag() == DataLayout::bit_data_tag) {
kvn@480 389 data = new BitData(dp);
kvn@480 390 } else {
kvn@480 391 assert(dp->tag() == DataLayout::arg_info_data_tag, "must be BitData or ArgInfo");
kvn@480 392 data = new ciArgInfoData(dp);
kvn@480 393 dp = end; // ArgInfoData is at the end of extra data section.
kvn@480 394 }
kvn@480 395 st->print("%d", dp_to_di(data->dp()));
kvn@480 396 st->fill_to(6);
kvn@480 397 data->print_data_on(st);
kvn@480 398 }
duke@435 399 }
duke@435 400
duke@435 401 void ciReceiverTypeData::print_receiver_data_on(outputStream* st) {
duke@435 402 uint row;
duke@435 403 int entries = 0;
duke@435 404 for (row = 0; row < row_limit(); row++) {
duke@435 405 if (receiver(row) != NULL) entries++;
duke@435 406 }
duke@435 407 st->print_cr("count(%u) entries(%u)", count(), entries);
duke@435 408 for (row = 0; row < row_limit(); row++) {
duke@435 409 if (receiver(row) != NULL) {
duke@435 410 tab(st);
duke@435 411 receiver(row)->print_name_on(st);
duke@435 412 st->print_cr("(%u)", receiver_count(row));
duke@435 413 }
duke@435 414 }
duke@435 415 }
duke@435 416
duke@435 417 void ciReceiverTypeData::print_data_on(outputStream* st) {
duke@435 418 print_shared(st, "ciReceiverTypeData");
duke@435 419 print_receiver_data_on(st);
duke@435 420 }
duke@435 421
duke@435 422 void ciVirtualCallData::print_data_on(outputStream* st) {
duke@435 423 print_shared(st, "ciVirtualCallData");
duke@435 424 rtd_super()->print_receiver_data_on(st);
duke@435 425 }
duke@435 426 #endif

mercurial