annotate src/share/vm/interpreter/invocationCounter.hpp @ 1783:d5d065957597

6953144: Tiered compilation Summary: Infrastructure for tiered compilation support (interpreter + c1 + c2) for 32 and 64 bit. Simple tiered policy implementation. Reviewed-by: kvn, never, phh, twisti
author iveresov
date Fri, 03 Sep 2010 17:51:07 -0700
parents c18cbe5936b8
children f95d63e2154a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1783
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1552
diff changeset
2 * Copyright (c) 1997, 2010, Oracle and/or its affiliates. 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 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
21 * questions.
0
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 carry_mask = right_n_bits(number_of_carry_bits) << number_of_state_bits,
a61af66fc99e Initial load
duke
parents:
diff changeset
47 state_mask = right_n_bits(number_of_state_bits),
a61af66fc99e Initial load
duke
parents:
diff changeset
48 status_mask = right_n_bits(number_of_state_bits + number_of_carry_bits),
a61af66fc99e Initial load
duke
parents:
diff changeset
49 count_mask = ((int)(-1) ^ status_mask)
a61af66fc99e Initial load
duke
parents:
diff changeset
50 };
a61af66fc99e Initial load
duke
parents:
diff changeset
51
a61af66fc99e Initial load
duke
parents:
diff changeset
52 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
53 static int InterpreterInvocationLimit; // CompileThreshold scaled for interpreter use
a61af66fc99e Initial load
duke
parents:
diff changeset
54 static int InterpreterBackwardBranchLimit; // A separate threshold for on stack replacement
a61af66fc99e Initial load
duke
parents:
diff changeset
55 static int InterpreterProfileLimit; // Profiling threshold scaled for interpreter use
a61af66fc99e Initial load
duke
parents:
diff changeset
56
a61af66fc99e Initial load
duke
parents:
diff changeset
57 typedef address (*Action)(methodHandle method, TRAPS);
a61af66fc99e Initial load
duke
parents:
diff changeset
58
a61af66fc99e Initial load
duke
parents:
diff changeset
59 enum PublicConstants {
a61af66fc99e Initial load
duke
parents:
diff changeset
60 count_increment = count_grain, // use this value to increment the 32bit _counter word
1783
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1552
diff changeset
61 count_mask_value = count_mask, // use this value to mask the backedge counter
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1552
diff changeset
62 count_shift = number_of_noncount_bits,
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1552
diff changeset
63 count_limit = nth_bit(number_of_count_bits - 1)
0
a61af66fc99e Initial load
duke
parents:
diff changeset
64 };
a61af66fc99e Initial load
duke
parents:
diff changeset
65
a61af66fc99e Initial load
duke
parents:
diff changeset
66 enum State {
a61af66fc99e Initial load
duke
parents:
diff changeset
67 wait_for_nothing, // do nothing when count() > limit()
a61af66fc99e Initial load
duke
parents:
diff changeset
68 wait_for_compile, // introduce nmethod when count() > limit()
a61af66fc99e Initial load
duke
parents:
diff changeset
69 number_of_states // must be <= state_limit
a61af66fc99e Initial load
duke
parents:
diff changeset
70 };
a61af66fc99e Initial load
duke
parents:
diff changeset
71
a61af66fc99e Initial load
duke
parents:
diff changeset
72 // Manipulation
a61af66fc99e Initial load
duke
parents:
diff changeset
73 void reset(); // sets state to wait state
a61af66fc99e Initial load
duke
parents:
diff changeset
74 void init(); // sets state into original state
a61af66fc99e Initial load
duke
parents:
diff changeset
75 void set_state(State state); // sets state and initializes counter correspondingly
a61af66fc99e Initial load
duke
parents:
diff changeset
76 inline void set(State state, int count); // sets state and counter
a61af66fc99e Initial load
duke
parents:
diff changeset
77 inline void decay(); // decay counter (divide by two)
a61af66fc99e Initial load
duke
parents:
diff changeset
78 void set_carry(); // set the sticky carry bit
1783
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1552
diff changeset
79 void set_carry_flag() { _counter |= carry_mask; }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
80
a61af66fc99e Initial load
duke
parents:
diff changeset
81 // Accessors
a61af66fc99e Initial load
duke
parents:
diff changeset
82 State state() const { return (State)(_counter & state_mask); }
a61af66fc99e Initial load
duke
parents:
diff changeset
83 bool carry() const { return (_counter & carry_mask) != 0; }
a61af66fc99e Initial load
duke
parents:
diff changeset
84 int limit() const { return CompileThreshold; }
a61af66fc99e Initial load
duke
parents:
diff changeset
85 Action action() const { return _action[state()]; }
a61af66fc99e Initial load
duke
parents:
diff changeset
86 int count() const { return _counter >> number_of_noncount_bits; }
a61af66fc99e Initial load
duke
parents:
diff changeset
87
a61af66fc99e Initial load
duke
parents:
diff changeset
88 int get_InvocationLimit() const { return InterpreterInvocationLimit >> number_of_noncount_bits; }
a61af66fc99e Initial load
duke
parents:
diff changeset
89 int get_BackwardBranchLimit() const { return InterpreterBackwardBranchLimit >> number_of_noncount_bits; }
a61af66fc99e Initial load
duke
parents:
diff changeset
90 int get_ProfileLimit() const { return InterpreterProfileLimit >> number_of_noncount_bits; }
a61af66fc99e Initial load
duke
parents:
diff changeset
91
a61af66fc99e Initial load
duke
parents:
diff changeset
92 // Test counter using scaled limits like the asm interpreter would do rather than doing
a61af66fc99e Initial load
duke
parents:
diff changeset
93 // the shifts to normalize the counter.
a61af66fc99e Initial load
duke
parents:
diff changeset
94
a61af66fc99e Initial load
duke
parents:
diff changeset
95 bool reached_InvocationLimit() const { return _counter >= (unsigned int) InterpreterInvocationLimit; }
a61af66fc99e Initial load
duke
parents:
diff changeset
96 bool reached_BackwardBranchLimit() const { return _counter >= (unsigned int) InterpreterBackwardBranchLimit; }
a61af66fc99e Initial load
duke
parents:
diff changeset
97
a61af66fc99e Initial load
duke
parents:
diff changeset
98 // Do this just like asm interpreter does for max speed
a61af66fc99e Initial load
duke
parents:
diff changeset
99 bool reached_ProfileLimit(InvocationCounter *back_edge_count) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
100 return (_counter && count_mask) + back_edge_count->_counter >= (unsigned int) InterpreterProfileLimit;
a61af66fc99e Initial load
duke
parents:
diff changeset
101 }
a61af66fc99e Initial load
duke
parents:
diff changeset
102
a61af66fc99e Initial load
duke
parents:
diff changeset
103 void increment() { _counter += count_increment; }
a61af66fc99e Initial load
duke
parents:
diff changeset
104
a61af66fc99e Initial load
duke
parents:
diff changeset
105
a61af66fc99e Initial load
duke
parents:
diff changeset
106 // Printing
a61af66fc99e Initial load
duke
parents:
diff changeset
107 void print();
a61af66fc99e Initial load
duke
parents:
diff changeset
108 void print_short();
a61af66fc99e Initial load
duke
parents:
diff changeset
109
a61af66fc99e Initial load
duke
parents:
diff changeset
110 // Miscellaneous
a61af66fc99e Initial load
duke
parents:
diff changeset
111 static ByteSize counter_offset() { return byte_offset_of(InvocationCounter, _counter); }
a61af66fc99e Initial load
duke
parents:
diff changeset
112 static void reinitialize(bool delay_overflow);
a61af66fc99e Initial load
duke
parents:
diff changeset
113
a61af66fc99e Initial load
duke
parents:
diff changeset
114 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
115 static int _init [number_of_states]; // the counter limits
a61af66fc99e Initial load
duke
parents:
diff changeset
116 static Action _action[number_of_states]; // the actions
a61af66fc99e Initial load
duke
parents:
diff changeset
117
a61af66fc99e Initial load
duke
parents:
diff changeset
118 static void def(State state, int init, Action action);
a61af66fc99e Initial load
duke
parents:
diff changeset
119 static const char* state_as_string(State state);
a61af66fc99e Initial load
duke
parents:
diff changeset
120 static const char* state_as_short_string(State state);
a61af66fc99e Initial load
duke
parents:
diff changeset
121 };
a61af66fc99e Initial load
duke
parents:
diff changeset
122
a61af66fc99e Initial load
duke
parents:
diff changeset
123 inline void InvocationCounter::set(State state, int count) {
a61af66fc99e Initial load
duke
parents:
diff changeset
124 assert(0 <= state && state < number_of_states, "illegal state");
a61af66fc99e Initial load
duke
parents:
diff changeset
125 int carry = (_counter & carry_mask); // the carry bit is sticky
a61af66fc99e Initial load
duke
parents:
diff changeset
126 _counter = (count << number_of_noncount_bits) | carry | state;
a61af66fc99e Initial load
duke
parents:
diff changeset
127 }
a61af66fc99e Initial load
duke
parents:
diff changeset
128
a61af66fc99e Initial load
duke
parents:
diff changeset
129 inline void InvocationCounter::decay() {
a61af66fc99e Initial load
duke
parents:
diff changeset
130 int c = count();
a61af66fc99e Initial load
duke
parents:
diff changeset
131 int new_count = c >> 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
132 // prevent from going to zero, to distinguish from never-executed methods
a61af66fc99e Initial load
duke
parents:
diff changeset
133 if (c > 0 && new_count == 0) new_count = 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
134 set(state(), new_count);
a61af66fc99e Initial load
duke
parents:
diff changeset
135 }
1783
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1552
diff changeset
136