src/share/vm/runtime/jniHandles.cpp

Tue, 24 Jul 2012 10:51:00 -0700

author
twisti
date
Tue, 24 Jul 2012 10:51:00 -0700
changeset 3969
1d7922586cf6
parent 3156
f08d439fab8c
child 4037
da91efe96a93
permissions
-rw-r--r--

7023639: JSR 292 method handle invocation needs a fast path for compiled code
6984705: JSR 292 method handle creation should not go through JNI
Summary: remove assembly code for JDK 7 chained method handles
Reviewed-by: jrose, twisti, kvn, mhaupt
Contributed-by: John Rose <john.r.rose@oracle.com>, Christian Thalinger <christian.thalinger@oracle.com>, Michael Haupt <michael.haupt@oracle.com>

duke@435 1 /*
trims@2708 2 * Copyright (c) 1998, 2011, 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 "classfile/systemDictionary.hpp"
stefank@2314 27 #include "oops/oop.inline.hpp"
kamg@2467 28 #include "prims/jvmtiExport.hpp"
stefank@2314 29 #include "runtime/jniHandles.hpp"
stefank@2314 30 #include "runtime/mutexLocker.hpp"
stefank@2314 31 #ifdef TARGET_OS_FAMILY_linux
stefank@2314 32 # include "thread_linux.inline.hpp"
stefank@2314 33 #endif
stefank@2314 34 #ifdef TARGET_OS_FAMILY_solaris
stefank@2314 35 # include "thread_solaris.inline.hpp"
stefank@2314 36 #endif
stefank@2314 37 #ifdef TARGET_OS_FAMILY_windows
stefank@2314 38 # include "thread_windows.inline.hpp"
stefank@2314 39 #endif
never@3156 40 #ifdef TARGET_OS_FAMILY_bsd
never@3156 41 # include "thread_bsd.inline.hpp"
never@3156 42 #endif
duke@435 43
duke@435 44
duke@435 45 JNIHandleBlock* JNIHandles::_global_handles = NULL;
duke@435 46 JNIHandleBlock* JNIHandles::_weak_global_handles = NULL;
duke@435 47 oop JNIHandles::_deleted_handle = NULL;
duke@435 48
duke@435 49
duke@435 50 jobject JNIHandles::make_local(oop obj) {
duke@435 51 if (obj == NULL) {
duke@435 52 return NULL; // ignore null handles
duke@435 53 } else {
duke@435 54 Thread* thread = Thread::current();
duke@435 55 assert(Universe::heap()->is_in_reserved(obj), "sanity check");
duke@435 56 return thread->active_handles()->allocate_handle(obj);
duke@435 57 }
duke@435 58 }
duke@435 59
duke@435 60
duke@435 61 // optimized versions
duke@435 62
duke@435 63 jobject JNIHandles::make_local(Thread* thread, oop obj) {
duke@435 64 if (obj == NULL) {
duke@435 65 return NULL; // ignore null handles
duke@435 66 } else {
duke@435 67 assert(Universe::heap()->is_in_reserved(obj), "sanity check");
duke@435 68 return thread->active_handles()->allocate_handle(obj);
duke@435 69 }
duke@435 70 }
duke@435 71
duke@435 72
duke@435 73 jobject JNIHandles::make_local(JNIEnv* env, oop obj) {
duke@435 74 if (obj == NULL) {
duke@435 75 return NULL; // ignore null handles
duke@435 76 } else {
duke@435 77 JavaThread* thread = JavaThread::thread_from_jni_environment(env);
duke@435 78 assert(Universe::heap()->is_in_reserved(obj), "sanity check");
duke@435 79 return thread->active_handles()->allocate_handle(obj);
duke@435 80 }
duke@435 81 }
duke@435 82
duke@435 83
duke@435 84 jobject JNIHandles::make_global(Handle obj) {
never@1971 85 assert(!Universe::heap()->is_gc_active(), "can't extend the root set during GC");
duke@435 86 jobject res = NULL;
duke@435 87 if (!obj.is_null()) {
duke@435 88 // ignore null handles
duke@435 89 MutexLocker ml(JNIGlobalHandle_lock);
duke@435 90 assert(Universe::heap()->is_in_reserved(obj()), "sanity check");
duke@435 91 res = _global_handles->allocate_handle(obj());
duke@435 92 } else {
duke@435 93 CHECK_UNHANDLED_OOPS_ONLY(Thread::current()->clear_unhandled_oops());
duke@435 94 }
duke@435 95
duke@435 96 return res;
duke@435 97 }
duke@435 98
duke@435 99
duke@435 100 jobject JNIHandles::make_weak_global(Handle obj) {
never@1971 101 assert(!Universe::heap()->is_gc_active(), "can't extend the root set during GC");
duke@435 102 jobject res = NULL;
duke@435 103 if (!obj.is_null()) {
duke@435 104 // ignore null handles
duke@435 105 MutexLocker ml(JNIGlobalHandle_lock);
duke@435 106 assert(Universe::heap()->is_in_reserved(obj()), "sanity check");
duke@435 107 res = _weak_global_handles->allocate_handle(obj());
duke@435 108 } else {
duke@435 109 CHECK_UNHANDLED_OOPS_ONLY(Thread::current()->clear_unhandled_oops());
duke@435 110 }
duke@435 111 return res;
duke@435 112 }
duke@435 113
duke@435 114 jmethodID JNIHandles::make_jmethod_id(methodHandle mh) {
duke@435 115 return (jmethodID) make_weak_global(mh);
duke@435 116 }
duke@435 117
duke@435 118
duke@435 119
duke@435 120 void JNIHandles::change_method_associated_with_jmethod_id(jmethodID jmid, methodHandle mh) {
duke@435 121 MutexLocker ml(JNIGlobalHandle_lock); // Is this necessary?
duke@435 122 Handle obj = (Handle)mh;
duke@435 123 oop* jobj = (oop*)jmid;
duke@435 124 *jobj = obj();
duke@435 125 }
duke@435 126
duke@435 127
duke@435 128 void JNIHandles::destroy_global(jobject handle) {
duke@435 129 if (handle != NULL) {
duke@435 130 assert(is_global_handle(handle), "Invalid delete of global JNI handle");
duke@435 131 *((oop*)handle) = deleted_handle(); // Mark the handle as deleted, allocate will reuse it
duke@435 132 }
duke@435 133 }
duke@435 134
duke@435 135
duke@435 136 void JNIHandles::destroy_weak_global(jobject handle) {
duke@435 137 if (handle != NULL) {
duke@435 138 assert(!CheckJNICalls || is_weak_global_handle(handle), "Invalid delete of weak global JNI handle");
duke@435 139 *((oop*)handle) = deleted_handle(); // Mark the handle as deleted, allocate will reuse it
duke@435 140 }
duke@435 141 }
duke@435 142
duke@435 143 void JNIHandles::destroy_jmethod_id(jmethodID mid) {
duke@435 144 destroy_weak_global((jobject)mid);
duke@435 145 }
duke@435 146
duke@435 147
duke@435 148 void JNIHandles::oops_do(OopClosure* f) {
duke@435 149 f->do_oop(&_deleted_handle);
duke@435 150 _global_handles->oops_do(f);
duke@435 151 }
duke@435 152
duke@435 153
duke@435 154 void JNIHandles::weak_oops_do(BoolObjectClosure* is_alive, OopClosure* f) {
duke@435 155 _weak_global_handles->weak_oops_do(is_alive, f);
duke@435 156 }
duke@435 157
duke@435 158
duke@435 159 void JNIHandles::initialize() {
duke@435 160 _global_handles = JNIHandleBlock::allocate_block();
duke@435 161 _weak_global_handles = JNIHandleBlock::allocate_block();
duke@435 162 EXCEPTION_MARK;
duke@435 163 // We will never reach the CATCH below since Exceptions::_throw will cause
duke@435 164 // the VM to exit if an exception is thrown during initialization
never@1577 165 klassOop k = SystemDictionary::Object_klass();
duke@435 166 _deleted_handle = instanceKlass::cast(k)->allocate_permanent_instance(CATCH);
duke@435 167 }
duke@435 168
duke@435 169
duke@435 170 bool JNIHandles::is_local_handle(Thread* thread, jobject handle) {
duke@435 171 JNIHandleBlock* block = thread->active_handles();
duke@435 172
duke@435 173 // Look back past possible native calls to jni_PushLocalFrame.
duke@435 174 while (block != NULL) {
duke@435 175 if (block->chain_contains(handle)) {
duke@435 176 return true;
duke@435 177 }
duke@435 178 block = block->pop_frame_link();
duke@435 179 }
duke@435 180 return false;
duke@435 181 }
duke@435 182
duke@435 183
duke@435 184 // Determine if the handle is somewhere in the current thread's stack.
duke@435 185 // We easily can't isolate any particular stack frame the handle might
duke@435 186 // come from, so we'll check the whole stack.
duke@435 187
duke@435 188 bool JNIHandles::is_frame_handle(JavaThread* thr, jobject obj) {
duke@435 189 // If there is no java frame, then this must be top level code, such
duke@435 190 // as the java command executable, in which case, this type of handle
duke@435 191 // is not permitted.
duke@435 192 return (thr->has_last_Java_frame() &&
duke@435 193 (void*)obj < (void*)thr->stack_base() &&
duke@435 194 (void*)obj >= (void*)thr->last_Java_sp());
duke@435 195 }
duke@435 196
duke@435 197
duke@435 198 bool JNIHandles::is_global_handle(jobject handle) {
duke@435 199 return _global_handles->chain_contains(handle);
duke@435 200 }
duke@435 201
duke@435 202
duke@435 203 bool JNIHandles::is_weak_global_handle(jobject handle) {
duke@435 204 return _weak_global_handles->chain_contains(handle);
duke@435 205 }
duke@435 206
duke@435 207 long JNIHandles::global_handle_memory_usage() {
duke@435 208 return _global_handles->memory_usage();
duke@435 209 }
duke@435 210
duke@435 211 long JNIHandles::weak_global_handle_memory_usage() {
duke@435 212 return _weak_global_handles->memory_usage();
duke@435 213 }
duke@435 214
duke@435 215
duke@435 216 class AlwaysAliveClosure: public BoolObjectClosure {
duke@435 217 public:
duke@435 218 bool do_object_b(oop obj) { return true; }
duke@435 219 void do_object(oop obj) { assert(false, "Don't call"); }
duke@435 220 };
duke@435 221
duke@435 222 class CountHandleClosure: public OopClosure {
duke@435 223 private:
duke@435 224 int _count;
duke@435 225 public:
duke@435 226 CountHandleClosure(): _count(0) {}
coleenp@548 227 virtual void do_oop(oop* unused) {
duke@435 228 _count++;
duke@435 229 }
coleenp@548 230 virtual void do_oop(narrowOop* unused) { ShouldNotReachHere(); }
duke@435 231 int count() { return _count; }
duke@435 232 };
duke@435 233
duke@435 234 // We assume this is called at a safepoint: no lock is needed.
duke@435 235 void JNIHandles::print_on(outputStream* st) {
duke@435 236 assert(SafepointSynchronize::is_at_safepoint(), "must be at safepoint");
duke@435 237 assert(_global_handles != NULL && _weak_global_handles != NULL,
duke@435 238 "JNIHandles not initialized");
duke@435 239
duke@435 240 CountHandleClosure global_handle_count;
duke@435 241 AlwaysAliveClosure always_alive;
duke@435 242 oops_do(&global_handle_count);
duke@435 243 weak_oops_do(&always_alive, &global_handle_count);
duke@435 244
duke@435 245 st->print_cr("JNI global references: %d", global_handle_count.count());
duke@435 246 st->cr();
duke@435 247 st->flush();
duke@435 248 }
duke@435 249
duke@435 250 class VerifyHandleClosure: public OopClosure {
duke@435 251 public:
coleenp@548 252 virtual void do_oop(oop* root) {
duke@435 253 (*root)->verify();
duke@435 254 }
coleenp@548 255 virtual void do_oop(narrowOop* root) { ShouldNotReachHere(); }
duke@435 256 };
duke@435 257
duke@435 258 void JNIHandles::verify() {
duke@435 259 VerifyHandleClosure verify_handle;
duke@435 260 AlwaysAliveClosure always_alive;
duke@435 261
duke@435 262 oops_do(&verify_handle);
duke@435 263 weak_oops_do(&always_alive, &verify_handle);
duke@435 264 }
duke@435 265
duke@435 266
duke@435 267
duke@435 268 void jni_handles_init() {
duke@435 269 JNIHandles::initialize();
duke@435 270 }
duke@435 271
duke@435 272
duke@435 273 int JNIHandleBlock::_blocks_allocated = 0;
duke@435 274 JNIHandleBlock* JNIHandleBlock::_block_free_list = NULL;
duke@435 275 #ifndef PRODUCT
duke@435 276 JNIHandleBlock* JNIHandleBlock::_block_list = NULL;
duke@435 277 #endif
duke@435 278
duke@435 279
duke@435 280 void JNIHandleBlock::zap() {
duke@435 281 // Zap block values
duke@435 282 _top = 0;
duke@435 283 for (int index = 0; index < block_size_in_oops; index++) {
duke@435 284 _handles[index] = badJNIHandle;
duke@435 285 }
duke@435 286 }
duke@435 287
duke@435 288 JNIHandleBlock* JNIHandleBlock::allocate_block(Thread* thread) {
duke@435 289 assert(thread == NULL || thread == Thread::current(), "sanity check");
duke@435 290 JNIHandleBlock* block;
duke@435 291 // Check the thread-local free list for a block so we don't
duke@435 292 // have to acquire a mutex.
duke@435 293 if (thread != NULL && thread->free_handle_block() != NULL) {
duke@435 294 block = thread->free_handle_block();
duke@435 295 thread->set_free_handle_block(block->_next);
duke@435 296 }
duke@435 297 else {
duke@435 298 // locking with safepoint checking introduces a potential deadlock:
duke@435 299 // - we would hold JNIHandleBlockFreeList_lock and then Threads_lock
duke@435 300 // - another would hold Threads_lock (jni_AttachCurrentThread) and then
duke@435 301 // JNIHandleBlockFreeList_lock (JNIHandleBlock::allocate_block)
duke@435 302 MutexLockerEx ml(JNIHandleBlockFreeList_lock,
duke@435 303 Mutex::_no_safepoint_check_flag);
duke@435 304 if (_block_free_list == NULL) {
duke@435 305 // Allocate new block
duke@435 306 block = new JNIHandleBlock();
duke@435 307 _blocks_allocated++;
duke@435 308 if (TraceJNIHandleAllocation) {
duke@435 309 tty->print_cr("JNIHandleBlock " INTPTR_FORMAT " allocated (%d total blocks)",
duke@435 310 block, _blocks_allocated);
duke@435 311 }
duke@435 312 if (ZapJNIHandleArea) block->zap();
duke@435 313 #ifndef PRODUCT
duke@435 314 // Link new block to list of all allocated blocks
duke@435 315 block->_block_list_link = _block_list;
duke@435 316 _block_list = block;
duke@435 317 #endif
duke@435 318 } else {
duke@435 319 // Get block from free list
duke@435 320 block = _block_free_list;
duke@435 321 _block_free_list = _block_free_list->_next;
duke@435 322 }
duke@435 323 }
duke@435 324 block->_top = 0;
duke@435 325 block->_next = NULL;
duke@435 326 block->_pop_frame_link = NULL;
duke@435 327 // _last, _free_list & _allocate_before_rebuild initialized in allocate_handle
duke@435 328 debug_only(block->_last = NULL);
duke@435 329 debug_only(block->_free_list = NULL);
duke@435 330 debug_only(block->_allocate_before_rebuild = -1);
duke@435 331 return block;
duke@435 332 }
duke@435 333
duke@435 334
duke@435 335 void JNIHandleBlock::release_block(JNIHandleBlock* block, Thread* thread) {
duke@435 336 assert(thread == NULL || thread == Thread::current(), "sanity check");
duke@435 337 JNIHandleBlock* pop_frame_link = block->pop_frame_link();
duke@435 338 // Put returned block at the beginning of the thread-local free list.
duke@435 339 // Note that if thread == NULL, we use it as an implicit argument that
duke@435 340 // we _don't_ want the block to be kept on the free_handle_block.
duke@435 341 // See for instance JavaThread::exit().
duke@435 342 if (thread != NULL ) {
duke@435 343 if (ZapJNIHandleArea) block->zap();
duke@435 344 JNIHandleBlock* freelist = thread->free_handle_block();
duke@435 345 block->_pop_frame_link = NULL;
duke@435 346 thread->set_free_handle_block(block);
duke@435 347
duke@435 348 // Add original freelist to end of chain
duke@435 349 if ( freelist != NULL ) {
duke@435 350 while ( block->_next != NULL ) block = block->_next;
duke@435 351 block->_next = freelist;
duke@435 352 }
duke@435 353 block = NULL;
duke@435 354 }
duke@435 355 if (block != NULL) {
duke@435 356 // Return blocks to free list
duke@435 357 // locking with safepoint checking introduces a potential deadlock:
duke@435 358 // - we would hold JNIHandleBlockFreeList_lock and then Threads_lock
duke@435 359 // - another would hold Threads_lock (jni_AttachCurrentThread) and then
duke@435 360 // JNIHandleBlockFreeList_lock (JNIHandleBlock::allocate_block)
duke@435 361 MutexLockerEx ml(JNIHandleBlockFreeList_lock,
duke@435 362 Mutex::_no_safepoint_check_flag);
duke@435 363 while (block != NULL) {
duke@435 364 if (ZapJNIHandleArea) block->zap();
duke@435 365 JNIHandleBlock* next = block->_next;
duke@435 366 block->_next = _block_free_list;
duke@435 367 _block_free_list = block;
duke@435 368 block = next;
duke@435 369 }
duke@435 370 }
duke@435 371 if (pop_frame_link != NULL) {
duke@435 372 // As a sanity check we release blocks pointed to by the pop_frame_link.
duke@435 373 // This should never happen (only if PopLocalFrame is not called the
duke@435 374 // correct number of times).
duke@435 375 release_block(pop_frame_link, thread);
duke@435 376 }
duke@435 377 }
duke@435 378
duke@435 379
duke@435 380 void JNIHandleBlock::oops_do(OopClosure* f) {
duke@435 381 JNIHandleBlock* current_chain = this;
duke@435 382 // Iterate over chain of blocks, followed by chains linked through the
duke@435 383 // pop frame links.
duke@435 384 while (current_chain != NULL) {
duke@435 385 for (JNIHandleBlock* current = current_chain; current != NULL;
duke@435 386 current = current->_next) {
duke@435 387 assert(current == current_chain || current->pop_frame_link() == NULL,
duke@435 388 "only blocks first in chain should have pop frame link set");
duke@435 389 for (int index = 0; index < current->_top; index++) {
duke@435 390 oop* root = &(current->_handles)[index];
duke@435 391 oop value = *root;
duke@435 392 // traverse heap pointers only, not deleted handles or free list
duke@435 393 // pointers
duke@435 394 if (value != NULL && Universe::heap()->is_in_reserved(value)) {
duke@435 395 f->do_oop(root);
duke@435 396 }
duke@435 397 }
duke@435 398 // the next handle block is valid only if current block is full
duke@435 399 if (current->_top < block_size_in_oops) {
duke@435 400 break;
duke@435 401 }
duke@435 402 }
duke@435 403 current_chain = current_chain->pop_frame_link();
duke@435 404 }
duke@435 405 }
duke@435 406
duke@435 407
duke@435 408 void JNIHandleBlock::weak_oops_do(BoolObjectClosure* is_alive,
duke@435 409 OopClosure* f) {
duke@435 410 for (JNIHandleBlock* current = this; current != NULL; current = current->_next) {
duke@435 411 assert(current->pop_frame_link() == NULL,
duke@435 412 "blocks holding weak global JNI handles should not have pop frame link set");
duke@435 413 for (int index = 0; index < current->_top; index++) {
duke@435 414 oop* root = &(current->_handles)[index];
duke@435 415 oop value = *root;
duke@435 416 // traverse heap pointers only, not deleted handles or free list pointers
duke@435 417 if (value != NULL && Universe::heap()->is_in_reserved(value)) {
duke@435 418 if (is_alive->do_object_b(value)) {
duke@435 419 // The weakly referenced object is alive, update pointer
duke@435 420 f->do_oop(root);
duke@435 421 } else {
duke@435 422 // The weakly referenced object is not alive, clear the reference by storing NULL
duke@435 423 if (TraceReferenceGC) {
duke@435 424 tty->print_cr("Clearing JNI weak reference (" INTPTR_FORMAT ")", root);
duke@435 425 }
duke@435 426 *root = NULL;
duke@435 427 }
duke@435 428 }
duke@435 429 }
duke@435 430 // the next handle block is valid only if current block is full
duke@435 431 if (current->_top < block_size_in_oops) {
duke@435 432 break;
duke@435 433 }
duke@435 434 }
kamg@2445 435
kamg@2445 436 /*
kamg@2467 437 * JVMTI data structures may also contain weak oops. The iteration of them
kamg@2467 438 * is placed here so that we don't need to add it to each of the collectors.
kamg@2445 439 */
kamg@2467 440 JvmtiExport::weak_oops_do(is_alive, f);
duke@435 441 }
duke@435 442
duke@435 443
duke@435 444 jobject JNIHandleBlock::allocate_handle(oop obj) {
duke@435 445 assert(Universe::heap()->is_in_reserved(obj), "sanity check");
duke@435 446 if (_top == 0) {
duke@435 447 // This is the first allocation or the initial block got zapped when
duke@435 448 // entering a native function. If we have any following blocks they are
duke@435 449 // not valid anymore.
duke@435 450 for (JNIHandleBlock* current = _next; current != NULL;
duke@435 451 current = current->_next) {
duke@435 452 assert(current->_last == NULL, "only first block should have _last set");
duke@435 453 assert(current->_free_list == NULL,
duke@435 454 "only first block should have _free_list set");
duke@435 455 current->_top = 0;
duke@435 456 if (ZapJNIHandleArea) current->zap();
duke@435 457 }
duke@435 458 // Clear initial block
duke@435 459 _free_list = NULL;
duke@435 460 _allocate_before_rebuild = 0;
duke@435 461 _last = this;
duke@435 462 if (ZapJNIHandleArea) zap();
duke@435 463 }
duke@435 464
duke@435 465 // Try last block
duke@435 466 if (_last->_top < block_size_in_oops) {
duke@435 467 oop* handle = &(_last->_handles)[_last->_top++];
duke@435 468 *handle = obj;
duke@435 469 return (jobject) handle;
duke@435 470 }
duke@435 471
duke@435 472 // Try free list
duke@435 473 if (_free_list != NULL) {
duke@435 474 oop* handle = _free_list;
duke@435 475 _free_list = (oop*) *_free_list;
duke@435 476 *handle = obj;
duke@435 477 return (jobject) handle;
duke@435 478 }
duke@435 479 // Check if unused block follow last
duke@435 480 if (_last->_next != NULL) {
duke@435 481 // update last and retry
duke@435 482 _last = _last->_next;
duke@435 483 return allocate_handle(obj);
duke@435 484 }
duke@435 485
duke@435 486 // No space available, we have to rebuild free list or expand
duke@435 487 if (_allocate_before_rebuild == 0) {
duke@435 488 rebuild_free_list(); // updates _allocate_before_rebuild counter
duke@435 489 } else {
duke@435 490 // Append new block
duke@435 491 Thread* thread = Thread::current();
duke@435 492 Handle obj_handle(thread, obj);
duke@435 493 // This can block, so we need to preserve obj accross call.
duke@435 494 _last->_next = JNIHandleBlock::allocate_block(thread);
duke@435 495 _last = _last->_next;
duke@435 496 _allocate_before_rebuild--;
duke@435 497 obj = obj_handle();
duke@435 498 }
duke@435 499 return allocate_handle(obj); // retry
duke@435 500 }
duke@435 501
duke@435 502
duke@435 503 void JNIHandleBlock::rebuild_free_list() {
duke@435 504 assert(_allocate_before_rebuild == 0 && _free_list == NULL, "just checking");
duke@435 505 int free = 0;
duke@435 506 int blocks = 0;
duke@435 507 for (JNIHandleBlock* current = this; current != NULL; current = current->_next) {
duke@435 508 for (int index = 0; index < current->_top; index++) {
duke@435 509 oop* handle = &(current->_handles)[index];
duke@435 510 if (*handle == JNIHandles::deleted_handle()) {
duke@435 511 // this handle was cleared out by a delete call, reuse it
duke@435 512 *handle = (oop) _free_list;
duke@435 513 _free_list = handle;
duke@435 514 free++;
duke@435 515 }
duke@435 516 }
duke@435 517 // we should not rebuild free list if there are unused handles at the end
duke@435 518 assert(current->_top == block_size_in_oops, "just checking");
duke@435 519 blocks++;
duke@435 520 }
duke@435 521 // Heuristic: if more than half of the handles are free we rebuild next time
duke@435 522 // as well, otherwise we append a corresponding number of new blocks before
duke@435 523 // attempting a free list rebuild again.
duke@435 524 int total = blocks * block_size_in_oops;
duke@435 525 int extra = total - 2*free;
duke@435 526 if (extra > 0) {
duke@435 527 // Not as many free handles as we would like - compute number of new blocks to append
duke@435 528 _allocate_before_rebuild = (extra + block_size_in_oops - 1) / block_size_in_oops;
duke@435 529 }
duke@435 530 if (TraceJNIHandleAllocation) {
duke@435 531 tty->print_cr("Rebuild free list JNIHandleBlock " INTPTR_FORMAT " blocks=%d used=%d free=%d add=%d",
duke@435 532 this, blocks, total-free, free, _allocate_before_rebuild);
duke@435 533 }
duke@435 534 }
duke@435 535
duke@435 536
duke@435 537 bool JNIHandleBlock::contains(jobject handle) const {
duke@435 538 return ((jobject)&_handles[0] <= handle && handle<(jobject)&_handles[_top]);
duke@435 539 }
duke@435 540
duke@435 541
duke@435 542 bool JNIHandleBlock::chain_contains(jobject handle) const {
duke@435 543 for (JNIHandleBlock* current = (JNIHandleBlock*) this; current != NULL; current = current->_next) {
duke@435 544 if (current->contains(handle)) {
duke@435 545 return true;
duke@435 546 }
duke@435 547 }
duke@435 548 return false;
duke@435 549 }
duke@435 550
duke@435 551
duke@435 552 int JNIHandleBlock::length() const {
duke@435 553 int result = 1;
duke@435 554 for (JNIHandleBlock* current = _next; current != NULL; current = current->_next) {
duke@435 555 result++;
duke@435 556 }
duke@435 557 return result;
duke@435 558 }
duke@435 559
duke@435 560 // This method is not thread-safe, i.e., must be called whule holding a lock on the
duke@435 561 // structure.
duke@435 562 long JNIHandleBlock::memory_usage() const {
duke@435 563 return length() * sizeof(JNIHandleBlock);
duke@435 564 }
duke@435 565
duke@435 566
duke@435 567 #ifndef PRODUCT
duke@435 568
duke@435 569 bool JNIHandleBlock::any_contains(jobject handle) {
duke@435 570 for (JNIHandleBlock* current = _block_list; current != NULL; current = current->_block_list_link) {
duke@435 571 if (current->contains(handle)) {
duke@435 572 return true;
duke@435 573 }
duke@435 574 }
duke@435 575 return false;
duke@435 576 }
duke@435 577
duke@435 578 void JNIHandleBlock::print_statistics() {
duke@435 579 int used_blocks = 0;
duke@435 580 int free_blocks = 0;
duke@435 581 int used_handles = 0;
duke@435 582 int free_handles = 0;
duke@435 583 JNIHandleBlock* block = _block_list;
duke@435 584 while (block != NULL) {
duke@435 585 if (block->_top > 0) {
duke@435 586 used_blocks++;
duke@435 587 } else {
duke@435 588 free_blocks++;
duke@435 589 }
duke@435 590 used_handles += block->_top;
duke@435 591 free_handles += (block_size_in_oops - block->_top);
duke@435 592 block = block->_block_list_link;
duke@435 593 }
duke@435 594 tty->print_cr("JNIHandleBlocks statistics");
duke@435 595 tty->print_cr("- blocks allocated: %d", used_blocks + free_blocks);
duke@435 596 tty->print_cr("- blocks in use: %d", used_blocks);
duke@435 597 tty->print_cr("- blocks free: %d", free_blocks);
duke@435 598 tty->print_cr("- handles in use: %d", used_handles);
duke@435 599 tty->print_cr("- handles free: %d", free_handles);
duke@435 600 }
duke@435 601
duke@435 602 #endif

mercurial