annotate src/share/vm/runtime/unhandledOops.cpp @ 1145:e018e6884bd8

6631166: CMS: better heuristics when combatting fragmentation Summary: Autonomic per-worker free block cache sizing, tunable coalition policies, fixes to per-size block statistics, retuned gain and bandwidth of some feedback loop filters to allow quicker reactivity to abrupt changes in ambient demand, and other heuristics to reduce fragmentation of the CMS old gen. Also tightened some assertions, including those related to locking. Reviewed-by: jmasa
author ysr
date Wed, 23 Dec 2009 09:23:54 -0800
parents a61af66fc99e
children c18cbe5936b8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
a61af66fc99e Initial load
duke
parents:
diff changeset
2 * Copyright 2005 Sun Microsystems, Inc. All Rights Reserved.
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
a61af66fc99e Initial load
duke
parents:
diff changeset
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
a61af66fc99e Initial load
duke
parents:
diff changeset
20 * CA 95054 USA or visit www.sun.com if you need additional information or
a61af66fc99e Initial load
duke
parents:
diff changeset
21 * have any questions.
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
a61af66fc99e Initial load
duke
parents:
diff changeset
25 # include "incls/_precompiled.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
26 # include "incls/_unhandledOops.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28 #ifdef CHECK_UNHANDLED_OOPS
a61af66fc99e Initial load
duke
parents:
diff changeset
29 const int free_list_size = 256;
a61af66fc99e Initial load
duke
parents:
diff changeset
30
a61af66fc99e Initial load
duke
parents:
diff changeset
31
a61af66fc99e Initial load
duke
parents:
diff changeset
32 UnhandledOops::UnhandledOops(Thread* thread) {
a61af66fc99e Initial load
duke
parents:
diff changeset
33 _thread = thread;
a61af66fc99e Initial load
duke
parents:
diff changeset
34 _oop_list = new (ResourceObj::C_HEAP)
a61af66fc99e Initial load
duke
parents:
diff changeset
35 GrowableArray<UnhandledOopEntry>(free_list_size, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
36 _level = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
37 }
a61af66fc99e Initial load
duke
parents:
diff changeset
38
a61af66fc99e Initial load
duke
parents:
diff changeset
39 UnhandledOops::~UnhandledOops() {
a61af66fc99e Initial load
duke
parents:
diff changeset
40 delete _oop_list;
a61af66fc99e Initial load
duke
parents:
diff changeset
41 }
a61af66fc99e Initial load
duke
parents:
diff changeset
42
a61af66fc99e Initial load
duke
parents:
diff changeset
43
a61af66fc99e Initial load
duke
parents:
diff changeset
44 void UnhandledOops::dump_oops(UnhandledOops *list) {
a61af66fc99e Initial load
duke
parents:
diff changeset
45 for (int k = 0; k < list->_oop_list->length(); k++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
46 UnhandledOopEntry entry = list->_oop_list->at(k);
a61af66fc99e Initial load
duke
parents:
diff changeset
47 tty->print(" " INTPTR_FORMAT, entry._oop_ptr);
a61af66fc99e Initial load
duke
parents:
diff changeset
48 }
a61af66fc99e Initial load
duke
parents:
diff changeset
49 tty->cr();
a61af66fc99e Initial load
duke
parents:
diff changeset
50 }
a61af66fc99e Initial load
duke
parents:
diff changeset
51
a61af66fc99e Initial load
duke
parents:
diff changeset
52 // For debugging unhandled oop detector _in the debugger_
a61af66fc99e Initial load
duke
parents:
diff changeset
53 // You don't want to turn it on in compiled code here.
a61af66fc99e Initial load
duke
parents:
diff changeset
54 static bool unhandled_oop_print=0;
a61af66fc99e Initial load
duke
parents:
diff changeset
55
a61af66fc99e Initial load
duke
parents:
diff changeset
56 void UnhandledOops::register_unhandled_oop(oop* op, address pc) {
a61af66fc99e Initial load
duke
parents:
diff changeset
57 if (!_thread->is_in_stack((address)op))
a61af66fc99e Initial load
duke
parents:
diff changeset
58 return;
a61af66fc99e Initial load
duke
parents:
diff changeset
59
a61af66fc99e Initial load
duke
parents:
diff changeset
60 _level ++;
a61af66fc99e Initial load
duke
parents:
diff changeset
61 if (unhandled_oop_print) {
a61af66fc99e Initial load
duke
parents:
diff changeset
62 for (int i=0; i<_level; i++) tty->print(" ");
a61af66fc99e Initial load
duke
parents:
diff changeset
63 tty->print_cr("r " INTPTR_FORMAT, op);
a61af66fc99e Initial load
duke
parents:
diff changeset
64 }
a61af66fc99e Initial load
duke
parents:
diff changeset
65 UnhandledOopEntry entry(op, pc);
a61af66fc99e Initial load
duke
parents:
diff changeset
66 _oop_list->push(entry);
a61af66fc99e Initial load
duke
parents:
diff changeset
67 }
a61af66fc99e Initial load
duke
parents:
diff changeset
68
a61af66fc99e Initial load
duke
parents:
diff changeset
69
a61af66fc99e Initial load
duke
parents:
diff changeset
70 bool match_oop_entry(void *op, UnhandledOopEntry e) {
a61af66fc99e Initial load
duke
parents:
diff changeset
71 return (e.oop_ptr() == op);
a61af66fc99e Initial load
duke
parents:
diff changeset
72 }
a61af66fc99e Initial load
duke
parents:
diff changeset
73
a61af66fc99e Initial load
duke
parents:
diff changeset
74 // Mark unhandled oop as okay for GC - the containing struct has an oops_do and
a61af66fc99e Initial load
duke
parents:
diff changeset
75 // for some reason the oop has to be on the stack.
a61af66fc99e Initial load
duke
parents:
diff changeset
76 // May not be called for the current thread, as in the case of
a61af66fc99e Initial load
duke
parents:
diff changeset
77 // VM_GetOrSetLocal in jvmti.
a61af66fc99e Initial load
duke
parents:
diff changeset
78 void UnhandledOops::allow_unhandled_oop(oop* op) {
a61af66fc99e Initial load
duke
parents:
diff changeset
79 assert (CheckUnhandledOops, "should only be called with checking option");
a61af66fc99e Initial load
duke
parents:
diff changeset
80
a61af66fc99e Initial load
duke
parents:
diff changeset
81 int i = _oop_list->find_at_end(op, match_oop_entry);
a61af66fc99e Initial load
duke
parents:
diff changeset
82 assert(i!=-1, "safe for gc oop not in unhandled_oop_list");
a61af66fc99e Initial load
duke
parents:
diff changeset
83
a61af66fc99e Initial load
duke
parents:
diff changeset
84 UnhandledOopEntry entry = _oop_list->at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
85 assert(!entry._ok_for_gc, "duplicate entry");
a61af66fc99e Initial load
duke
parents:
diff changeset
86 entry._ok_for_gc = true;
a61af66fc99e Initial load
duke
parents:
diff changeset
87 _oop_list->at_put(i, entry);
a61af66fc99e Initial load
duke
parents:
diff changeset
88 }
a61af66fc99e Initial load
duke
parents:
diff changeset
89
a61af66fc99e Initial load
duke
parents:
diff changeset
90
a61af66fc99e Initial load
duke
parents:
diff changeset
91 // Called by the oop destructor to remove unhandled oop from the thread's
a61af66fc99e Initial load
duke
parents:
diff changeset
92 // oop list. All oops given are assumed to be on the list. If not,
a61af66fc99e Initial load
duke
parents:
diff changeset
93 // there's a bug in the unhandled oop detector.
a61af66fc99e Initial load
duke
parents:
diff changeset
94 void UnhandledOops::unregister_unhandled_oop(oop* op) {
a61af66fc99e Initial load
duke
parents:
diff changeset
95 if (!_thread->is_in_stack((address)op)) return;
a61af66fc99e Initial load
duke
parents:
diff changeset
96
a61af66fc99e Initial load
duke
parents:
diff changeset
97 _level --;
a61af66fc99e Initial load
duke
parents:
diff changeset
98 if (unhandled_oop_print) {
a61af66fc99e Initial load
duke
parents:
diff changeset
99 for (int i=0; i<_level; i++) tty->print(" ");
a61af66fc99e Initial load
duke
parents:
diff changeset
100 tty->print_cr("u "INTPTR_FORMAT, op);
a61af66fc99e Initial load
duke
parents:
diff changeset
101 }
a61af66fc99e Initial load
duke
parents:
diff changeset
102
a61af66fc99e Initial load
duke
parents:
diff changeset
103 int i = _oop_list->find_at_end(op, match_oop_entry);
a61af66fc99e Initial load
duke
parents:
diff changeset
104 assert(i!=-1, "oop not in unhandled_oop_list");
a61af66fc99e Initial load
duke
parents:
diff changeset
105 _oop_list->remove_at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
106 }
a61af66fc99e Initial load
duke
parents:
diff changeset
107
a61af66fc99e Initial load
duke
parents:
diff changeset
108 void UnhandledOops::clear_unhandled_oops() {
a61af66fc99e Initial load
duke
parents:
diff changeset
109 assert (CheckUnhandledOops, "should only be called with checking option");
a61af66fc99e Initial load
duke
parents:
diff changeset
110 if (_thread->is_gc_locked_out()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
111 return;
a61af66fc99e Initial load
duke
parents:
diff changeset
112 }
a61af66fc99e Initial load
duke
parents:
diff changeset
113 for (int k = 0; k < _oop_list->length(); k++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
114 UnhandledOopEntry entry = _oop_list->at(k);
a61af66fc99e Initial load
duke
parents:
diff changeset
115 // If an entry is on the unhandled oop list but isn't on the stack
a61af66fc99e Initial load
duke
parents:
diff changeset
116 // anymore, it must not have gotten unregistered properly and it's a bug
a61af66fc99e Initial load
duke
parents:
diff changeset
117 // in the unhandled oop generator.
a61af66fc99e Initial load
duke
parents:
diff changeset
118 if(!_thread->is_in_stack((address)entry._oop_ptr)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
119 tty->print_cr("oop_ptr is " INTPTR_FORMAT, (address)entry._oop_ptr);
a61af66fc99e Initial load
duke
parents:
diff changeset
120 tty->print_cr("thread is " INTPTR_FORMAT " from pc " INTPTR_FORMAT,
a61af66fc99e Initial load
duke
parents:
diff changeset
121 (address)_thread, (address)entry._pc);
a61af66fc99e Initial load
duke
parents:
diff changeset
122 assert(false, "heap is corrupted by the unhandled oop detector");
a61af66fc99e Initial load
duke
parents:
diff changeset
123 }
a61af66fc99e Initial load
duke
parents:
diff changeset
124 // Set unhandled oops to a pattern that will crash distinctively
a61af66fc99e Initial load
duke
parents:
diff changeset
125 if (!entry._ok_for_gc) *(intptr_t*)(entry._oop_ptr) = BAD_OOP_ADDR;
a61af66fc99e Initial load
duke
parents:
diff changeset
126 }
a61af66fc99e Initial load
duke
parents:
diff changeset
127 }
a61af66fc99e Initial load
duke
parents:
diff changeset
128 #endif // CHECK_UNHANDLED_OOPS