src/share/vm/prims/jvmtiImpl.cpp

Mon, 02 Mar 2009 14:05:07 -0700

author
dcubed
date
Mon, 02 Mar 2009 14:05:07 -0700
changeset 1046
2f716c0acb64
parent 435
a61af66fc99e
child 1907
c18cbe5936b8
permissions
-rw-r--r--

6567360: 3/4 SIGBUS in jvmti RawMonitor magic check for unaligned bad monitor pointer
Summary: Change JvmtiEnvBase::is_valid() and JvmtiRawMonitor::is_valid() to fetch the _magic fields via Bytes::get_native_u[248]().
Reviewed-by: coleenp, swamyv

duke@435 1 /*
duke@435 2 * Copyright 2003-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/_jvmtiImpl.cpp.incl"
duke@435 27
duke@435 28 GrowableArray<JvmtiRawMonitor*> *JvmtiPendingMonitors::_monitors = new (ResourceObj::C_HEAP) GrowableArray<JvmtiRawMonitor*>(1,true);
duke@435 29
duke@435 30 void JvmtiPendingMonitors::transition_raw_monitors() {
duke@435 31 assert((Threads::number_of_threads()==1),
duke@435 32 "Java thread has not created yet or more than one java thread \
duke@435 33 is running. Raw monitor transition will not work");
duke@435 34 JavaThread *current_java_thread = JavaThread::current();
duke@435 35 assert(current_java_thread->thread_state() == _thread_in_vm, "Must be in vm");
duke@435 36 {
duke@435 37 ThreadBlockInVM __tbivm(current_java_thread);
duke@435 38 for(int i=0; i< count(); i++) {
duke@435 39 JvmtiRawMonitor *rmonitor = monitors()->at(i);
duke@435 40 int r = rmonitor->raw_enter(current_java_thread);
duke@435 41 assert(r == ObjectMonitor::OM_OK, "raw_enter should have worked");
duke@435 42 }
duke@435 43 }
duke@435 44 // pending monitors are converted to real monitor so delete them all.
duke@435 45 dispose();
duke@435 46 }
duke@435 47
duke@435 48 //
duke@435 49 // class JvmtiAgentThread
duke@435 50 //
duke@435 51 // JavaThread used to wrap a thread started by an agent
duke@435 52 // using the JVMTI method RunAgentThread.
duke@435 53 //
duke@435 54
duke@435 55 JvmtiAgentThread::JvmtiAgentThread(JvmtiEnv* env, jvmtiStartFunction start_fn, const void *start_arg)
duke@435 56 : JavaThread(start_function_wrapper) {
duke@435 57 _env = env;
duke@435 58 _start_fn = start_fn;
duke@435 59 _start_arg = start_arg;
duke@435 60 }
duke@435 61
duke@435 62 void
duke@435 63 JvmtiAgentThread::start_function_wrapper(JavaThread *thread, TRAPS) {
duke@435 64 // It is expected that any Agent threads will be created as
duke@435 65 // Java Threads. If this is the case, notification of the creation
duke@435 66 // of the thread is given in JavaThread::thread_main().
duke@435 67 assert(thread->is_Java_thread(), "debugger thread should be a Java Thread");
duke@435 68 assert(thread == JavaThread::current(), "sanity check");
duke@435 69
duke@435 70 JvmtiAgentThread *dthread = (JvmtiAgentThread *)thread;
duke@435 71 dthread->call_start_function();
duke@435 72 }
duke@435 73
duke@435 74 void
duke@435 75 JvmtiAgentThread::call_start_function() {
duke@435 76 ThreadToNativeFromVM transition(this);
duke@435 77 _start_fn(_env->jvmti_external(), jni_environment(), (void*)_start_arg);
duke@435 78 }
duke@435 79
duke@435 80
duke@435 81 //
duke@435 82 // class GrowableCache - private methods
duke@435 83 //
duke@435 84
duke@435 85 void GrowableCache::recache() {
duke@435 86 int len = _elements->length();
duke@435 87
duke@435 88 FREE_C_HEAP_ARRAY(address, _cache);
duke@435 89 _cache = NEW_C_HEAP_ARRAY(address,len+1);
duke@435 90
duke@435 91 for (int i=0; i<len; i++) {
duke@435 92 _cache[i] = _elements->at(i)->getCacheValue();
duke@435 93 //
duke@435 94 // The cache entry has gone bad. Without a valid frame pointer
duke@435 95 // value, the entry is useless so we simply delete it in product
duke@435 96 // mode. The call to remove() will rebuild the cache again
duke@435 97 // without the bad entry.
duke@435 98 //
duke@435 99 if (_cache[i] == NULL) {
duke@435 100 assert(false, "cannot recache NULL elements");
duke@435 101 remove(i);
duke@435 102 return;
duke@435 103 }
duke@435 104 }
duke@435 105 _cache[len] = NULL;
duke@435 106
duke@435 107 _listener_fun(_this_obj,_cache);
duke@435 108 }
duke@435 109
duke@435 110 bool GrowableCache::equals(void* v, GrowableElement *e2) {
duke@435 111 GrowableElement *e1 = (GrowableElement *) v;
duke@435 112 assert(e1 != NULL, "e1 != NULL");
duke@435 113 assert(e2 != NULL, "e2 != NULL");
duke@435 114
duke@435 115 return e1->equals(e2);
duke@435 116 }
duke@435 117
duke@435 118 //
duke@435 119 // class GrowableCache - public methods
duke@435 120 //
duke@435 121
duke@435 122 GrowableCache::GrowableCache() {
duke@435 123 _this_obj = NULL;
duke@435 124 _listener_fun = NULL;
duke@435 125 _elements = NULL;
duke@435 126 _cache = NULL;
duke@435 127 }
duke@435 128
duke@435 129 GrowableCache::~GrowableCache() {
duke@435 130 clear();
duke@435 131 delete _elements;
duke@435 132 FREE_C_HEAP_ARRAY(address, _cache);
duke@435 133 }
duke@435 134
duke@435 135 void GrowableCache::initialize(void *this_obj, void listener_fun(void *, address*) ) {
duke@435 136 _this_obj = this_obj;
duke@435 137 _listener_fun = listener_fun;
duke@435 138 _elements = new (ResourceObj::C_HEAP) GrowableArray<GrowableElement*>(5,true);
duke@435 139 recache();
duke@435 140 }
duke@435 141
duke@435 142 // number of elements in the collection
duke@435 143 int GrowableCache::length() {
duke@435 144 return _elements->length();
duke@435 145 }
duke@435 146
duke@435 147 // get the value of the index element in the collection
duke@435 148 GrowableElement* GrowableCache::at(int index) {
duke@435 149 GrowableElement *e = (GrowableElement *) _elements->at(index);
duke@435 150 assert(e != NULL, "e != NULL");
duke@435 151 return e;
duke@435 152 }
duke@435 153
duke@435 154 int GrowableCache::find(GrowableElement* e) {
duke@435 155 return _elements->find(e, GrowableCache::equals);
duke@435 156 }
duke@435 157
duke@435 158 // append a copy of the element to the end of the collection
duke@435 159 void GrowableCache::append(GrowableElement* e) {
duke@435 160 GrowableElement *new_e = e->clone();
duke@435 161 _elements->append(new_e);
duke@435 162 recache();
duke@435 163 }
duke@435 164
duke@435 165 // insert a copy of the element using lessthan()
duke@435 166 void GrowableCache::insert(GrowableElement* e) {
duke@435 167 GrowableElement *new_e = e->clone();
duke@435 168 _elements->append(new_e);
duke@435 169
duke@435 170 int n = length()-2;
duke@435 171 for (int i=n; i>=0; i--) {
duke@435 172 GrowableElement *e1 = _elements->at(i);
duke@435 173 GrowableElement *e2 = _elements->at(i+1);
duke@435 174 if (e2->lessThan(e1)) {
duke@435 175 _elements->at_put(i+1, e1);
duke@435 176 _elements->at_put(i, e2);
duke@435 177 }
duke@435 178 }
duke@435 179
duke@435 180 recache();
duke@435 181 }
duke@435 182
duke@435 183 // remove the element at index
duke@435 184 void GrowableCache::remove (int index) {
duke@435 185 GrowableElement *e = _elements->at(index);
duke@435 186 assert(e != NULL, "e != NULL");
duke@435 187 _elements->remove(e);
duke@435 188 delete e;
duke@435 189 recache();
duke@435 190 }
duke@435 191
duke@435 192 // clear out all elements, release all heap space and
duke@435 193 // let our listener know that things have changed.
duke@435 194 void GrowableCache::clear() {
duke@435 195 int len = _elements->length();
duke@435 196 for (int i=0; i<len; i++) {
duke@435 197 delete _elements->at(i);
duke@435 198 }
duke@435 199 _elements->clear();
duke@435 200 recache();
duke@435 201 }
duke@435 202
duke@435 203 void GrowableCache::oops_do(OopClosure* f) {
duke@435 204 int len = _elements->length();
duke@435 205 for (int i=0; i<len; i++) {
duke@435 206 GrowableElement *e = _elements->at(i);
duke@435 207 e->oops_do(f);
duke@435 208 }
duke@435 209 }
duke@435 210
duke@435 211 void GrowableCache::gc_epilogue() {
duke@435 212 int len = _elements->length();
duke@435 213 // recompute the new cache value after GC
duke@435 214 for (int i=0; i<len; i++) {
duke@435 215 _cache[i] = _elements->at(i)->getCacheValue();
duke@435 216 }
duke@435 217 }
duke@435 218
duke@435 219
duke@435 220 //
duke@435 221 // class JvmtiRawMonitor
duke@435 222 //
duke@435 223
duke@435 224 JvmtiRawMonitor::JvmtiRawMonitor(const char *name) {
duke@435 225 #ifdef ASSERT
duke@435 226 _name = strcpy(NEW_C_HEAP_ARRAY(char, strlen(name) + 1), name);
duke@435 227 #else
duke@435 228 _name = NULL;
duke@435 229 #endif
duke@435 230 _magic = JVMTI_RM_MAGIC;
duke@435 231 }
duke@435 232
duke@435 233 JvmtiRawMonitor::~JvmtiRawMonitor() {
duke@435 234 #ifdef ASSERT
duke@435 235 FreeHeap(_name);
duke@435 236 #endif
duke@435 237 _magic = 0;
duke@435 238 }
duke@435 239
duke@435 240
dcubed@1046 241 bool
dcubed@1046 242 JvmtiRawMonitor::is_valid() {
dcubed@1046 243 int value = 0;
dcubed@1046 244
dcubed@1046 245 // This object might not be a JvmtiRawMonitor so we can't assume
dcubed@1046 246 // the _magic field is properly aligned. Get the value in a safe
dcubed@1046 247 // way and then check against JVMTI_RM_MAGIC.
dcubed@1046 248
dcubed@1046 249 switch (sizeof(_magic)) {
dcubed@1046 250 case 2:
dcubed@1046 251 value = Bytes::get_native_u2((address)&_magic);
dcubed@1046 252 break;
dcubed@1046 253
dcubed@1046 254 case 4:
dcubed@1046 255 value = Bytes::get_native_u4((address)&_magic);
dcubed@1046 256 break;
dcubed@1046 257
dcubed@1046 258 case 8:
dcubed@1046 259 value = Bytes::get_native_u8((address)&_magic);
dcubed@1046 260 break;
dcubed@1046 261
dcubed@1046 262 default:
dcubed@1046 263 guarantee(false, "_magic field is an unexpected size");
dcubed@1046 264 }
dcubed@1046 265
dcubed@1046 266 return value == JVMTI_RM_MAGIC;
dcubed@1046 267 }
dcubed@1046 268
dcubed@1046 269
duke@435 270 //
duke@435 271 // class JvmtiBreakpoint
duke@435 272 //
duke@435 273
duke@435 274 JvmtiBreakpoint::JvmtiBreakpoint() {
duke@435 275 _method = NULL;
duke@435 276 _bci = 0;
duke@435 277 #ifdef CHECK_UNHANDLED_OOPS
duke@435 278 // This one is always allocated with new, but check it just in case.
duke@435 279 Thread *thread = Thread::current();
duke@435 280 if (thread->is_in_stack((address)&_method)) {
duke@435 281 thread->allow_unhandled_oop((oop*)&_method);
duke@435 282 }
duke@435 283 #endif // CHECK_UNHANDLED_OOPS
duke@435 284 }
duke@435 285
duke@435 286 JvmtiBreakpoint::JvmtiBreakpoint(methodOop m_method, jlocation location) {
duke@435 287 _method = m_method;
duke@435 288 assert(_method != NULL, "_method != NULL");
duke@435 289 _bci = (int) location;
duke@435 290 #ifdef CHECK_UNHANDLED_OOPS
duke@435 291 // Could be allocated with new and wouldn't be on the unhandled oop list.
duke@435 292 Thread *thread = Thread::current();
duke@435 293 if (thread->is_in_stack((address)&_method)) {
duke@435 294 thread->allow_unhandled_oop(&_method);
duke@435 295 }
duke@435 296 #endif // CHECK_UNHANDLED_OOPS
duke@435 297
duke@435 298 assert(_bci >= 0, "_bci >= 0");
duke@435 299 }
duke@435 300
duke@435 301 void JvmtiBreakpoint::copy(JvmtiBreakpoint& bp) {
duke@435 302 _method = bp._method;
duke@435 303 _bci = bp._bci;
duke@435 304 }
duke@435 305
duke@435 306 bool JvmtiBreakpoint::lessThan(JvmtiBreakpoint& bp) {
duke@435 307 Unimplemented();
duke@435 308 return false;
duke@435 309 }
duke@435 310
duke@435 311 bool JvmtiBreakpoint::equals(JvmtiBreakpoint& bp) {
duke@435 312 return _method == bp._method
duke@435 313 && _bci == bp._bci;
duke@435 314 }
duke@435 315
duke@435 316 bool JvmtiBreakpoint::is_valid() {
duke@435 317 return _method != NULL &&
duke@435 318 _bci >= 0;
duke@435 319 }
duke@435 320
duke@435 321 address JvmtiBreakpoint::getBcp() {
duke@435 322 return _method->bcp_from(_bci);
duke@435 323 }
duke@435 324
duke@435 325 void JvmtiBreakpoint::each_method_version_do(method_action meth_act) {
duke@435 326 ((methodOopDesc*)_method->*meth_act)(_bci);
duke@435 327
duke@435 328 // add/remove breakpoint to/from versions of the method that
duke@435 329 // are EMCP. Directly or transitively obsolete methods are
duke@435 330 // not saved in the PreviousVersionInfo.
duke@435 331 Thread *thread = Thread::current();
duke@435 332 instanceKlassHandle ikh = instanceKlassHandle(thread, _method->method_holder());
duke@435 333 symbolOop m_name = _method->name();
duke@435 334 symbolOop m_signature = _method->signature();
duke@435 335
duke@435 336 {
duke@435 337 ResourceMark rm(thread);
duke@435 338 // PreviousVersionInfo objects returned via PreviousVersionWalker
duke@435 339 // contain a GrowableArray of handles. We have to clean up the
duke@435 340 // GrowableArray _after_ the PreviousVersionWalker destructor
duke@435 341 // has destroyed the handles.
duke@435 342 {
duke@435 343 // search previous versions if they exist
duke@435 344 PreviousVersionWalker pvw((instanceKlass *)ikh()->klass_part());
duke@435 345 for (PreviousVersionInfo * pv_info = pvw.next_previous_version();
duke@435 346 pv_info != NULL; pv_info = pvw.next_previous_version()) {
duke@435 347 GrowableArray<methodHandle>* methods =
duke@435 348 pv_info->prev_EMCP_method_handles();
duke@435 349
duke@435 350 if (methods == NULL) {
duke@435 351 // We have run into a PreviousVersion generation where
duke@435 352 // all methods were made obsolete during that generation's
duke@435 353 // RedefineClasses() operation. At the time of that
duke@435 354 // operation, all EMCP methods were flushed so we don't
duke@435 355 // have to go back any further.
duke@435 356 //
duke@435 357 // A NULL methods array is different than an empty methods
duke@435 358 // array. We cannot infer any optimizations about older
duke@435 359 // generations from an empty methods array for the current
duke@435 360 // generation.
duke@435 361 break;
duke@435 362 }
duke@435 363
duke@435 364 for (int i = methods->length() - 1; i >= 0; i--) {
duke@435 365 methodHandle method = methods->at(i);
duke@435 366 if (method->name() == m_name && method->signature() == m_signature) {
duke@435 367 RC_TRACE(0x00000800, ("%sing breakpoint in %s(%s)",
duke@435 368 meth_act == &methodOopDesc::set_breakpoint ? "sett" : "clear",
duke@435 369 method->name()->as_C_string(),
duke@435 370 method->signature()->as_C_string()));
duke@435 371 assert(!method->is_obsolete(), "only EMCP methods here");
duke@435 372
duke@435 373 ((methodOopDesc*)method()->*meth_act)(_bci);
duke@435 374 break;
duke@435 375 }
duke@435 376 }
duke@435 377 }
duke@435 378 } // pvw is cleaned up
duke@435 379 } // rm is cleaned up
duke@435 380 }
duke@435 381
duke@435 382 void JvmtiBreakpoint::set() {
duke@435 383 each_method_version_do(&methodOopDesc::set_breakpoint);
duke@435 384 }
duke@435 385
duke@435 386 void JvmtiBreakpoint::clear() {
duke@435 387 each_method_version_do(&methodOopDesc::clear_breakpoint);
duke@435 388 }
duke@435 389
duke@435 390 void JvmtiBreakpoint::print() {
duke@435 391 #ifndef PRODUCT
duke@435 392 const char *class_name = (_method == NULL) ? "NULL" : _method->klass_name()->as_C_string();
duke@435 393 const char *method_name = (_method == NULL) ? "NULL" : _method->name()->as_C_string();
duke@435 394
duke@435 395 tty->print("Breakpoint(%s,%s,%d,%p)",class_name, method_name, _bci, getBcp());
duke@435 396 #endif
duke@435 397 }
duke@435 398
duke@435 399
duke@435 400 //
duke@435 401 // class VM_ChangeBreakpoints
duke@435 402 //
duke@435 403 // Modify the Breakpoints data structure at a safepoint
duke@435 404 //
duke@435 405
duke@435 406 void VM_ChangeBreakpoints::doit() {
duke@435 407 switch (_operation) {
duke@435 408 case SET_BREAKPOINT:
duke@435 409 _breakpoints->set_at_safepoint(*_bp);
duke@435 410 break;
duke@435 411 case CLEAR_BREAKPOINT:
duke@435 412 _breakpoints->clear_at_safepoint(*_bp);
duke@435 413 break;
duke@435 414 case CLEAR_ALL_BREAKPOINT:
duke@435 415 _breakpoints->clearall_at_safepoint();
duke@435 416 break;
duke@435 417 default:
duke@435 418 assert(false, "Unknown operation");
duke@435 419 }
duke@435 420 }
duke@435 421
duke@435 422 void VM_ChangeBreakpoints::oops_do(OopClosure* f) {
duke@435 423 // This operation keeps breakpoints alive
duke@435 424 if (_breakpoints != NULL) {
duke@435 425 _breakpoints->oops_do(f);
duke@435 426 }
duke@435 427 if (_bp != NULL) {
duke@435 428 _bp->oops_do(f);
duke@435 429 }
duke@435 430 }
duke@435 431
duke@435 432 //
duke@435 433 // class JvmtiBreakpoints
duke@435 434 //
duke@435 435 // a JVMTI internal collection of JvmtiBreakpoint
duke@435 436 //
duke@435 437
duke@435 438 JvmtiBreakpoints::JvmtiBreakpoints(void listener_fun(void *,address *)) {
duke@435 439 _bps.initialize(this,listener_fun);
duke@435 440 }
duke@435 441
duke@435 442 JvmtiBreakpoints:: ~JvmtiBreakpoints() {}
duke@435 443
duke@435 444 void JvmtiBreakpoints::oops_do(OopClosure* f) {
duke@435 445 _bps.oops_do(f);
duke@435 446 }
duke@435 447
duke@435 448 void JvmtiBreakpoints::gc_epilogue() {
duke@435 449 _bps.gc_epilogue();
duke@435 450 }
duke@435 451
duke@435 452 void JvmtiBreakpoints::print() {
duke@435 453 #ifndef PRODUCT
duke@435 454 ResourceMark rm;
duke@435 455
duke@435 456 int n = _bps.length();
duke@435 457 for (int i=0; i<n; i++) {
duke@435 458 JvmtiBreakpoint& bp = _bps.at(i);
duke@435 459 tty->print("%d: ", i);
duke@435 460 bp.print();
duke@435 461 tty->print_cr("");
duke@435 462 }
duke@435 463 #endif
duke@435 464 }
duke@435 465
duke@435 466
duke@435 467 void JvmtiBreakpoints::set_at_safepoint(JvmtiBreakpoint& bp) {
duke@435 468 assert(SafepointSynchronize::is_at_safepoint(), "must be at safepoint");
duke@435 469
duke@435 470 int i = _bps.find(bp);
duke@435 471 if (i == -1) {
duke@435 472 _bps.append(bp);
duke@435 473 bp.set();
duke@435 474 }
duke@435 475 }
duke@435 476
duke@435 477 void JvmtiBreakpoints::clear_at_safepoint(JvmtiBreakpoint& bp) {
duke@435 478 assert(SafepointSynchronize::is_at_safepoint(), "must be at safepoint");
duke@435 479
duke@435 480 int i = _bps.find(bp);
duke@435 481 if (i != -1) {
duke@435 482 _bps.remove(i);
duke@435 483 bp.clear();
duke@435 484 }
duke@435 485 }
duke@435 486
duke@435 487 void JvmtiBreakpoints::clearall_at_safepoint() {
duke@435 488 assert(SafepointSynchronize::is_at_safepoint(), "must be at safepoint");
duke@435 489
duke@435 490 int len = _bps.length();
duke@435 491 for (int i=0; i<len; i++) {
duke@435 492 _bps.at(i).clear();
duke@435 493 }
duke@435 494 _bps.clear();
duke@435 495 }
duke@435 496
duke@435 497 int JvmtiBreakpoints::length() { return _bps.length(); }
duke@435 498
duke@435 499 int JvmtiBreakpoints::set(JvmtiBreakpoint& bp) {
duke@435 500 if ( _bps.find(bp) != -1) {
duke@435 501 return JVMTI_ERROR_DUPLICATE;
duke@435 502 }
duke@435 503 VM_ChangeBreakpoints set_breakpoint(this,VM_ChangeBreakpoints::SET_BREAKPOINT, &bp);
duke@435 504 VMThread::execute(&set_breakpoint);
duke@435 505 return JVMTI_ERROR_NONE;
duke@435 506 }
duke@435 507
duke@435 508 int JvmtiBreakpoints::clear(JvmtiBreakpoint& bp) {
duke@435 509 if ( _bps.find(bp) == -1) {
duke@435 510 return JVMTI_ERROR_NOT_FOUND;
duke@435 511 }
duke@435 512
duke@435 513 VM_ChangeBreakpoints clear_breakpoint(this,VM_ChangeBreakpoints::CLEAR_BREAKPOINT, &bp);
duke@435 514 VMThread::execute(&clear_breakpoint);
duke@435 515 return JVMTI_ERROR_NONE;
duke@435 516 }
duke@435 517
duke@435 518 void JvmtiBreakpoints::clearall_in_class_at_safepoint(klassOop klass) {
duke@435 519 bool changed = true;
duke@435 520 // We are going to run thru the list of bkpts
duke@435 521 // and delete some. This deletion probably alters
duke@435 522 // the list in some implementation defined way such
duke@435 523 // that when we delete entry i, the next entry might
duke@435 524 // no longer be at i+1. To be safe, each time we delete
duke@435 525 // an entry, we'll just start again from the beginning.
duke@435 526 // We'll stop when we make a pass thru the whole list without
duke@435 527 // deleting anything.
duke@435 528 while (changed) {
duke@435 529 int len = _bps.length();
duke@435 530 changed = false;
duke@435 531 for (int i = 0; i < len; i++) {
duke@435 532 JvmtiBreakpoint& bp = _bps.at(i);
duke@435 533 if (bp.method()->method_holder() == klass) {
duke@435 534 bp.clear();
duke@435 535 _bps.remove(i);
duke@435 536 // This changed 'i' so we have to start over.
duke@435 537 changed = true;
duke@435 538 break;
duke@435 539 }
duke@435 540 }
duke@435 541 }
duke@435 542 }
duke@435 543
duke@435 544 void JvmtiBreakpoints::clearall() {
duke@435 545 VM_ChangeBreakpoints clearall_breakpoint(this,VM_ChangeBreakpoints::CLEAR_ALL_BREAKPOINT);
duke@435 546 VMThread::execute(&clearall_breakpoint);
duke@435 547 }
duke@435 548
duke@435 549 //
duke@435 550 // class JvmtiCurrentBreakpoints
duke@435 551 //
duke@435 552
duke@435 553 JvmtiBreakpoints *JvmtiCurrentBreakpoints::_jvmti_breakpoints = NULL;
duke@435 554 address * JvmtiCurrentBreakpoints::_breakpoint_list = NULL;
duke@435 555
duke@435 556
duke@435 557 JvmtiBreakpoints& JvmtiCurrentBreakpoints::get_jvmti_breakpoints() {
duke@435 558 if (_jvmti_breakpoints != NULL) return (*_jvmti_breakpoints);
duke@435 559 _jvmti_breakpoints = new JvmtiBreakpoints(listener_fun);
duke@435 560 assert(_jvmti_breakpoints != NULL, "_jvmti_breakpoints != NULL");
duke@435 561 return (*_jvmti_breakpoints);
duke@435 562 }
duke@435 563
duke@435 564 void JvmtiCurrentBreakpoints::listener_fun(void *this_obj, address *cache) {
duke@435 565 JvmtiBreakpoints *this_jvmti = (JvmtiBreakpoints *) this_obj;
duke@435 566 assert(this_jvmti != NULL, "this_jvmti != NULL");
duke@435 567
duke@435 568 debug_only(int n = this_jvmti->length(););
duke@435 569 assert(cache[n] == NULL, "cache must be NULL terminated");
duke@435 570
duke@435 571 set_breakpoint_list(cache);
duke@435 572 }
duke@435 573
duke@435 574
duke@435 575 void JvmtiCurrentBreakpoints::oops_do(OopClosure* f) {
duke@435 576 if (_jvmti_breakpoints != NULL) {
duke@435 577 _jvmti_breakpoints->oops_do(f);
duke@435 578 }
duke@435 579 }
duke@435 580
duke@435 581 void JvmtiCurrentBreakpoints::gc_epilogue() {
duke@435 582 if (_jvmti_breakpoints != NULL) {
duke@435 583 _jvmti_breakpoints->gc_epilogue();
duke@435 584 }
duke@435 585 }
duke@435 586
duke@435 587
duke@435 588 ///////////////////////////////////////////////////////////////
duke@435 589 //
duke@435 590 // class VM_GetOrSetLocal
duke@435 591 //
duke@435 592
duke@435 593 // Constructor for non-object getter
duke@435 594 VM_GetOrSetLocal::VM_GetOrSetLocal(JavaThread* thread, jint depth, int index, BasicType type)
duke@435 595 : _thread(thread)
duke@435 596 , _calling_thread(NULL)
duke@435 597 , _depth(depth)
duke@435 598 , _index(index)
duke@435 599 , _type(type)
duke@435 600 , _set(false)
duke@435 601 , _jvf(NULL)
duke@435 602 , _result(JVMTI_ERROR_NONE)
duke@435 603 {
duke@435 604 }
duke@435 605
duke@435 606 // Constructor for object or non-object setter
duke@435 607 VM_GetOrSetLocal::VM_GetOrSetLocal(JavaThread* thread, jint depth, int index, BasicType type, jvalue value)
duke@435 608 : _thread(thread)
duke@435 609 , _calling_thread(NULL)
duke@435 610 , _depth(depth)
duke@435 611 , _index(index)
duke@435 612 , _type(type)
duke@435 613 , _value(value)
duke@435 614 , _set(true)
duke@435 615 , _jvf(NULL)
duke@435 616 , _result(JVMTI_ERROR_NONE)
duke@435 617 {
duke@435 618 }
duke@435 619
duke@435 620 // Constructor for object getter
duke@435 621 VM_GetOrSetLocal::VM_GetOrSetLocal(JavaThread* thread, JavaThread* calling_thread, jint depth, int index)
duke@435 622 : _thread(thread)
duke@435 623 , _calling_thread(calling_thread)
duke@435 624 , _depth(depth)
duke@435 625 , _index(index)
duke@435 626 , _type(T_OBJECT)
duke@435 627 , _set(false)
duke@435 628 , _jvf(NULL)
duke@435 629 , _result(JVMTI_ERROR_NONE)
duke@435 630 {
duke@435 631 }
duke@435 632
duke@435 633
duke@435 634 vframe *VM_GetOrSetLocal::get_vframe() {
duke@435 635 if (!_thread->has_last_Java_frame()) {
duke@435 636 return NULL;
duke@435 637 }
duke@435 638 RegisterMap reg_map(_thread);
duke@435 639 vframe *vf = _thread->last_java_vframe(&reg_map);
duke@435 640 int d = 0;
duke@435 641 while ((vf != NULL) && (d < _depth)) {
duke@435 642 vf = vf->java_sender();
duke@435 643 d++;
duke@435 644 }
duke@435 645 return vf;
duke@435 646 }
duke@435 647
duke@435 648 javaVFrame *VM_GetOrSetLocal::get_java_vframe() {
duke@435 649 vframe* vf = get_vframe();
duke@435 650 if (vf == NULL) {
duke@435 651 _result = JVMTI_ERROR_NO_MORE_FRAMES;
duke@435 652 return NULL;
duke@435 653 }
duke@435 654 javaVFrame *jvf = (javaVFrame*)vf;
duke@435 655
duke@435 656 if (!vf->is_java_frame() || jvf->method()->is_native()) {
duke@435 657 _result = JVMTI_ERROR_OPAQUE_FRAME;
duke@435 658 return NULL;
duke@435 659 }
duke@435 660 return jvf;
duke@435 661 }
duke@435 662
duke@435 663 // Check that the klass is assignable to a type with the given signature.
duke@435 664 // Another solution could be to use the function Klass::is_subtype_of(type).
duke@435 665 // But the type class can be forced to load/initialize eagerly in such a case.
duke@435 666 // This may cause unexpected consequences like CFLH or class-init JVMTI events.
duke@435 667 // It is better to avoid such a behavior.
duke@435 668 bool VM_GetOrSetLocal::is_assignable(const char* ty_sign, Klass* klass, Thread* thread) {
duke@435 669 assert(ty_sign != NULL, "type signature must not be NULL");
duke@435 670 assert(thread != NULL, "thread must not be NULL");
duke@435 671 assert(klass != NULL, "klass must not be NULL");
duke@435 672
duke@435 673 int len = (int) strlen(ty_sign);
duke@435 674 if (ty_sign[0] == 'L' && ty_sign[len-1] == ';') { // Need pure class/interface name
duke@435 675 ty_sign++;
duke@435 676 len -= 2;
duke@435 677 }
duke@435 678 symbolHandle ty_sym = oopFactory::new_symbol_handle(ty_sign, len, thread);
duke@435 679 if (klass->name() == ty_sym()) {
duke@435 680 return true;
duke@435 681 }
duke@435 682 // Compare primary supers
duke@435 683 int super_depth = klass->super_depth();
duke@435 684 int idx;
duke@435 685 for (idx = 0; idx < super_depth; idx++) {
duke@435 686 if (Klass::cast(klass->primary_super_of_depth(idx))->name() == ty_sym()) {
duke@435 687 return true;
duke@435 688 }
duke@435 689 }
duke@435 690 // Compare secondary supers
duke@435 691 objArrayOop sec_supers = klass->secondary_supers();
duke@435 692 for (idx = 0; idx < sec_supers->length(); idx++) {
duke@435 693 if (Klass::cast((klassOop) sec_supers->obj_at(idx))->name() == ty_sym()) {
duke@435 694 return true;
duke@435 695 }
duke@435 696 }
duke@435 697 return false;
duke@435 698 }
duke@435 699
duke@435 700 // Checks error conditions:
duke@435 701 // JVMTI_ERROR_INVALID_SLOT
duke@435 702 // JVMTI_ERROR_TYPE_MISMATCH
duke@435 703 // Returns: 'true' - everything is Ok, 'false' - error code
duke@435 704
duke@435 705 bool VM_GetOrSetLocal::check_slot_type(javaVFrame* jvf) {
duke@435 706 methodOop method_oop = jvf->method();
duke@435 707 if (!method_oop->has_localvariable_table()) {
duke@435 708 // Just to check index boundaries
duke@435 709 jint extra_slot = (_type == T_LONG || _type == T_DOUBLE) ? 1 : 0;
duke@435 710 if (_index < 0 || _index + extra_slot >= method_oop->max_locals()) {
duke@435 711 _result = JVMTI_ERROR_INVALID_SLOT;
duke@435 712 return false;
duke@435 713 }
duke@435 714 return true;
duke@435 715 }
duke@435 716
duke@435 717 jint num_entries = method_oop->localvariable_table_length();
duke@435 718 if (num_entries == 0) {
duke@435 719 _result = JVMTI_ERROR_INVALID_SLOT;
duke@435 720 return false; // There are no slots
duke@435 721 }
duke@435 722 int signature_idx = -1;
duke@435 723 int vf_bci = jvf->bci();
duke@435 724 LocalVariableTableElement* table = method_oop->localvariable_table_start();
duke@435 725 for (int i = 0; i < num_entries; i++) {
duke@435 726 int start_bci = table[i].start_bci;
duke@435 727 int end_bci = start_bci + table[i].length;
duke@435 728
duke@435 729 // Here we assume that locations of LVT entries
duke@435 730 // with the same slot number cannot be overlapped
duke@435 731 if (_index == (jint) table[i].slot && start_bci <= vf_bci && vf_bci <= end_bci) {
duke@435 732 signature_idx = (int) table[i].descriptor_cp_index;
duke@435 733 break;
duke@435 734 }
duke@435 735 }
duke@435 736 if (signature_idx == -1) {
duke@435 737 _result = JVMTI_ERROR_INVALID_SLOT;
duke@435 738 return false; // Incorrect slot index
duke@435 739 }
duke@435 740 symbolOop sign_sym = method_oop->constants()->symbol_at(signature_idx);
duke@435 741 const char* signature = (const char *) sign_sym->as_utf8();
duke@435 742 BasicType slot_type = char2type(signature[0]);
duke@435 743
duke@435 744 switch (slot_type) {
duke@435 745 case T_BYTE:
duke@435 746 case T_SHORT:
duke@435 747 case T_CHAR:
duke@435 748 case T_BOOLEAN:
duke@435 749 slot_type = T_INT;
duke@435 750 break;
duke@435 751 case T_ARRAY:
duke@435 752 slot_type = T_OBJECT;
duke@435 753 break;
duke@435 754 };
duke@435 755 if (_type != slot_type) {
duke@435 756 _result = JVMTI_ERROR_TYPE_MISMATCH;
duke@435 757 return false;
duke@435 758 }
duke@435 759
duke@435 760 jobject jobj = _value.l;
duke@435 761 if (_set && slot_type == T_OBJECT && jobj != NULL) { // NULL reference is allowed
duke@435 762 // Check that the jobject class matches the return type signature.
duke@435 763 JavaThread* cur_thread = JavaThread::current();
duke@435 764 HandleMark hm(cur_thread);
duke@435 765
duke@435 766 Handle obj = Handle(cur_thread, JNIHandles::resolve_external_guard(jobj));
duke@435 767 NULL_CHECK(obj, (_result = JVMTI_ERROR_INVALID_OBJECT, false));
duke@435 768 KlassHandle ob_kh = KlassHandle(cur_thread, obj->klass());
duke@435 769 NULL_CHECK(ob_kh, (_result = JVMTI_ERROR_INVALID_OBJECT, false));
duke@435 770
duke@435 771 if (!is_assignable(signature, Klass::cast(ob_kh()), cur_thread)) {
duke@435 772 _result = JVMTI_ERROR_TYPE_MISMATCH;
duke@435 773 return false;
duke@435 774 }
duke@435 775 }
duke@435 776 return true;
duke@435 777 }
duke@435 778
duke@435 779 static bool can_be_deoptimized(vframe* vf) {
duke@435 780 return (vf->is_compiled_frame() && vf->fr().can_be_deoptimized());
duke@435 781 }
duke@435 782
duke@435 783 bool VM_GetOrSetLocal::doit_prologue() {
duke@435 784 _jvf = get_java_vframe();
duke@435 785 NULL_CHECK(_jvf, false);
duke@435 786
duke@435 787 if (!check_slot_type(_jvf)) {
duke@435 788 return false;
duke@435 789 }
duke@435 790 return true;
duke@435 791 }
duke@435 792
duke@435 793 void VM_GetOrSetLocal::doit() {
duke@435 794 if (_set) {
duke@435 795 // Force deoptimization of frame if compiled because it's
duke@435 796 // possible the compiler emitted some locals as constant values,
duke@435 797 // meaning they are not mutable.
duke@435 798 if (can_be_deoptimized(_jvf)) {
duke@435 799
duke@435 800 // Schedule deoptimization so that eventually the local
duke@435 801 // update will be written to an interpreter frame.
duke@435 802 VM_DeoptimizeFrame deopt(_jvf->thread(), _jvf->fr().id());
duke@435 803 VMThread::execute(&deopt);
duke@435 804
duke@435 805 // Now store a new value for the local which will be applied
duke@435 806 // once deoptimization occurs. Note however that while this
duke@435 807 // write is deferred until deoptimization actually happens
duke@435 808 // can vframe created after this point will have its locals
duke@435 809 // reflecting this update so as far as anyone can see the
duke@435 810 // write has already taken place.
duke@435 811
duke@435 812 // If we are updating an oop then get the oop from the handle
duke@435 813 // since the handle will be long gone by the time the deopt
duke@435 814 // happens. The oop stored in the deferred local will be
duke@435 815 // gc'd on its own.
duke@435 816 if (_type == T_OBJECT) {
duke@435 817 _value.l = (jobject) (JNIHandles::resolve_external_guard(_value.l));
duke@435 818 }
duke@435 819 // Re-read the vframe so we can see that it is deoptimized
duke@435 820 // [ Only need because of assert in update_local() ]
duke@435 821 _jvf = get_java_vframe();
duke@435 822 ((compiledVFrame*)_jvf)->update_local(_type, _index, _value);
duke@435 823 return;
duke@435 824 }
duke@435 825 StackValueCollection *locals = _jvf->locals();
duke@435 826 HandleMark hm;
duke@435 827
duke@435 828 switch (_type) {
duke@435 829 case T_INT: locals->set_int_at (_index, _value.i); break;
duke@435 830 case T_LONG: locals->set_long_at (_index, _value.j); break;
duke@435 831 case T_FLOAT: locals->set_float_at (_index, _value.f); break;
duke@435 832 case T_DOUBLE: locals->set_double_at(_index, _value.d); break;
duke@435 833 case T_OBJECT: {
duke@435 834 Handle ob_h(JNIHandles::resolve_external_guard(_value.l));
duke@435 835 locals->set_obj_at (_index, ob_h);
duke@435 836 break;
duke@435 837 }
duke@435 838 default: ShouldNotReachHere();
duke@435 839 }
duke@435 840 _jvf->set_locals(locals);
duke@435 841 } else {
duke@435 842 StackValueCollection *locals = _jvf->locals();
duke@435 843
duke@435 844 if (locals->at(_index)->type() == T_CONFLICT) {
duke@435 845 memset(&_value, 0, sizeof(_value));
duke@435 846 _value.l = NULL;
duke@435 847 return;
duke@435 848 }
duke@435 849
duke@435 850 switch (_type) {
duke@435 851 case T_INT: _value.i = locals->int_at (_index); break;
duke@435 852 case T_LONG: _value.j = locals->long_at (_index); break;
duke@435 853 case T_FLOAT: _value.f = locals->float_at (_index); break;
duke@435 854 case T_DOUBLE: _value.d = locals->double_at(_index); break;
duke@435 855 case T_OBJECT: {
duke@435 856 // Wrap the oop to be returned in a local JNI handle since
duke@435 857 // oops_do() no longer applies after doit() is finished.
duke@435 858 oop obj = locals->obj_at(_index)();
duke@435 859 _value.l = JNIHandles::make_local(_calling_thread, obj);
duke@435 860 break;
duke@435 861 }
duke@435 862 default: ShouldNotReachHere();
duke@435 863 }
duke@435 864 }
duke@435 865 }
duke@435 866
duke@435 867
duke@435 868 bool VM_GetOrSetLocal::allow_nested_vm_operations() const {
duke@435 869 return true; // May need to deoptimize
duke@435 870 }
duke@435 871
duke@435 872
duke@435 873 /////////////////////////////////////////////////////////////////////////////////////////
duke@435 874
duke@435 875 //
duke@435 876 // class JvmtiSuspendControl - see comments in jvmtiImpl.hpp
duke@435 877 //
duke@435 878
duke@435 879 bool JvmtiSuspendControl::suspend(JavaThread *java_thread) {
duke@435 880 // external suspend should have caught suspending a thread twice
duke@435 881
duke@435 882 // Immediate suspension required for JPDA back-end so JVMTI agent threads do
duke@435 883 // not deadlock due to later suspension on transitions while holding
duke@435 884 // raw monitors. Passing true causes the immediate suspension.
duke@435 885 // java_suspend() will catch threads in the process of exiting
duke@435 886 // and will ignore them.
duke@435 887 java_thread->java_suspend();
duke@435 888
duke@435 889 // It would be nice to have the following assertion in all the time,
duke@435 890 // but it is possible for a racing resume request to have resumed
duke@435 891 // this thread right after we suspended it. Temporarily enable this
duke@435 892 // assertion if you are chasing a different kind of bug.
duke@435 893 //
duke@435 894 // assert(java_lang_Thread::thread(java_thread->threadObj()) == NULL ||
duke@435 895 // java_thread->is_being_ext_suspended(), "thread is not suspended");
duke@435 896
duke@435 897 if (java_lang_Thread::thread(java_thread->threadObj()) == NULL) {
duke@435 898 // check again because we can get delayed in java_suspend():
duke@435 899 // the thread is in process of exiting.
duke@435 900 return false;
duke@435 901 }
duke@435 902
duke@435 903 return true;
duke@435 904 }
duke@435 905
duke@435 906 bool JvmtiSuspendControl::resume(JavaThread *java_thread) {
duke@435 907 // external suspend should have caught resuming a thread twice
duke@435 908 assert(java_thread->is_being_ext_suspended(), "thread should be suspended");
duke@435 909
duke@435 910 // resume thread
duke@435 911 {
duke@435 912 // must always grab Threads_lock, see JVM_SuspendThread
duke@435 913 MutexLocker ml(Threads_lock);
duke@435 914 java_thread->java_resume();
duke@435 915 }
duke@435 916
duke@435 917 return true;
duke@435 918 }
duke@435 919
duke@435 920
duke@435 921 void JvmtiSuspendControl::print() {
duke@435 922 #ifndef PRODUCT
duke@435 923 MutexLocker mu(Threads_lock);
duke@435 924 ResourceMark rm;
duke@435 925
duke@435 926 tty->print("Suspended Threads: [");
duke@435 927 for (JavaThread *thread = Threads::first(); thread != NULL; thread = thread->next()) {
duke@435 928 #if JVMTI_TRACE
duke@435 929 const char *name = JvmtiTrace::safe_get_thread_name(thread);
duke@435 930 #else
duke@435 931 const char *name = "";
duke@435 932 #endif /*JVMTI_TRACE */
duke@435 933 tty->print("%s(%c ", name, thread->is_being_ext_suspended() ? 'S' : '_');
duke@435 934 if (!thread->has_last_Java_frame()) {
duke@435 935 tty->print("no stack");
duke@435 936 }
duke@435 937 tty->print(") ");
duke@435 938 }
duke@435 939 tty->print_cr("]");
duke@435 940 #endif
duke@435 941 }

mercurial