0
|
1 /*
|
|
2 * Copyright 1997-2006 Sun Microsystems, Inc. All Rights Reserved.
|
|
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 *
|
|
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
|
|
20 * CA 95054 USA or visit www.sun.com if you need additional information or
|
|
21 * have any questions.
|
|
22 *
|
|
23 */
|
|
24
|
|
25 # include "incls/_precompiled.incl"
|
|
26 # include "incls/_vframe_hp.cpp.incl"
|
|
27
|
|
28
|
|
29 // ------------- compiledVFrame --------------
|
|
30
|
|
31 StackValueCollection* compiledVFrame::locals() const {
|
|
32 // Natives has no scope
|
|
33 if (scope() == NULL) return new StackValueCollection(0);
|
|
34 GrowableArray<ScopeValue*>* scv_list = scope()->locals();
|
|
35 if (scv_list == NULL) return new StackValueCollection(0);
|
|
36
|
|
37 // scv_list is the list of ScopeValues describing the JVM stack state.
|
|
38 // There is one scv_list entry for every JVM stack state in use.
|
|
39 int length = scv_list->length();
|
|
40 StackValueCollection* result = new StackValueCollection(length);
|
|
41 // In rare instances set_locals may have occurred in which case
|
|
42 // there are local values that are not described by the ScopeValue anymore
|
|
43 GrowableArray<jvmtiDeferredLocalVariable*>* deferred = NULL;
|
|
44 GrowableArray<jvmtiDeferredLocalVariableSet*>* list = thread()->deferred_locals();
|
|
45 if (list != NULL ) {
|
|
46 // In real life this never happens or is typically a single element search
|
|
47 for (int i = 0; i < list->length(); i++) {
|
|
48 if (list->at(i)->matches((vframe*)this)) {
|
|
49 deferred = list->at(i)->locals();
|
|
50 break;
|
|
51 }
|
|
52 }
|
|
53 }
|
|
54
|
|
55 for( int i = 0; i < length; i++ ) {
|
|
56 result->add( create_stack_value(scv_list->at(i)) );
|
|
57 }
|
|
58
|
|
59 // Replace specified locals with any deferred writes that are present
|
|
60 if (deferred != NULL) {
|
|
61 for ( int l = 0; l < deferred->length() ; l ++) {
|
|
62 jvmtiDeferredLocalVariable* val = deferred->at(l);
|
|
63 switch (val->type()) {
|
|
64 case T_BOOLEAN:
|
|
65 result->set_int_at(val->index(), val->value().z);
|
|
66 break;
|
|
67 case T_CHAR:
|
|
68 result->set_int_at(val->index(), val->value().c);
|
|
69 break;
|
|
70 case T_FLOAT:
|
|
71 result->set_float_at(val->index(), val->value().f);
|
|
72 break;
|
|
73 case T_DOUBLE:
|
|
74 result->set_double_at(val->index(), val->value().d);
|
|
75 break;
|
|
76 case T_BYTE:
|
|
77 result->set_int_at(val->index(), val->value().b);
|
|
78 break;
|
|
79 case T_SHORT:
|
|
80 result->set_int_at(val->index(), val->value().s);
|
|
81 break;
|
|
82 case T_INT:
|
|
83 result->set_int_at(val->index(), val->value().i);
|
|
84 break;
|
|
85 case T_LONG:
|
|
86 result->set_long_at(val->index(), val->value().j);
|
|
87 break;
|
|
88 case T_OBJECT:
|
|
89 {
|
|
90 Handle obj((oop)val->value().l);
|
|
91 result->set_obj_at(val->index(), obj);
|
|
92 }
|
|
93 break;
|
|
94 default:
|
|
95 ShouldNotReachHere();
|
|
96 }
|
|
97 }
|
|
98 }
|
|
99
|
|
100 return result;
|
|
101 }
|
|
102
|
|
103
|
|
104 void compiledVFrame::set_locals(StackValueCollection* values) const {
|
|
105
|
|
106 fatal("Should use update_local for each local update");
|
|
107 }
|
|
108
|
|
109 void compiledVFrame::update_local(BasicType type, int index, jvalue value) {
|
|
110
|
|
111 #ifdef ASSERT
|
|
112
|
|
113 assert(fr().is_deoptimized_frame(), "frame must be scheduled for deoptimization");
|
|
114 #endif /* ASSERT */
|
|
115 GrowableArray<jvmtiDeferredLocalVariableSet*>* deferred = thread()->deferred_locals();
|
|
116 if (deferred != NULL ) {
|
|
117 // See if this vframe has already had locals with deferred writes
|
|
118 int f;
|
|
119 for ( f = 0 ; f < deferred->length() ; f++ ) {
|
|
120 if (deferred->at(f)->matches(this)) {
|
|
121 // Matching, vframe now see if the local already had deferred write
|
|
122 GrowableArray<jvmtiDeferredLocalVariable*>* locals = deferred->at(f)->locals();
|
|
123 int l;
|
|
124 for (l = 0 ; l < locals->length() ; l++ ) {
|
|
125 if (locals->at(l)->index() == index) {
|
|
126 locals->at(l)->set_value(value);
|
|
127 return;
|
|
128 }
|
|
129 }
|
|
130 // No matching local already present. Push a new value onto the deferred collection
|
|
131 locals->push(new jvmtiDeferredLocalVariable(index, type, value));
|
|
132 return;
|
|
133 }
|
|
134 }
|
|
135 // No matching vframe must push a new vframe
|
|
136 } else {
|
|
137 // No deferred updates pending for this thread.
|
|
138 // allocate in C heap
|
|
139 deferred = new(ResourceObj::C_HEAP) GrowableArray<jvmtiDeferredLocalVariableSet*> (1, true);
|
|
140 thread()->set_deferred_locals(deferred);
|
|
141 }
|
|
142 deferred->push(new jvmtiDeferredLocalVariableSet(method(), bci(), fr().id()));
|
|
143 assert(deferred->top()->id() == fr().id(), "Huh? Must match");
|
|
144 deferred->top()->set_local_at(index, type, value);
|
|
145 }
|
|
146
|
|
147 StackValueCollection* compiledVFrame::expressions() const {
|
|
148 // Natives has no scope
|
|
149 if (scope() == NULL) return new StackValueCollection(0);
|
|
150 GrowableArray<ScopeValue*>* scv_list = scope()->expressions();
|
|
151 if (scv_list == NULL) return new StackValueCollection(0);
|
|
152
|
|
153 // scv_list is the list of ScopeValues describing the JVM stack state.
|
|
154 // There is one scv_list entry for every JVM stack state in use.
|
|
155 int length = scv_list->length();
|
|
156 StackValueCollection* result = new StackValueCollection(length);
|
|
157 for( int i = 0; i < length; i++ )
|
|
158 result->add( create_stack_value(scv_list->at(i)) );
|
|
159
|
|
160 return result;
|
|
161 }
|
|
162
|
|
163
|
|
164 // The implementation of the following two methods was factorized into the
|
|
165 // class StackValue because it is also used from within deoptimization.cpp for
|
|
166 // rematerialization and relocking of non-escaping objects.
|
|
167
|
|
168 StackValue *compiledVFrame::create_stack_value(ScopeValue *sv) const {
|
|
169 return StackValue::create_stack_value(&_fr, register_map(), sv);
|
|
170 }
|
|
171
|
|
172 BasicLock* compiledVFrame::resolve_monitor_lock(Location location) const {
|
|
173 return StackValue::resolve_monitor_lock(&_fr, location);
|
|
174 }
|
|
175
|
|
176
|
|
177 GrowableArray<MonitorInfo*>* compiledVFrame::monitors() const {
|
|
178 // Natives has no scope
|
|
179 if (scope() == NULL) {
|
|
180 nmethod* nm = code();
|
|
181 methodOop method = nm->method();
|
|
182 assert(method->is_native(), "");
|
|
183 if (!method->is_synchronized()) {
|
|
184 return new GrowableArray<MonitorInfo*>(0);
|
|
185 }
|
|
186 // This monitor is really only needed for UseBiasedLocking, but
|
|
187 // return it in all cases for now as it might be useful for stack
|
|
188 // traces and tools as well
|
|
189 GrowableArray<MonitorInfo*> *monitors = new GrowableArray<MonitorInfo*>(1);
|
|
190 // Casting away const
|
|
191 frame& fr = (frame&) _fr;
|
|
192 MonitorInfo* info = new MonitorInfo(fr.compiled_synchronized_native_monitor_owner(nm),
|
|
193 fr.compiled_synchronized_native_monitor(nm));
|
|
194 monitors->push(info);
|
|
195 return monitors;
|
|
196 }
|
|
197 GrowableArray<MonitorValue*>* monitors = scope()->monitors();
|
|
198 if (monitors == NULL) {
|
|
199 return new GrowableArray<MonitorInfo*>(0);
|
|
200 }
|
|
201 GrowableArray<MonitorInfo*>* result = new GrowableArray<MonitorInfo*>(monitors->length());
|
|
202 for (int index = 0; index < monitors->length(); index++) {
|
|
203 MonitorValue* mv = monitors->at(index);
|
|
204 StackValue *owner_sv = create_stack_value(mv->owner()); // it is an oop
|
|
205 result->push(new MonitorInfo(owner_sv->get_obj()(), resolve_monitor_lock(mv->basic_lock())));
|
|
206 }
|
|
207 return result;
|
|
208 }
|
|
209
|
|
210
|
|
211 compiledVFrame::compiledVFrame(const frame* fr, const RegisterMap* reg_map, JavaThread* thread, nmethod* nm)
|
|
212 : javaVFrame(fr, reg_map, thread) {
|
|
213 _scope = NULL;
|
|
214 // Compiled method (native stub or Java code)
|
|
215 // native wrappers have no scope data, it is implied
|
|
216 if (!nm->is_native_method()) {
|
|
217 _scope = nm->scope_desc_at(_fr.pc());
|
|
218 }
|
|
219 }
|
|
220
|
|
221 compiledVFrame::compiledVFrame(const frame* fr, const RegisterMap* reg_map, JavaThread* thread, ScopeDesc* scope)
|
|
222 : javaVFrame(fr, reg_map, thread) {
|
|
223 _scope = scope;
|
|
224 guarantee(_scope != NULL, "scope must be present");
|
|
225 }
|
|
226
|
|
227
|
|
228 bool compiledVFrame::is_top() const {
|
|
229 // FIX IT: Remove this when new native stubs are in place
|
|
230 if (scope() == NULL) return true;
|
|
231 return scope()->is_top();
|
|
232 }
|
|
233
|
|
234
|
|
235 nmethod* compiledVFrame::code() const {
|
|
236 return CodeCache::find_nmethod(_fr.pc());
|
|
237 }
|
|
238
|
|
239
|
|
240 methodOop compiledVFrame::method() const {
|
|
241 if (scope() == NULL) {
|
|
242 // native nmethods have no scope the method is implied
|
|
243 nmethod* nm = code();
|
|
244 assert(nm->is_native_method(), "must be native");
|
|
245 return nm->method();
|
|
246 }
|
|
247 return scope()->method()();
|
|
248 }
|
|
249
|
|
250
|
|
251 int compiledVFrame::bci() const {
|
|
252 int raw = raw_bci();
|
|
253 return raw == SynchronizationEntryBCI ? 0 : raw;
|
|
254 }
|
|
255
|
|
256
|
|
257 int compiledVFrame::raw_bci() const {
|
|
258 if (scope() == NULL) {
|
|
259 // native nmethods have no scope the method/bci is implied
|
|
260 nmethod* nm = code();
|
|
261 assert(nm->is_native_method(), "must be native");
|
|
262 return 0;
|
|
263 }
|
|
264 return scope()->bci();
|
|
265 }
|
|
266
|
|
267
|
|
268 vframe* compiledVFrame::sender() const {
|
|
269 const frame f = fr();
|
|
270 if (scope() == NULL) {
|
|
271 // native nmethods have no scope the method/bci is implied
|
|
272 nmethod* nm = code();
|
|
273 assert(nm->is_native_method(), "must be native");
|
|
274 return vframe::sender();
|
|
275 } else {
|
|
276 return scope()->is_top()
|
|
277 ? vframe::sender()
|
|
278 : new compiledVFrame(&f, register_map(), thread(), scope()->sender());
|
|
279 }
|
|
280 }
|
|
281
|
|
282 jvmtiDeferredLocalVariableSet::jvmtiDeferredLocalVariableSet(methodOop method, int bci, intptr_t* id) {
|
|
283 _method = method;
|
|
284 _bci = bci;
|
|
285 _id = id;
|
|
286 // Alway will need at least one, must be on C heap
|
|
287 _locals = new(ResourceObj::C_HEAP) GrowableArray<jvmtiDeferredLocalVariable*> (1, true);
|
|
288 }
|
|
289
|
|
290 jvmtiDeferredLocalVariableSet::~jvmtiDeferredLocalVariableSet() {
|
|
291 for (int i = 0; i < _locals->length() ; i++ ) {
|
|
292 delete _locals->at(i);
|
|
293 }
|
|
294 // Free growableArray and c heap for elements
|
|
295 delete _locals;
|
|
296 }
|
|
297
|
|
298 bool jvmtiDeferredLocalVariableSet::matches(vframe* vf) {
|
|
299 if (!vf->is_compiled_frame()) return false;
|
|
300 compiledVFrame* cvf = (compiledVFrame*)vf;
|
|
301 return cvf->fr().id() == id() && cvf->method() == method() && cvf->bci() == bci();
|
|
302 }
|
|
303
|
|
304 void jvmtiDeferredLocalVariableSet::set_local_at(int idx, BasicType type, jvalue val) {
|
|
305 int i;
|
|
306 for ( i = 0 ; i < locals()->length() ; i++ ) {
|
|
307 if ( locals()->at(i)->index() == idx) {
|
|
308 assert(locals()->at(i)->type() == type, "Wrong type");
|
|
309 locals()->at(i)->set_value(val);
|
|
310 return;
|
|
311 }
|
|
312 }
|
|
313 locals()->push(new jvmtiDeferredLocalVariable(idx, type, val));
|
|
314 }
|
|
315
|
|
316 void jvmtiDeferredLocalVariableSet::oops_do(OopClosure* f) {
|
|
317
|
|
318 f->do_oop((oop*) &_method);
|
|
319 for ( int i = 0; i < locals()->length(); i++ ) {
|
|
320 if ( locals()->at(i)->type() == T_OBJECT) {
|
|
321 f->do_oop(locals()->at(i)->oop_addr());
|
|
322 }
|
|
323 }
|
|
324 }
|
|
325
|
|
326 jvmtiDeferredLocalVariable::jvmtiDeferredLocalVariable(int index, BasicType type, jvalue value) {
|
|
327 _index = index;
|
|
328 _type = type;
|
|
329 _value = value;
|
|
330 }
|
|
331
|
|
332
|
|
333 #ifndef PRODUCT
|
|
334 void compiledVFrame::verify() const {
|
|
335 Unimplemented();
|
|
336 }
|
|
337 #endif // PRODUCT
|