annotate src/share/vm/interpreter/invocationCounter.cpp @ 654:c664a0794f85

6805748: Assertion "don't reset to 0 -- could be mistaken for never-executed" in CompilationPolicy Summary: Resetting the invocation counter for a method invocation event was setting count to zero for CompileThreshold=1, making it look like a never executed method. Reviewed-by: phh, kamg, acorn, never
author coleenp
date Fri, 20 Mar 2009 22:08:48 -0400
parents a61af66fc99e
children bd02caa94611
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-2007 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/_invocationCounter.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28
a61af66fc99e Initial load
duke
parents:
diff changeset
29 // Implementation of InvocationCounter
a61af66fc99e Initial load
duke
parents:
diff changeset
30
a61af66fc99e Initial load
duke
parents:
diff changeset
31 void InvocationCounter::init() {
a61af66fc99e Initial load
duke
parents:
diff changeset
32 _counter = 0; // reset all the bits, including the sticky carry
a61af66fc99e Initial load
duke
parents:
diff changeset
33 reset();
a61af66fc99e Initial load
duke
parents:
diff changeset
34 }
a61af66fc99e Initial load
duke
parents:
diff changeset
35
a61af66fc99e Initial load
duke
parents:
diff changeset
36 void InvocationCounter::reset() {
a61af66fc99e Initial load
duke
parents:
diff changeset
37 // Only reset the state and don't make the method look like it's never
a61af66fc99e Initial load
duke
parents:
diff changeset
38 // been executed
a61af66fc99e Initial load
duke
parents:
diff changeset
39 set_state(wait_for_compile);
a61af66fc99e Initial load
duke
parents:
diff changeset
40 }
a61af66fc99e Initial load
duke
parents:
diff changeset
41
a61af66fc99e Initial load
duke
parents:
diff changeset
42 void InvocationCounter::set_carry() {
a61af66fc99e Initial load
duke
parents:
diff changeset
43 _counter |= carry_mask;
a61af66fc99e Initial load
duke
parents:
diff changeset
44
a61af66fc99e Initial load
duke
parents:
diff changeset
45 // The carry bit now indicates that this counter had achieved a very
a61af66fc99e Initial load
duke
parents:
diff changeset
46 // large value. Now reduce the value, so that the method can be
a61af66fc99e Initial load
duke
parents:
diff changeset
47 // executed many more times before re-entering the VM.
a61af66fc99e Initial load
duke
parents:
diff changeset
48 int old_count = count();
a61af66fc99e Initial load
duke
parents:
diff changeset
49 int new_count = MIN2(old_count, (int) (CompileThreshold / 2));
654
c664a0794f85 6805748: Assertion "don't reset to 0 -- could be mistaken for never-executed" in CompilationPolicy
coleenp
parents: 0
diff changeset
50 // prevent from going to zero, to distinguish from never-executed methods
c664a0794f85 6805748: Assertion "don't reset to 0 -- could be mistaken for never-executed" in CompilationPolicy
coleenp
parents: 0
diff changeset
51 if (new_count == 0) new_count = 1;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
52 if (old_count != new_count) set(state(), new_count);
a61af66fc99e Initial load
duke
parents:
diff changeset
53 }
a61af66fc99e Initial load
duke
parents:
diff changeset
54
a61af66fc99e Initial load
duke
parents:
diff changeset
55
a61af66fc99e Initial load
duke
parents:
diff changeset
56 void InvocationCounter::set_state(State state) {
a61af66fc99e Initial load
duke
parents:
diff changeset
57 assert(0 <= state && state < number_of_states, "illegal state");
a61af66fc99e Initial load
duke
parents:
diff changeset
58 int init = _init[state];
a61af66fc99e Initial load
duke
parents:
diff changeset
59 // prevent from going to zero, to distinguish from never-executed methods
a61af66fc99e Initial load
duke
parents:
diff changeset
60 if (init == 0 && count() > 0) init = 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
61 int carry = (_counter & carry_mask); // the carry bit is sticky
a61af66fc99e Initial load
duke
parents:
diff changeset
62 _counter = (init << number_of_noncount_bits) | carry | state;
a61af66fc99e Initial load
duke
parents:
diff changeset
63 }
a61af66fc99e Initial load
duke
parents:
diff changeset
64
a61af66fc99e Initial load
duke
parents:
diff changeset
65
a61af66fc99e Initial load
duke
parents:
diff changeset
66 void InvocationCounter::print() {
a61af66fc99e Initial load
duke
parents:
diff changeset
67 tty->print_cr("invocation count: up = %d, limit = %d, carry = %s, state = %s",
a61af66fc99e Initial load
duke
parents:
diff changeset
68 count(), limit(),
a61af66fc99e Initial load
duke
parents:
diff changeset
69 carry() ? "true" : "false",
a61af66fc99e Initial load
duke
parents:
diff changeset
70 state_as_string(state()));
a61af66fc99e Initial load
duke
parents:
diff changeset
71 }
a61af66fc99e Initial load
duke
parents:
diff changeset
72
a61af66fc99e Initial load
duke
parents:
diff changeset
73 void InvocationCounter::print_short() {
a61af66fc99e Initial load
duke
parents:
diff changeset
74 tty->print(" [%d%s;%s]", count(), carry()?"+carry":"", state_as_short_string(state()));
a61af66fc99e Initial load
duke
parents:
diff changeset
75 }
a61af66fc99e Initial load
duke
parents:
diff changeset
76
a61af66fc99e Initial load
duke
parents:
diff changeset
77 // Initialization
a61af66fc99e Initial load
duke
parents:
diff changeset
78
a61af66fc99e Initial load
duke
parents:
diff changeset
79 int InvocationCounter::_init [InvocationCounter::number_of_states];
a61af66fc99e Initial load
duke
parents:
diff changeset
80 InvocationCounter::Action InvocationCounter::_action[InvocationCounter::number_of_states];
a61af66fc99e Initial load
duke
parents:
diff changeset
81 int InvocationCounter::InterpreterInvocationLimit;
a61af66fc99e Initial load
duke
parents:
diff changeset
82 int InvocationCounter::InterpreterBackwardBranchLimit;
a61af66fc99e Initial load
duke
parents:
diff changeset
83 int InvocationCounter::InterpreterProfileLimit;
a61af66fc99e Initial load
duke
parents:
diff changeset
84
a61af66fc99e Initial load
duke
parents:
diff changeset
85 // Tier1 limits
a61af66fc99e Initial load
duke
parents:
diff changeset
86 int InvocationCounter::Tier1InvocationLimit;
a61af66fc99e Initial load
duke
parents:
diff changeset
87 int InvocationCounter::Tier1BackEdgeLimit;
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 const char* InvocationCounter::state_as_string(State state) {
a61af66fc99e Initial load
duke
parents:
diff changeset
92 switch (state) {
a61af66fc99e Initial load
duke
parents:
diff changeset
93 case wait_for_nothing : return "wait_for_nothing";
a61af66fc99e Initial load
duke
parents:
diff changeset
94 case wait_for_compile : return "wait_for_compile";
a61af66fc99e Initial load
duke
parents:
diff changeset
95 }
a61af66fc99e Initial load
duke
parents:
diff changeset
96 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
97 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
98 }
a61af66fc99e Initial load
duke
parents:
diff changeset
99
a61af66fc99e Initial load
duke
parents:
diff changeset
100 const char* InvocationCounter::state_as_short_string(State state) {
a61af66fc99e Initial load
duke
parents:
diff changeset
101 switch (state) {
a61af66fc99e Initial load
duke
parents:
diff changeset
102 case wait_for_nothing : return "not comp.";
a61af66fc99e Initial load
duke
parents:
diff changeset
103 case wait_for_compile : return "compileable";
a61af66fc99e Initial load
duke
parents:
diff changeset
104 }
a61af66fc99e Initial load
duke
parents:
diff changeset
105 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
106 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
107 }
a61af66fc99e Initial load
duke
parents:
diff changeset
108
a61af66fc99e Initial load
duke
parents:
diff changeset
109
a61af66fc99e Initial load
duke
parents:
diff changeset
110 static address do_nothing(methodHandle method, TRAPS) {
a61af66fc99e Initial load
duke
parents:
diff changeset
111 // dummy action for inactive invocation counters
a61af66fc99e Initial load
duke
parents:
diff changeset
112 method->invocation_counter()->set_carry();
a61af66fc99e Initial load
duke
parents:
diff changeset
113 method->invocation_counter()->set_state(InvocationCounter::wait_for_nothing);
a61af66fc99e Initial load
duke
parents:
diff changeset
114 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
115 }
a61af66fc99e Initial load
duke
parents:
diff changeset
116
a61af66fc99e Initial load
duke
parents:
diff changeset
117
a61af66fc99e Initial load
duke
parents:
diff changeset
118 static address do_decay(methodHandle method, TRAPS) {
a61af66fc99e Initial load
duke
parents:
diff changeset
119 // decay invocation counters so compilation gets delayed
a61af66fc99e Initial load
duke
parents:
diff changeset
120 method->invocation_counter()->decay();
a61af66fc99e Initial load
duke
parents:
diff changeset
121 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
122 }
a61af66fc99e Initial load
duke
parents:
diff changeset
123
a61af66fc99e Initial load
duke
parents:
diff changeset
124
a61af66fc99e Initial load
duke
parents:
diff changeset
125 void InvocationCounter::def(State state, int init, Action action) {
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 assert(0 <= init && init < count_limit, "initial value out of range");
a61af66fc99e Initial load
duke
parents:
diff changeset
128 _init [state] = init;
a61af66fc99e Initial load
duke
parents:
diff changeset
129 _action[state] = action;
a61af66fc99e Initial load
duke
parents:
diff changeset
130 }
a61af66fc99e Initial load
duke
parents:
diff changeset
131
a61af66fc99e Initial load
duke
parents:
diff changeset
132 address dummy_invocation_counter_overflow(methodHandle m, TRAPS) {
a61af66fc99e Initial load
duke
parents:
diff changeset
133 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
134 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
135 }
a61af66fc99e Initial load
duke
parents:
diff changeset
136
a61af66fc99e Initial load
duke
parents:
diff changeset
137 void InvocationCounter::reinitialize(bool delay_overflow) {
a61af66fc99e Initial load
duke
parents:
diff changeset
138 // define states
a61af66fc99e Initial load
duke
parents:
diff changeset
139 guarantee((int)number_of_states <= (int)state_limit, "adjust number_of_state_bits");
a61af66fc99e Initial load
duke
parents:
diff changeset
140 def(wait_for_nothing, 0, do_nothing);
a61af66fc99e Initial load
duke
parents:
diff changeset
141 if (delay_overflow) {
a61af66fc99e Initial load
duke
parents:
diff changeset
142 def(wait_for_compile, 0, do_decay);
a61af66fc99e Initial load
duke
parents:
diff changeset
143 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
144 def(wait_for_compile, 0, dummy_invocation_counter_overflow);
a61af66fc99e Initial load
duke
parents:
diff changeset
145 }
a61af66fc99e Initial load
duke
parents:
diff changeset
146
a61af66fc99e Initial load
duke
parents:
diff changeset
147 InterpreterInvocationLimit = CompileThreshold << number_of_noncount_bits;
a61af66fc99e Initial load
duke
parents:
diff changeset
148 InterpreterProfileLimit = ((CompileThreshold * InterpreterProfilePercentage) / 100)<< number_of_noncount_bits;
a61af66fc99e Initial load
duke
parents:
diff changeset
149 Tier1InvocationLimit = Tier2CompileThreshold << number_of_noncount_bits;
a61af66fc99e Initial load
duke
parents:
diff changeset
150 Tier1BackEdgeLimit = Tier2BackEdgeThreshold << number_of_noncount_bits;
a61af66fc99e Initial load
duke
parents:
diff changeset
151
a61af66fc99e Initial load
duke
parents:
diff changeset
152 // When methodData is collected, the backward branch limit is compared against a
a61af66fc99e Initial load
duke
parents:
diff changeset
153 // methodData counter, rather than an InvocationCounter. In the former case, we
a61af66fc99e Initial load
duke
parents:
diff changeset
154 // don't need the shift by number_of_noncount_bits, but we do need to adjust
a61af66fc99e Initial load
duke
parents:
diff changeset
155 // the factor by which we scale the threshold.
a61af66fc99e Initial load
duke
parents:
diff changeset
156 if (ProfileInterpreter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
157 InterpreterBackwardBranchLimit = (CompileThreshold * (OnStackReplacePercentage - InterpreterProfilePercentage)) / 100;
a61af66fc99e Initial load
duke
parents:
diff changeset
158 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
159 InterpreterBackwardBranchLimit = ((CompileThreshold * OnStackReplacePercentage) / 100) << number_of_noncount_bits;
a61af66fc99e Initial load
duke
parents:
diff changeset
160 }
a61af66fc99e Initial load
duke
parents:
diff changeset
161
a61af66fc99e Initial load
duke
parents:
diff changeset
162 assert(0 <= InterpreterBackwardBranchLimit,
a61af66fc99e Initial load
duke
parents:
diff changeset
163 "OSR threshold should be non-negative");
a61af66fc99e Initial load
duke
parents:
diff changeset
164 assert(0 <= InterpreterProfileLimit &&
a61af66fc99e Initial load
duke
parents:
diff changeset
165 InterpreterProfileLimit <= InterpreterInvocationLimit,
a61af66fc99e Initial load
duke
parents:
diff changeset
166 "profile threshold should be less than the compilation threshold "
a61af66fc99e Initial load
duke
parents:
diff changeset
167 "and non-negative");
a61af66fc99e Initial load
duke
parents:
diff changeset
168 }
a61af66fc99e Initial load
duke
parents:
diff changeset
169
a61af66fc99e Initial load
duke
parents:
diff changeset
170 void invocationCounter_init() {
a61af66fc99e Initial load
duke
parents:
diff changeset
171 InvocationCounter::reinitialize(DelayCompilationDuringStartup);
a61af66fc99e Initial load
duke
parents:
diff changeset
172 }