annotate src/share/vm/runtime/vframeArray.cpp @ 94:0834225a7916

6634032: CMS: Need CMSInitiatingPermOccupancyFraction for perm, divorcing from CMSInitiatingOccupancyFraction Summary: The option CMSInitiatingPermOccupancyFraction now controls perm triggering threshold. Even though the actual value of the threshold has not yet been changed, so there is no change in policy, we now have the infrastructure in place for dynamically deciding when to collect the perm gen, an issue that will be addressed in the near future. Reviewed-by: jmasa
author ysr
date Sun, 16 Mar 2008 21:57:25 -0700
parents a61af66fc99e
children b109e761e927
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
a61af66fc99e Initial load
duke
parents:
diff changeset
2 * Copyright 1997-2007 Sun Microsystems, Inc. All Rights Reserved.
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
a61af66fc99e Initial load
duke
parents:
diff changeset
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
a61af66fc99e Initial load
duke
parents:
diff changeset
20 * CA 95054 USA or visit www.sun.com if you need additional information or
a61af66fc99e Initial load
duke
parents:
diff changeset
21 * have any questions.
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
a61af66fc99e Initial load
duke
parents:
diff changeset
25 # include "incls/_precompiled.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
26 # include "incls/_vframeArray.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28
a61af66fc99e Initial load
duke
parents:
diff changeset
29 int vframeArrayElement:: bci(void) const { return (_bci == SynchronizationEntryBCI ? 0 : _bci); }
a61af66fc99e Initial load
duke
parents:
diff changeset
30
a61af66fc99e Initial load
duke
parents:
diff changeset
31 void vframeArrayElement::free_monitors(JavaThread* jt) {
a61af66fc99e Initial load
duke
parents:
diff changeset
32 if (_monitors != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
33 MonitorChunk* chunk = _monitors;
a61af66fc99e Initial load
duke
parents:
diff changeset
34 _monitors = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
35 jt->remove_monitor_chunk(chunk);
a61af66fc99e Initial load
duke
parents:
diff changeset
36 delete chunk;
a61af66fc99e Initial load
duke
parents:
diff changeset
37 }
a61af66fc99e Initial load
duke
parents:
diff changeset
38 }
a61af66fc99e Initial load
duke
parents:
diff changeset
39
a61af66fc99e Initial load
duke
parents:
diff changeset
40 void vframeArrayElement::fill_in(compiledVFrame* vf) {
a61af66fc99e Initial load
duke
parents:
diff changeset
41
a61af66fc99e Initial load
duke
parents:
diff changeset
42 // Copy the information from the compiled vframe to the
a61af66fc99e Initial load
duke
parents:
diff changeset
43 // interpreter frame we will be creating to replace vf
a61af66fc99e Initial load
duke
parents:
diff changeset
44
a61af66fc99e Initial load
duke
parents:
diff changeset
45 _method = vf->method();
a61af66fc99e Initial load
duke
parents:
diff changeset
46 _bci = vf->raw_bci();
a61af66fc99e Initial load
duke
parents:
diff changeset
47
a61af66fc99e Initial load
duke
parents:
diff changeset
48 int index;
a61af66fc99e Initial load
duke
parents:
diff changeset
49
a61af66fc99e Initial load
duke
parents:
diff changeset
50 // Get the monitors off-stack
a61af66fc99e Initial load
duke
parents:
diff changeset
51
a61af66fc99e Initial load
duke
parents:
diff changeset
52 GrowableArray<MonitorInfo*>* list = vf->monitors();
a61af66fc99e Initial load
duke
parents:
diff changeset
53 if (list->is_empty()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
54 _monitors = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
55 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
56
a61af66fc99e Initial load
duke
parents:
diff changeset
57 // Allocate monitor chunk
a61af66fc99e Initial load
duke
parents:
diff changeset
58 _monitors = new MonitorChunk(list->length());
a61af66fc99e Initial load
duke
parents:
diff changeset
59 vf->thread()->add_monitor_chunk(_monitors);
a61af66fc99e Initial load
duke
parents:
diff changeset
60
a61af66fc99e Initial load
duke
parents:
diff changeset
61 // Migrate the BasicLocks from the stack to the monitor chunk
a61af66fc99e Initial load
duke
parents:
diff changeset
62 for (index = 0; index < list->length(); index++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
63 MonitorInfo* monitor = list->at(index);
a61af66fc99e Initial load
duke
parents:
diff changeset
64 assert(monitor->owner() == NULL || (!monitor->owner()->is_unlocked() && !monitor->owner()->has_bias_pattern()), "object must be null or locked, and unbiased");
a61af66fc99e Initial load
duke
parents:
diff changeset
65 BasicObjectLock* dest = _monitors->at(index);
a61af66fc99e Initial load
duke
parents:
diff changeset
66 dest->set_obj(monitor->owner());
a61af66fc99e Initial load
duke
parents:
diff changeset
67 monitor->lock()->move_to(monitor->owner(), dest->lock());
a61af66fc99e Initial load
duke
parents:
diff changeset
68 }
a61af66fc99e Initial load
duke
parents:
diff changeset
69 }
a61af66fc99e Initial load
duke
parents:
diff changeset
70
a61af66fc99e Initial load
duke
parents:
diff changeset
71 // Convert the vframe locals and expressions to off stack
a61af66fc99e Initial load
duke
parents:
diff changeset
72 // values. Because we will not gc all oops can be converted to
a61af66fc99e Initial load
duke
parents:
diff changeset
73 // intptr_t (i.e. a stack slot) and we are fine. This is
a61af66fc99e Initial load
duke
parents:
diff changeset
74 // good since we are inside a HandleMark and the oops in our
a61af66fc99e Initial load
duke
parents:
diff changeset
75 // collection would go away between packing them here and
a61af66fc99e Initial load
duke
parents:
diff changeset
76 // unpacking them in unpack_on_stack.
a61af66fc99e Initial load
duke
parents:
diff changeset
77
a61af66fc99e Initial load
duke
parents:
diff changeset
78 // First the locals go off-stack
a61af66fc99e Initial load
duke
parents:
diff changeset
79
a61af66fc99e Initial load
duke
parents:
diff changeset
80 // FIXME this seems silly it creates a StackValueCollection
a61af66fc99e Initial load
duke
parents:
diff changeset
81 // in order to get the size to then copy them and
a61af66fc99e Initial load
duke
parents:
diff changeset
82 // convert the types to intptr_t size slots. Seems like it
a61af66fc99e Initial load
duke
parents:
diff changeset
83 // could do it in place... Still uses less memory than the
a61af66fc99e Initial load
duke
parents:
diff changeset
84 // old way though
a61af66fc99e Initial load
duke
parents:
diff changeset
85
a61af66fc99e Initial load
duke
parents:
diff changeset
86 StackValueCollection *locs = vf->locals();
a61af66fc99e Initial load
duke
parents:
diff changeset
87 _locals = new StackValueCollection(locs->size());
a61af66fc99e Initial load
duke
parents:
diff changeset
88 for(index = 0; index < locs->size(); index++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
89 StackValue* value = locs->at(index);
a61af66fc99e Initial load
duke
parents:
diff changeset
90 switch(value->type()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
91 case T_OBJECT:
a61af66fc99e Initial load
duke
parents:
diff changeset
92 // preserve object type
a61af66fc99e Initial load
duke
parents:
diff changeset
93 _locals->add( new StackValue((intptr_t) (value->get_obj()()), T_OBJECT ));
a61af66fc99e Initial load
duke
parents:
diff changeset
94 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
95 case T_CONFLICT:
a61af66fc99e Initial load
duke
parents:
diff changeset
96 // A dead local. Will be initialized to null/zero.
a61af66fc99e Initial load
duke
parents:
diff changeset
97 _locals->add( new StackValue());
a61af66fc99e Initial load
duke
parents:
diff changeset
98 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
99 case T_INT:
a61af66fc99e Initial load
duke
parents:
diff changeset
100 _locals->add( new StackValue(value->get_int()));
a61af66fc99e Initial load
duke
parents:
diff changeset
101 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
102 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
103 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
104 }
a61af66fc99e Initial load
duke
parents:
diff changeset
105 }
a61af66fc99e Initial load
duke
parents:
diff changeset
106
a61af66fc99e Initial load
duke
parents:
diff changeset
107 // Now the expressions off-stack
a61af66fc99e Initial load
duke
parents:
diff changeset
108 // Same silliness as above
a61af66fc99e Initial load
duke
parents:
diff changeset
109
a61af66fc99e Initial load
duke
parents:
diff changeset
110 StackValueCollection *exprs = vf->expressions();
a61af66fc99e Initial load
duke
parents:
diff changeset
111 _expressions = new StackValueCollection(exprs->size());
a61af66fc99e Initial load
duke
parents:
diff changeset
112 for(index = 0; index < exprs->size(); index++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
113 StackValue* value = exprs->at(index);
a61af66fc99e Initial load
duke
parents:
diff changeset
114 switch(value->type()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
115 case T_OBJECT:
a61af66fc99e Initial load
duke
parents:
diff changeset
116 // preserve object type
a61af66fc99e Initial load
duke
parents:
diff changeset
117 _expressions->add( new StackValue((intptr_t) (value->get_obj()()), T_OBJECT ));
a61af66fc99e Initial load
duke
parents:
diff changeset
118 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
119 case T_CONFLICT:
a61af66fc99e Initial load
duke
parents:
diff changeset
120 // A dead stack element. Will be initialized to null/zero.
a61af66fc99e Initial load
duke
parents:
diff changeset
121 // This can occur when the compiler emits a state in which stack
a61af66fc99e Initial load
duke
parents:
diff changeset
122 // elements are known to be dead (because of an imminent exception).
a61af66fc99e Initial load
duke
parents:
diff changeset
123 _expressions->add( new StackValue());
a61af66fc99e Initial load
duke
parents:
diff changeset
124 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
125 case T_INT:
a61af66fc99e Initial load
duke
parents:
diff changeset
126 _expressions->add( new StackValue(value->get_int()));
a61af66fc99e Initial load
duke
parents:
diff changeset
127 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
128 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
129 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
130 }
a61af66fc99e Initial load
duke
parents:
diff changeset
131 }
a61af66fc99e Initial load
duke
parents:
diff changeset
132 }
a61af66fc99e Initial load
duke
parents:
diff changeset
133
a61af66fc99e Initial load
duke
parents:
diff changeset
134 int unpack_counter = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
135
a61af66fc99e Initial load
duke
parents:
diff changeset
136 void vframeArrayElement::unpack_on_stack(int callee_parameters,
a61af66fc99e Initial load
duke
parents:
diff changeset
137 int callee_locals,
a61af66fc99e Initial load
duke
parents:
diff changeset
138 frame* caller,
a61af66fc99e Initial load
duke
parents:
diff changeset
139 bool is_top_frame,
a61af66fc99e Initial load
duke
parents:
diff changeset
140 int exec_mode) {
a61af66fc99e Initial load
duke
parents:
diff changeset
141 JavaThread* thread = (JavaThread*) Thread::current();
a61af66fc99e Initial load
duke
parents:
diff changeset
142
a61af66fc99e Initial load
duke
parents:
diff changeset
143 // Look at bci and decide on bcp and continuation pc
a61af66fc99e Initial load
duke
parents:
diff changeset
144 address bcp;
a61af66fc99e Initial load
duke
parents:
diff changeset
145 // C++ interpreter doesn't need a pc since it will figure out what to do when it
a61af66fc99e Initial load
duke
parents:
diff changeset
146 // begins execution
a61af66fc99e Initial load
duke
parents:
diff changeset
147 address pc;
a61af66fc99e Initial load
duke
parents:
diff changeset
148 bool use_next_mdp; // true if we should use the mdp associated with the next bci
a61af66fc99e Initial load
duke
parents:
diff changeset
149 // rather than the one associated with bcp
a61af66fc99e Initial load
duke
parents:
diff changeset
150 if (raw_bci() == SynchronizationEntryBCI) {
a61af66fc99e Initial load
duke
parents:
diff changeset
151 // We are deoptimizing while hanging in prologue code for synchronized method
a61af66fc99e Initial load
duke
parents:
diff changeset
152 bcp = method()->bcp_from(0); // first byte code
a61af66fc99e Initial load
duke
parents:
diff changeset
153 pc = Interpreter::deopt_entry(vtos, 0); // step = 0 since we don't skip current bytecode
a61af66fc99e Initial load
duke
parents:
diff changeset
154 use_next_mdp = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
155 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
156 bcp = method()->bcp_from(bci());
a61af66fc99e Initial load
duke
parents:
diff changeset
157 pc = Interpreter::continuation_for(method(), bcp, callee_parameters, is_top_frame, use_next_mdp);
a61af66fc99e Initial load
duke
parents:
diff changeset
158 }
a61af66fc99e Initial load
duke
parents:
diff changeset
159 assert(Bytecodes::is_defined(*bcp), "must be a valid bytecode");
a61af66fc99e Initial load
duke
parents:
diff changeset
160
a61af66fc99e Initial load
duke
parents:
diff changeset
161 // Monitorenter and pending exceptions:
a61af66fc99e Initial load
duke
parents:
diff changeset
162 //
a61af66fc99e Initial load
duke
parents:
diff changeset
163 // For Compiler2, there should be no pending exception when deoptimizing at monitorenter
a61af66fc99e Initial load
duke
parents:
diff changeset
164 // because there is no safepoint at the null pointer check (it is either handled explicitly
a61af66fc99e Initial load
duke
parents:
diff changeset
165 // or prior to the monitorenter) and asynchronous exceptions are not made "pending" by the
a61af66fc99e Initial load
duke
parents:
diff changeset
166 // runtime interface for the slow case (see JRT_ENTRY_FOR_MONITORENTER). If an asynchronous
a61af66fc99e Initial load
duke
parents:
diff changeset
167 // exception was processed, the bytecode pointer would have to be extended one bytecode beyond
a61af66fc99e Initial load
duke
parents:
diff changeset
168 // the monitorenter to place it in the proper exception range.
a61af66fc99e Initial load
duke
parents:
diff changeset
169 //
a61af66fc99e Initial load
duke
parents:
diff changeset
170 // For Compiler1, deoptimization can occur while throwing a NullPointerException at monitorenter,
a61af66fc99e Initial load
duke
parents:
diff changeset
171 // in which case bcp should point to the monitorenter since it is within the exception's range.
a61af66fc99e Initial load
duke
parents:
diff changeset
172
a61af66fc99e Initial load
duke
parents:
diff changeset
173 assert(*bcp != Bytecodes::_monitorenter || is_top_frame, "a _monitorenter must be a top frame");
a61af66fc99e Initial load
duke
parents:
diff changeset
174 // TIERED Must know the compiler of the deoptee QQQ
a61af66fc99e Initial load
duke
parents:
diff changeset
175 COMPILER2_PRESENT(guarantee(*bcp != Bytecodes::_monitorenter || exec_mode != Deoptimization::Unpack_exception,
a61af66fc99e Initial load
duke
parents:
diff changeset
176 "shouldn't get exception during monitorenter");)
a61af66fc99e Initial load
duke
parents:
diff changeset
177
a61af66fc99e Initial load
duke
parents:
diff changeset
178 int popframe_preserved_args_size_in_bytes = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
179 int popframe_preserved_args_size_in_words = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
180 if (is_top_frame) {
a61af66fc99e Initial load
duke
parents:
diff changeset
181 JvmtiThreadState *state = thread->jvmti_thread_state();
a61af66fc99e Initial load
duke
parents:
diff changeset
182 if (JvmtiExport::can_pop_frame() &&
a61af66fc99e Initial load
duke
parents:
diff changeset
183 (thread->has_pending_popframe() || thread->popframe_forcing_deopt_reexecution())) {
a61af66fc99e Initial load
duke
parents:
diff changeset
184 if (thread->has_pending_popframe()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
185 // Pop top frame after deoptimization
a61af66fc99e Initial load
duke
parents:
diff changeset
186 #ifndef CC_INTERP
a61af66fc99e Initial load
duke
parents:
diff changeset
187 pc = Interpreter::remove_activation_preserving_args_entry();
a61af66fc99e Initial load
duke
parents:
diff changeset
188 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
189 // Do an uncommon trap type entry. c++ interpreter will know
a61af66fc99e Initial load
duke
parents:
diff changeset
190 // to pop frame and preserve the args
a61af66fc99e Initial load
duke
parents:
diff changeset
191 pc = Interpreter::deopt_entry(vtos, 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
192 use_next_mdp = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
193 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
194 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
195 // Reexecute invoke in top frame
a61af66fc99e Initial load
duke
parents:
diff changeset
196 pc = Interpreter::deopt_entry(vtos, 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
197 use_next_mdp = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
198 popframe_preserved_args_size_in_bytes = in_bytes(thread->popframe_preserved_args_size());
a61af66fc99e Initial load
duke
parents:
diff changeset
199 // Note: the PopFrame-related extension of the expression stack size is done in
a61af66fc99e Initial load
duke
parents:
diff changeset
200 // Deoptimization::fetch_unroll_info_helper
a61af66fc99e Initial load
duke
parents:
diff changeset
201 popframe_preserved_args_size_in_words = in_words(thread->popframe_preserved_args_size_in_words());
a61af66fc99e Initial load
duke
parents:
diff changeset
202 }
a61af66fc99e Initial load
duke
parents:
diff changeset
203 } else if (JvmtiExport::can_force_early_return() && state != NULL && state->is_earlyret_pending()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
204 // Force early return from top frame after deoptimization
a61af66fc99e Initial load
duke
parents:
diff changeset
205 #ifndef CC_INTERP
a61af66fc99e Initial load
duke
parents:
diff changeset
206 pc = Interpreter::remove_activation_early_entry(state->earlyret_tos());
a61af66fc99e Initial load
duke
parents:
diff changeset
207 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
208 // TBD: Need to implement ForceEarlyReturn for CC_INTERP (ia64)
a61af66fc99e Initial load
duke
parents:
diff changeset
209 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
210 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
211 // Possibly override the previous pc computation of the top (youngest) frame
a61af66fc99e Initial load
duke
parents:
diff changeset
212 switch (exec_mode) {
a61af66fc99e Initial load
duke
parents:
diff changeset
213 case Deoptimization::Unpack_deopt:
a61af66fc99e Initial load
duke
parents:
diff changeset
214 // use what we've got
a61af66fc99e Initial load
duke
parents:
diff changeset
215 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
216 case Deoptimization::Unpack_exception:
a61af66fc99e Initial load
duke
parents:
diff changeset
217 // exception is pending
a61af66fc99e Initial load
duke
parents:
diff changeset
218 pc = SharedRuntime::raw_exception_handler_for_return_address(pc);
a61af66fc99e Initial load
duke
parents:
diff changeset
219 // [phh] We're going to end up in some handler or other, so it doesn't
a61af66fc99e Initial load
duke
parents:
diff changeset
220 // matter what mdp we point to. See exception_handler_for_exception()
a61af66fc99e Initial load
duke
parents:
diff changeset
221 // in interpreterRuntime.cpp.
a61af66fc99e Initial load
duke
parents:
diff changeset
222 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
223 case Deoptimization::Unpack_uncommon_trap:
a61af66fc99e Initial load
duke
parents:
diff changeset
224 case Deoptimization::Unpack_reexecute:
a61af66fc99e Initial load
duke
parents:
diff changeset
225 // redo last byte code
a61af66fc99e Initial load
duke
parents:
diff changeset
226 pc = Interpreter::deopt_entry(vtos, 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
227 use_next_mdp = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
228 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
229 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
230 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
231 }
a61af66fc99e Initial load
duke
parents:
diff changeset
232 }
a61af66fc99e Initial load
duke
parents:
diff changeset
233 }
a61af66fc99e Initial load
duke
parents:
diff changeset
234
a61af66fc99e Initial load
duke
parents:
diff changeset
235 // Setup the interpreter frame
a61af66fc99e Initial load
duke
parents:
diff changeset
236
a61af66fc99e Initial load
duke
parents:
diff changeset
237 assert(method() != NULL, "method must exist");
a61af66fc99e Initial load
duke
parents:
diff changeset
238 int temps = expressions()->size();
a61af66fc99e Initial load
duke
parents:
diff changeset
239
a61af66fc99e Initial load
duke
parents:
diff changeset
240 int locks = monitors() == NULL ? 0 : monitors()->number_of_monitors();
a61af66fc99e Initial load
duke
parents:
diff changeset
241
a61af66fc99e Initial load
duke
parents:
diff changeset
242 Interpreter::layout_activation(method(),
a61af66fc99e Initial load
duke
parents:
diff changeset
243 temps + callee_parameters,
a61af66fc99e Initial load
duke
parents:
diff changeset
244 popframe_preserved_args_size_in_words,
a61af66fc99e Initial load
duke
parents:
diff changeset
245 locks,
a61af66fc99e Initial load
duke
parents:
diff changeset
246 callee_parameters,
a61af66fc99e Initial load
duke
parents:
diff changeset
247 callee_locals,
a61af66fc99e Initial load
duke
parents:
diff changeset
248 caller,
a61af66fc99e Initial load
duke
parents:
diff changeset
249 iframe(),
a61af66fc99e Initial load
duke
parents:
diff changeset
250 is_top_frame);
a61af66fc99e Initial load
duke
parents:
diff changeset
251
a61af66fc99e Initial load
duke
parents:
diff changeset
252 // Update the pc in the frame object and overwrite the temporary pc
a61af66fc99e Initial load
duke
parents:
diff changeset
253 // we placed in the skeletal frame now that we finally know the
a61af66fc99e Initial load
duke
parents:
diff changeset
254 // exact interpreter address we should use.
a61af66fc99e Initial load
duke
parents:
diff changeset
255
a61af66fc99e Initial load
duke
parents:
diff changeset
256 _frame.patch_pc(thread, pc);
a61af66fc99e Initial load
duke
parents:
diff changeset
257
a61af66fc99e Initial load
duke
parents:
diff changeset
258 assert (!method()->is_synchronized() || locks > 0, "synchronized methods must have monitors");
a61af66fc99e Initial load
duke
parents:
diff changeset
259
a61af66fc99e Initial load
duke
parents:
diff changeset
260 BasicObjectLock* top = iframe()->interpreter_frame_monitor_begin();
a61af66fc99e Initial load
duke
parents:
diff changeset
261 for (int index = 0; index < locks; index++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
262 top = iframe()->previous_monitor_in_interpreter_frame(top);
a61af66fc99e Initial load
duke
parents:
diff changeset
263 BasicObjectLock* src = _monitors->at(index);
a61af66fc99e Initial load
duke
parents:
diff changeset
264 top->set_obj(src->obj());
a61af66fc99e Initial load
duke
parents:
diff changeset
265 src->lock()->move_to(src->obj(), top->lock());
a61af66fc99e Initial load
duke
parents:
diff changeset
266 }
a61af66fc99e Initial load
duke
parents:
diff changeset
267 if (ProfileInterpreter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
268 iframe()->interpreter_frame_set_mdx(0); // clear out the mdp.
a61af66fc99e Initial load
duke
parents:
diff changeset
269 }
a61af66fc99e Initial load
duke
parents:
diff changeset
270 iframe()->interpreter_frame_set_bcx((intptr_t)bcp); // cannot use bcp because frame is not initialized yet
a61af66fc99e Initial load
duke
parents:
diff changeset
271 if (ProfileInterpreter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
272 methodDataOop mdo = method()->method_data();
a61af66fc99e Initial load
duke
parents:
diff changeset
273 if (mdo != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
274 int bci = iframe()->interpreter_frame_bci();
a61af66fc99e Initial load
duke
parents:
diff changeset
275 if (use_next_mdp) ++bci;
a61af66fc99e Initial load
duke
parents:
diff changeset
276 address mdp = mdo->bci_to_dp(bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
277 iframe()->interpreter_frame_set_mdp(mdp);
a61af66fc99e Initial load
duke
parents:
diff changeset
278 }
a61af66fc99e Initial load
duke
parents:
diff changeset
279 }
a61af66fc99e Initial load
duke
parents:
diff changeset
280
a61af66fc99e Initial load
duke
parents:
diff changeset
281 // Unpack expression stack
a61af66fc99e Initial load
duke
parents:
diff changeset
282 // If this is an intermediate frame (i.e. not top frame) then this
a61af66fc99e Initial load
duke
parents:
diff changeset
283 // only unpacks the part of the expression stack not used by callee
a61af66fc99e Initial load
duke
parents:
diff changeset
284 // as parameters. The callee parameters are unpacked as part of the
a61af66fc99e Initial load
duke
parents:
diff changeset
285 // callee locals.
a61af66fc99e Initial load
duke
parents:
diff changeset
286 int i;
a61af66fc99e Initial load
duke
parents:
diff changeset
287 for(i = 0; i < expressions()->size(); i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
288 StackValue *value = expressions()->at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
289 intptr_t* addr = iframe()->interpreter_frame_expression_stack_at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
290 switch(value->type()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
291 case T_INT:
a61af66fc99e Initial load
duke
parents:
diff changeset
292 *addr = value->get_int();
a61af66fc99e Initial load
duke
parents:
diff changeset
293 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
294 case T_OBJECT:
a61af66fc99e Initial load
duke
parents:
diff changeset
295 *addr = value->get_int(T_OBJECT);
a61af66fc99e Initial load
duke
parents:
diff changeset
296 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
297 case T_CONFLICT:
a61af66fc99e Initial load
duke
parents:
diff changeset
298 // A dead stack slot. Initialize to null in case it is an oop.
a61af66fc99e Initial load
duke
parents:
diff changeset
299 *addr = NULL_WORD;
a61af66fc99e Initial load
duke
parents:
diff changeset
300 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
301 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
302 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
303 }
a61af66fc99e Initial load
duke
parents:
diff changeset
304 if (TaggedStackInterpreter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
305 // Write tag to the stack
a61af66fc99e Initial load
duke
parents:
diff changeset
306 iframe()->interpreter_frame_set_expression_stack_tag(i,
a61af66fc99e Initial load
duke
parents:
diff changeset
307 frame::tag_for_basic_type(value->type()));
a61af66fc99e Initial load
duke
parents:
diff changeset
308 }
a61af66fc99e Initial load
duke
parents:
diff changeset
309 }
a61af66fc99e Initial load
duke
parents:
diff changeset
310
a61af66fc99e Initial load
duke
parents:
diff changeset
311
a61af66fc99e Initial load
duke
parents:
diff changeset
312 // Unpack the locals
a61af66fc99e Initial load
duke
parents:
diff changeset
313 for(i = 0; i < locals()->size(); i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
314 StackValue *value = locals()->at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
315 intptr_t* addr = iframe()->interpreter_frame_local_at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
316 switch(value->type()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
317 case T_INT:
a61af66fc99e Initial load
duke
parents:
diff changeset
318 *addr = value->get_int();
a61af66fc99e Initial load
duke
parents:
diff changeset
319 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
320 case T_OBJECT:
a61af66fc99e Initial load
duke
parents:
diff changeset
321 *addr = value->get_int(T_OBJECT);
a61af66fc99e Initial load
duke
parents:
diff changeset
322 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
323 case T_CONFLICT:
a61af66fc99e Initial load
duke
parents:
diff changeset
324 // A dead location. If it is an oop then we need a NULL to prevent GC from following it
a61af66fc99e Initial load
duke
parents:
diff changeset
325 *addr = NULL_WORD;
a61af66fc99e Initial load
duke
parents:
diff changeset
326 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
327 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
328 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
329 }
a61af66fc99e Initial load
duke
parents:
diff changeset
330 if (TaggedStackInterpreter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
331 // Write tag to stack
a61af66fc99e Initial load
duke
parents:
diff changeset
332 iframe()->interpreter_frame_set_local_tag(i,
a61af66fc99e Initial load
duke
parents:
diff changeset
333 frame::tag_for_basic_type(value->type()));
a61af66fc99e Initial load
duke
parents:
diff changeset
334 }
a61af66fc99e Initial load
duke
parents:
diff changeset
335 }
a61af66fc99e Initial load
duke
parents:
diff changeset
336
a61af66fc99e Initial load
duke
parents:
diff changeset
337 if (is_top_frame && JvmtiExport::can_pop_frame() && thread->popframe_forcing_deopt_reexecution()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
338 // An interpreted frame was popped but it returns to a deoptimized
a61af66fc99e Initial load
duke
parents:
diff changeset
339 // frame. The incoming arguments to the interpreted activation
a61af66fc99e Initial load
duke
parents:
diff changeset
340 // were preserved in thread-local storage by the
a61af66fc99e Initial load
duke
parents:
diff changeset
341 // remove_activation_preserving_args_entry in the interpreter; now
a61af66fc99e Initial load
duke
parents:
diff changeset
342 // we put them back into the just-unpacked interpreter frame.
a61af66fc99e Initial load
duke
parents:
diff changeset
343 // Note that this assumes that the locals arena grows toward lower
a61af66fc99e Initial load
duke
parents:
diff changeset
344 // addresses.
a61af66fc99e Initial load
duke
parents:
diff changeset
345 if (popframe_preserved_args_size_in_words != 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
346 void* saved_args = thread->popframe_preserved_args();
a61af66fc99e Initial load
duke
parents:
diff changeset
347 assert(saved_args != NULL, "must have been saved by interpreter");
a61af66fc99e Initial load
duke
parents:
diff changeset
348 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
349 int stack_words = Interpreter::stackElementWords();
a61af66fc99e Initial load
duke
parents:
diff changeset
350 assert(popframe_preserved_args_size_in_words <=
a61af66fc99e Initial load
duke
parents:
diff changeset
351 iframe()->interpreter_frame_expression_stack_size()*stack_words,
a61af66fc99e Initial load
duke
parents:
diff changeset
352 "expression stack size should have been extended");
a61af66fc99e Initial load
duke
parents:
diff changeset
353 #endif // ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
354 int top_element = iframe()->interpreter_frame_expression_stack_size()-1;
a61af66fc99e Initial load
duke
parents:
diff changeset
355 intptr_t* base;
a61af66fc99e Initial load
duke
parents:
diff changeset
356 if (frame::interpreter_frame_expression_stack_direction() < 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
357 base = iframe()->interpreter_frame_expression_stack_at(top_element);
a61af66fc99e Initial load
duke
parents:
diff changeset
358 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
359 base = iframe()->interpreter_frame_expression_stack();
a61af66fc99e Initial load
duke
parents:
diff changeset
360 }
a61af66fc99e Initial load
duke
parents:
diff changeset
361 Copy::conjoint_bytes(saved_args,
a61af66fc99e Initial load
duke
parents:
diff changeset
362 base,
a61af66fc99e Initial load
duke
parents:
diff changeset
363 popframe_preserved_args_size_in_bytes);
a61af66fc99e Initial load
duke
parents:
diff changeset
364 thread->popframe_free_preserved_args();
a61af66fc99e Initial load
duke
parents:
diff changeset
365 }
a61af66fc99e Initial load
duke
parents:
diff changeset
366 }
a61af66fc99e Initial load
duke
parents:
diff changeset
367
a61af66fc99e Initial load
duke
parents:
diff changeset
368 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
369 if (TraceDeoptimization && Verbose) {
a61af66fc99e Initial load
duke
parents:
diff changeset
370 ttyLocker ttyl;
a61af66fc99e Initial load
duke
parents:
diff changeset
371 tty->print_cr("[%d Interpreted Frame]", ++unpack_counter);
a61af66fc99e Initial load
duke
parents:
diff changeset
372 iframe()->print_on(tty);
a61af66fc99e Initial load
duke
parents:
diff changeset
373 RegisterMap map(thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
374 vframe* f = vframe::new_vframe(iframe(), &map, thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
375 f->print();
a61af66fc99e Initial load
duke
parents:
diff changeset
376 iframe()->interpreter_frame_print_on(tty);
a61af66fc99e Initial load
duke
parents:
diff changeset
377
a61af66fc99e Initial load
duke
parents:
diff changeset
378 tty->print_cr("locals size %d", locals()->size());
a61af66fc99e Initial load
duke
parents:
diff changeset
379 tty->print_cr("expression size %d", expressions()->size());
a61af66fc99e Initial load
duke
parents:
diff changeset
380
a61af66fc99e Initial load
duke
parents:
diff changeset
381 method()->print_value();
a61af66fc99e Initial load
duke
parents:
diff changeset
382 tty->cr();
a61af66fc99e Initial load
duke
parents:
diff changeset
383 // method()->print_codes();
a61af66fc99e Initial load
duke
parents:
diff changeset
384 } else if (TraceDeoptimization) {
a61af66fc99e Initial load
duke
parents:
diff changeset
385 tty->print(" ");
a61af66fc99e Initial load
duke
parents:
diff changeset
386 method()->print_value();
a61af66fc99e Initial load
duke
parents:
diff changeset
387 Bytecodes::Code code = Bytecodes::java_code_at(bcp);
a61af66fc99e Initial load
duke
parents:
diff changeset
388 int bci = method()->bci_from(bcp);
a61af66fc99e Initial load
duke
parents:
diff changeset
389 tty->print(" - %s", Bytecodes::name(code));
a61af66fc99e Initial load
duke
parents:
diff changeset
390 tty->print(" @ bci %d ", bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
391 tty->print_cr("sp = " PTR_FORMAT, iframe()->sp());
a61af66fc99e Initial load
duke
parents:
diff changeset
392 }
a61af66fc99e Initial load
duke
parents:
diff changeset
393 #endif // PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
394
a61af66fc99e Initial load
duke
parents:
diff changeset
395 // The expression stack and locals are in the resource area don't leave
a61af66fc99e Initial load
duke
parents:
diff changeset
396 // a dangling pointer in the vframeArray we leave around for debug
a61af66fc99e Initial load
duke
parents:
diff changeset
397 // purposes
a61af66fc99e Initial load
duke
parents:
diff changeset
398
a61af66fc99e Initial load
duke
parents:
diff changeset
399 _locals = _expressions = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
400
a61af66fc99e Initial load
duke
parents:
diff changeset
401 }
a61af66fc99e Initial load
duke
parents:
diff changeset
402
a61af66fc99e Initial load
duke
parents:
diff changeset
403 int vframeArrayElement::on_stack_size(int callee_parameters,
a61af66fc99e Initial load
duke
parents:
diff changeset
404 int callee_locals,
a61af66fc99e Initial load
duke
parents:
diff changeset
405 bool is_top_frame,
a61af66fc99e Initial load
duke
parents:
diff changeset
406 int popframe_extra_stack_expression_els) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
407 assert(method()->max_locals() == locals()->size(), "just checking");
a61af66fc99e Initial load
duke
parents:
diff changeset
408 int locks = monitors() == NULL ? 0 : monitors()->number_of_monitors();
a61af66fc99e Initial load
duke
parents:
diff changeset
409 int temps = expressions()->size();
a61af66fc99e Initial load
duke
parents:
diff changeset
410 return Interpreter::size_activation(method(),
a61af66fc99e Initial load
duke
parents:
diff changeset
411 temps + callee_parameters,
a61af66fc99e Initial load
duke
parents:
diff changeset
412 popframe_extra_stack_expression_els,
a61af66fc99e Initial load
duke
parents:
diff changeset
413 locks,
a61af66fc99e Initial load
duke
parents:
diff changeset
414 callee_parameters,
a61af66fc99e Initial load
duke
parents:
diff changeset
415 callee_locals,
a61af66fc99e Initial load
duke
parents:
diff changeset
416 is_top_frame);
a61af66fc99e Initial load
duke
parents:
diff changeset
417 }
a61af66fc99e Initial load
duke
parents:
diff changeset
418
a61af66fc99e Initial load
duke
parents:
diff changeset
419
a61af66fc99e Initial load
duke
parents:
diff changeset
420
a61af66fc99e Initial load
duke
parents:
diff changeset
421 vframeArray* vframeArray::allocate(JavaThread* thread, int frame_size, GrowableArray<compiledVFrame*>* chunk,
a61af66fc99e Initial load
duke
parents:
diff changeset
422 RegisterMap *reg_map, frame sender, frame caller, frame self) {
a61af66fc99e Initial load
duke
parents:
diff changeset
423
a61af66fc99e Initial load
duke
parents:
diff changeset
424 // Allocate the vframeArray
a61af66fc99e Initial load
duke
parents:
diff changeset
425 vframeArray * result = (vframeArray*) AllocateHeap(sizeof(vframeArray) + // fixed part
a61af66fc99e Initial load
duke
parents:
diff changeset
426 sizeof(vframeArrayElement) * (chunk->length() - 1), // variable part
a61af66fc99e Initial load
duke
parents:
diff changeset
427 "vframeArray::allocate");
a61af66fc99e Initial load
duke
parents:
diff changeset
428 result->_frames = chunk->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
429 result->_owner_thread = thread;
a61af66fc99e Initial load
duke
parents:
diff changeset
430 result->_sender = sender;
a61af66fc99e Initial load
duke
parents:
diff changeset
431 result->_caller = caller;
a61af66fc99e Initial load
duke
parents:
diff changeset
432 result->_original = self;
a61af66fc99e Initial load
duke
parents:
diff changeset
433 result->set_unroll_block(NULL); // initialize it
a61af66fc99e Initial load
duke
parents:
diff changeset
434 result->fill_in(thread, frame_size, chunk, reg_map);
a61af66fc99e Initial load
duke
parents:
diff changeset
435 return result;
a61af66fc99e Initial load
duke
parents:
diff changeset
436 }
a61af66fc99e Initial load
duke
parents:
diff changeset
437
a61af66fc99e Initial load
duke
parents:
diff changeset
438 void vframeArray::fill_in(JavaThread* thread,
a61af66fc99e Initial load
duke
parents:
diff changeset
439 int frame_size,
a61af66fc99e Initial load
duke
parents:
diff changeset
440 GrowableArray<compiledVFrame*>* chunk,
a61af66fc99e Initial load
duke
parents:
diff changeset
441 const RegisterMap *reg_map) {
a61af66fc99e Initial load
duke
parents:
diff changeset
442 // Set owner first, it is used when adding monitor chunks
a61af66fc99e Initial load
duke
parents:
diff changeset
443
a61af66fc99e Initial load
duke
parents:
diff changeset
444 _frame_size = frame_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
445 for(int i = 0; i < chunk->length(); i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
446 element(i)->fill_in(chunk->at(i));
a61af66fc99e Initial load
duke
parents:
diff changeset
447 }
a61af66fc99e Initial load
duke
parents:
diff changeset
448
a61af66fc99e Initial load
duke
parents:
diff changeset
449 // Copy registers for callee-saved registers
a61af66fc99e Initial load
duke
parents:
diff changeset
450 if (reg_map != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
451 for(int i = 0; i < RegisterMap::reg_count; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
452 #ifdef AMD64
a61af66fc99e Initial load
duke
parents:
diff changeset
453 // The register map has one entry for every int (32-bit value), so
a61af66fc99e Initial load
duke
parents:
diff changeset
454 // 64-bit physical registers have two entries in the map, one for
a61af66fc99e Initial load
duke
parents:
diff changeset
455 // each half. Ignore the high halves of 64-bit registers, just like
a61af66fc99e Initial load
duke
parents:
diff changeset
456 // frame::oopmapreg_to_location does.
a61af66fc99e Initial load
duke
parents:
diff changeset
457 //
a61af66fc99e Initial load
duke
parents:
diff changeset
458 // [phh] FIXME: this is a temporary hack! This code *should* work
a61af66fc99e Initial load
duke
parents:
diff changeset
459 // correctly w/o this hack, possibly by changing RegisterMap::pd_location
a61af66fc99e Initial load
duke
parents:
diff changeset
460 // in frame_amd64.cpp and the values of the phantom high half registers
a61af66fc99e Initial load
duke
parents:
diff changeset
461 // in amd64.ad.
a61af66fc99e Initial load
duke
parents:
diff changeset
462 // if (VMReg::Name(i) < SharedInfo::stack0 && is_even(i)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
463 intptr_t* src = (intptr_t*) reg_map->location(VMRegImpl::as_VMReg(i));
a61af66fc99e Initial load
duke
parents:
diff changeset
464 _callee_registers[i] = src != NULL ? *src : NULL_WORD;
a61af66fc99e Initial load
duke
parents:
diff changeset
465 // } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
466 // jint* src = (jint*) reg_map->location(VMReg::Name(i));
a61af66fc99e Initial load
duke
parents:
diff changeset
467 // _callee_registers[i] = src != NULL ? *src : NULL_WORD;
a61af66fc99e Initial load
duke
parents:
diff changeset
468 // }
a61af66fc99e Initial load
duke
parents:
diff changeset
469 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
470 jint* src = (jint*) reg_map->location(VMRegImpl::as_VMReg(i));
a61af66fc99e Initial load
duke
parents:
diff changeset
471 _callee_registers[i] = src != NULL ? *src : NULL_WORD;
a61af66fc99e Initial load
duke
parents:
diff changeset
472 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
473 if (src == NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
474 set_location_valid(i, false);
a61af66fc99e Initial load
duke
parents:
diff changeset
475 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
476 set_location_valid(i, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
477 jint* dst = (jint*) register_location(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
478 *dst = *src;
a61af66fc99e Initial load
duke
parents:
diff changeset
479 }
a61af66fc99e Initial load
duke
parents:
diff changeset
480 }
a61af66fc99e Initial load
duke
parents:
diff changeset
481 }
a61af66fc99e Initial load
duke
parents:
diff changeset
482 }
a61af66fc99e Initial load
duke
parents:
diff changeset
483
a61af66fc99e Initial load
duke
parents:
diff changeset
484 void vframeArray::unpack_to_stack(frame &unpack_frame, int exec_mode) {
a61af66fc99e Initial load
duke
parents:
diff changeset
485 // stack picture
a61af66fc99e Initial load
duke
parents:
diff changeset
486 // unpack_frame
a61af66fc99e Initial load
duke
parents:
diff changeset
487 // [new interpreter frames ] (frames are skeletal but walkable)
a61af66fc99e Initial load
duke
parents:
diff changeset
488 // caller_frame
a61af66fc99e Initial load
duke
parents:
diff changeset
489 //
a61af66fc99e Initial load
duke
parents:
diff changeset
490 // This routine fills in the missing data for the skeletal interpreter frames
a61af66fc99e Initial load
duke
parents:
diff changeset
491 // in the above picture.
a61af66fc99e Initial load
duke
parents:
diff changeset
492
a61af66fc99e Initial load
duke
parents:
diff changeset
493 // Find the skeletal interpreter frames to unpack into
a61af66fc99e Initial load
duke
parents:
diff changeset
494 RegisterMap map(JavaThread::current(), false);
a61af66fc99e Initial load
duke
parents:
diff changeset
495 // Get the youngest frame we will unpack (last to be unpacked)
a61af66fc99e Initial load
duke
parents:
diff changeset
496 frame me = unpack_frame.sender(&map);
a61af66fc99e Initial load
duke
parents:
diff changeset
497 int index;
a61af66fc99e Initial load
duke
parents:
diff changeset
498 for (index = 0; index < frames(); index++ ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
499 *element(index)->iframe() = me;
a61af66fc99e Initial load
duke
parents:
diff changeset
500 // Get the caller frame (possibly skeletal)
a61af66fc99e Initial load
duke
parents:
diff changeset
501 me = me.sender(&map);
a61af66fc99e Initial load
duke
parents:
diff changeset
502 }
a61af66fc99e Initial load
duke
parents:
diff changeset
503
a61af66fc99e Initial load
duke
parents:
diff changeset
504 frame caller_frame = me;
a61af66fc99e Initial load
duke
parents:
diff changeset
505
a61af66fc99e Initial load
duke
parents:
diff changeset
506 // Do the unpacking of interpreter frames; the frame at index 0 represents the top activation, so it has no callee
a61af66fc99e Initial load
duke
parents:
diff changeset
507
a61af66fc99e Initial load
duke
parents:
diff changeset
508 // Unpack the frames from the oldest (frames() -1) to the youngest (0)
a61af66fc99e Initial load
duke
parents:
diff changeset
509
a61af66fc99e Initial load
duke
parents:
diff changeset
510 for (index = frames() - 1; index >= 0 ; index--) {
a61af66fc99e Initial load
duke
parents:
diff changeset
511 int callee_parameters = index == 0 ? 0 : element(index-1)->method()->size_of_parameters();
a61af66fc99e Initial load
duke
parents:
diff changeset
512 int callee_locals = index == 0 ? 0 : element(index-1)->method()->max_locals();
a61af66fc99e Initial load
duke
parents:
diff changeset
513 element(index)->unpack_on_stack(callee_parameters,
a61af66fc99e Initial load
duke
parents:
diff changeset
514 callee_locals,
a61af66fc99e Initial load
duke
parents:
diff changeset
515 &caller_frame,
a61af66fc99e Initial load
duke
parents:
diff changeset
516 index == 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
517 exec_mode);
a61af66fc99e Initial load
duke
parents:
diff changeset
518 if (index == frames() - 1) {
a61af66fc99e Initial load
duke
parents:
diff changeset
519 Deoptimization::unwind_callee_save_values(element(index)->iframe(), this);
a61af66fc99e Initial load
duke
parents:
diff changeset
520 }
a61af66fc99e Initial load
duke
parents:
diff changeset
521 caller_frame = *element(index)->iframe();
a61af66fc99e Initial load
duke
parents:
diff changeset
522 }
a61af66fc99e Initial load
duke
parents:
diff changeset
523
a61af66fc99e Initial load
duke
parents:
diff changeset
524
a61af66fc99e Initial load
duke
parents:
diff changeset
525 deallocate_monitor_chunks();
a61af66fc99e Initial load
duke
parents:
diff changeset
526 }
a61af66fc99e Initial load
duke
parents:
diff changeset
527
a61af66fc99e Initial load
duke
parents:
diff changeset
528 void vframeArray::deallocate_monitor_chunks() {
a61af66fc99e Initial load
duke
parents:
diff changeset
529 JavaThread* jt = JavaThread::current();
a61af66fc99e Initial load
duke
parents:
diff changeset
530 for (int index = 0; index < frames(); index++ ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
531 element(index)->free_monitors(jt);
a61af66fc99e Initial load
duke
parents:
diff changeset
532 }
a61af66fc99e Initial load
duke
parents:
diff changeset
533 }
a61af66fc99e Initial load
duke
parents:
diff changeset
534
a61af66fc99e Initial load
duke
parents:
diff changeset
535 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
536
a61af66fc99e Initial load
duke
parents:
diff changeset
537 bool vframeArray::structural_compare(JavaThread* thread, GrowableArray<compiledVFrame*>* chunk) {
a61af66fc99e Initial load
duke
parents:
diff changeset
538 if (owner_thread() != thread) return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
539 int index = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
540 #if 0 // FIXME can't do this comparison
a61af66fc99e Initial load
duke
parents:
diff changeset
541
a61af66fc99e Initial load
duke
parents:
diff changeset
542 // Compare only within vframe array.
a61af66fc99e Initial load
duke
parents:
diff changeset
543 for (deoptimizedVFrame* vf = deoptimizedVFrame::cast(vframe_at(first_index())); vf; vf = vf->deoptimized_sender_or_null()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
544 if (index >= chunk->length() || !vf->structural_compare(chunk->at(index))) return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
545 index++;
a61af66fc99e Initial load
duke
parents:
diff changeset
546 }
a61af66fc99e Initial load
duke
parents:
diff changeset
547 if (index != chunk->length()) return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
548 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
549
a61af66fc99e Initial load
duke
parents:
diff changeset
550 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
551 }
a61af66fc99e Initial load
duke
parents:
diff changeset
552
a61af66fc99e Initial load
duke
parents:
diff changeset
553 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
554
a61af66fc99e Initial load
duke
parents:
diff changeset
555 address vframeArray::register_location(int i) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
556 assert(0 <= i && i < RegisterMap::reg_count, "index out of bounds");
a61af66fc99e Initial load
duke
parents:
diff changeset
557 return (address) & _callee_registers[i];
a61af66fc99e Initial load
duke
parents:
diff changeset
558 }
a61af66fc99e Initial load
duke
parents:
diff changeset
559
a61af66fc99e Initial load
duke
parents:
diff changeset
560
a61af66fc99e Initial load
duke
parents:
diff changeset
561 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
562
a61af66fc99e Initial load
duke
parents:
diff changeset
563 // Printing
a61af66fc99e Initial load
duke
parents:
diff changeset
564
a61af66fc99e Initial load
duke
parents:
diff changeset
565 // Note: we cannot have print_on as const, as we allocate inside the method
a61af66fc99e Initial load
duke
parents:
diff changeset
566 void vframeArray::print_on_2(outputStream* st) {
a61af66fc99e Initial load
duke
parents:
diff changeset
567 st->print_cr(" - sp: " INTPTR_FORMAT, sp());
a61af66fc99e Initial load
duke
parents:
diff changeset
568 st->print(" - thread: ");
a61af66fc99e Initial load
duke
parents:
diff changeset
569 Thread::current()->print();
a61af66fc99e Initial load
duke
parents:
diff changeset
570 st->print_cr(" - frame size: %d", frame_size());
a61af66fc99e Initial load
duke
parents:
diff changeset
571 for (int index = 0; index < frames() ; index++ ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
572 element(index)->print(st);
a61af66fc99e Initial load
duke
parents:
diff changeset
573 }
a61af66fc99e Initial load
duke
parents:
diff changeset
574 }
a61af66fc99e Initial load
duke
parents:
diff changeset
575
a61af66fc99e Initial load
duke
parents:
diff changeset
576 void vframeArrayElement::print(outputStream* st) {
a61af66fc99e Initial load
duke
parents:
diff changeset
577 st->print_cr(" - interpreter_frame -> sp: ", INTPTR_FORMAT, iframe()->sp());
a61af66fc99e Initial load
duke
parents:
diff changeset
578 }
a61af66fc99e Initial load
duke
parents:
diff changeset
579
a61af66fc99e Initial load
duke
parents:
diff changeset
580 void vframeArray::print_value_on(outputStream* st) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
581 st->print_cr("vframeArray [%d] ", frames());
a61af66fc99e Initial load
duke
parents:
diff changeset
582 }
a61af66fc99e Initial load
duke
parents:
diff changeset
583
a61af66fc99e Initial load
duke
parents:
diff changeset
584
a61af66fc99e Initial load
duke
parents:
diff changeset
585 #endif