annotate src/share/vm/interpreter/oopMapCache.cpp @ 20543:e7d0505c8a30

8059758: Footprint regressions with JDK-8038423 Summary: Changes in JDK-8038423 always initialize (zero out) virtual memory used for auxiliary data structures. This causes a footprint regression for G1 in startup benchmarks. This is because they do not touch that memory at all, so the operating system does not actually commit these pages. The fix is to, if the initialization value of the data structures matches the default value of just committed memory (=0), do not do anything. Reviewed-by: jwilhelm, brutisso
author tschatzl
date Fri, 10 Oct 2014 15:51:58 +0200
parents c204e2044c29
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
17937
78bbf4d43a14 8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents: 6725
diff changeset
2 * Copyright (c) 1997, 2014, 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: 1489
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1489
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: 1489
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
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1681
diff changeset
25 #include "precompiled.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1681
diff changeset
26 #include "interpreter/oopMapCache.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1681
diff changeset
27 #include "memory/allocation.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1681
diff changeset
28 #include "memory/resourceArea.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1681
diff changeset
29 #include "oops/oop.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1681
diff changeset
30 #include "prims/jvmtiRedefineClassesTrace.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1681
diff changeset
31 #include "runtime/handles.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1681
diff changeset
32 #include "runtime/signature.hpp"
0
a61af66fc99e Initial load
duke
parents:
diff changeset
33
17937
78bbf4d43a14 8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents: 6725
diff changeset
34 PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC
78bbf4d43a14 8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents: 6725
diff changeset
35
0
a61af66fc99e Initial load
duke
parents:
diff changeset
36 class OopMapCacheEntry: private InterpreterOopMap {
a61af66fc99e Initial load
duke
parents:
diff changeset
37 friend class InterpreterOopMap;
a61af66fc99e Initial load
duke
parents:
diff changeset
38 friend class OopMapForCacheEntry;
a61af66fc99e Initial load
duke
parents:
diff changeset
39 friend class OopMapCache;
a61af66fc99e Initial load
duke
parents:
diff changeset
40 friend class VerifyClosure;
a61af66fc99e Initial load
duke
parents:
diff changeset
41
a61af66fc99e Initial load
duke
parents:
diff changeset
42 protected:
a61af66fc99e Initial load
duke
parents:
diff changeset
43 // Initialization
a61af66fc99e Initial load
duke
parents:
diff changeset
44 void fill(methodHandle method, int bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
45 // fills the bit mask for native calls
a61af66fc99e Initial load
duke
parents:
diff changeset
46 void fill_for_native(methodHandle method);
a61af66fc99e Initial load
duke
parents:
diff changeset
47 void set_mask(CellTypeState* vars, CellTypeState* stack, int stack_top);
a61af66fc99e Initial load
duke
parents:
diff changeset
48
a61af66fc99e Initial load
duke
parents:
diff changeset
49 // Deallocate bit masks and initialize fields
a61af66fc99e Initial load
duke
parents:
diff changeset
50 void flush();
a61af66fc99e Initial load
duke
parents:
diff changeset
51
a61af66fc99e Initial load
duke
parents:
diff changeset
52 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
53 void allocate_bit_mask(); // allocates the bit mask on C heap f necessary
a61af66fc99e Initial load
duke
parents:
diff changeset
54 void deallocate_bit_mask(); // allocates the bit mask on C heap f necessary
a61af66fc99e Initial load
duke
parents:
diff changeset
55 bool verify_mask(CellTypeState *vars, CellTypeState *stack, int max_locals, int stack_top);
a61af66fc99e Initial load
duke
parents:
diff changeset
56
a61af66fc99e Initial load
duke
parents:
diff changeset
57 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
58 OopMapCacheEntry() : InterpreterOopMap() {
a61af66fc99e Initial load
duke
parents:
diff changeset
59 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
60 _resource_allocate_bit_mask = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
61 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
62 }
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 // Implementation of OopMapForCacheEntry
a61af66fc99e Initial load
duke
parents:
diff changeset
67 // (subclass of GenerateOopMap, initializes an OopMapCacheEntry for a given method and bci)
a61af66fc99e Initial load
duke
parents:
diff changeset
68
a61af66fc99e Initial load
duke
parents:
diff changeset
69 class OopMapForCacheEntry: public GenerateOopMap {
a61af66fc99e Initial load
duke
parents:
diff changeset
70 OopMapCacheEntry *_entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
71 int _bci;
a61af66fc99e Initial load
duke
parents:
diff changeset
72 int _stack_top;
a61af66fc99e Initial load
duke
parents:
diff changeset
73
a61af66fc99e Initial load
duke
parents:
diff changeset
74 virtual bool report_results() const { return false; }
a61af66fc99e Initial load
duke
parents:
diff changeset
75 virtual bool possible_gc_point (BytecodeStream *bcs);
a61af66fc99e Initial load
duke
parents:
diff changeset
76 virtual void fill_stackmap_prolog (int nof_gc_points);
a61af66fc99e Initial load
duke
parents:
diff changeset
77 virtual void fill_stackmap_epilog ();
a61af66fc99e Initial load
duke
parents:
diff changeset
78 virtual void fill_stackmap_for_opcodes (BytecodeStream *bcs,
a61af66fc99e Initial load
duke
parents:
diff changeset
79 CellTypeState* vars,
a61af66fc99e Initial load
duke
parents:
diff changeset
80 CellTypeState* stack,
a61af66fc99e Initial load
duke
parents:
diff changeset
81 int stack_top);
a61af66fc99e Initial load
duke
parents:
diff changeset
82 virtual void fill_init_vars (GrowableArray<intptr_t> *init_vars);
a61af66fc99e Initial load
duke
parents:
diff changeset
83
a61af66fc99e Initial load
duke
parents:
diff changeset
84 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
85 OopMapForCacheEntry(methodHandle method, int bci, OopMapCacheEntry *entry);
a61af66fc99e Initial load
duke
parents:
diff changeset
86
a61af66fc99e Initial load
duke
parents:
diff changeset
87 // Computes stack map for (method,bci) and initialize entry
a61af66fc99e Initial load
duke
parents:
diff changeset
88 void compute_map(TRAPS);
a61af66fc99e Initial load
duke
parents:
diff changeset
89 int size();
a61af66fc99e Initial load
duke
parents:
diff changeset
90 };
a61af66fc99e Initial load
duke
parents:
diff changeset
91
a61af66fc99e Initial load
duke
parents:
diff changeset
92
a61af66fc99e Initial load
duke
parents:
diff changeset
93 OopMapForCacheEntry::OopMapForCacheEntry(methodHandle method, int bci, OopMapCacheEntry* entry) : GenerateOopMap(method) {
a61af66fc99e Initial load
duke
parents:
diff changeset
94 _bci = bci;
a61af66fc99e Initial load
duke
parents:
diff changeset
95 _entry = entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
96 _stack_top = -1;
a61af66fc99e Initial load
duke
parents:
diff changeset
97 }
a61af66fc99e Initial load
duke
parents:
diff changeset
98
a61af66fc99e Initial load
duke
parents:
diff changeset
99
a61af66fc99e Initial load
duke
parents:
diff changeset
100 void OopMapForCacheEntry::compute_map(TRAPS) {
a61af66fc99e Initial load
duke
parents:
diff changeset
101 assert(!method()->is_native(), "cannot compute oop map for native methods");
a61af66fc99e Initial load
duke
parents:
diff changeset
102 // First check if it is a method where the stackmap is always empty
a61af66fc99e Initial load
duke
parents:
diff changeset
103 if (method()->code_size() == 0 || method()->max_locals() + method()->max_stack() == 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
104 _entry->set_mask_size(0);
a61af66fc99e Initial load
duke
parents:
diff changeset
105 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
106 ResourceMark rm;
a61af66fc99e Initial load
duke
parents:
diff changeset
107 GenerateOopMap::compute_map(CATCH);
a61af66fc99e Initial load
duke
parents:
diff changeset
108 result_for_basicblock(_bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
109 }
a61af66fc99e Initial load
duke
parents:
diff changeset
110 }
a61af66fc99e Initial load
duke
parents:
diff changeset
111
a61af66fc99e Initial load
duke
parents:
diff changeset
112
a61af66fc99e Initial load
duke
parents:
diff changeset
113 bool OopMapForCacheEntry::possible_gc_point(BytecodeStream *bcs) {
a61af66fc99e Initial load
duke
parents:
diff changeset
114 return false; // We are not reporting any result. We call result_for_basicblock directly
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 void OopMapForCacheEntry::fill_stackmap_prolog(int nof_gc_points) {
a61af66fc99e Initial load
duke
parents:
diff changeset
119 // Do nothing
a61af66fc99e Initial load
duke
parents:
diff changeset
120 }
a61af66fc99e Initial load
duke
parents:
diff changeset
121
a61af66fc99e Initial load
duke
parents:
diff changeset
122
a61af66fc99e Initial load
duke
parents:
diff changeset
123 void OopMapForCacheEntry::fill_stackmap_epilog() {
a61af66fc99e Initial load
duke
parents:
diff changeset
124 // Do nothing
a61af66fc99e Initial load
duke
parents:
diff changeset
125 }
a61af66fc99e Initial load
duke
parents:
diff changeset
126
a61af66fc99e Initial load
duke
parents:
diff changeset
127
a61af66fc99e Initial load
duke
parents:
diff changeset
128 void OopMapForCacheEntry::fill_init_vars(GrowableArray<intptr_t> *init_vars) {
a61af66fc99e Initial load
duke
parents:
diff changeset
129 // Do nothing
a61af66fc99e Initial load
duke
parents:
diff changeset
130 }
a61af66fc99e Initial load
duke
parents:
diff changeset
131
a61af66fc99e Initial load
duke
parents:
diff changeset
132
a61af66fc99e Initial load
duke
parents:
diff changeset
133 void OopMapForCacheEntry::fill_stackmap_for_opcodes(BytecodeStream *bcs,
a61af66fc99e Initial load
duke
parents:
diff changeset
134 CellTypeState* vars,
a61af66fc99e Initial load
duke
parents:
diff changeset
135 CellTypeState* stack,
a61af66fc99e Initial load
duke
parents:
diff changeset
136 int stack_top) {
a61af66fc99e Initial load
duke
parents:
diff changeset
137 // Only interested in one specific bci
a61af66fc99e Initial load
duke
parents:
diff changeset
138 if (bcs->bci() == _bci) {
a61af66fc99e Initial load
duke
parents:
diff changeset
139 _entry->set_mask(vars, stack, stack_top);
a61af66fc99e Initial load
duke
parents:
diff changeset
140 _stack_top = stack_top;
a61af66fc99e Initial load
duke
parents:
diff changeset
141 }
a61af66fc99e Initial load
duke
parents:
diff changeset
142 }
a61af66fc99e Initial load
duke
parents:
diff changeset
143
a61af66fc99e Initial load
duke
parents:
diff changeset
144
a61af66fc99e Initial load
duke
parents:
diff changeset
145 int OopMapForCacheEntry::size() {
a61af66fc99e Initial load
duke
parents:
diff changeset
146 assert(_stack_top != -1, "compute_map must be called first");
a61af66fc99e Initial load
duke
parents:
diff changeset
147 return ((method()->is_static()) ? 0 : 1) + method()->max_locals() + _stack_top;
a61af66fc99e Initial load
duke
parents:
diff changeset
148 }
a61af66fc99e Initial load
duke
parents:
diff changeset
149
a61af66fc99e Initial load
duke
parents:
diff changeset
150
a61af66fc99e Initial load
duke
parents:
diff changeset
151 // Implementation of InterpreterOopMap and OopMapCacheEntry
a61af66fc99e Initial load
duke
parents:
diff changeset
152
a61af66fc99e Initial load
duke
parents:
diff changeset
153 class VerifyClosure : public OffsetClosure {
a61af66fc99e Initial load
duke
parents:
diff changeset
154 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
155 OopMapCacheEntry* _entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
156 bool _failed;
a61af66fc99e Initial load
duke
parents:
diff changeset
157
a61af66fc99e Initial load
duke
parents:
diff changeset
158 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
159 VerifyClosure(OopMapCacheEntry* entry) { _entry = entry; _failed = false; }
a61af66fc99e Initial load
duke
parents:
diff changeset
160 void offset_do(int offset) { if (!_entry->is_oop(offset)) _failed = true; }
a61af66fc99e Initial load
duke
parents:
diff changeset
161 bool failed() const { return _failed; }
a61af66fc99e Initial load
duke
parents:
diff changeset
162 };
a61af66fc99e Initial load
duke
parents:
diff changeset
163
a61af66fc99e Initial load
duke
parents:
diff changeset
164 InterpreterOopMap::InterpreterOopMap() {
a61af66fc99e Initial load
duke
parents:
diff changeset
165 initialize();
a61af66fc99e Initial load
duke
parents:
diff changeset
166 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
167 _resource_allocate_bit_mask = true;
a61af66fc99e Initial load
duke
parents:
diff changeset
168 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
169 }
a61af66fc99e Initial load
duke
parents:
diff changeset
170
a61af66fc99e Initial load
duke
parents:
diff changeset
171 InterpreterOopMap::~InterpreterOopMap() {
a61af66fc99e Initial load
duke
parents:
diff changeset
172 // The expection is that the bit mask was allocated
a61af66fc99e Initial load
duke
parents:
diff changeset
173 // last in this resource area. That would make the free of the
a61af66fc99e Initial load
duke
parents:
diff changeset
174 // bit_mask effective (see how FREE_RESOURCE_ARRAY does a free).
a61af66fc99e Initial load
duke
parents:
diff changeset
175 // If it was not allocated last, there is not a correctness problem
a61af66fc99e Initial load
duke
parents:
diff changeset
176 // but the space for the bit_mask is not freed.
a61af66fc99e Initial load
duke
parents:
diff changeset
177 assert(_resource_allocate_bit_mask, "Trying to free C heap space");
a61af66fc99e Initial load
duke
parents:
diff changeset
178 if (mask_size() > small_mask_limit) {
a61af66fc99e Initial load
duke
parents:
diff changeset
179 FREE_RESOURCE_ARRAY(uintptr_t, _bit_mask[0], mask_word_size());
a61af66fc99e Initial load
duke
parents:
diff changeset
180 }
a61af66fc99e Initial load
duke
parents:
diff changeset
181 }
a61af66fc99e Initial load
duke
parents:
diff changeset
182
20501
c204e2044c29 8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents: 17937
diff changeset
183 bool InterpreterOopMap::is_empty() const {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
184 bool result = _method == NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
185 assert(_method != NULL || (_bci == 0 &&
a61af66fc99e Initial load
duke
parents:
diff changeset
186 (_mask_size == 0 || _mask_size == USHRT_MAX) &&
a61af66fc99e Initial load
duke
parents:
diff changeset
187 _bit_mask[0] == 0), "Should be completely empty");
a61af66fc99e Initial load
duke
parents:
diff changeset
188 return result;
a61af66fc99e Initial load
duke
parents:
diff changeset
189 }
a61af66fc99e Initial load
duke
parents:
diff changeset
190
a61af66fc99e Initial load
duke
parents:
diff changeset
191 void InterpreterOopMap::initialize() {
a61af66fc99e Initial load
duke
parents:
diff changeset
192 _method = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
193 _mask_size = USHRT_MAX; // This value should cause a failure quickly
a61af66fc99e Initial load
duke
parents:
diff changeset
194 _bci = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
195 _expression_stack_size = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
196 for (int i = 0; i < N; i++) _bit_mask[i] = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
197 }
a61af66fc99e Initial load
duke
parents:
diff changeset
198
20501
c204e2044c29 8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents: 17937
diff changeset
199 void InterpreterOopMap::iterate_oop(OffsetClosure* oop_closure) const {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
200 int n = number_of_entries();
a61af66fc99e Initial load
duke
parents:
diff changeset
201 int word_index = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
202 uintptr_t value = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
203 uintptr_t mask = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
204 // iterate over entries
a61af66fc99e Initial load
duke
parents:
diff changeset
205 for (int i = 0; i < n; i++, mask <<= bits_per_entry) {
a61af66fc99e Initial load
duke
parents:
diff changeset
206 // get current word
a61af66fc99e Initial load
duke
parents:
diff changeset
207 if (mask == 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
208 value = bit_mask()[word_index++];
a61af66fc99e Initial load
duke
parents:
diff changeset
209 mask = 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
210 }
a61af66fc99e Initial load
duke
parents:
diff changeset
211 // test for oop
a61af66fc99e Initial load
duke
parents:
diff changeset
212 if ((value & (mask << oop_bit_number)) != 0) oop_closure->offset_do(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
213 }
a61af66fc99e Initial load
duke
parents:
diff changeset
214 }
a61af66fc99e Initial load
duke
parents:
diff changeset
215
a61af66fc99e Initial load
duke
parents:
diff changeset
216
a61af66fc99e Initial load
duke
parents:
diff changeset
217 #ifdef ENABLE_ZAP_DEAD_LOCALS
a61af66fc99e Initial load
duke
parents:
diff changeset
218
a61af66fc99e Initial load
duke
parents:
diff changeset
219 void InterpreterOopMap::iterate_all(OffsetClosure* oop_closure, OffsetClosure* value_closure, OffsetClosure* dead_closure) {
a61af66fc99e Initial load
duke
parents:
diff changeset
220 int n = number_of_entries();
a61af66fc99e Initial load
duke
parents:
diff changeset
221 int word_index = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
222 uintptr_t value = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
223 uintptr_t mask = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
224 // iterate over entries
a61af66fc99e Initial load
duke
parents:
diff changeset
225 for (int i = 0; i < n; i++, mask <<= bits_per_entry) {
a61af66fc99e Initial load
duke
parents:
diff changeset
226 // get current word
a61af66fc99e Initial load
duke
parents:
diff changeset
227 if (mask == 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
228 value = bit_mask()[word_index++];
a61af66fc99e Initial load
duke
parents:
diff changeset
229 mask = 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
230 }
a61af66fc99e Initial load
duke
parents:
diff changeset
231 // test for dead values & oops, and for live values
a61af66fc99e Initial load
duke
parents:
diff changeset
232 if ((value & (mask << dead_bit_number)) != 0) dead_closure->offset_do(i); // call this for all dead values or oops
a61af66fc99e Initial load
duke
parents:
diff changeset
233 else if ((value & (mask << oop_bit_number)) != 0) oop_closure->offset_do(i); // call this for all live oops
a61af66fc99e Initial load
duke
parents:
diff changeset
234 else value_closure->offset_do(i); // call this for all live values
a61af66fc99e Initial load
duke
parents:
diff changeset
235 }
a61af66fc99e Initial load
duke
parents:
diff changeset
236 }
a61af66fc99e Initial load
duke
parents:
diff changeset
237
a61af66fc99e Initial load
duke
parents:
diff changeset
238 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
239
a61af66fc99e Initial load
duke
parents:
diff changeset
240
20501
c204e2044c29 8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents: 17937
diff changeset
241 void InterpreterOopMap::print() const {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
242 int n = number_of_entries();
a61af66fc99e Initial load
duke
parents:
diff changeset
243 tty->print("oop map for ");
a61af66fc99e Initial load
duke
parents:
diff changeset
244 method()->print_value();
a61af66fc99e Initial load
duke
parents:
diff changeset
245 tty->print(" @ %d = [%d] { ", bci(), n);
a61af66fc99e Initial load
duke
parents:
diff changeset
246 for (int i = 0; i < n; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
247 #ifdef ENABLE_ZAP_DEAD_LOCALS
a61af66fc99e Initial load
duke
parents:
diff changeset
248 if (is_dead(i)) tty->print("%d+ ", i);
a61af66fc99e Initial load
duke
parents:
diff changeset
249 else
a61af66fc99e Initial load
duke
parents:
diff changeset
250 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
251 if (is_oop(i)) tty->print("%d ", i);
a61af66fc99e Initial load
duke
parents:
diff changeset
252 }
a61af66fc99e Initial load
duke
parents:
diff changeset
253 tty->print_cr("}");
a61af66fc99e Initial load
duke
parents:
diff changeset
254 }
a61af66fc99e Initial load
duke
parents:
diff changeset
255
a61af66fc99e Initial load
duke
parents:
diff changeset
256 class MaskFillerForNative: public NativeSignatureIterator {
a61af66fc99e Initial load
duke
parents:
diff changeset
257 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
258 uintptr_t * _mask; // the bit mask to be filled
a61af66fc99e Initial load
duke
parents:
diff changeset
259 int _size; // the mask size in bits
a61af66fc99e Initial load
duke
parents:
diff changeset
260
a61af66fc99e Initial load
duke
parents:
diff changeset
261 void set_one(int i) {
a61af66fc99e Initial load
duke
parents:
diff changeset
262 i *= InterpreterOopMap::bits_per_entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
263 assert(0 <= i && i < _size, "offset out of bounds");
a61af66fc99e Initial load
duke
parents:
diff changeset
264 _mask[i / BitsPerWord] |= (((uintptr_t) 1 << InterpreterOopMap::oop_bit_number) << (i % BitsPerWord));
a61af66fc99e Initial load
duke
parents:
diff changeset
265 }
a61af66fc99e Initial load
duke
parents:
diff changeset
266
a61af66fc99e Initial load
duke
parents:
diff changeset
267 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
268 void pass_int() { /* ignore */ }
a61af66fc99e Initial load
duke
parents:
diff changeset
269 void pass_long() { /* ignore */ }
a61af66fc99e Initial load
duke
parents:
diff changeset
270 void pass_float() { /* ignore */ }
a61af66fc99e Initial load
duke
parents:
diff changeset
271 void pass_double() { /* ignore */ }
a61af66fc99e Initial load
duke
parents:
diff changeset
272 void pass_object() { set_one(offset()); }
a61af66fc99e Initial load
duke
parents:
diff changeset
273
a61af66fc99e Initial load
duke
parents:
diff changeset
274 MaskFillerForNative(methodHandle method, uintptr_t* mask, int size) : NativeSignatureIterator(method) {
a61af66fc99e Initial load
duke
parents:
diff changeset
275 _mask = mask;
a61af66fc99e Initial load
duke
parents:
diff changeset
276 _size = size;
a61af66fc99e Initial load
duke
parents:
diff changeset
277 // initialize with 0
a61af66fc99e Initial load
duke
parents:
diff changeset
278 int i = (size + BitsPerWord - 1) / BitsPerWord;
a61af66fc99e Initial load
duke
parents:
diff changeset
279 while (i-- > 0) _mask[i] = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
280 }
a61af66fc99e Initial load
duke
parents:
diff changeset
281
a61af66fc99e Initial load
duke
parents:
diff changeset
282 void generate() {
a61af66fc99e Initial load
duke
parents:
diff changeset
283 NativeSignatureIterator::iterate();
a61af66fc99e Initial load
duke
parents:
diff changeset
284 }
a61af66fc99e Initial load
duke
parents:
diff changeset
285 };
a61af66fc99e Initial load
duke
parents:
diff changeset
286
a61af66fc99e Initial load
duke
parents:
diff changeset
287 bool OopMapCacheEntry::verify_mask(CellTypeState* vars, CellTypeState* stack, int max_locals, int stack_top) {
a61af66fc99e Initial load
duke
parents:
diff changeset
288 // Check mask includes map
a61af66fc99e Initial load
duke
parents:
diff changeset
289 VerifyClosure blk(this);
a61af66fc99e Initial load
duke
parents:
diff changeset
290 iterate_oop(&blk);
a61af66fc99e Initial load
duke
parents:
diff changeset
291 if (blk.failed()) return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
292
a61af66fc99e Initial load
duke
parents:
diff changeset
293 // Check if map is generated correctly
a61af66fc99e Initial load
duke
parents:
diff changeset
294 // (Use ?: operator to make sure all 'true' & 'false' are represented exactly the same so we can use == afterwards)
a61af66fc99e Initial load
duke
parents:
diff changeset
295 if (TraceOopMapGeneration && Verbose) tty->print("Locals (%d): ", max_locals);
a61af66fc99e Initial load
duke
parents:
diff changeset
296
a61af66fc99e Initial load
duke
parents:
diff changeset
297 for(int i = 0; i < max_locals; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
298 bool v1 = is_oop(i) ? true : false;
a61af66fc99e Initial load
duke
parents:
diff changeset
299 bool v2 = vars[i].is_reference() ? true : false;
a61af66fc99e Initial load
duke
parents:
diff changeset
300 assert(v1 == v2, "locals oop mask generation error");
a61af66fc99e Initial load
duke
parents:
diff changeset
301 if (TraceOopMapGeneration && Verbose) tty->print("%d", v1 ? 1 : 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
302 #ifdef ENABLE_ZAP_DEAD_LOCALS
a61af66fc99e Initial load
duke
parents:
diff changeset
303 bool v3 = is_dead(i) ? true : false;
a61af66fc99e Initial load
duke
parents:
diff changeset
304 bool v4 = !vars[i].is_live() ? true : false;
a61af66fc99e Initial load
duke
parents:
diff changeset
305 assert(v3 == v4, "locals live mask generation error");
a61af66fc99e Initial load
duke
parents:
diff changeset
306 assert(!(v1 && v3), "dead value marked as oop");
a61af66fc99e Initial load
duke
parents:
diff changeset
307 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
308 }
a61af66fc99e Initial load
duke
parents:
diff changeset
309
a61af66fc99e Initial load
duke
parents:
diff changeset
310 if (TraceOopMapGeneration && Verbose) { tty->cr(); tty->print("Stack (%d): ", stack_top); }
a61af66fc99e Initial load
duke
parents:
diff changeset
311 for(int j = 0; j < stack_top; j++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
312 bool v1 = is_oop(max_locals + j) ? true : false;
a61af66fc99e Initial load
duke
parents:
diff changeset
313 bool v2 = stack[j].is_reference() ? true : false;
a61af66fc99e Initial load
duke
parents:
diff changeset
314 assert(v1 == v2, "stack oop mask generation error");
a61af66fc99e Initial load
duke
parents:
diff changeset
315 if (TraceOopMapGeneration && Verbose) tty->print("%d", v1 ? 1 : 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
316 #ifdef ENABLE_ZAP_DEAD_LOCALS
a61af66fc99e Initial load
duke
parents:
diff changeset
317 bool v3 = is_dead(max_locals + j) ? true : false;
a61af66fc99e Initial load
duke
parents:
diff changeset
318 bool v4 = !stack[j].is_live() ? true : false;
a61af66fc99e Initial load
duke
parents:
diff changeset
319 assert(v3 == v4, "stack live mask generation error");
a61af66fc99e Initial load
duke
parents:
diff changeset
320 assert(!(v1 && v3), "dead value marked as oop");
a61af66fc99e Initial load
duke
parents:
diff changeset
321 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
322 }
a61af66fc99e Initial load
duke
parents:
diff changeset
323 if (TraceOopMapGeneration && Verbose) tty->cr();
a61af66fc99e Initial load
duke
parents:
diff changeset
324 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
325 }
a61af66fc99e Initial load
duke
parents:
diff changeset
326
a61af66fc99e Initial load
duke
parents:
diff changeset
327 void OopMapCacheEntry::allocate_bit_mask() {
a61af66fc99e Initial load
duke
parents:
diff changeset
328 if (mask_size() > small_mask_limit) {
a61af66fc99e Initial load
duke
parents:
diff changeset
329 assert(_bit_mask[0] == 0, "bit mask should be new or just flushed");
a61af66fc99e Initial load
duke
parents:
diff changeset
330 _bit_mask[0] = (intptr_t)
6197
d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 1972
diff changeset
331 NEW_C_HEAP_ARRAY(uintptr_t, mask_word_size(), mtClass);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
332 }
a61af66fc99e Initial load
duke
parents:
diff changeset
333 }
a61af66fc99e Initial load
duke
parents:
diff changeset
334
a61af66fc99e Initial load
duke
parents:
diff changeset
335 void OopMapCacheEntry::deallocate_bit_mask() {
a61af66fc99e Initial load
duke
parents:
diff changeset
336 if (mask_size() > small_mask_limit && _bit_mask[0] != 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
337 assert(!Thread::current()->resource_area()->contains((void*)_bit_mask[0]),
a61af66fc99e Initial load
duke
parents:
diff changeset
338 "This bit mask should not be in the resource area");
6197
d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 1972
diff changeset
339 FREE_C_HEAP_ARRAY(uintptr_t, _bit_mask[0], mtClass);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
340 debug_only(_bit_mask[0] = 0;)
a61af66fc99e Initial load
duke
parents:
diff changeset
341 }
a61af66fc99e Initial load
duke
parents:
diff changeset
342 }
a61af66fc99e Initial load
duke
parents:
diff changeset
343
a61af66fc99e Initial load
duke
parents:
diff changeset
344
a61af66fc99e Initial load
duke
parents:
diff changeset
345 void OopMapCacheEntry::fill_for_native(methodHandle mh) {
a61af66fc99e Initial load
duke
parents:
diff changeset
346 assert(mh->is_native(), "method must be native method");
a61af66fc99e Initial load
duke
parents:
diff changeset
347 set_mask_size(mh->size_of_parameters() * bits_per_entry);
a61af66fc99e Initial load
duke
parents:
diff changeset
348 allocate_bit_mask();
a61af66fc99e Initial load
duke
parents:
diff changeset
349 // fill mask for parameters
a61af66fc99e Initial load
duke
parents:
diff changeset
350 MaskFillerForNative mf(mh, bit_mask(), mask_size());
a61af66fc99e Initial load
duke
parents:
diff changeset
351 mf.generate();
a61af66fc99e Initial load
duke
parents:
diff changeset
352 }
a61af66fc99e Initial load
duke
parents:
diff changeset
353
a61af66fc99e Initial load
duke
parents:
diff changeset
354
a61af66fc99e Initial load
duke
parents:
diff changeset
355 void OopMapCacheEntry::fill(methodHandle method, int bci) {
a61af66fc99e Initial load
duke
parents:
diff changeset
356 HandleMark hm;
a61af66fc99e Initial load
duke
parents:
diff changeset
357 // Flush entry to deallocate an existing entry
a61af66fc99e Initial load
duke
parents:
diff changeset
358 flush();
a61af66fc99e Initial load
duke
parents:
diff changeset
359 set_method(method());
a61af66fc99e Initial load
duke
parents:
diff changeset
360 set_bci(bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
361 if (method->is_native()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
362 // Native method activations have oops only among the parameters and one
a61af66fc99e Initial load
duke
parents:
diff changeset
363 // extra oop following the parameters (the mirror for static native methods).
a61af66fc99e Initial load
duke
parents:
diff changeset
364 fill_for_native(method);
a61af66fc99e Initial load
duke
parents:
diff changeset
365 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
366 EXCEPTION_MARK;
a61af66fc99e Initial load
duke
parents:
diff changeset
367 OopMapForCacheEntry gen(method, bci, this);
a61af66fc99e Initial load
duke
parents:
diff changeset
368 gen.compute_map(CATCH);
a61af66fc99e Initial load
duke
parents:
diff changeset
369 }
a61af66fc99e Initial load
duke
parents:
diff changeset
370 }
a61af66fc99e Initial load
duke
parents:
diff changeset
371
a61af66fc99e Initial load
duke
parents:
diff changeset
372
a61af66fc99e Initial load
duke
parents:
diff changeset
373 void OopMapCacheEntry::set_mask(CellTypeState *vars, CellTypeState *stack, int stack_top) {
a61af66fc99e Initial load
duke
parents:
diff changeset
374 // compute bit mask size
a61af66fc99e Initial load
duke
parents:
diff changeset
375 int max_locals = method()->max_locals();
a61af66fc99e Initial load
duke
parents:
diff changeset
376 int n_entries = max_locals + stack_top;
a61af66fc99e Initial load
duke
parents:
diff changeset
377 set_mask_size(n_entries * bits_per_entry);
a61af66fc99e Initial load
duke
parents:
diff changeset
378 allocate_bit_mask();
a61af66fc99e Initial load
duke
parents:
diff changeset
379 set_expression_stack_size(stack_top);
a61af66fc99e Initial load
duke
parents:
diff changeset
380
a61af66fc99e Initial load
duke
parents:
diff changeset
381 // compute bits
a61af66fc99e Initial load
duke
parents:
diff changeset
382 int word_index = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
383 uintptr_t value = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
384 uintptr_t mask = 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
385
a61af66fc99e Initial load
duke
parents:
diff changeset
386 CellTypeState* cell = vars;
a61af66fc99e Initial load
duke
parents:
diff changeset
387 for (int entry_index = 0; entry_index < n_entries; entry_index++, mask <<= bits_per_entry, cell++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
388 // store last word
a61af66fc99e Initial load
duke
parents:
diff changeset
389 if (mask == 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
390 bit_mask()[word_index++] = value;
a61af66fc99e Initial load
duke
parents:
diff changeset
391 value = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
392 mask = 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
393 }
a61af66fc99e Initial load
duke
parents:
diff changeset
394
a61af66fc99e Initial load
duke
parents:
diff changeset
395 // switch to stack when done with locals
a61af66fc99e Initial load
duke
parents:
diff changeset
396 if (entry_index == max_locals) {
a61af66fc99e Initial load
duke
parents:
diff changeset
397 cell = stack;
a61af66fc99e Initial load
duke
parents:
diff changeset
398 }
a61af66fc99e Initial load
duke
parents:
diff changeset
399
a61af66fc99e Initial load
duke
parents:
diff changeset
400 // set oop bit
a61af66fc99e Initial load
duke
parents:
diff changeset
401 if ( cell->is_reference()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
402 value |= (mask << oop_bit_number );
a61af66fc99e Initial load
duke
parents:
diff changeset
403 }
a61af66fc99e Initial load
duke
parents:
diff changeset
404
a61af66fc99e Initial load
duke
parents:
diff changeset
405 #ifdef ENABLE_ZAP_DEAD_LOCALS
a61af66fc99e Initial load
duke
parents:
diff changeset
406 // set dead bit
a61af66fc99e Initial load
duke
parents:
diff changeset
407 if (!cell->is_live()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
408 value |= (mask << dead_bit_number);
a61af66fc99e Initial load
duke
parents:
diff changeset
409 assert(!cell->is_reference(), "dead value marked as oop");
a61af66fc99e Initial load
duke
parents:
diff changeset
410 }
a61af66fc99e Initial load
duke
parents:
diff changeset
411 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
412 }
a61af66fc99e Initial load
duke
parents:
diff changeset
413
a61af66fc99e Initial load
duke
parents:
diff changeset
414 // make sure last word is stored
a61af66fc99e Initial load
duke
parents:
diff changeset
415 bit_mask()[word_index] = value;
a61af66fc99e Initial load
duke
parents:
diff changeset
416
a61af66fc99e Initial load
duke
parents:
diff changeset
417 // verify bit mask
a61af66fc99e Initial load
duke
parents:
diff changeset
418 assert(verify_mask(vars, stack, max_locals, stack_top), "mask could not be verified");
a61af66fc99e Initial load
duke
parents:
diff changeset
419
a61af66fc99e Initial load
duke
parents:
diff changeset
420
a61af66fc99e Initial load
duke
parents:
diff changeset
421 }
a61af66fc99e Initial load
duke
parents:
diff changeset
422
a61af66fc99e Initial load
duke
parents:
diff changeset
423 void OopMapCacheEntry::flush() {
a61af66fc99e Initial load
duke
parents:
diff changeset
424 deallocate_bit_mask();
a61af66fc99e Initial load
duke
parents:
diff changeset
425 initialize();
a61af66fc99e Initial load
duke
parents:
diff changeset
426 }
a61af66fc99e Initial load
duke
parents:
diff changeset
427
a61af66fc99e Initial load
duke
parents:
diff changeset
428
a61af66fc99e Initial load
duke
parents:
diff changeset
429 // Implementation of OopMapCache
a61af66fc99e Initial load
duke
parents:
diff changeset
430
a61af66fc99e Initial load
duke
parents:
diff changeset
431 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
432
a61af66fc99e Initial load
duke
parents:
diff changeset
433 static long _total_memory_usage = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
434
a61af66fc99e Initial load
duke
parents:
diff changeset
435 long OopMapCache::memory_usage() {
a61af66fc99e Initial load
duke
parents:
diff changeset
436 return _total_memory_usage;
a61af66fc99e Initial load
duke
parents:
diff changeset
437 }
a61af66fc99e Initial load
duke
parents:
diff changeset
438
a61af66fc99e Initial load
duke
parents:
diff changeset
439 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
440
a61af66fc99e Initial load
duke
parents:
diff changeset
441 void InterpreterOopMap::resource_copy(OopMapCacheEntry* from) {
a61af66fc99e Initial load
duke
parents:
diff changeset
442 assert(_resource_allocate_bit_mask,
a61af66fc99e Initial load
duke
parents:
diff changeset
443 "Should not resource allocate the _bit_mask");
a61af66fc99e Initial load
duke
parents:
diff changeset
444
a61af66fc99e Initial load
duke
parents:
diff changeset
445 set_method(from->method());
a61af66fc99e Initial load
duke
parents:
diff changeset
446 set_bci(from->bci());
a61af66fc99e Initial load
duke
parents:
diff changeset
447 set_mask_size(from->mask_size());
a61af66fc99e Initial load
duke
parents:
diff changeset
448 set_expression_stack_size(from->expression_stack_size());
a61af66fc99e Initial load
duke
parents:
diff changeset
449
a61af66fc99e Initial load
duke
parents:
diff changeset
450 // Is the bit mask contained in the entry?
a61af66fc99e Initial load
duke
parents:
diff changeset
451 if (from->mask_size() <= small_mask_limit) {
a61af66fc99e Initial load
duke
parents:
diff changeset
452 memcpy((void *)_bit_mask, (void *)from->_bit_mask,
a61af66fc99e Initial load
duke
parents:
diff changeset
453 mask_word_size() * BytesPerWord);
a61af66fc99e Initial load
duke
parents:
diff changeset
454 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
455 // The expectation is that this InterpreterOopMap is a recently created
a61af66fc99e Initial load
duke
parents:
diff changeset
456 // and empty. It is used to get a copy of a cached entry.
a61af66fc99e Initial load
duke
parents:
diff changeset
457 // If the bit mask has a value, it should be in the
a61af66fc99e Initial load
duke
parents:
diff changeset
458 // resource area.
a61af66fc99e Initial load
duke
parents:
diff changeset
459 assert(_bit_mask[0] == 0 ||
a61af66fc99e Initial load
duke
parents:
diff changeset
460 Thread::current()->resource_area()->contains((void*)_bit_mask[0]),
a61af66fc99e Initial load
duke
parents:
diff changeset
461 "The bit mask should have been allocated from a resource area");
a61af66fc99e Initial load
duke
parents:
diff changeset
462 // Allocate the bit_mask from a Resource area for performance. Allocating
a61af66fc99e Initial load
duke
parents:
diff changeset
463 // from the C heap as is done for OopMapCache has a significant
a61af66fc99e Initial load
duke
parents:
diff changeset
464 // performance impact.
a61af66fc99e Initial load
duke
parents:
diff changeset
465 _bit_mask[0] = (uintptr_t) NEW_RESOURCE_ARRAY(uintptr_t, mask_word_size());
a61af66fc99e Initial load
duke
parents:
diff changeset
466 assert(_bit_mask[0] != 0, "bit mask was not allocated");
a61af66fc99e Initial load
duke
parents:
diff changeset
467 memcpy((void*) _bit_mask[0], (void*) from->_bit_mask[0],
a61af66fc99e Initial load
duke
parents:
diff changeset
468 mask_word_size() * BytesPerWord);
a61af66fc99e Initial load
duke
parents:
diff changeset
469 }
a61af66fc99e Initial load
duke
parents:
diff changeset
470 }
a61af66fc99e Initial load
duke
parents:
diff changeset
471
20501
c204e2044c29 8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents: 17937
diff changeset
472 inline unsigned int OopMapCache::hash_value_for(methodHandle method, int bci) const {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
473 // We use method->code_size() rather than method->identity_hash() below since
a61af66fc99e Initial load
duke
parents:
diff changeset
474 // the mark may not be present if a pointer to the method is already reversed.
a61af66fc99e Initial load
duke
parents:
diff changeset
475 return ((unsigned int) bci)
a61af66fc99e Initial load
duke
parents:
diff changeset
476 ^ ((unsigned int) method->max_locals() << 2)
a61af66fc99e Initial load
duke
parents:
diff changeset
477 ^ ((unsigned int) method->code_size() << 4)
a61af66fc99e Initial load
duke
parents:
diff changeset
478 ^ ((unsigned int) method->size_of_parameters() << 6);
a61af66fc99e Initial load
duke
parents:
diff changeset
479 }
a61af66fc99e Initial load
duke
parents:
diff changeset
480
a61af66fc99e Initial load
duke
parents:
diff changeset
481
a61af66fc99e Initial load
duke
parents:
diff changeset
482 OopMapCache::OopMapCache() :
a61af66fc99e Initial load
duke
parents:
diff changeset
483 _mut(Mutex::leaf, "An OopMapCache lock", true)
a61af66fc99e Initial load
duke
parents:
diff changeset
484 {
6197
d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 1972
diff changeset
485 _array = NEW_C_HEAP_ARRAY(OopMapCacheEntry, _size, mtClass);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
486 // Cannot call flush for initialization, since flush
a61af66fc99e Initial load
duke
parents:
diff changeset
487 // will check if memory should be deallocated
a61af66fc99e Initial load
duke
parents:
diff changeset
488 for(int i = 0; i < _size; i++) _array[i].initialize();
a61af66fc99e Initial load
duke
parents:
diff changeset
489 NOT_PRODUCT(_total_memory_usage += sizeof(OopMapCache) + (sizeof(OopMapCacheEntry) * _size);)
a61af66fc99e Initial load
duke
parents:
diff changeset
490 }
a61af66fc99e Initial load
duke
parents:
diff changeset
491
a61af66fc99e Initial load
duke
parents:
diff changeset
492
a61af66fc99e Initial load
duke
parents:
diff changeset
493 OopMapCache::~OopMapCache() {
a61af66fc99e Initial load
duke
parents:
diff changeset
494 assert(_array != NULL, "sanity check");
a61af66fc99e Initial load
duke
parents:
diff changeset
495 // Deallocate oop maps that are allocated out-of-line
a61af66fc99e Initial load
duke
parents:
diff changeset
496 flush();
a61af66fc99e Initial load
duke
parents:
diff changeset
497 // Deallocate array
a61af66fc99e Initial load
duke
parents:
diff changeset
498 NOT_PRODUCT(_total_memory_usage -= sizeof(OopMapCache) + (sizeof(OopMapCacheEntry) * _size);)
6197
d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 1972
diff changeset
499 FREE_C_HEAP_ARRAY(OopMapCacheEntry, _array, mtClass);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
500 }
a61af66fc99e Initial load
duke
parents:
diff changeset
501
a61af66fc99e Initial load
duke
parents:
diff changeset
502 OopMapCacheEntry* OopMapCache::entry_at(int i) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
503 return &_array[i % _size];
a61af66fc99e Initial load
duke
parents:
diff changeset
504 }
a61af66fc99e Initial load
duke
parents:
diff changeset
505
a61af66fc99e Initial load
duke
parents:
diff changeset
506 void OopMapCache::flush() {
a61af66fc99e Initial load
duke
parents:
diff changeset
507 for (int i = 0; i < _size; i++) _array[i].flush();
a61af66fc99e Initial load
duke
parents:
diff changeset
508 }
a61af66fc99e Initial load
duke
parents:
diff changeset
509
a61af66fc99e Initial load
duke
parents:
diff changeset
510 void OopMapCache::flush_obsolete_entries() {
a61af66fc99e Initial load
duke
parents:
diff changeset
511 for (int i = 0; i < _size; i++)
a61af66fc99e Initial load
duke
parents:
diff changeset
512 if (!_array[i].is_empty() && _array[i].method()->is_old()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
513 // Cache entry is occupied by an old redefined method and we don't want
a61af66fc99e Initial load
duke
parents:
diff changeset
514 // to pin it down so flush the entry.
48
d8b3ef7ee3e5 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 0
diff changeset
515 RC_TRACE(0x08000000, ("flush: %s(%s): cached entry @%d",
d8b3ef7ee3e5 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 0
diff changeset
516 _array[i].method()->name()->as_C_string(),
d8b3ef7ee3e5 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 0
diff changeset
517 _array[i].method()->signature()->as_C_string(), i));
d8b3ef7ee3e5 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 0
diff changeset
518
0
a61af66fc99e Initial load
duke
parents:
diff changeset
519 _array[i].flush();
a61af66fc99e Initial load
duke
parents:
diff changeset
520 }
a61af66fc99e Initial load
duke
parents:
diff changeset
521 }
a61af66fc99e Initial load
duke
parents:
diff changeset
522
a61af66fc99e Initial load
duke
parents:
diff changeset
523 void OopMapCache::lookup(methodHandle method,
a61af66fc99e Initial load
duke
parents:
diff changeset
524 int bci,
20501
c204e2044c29 8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents: 17937
diff changeset
525 InterpreterOopMap* entry_for) const {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
526 MutexLocker x(&_mut);
a61af66fc99e Initial load
duke
parents:
diff changeset
527
a61af66fc99e Initial load
duke
parents:
diff changeset
528 OopMapCacheEntry* entry = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
529 int probe = hash_value_for(method, bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
530
a61af66fc99e Initial load
duke
parents:
diff changeset
531 // Search hashtable for match
a61af66fc99e Initial load
duke
parents:
diff changeset
532 int i;
a61af66fc99e Initial load
duke
parents:
diff changeset
533 for(i = 0; i < _probe_depth; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
534 entry = entry_at(probe + i);
a61af66fc99e Initial load
duke
parents:
diff changeset
535 if (entry->match(method, bci)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
536 entry_for->resource_copy(entry);
a61af66fc99e Initial load
duke
parents:
diff changeset
537 assert(!entry_for->is_empty(), "A non-empty oop map should be returned");
a61af66fc99e Initial load
duke
parents:
diff changeset
538 return;
a61af66fc99e Initial load
duke
parents:
diff changeset
539 }
a61af66fc99e Initial load
duke
parents:
diff changeset
540 }
a61af66fc99e Initial load
duke
parents:
diff changeset
541
a61af66fc99e Initial load
duke
parents:
diff changeset
542 if (TraceOopMapGeneration) {
a61af66fc99e Initial load
duke
parents:
diff changeset
543 static int count = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
544 ResourceMark rm;
a61af66fc99e Initial load
duke
parents:
diff changeset
545 tty->print("%d - Computing oopmap at bci %d for ", ++count, bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
546 method->print_value(); tty->cr();
a61af66fc99e Initial load
duke
parents:
diff changeset
547 }
a61af66fc99e Initial load
duke
parents:
diff changeset
548
a61af66fc99e Initial load
duke
parents:
diff changeset
549 // Entry is not in hashtable.
a61af66fc99e Initial load
duke
parents:
diff changeset
550 // Compute entry and return it
a61af66fc99e Initial load
duke
parents:
diff changeset
551
48
d8b3ef7ee3e5 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 0
diff changeset
552 if (method->should_not_be_cached()) {
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6197
diff changeset
553 // It is either not safe or not a good idea to cache this Method*
48
d8b3ef7ee3e5 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 0
diff changeset
554 // at this time. We give the caller of lookup() a copy of the
d8b3ef7ee3e5 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 0
diff changeset
555 // interesting info via parameter entry_for, but we don't add it to
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6197
diff changeset
556 // the cache. See the gory details in Method*.cpp.
48
d8b3ef7ee3e5 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 0
diff changeset
557 compute_one_oop_map(method, bci, entry_for);
d8b3ef7ee3e5 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 0
diff changeset
558 return;
d8b3ef7ee3e5 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 0
diff changeset
559 }
d8b3ef7ee3e5 6599425: 4/3 OopMapCache::lookup() can cause later crash or assert() failure
dcubed
parents: 0
diff changeset
560
0
a61af66fc99e Initial load
duke
parents:
diff changeset
561 // First search for an empty slot
a61af66fc99e Initial load
duke
parents:
diff changeset
562 for(i = 0; i < _probe_depth; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
563 entry = entry_at(probe + i);
a61af66fc99e Initial load
duke
parents:
diff changeset
564 if (entry->is_empty()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
565 entry->fill(method, bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
566 entry_for->resource_copy(entry);
a61af66fc99e Initial load
duke
parents:
diff changeset
567 assert(!entry_for->is_empty(), "A non-empty oop map should be returned");
a61af66fc99e Initial load
duke
parents:
diff changeset
568 return;
a61af66fc99e Initial load
duke
parents:
diff changeset
569 }
a61af66fc99e Initial load
duke
parents:
diff changeset
570 }
a61af66fc99e Initial load
duke
parents:
diff changeset
571
a61af66fc99e Initial load
duke
parents:
diff changeset
572 if (TraceOopMapGeneration) {
a61af66fc99e Initial load
duke
parents:
diff changeset
573 ResourceMark rm;
a61af66fc99e Initial load
duke
parents:
diff changeset
574 tty->print_cr("*** collision in oopmap cache - flushing item ***");
a61af66fc99e Initial load
duke
parents:
diff changeset
575 }
a61af66fc99e Initial load
duke
parents:
diff changeset
576
a61af66fc99e Initial load
duke
parents:
diff changeset
577 // No empty slot (uncommon case). Use (some approximation of a) LRU algorithm
a61af66fc99e Initial load
duke
parents:
diff changeset
578 //entry_at(probe + _probe_depth - 1)->flush();
a61af66fc99e Initial load
duke
parents:
diff changeset
579 //for(i = _probe_depth - 1; i > 0; i--) {
a61af66fc99e Initial load
duke
parents:
diff changeset
580 // // Coping entry[i] = entry[i-1];
a61af66fc99e Initial load
duke
parents:
diff changeset
581 // OopMapCacheEntry *to = entry_at(probe + i);
a61af66fc99e Initial load
duke
parents:
diff changeset
582 // OopMapCacheEntry *from = entry_at(probe + i - 1);
a61af66fc99e Initial load
duke
parents:
diff changeset
583 // to->copy(from);
a61af66fc99e Initial load
duke
parents:
diff changeset
584 // }
a61af66fc99e Initial load
duke
parents:
diff changeset
585
a61af66fc99e Initial load
duke
parents:
diff changeset
586 assert(method->is_method(), "gaga");
a61af66fc99e Initial load
duke
parents:
diff changeset
587
a61af66fc99e Initial load
duke
parents:
diff changeset
588 entry = entry_at(probe + 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
589 entry->fill(method, bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
590
a61af66fc99e Initial load
duke
parents:
diff changeset
591 // Copy the newly cached entry to input parameter
a61af66fc99e Initial load
duke
parents:
diff changeset
592 entry_for->resource_copy(entry);
a61af66fc99e Initial load
duke
parents:
diff changeset
593
a61af66fc99e Initial load
duke
parents:
diff changeset
594 if (TraceOopMapGeneration) {
a61af66fc99e Initial load
duke
parents:
diff changeset
595 ResourceMark rm;
a61af66fc99e Initial load
duke
parents:
diff changeset
596 tty->print("Done with ");
a61af66fc99e Initial load
duke
parents:
diff changeset
597 method->print_value(); tty->cr();
a61af66fc99e Initial load
duke
parents:
diff changeset
598 }
a61af66fc99e Initial load
duke
parents:
diff changeset
599 assert(!entry_for->is_empty(), "A non-empty oop map should be returned");
a61af66fc99e Initial load
duke
parents:
diff changeset
600
a61af66fc99e Initial load
duke
parents:
diff changeset
601 return;
a61af66fc99e Initial load
duke
parents:
diff changeset
602 }
a61af66fc99e Initial load
duke
parents:
diff changeset
603
a61af66fc99e Initial load
duke
parents:
diff changeset
604 void OopMapCache::compute_one_oop_map(methodHandle method, int bci, InterpreterOopMap* entry) {
a61af66fc99e Initial load
duke
parents:
diff changeset
605 // Due to the invariants above it's tricky to allocate a temporary OopMapCacheEntry on the stack
6197
d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 1972
diff changeset
606 OopMapCacheEntry* tmp = NEW_C_HEAP_ARRAY(OopMapCacheEntry, 1, mtClass);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
607 tmp->initialize();
a61af66fc99e Initial load
duke
parents:
diff changeset
608 tmp->fill(method, bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
609 entry->resource_copy(tmp);
6197
d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 1972
diff changeset
610 FREE_C_HEAP_ARRAY(OopMapCacheEntry, tmp, mtInternal);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
611 }