annotate src/share/vm/interpreter/invocationCounter.cpp @ 1091:6aa7255741f3

6906727: UseCompressedOops: some card-marking fixes related to object arrays Summary: Introduced a new write_ref_array(HeapWords* start, size_t count) method that does the requisite MemRegion range calculation so (some of the) clients of the erstwhile write_ref_array(MemRegion mr) do not need to worry. This removed all external uses of array_size(), which was also simplified and made private. Asserts were added to catch other possible issues. Further, less essential, fixes stemming from this investigation are deferred to CR 6904516 (to follow shortly in hs17). Reviewed-by: kvn, coleenp, jmasa
author ysr
date Thu, 03 Dec 2009 15:01:57 -0800
parents bd02caa94611
children c18cbe5936b8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
844
bd02caa94611 6862919: Update copyright year
xdono
parents: 654
diff changeset
2 * Copyright 1997-2009 Sun Microsystems, Inc. All Rights Reserved.
0
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 }