annotate src/share/vm/runtime/vframeArray.hpp @ 3917:eca1193ca245

4965777: GC changes to support use of discovered field for pending references Summary: If and when the reference handler thread is able to use the discovered field to link reference objects in its pending list, so will GC. In that case, GC will scan through this field once a reference object has been placed on the pending list, but not scan that field before that stage, as the field is used by the concurrent GC thread to link discovered objects. When ReferenceHandleR thread does not use the discovered field for the purpose of linking the elements in the pending list, as would be the case in older JDKs, the JVM will fall back to the old behaviour of using the next field for that purpose. Reviewed-by: jcoomes, mchung, stefank
author ysr
date Wed, 07 Sep 2011 13:55:42 -0700
parents 3d2ab563047a
children f6f3bb0ee072
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
2 * Copyright (c) 1997, 2010, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 948
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 948
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: 948
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
25 #ifndef SHARE_VM_RUNTIME_VFRAMEARRAY_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
26 #define SHARE_VM_RUNTIME_VFRAMEARRAY_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
27
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
28 #include "oops/arrayOop.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
29 #include "runtime/deoptimization.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
30 #include "runtime/frame.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
31 #include "runtime/monitorChunk.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
32 #include "utilities/growableArray.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
33
0
a61af66fc99e Initial load
duke
parents:
diff changeset
34 // A vframeArray is an array used for momentarily storing off stack Java method activations
a61af66fc99e Initial load
duke
parents:
diff changeset
35 // during deoptimization. Essentially it is an array of vframes where each vframe
a61af66fc99e Initial load
duke
parents:
diff changeset
36 // data is stored off stack. This structure will never exist across a safepoint so
a61af66fc99e Initial load
duke
parents:
diff changeset
37 // there is no need to gc any oops that are stored in the structure.
a61af66fc99e Initial load
duke
parents:
diff changeset
38
a61af66fc99e Initial load
duke
parents:
diff changeset
39
a61af66fc99e Initial load
duke
parents:
diff changeset
40 class LocalsClosure;
a61af66fc99e Initial load
duke
parents:
diff changeset
41 class ExpressionStackClosure;
a61af66fc99e Initial load
duke
parents:
diff changeset
42 class MonitorStackClosure;
a61af66fc99e Initial load
duke
parents:
diff changeset
43 class MonitorArrayElement;
a61af66fc99e Initial load
duke
parents:
diff changeset
44 class StackValueCollection;
a61af66fc99e Initial load
duke
parents:
diff changeset
45
a61af66fc99e Initial load
duke
parents:
diff changeset
46 // A vframeArrayElement is an element of a vframeArray. Each element
a61af66fc99e Initial load
duke
parents:
diff changeset
47 // represent an interpreter frame which will eventually be created.
a61af66fc99e Initial load
duke
parents:
diff changeset
48
a61af66fc99e Initial load
duke
parents:
diff changeset
49 class vframeArrayElement : public _ValueObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
50 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
51
a61af66fc99e Initial load
duke
parents:
diff changeset
52 frame _frame; // the interpreter frame we will unpack into
900
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 0
diff changeset
53 int _bci; // raw bci for this vframe
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 0
diff changeset
54 bool _reexecute; // whether sould we reexecute this bytecode
0
a61af66fc99e Initial load
duke
parents:
diff changeset
55 methodOop _method; // the method for this vframe
a61af66fc99e Initial load
duke
parents:
diff changeset
56 MonitorChunk* _monitors; // active monitors for this vframe
a61af66fc99e Initial load
duke
parents:
diff changeset
57 StackValueCollection* _locals;
a61af66fc99e Initial load
duke
parents:
diff changeset
58 StackValueCollection* _expressions;
a61af66fc99e Initial load
duke
parents:
diff changeset
59
a61af66fc99e Initial load
duke
parents:
diff changeset
60 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
61
a61af66fc99e Initial load
duke
parents:
diff changeset
62 frame* iframe(void) { return &_frame; }
a61af66fc99e Initial load
duke
parents:
diff changeset
63
a61af66fc99e Initial load
duke
parents:
diff changeset
64 int bci(void) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
65
a61af66fc99e Initial load
duke
parents:
diff changeset
66 int raw_bci(void) const { return _bci; }
900
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 0
diff changeset
67 bool should_reexecute(void) const { return _reexecute; }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
68
a61af66fc99e Initial load
duke
parents:
diff changeset
69 methodOop method(void) const { return _method; }
a61af66fc99e Initial load
duke
parents:
diff changeset
70
a61af66fc99e Initial load
duke
parents:
diff changeset
71 MonitorChunk* monitors(void) const { return _monitors; }
a61af66fc99e Initial load
duke
parents:
diff changeset
72
a61af66fc99e Initial load
duke
parents:
diff changeset
73 void free_monitors(JavaThread* jt);
a61af66fc99e Initial load
duke
parents:
diff changeset
74
a61af66fc99e Initial load
duke
parents:
diff changeset
75 StackValueCollection* locals(void) const { return _locals; }
a61af66fc99e Initial load
duke
parents:
diff changeset
76
a61af66fc99e Initial load
duke
parents:
diff changeset
77 StackValueCollection* expressions(void) const { return _expressions; }
a61af66fc99e Initial load
duke
parents:
diff changeset
78
a61af66fc99e Initial load
duke
parents:
diff changeset
79 void fill_in(compiledVFrame* vf);
a61af66fc99e Initial load
duke
parents:
diff changeset
80
a61af66fc99e Initial load
duke
parents:
diff changeset
81 // Formerly part of deoptimizedVFrame
a61af66fc99e Initial load
duke
parents:
diff changeset
82
a61af66fc99e Initial load
duke
parents:
diff changeset
83
a61af66fc99e Initial load
duke
parents:
diff changeset
84 // Returns the on stack word size for this frame
a61af66fc99e Initial load
duke
parents:
diff changeset
85 // callee_parameters is the number of callee locals residing inside this frame
3369
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 1972
diff changeset
86 int on_stack_size(int caller_actual_parameters,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 1972
diff changeset
87 int callee_parameters,
0
a61af66fc99e Initial load
duke
parents:
diff changeset
88 int callee_locals,
a61af66fc99e Initial load
duke
parents:
diff changeset
89 bool is_top_frame,
a61af66fc99e Initial load
duke
parents:
diff changeset
90 int popframe_extra_stack_expression_els) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
91
a61af66fc99e Initial load
duke
parents:
diff changeset
92 // Unpacks the element to skeletal interpreter frame
3369
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 1972
diff changeset
93 void unpack_on_stack(int caller_actual_parameters,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 1972
diff changeset
94 int callee_parameters,
0
a61af66fc99e Initial load
duke
parents:
diff changeset
95 int callee_locals,
a61af66fc99e Initial load
duke
parents:
diff changeset
96 frame* caller,
a61af66fc99e Initial load
duke
parents:
diff changeset
97 bool is_top_frame,
a61af66fc99e Initial load
duke
parents:
diff changeset
98 int exec_mode);
a61af66fc99e Initial load
duke
parents:
diff changeset
99
a61af66fc99e Initial load
duke
parents:
diff changeset
100 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
101 void print(outputStream* st);
a61af66fc99e Initial load
duke
parents:
diff changeset
102 #endif /* PRODUCT */
a61af66fc99e Initial load
duke
parents:
diff changeset
103 };
a61af66fc99e Initial load
duke
parents:
diff changeset
104
a61af66fc99e Initial load
duke
parents:
diff changeset
105 // this can be a ResourceObj if we don't save the last one...
a61af66fc99e Initial load
duke
parents:
diff changeset
106 // but it does make debugging easier even if we can't look
a61af66fc99e Initial load
duke
parents:
diff changeset
107 // at the data in each vframeElement
a61af66fc99e Initial load
duke
parents:
diff changeset
108
a61af66fc99e Initial load
duke
parents:
diff changeset
109 class vframeArray: public CHeapObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
110 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
111
a61af66fc99e Initial load
duke
parents:
diff changeset
112
a61af66fc99e Initial load
duke
parents:
diff changeset
113 // Here is what a vframeArray looks like in memory
a61af66fc99e Initial load
duke
parents:
diff changeset
114
a61af66fc99e Initial load
duke
parents:
diff changeset
115 /*
a61af66fc99e Initial load
duke
parents:
diff changeset
116 fixed part
a61af66fc99e Initial load
duke
parents:
diff changeset
117 description of the original frame
a61af66fc99e Initial load
duke
parents:
diff changeset
118 _frames - number of vframes in this array
a61af66fc99e Initial load
duke
parents:
diff changeset
119 adapter info
a61af66fc99e Initial load
duke
parents:
diff changeset
120 callee register save area
a61af66fc99e Initial load
duke
parents:
diff changeset
121 variable part
a61af66fc99e Initial load
duke
parents:
diff changeset
122 vframeArrayElement [ 0 ]
a61af66fc99e Initial load
duke
parents:
diff changeset
123 ...
a61af66fc99e Initial load
duke
parents:
diff changeset
124 vframeArrayElement [_frames - 1]
a61af66fc99e Initial load
duke
parents:
diff changeset
125
a61af66fc99e Initial load
duke
parents:
diff changeset
126 */
a61af66fc99e Initial load
duke
parents:
diff changeset
127
a61af66fc99e Initial load
duke
parents:
diff changeset
128 JavaThread* _owner_thread;
a61af66fc99e Initial load
duke
parents:
diff changeset
129 vframeArray* _next;
a61af66fc99e Initial load
duke
parents:
diff changeset
130 frame _original; // the original frame of the deoptee
a61af66fc99e Initial load
duke
parents:
diff changeset
131 frame _caller; // caller of root frame in vframeArray
a61af66fc99e Initial load
duke
parents:
diff changeset
132 frame _sender;
a61af66fc99e Initial load
duke
parents:
diff changeset
133
a61af66fc99e Initial load
duke
parents:
diff changeset
134 Deoptimization::UnrollBlock* _unroll_block;
a61af66fc99e Initial load
duke
parents:
diff changeset
135 int _frame_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
136
a61af66fc99e Initial load
duke
parents:
diff changeset
137 int _frames; // number of javavframes in the array (does not count any adapter)
a61af66fc99e Initial load
duke
parents:
diff changeset
138
a61af66fc99e Initial load
duke
parents:
diff changeset
139 intptr_t _callee_registers[RegisterMap::reg_count];
a61af66fc99e Initial load
duke
parents:
diff changeset
140 unsigned char _valid[RegisterMap::reg_count];
a61af66fc99e Initial load
duke
parents:
diff changeset
141
a61af66fc99e Initial load
duke
parents:
diff changeset
142 vframeArrayElement _elements[1]; // First variable section.
a61af66fc99e Initial load
duke
parents:
diff changeset
143
a61af66fc99e Initial load
duke
parents:
diff changeset
144 void fill_in_element(int index, compiledVFrame* vf);
a61af66fc99e Initial load
duke
parents:
diff changeset
145
a61af66fc99e Initial load
duke
parents:
diff changeset
146 bool is_location_valid(int i) const { return _valid[i] != 0; }
a61af66fc99e Initial load
duke
parents:
diff changeset
147 void set_location_valid(int i, bool valid) { _valid[i] = valid; }
a61af66fc99e Initial load
duke
parents:
diff changeset
148
a61af66fc99e Initial load
duke
parents:
diff changeset
149 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
150
a61af66fc99e Initial load
duke
parents:
diff changeset
151
a61af66fc99e Initial load
duke
parents:
diff changeset
152 // Tells whether index is within bounds.
a61af66fc99e Initial load
duke
parents:
diff changeset
153 bool is_within_bounds(int index) const { return 0 <= index && index < frames(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
154
a61af66fc99e Initial load
duke
parents:
diff changeset
155 // Accessores for instance variable
a61af66fc99e Initial load
duke
parents:
diff changeset
156 int frames() const { return _frames; }
a61af66fc99e Initial load
duke
parents:
diff changeset
157
a61af66fc99e Initial load
duke
parents:
diff changeset
158 static vframeArray* allocate(JavaThread* thread, int frame_size, GrowableArray<compiledVFrame*>* chunk,
a61af66fc99e Initial load
duke
parents:
diff changeset
159 RegisterMap* reg_map, frame sender, frame caller, frame self);
a61af66fc99e Initial load
duke
parents:
diff changeset
160
a61af66fc99e Initial load
duke
parents:
diff changeset
161
a61af66fc99e Initial load
duke
parents:
diff changeset
162 vframeArrayElement* element(int index) { assert(is_within_bounds(index), "Bad index"); return &_elements[index]; }
a61af66fc99e Initial load
duke
parents:
diff changeset
163
a61af66fc99e Initial load
duke
parents:
diff changeset
164 // Allocates a new vframe in the array and fills the array with vframe information in chunk
a61af66fc99e Initial load
duke
parents:
diff changeset
165 void fill_in(JavaThread* thread, int frame_size, GrowableArray<compiledVFrame*>* chunk, const RegisterMap *reg_map);
a61af66fc99e Initial load
duke
parents:
diff changeset
166
a61af66fc99e Initial load
duke
parents:
diff changeset
167 // Returns the owner of this vframeArray
a61af66fc99e Initial load
duke
parents:
diff changeset
168 JavaThread* owner_thread() const { return _owner_thread; }
a61af66fc99e Initial load
duke
parents:
diff changeset
169
a61af66fc99e Initial load
duke
parents:
diff changeset
170 // Accessors for next
a61af66fc99e Initial load
duke
parents:
diff changeset
171 vframeArray* next() const { return _next; }
a61af66fc99e Initial load
duke
parents:
diff changeset
172 void set_next(vframeArray* value) { _next = value; }
a61af66fc99e Initial load
duke
parents:
diff changeset
173
a61af66fc99e Initial load
duke
parents:
diff changeset
174 // Accessors for sp
a61af66fc99e Initial load
duke
parents:
diff changeset
175 intptr_t* sp() const { return _original.sp(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
176
a61af66fc99e Initial load
duke
parents:
diff changeset
177 intptr_t* unextended_sp() const { return _original.unextended_sp(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
178
a61af66fc99e Initial load
duke
parents:
diff changeset
179 address original_pc() const { return _original.pc(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
180
a61af66fc99e Initial load
duke
parents:
diff changeset
181 frame original() const { return _original; }
a61af66fc99e Initial load
duke
parents:
diff changeset
182
a61af66fc99e Initial load
duke
parents:
diff changeset
183 frame caller() const { return _caller; }
a61af66fc99e Initial load
duke
parents:
diff changeset
184
a61af66fc99e Initial load
duke
parents:
diff changeset
185 frame sender() const { return _sender; }
a61af66fc99e Initial load
duke
parents:
diff changeset
186
a61af66fc99e Initial load
duke
parents:
diff changeset
187 // Accessors for unroll block
a61af66fc99e Initial load
duke
parents:
diff changeset
188 Deoptimization::UnrollBlock* unroll_block() const { return _unroll_block; }
a61af66fc99e Initial load
duke
parents:
diff changeset
189 void set_unroll_block(Deoptimization::UnrollBlock* block) { _unroll_block = block; }
a61af66fc99e Initial load
duke
parents:
diff changeset
190
a61af66fc99e Initial load
duke
parents:
diff changeset
191 // Returns the size of the frame that got deoptimized
a61af66fc99e Initial load
duke
parents:
diff changeset
192 int frame_size() const { return _frame_size; }
a61af66fc99e Initial load
duke
parents:
diff changeset
193
a61af66fc99e Initial load
duke
parents:
diff changeset
194 // Unpack the array on the stack passed in stack interval
3369
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 1972
diff changeset
195 void unpack_to_stack(frame &unpack_frame, int exec_mode, int caller_actual_parameters);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
196
a61af66fc99e Initial load
duke
parents:
diff changeset
197 // Deallocates monitor chunks allocated during deoptimization.
a61af66fc99e Initial load
duke
parents:
diff changeset
198 // This should be called when the array is not used anymore.
a61af66fc99e Initial load
duke
parents:
diff changeset
199 void deallocate_monitor_chunks();
a61af66fc99e Initial load
duke
parents:
diff changeset
200
a61af66fc99e Initial load
duke
parents:
diff changeset
201
a61af66fc99e Initial load
duke
parents:
diff changeset
202
a61af66fc99e Initial load
duke
parents:
diff changeset
203 // Accessor for register map
a61af66fc99e Initial load
duke
parents:
diff changeset
204 address register_location(int i) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
205
a61af66fc99e Initial load
duke
parents:
diff changeset
206 void print_on_2(outputStream* st) PRODUCT_RETURN;
a61af66fc99e Initial load
duke
parents:
diff changeset
207 void print_value_on(outputStream* st) const PRODUCT_RETURN;
a61af66fc99e Initial load
duke
parents:
diff changeset
208
a61af66fc99e Initial load
duke
parents:
diff changeset
209 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
210 // Comparing
a61af66fc99e Initial load
duke
parents:
diff changeset
211 bool structural_compare(JavaThread* thread, GrowableArray<compiledVFrame*>* chunk);
a61af66fc99e Initial load
duke
parents:
diff changeset
212 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
213
a61af66fc99e Initial load
duke
parents:
diff changeset
214 };
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
215
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
216 #endif // SHARE_VM_RUNTIME_VFRAMEARRAY_HPP