Mercurial > hg > graal-jvmci-8
annotate src/share/vm/runtime/frame.cpp @ 10292:acac2b03a07f
8014765: VM exits if MaxTenuringThreshold is set below the default InitialTenuringThreshold, and InitialTenuringThreshold is not set
Summary: The VM exits when the condition in the subject line applies. The fix sets InitialTenuringThreshold to MaxTenuringThreshold if it is larger than MaxTenuringThreshold and InitialTenuringThreshold has not been set (is default).
Reviewed-by: jwilhelm, jmasa, brutisso, johnc
author | tschatzl |
---|---|
date | Thu, 16 May 2013 23:51:51 +0200 |
parents | c40fbf634c90 |
children | b9a918201d47 28e5aed7f3a6 0f03ff49c720 |
rev | line source |
---|---|
0 | 1 /* |
4806
eaa9557116a2
7120448: Fix FP values for compiled frames in frame::describe
bdelsart
parents:
4042
diff
changeset
|
2 * Copyright (c) 1997, 2012, Oracle and/or its affiliates. All rights reserved. |
0 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
18 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1513
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1513
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:
1513
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #include "precompiled.hpp" |
7199
cd3d6a6b95d9
8003240: x86: move MacroAssembler into separate file
twisti
parents:
6725
diff
changeset
|
26 #include "compiler/disassembler.hpp" |
1972 | 27 #include "gc_interface/collectedHeap.inline.hpp" |
28 #include "interpreter/interpreter.hpp" | |
29 #include "interpreter/oopMapCache.hpp" | |
30 #include "memory/resourceArea.hpp" | |
31 #include "memory/universe.inline.hpp" | |
32 #include "oops/markOop.hpp" | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
33 #include "oops/methodData.hpp" |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
34 #include "oops/method.hpp" |
1972 | 35 #include "oops/oop.inline.hpp" |
36 #include "oops/oop.inline2.hpp" | |
3363
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
3336
diff
changeset
|
37 #include "prims/methodHandles.hpp" |
1972 | 38 #include "runtime/frame.inline.hpp" |
39 #include "runtime/handles.inline.hpp" | |
40 #include "runtime/javaCalls.hpp" | |
41 #include "runtime/monitorChunk.hpp" | |
42 #include "runtime/sharedRuntime.hpp" | |
43 #include "runtime/signature.hpp" | |
44 #include "runtime/stubCodeGenerator.hpp" | |
45 #include "runtime/stubRoutines.hpp" | |
2022
2d4762ec74af
7003748: Decode C stack frames when symbols are presented (PhoneHome project)
zgu
parents:
1972
diff
changeset
|
46 #include "utilities/decoder.hpp" |
2d4762ec74af
7003748: Decode C stack frames when symbols are presented (PhoneHome project)
zgu
parents:
1972
diff
changeset
|
47 |
1972 | 48 #ifdef TARGET_ARCH_x86 |
49 # include "nativeInst_x86.hpp" | |
50 #endif | |
51 #ifdef TARGET_ARCH_sparc | |
52 # include "nativeInst_sparc.hpp" | |
53 #endif | |
54 #ifdef TARGET_ARCH_zero | |
55 # include "nativeInst_zero.hpp" | |
56 #endif | |
2192
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
2177
diff
changeset
|
57 #ifdef TARGET_ARCH_arm |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
2177
diff
changeset
|
58 # include "nativeInst_arm.hpp" |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
2177
diff
changeset
|
59 #endif |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
2177
diff
changeset
|
60 #ifdef TARGET_ARCH_ppc |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
2177
diff
changeset
|
61 # include "nativeInst_ppc.hpp" |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
2177
diff
changeset
|
62 #endif |
0 | 63 |
64 RegisterMap::RegisterMap(JavaThread *thread, bool update_map) { | |
65 _thread = thread; | |
66 _update_map = update_map; | |
67 clear(); | |
68 debug_only(_update_for_id = NULL;) | |
69 #ifndef PRODUCT | |
70 for (int i = 0; i < reg_count ; i++ ) _location[i] = NULL; | |
71 #endif /* PRODUCT */ | |
72 } | |
73 | |
74 RegisterMap::RegisterMap(const RegisterMap* map) { | |
75 assert(map != this, "bad initialization parameter"); | |
76 assert(map != NULL, "RegisterMap must be present"); | |
77 _thread = map->thread(); | |
78 _update_map = map->update_map(); | |
79 _include_argument_oops = map->include_argument_oops(); | |
80 debug_only(_update_for_id = map->_update_for_id;) | |
81 pd_initialize_from(map); | |
82 if (update_map()) { | |
83 for(int i = 0; i < location_valid_size; i++) { | |
84 LocationValidType bits = !update_map() ? 0 : map->_location_valid[i]; | |
85 _location_valid[i] = bits; | |
86 // for whichever bits are set, pull in the corresponding map->_location | |
87 int j = i*location_valid_type_size; | |
88 while (bits != 0) { | |
89 if ((bits & 1) != 0) { | |
90 assert(0 <= j && j < reg_count, "range check"); | |
91 _location[j] = map->_location[j]; | |
92 } | |
93 bits >>= 1; | |
94 j += 1; | |
95 } | |
96 } | |
97 } | |
98 } | |
99 | |
100 void RegisterMap::clear() { | |
101 set_include_argument_oops(true); | |
102 if (_update_map) { | |
103 for(int i = 0; i < location_valid_size; i++) { | |
104 _location_valid[i] = 0; | |
105 } | |
106 pd_clear(); | |
107 } else { | |
108 pd_initialize(); | |
109 } | |
110 } | |
111 | |
112 #ifndef PRODUCT | |
113 | |
114 void RegisterMap::print_on(outputStream* st) const { | |
115 st->print_cr("Register map"); | |
116 for(int i = 0; i < reg_count; i++) { | |
117 | |
118 VMReg r = VMRegImpl::as_VMReg(i); | |
119 intptr_t* src = (intptr_t*) location(r); | |
120 if (src != NULL) { | |
121 | |
417 | 122 r->print_on(st); |
123 st->print(" [" INTPTR_FORMAT "] = ", src); | |
0 | 124 if (((uintptr_t)src & (sizeof(*src)-1)) != 0) { |
417 | 125 st->print_cr("<misaligned>"); |
0 | 126 } else { |
417 | 127 st->print_cr(INTPTR_FORMAT, *src); |
0 | 128 } |
129 } | |
130 } | |
131 } | |
132 | |
133 void RegisterMap::print() const { | |
134 print_on(tty); | |
135 } | |
136 | |
137 #endif | |
138 // This returns the pc that if you were in the debugger you'd see. Not | |
139 // the idealized value in the frame object. This undoes the magic conversion | |
140 // that happens for deoptimized frames. In addition it makes the value the | |
141 // hardware would want to see in the native frame. The only user (at this point) | |
142 // is deoptimization. It likely no one else should ever use it. | |
143 | |
144 address frame::raw_pc() const { | |
145 if (is_deoptimized_frame()) { | |
1204 | 146 nmethod* nm = cb()->as_nmethod_or_null(); |
147 if (nm->is_method_handle_return(pc())) | |
148 return nm->deopt_mh_handler_begin() - pc_return_offset; | |
149 else | |
150 return nm->deopt_handler_begin() - pc_return_offset; | |
0 | 151 } else { |
152 return (pc() - pc_return_offset); | |
153 } | |
154 } | |
155 | |
156 // Change the pc in a frame object. This does not change the actual pc in | |
157 // actual frame. To do that use patch_pc. | |
158 // | |
159 void frame::set_pc(address newpc ) { | |
160 #ifdef ASSERT | |
161 if (_cb != NULL && _cb->is_nmethod()) { | |
162 assert(!((nmethod*)_cb)->is_deopt_pc(_pc), "invariant violation"); | |
163 } | |
164 #endif // ASSERT | |
165 | |
166 // Unsafe to use the is_deoptimzed tester after changing pc | |
167 _deopt_state = unknown; | |
168 _pc = newpc; | |
169 _cb = CodeCache::find_blob_unsafe(_pc); | |
170 | |
171 } | |
172 | |
173 // type testers | |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
4872
diff
changeset
|
174 bool frame::is_ignored_frame() const { |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
4872
diff
changeset
|
175 return false; // FIXME: some LambdaForm frames should be ignored |
3363
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
3336
diff
changeset
|
176 } |
0 | 177 bool frame::is_deoptimized_frame() const { |
178 assert(_deopt_state != unknown, "not answerable"); | |
179 return _deopt_state == is_deoptimized; | |
180 } | |
181 | |
182 bool frame::is_native_frame() const { | |
183 return (_cb != NULL && | |
184 _cb->is_nmethod() && | |
185 ((nmethod*)_cb)->is_native_method()); | |
186 } | |
187 | |
188 bool frame::is_java_frame() const { | |
189 if (is_interpreted_frame()) return true; | |
190 if (is_compiled_frame()) return true; | |
191 return false; | |
192 } | |
193 | |
194 | |
195 bool frame::is_compiled_frame() const { | |
196 if (_cb != NULL && | |
197 _cb->is_nmethod() && | |
198 ((nmethod*)_cb)->is_java_method()) { | |
199 return true; | |
200 } | |
201 return false; | |
202 } | |
203 | |
204 | |
205 bool frame::is_runtime_frame() const { | |
206 return (_cb != NULL && _cb->is_runtime_stub()); | |
207 } | |
208 | |
209 bool frame::is_safepoint_blob_frame() const { | |
210 return (_cb != NULL && _cb->is_safepoint_stub()); | |
211 } | |
212 | |
213 // testers | |
214 | |
215 bool frame::is_first_java_frame() const { | |
216 RegisterMap map(JavaThread::current(), false); // No update | |
217 frame s; | |
218 for (s = sender(&map); !(s.is_java_frame() || s.is_first_frame()); s = s.sender(&map)); | |
219 return s.is_first_frame(); | |
220 } | |
221 | |
222 | |
223 bool frame::entry_frame_is_first() const { | |
224 return entry_frame_call_wrapper()->anchor()->last_Java_sp() == NULL; | |
225 } | |
226 | |
227 | |
228 bool frame::should_be_deoptimized() const { | |
229 if (_deopt_state == is_deoptimized || | |
230 !is_compiled_frame() ) return false; | |
231 assert(_cb != NULL && _cb->is_nmethod(), "must be an nmethod"); | |
232 nmethod* nm = (nmethod *)_cb; | |
233 if (TraceDependencies) { | |
234 tty->print("checking (%s) ", nm->is_marked_for_deoptimization() ? "true" : "false"); | |
235 nm->print_value_on(tty); | |
236 tty->cr(); | |
237 } | |
238 | |
239 if( !nm->is_marked_for_deoptimization() ) | |
240 return false; | |
241 | |
242 // If at the return point, then the frame has already been popped, and | |
243 // only the return needs to be executed. Don't deoptimize here. | |
244 return !nm->is_at_poll_return(pc()); | |
245 } | |
246 | |
247 bool frame::can_be_deoptimized() const { | |
248 if (!is_compiled_frame()) return false; | |
249 nmethod* nm = (nmethod*)_cb; | |
250 | |
251 if( !nm->can_be_deoptimized() ) | |
252 return false; | |
253 | |
254 return !nm->is_at_poll_return(pc()); | |
255 } | |
256 | |
1727
da877bdc9000
6975006: assert(check.is_deoptimized_frame()) failed: missed deopt
never
parents:
1692
diff
changeset
|
257 void frame::deoptimize(JavaThread* thread) { |
da877bdc9000
6975006: assert(check.is_deoptimized_frame()) failed: missed deopt
never
parents:
1692
diff
changeset
|
258 // Schedule deoptimization of an nmethod activation with this frame. |
0 | 259 assert(_cb != NULL && _cb->is_nmethod(), "must be"); |
260 nmethod* nm = (nmethod*)_cb; | |
261 | |
262 // This is a fix for register window patching race | |
1727
da877bdc9000
6975006: assert(check.is_deoptimized_frame()) failed: missed deopt
never
parents:
1692
diff
changeset
|
263 if (NeedsDeoptSuspend && Thread::current() != thread) { |
da877bdc9000
6975006: assert(check.is_deoptimized_frame()) failed: missed deopt
never
parents:
1692
diff
changeset
|
264 assert(SafepointSynchronize::is_at_safepoint(), |
da877bdc9000
6975006: assert(check.is_deoptimized_frame()) failed: missed deopt
never
parents:
1692
diff
changeset
|
265 "patching other threads for deopt may only occur at a safepoint"); |
0 | 266 |
267 // It is possible especially with DeoptimizeALot/DeoptimizeRandom that | |
268 // we could see the frame again and ask for it to be deoptimized since | |
269 // it might move for a long time. That is harmless and we just ignore it. | |
270 if (id() == thread->must_deopt_id()) { | |
271 assert(thread->is_deopt_suspend(), "lost suspension"); | |
272 return; | |
273 } | |
274 | |
275 // We are at a safepoint so the target thread can only be | |
276 // in 4 states: | |
277 // blocked - no problem | |
278 // blocked_trans - no problem (i.e. could have woken up from blocked | |
279 // during a safepoint). | |
280 // native - register window pc patching race | |
281 // native_trans - momentary state | |
282 // | |
283 // We could just wait out a thread in native_trans to block. | |
284 // Then we'd have all the issues that the safepoint code has as to | |
285 // whether to spin or block. It isn't worth it. Just treat it like | |
286 // native and be done with it. | |
287 // | |
1727
da877bdc9000
6975006: assert(check.is_deoptimized_frame()) failed: missed deopt
never
parents:
1692
diff
changeset
|
288 // Examine the state of the thread at the start of safepoint since |
da877bdc9000
6975006: assert(check.is_deoptimized_frame()) failed: missed deopt
never
parents:
1692
diff
changeset
|
289 // threads that were in native at the start of the safepoint could |
da877bdc9000
6975006: assert(check.is_deoptimized_frame()) failed: missed deopt
never
parents:
1692
diff
changeset
|
290 // come to a halt during the safepoint, changing the current value |
da877bdc9000
6975006: assert(check.is_deoptimized_frame()) failed: missed deopt
never
parents:
1692
diff
changeset
|
291 // of the safepoint_state. |
da877bdc9000
6975006: assert(check.is_deoptimized_frame()) failed: missed deopt
never
parents:
1692
diff
changeset
|
292 JavaThreadState state = thread->safepoint_state()->orig_thread_state(); |
0 | 293 if (state == _thread_in_native || state == _thread_in_native_trans) { |
294 // Since we are at a safepoint the target thread will stop itself | |
295 // before it can return to java as long as we remain at the safepoint. | |
296 // Therefore we can put an additional request for the thread to stop | |
297 // no matter what no (like a suspend). This will cause the thread | |
298 // to notice it needs to do the deopt on its own once it leaves native. | |
299 // | |
300 // The only reason we must do this is because on machine with register | |
301 // windows we have a race with patching the return address and the | |
302 // window coming live as the thread returns to the Java code (but still | |
303 // in native mode) and then blocks. It is only this top most frame | |
304 // that is at risk. So in truth we could add an additional check to | |
305 // see if this frame is one that is at risk. | |
306 RegisterMap map(thread, false); | |
307 frame at_risk = thread->last_frame().sender(&map); | |
308 if (id() == at_risk.id()) { | |
309 thread->set_must_deopt_id(id()); | |
310 thread->set_deopt_suspend(); | |
311 return; | |
312 } | |
313 } | |
314 } // NeedsDeoptSuspend | |
315 | |
316 | |
1204 | 317 // If the call site is a MethodHandle call site use the MH deopt |
318 // handler. | |
319 address deopt = nm->is_method_handle_return(pc()) ? | |
320 nm->deopt_mh_handler_begin() : | |
321 nm->deopt_handler_begin(); | |
322 | |
0 | 323 // Save the original pc before we patch in the new one |
324 nm->set_original_pc(this, pc()); | |
325 patch_pc(thread, deopt); | |
1204 | 326 |
0 | 327 #ifdef ASSERT |
328 { | |
329 RegisterMap map(thread, false); | |
330 frame check = thread->last_frame(); | |
331 while (id() != check.id()) { | |
332 check = check.sender(&map); | |
333 } | |
334 assert(check.is_deoptimized_frame(), "missed deopt"); | |
335 } | |
336 #endif // ASSERT | |
337 } | |
338 | |
339 frame frame::java_sender() const { | |
340 RegisterMap map(JavaThread::current(), false); | |
341 frame s; | |
342 for (s = sender(&map); !(s.is_java_frame() || s.is_first_frame()); s = s.sender(&map)) ; | |
343 guarantee(s.is_java_frame(), "tried to get caller of first java frame"); | |
344 return s; | |
345 } | |
346 | |
347 frame frame::real_sender(RegisterMap* map) const { | |
348 frame result = sender(map); | |
3363
167b70ff3abc
6939861: JVM should handle more conversion operations
never
parents:
3336
diff
changeset
|
349 while (result.is_runtime_frame() || |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
4872
diff
changeset
|
350 result.is_ignored_frame()) { |
0 | 351 result = result.sender(map); |
352 } | |
353 return result; | |
354 } | |
355 | |
356 // Note: called by profiler - NOT for current thread | |
357 frame frame::profile_find_Java_sender_frame(JavaThread *thread) { | |
358 // If we don't recognize this frame, walk back up the stack until we do | |
359 RegisterMap map(thread, false); | |
360 frame first_java_frame = frame(); | |
361 | |
362 // Find the first Java frame on the stack starting with input frame | |
363 if (is_java_frame()) { | |
364 // top frame is compiled frame or deoptimized frame | |
365 first_java_frame = *this; | |
366 } else if (safe_for_sender(thread)) { | |
367 for (frame sender_frame = sender(&map); | |
368 sender_frame.safe_for_sender(thread) && !sender_frame.is_first_frame(); | |
369 sender_frame = sender_frame.sender(&map)) { | |
370 if (sender_frame.is_java_frame()) { | |
371 first_java_frame = sender_frame; | |
372 break; | |
373 } | |
374 } | |
375 } | |
376 return first_java_frame; | |
377 } | |
378 | |
379 // Interpreter frames | |
380 | |
381 | |
382 void frame::interpreter_frame_set_locals(intptr_t* locs) { | |
383 assert(is_interpreted_frame(), "Not an interpreted frame"); | |
384 *interpreter_frame_locals_addr() = locs; | |
385 } | |
386 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
387 Method* frame::interpreter_frame_method() const { |
0 | 388 assert(is_interpreted_frame(), "interpreted frame expected"); |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
389 Method* m = *interpreter_frame_method_addr(); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
390 assert(m->is_metadata(), "bad Method* in interpreter frame"); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
391 assert(m->is_method(), "not a Method*"); |
0 | 392 return m; |
393 } | |
394 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
395 void frame::interpreter_frame_set_method(Method* method) { |
0 | 396 assert(is_interpreted_frame(), "interpreted frame expected"); |
397 *interpreter_frame_method_addr() = method; | |
398 } | |
399 | |
400 void frame::interpreter_frame_set_bcx(intptr_t bcx) { | |
401 assert(is_interpreted_frame(), "Not an interpreted frame"); | |
402 if (ProfileInterpreter) { | |
403 bool formerly_bci = is_bci(interpreter_frame_bcx()); | |
404 bool is_now_bci = is_bci(bcx); | |
405 *interpreter_frame_bcx_addr() = bcx; | |
406 | |
407 intptr_t mdx = interpreter_frame_mdx(); | |
408 | |
409 if (mdx != 0) { | |
410 if (formerly_bci) { | |
411 if (!is_now_bci) { | |
412 // The bcx was just converted from bci to bcp. | |
413 // Convert the mdx in parallel. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
414 MethodData* mdo = interpreter_frame_method()->method_data(); |
0 | 415 assert(mdo != NULL, ""); |
416 int mdi = mdx - 1; // We distinguish valid mdi from zero by adding one. | |
417 address mdp = mdo->di_to_dp(mdi); | |
418 interpreter_frame_set_mdx((intptr_t)mdp); | |
419 } | |
420 } else { | |
421 if (is_now_bci) { | |
422 // The bcx was just converted from bcp to bci. | |
423 // Convert the mdx in parallel. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
424 MethodData* mdo = interpreter_frame_method()->method_data(); |
0 | 425 assert(mdo != NULL, ""); |
426 int mdi = mdo->dp_to_di((address)mdx); | |
427 interpreter_frame_set_mdx((intptr_t)mdi + 1); // distinguish valid from 0. | |
428 } | |
429 } | |
430 } | |
431 } else { | |
432 *interpreter_frame_bcx_addr() = bcx; | |
433 } | |
434 } | |
435 | |
436 jint frame::interpreter_frame_bci() const { | |
437 assert(is_interpreted_frame(), "interpreted frame expected"); | |
438 intptr_t bcx = interpreter_frame_bcx(); | |
439 return is_bci(bcx) ? bcx : interpreter_frame_method()->bci_from((address)bcx); | |
440 } | |
441 | |
442 void frame::interpreter_frame_set_bci(jint bci) { | |
443 assert(is_interpreted_frame(), "interpreted frame expected"); | |
444 assert(!is_bci(interpreter_frame_bcx()), "should not set bci during GC"); | |
445 interpreter_frame_set_bcx((intptr_t)interpreter_frame_method()->bcp_from(bci)); | |
446 } | |
447 | |
448 address frame::interpreter_frame_bcp() const { | |
449 assert(is_interpreted_frame(), "interpreted frame expected"); | |
450 intptr_t bcx = interpreter_frame_bcx(); | |
451 return is_bci(bcx) ? interpreter_frame_method()->bcp_from(bcx) : (address)bcx; | |
452 } | |
453 | |
454 void frame::interpreter_frame_set_bcp(address bcp) { | |
455 assert(is_interpreted_frame(), "interpreted frame expected"); | |
456 assert(!is_bci(interpreter_frame_bcx()), "should not set bcp during GC"); | |
457 interpreter_frame_set_bcx((intptr_t)bcp); | |
458 } | |
459 | |
460 void frame::interpreter_frame_set_mdx(intptr_t mdx) { | |
461 assert(is_interpreted_frame(), "Not an interpreted frame"); | |
462 assert(ProfileInterpreter, "must be profiling interpreter"); | |
463 *interpreter_frame_mdx_addr() = mdx; | |
464 } | |
465 | |
466 address frame::interpreter_frame_mdp() const { | |
467 assert(ProfileInterpreter, "must be profiling interpreter"); | |
468 assert(is_interpreted_frame(), "interpreted frame expected"); | |
469 intptr_t bcx = interpreter_frame_bcx(); | |
470 intptr_t mdx = interpreter_frame_mdx(); | |
471 | |
472 assert(!is_bci(bcx), "should not access mdp during GC"); | |
473 return (address)mdx; | |
474 } | |
475 | |
476 void frame::interpreter_frame_set_mdp(address mdp) { | |
477 assert(is_interpreted_frame(), "interpreted frame expected"); | |
478 if (mdp == NULL) { | |
479 // Always allow the mdp to be cleared. | |
480 interpreter_frame_set_mdx((intptr_t)mdp); | |
481 } | |
482 intptr_t bcx = interpreter_frame_bcx(); | |
483 assert(!is_bci(bcx), "should not set mdp during GC"); | |
484 interpreter_frame_set_mdx((intptr_t)mdp); | |
485 } | |
486 | |
487 BasicObjectLock* frame::next_monitor_in_interpreter_frame(BasicObjectLock* current) const { | |
488 assert(is_interpreted_frame(), "Not an interpreted frame"); | |
489 #ifdef ASSERT | |
490 interpreter_frame_verify_monitor(current); | |
491 #endif | |
492 BasicObjectLock* next = (BasicObjectLock*) (((intptr_t*) current) + interpreter_frame_monitor_size()); | |
493 return next; | |
494 } | |
495 | |
496 BasicObjectLock* frame::previous_monitor_in_interpreter_frame(BasicObjectLock* current) const { | |
497 assert(is_interpreted_frame(), "Not an interpreted frame"); | |
498 #ifdef ASSERT | |
499 // // This verification needs to be checked before being enabled | |
500 // interpreter_frame_verify_monitor(current); | |
501 #endif | |
502 BasicObjectLock* previous = (BasicObjectLock*) (((intptr_t*) current) - interpreter_frame_monitor_size()); | |
503 return previous; | |
504 } | |
505 | |
506 // Interpreter locals and expression stack locations. | |
507 | |
508 intptr_t* frame::interpreter_frame_local_at(int index) const { | |
509 const int n = Interpreter::local_offset_in_bytes(index)/wordSize; | |
510 return &((*interpreter_frame_locals_addr())[n]); | |
511 } | |
512 | |
513 intptr_t* frame::interpreter_frame_expression_stack_at(jint offset) const { | |
514 const int i = offset * interpreter_frame_expression_stack_direction(); | |
1506 | 515 const int n = i * Interpreter::stackElementWords; |
0 | 516 return &(interpreter_frame_expression_stack()[n]); |
517 } | |
518 | |
519 jint frame::interpreter_frame_expression_stack_size() const { | |
520 // Number of elements on the interpreter expression stack | |
521 // Callers should span by stackElementWords | |
1506 | 522 int element_size = Interpreter::stackElementWords; |
0 | 523 if (frame::interpreter_frame_expression_stack_direction() < 0) { |
524 return (interpreter_frame_expression_stack() - | |
525 interpreter_frame_tos_address() + 1)/element_size; | |
526 } else { | |
527 return (interpreter_frame_tos_address() - | |
528 interpreter_frame_expression_stack() + 1)/element_size; | |
529 } | |
530 } | |
531 | |
532 | |
533 // (frame::interpreter_frame_sender_sp accessor is in frame_<arch>.cpp) | |
534 | |
535 const char* frame::print_name() const { | |
536 if (is_native_frame()) return "Native"; | |
537 if (is_interpreted_frame()) return "Interpreted"; | |
538 if (is_compiled_frame()) { | |
539 if (is_deoptimized_frame()) return "Deoptimized"; | |
540 return "Compiled"; | |
541 } | |
542 if (sp() == NULL) return "Empty"; | |
543 return "C"; | |
544 } | |
545 | |
546 void frame::print_value_on(outputStream* st, JavaThread *thread) const { | |
547 NOT_PRODUCT(address begin = pc()-40;) | |
548 NOT_PRODUCT(address end = NULL;) | |
549 | |
550 st->print("%s frame (sp=" INTPTR_FORMAT " unextended sp=" INTPTR_FORMAT, print_name(), sp(), unextended_sp()); | |
551 if (sp() != NULL) | |
552 st->print(", fp=" INTPTR_FORMAT ", pc=" INTPTR_FORMAT, fp(), pc()); | |
553 | |
554 if (StubRoutines::contains(pc())) { | |
555 st->print_cr(")"); | |
556 st->print("("); | |
557 StubCodeDesc* desc = StubCodeDesc::desc_for(pc()); | |
558 st->print("~Stub::%s", desc->name()); | |
559 NOT_PRODUCT(begin = desc->begin(); end = desc->end();) | |
560 } else if (Interpreter::contains(pc())) { | |
561 st->print_cr(")"); | |
562 st->print("("); | |
563 InterpreterCodelet* desc = Interpreter::codelet_containing(pc()); | |
564 if (desc != NULL) { | |
565 st->print("~"); | |
4872
aa3d708d67c4
7141200: log some interesting information in ring buffers for crashes
never
parents:
4824
diff
changeset
|
566 desc->print_on(st); |
0 | 567 NOT_PRODUCT(begin = desc->code_begin(); end = desc->code_end();) |
568 } else { | |
569 st->print("~interpreter"); | |
570 } | |
571 } | |
572 st->print_cr(")"); | |
573 | |
574 if (_cb != NULL) { | |
575 st->print(" "); | |
576 _cb->print_value_on(st); | |
577 st->cr(); | |
578 #ifndef PRODUCT | |
579 if (end == NULL) { | |
1748 | 580 begin = _cb->code_begin(); |
581 end = _cb->code_end(); | |
0 | 582 } |
583 #endif | |
584 } | |
585 NOT_PRODUCT(if (WizardMode && Verbose) Disassembler::decode(begin, end);) | |
586 } | |
587 | |
588 | |
589 void frame::print_on(outputStream* st) const { | |
590 print_value_on(st,NULL); | |
591 if (is_interpreted_frame()) { | |
592 interpreter_frame_print_on(st); | |
593 } | |
594 } | |
595 | |
596 | |
597 void frame::interpreter_frame_print_on(outputStream* st) const { | |
598 #ifndef PRODUCT | |
599 assert(is_interpreted_frame(), "Not an interpreted frame"); | |
600 jint i; | |
601 for (i = 0; i < interpreter_frame_method()->max_locals(); i++ ) { | |
602 intptr_t x = *interpreter_frame_local_at(i); | |
603 st->print(" - local [" INTPTR_FORMAT "]", x); | |
604 st->fill_to(23); | |
605 st->print_cr("; #%d", i); | |
606 } | |
607 for (i = interpreter_frame_expression_stack_size() - 1; i >= 0; --i ) { | |
608 intptr_t x = *interpreter_frame_expression_stack_at(i); | |
609 st->print(" - stack [" INTPTR_FORMAT "]", x); | |
610 st->fill_to(23); | |
611 st->print_cr("; #%d", i); | |
612 } | |
613 // locks for synchronization | |
614 for (BasicObjectLock* current = interpreter_frame_monitor_end(); | |
615 current < interpreter_frame_monitor_begin(); | |
616 current = next_monitor_in_interpreter_frame(current)) { | |
1255
e3a4305c6bc3
6925249: assert(last_sp < (intptr_t*) interpreter_frame_monitor_begin(),"bad tos")
kvn
parents:
1204
diff
changeset
|
617 st->print(" - obj ["); |
0 | 618 current->obj()->print_value_on(st); |
1255
e3a4305c6bc3
6925249: assert(last_sp < (intptr_t*) interpreter_frame_monitor_begin(),"bad tos")
kvn
parents:
1204
diff
changeset
|
619 st->print_cr("]"); |
e3a4305c6bc3
6925249: assert(last_sp < (intptr_t*) interpreter_frame_monitor_begin(),"bad tos")
kvn
parents:
1204
diff
changeset
|
620 st->print(" - lock ["); |
0 | 621 current->lock()->print_on(st); |
1255
e3a4305c6bc3
6925249: assert(last_sp < (intptr_t*) interpreter_frame_monitor_begin(),"bad tos")
kvn
parents:
1204
diff
changeset
|
622 st->print_cr("]"); |
0 | 623 } |
624 // monitor | |
625 st->print_cr(" - monitor[" INTPTR_FORMAT "]", interpreter_frame_monitor_begin()); | |
626 // bcp | |
627 st->print(" - bcp [" INTPTR_FORMAT "]", interpreter_frame_bcp()); | |
628 st->fill_to(23); | |
629 st->print_cr("; @%d", interpreter_frame_bci()); | |
630 // locals | |
631 st->print_cr(" - locals [" INTPTR_FORMAT "]", interpreter_frame_local_at(0)); | |
632 // method | |
633 st->print(" - method [" INTPTR_FORMAT "]", (address)interpreter_frame_method()); | |
634 st->fill_to(23); | |
635 st->print("; "); | |
636 interpreter_frame_method()->print_name(st); | |
637 st->cr(); | |
638 #endif | |
639 } | |
640 | |
641 // Return whether the frame is in the VM or os indicating a Hotspot problem. | |
642 // Otherwise, it's likely a bug in the native library that the Java code calls, | |
643 // hopefully indicating where to submit bugs. | |
644 static void print_C_frame(outputStream* st, char* buf, int buflen, address pc) { | |
645 // C/C++ frame | |
646 bool in_vm = os::address_is_in_vm(pc); | |
647 st->print(in_vm ? "V" : "C"); | |
648 | |
649 int offset; | |
650 bool found; | |
651 | |
652 // libname | |
653 found = os::dll_address_to_library_name(pc, buf, buflen, &offset); | |
654 if (found) { | |
655 // skip directory names | |
656 const char *p1, *p2; | |
657 p1 = buf; | |
658 int len = (int)strlen(os::file_separator()); | |
659 while ((p2 = strstr(p1, os::file_separator())) != NULL) p1 = p2 + len; | |
660 st->print(" [%s+0x%x]", p1, offset); | |
661 } else { | |
662 st->print(" " PTR_FORMAT, pc); | |
663 } | |
664 | |
665 // function name - os::dll_address_to_function_name() may return confusing | |
666 // names if pc is within jvm.dll or libjvm.so, because JVM only has | |
667 // JVM_xxxx and a few other symbols in the dynamic symbol table. Do this | |
668 // only for native libraries. | |
2022
2d4762ec74af
7003748: Decode C stack frames when symbols are presented (PhoneHome project)
zgu
parents:
1972
diff
changeset
|
669 if (!in_vm || Decoder::can_decode_C_frame_in_vm()) { |
0 | 670 found = os::dll_address_to_function_name(pc, buf, buflen, &offset); |
671 | |
672 if (found) { | |
673 st->print(" %s+0x%x", buf, offset); | |
674 } | |
675 } | |
676 } | |
677 | |
678 // frame::print_on_error() is called by fatal error handler. Notice that we may | |
679 // crash inside this function if stack frame is corrupted. The fatal error | |
680 // handler can catch and handle the crash. Here we assume the frame is valid. | |
681 // | |
682 // First letter indicates type of the frame: | |
683 // J: Java frame (compiled) | |
684 // j: Java frame (interpreted) | |
685 // V: VM frame (C/C++) | |
686 // v: Other frames running VM generated code (e.g. stubs, adapters, etc.) | |
687 // C: C/C++ frame | |
688 // | |
689 // We don't need detailed frame type as that in frame::print_name(). "C" | |
690 // suggests the problem is in user lib; everything else is likely a VM bug. | |
691 | |
692 void frame::print_on_error(outputStream* st, char* buf, int buflen, bool verbose) const { | |
693 if (_cb != NULL) { | |
694 if (Interpreter::contains(pc())) { | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
695 Method* m = this->interpreter_frame_method(); |
0 | 696 if (m != NULL) { |
697 m->name_and_sig_as_C_string(buf, buflen); | |
698 st->print("j %s", buf); | |
699 st->print("+%d", this->interpreter_frame_bci()); | |
700 } else { | |
701 st->print("j " PTR_FORMAT, pc()); | |
702 } | |
703 } else if (StubRoutines::contains(pc())) { | |
704 StubCodeDesc* desc = StubCodeDesc::desc_for(pc()); | |
705 if (desc != NULL) { | |
706 st->print("v ~StubRoutines::%s", desc->name()); | |
707 } else { | |
708 st->print("v ~StubRoutines::" PTR_FORMAT, pc()); | |
709 } | |
710 } else if (_cb->is_buffer_blob()) { | |
711 st->print("v ~BufferBlob::%s", ((BufferBlob *)_cb)->name()); | |
712 } else if (_cb->is_nmethod()) { | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
713 Method* m = ((nmethod *)_cb)->method(); |
0 | 714 if (m != NULL) { |
715 m->name_and_sig_as_C_string(buf, buflen); | |
716 st->print("J %s", buf); | |
717 } else { | |
718 st->print("J " PTR_FORMAT, pc()); | |
719 } | |
720 } else if (_cb->is_runtime_stub()) { | |
721 st->print("v ~RuntimeStub::%s", ((RuntimeStub *)_cb)->name()); | |
722 } else if (_cb->is_deoptimization_stub()) { | |
723 st->print("v ~DeoptimizationBlob"); | |
724 } else if (_cb->is_exception_stub()) { | |
725 st->print("v ~ExceptionBlob"); | |
726 } else if (_cb->is_safepoint_stub()) { | |
727 st->print("v ~SafepointBlob"); | |
728 } else { | |
729 st->print("v blob " PTR_FORMAT, pc()); | |
730 } | |
731 } else { | |
732 print_C_frame(st, buf, buflen, pc()); | |
733 } | |
734 } | |
735 | |
736 | |
737 /* | |
738 The interpreter_frame_expression_stack_at method in the case of SPARC needs the | |
739 max_stack value of the method in order to compute the expression stack address. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
740 It uses the Method* in order to get the max_stack value but during GC this |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
741 Method* value saved on the frame is changed by reverse_and_push and hence cannot |
0 | 742 be used. So we save the max_stack value in the FrameClosure object and pass it |
743 down to the interpreter_frame_expression_stack_at method | |
744 */ | |
745 class InterpreterFrameClosure : public OffsetClosure { | |
746 private: | |
747 frame* _fr; | |
748 OopClosure* _f; | |
749 int _max_locals; | |
750 int _max_stack; | |
751 | |
752 public: | |
753 InterpreterFrameClosure(frame* fr, int max_locals, int max_stack, | |
754 OopClosure* f) { | |
755 _fr = fr; | |
756 _max_locals = max_locals; | |
757 _max_stack = max_stack; | |
758 _f = f; | |
759 } | |
760 | |
761 void offset_do(int offset) { | |
762 oop* addr; | |
763 if (offset < _max_locals) { | |
764 addr = (oop*) _fr->interpreter_frame_local_at(offset); | |
765 assert((intptr_t*)addr >= _fr->sp(), "must be inside the frame"); | |
766 _f->do_oop(addr); | |
767 } else { | |
768 addr = (oop*) _fr->interpreter_frame_expression_stack_at((offset - _max_locals)); | |
769 // In case of exceptions, the expression stack is invalid and the esp will be reset to express | |
770 // this condition. Therefore, we call f only if addr is 'inside' the stack (i.e., addr >= esp for Intel). | |
771 bool in_stack; | |
772 if (frame::interpreter_frame_expression_stack_direction() > 0) { | |
773 in_stack = (intptr_t*)addr <= _fr->interpreter_frame_tos_address(); | |
774 } else { | |
775 in_stack = (intptr_t*)addr >= _fr->interpreter_frame_tos_address(); | |
776 } | |
777 if (in_stack) { | |
778 _f->do_oop(addr); | |
779 } | |
780 } | |
781 } | |
782 | |
783 int max_locals() { return _max_locals; } | |
784 frame* fr() { return _fr; } | |
785 }; | |
786 | |
787 | |
788 class InterpretedArgumentOopFinder: public SignatureInfo { | |
789 private: | |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
989
diff
changeset
|
790 OopClosure* _f; // Closure to invoke |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
989
diff
changeset
|
791 int _offset; // TOS-relative offset, decremented with each argument |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
989
diff
changeset
|
792 bool _has_receiver; // true if the callee has a receiver |
0 | 793 frame* _fr; |
794 | |
795 void set(int size, BasicType type) { | |
796 _offset -= size; | |
797 if (type == T_OBJECT || type == T_ARRAY) oop_offset_do(); | |
798 } | |
799 | |
800 void oop_offset_do() { | |
801 oop* addr; | |
802 addr = (oop*)_fr->interpreter_frame_tos_at(_offset); | |
803 _f->do_oop(addr); | |
804 } | |
805 | |
806 public: | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
807 InterpretedArgumentOopFinder(Symbol* signature, bool has_receiver, frame* fr, OopClosure* f) : SignatureInfo(signature), _has_receiver(has_receiver) { |
0 | 808 // compute size of arguments |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
989
diff
changeset
|
809 int args_size = ArgumentSizeComputer(signature).size() + (has_receiver ? 1 : 0); |
0 | 810 assert(!fr->is_interpreted_frame() || |
811 args_size <= fr->interpreter_frame_expression_stack_size(), | |
812 "args cannot be on stack anymore"); | |
813 // initialize InterpretedArgumentOopFinder | |
814 _f = f; | |
815 _fr = fr; | |
816 _offset = args_size; | |
817 } | |
818 | |
819 void oops_do() { | |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
989
diff
changeset
|
820 if (_has_receiver) { |
0 | 821 --_offset; |
822 oop_offset_do(); | |
823 } | |
824 iterate_parameters(); | |
825 } | |
826 }; | |
827 | |
828 | |
829 // Entry frame has following form (n arguments) | |
830 // +-----------+ | |
831 // sp -> | last arg | | |
832 // +-----------+ | |
833 // : ::: : | |
834 // +-----------+ | |
835 // (sp+n)->| first arg| | |
836 // +-----------+ | |
837 | |
838 | |
839 | |
840 // visits and GC's all the arguments in entry frame | |
841 class EntryFrameOopFinder: public SignatureInfo { | |
842 private: | |
843 bool _is_static; | |
844 int _offset; | |
845 frame* _fr; | |
846 OopClosure* _f; | |
847 | |
848 void set(int size, BasicType type) { | |
849 assert (_offset >= 0, "illegal offset"); | |
850 if (type == T_OBJECT || type == T_ARRAY) oop_at_offset_do(_offset); | |
851 _offset -= size; | |
852 } | |
853 | |
854 void oop_at_offset_do(int offset) { | |
1489
cff162798819
6888953: some calls to function-like macros are missing semicolons
jcoomes
parents:
1255
diff
changeset
|
855 assert (offset >= 0, "illegal offset"); |
0 | 856 oop* addr = (oop*) _fr->entry_frame_argument_at(offset); |
857 _f->do_oop(addr); | |
858 } | |
859 | |
860 public: | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
861 EntryFrameOopFinder(frame* frame, Symbol* signature, bool is_static) : SignatureInfo(signature) { |
0 | 862 _f = NULL; // will be set later |
863 _fr = frame; | |
864 _is_static = is_static; | |
865 _offset = ArgumentSizeComputer(signature).size() - 1; // last parameter is at index 0 | |
866 } | |
867 | |
868 void arguments_do(OopClosure* f) { | |
869 _f = f; | |
870 if (!_is_static) oop_at_offset_do(_offset+1); // do the receiver | |
871 iterate_parameters(); | |
872 } | |
873 | |
874 }; | |
875 | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
876 oop* frame::interpreter_callee_receiver_addr(Symbol* signature) { |
0 | 877 ArgumentSizeComputer asc(signature); |
878 int size = asc.size(); | |
879 return (oop *)interpreter_frame_tos_at(size); | |
880 } | |
881 | |
882 | |
7179
d0aa87f04bd5
8003720: NPG: Method in interpreter stack frame can be deallocated
stefank
parents:
6725
diff
changeset
|
883 void frame::oops_interpreted_do(OopClosure* f, CLDToOopClosure* cld_f, |
d0aa87f04bd5
8003720: NPG: Method in interpreter stack frame can be deallocated
stefank
parents:
6725
diff
changeset
|
884 const RegisterMap* map, bool query_oop_map_cache) { |
0 | 885 assert(is_interpreted_frame(), "Not an interpreted frame"); |
886 assert(map != NULL, "map must be set"); | |
887 Thread *thread = Thread::current(); | |
888 methodHandle m (thread, interpreter_frame_method()); | |
889 jint bci = interpreter_frame_bci(); | |
890 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
891 assert(!Universe::heap()->is_in(m()), |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
892 "must be valid oop"); |
0 | 893 assert(m->is_method(), "checking frame value"); |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
894 assert((m->is_native() && bci == 0) || |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
895 (!m->is_native() && bci >= 0 && bci < m->code_size()), |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
896 "invalid bci value"); |
0 | 897 |
898 // Handle the monitor elements in the activation | |
899 for ( | |
900 BasicObjectLock* current = interpreter_frame_monitor_end(); | |
901 current < interpreter_frame_monitor_begin(); | |
902 current = next_monitor_in_interpreter_frame(current) | |
903 ) { | |
904 #ifdef ASSERT | |
905 interpreter_frame_verify_monitor(current); | |
906 #endif | |
907 current->oops_do(f); | |
908 } | |
909 | |
910 // process fixed part | |
7179
d0aa87f04bd5
8003720: NPG: Method in interpreter stack frame can be deallocated
stefank
parents:
6725
diff
changeset
|
911 if (cld_f != NULL) { |
d0aa87f04bd5
8003720: NPG: Method in interpreter stack frame can be deallocated
stefank
parents:
6725
diff
changeset
|
912 // The method pointer in the frame might be the only path to the method's |
d0aa87f04bd5
8003720: NPG: Method in interpreter stack frame can be deallocated
stefank
parents:
6725
diff
changeset
|
913 // klass, and the klass needs to be kept alive while executing. The GCs |
d0aa87f04bd5
8003720: NPG: Method in interpreter stack frame can be deallocated
stefank
parents:
6725
diff
changeset
|
914 // don't trace through method pointers, so typically in similar situations |
d0aa87f04bd5
8003720: NPG: Method in interpreter stack frame can be deallocated
stefank
parents:
6725
diff
changeset
|
915 // the mirror or the class loader of the klass are installed as a GC root. |
d0aa87f04bd5
8003720: NPG: Method in interpreter stack frame can be deallocated
stefank
parents:
6725
diff
changeset
|
916 // To minimze the overhead of doing that here, we ask the GC to pass down a |
d0aa87f04bd5
8003720: NPG: Method in interpreter stack frame can be deallocated
stefank
parents:
6725
diff
changeset
|
917 // closure that knows how to keep klasses alive given a ClassLoaderData. |
d0aa87f04bd5
8003720: NPG: Method in interpreter stack frame can be deallocated
stefank
parents:
6725
diff
changeset
|
918 cld_f->do_cld(m->method_holder()->class_loader_data()); |
d0aa87f04bd5
8003720: NPG: Method in interpreter stack frame can be deallocated
stefank
parents:
6725
diff
changeset
|
919 } |
d0aa87f04bd5
8003720: NPG: Method in interpreter stack frame can be deallocated
stefank
parents:
6725
diff
changeset
|
920 |
1908 | 921 #if !defined(PPC) || defined(ZERO) |
0 | 922 if (m->is_native()) { |
923 #ifdef CC_INTERP | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
924 interpreterState istate = get_interpreterState(); |
0 | 925 f->do_oop((oop*)&istate->_oop_temp); |
926 #else | |
927 f->do_oop((oop*)( fp() + interpreter_frame_oop_temp_offset )); | |
928 #endif /* CC_INTERP */ | |
929 } | |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1552
diff
changeset
|
930 #else // PPC |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1552
diff
changeset
|
931 if (m->is_native() && m->is_static()) { |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1552
diff
changeset
|
932 f->do_oop(interpreter_frame_mirror_addr()); |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1552
diff
changeset
|
933 } |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1552
diff
changeset
|
934 #endif // PPC |
0 | 935 |
936 int max_locals = m->is_native() ? m->size_of_parameters() : m->max_locals(); | |
937 | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
938 Symbol* signature = NULL; |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
989
diff
changeset
|
939 bool has_receiver = false; |
0 | 940 |
941 // Process a callee's arguments if we are at a call site | |
942 // (i.e., if we are at an invoke bytecode) | |
943 // This is used sometimes for calling into the VM, not for another | |
944 // interpreted or compiled frame. | |
945 if (!m->is_native()) { | |
2142 | 946 Bytecode_invoke call = Bytecode_invoke_check(m, bci); |
947 if (call.is_valid()) { | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
948 signature = call.signature(); |
2142 | 949 has_receiver = call.has_receiver(); |
0 | 950 if (map->include_argument_oops() && |
951 interpreter_frame_expression_stack_size() > 0) { | |
952 ResourceMark rm(thread); // is this right ??? | |
953 // we are at a call site & the expression stack is not empty | |
954 // => process callee's arguments | |
955 // | |
956 // Note: The expression stack can be empty if an exception | |
605 | 957 // occurred during method resolution/execution. In all |
0 | 958 // cases we empty the expression stack completely be- |
959 // fore handling the exception (the exception handling | |
960 // code in the interpreter calls a blocking runtime | |
961 // routine which can cause this code to be executed). | |
962 // (was bug gri 7/27/98) | |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
989
diff
changeset
|
963 oops_interpreted_arguments_do(signature, has_receiver, f); |
0 | 964 } |
965 } | |
966 } | |
967 | |
1506 | 968 InterpreterFrameClosure blk(this, max_locals, m->max_stack(), f); |
969 | |
970 // process locals & expression stack | |
971 InterpreterOopMap mask; | |
972 if (query_oop_map_cache) { | |
973 m->mask_for(bci, &mask); | |
0 | 974 } else { |
1506 | 975 OopMapCache::compute_one_oop_map(m, bci, &mask); |
0 | 976 } |
1506 | 977 mask.iterate_oop(&blk); |
0 | 978 } |
979 | |
980 | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
981 void frame::oops_interpreted_arguments_do(Symbol* signature, bool has_receiver, OopClosure* f) { |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
989
diff
changeset
|
982 InterpretedArgumentOopFinder finder(signature, has_receiver, this, f); |
0 | 983 finder.oops_do(); |
984 } | |
985 | |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
986 void frame::oops_code_blob_do(OopClosure* f, CodeBlobClosure* cf, const RegisterMap* reg_map) { |
0 | 987 assert(_cb != NULL, "sanity check"); |
988 if (_cb->oop_maps() != NULL) { | |
989 OopMapSet::oops_do(this, reg_map, f); | |
990 | |
991 // Preserve potential arguments for a callee. We handle this by dispatching | |
992 // on the codeblob. For c2i, we do | |
993 if (reg_map->include_argument_oops()) { | |
994 _cb->preserve_callee_argument_oops(*this, reg_map, f); | |
995 } | |
996 } | |
997 // In cases where perm gen is collected, GC will want to mark | |
998 // oops referenced from nmethods active on thread stacks so as to | |
999 // prevent them from being collected. However, this visit should be | |
1000 // restricted to certain phases of the collection only. The | |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
1001 // closure decides how it wants nmethods to be traced. |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
1002 if (cf != NULL) |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
1003 cf->do_code_blob(_cb); |
0 | 1004 } |
1005 | |
1006 class CompiledArgumentOopFinder: public SignatureInfo { | |
1007 protected: | |
1008 OopClosure* _f; | |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
989
diff
changeset
|
1009 int _offset; // the current offset, incremented with each argument |
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
989
diff
changeset
|
1010 bool _has_receiver; // true if the callee has a receiver |
0 | 1011 frame _fr; |
1012 RegisterMap* _reg_map; | |
1013 int _arg_size; | |
1014 VMRegPair* _regs; // VMReg list of arguments | |
1015 | |
1016 void set(int size, BasicType type) { | |
1017 if (type == T_OBJECT || type == T_ARRAY) handle_oop_offset(); | |
1018 _offset += size; | |
1019 } | |
1020 | |
1021 virtual void handle_oop_offset() { | |
1022 // Extract low order register number from register array. | |
1023 // In LP64-land, the high-order bits are valid but unhelpful. | |
1024 VMReg reg = _regs[_offset].first(); | |
1025 oop *loc = _fr.oopmapreg_to_location(reg, _reg_map); | |
1026 _f->do_oop(loc); | |
1027 } | |
1028 | |
1029 public: | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
1030 CompiledArgumentOopFinder(Symbol* signature, bool has_receiver, OopClosure* f, frame fr, const RegisterMap* reg_map) |
0 | 1031 : SignatureInfo(signature) { |
1032 | |
1033 // initialize CompiledArgumentOopFinder | |
1034 _f = f; | |
1035 _offset = 0; | |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
989
diff
changeset
|
1036 _has_receiver = has_receiver; |
0 | 1037 _fr = fr; |
1038 _reg_map = (RegisterMap*)reg_map; | |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
989
diff
changeset
|
1039 _arg_size = ArgumentSizeComputer(signature).size() + (has_receiver ? 1 : 0); |
0 | 1040 |
1041 int arg_size; | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
1042 _regs = SharedRuntime::find_callee_arguments(signature, has_receiver, &arg_size); |
0 | 1043 assert(arg_size == _arg_size, "wrong arg size"); |
1044 } | |
1045 | |
1046 void oops_do() { | |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
989
diff
changeset
|
1047 if (_has_receiver) { |
0 | 1048 handle_oop_offset(); |
1049 _offset++; | |
1050 } | |
1051 iterate_parameters(); | |
1052 } | |
1053 }; | |
1054 | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
1055 void frame::oops_compiled_arguments_do(Symbol* signature, bool has_receiver, const RegisterMap* reg_map, OopClosure* f) { |
0 | 1056 ResourceMark rm; |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
989
diff
changeset
|
1057 CompiledArgumentOopFinder finder(signature, has_receiver, f, *this, reg_map); |
0 | 1058 finder.oops_do(); |
1059 } | |
1060 | |
1061 | |
1062 // Get receiver out of callers frame, i.e. find parameter 0 in callers | |
1063 // frame. Consult ADLC for where parameter 0 is to be found. Then | |
1064 // check local reg_map for it being a callee-save register or argument | |
1065 // register, both of which are saved in the local frame. If not found | |
1066 // there, it must be an in-stack argument of the caller. | |
1067 // Note: caller.sp() points to callee-arguments | |
1068 oop frame::retrieve_receiver(RegisterMap* reg_map) { | |
1069 frame caller = *this; | |
1070 | |
1071 // First consult the ADLC on where it puts parameter 0 for this signature. | |
1072 VMReg reg = SharedRuntime::name_for_receiver(); | |
8690
c40fbf634c90
8008574: [parfait] Null pointer deference in hotspot/src/share/vm/runtime/frame.cpp
morris
parents:
7206
diff
changeset
|
1073 oop* oop_adr = caller.oopmapreg_to_location(reg, reg_map); |
c40fbf634c90
8008574: [parfait] Null pointer deference in hotspot/src/share/vm/runtime/frame.cpp
morris
parents:
7206
diff
changeset
|
1074 if (oop_adr == NULL) { |
c40fbf634c90
8008574: [parfait] Null pointer deference in hotspot/src/share/vm/runtime/frame.cpp
morris
parents:
7206
diff
changeset
|
1075 guarantee(oop_adr != NULL, "bad register save location"); |
c40fbf634c90
8008574: [parfait] Null pointer deference in hotspot/src/share/vm/runtime/frame.cpp
morris
parents:
7206
diff
changeset
|
1076 return NULL; |
c40fbf634c90
8008574: [parfait] Null pointer deference in hotspot/src/share/vm/runtime/frame.cpp
morris
parents:
7206
diff
changeset
|
1077 } |
c40fbf634c90
8008574: [parfait] Null pointer deference in hotspot/src/share/vm/runtime/frame.cpp
morris
parents:
7206
diff
changeset
|
1078 oop r = *oop_adr; |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
4872
diff
changeset
|
1079 assert(Universe::heap()->is_in_or_null(r), err_msg("bad receiver: " INTPTR_FORMAT " (" INTX_FORMAT ")", (intptr_t) r, (intptr_t) r)); |
0 | 1080 return r; |
1081 } | |
1082 | |
1083 | |
1084 oop* frame::oopmapreg_to_location(VMReg reg, const RegisterMap* reg_map) const { | |
1085 if(reg->is_reg()) { | |
1086 // If it is passed in a register, it got spilled in the stub frame. | |
1087 return (oop *)reg_map->location(reg); | |
1088 } else { | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
1089 int sp_offset_in_bytes = reg->reg2stack() * VMRegImpl::stack_slot_size; |
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
1090 return (oop*)(((address)unextended_sp()) + sp_offset_in_bytes); |
0 | 1091 } |
1092 } | |
1093 | |
2019 | 1094 BasicLock* frame::get_native_monitor() { |
1095 nmethod* nm = (nmethod*)_cb; | |
1096 assert(_cb != NULL && _cb->is_nmethod() && nm->method()->is_native(), | |
1097 "Should not call this unless it's a native nmethod"); | |
1098 int byte_offset = in_bytes(nm->native_basic_lock_sp_offset()); | |
0 | 1099 assert(byte_offset >= 0, "should not see invalid offset"); |
1100 return (BasicLock*) &sp()[byte_offset / wordSize]; | |
1101 } | |
1102 | |
2019 | 1103 oop frame::get_native_receiver() { |
1104 nmethod* nm = (nmethod*)_cb; | |
1105 assert(_cb != NULL && _cb->is_nmethod() && nm->method()->is_native(), | |
1106 "Should not call this unless it's a native nmethod"); | |
1107 int byte_offset = in_bytes(nm->native_receiver_sp_offset()); | |
0 | 1108 assert(byte_offset >= 0, "should not see invalid offset"); |
1109 oop owner = ((oop*) sp())[byte_offset / wordSize]; | |
1110 assert( Universe::heap()->is_in(owner), "bad receiver" ); | |
1111 return owner; | |
1112 } | |
1113 | |
1114 void frame::oops_entry_do(OopClosure* f, const RegisterMap* map) { | |
1115 assert(map != NULL, "map must be set"); | |
1116 if (map->include_argument_oops()) { | |
1117 // must collect argument oops, as nobody else is doing it | |
1118 Thread *thread = Thread::current(); | |
1119 methodHandle m (thread, entry_frame_call_wrapper()->callee_method()); | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
1120 EntryFrameOopFinder finder(this, m->signature(), m->is_static()); |
0 | 1121 finder.arguments_do(f); |
1122 } | |
1123 // Traverse the Handle Block saved in the entry frame | |
1124 entry_frame_call_wrapper()->oops_do(f); | |
1125 } | |
1126 | |
1127 | |
7179
d0aa87f04bd5
8003720: NPG: Method in interpreter stack frame can be deallocated
stefank
parents:
6725
diff
changeset
|
1128 void frame::oops_do_internal(OopClosure* f, CLDToOopClosure* cld_f, CodeBlobClosure* cf, RegisterMap* map, bool use_interpreter_oop_map_cache) { |
1119
547f81740344
6361589: Print out stack trace for target thread of GC crash
minqi
parents:
989
diff
changeset
|
1129 #ifndef PRODUCT |
547f81740344
6361589: Print out stack trace for target thread of GC crash
minqi
parents:
989
diff
changeset
|
1130 // simulate GC crash here to dump java thread in error report |
547f81740344
6361589: Print out stack trace for target thread of GC crash
minqi
parents:
989
diff
changeset
|
1131 if (CrashGCForDumpingJavaThread) { |
547f81740344
6361589: Print out stack trace for target thread of GC crash
minqi
parents:
989
diff
changeset
|
1132 char *t = NULL; |
547f81740344
6361589: Print out stack trace for target thread of GC crash
minqi
parents:
989
diff
changeset
|
1133 *t = 'c'; |
547f81740344
6361589: Print out stack trace for target thread of GC crash
minqi
parents:
989
diff
changeset
|
1134 } |
547f81740344
6361589: Print out stack trace for target thread of GC crash
minqi
parents:
989
diff
changeset
|
1135 #endif |
547f81740344
6361589: Print out stack trace for target thread of GC crash
minqi
parents:
989
diff
changeset
|
1136 if (is_interpreted_frame()) { |
7179
d0aa87f04bd5
8003720: NPG: Method in interpreter stack frame can be deallocated
stefank
parents:
6725
diff
changeset
|
1137 oops_interpreted_do(f, cld_f, map, use_interpreter_oop_map_cache); |
1119
547f81740344
6361589: Print out stack trace for target thread of GC crash
minqi
parents:
989
diff
changeset
|
1138 } else if (is_entry_frame()) { |
547f81740344
6361589: Print out stack trace for target thread of GC crash
minqi
parents:
989
diff
changeset
|
1139 oops_entry_do(f, map); |
547f81740344
6361589: Print out stack trace for target thread of GC crash
minqi
parents:
989
diff
changeset
|
1140 } else if (CodeCache::contains(pc())) { |
547f81740344
6361589: Print out stack trace for target thread of GC crash
minqi
parents:
989
diff
changeset
|
1141 oops_code_blob_do(f, cf, map); |
1692 | 1142 #ifdef SHARK |
1143 } else if (is_fake_stub_frame()) { | |
1144 // nothing to do | |
1145 #endif // SHARK | |
0 | 1146 } else { |
1147 ShouldNotReachHere(); | |
1148 } | |
1149 } | |
1150 | |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
1151 void frame::nmethods_do(CodeBlobClosure* cf) { |
0 | 1152 if (_cb != NULL && _cb->is_nmethod()) { |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
1153 cf->do_code_blob(_cb); |
0 | 1154 } |
1155 } | |
1156 | |
1157 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
1158 // call f() on the interpreted Method*s in the stack. |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
1159 // Have to walk the entire code cache for the compiled frames Yuck. |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
1160 void frame::metadata_do(void f(Metadata*)) { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
1161 if (_cb != NULL && Interpreter::contains(pc())) { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
1162 Method* m = this->interpreter_frame_method(); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
1163 assert(m != NULL, "huh?"); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
1164 f(m); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
1165 } |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
1166 } |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
1167 |
0 | 1168 void frame::gc_prologue() { |
1169 if (is_interpreted_frame()) { | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
1170 // set bcx to bci to become Method* position independent during GC |
0 | 1171 interpreter_frame_set_bcx(interpreter_frame_bci()); |
1172 } | |
1173 } | |
1174 | |
1175 | |
1176 void frame::gc_epilogue() { | |
1177 if (is_interpreted_frame()) { | |
1178 // set bcx back to bcp for interpreter | |
1179 interpreter_frame_set_bcx((intptr_t)interpreter_frame_bcp()); | |
1180 } | |
1181 // call processor specific epilog function | |
1182 pd_gc_epilog(); | |
1183 } | |
1184 | |
1185 | |
1186 # ifdef ENABLE_ZAP_DEAD_LOCALS | |
1187 | |
1188 void frame::CheckValueClosure::do_oop(oop* p) { | |
1189 if (CheckOopishValues && Universe::heap()->is_in_reserved(*p)) { | |
1190 warning("value @ " INTPTR_FORMAT " looks oopish (" INTPTR_FORMAT ") (thread = " INTPTR_FORMAT ")", p, (address)*p, Thread::current()); | |
1191 } | |
1192 } | |
1193 frame::CheckValueClosure frame::_check_value; | |
1194 | |
1195 | |
1196 void frame::CheckOopClosure::do_oop(oop* p) { | |
1197 if (*p != NULL && !(*p)->is_oop()) { | |
1198 warning("value @ " INTPTR_FORMAT " should be an oop (" INTPTR_FORMAT ") (thread = " INTPTR_FORMAT ")", p, (address)*p, Thread::current()); | |
1199 } | |
1200 } | |
1201 frame::CheckOopClosure frame::_check_oop; | |
1202 | |
1203 void frame::check_derived_oop(oop* base, oop* derived) { | |
1204 _check_oop.do_oop(base); | |
1205 } | |
1206 | |
1207 | |
1208 void frame::ZapDeadClosure::do_oop(oop* p) { | |
1209 if (TraceZapDeadLocals) tty->print_cr("zapping @ " INTPTR_FORMAT " containing " INTPTR_FORMAT, p, (address)*p); | |
1210 // Need cast because on _LP64 the conversion to oop is ambiguous. Constant | |
1211 // can be either long or int. | |
1212 *p = (oop)(int)0xbabebabe; | |
1213 } | |
1214 frame::ZapDeadClosure frame::_zap_dead; | |
1215 | |
1216 void frame::zap_dead_locals(JavaThread* thread, const RegisterMap* map) { | |
1217 assert(thread == Thread::current(), "need to synchronize to do this to another thread"); | |
1218 // Tracing - part 1 | |
1219 if (TraceZapDeadLocals) { | |
1220 ResourceMark rm(thread); | |
1221 tty->print_cr("--------------------------------------------------------------------------------"); | |
1222 tty->print("Zapping dead locals in "); | |
1223 print_on(tty); | |
1224 tty->cr(); | |
1225 } | |
1226 // Zapping | |
1227 if (is_entry_frame ()) zap_dead_entry_locals (thread, map); | |
1228 else if (is_interpreted_frame()) zap_dead_interpreted_locals(thread, map); | |
1229 else if (is_compiled_frame()) zap_dead_compiled_locals (thread, map); | |
1230 | |
1231 else | |
1232 // could be is_runtime_frame | |
1233 // so remove error: ShouldNotReachHere(); | |
1234 ; | |
1235 // Tracing - part 2 | |
1236 if (TraceZapDeadLocals) { | |
1237 tty->cr(); | |
1238 } | |
1239 } | |
1240 | |
1241 | |
1242 void frame::zap_dead_interpreted_locals(JavaThread *thread, const RegisterMap* map) { | |
1243 // get current interpreter 'pc' | |
1244 assert(is_interpreted_frame(), "Not an interpreted frame"); | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
1245 Method* m = interpreter_frame_method(); |
0 | 1246 int bci = interpreter_frame_bci(); |
1247 | |
1248 int max_locals = m->is_native() ? m->size_of_parameters() : m->max_locals(); | |
1249 | |
1506 | 1250 // process dynamic part |
1251 InterpreterFrameClosure value_blk(this, max_locals, m->max_stack(), | |
1252 &_check_value); | |
1253 InterpreterFrameClosure oop_blk(this, max_locals, m->max_stack(), | |
1254 &_check_oop ); | |
1255 InterpreterFrameClosure dead_blk(this, max_locals, m->max_stack(), | |
1256 &_zap_dead ); | |
0 | 1257 |
1506 | 1258 // get frame map |
1259 InterpreterOopMap mask; | |
1260 m->mask_for(bci, &mask); | |
1261 mask.iterate_all( &oop_blk, &value_blk, &dead_blk); | |
0 | 1262 } |
1263 | |
1264 | |
1265 void frame::zap_dead_compiled_locals(JavaThread* thread, const RegisterMap* reg_map) { | |
1266 | |
1267 ResourceMark rm(thread); | |
1268 assert(_cb != NULL, "sanity check"); | |
1269 if (_cb->oop_maps() != NULL) { | |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
1270 OopMapSet::all_do(this, reg_map, &_check_oop, check_derived_oop, &_check_value); |
0 | 1271 } |
1272 } | |
1273 | |
1274 | |
1275 void frame::zap_dead_entry_locals(JavaThread*, const RegisterMap*) { | |
1276 if (TraceZapDeadLocals) warning("frame::zap_dead_entry_locals unimplemented"); | |
1277 } | |
1278 | |
1279 | |
1280 void frame::zap_dead_deoptimized_locals(JavaThread*, const RegisterMap*) { | |
1281 if (TraceZapDeadLocals) warning("frame::zap_dead_deoptimized_locals unimplemented"); | |
1282 } | |
1283 | |
1284 # endif // ENABLE_ZAP_DEAD_LOCALS | |
1285 | |
1286 void frame::verify(const RegisterMap* map) { | |
1287 // for now make sure receiver type is correct | |
1288 if (is_interpreted_frame()) { | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
1289 Method* method = interpreter_frame_method(); |
0 | 1290 guarantee(method->is_method(), "method is wrong in frame::verify"); |
1291 if (!method->is_static()) { | |
1292 // fetch the receiver | |
1293 oop* p = (oop*) interpreter_frame_local_at(0); | |
1294 // make sure we have the right receiver type | |
1295 } | |
1296 } | |
1297 COMPILER2_PRESENT(assert(DerivedPointerTable::is_empty(), "must be empty before verify");) | |
7179
d0aa87f04bd5
8003720: NPG: Method in interpreter stack frame can be deallocated
stefank
parents:
6725
diff
changeset
|
1298 oops_do_internal(&VerifyOopClosure::verify_oop, NULL, NULL, (RegisterMap*)map, false); |
0 | 1299 } |
1300 | |
1301 | |
1302 #ifdef ASSERT | |
1303 bool frame::verify_return_pc(address x) { | |
1304 if (StubRoutines::returns_to_call_stub(x)) { | |
1305 return true; | |
1306 } | |
1307 if (CodeCache::contains(x)) { | |
1308 return true; | |
1309 } | |
1310 if (Interpreter::contains(x)) { | |
1311 return true; | |
1312 } | |
1313 return false; | |
1314 } | |
1315 #endif | |
1316 | |
1317 #ifdef ASSERT | |
1318 void frame::interpreter_frame_verify_monitor(BasicObjectLock* value) const { | |
1319 assert(is_interpreted_frame(), "Not an interpreted frame"); | |
1320 // verify that the value is in the right part of the frame | |
1321 address low_mark = (address) interpreter_frame_monitor_end(); | |
1322 address high_mark = (address) interpreter_frame_monitor_begin(); | |
1323 address current = (address) value; | |
1324 | |
1325 const int monitor_size = frame::interpreter_frame_monitor_size(); | |
1326 guarantee((high_mark - current) % monitor_size == 0 , "Misaligned top of BasicObjectLock*"); | |
1327 guarantee( high_mark > current , "Current BasicObjectLock* higher than high_mark"); | |
1328 | |
1329 guarantee((current - low_mark) % monitor_size == 0 , "Misaligned bottom of BasicObjectLock*"); | |
1330 guarantee( current >= low_mark , "Current BasicObjectLock* below than low_mark"); | |
1331 } | |
4824
5dbed2f542ff
7120468: SPARC/x86: use frame::describe to enhance trace_method_handle
bdelsart
parents:
4818
diff
changeset
|
1332 #endif |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1333 |
4824
5dbed2f542ff
7120468: SPARC/x86: use frame::describe to enhance trace_method_handle
bdelsart
parents:
4818
diff
changeset
|
1334 #ifndef PRODUCT |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1335 void frame::describe(FrameValues& values, int frame_no) { |
4818
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1336 // boundaries: sp and the 'real' frame pointer |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1337 values.describe(-1, sp(), err_msg("sp for #%d", frame_no), 1); |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1338 intptr_t* frame_pointer = real_fp(); // Note: may differ from fp() |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1339 |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1340 // print frame info at the highest boundary |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1341 intptr_t* info_address = MAX2(sp(), frame_pointer); |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1342 |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1343 if (info_address != frame_pointer) { |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1344 // print frame_pointer explicitly if not marked by the frame info |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1345 values.describe(-1, frame_pointer, err_msg("frame pointer for #%d", frame_no), 1); |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1346 } |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1347 |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1348 if (is_entry_frame() || is_compiled_frame() || is_interpreted_frame() || is_native_frame()) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1349 // Label values common to most frames |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1350 values.describe(-1, unextended_sp(), err_msg("unextended_sp for #%d", frame_no)); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1351 } |
4818
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1352 |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1353 if (is_interpreted_frame()) { |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
1354 Method* m = interpreter_frame_method(); |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1355 int bci = interpreter_frame_bci(); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1356 |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1357 // Label the method and current bci |
4818
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1358 values.describe(-1, info_address, |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1359 FormatBuffer<1024>("#%d method %s @ %d", frame_no, m->name_and_sig_as_C_string(), bci), 2); |
4818
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1360 values.describe(-1, info_address, |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1361 err_msg("- %d locals %d max stack", m->max_locals(), m->max_stack()), 1); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1362 if (m->max_locals() > 0) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1363 intptr_t* l0 = interpreter_frame_local_at(0); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1364 intptr_t* ln = interpreter_frame_local_at(m->max_locals() - 1); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1365 values.describe(-1, MAX2(l0, ln), err_msg("locals for #%d", frame_no), 1); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1366 // Report each local and mark as owned by this frame |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1367 for (int l = 0; l < m->max_locals(); l++) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1368 intptr_t* l0 = interpreter_frame_local_at(l); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1369 values.describe(frame_no, l0, err_msg("local %d", l)); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1370 } |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1371 } |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1372 |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1373 // Compute the actual expression stack size |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1374 InterpreterOopMap mask; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1375 OopMapCache::compute_one_oop_map(m, bci, &mask); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1376 intptr_t* tos = NULL; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1377 // Report each stack element and mark as owned by this frame |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1378 for (int e = 0; e < mask.expression_stack_size(); e++) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1379 tos = MAX2(tos, interpreter_frame_expression_stack_at(e)); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1380 values.describe(frame_no, interpreter_frame_expression_stack_at(e), |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1381 err_msg("stack %d", e)); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1382 } |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1383 if (tos != NULL) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1384 values.describe(-1, tos, err_msg("expression stack for #%d", frame_no), 1); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1385 } |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1386 if (interpreter_frame_monitor_begin() != interpreter_frame_monitor_end()) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1387 values.describe(frame_no, (intptr_t*)interpreter_frame_monitor_begin(), "monitors begin"); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1388 values.describe(frame_no, (intptr_t*)interpreter_frame_monitor_end(), "monitors end"); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1389 } |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1390 } else if (is_entry_frame()) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1391 // For now just label the frame |
4818
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1392 values.describe(-1, info_address, err_msg("#%d entry frame", frame_no), 2); |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1393 } else if (is_compiled_frame()) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1394 // For now just label the frame |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1395 nmethod* nm = cb()->as_nmethod_or_null(); |
4818
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1396 values.describe(-1, info_address, |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1397 FormatBuffer<1024>("#%d nmethod " INTPTR_FORMAT " for method %s%s", frame_no, |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1398 nm, nm->method()->name_and_sig_as_C_string(), |
4818
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1399 (_deopt_state == is_deoptimized) ? |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1400 " (deoptimized)" : |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1401 ((_deopt_state == unknown) ? " (state unknown)" : "")), |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1402 2); |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1403 } else if (is_native_frame()) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1404 // For now just label the frame |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1405 nmethod* nm = cb()->as_nmethod_or_null(); |
4818
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1406 values.describe(-1, info_address, |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1407 FormatBuffer<1024>("#%d nmethod " INTPTR_FORMAT " for native method %s", frame_no, |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1408 nm, nm->method()->name_and_sig_as_C_string()), 2); |
4818
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1409 } else { |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1410 // provide default info if not handled before |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1411 char *info = (char *) "special frame"; |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1412 if ((_cb != NULL) && |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1413 (_cb->name() != NULL)) { |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1414 info = (char *)_cb->name(); |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1415 } |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1416 values.describe(-1, info_address, err_msg("#%d <%s>", frame_no, info), 2); |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1417 } |
4818
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1418 |
82e5a84b7436
7120450: complete information dumped by frame_describe
bdelsart
parents:
4806
diff
changeset
|
1419 // platform dependent additional data |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1420 describe_pd(values, frame_no); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1421 } |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1422 |
0 | 1423 #endif |
1424 | |
1425 | |
1426 //----------------------------------------------------------------------------------- | |
1427 // StackFrameStream implementation | |
1428 | |
1429 StackFrameStream::StackFrameStream(JavaThread *thread, bool update) : _reg_map(thread, update) { | |
1430 assert(thread->has_last_Java_frame(), "sanity check"); | |
1431 _fr = thread->last_frame(); | |
1432 _is_done = false; | |
1433 } | |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1434 |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1435 |
4824
5dbed2f542ff
7120468: SPARC/x86: use frame::describe to enhance trace_method_handle
bdelsart
parents:
4818
diff
changeset
|
1436 #ifndef PRODUCT |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1437 |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1438 void FrameValues::describe(int owner, intptr_t* location, const char* description, int priority) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1439 FrameValue fv; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1440 fv.location = location; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1441 fv.owner = owner; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1442 fv.priority = priority; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1443 fv.description = NEW_RESOURCE_ARRAY(char, strlen(description) + 1); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1444 strcpy(fv.description, description); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1445 _values.append(fv); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1446 } |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1447 |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1448 |
4824
5dbed2f542ff
7120468: SPARC/x86: use frame::describe to enhance trace_method_handle
bdelsart
parents:
4818
diff
changeset
|
1449 #ifdef ASSERT |
3365
3cfb240033d1
7043301: assert(locals < caller->fp() || locals > (caller->fp() + 16)) failed: locals in save area
never
parents:
3363
diff
changeset
|
1450 void FrameValues::validate() { |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1451 _values.sort(compare); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1452 bool error = false; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1453 FrameValue prev; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1454 prev.owner = -1; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1455 for (int i = _values.length() - 1; i >= 0; i--) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1456 FrameValue fv = _values.at(i); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1457 if (fv.owner == -1) continue; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1458 if (prev.owner == -1) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1459 prev = fv; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1460 continue; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1461 } |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1462 if (prev.location == fv.location) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1463 if (fv.owner != prev.owner) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1464 tty->print_cr("overlapping storage"); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1465 tty->print_cr(" " INTPTR_FORMAT ": " INTPTR_FORMAT " %s", prev.location, *prev.location, prev.description); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1466 tty->print_cr(" " INTPTR_FORMAT ": " INTPTR_FORMAT " %s", fv.location, *fv.location, fv.description); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1467 error = true; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1468 } |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1469 } else { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1470 prev = fv; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1471 } |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1472 } |
3365
3cfb240033d1
7043301: assert(locals < caller->fp() || locals > (caller->fp() + 16)) failed: locals in save area
never
parents:
3363
diff
changeset
|
1473 assert(!error, "invalid layout"); |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1474 } |
4824
5dbed2f542ff
7120468: SPARC/x86: use frame::describe to enhance trace_method_handle
bdelsart
parents:
4818
diff
changeset
|
1475 #endif // ASSERT |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1476 |
4042
b20d64f83668
7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents:
3369
diff
changeset
|
1477 void FrameValues::print(JavaThread* thread) { |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1478 _values.sort(compare); |
3369
3d2ab563047a
7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents:
3365
diff
changeset
|
1479 |
3d2ab563047a
7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents:
3365
diff
changeset
|
1480 // Sometimes values like the fp can be invalid values if the |
3d2ab563047a
7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents:
3365
diff
changeset
|
1481 // register map wasn't updated during the walk. Trim out values |
3d2ab563047a
7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents:
3365
diff
changeset
|
1482 // that aren't actually in the stack of the thread. |
3d2ab563047a
7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents:
3365
diff
changeset
|
1483 int min_index = 0; |
3d2ab563047a
7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents:
3365
diff
changeset
|
1484 int max_index = _values.length() - 1; |
3d2ab563047a
7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents:
3365
diff
changeset
|
1485 intptr_t* v0 = _values.at(min_index).location; |
3d2ab563047a
7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents:
3365
diff
changeset
|
1486 intptr_t* v1 = _values.at(max_index).location; |
4042
b20d64f83668
7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents:
3369
diff
changeset
|
1487 |
b20d64f83668
7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents:
3369
diff
changeset
|
1488 if (thread == Thread::current()) { |
b20d64f83668
7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents:
3369
diff
changeset
|
1489 while (!thread->is_in_stack((address)v0)) { |
b20d64f83668
7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents:
3369
diff
changeset
|
1490 v0 = _values.at(++min_index).location; |
b20d64f83668
7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents:
3369
diff
changeset
|
1491 } |
b20d64f83668
7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents:
3369
diff
changeset
|
1492 while (!thread->is_in_stack((address)v1)) { |
b20d64f83668
7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents:
3369
diff
changeset
|
1493 v1 = _values.at(--max_index).location; |
b20d64f83668
7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents:
3369
diff
changeset
|
1494 } |
b20d64f83668
7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents:
3369
diff
changeset
|
1495 } else { |
b20d64f83668
7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents:
3369
diff
changeset
|
1496 while (!thread->on_local_stack((address)v0)) { |
b20d64f83668
7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents:
3369
diff
changeset
|
1497 v0 = _values.at(++min_index).location; |
b20d64f83668
7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents:
3369
diff
changeset
|
1498 } |
b20d64f83668
7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents:
3369
diff
changeset
|
1499 while (!thread->on_local_stack((address)v1)) { |
b20d64f83668
7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents:
3369
diff
changeset
|
1500 v1 = _values.at(--max_index).location; |
b20d64f83668
7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents:
3369
diff
changeset
|
1501 } |
3369
3d2ab563047a
7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents:
3365
diff
changeset
|
1502 } |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1503 intptr_t* min = MIN2(v0, v1); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1504 intptr_t* max = MAX2(v0, v1); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1505 intptr_t* cur = max; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1506 intptr_t* last = NULL; |
3369
3d2ab563047a
7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents:
3365
diff
changeset
|
1507 for (int i = max_index; i >= min_index; i--) { |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1508 FrameValue fv = _values.at(i); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1509 while (cur > fv.location) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1510 tty->print_cr(" " INTPTR_FORMAT ": " INTPTR_FORMAT, cur, *cur); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1511 cur--; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1512 } |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1513 if (last == fv.location) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1514 const char* spacer = " " LP64_ONLY(" "); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1515 tty->print_cr(" %s %s %s", spacer, spacer, fv.description); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1516 } else { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1517 tty->print_cr(" " INTPTR_FORMAT ": " INTPTR_FORMAT " %s", fv.location, *fv.location, fv.description); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1518 last = fv.location; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1519 cur--; |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1520 } |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1521 } |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1522 } |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2192
diff
changeset
|
1523 |
4824
5dbed2f542ff
7120468: SPARC/x86: use frame::describe to enhance trace_method_handle
bdelsart
parents:
4818
diff
changeset
|
1524 #endif // ndef PRODUCT |