annotate src/share/vm/interpreter/invocationCounter.hpp @ 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 1997-2006 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 // InvocationCounters are used to trigger actions when a limit (threshold) is reached.
a61af66fc99e Initial load
duke
parents:
diff changeset
26 // For different states, different limits and actions can be defined in the initialization
a61af66fc99e Initial load
duke
parents:
diff changeset
27 // routine of InvocationCounters.
a61af66fc99e Initial load
duke
parents:
diff changeset
28 //
a61af66fc99e Initial load
duke
parents:
diff changeset
29 // Implementation notes: For space reasons, state & counter are both encoded in one word,
a61af66fc99e Initial load
duke
parents:
diff changeset
30 // The state is encoded using some of the least significant bits, the counter is using the
a61af66fc99e Initial load
duke
parents:
diff changeset
31 // more significant bits. The counter is incremented before a method is activated and an
a61af66fc99e Initial load
duke
parents:
diff changeset
32 // action is triggered when when count() > limit().
a61af66fc99e Initial load
duke
parents:
diff changeset
33
a61af66fc99e Initial load
duke
parents:
diff changeset
34 class InvocationCounter VALUE_OBJ_CLASS_SPEC {
a61af66fc99e Initial load
duke
parents:
diff changeset
35 friend class VMStructs;
a61af66fc99e Initial load
duke
parents:
diff changeset
36 private: // bit no: |31 3| 2 | 1 0 |
a61af66fc99e Initial load
duke
parents:
diff changeset
37 unsigned int _counter; // format: [count|carry|state]
a61af66fc99e Initial load
duke
parents:
diff changeset
38
a61af66fc99e Initial load
duke
parents:
diff changeset
39 enum PrivateConstants {
a61af66fc99e Initial load
duke
parents:
diff changeset
40 number_of_state_bits = 2,
a61af66fc99e Initial load
duke
parents:
diff changeset
41 number_of_carry_bits = 1,
a61af66fc99e Initial load
duke
parents:
diff changeset
42 number_of_noncount_bits = number_of_state_bits + number_of_carry_bits,
a61af66fc99e Initial load
duke
parents:
diff changeset
43 number_of_count_bits = BitsPerInt - number_of_noncount_bits,
a61af66fc99e Initial load
duke
parents:
diff changeset
44 state_limit = nth_bit(number_of_state_bits),
a61af66fc99e Initial load
duke
parents:
diff changeset
45 count_grain = nth_bit(number_of_state_bits + number_of_carry_bits),
a61af66fc99e Initial load
duke
parents:
diff changeset
46 count_limit = nth_bit(number_of_count_bits - 1),
a61af66fc99e Initial load
duke
parents:
diff changeset
47 carry_mask = right_n_bits(number_of_carry_bits) << number_of_state_bits,
a61af66fc99e Initial load
duke
parents:
diff changeset
48 state_mask = right_n_bits(number_of_state_bits),
a61af66fc99e Initial load
duke
parents:
diff changeset
49 status_mask = right_n_bits(number_of_state_bits + number_of_carry_bits),
a61af66fc99e Initial load
duke
parents:
diff changeset
50 count_mask = ((int)(-1) ^ status_mask)
a61af66fc99e Initial load
duke
parents:
diff changeset
51 };
a61af66fc99e Initial load
duke
parents:
diff changeset
52
a61af66fc99e Initial load
duke
parents:
diff changeset
53 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
54 static int InterpreterInvocationLimit; // CompileThreshold scaled for interpreter use
a61af66fc99e Initial load
duke
parents:
diff changeset
55 static int Tier1InvocationLimit; // CompileThreshold scaled for tier1 use
a61af66fc99e Initial load
duke
parents:
diff changeset
56 static int Tier1BackEdgeLimit; // BackEdgeThreshold scaled for tier1 use
a61af66fc99e Initial load
duke
parents:
diff changeset
57
a61af66fc99e Initial load
duke
parents:
diff changeset
58 static int InterpreterBackwardBranchLimit; // A separate threshold for on stack replacement
a61af66fc99e Initial load
duke
parents:
diff changeset
59
a61af66fc99e Initial load
duke
parents:
diff changeset
60 static int InterpreterProfileLimit; // Profiling threshold scaled for interpreter use
a61af66fc99e Initial load
duke
parents:
diff changeset
61
a61af66fc99e Initial load
duke
parents:
diff changeset
62 typedef address (*Action)(methodHandle method, TRAPS);
a61af66fc99e Initial load
duke
parents:
diff changeset
63
a61af66fc99e Initial load
duke
parents:
diff changeset
64 enum PublicConstants {
a61af66fc99e Initial load
duke
parents:
diff changeset
65 count_increment = count_grain, // use this value to increment the 32bit _counter word
a61af66fc99e Initial load
duke
parents:
diff changeset
66 count_mask_value = count_mask // use this value to mask the backedge counter
a61af66fc99e Initial load
duke
parents:
diff changeset
67 };
a61af66fc99e Initial load
duke
parents:
diff changeset
68
a61af66fc99e Initial load
duke
parents:
diff changeset
69 enum State {
a61af66fc99e Initial load
duke
parents:
diff changeset
70 wait_for_nothing, // do nothing when count() > limit()
a61af66fc99e Initial load
duke
parents:
diff changeset
71 wait_for_compile, // introduce nmethod when count() > limit()
a61af66fc99e Initial load
duke
parents:
diff changeset
72 number_of_states // must be <= state_limit
a61af66fc99e Initial load
duke
parents:
diff changeset
73 };
a61af66fc99e Initial load
duke
parents:
diff changeset
74
a61af66fc99e Initial load
duke
parents:
diff changeset
75 // Manipulation
a61af66fc99e Initial load
duke
parents:
diff changeset
76 void reset(); // sets state to wait state
a61af66fc99e Initial load
duke
parents:
diff changeset
77 void init(); // sets state into original state
a61af66fc99e Initial load
duke
parents:
diff changeset
78 void set_state(State state); // sets state and initializes counter correspondingly
a61af66fc99e Initial load
duke
parents:
diff changeset
79 inline void set(State state, int count); // sets state and counter
a61af66fc99e Initial load
duke
parents:
diff changeset
80 inline void decay(); // decay counter (divide by two)
a61af66fc99e Initial load
duke
parents:
diff changeset
81 void set_carry(); // set the sticky carry bit
a61af66fc99e Initial load
duke
parents:
diff changeset
82
a61af66fc99e Initial load
duke
parents:
diff changeset
83 // Accessors
a61af66fc99e Initial load
duke
parents:
diff changeset
84 State state() const { return (State)(_counter & state_mask); }
a61af66fc99e Initial load
duke
parents:
diff changeset
85 bool carry() const { return (_counter & carry_mask) != 0; }
a61af66fc99e Initial load
duke
parents:
diff changeset
86 int limit() const { return CompileThreshold; }
a61af66fc99e Initial load
duke
parents:
diff changeset
87 Action action() const { return _action[state()]; }
a61af66fc99e Initial load
duke
parents:
diff changeset
88 int count() const { return _counter >> number_of_noncount_bits; }
a61af66fc99e Initial load
duke
parents:
diff changeset
89
a61af66fc99e Initial load
duke
parents:
diff changeset
90 int get_InvocationLimit() const { return InterpreterInvocationLimit >> number_of_noncount_bits; }
a61af66fc99e Initial load
duke
parents:
diff changeset
91 int get_BackwardBranchLimit() const { return InterpreterBackwardBranchLimit >> number_of_noncount_bits; }
a61af66fc99e Initial load
duke
parents:
diff changeset
92 int get_ProfileLimit() const { return InterpreterProfileLimit >> number_of_noncount_bits; }
a61af66fc99e Initial load
duke
parents:
diff changeset
93
a61af66fc99e Initial load
duke
parents:
diff changeset
94 // Test counter using scaled limits like the asm interpreter would do rather than doing
a61af66fc99e Initial load
duke
parents:
diff changeset
95 // the shifts to normalize the counter.
a61af66fc99e Initial load
duke
parents:
diff changeset
96
a61af66fc99e Initial load
duke
parents:
diff changeset
97 bool reached_InvocationLimit() const { return _counter >= (unsigned int) InterpreterInvocationLimit; }
a61af66fc99e Initial load
duke
parents:
diff changeset
98 bool reached_BackwardBranchLimit() const { return _counter >= (unsigned int) InterpreterBackwardBranchLimit; }
a61af66fc99e Initial load
duke
parents:
diff changeset
99
a61af66fc99e Initial load
duke
parents:
diff changeset
100 // Do this just like asm interpreter does for max speed
a61af66fc99e Initial load
duke
parents:
diff changeset
101 bool reached_ProfileLimit(InvocationCounter *back_edge_count) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
102 return (_counter && count_mask) + back_edge_count->_counter >= (unsigned int) InterpreterProfileLimit;
a61af66fc99e Initial load
duke
parents:
diff changeset
103 }
a61af66fc99e Initial load
duke
parents:
diff changeset
104
a61af66fc99e Initial load
duke
parents:
diff changeset
105 void increment() { _counter += count_increment; }
a61af66fc99e Initial load
duke
parents:
diff changeset
106
a61af66fc99e Initial load
duke
parents:
diff changeset
107
a61af66fc99e Initial load
duke
parents:
diff changeset
108 // Printing
a61af66fc99e Initial load
duke
parents:
diff changeset
109 void print();
a61af66fc99e Initial load
duke
parents:
diff changeset
110 void print_short();
a61af66fc99e Initial load
duke
parents:
diff changeset
111
a61af66fc99e Initial load
duke
parents:
diff changeset
112 // Miscellaneous
a61af66fc99e Initial load
duke
parents:
diff changeset
113 static ByteSize counter_offset() { return byte_offset_of(InvocationCounter, _counter); }
a61af66fc99e Initial load
duke
parents:
diff changeset
114 static void reinitialize(bool delay_overflow);
a61af66fc99e Initial load
duke
parents:
diff changeset
115
a61af66fc99e Initial load
duke
parents:
diff changeset
116 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
117 static int _init [number_of_states]; // the counter limits
a61af66fc99e Initial load
duke
parents:
diff changeset
118 static Action _action[number_of_states]; // the actions
a61af66fc99e Initial load
duke
parents:
diff changeset
119
a61af66fc99e Initial load
duke
parents:
diff changeset
120 static void def(State state, int init, Action action);
a61af66fc99e Initial load
duke
parents:
diff changeset
121 static const char* state_as_string(State state);
a61af66fc99e Initial load
duke
parents:
diff changeset
122 static const char* state_as_short_string(State state);
a61af66fc99e Initial load
duke
parents:
diff changeset
123 };
a61af66fc99e Initial load
duke
parents:
diff changeset
124
a61af66fc99e Initial load
duke
parents:
diff changeset
125 inline void InvocationCounter::set(State state, int count) {
a61af66fc99e Initial load
duke
parents:
diff changeset
126 assert(0 <= state && state < number_of_states, "illegal state");
a61af66fc99e Initial load
duke
parents:
diff changeset
127 int carry = (_counter & carry_mask); // the carry bit is sticky
a61af66fc99e Initial load
duke
parents:
diff changeset
128 _counter = (count << number_of_noncount_bits) | carry | state;
a61af66fc99e Initial load
duke
parents:
diff changeset
129 }
a61af66fc99e Initial load
duke
parents:
diff changeset
130
a61af66fc99e Initial load
duke
parents:
diff changeset
131 inline void InvocationCounter::decay() {
a61af66fc99e Initial load
duke
parents:
diff changeset
132 int c = count();
a61af66fc99e Initial load
duke
parents:
diff changeset
133 int new_count = c >> 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
134 // prevent from going to zero, to distinguish from never-executed methods
a61af66fc99e Initial load
duke
parents:
diff changeset
135 if (c > 0 && new_count == 0) new_count = 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
136 set(state(), new_count);
a61af66fc99e Initial load
duke
parents:
diff changeset
137 }