src/share/vm/ci/ciMethodData.cpp

Tue, 11 Mar 2008 19:00:38 -0700

author
kvn
date
Tue, 11 Mar 2008 19:00:38 -0700
changeset 480
48a3fa21394b
parent 435
a61af66fc99e
child 631
d1605aabd0a1
permissions
-rw-r--r--

6667615: (Escape Analysis) extend MDO to cache arguments escape state
Summary: Use MDO to cache arguments escape state determined by the byte code escape analyzer.
Reviewed-by: never

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

mercurial