author | xdono |
Tue, 28 Jul 2009 12:12:40 -0700 | |
changeset 3261 | c7d5aae8d3f7 |
parent 2867 | 69187054225f |
child 3908 | 24b55ad4c228 |
permissions | -rw-r--r-- |
1 | 1 |
/* |
3261 | 2 |
* Copyright 1999-2009 Sun Microsystems, Inc. All Rights Reserved. |
1 | 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 |
class CompileTask; |
|
26 |
||
27 |
// ciEnv |
|
28 |
// |
|
29 |
// This class is the top level broker for requests from the compiler |
|
30 |
// to the VM. |
|
31 |
class ciEnv : StackObj { |
|
32 |
CI_PACKAGE_ACCESS_TO |
|
33 |
||
34 |
friend class CompileBroker; |
|
35 |
friend class Dependencies; // for get_object, during logging |
|
36 |
||
37 |
private: |
|
38 |
Arena* _arena; // Alias for _ciEnv_arena except in init_shared_objects() |
|
39 |
Arena _ciEnv_arena; |
|
40 |
int _system_dictionary_modification_counter; |
|
41 |
ciObjectFactory* _factory; |
|
42 |
OopRecorder* _oop_recorder; |
|
43 |
DebugInformationRecorder* _debug_info; |
|
44 |
Dependencies* _dependencies; |
|
45 |
const char* _failure_reason; |
|
46 |
int _compilable; |
|
47 |
bool _break_at_compile; |
|
48 |
int _num_inlined_bytecodes; |
|
49 |
CompileTask* _task; // faster access to CompilerThread::task |
|
50 |
CompileLog* _log; // faster access to CompilerThread::log |
|
51 |
void* _compiler_data; // compiler-specific stuff, if any |
|
52 |
||
53 |
char* _name_buffer; |
|
54 |
int _name_buffer_len; |
|
55 |
||
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
56 |
// Cache Jvmti state |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
57 |
bool _jvmti_can_hotswap_or_post_breakpoint; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
58 |
bool _jvmti_can_examine_or_deopt_anywhere; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
59 |
bool _jvmti_can_access_local_variables; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
60 |
bool _jvmti_can_post_exceptions; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
61 |
|
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
62 |
// Cache DTrace flags |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
63 |
bool _dtrace_extended_probes; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
64 |
bool _dtrace_monitor_probes; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
65 |
bool _dtrace_method_probes; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
66 |
bool _dtrace_alloc_probes; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
67 |
|
1 | 68 |
// Distinguished instances of certain ciObjects.. |
69 |
static ciObject* _null_object_instance; |
|
70 |
static ciMethodKlass* _method_klass_instance; |
|
71 |
static ciSymbolKlass* _symbol_klass_instance; |
|
72 |
static ciKlassKlass* _klass_klass_instance; |
|
73 |
static ciInstanceKlassKlass* _instance_klass_klass_instance; |
|
74 |
static ciTypeArrayKlassKlass* _type_array_klass_klass_instance; |
|
75 |
static ciObjArrayKlassKlass* _obj_array_klass_klass_instance; |
|
76 |
||
77 |
static ciInstanceKlass* _ArrayStoreException; |
|
78 |
static ciInstanceKlass* _Class; |
|
79 |
static ciInstanceKlass* _ClassCastException; |
|
80 |
static ciInstanceKlass* _Object; |
|
81 |
static ciInstanceKlass* _Throwable; |
|
82 |
static ciInstanceKlass* _Thread; |
|
83 |
static ciInstanceKlass* _OutOfMemoryError; |
|
84 |
static ciInstanceKlass* _String; |
|
85 |
||
86 |
static ciSymbol* _unloaded_cisymbol; |
|
87 |
static ciInstanceKlass* _unloaded_ciinstance_klass; |
|
88 |
static ciObjArrayKlass* _unloaded_ciobjarrayklass; |
|
89 |
||
90 |
static jobject _ArrayIndexOutOfBoundsException_handle; |
|
91 |
static jobject _ArrayStoreException_handle; |
|
92 |
static jobject _ClassCastException_handle; |
|
93 |
||
94 |
ciInstance* _NullPointerException_instance; |
|
95 |
ciInstance* _ArithmeticException_instance; |
|
96 |
ciInstance* _ArrayIndexOutOfBoundsException_instance; |
|
97 |
ciInstance* _ArrayStoreException_instance; |
|
98 |
ciInstance* _ClassCastException_instance; |
|
99 |
||
100 |
// Look up a klass by name from a particular class loader (the accessor's). |
|
101 |
// If require_local, result must be defined in that class loader, or NULL. |
|
102 |
// If !require_local, a result from remote class loader may be reported, |
|
103 |
// if sufficient class loader constraints exist such that initiating |
|
104 |
// a class loading request from the given loader is bound to return |
|
105 |
// the class defined in the remote loader (or throw an error). |
|
106 |
// |
|
107 |
// Return an unloaded klass if !require_local and no class at all is found. |
|
108 |
// |
|
109 |
// The CI treats a klass as loaded if it is consistently defined in |
|
110 |
// another loader, even if it hasn't yet been loaded in all loaders |
|
111 |
// that could potentially see it via delegation. |
|
112 |
ciKlass* get_klass_by_name(ciKlass* accessing_klass, |
|
113 |
ciSymbol* klass_name, |
|
114 |
bool require_local); |
|
115 |
||
116 |
// Constant pool access. |
|
117 |
ciKlass* get_klass_by_index(ciInstanceKlass* loading_klass, |
|
118 |
int klass_index, |
|
119 |
bool& is_accessible); |
|
120 |
ciConstant get_constant_by_index(ciInstanceKlass* loading_klass, |
|
121 |
int constant_index); |
|
122 |
bool is_unresolved_string(ciInstanceKlass* loading_klass, |
|
123 |
int constant_index) const; |
|
124 |
bool is_unresolved_klass(ciInstanceKlass* loading_klass, |
|
125 |
int constant_index) const; |
|
126 |
ciField* get_field_by_index(ciInstanceKlass* loading_klass, |
|
127 |
int field_index); |
|
128 |
ciMethod* get_method_by_index(ciInstanceKlass* loading_klass, |
|
129 |
int method_index, Bytecodes::Code bc); |
|
130 |
||
131 |
// Implementation methods for loading and constant pool access. |
|
132 |
ciKlass* get_klass_by_name_impl(ciKlass* accessing_klass, |
|
133 |
ciSymbol* klass_name, |
|
134 |
bool require_local); |
|
135 |
ciKlass* get_klass_by_index_impl(ciInstanceKlass* loading_klass, |
|
136 |
int klass_index, |
|
137 |
bool& is_accessible); |
|
138 |
ciConstant get_constant_by_index_impl(ciInstanceKlass* loading_klass, |
|
139 |
int constant_index); |
|
140 |
bool is_unresolved_string_impl (instanceKlass* loading_klass, |
|
141 |
int constant_index) const; |
|
142 |
bool is_unresolved_klass_impl (instanceKlass* loading_klass, |
|
143 |
int constant_index) const; |
|
144 |
ciField* get_field_by_index_impl(ciInstanceKlass* loading_klass, |
|
145 |
int field_index); |
|
146 |
ciMethod* get_method_by_index_impl(ciInstanceKlass* loading_klass, |
|
147 |
int method_index, Bytecodes::Code bc); |
|
148 |
||
149 |
// Helper methods |
|
150 |
bool check_klass_accessibility(ciKlass* accessing_klass, |
|
151 |
klassOop resolved_klassOop); |
|
152 |
methodOop lookup_method(instanceKlass* accessor, |
|
153 |
instanceKlass* holder, |
|
154 |
symbolOop name, |
|
155 |
symbolOop sig, |
|
156 |
Bytecodes::Code bc); |
|
157 |
||
158 |
// Get a ciObject from the object factory. Ensures uniqueness |
|
159 |
// of ciObjects. |
|
160 |
ciObject* get_object(oop o) { |
|
161 |
if (o == NULL) { |
|
162 |
return _null_object_instance; |
|
163 |
} else { |
|
164 |
return _factory->get(o); |
|
165 |
} |
|
166 |
} |
|
167 |
||
168 |
ciMethod* get_method_from_handle(jobject method); |
|
169 |
||
170 |
ciInstance* get_or_create_exception(jobject& handle, symbolHandle name); |
|
171 |
||
172 |
// Get a ciMethod representing either an unfound method or |
|
173 |
// a method with an unloaded holder. Ensures uniqueness of |
|
174 |
// the result. |
|
175 |
ciMethod* get_unloaded_method(ciInstanceKlass* holder, |
|
176 |
ciSymbol* name, |
|
177 |
ciSymbol* signature) { |
|
178 |
return _factory->get_unloaded_method(holder, name, signature); |
|
179 |
} |
|
180 |
||
181 |
// Get a ciKlass representing an unloaded klass. |
|
182 |
// Ensures uniqueness of the result. |
|
183 |
ciKlass* get_unloaded_klass(ciKlass* accessing_klass, |
|
184 |
ciSymbol* name) { |
|
185 |
return _factory->get_unloaded_klass(accessing_klass, name, true); |
|
186 |
} |
|
187 |
||
188 |
// See if we already have an unloaded klass for the given name |
|
189 |
// or return NULL if not. |
|
190 |
ciKlass *check_get_unloaded_klass(ciKlass* accessing_klass, ciSymbol* name) { |
|
191 |
return _factory->get_unloaded_klass(accessing_klass, name, false); |
|
192 |
} |
|
193 |
||
194 |
// Get a ciReturnAddress corresponding to the given bci. |
|
195 |
// Ensures uniqueness of the result. |
|
196 |
ciReturnAddress* get_return_address(int bci) { |
|
197 |
return _factory->get_return_address(bci); |
|
198 |
} |
|
199 |
||
200 |
// Get a ciMethodData representing the methodData for a method |
|
201 |
// with none. |
|
202 |
ciMethodData* get_empty_methodData() { |
|
203 |
return _factory->get_empty_methodData(); |
|
204 |
} |
|
205 |
||
206 |
// General utility : get a buffer of some required length. |
|
207 |
// Used in symbol creation. |
|
208 |
char* name_buffer(int req_len); |
|
209 |
||
210 |
// Is this thread currently in the VM state? |
|
211 |
static bool is_in_vm(); |
|
212 |
||
213 |
// Helper routine for determining the validity of a compilation |
|
214 |
// with respect to concurrent class loading. |
|
215 |
void check_for_system_dictionary_modification(ciMethod* target); |
|
216 |
||
217 |
public: |
|
218 |
enum { |
|
219 |
MethodCompilable, |
|
220 |
MethodCompilable_not_at_tier, |
|
221 |
MethodCompilable_never |
|
222 |
}; |
|
223 |
||
224 |
ciEnv(CompileTask* task, int system_dictionary_modification_counter); |
|
225 |
// Used only during initialization of the ci |
|
226 |
ciEnv(Arena* arena); |
|
227 |
~ciEnv(); |
|
228 |
||
229 |
OopRecorder* oop_recorder() { return _oop_recorder; } |
|
230 |
void set_oop_recorder(OopRecorder* r) { _oop_recorder = r; } |
|
231 |
||
232 |
DebugInformationRecorder* debug_info() { return _debug_info; } |
|
233 |
void set_debug_info(DebugInformationRecorder* i) { _debug_info = i; } |
|
234 |
||
235 |
Dependencies* dependencies() { return _dependencies; } |
|
236 |
void set_dependencies(Dependencies* d) { _dependencies = d; } |
|
237 |
||
238 |
// This is true if the compilation is not going to produce code. |
|
239 |
// (It is reasonable to retry failed compilations.) |
|
240 |
bool failing() { return _failure_reason != NULL; } |
|
241 |
||
242 |
// Reason this compilation is failing, such as "too many basic blocks". |
|
243 |
const char* failure_reason() { return _failure_reason; } |
|
244 |
||
245 |
// Return state of appropriate compilability |
|
246 |
int compilable() { return _compilable; } |
|
247 |
||
248 |
bool break_at_compile() { return _break_at_compile; } |
|
249 |
void set_break_at_compile(bool z) { _break_at_compile = z; } |
|
250 |
||
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
251 |
// Cache Jvmti state |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
252 |
void cache_jvmti_state(); |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
253 |
bool jvmti_can_hotswap_or_post_breakpoint() const { return _jvmti_can_hotswap_or_post_breakpoint; } |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
254 |
bool jvmti_can_examine_or_deopt_anywhere() const { return _jvmti_can_examine_or_deopt_anywhere; } |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
255 |
bool jvmti_can_access_local_variables() const { return _jvmti_can_access_local_variables; } |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
256 |
bool jvmti_can_post_exceptions() const { return _jvmti_can_post_exceptions; } |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
257 |
|
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
258 |
// Cache DTrace flags |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
259 |
void cache_dtrace_flags(); |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
260 |
bool dtrace_extended_probes() const { return _dtrace_extended_probes; } |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
261 |
bool dtrace_monitor_probes() const { return _dtrace_monitor_probes; } |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
262 |
bool dtrace_method_probes() const { return _dtrace_method_probes; } |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
263 |
bool dtrace_alloc_probes() const { return _dtrace_alloc_probes; } |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1
diff
changeset
|
264 |
|
1 | 265 |
// The compiler task which has created this env. |
266 |
// May be useful to find out compile_id, comp_level, etc. |
|
267 |
CompileTask* task() { return _task; } |
|
268 |
// Handy forwards to the task: |
|
269 |
int comp_level(); // task()->comp_level() |
|
270 |
uint compile_id(); // task()->compile_id() |
|
271 |
||
272 |
// Register the result of a compilation. |
|
273 |
void register_method(ciMethod* target, |
|
274 |
int entry_bci, |
|
275 |
CodeOffsets* offsets, |
|
276 |
int orig_pc_offset, |
|
277 |
CodeBuffer* code_buffer, |
|
278 |
int frame_words, |
|
279 |
OopMapSet* oop_map_set, |
|
280 |
ExceptionHandlerTable* handler_table, |
|
281 |
ImplicitExceptionTable* inc_table, |
|
282 |
AbstractCompiler* compiler, |
|
283 |
int comp_level, |
|
284 |
bool has_debug_info = true, |
|
285 |
bool has_unsafe_access = false); |
|
286 |
||
287 |
||
288 |
// Access to certain well known ciObjects. |
|
289 |
ciInstanceKlass* ArrayStoreException_klass() { |
|
290 |
return _ArrayStoreException; |
|
291 |
} |
|
292 |
ciInstanceKlass* Class_klass() { |
|
293 |
return _Class; |
|
294 |
} |
|
295 |
ciInstanceKlass* ClassCastException_klass() { |
|
296 |
return _ClassCastException; |
|
297 |
} |
|
298 |
ciInstanceKlass* Object_klass() { |
|
299 |
return _Object; |
|
300 |
} |
|
301 |
ciInstanceKlass* Throwable_klass() { |
|
302 |
return _Throwable; |
|
303 |
} |
|
304 |
ciInstanceKlass* Thread_klass() { |
|
305 |
return _Thread; |
|
306 |
} |
|
307 |
ciInstanceKlass* OutOfMemoryError_klass() { |
|
308 |
return _OutOfMemoryError; |
|
309 |
} |
|
310 |
ciInstanceKlass* String_klass() { |
|
311 |
return _String; |
|
312 |
} |
|
313 |
ciInstance* NullPointerException_instance() { |
|
314 |
assert(_NullPointerException_instance != NULL, "initialization problem"); |
|
315 |
return _NullPointerException_instance; |
|
316 |
} |
|
317 |
ciInstance* ArithmeticException_instance() { |
|
318 |
assert(_ArithmeticException_instance != NULL, "initialization problem"); |
|
319 |
return _ArithmeticException_instance; |
|
320 |
} |
|
321 |
||
322 |
// Lazy constructors: |
|
323 |
ciInstance* ArrayIndexOutOfBoundsException_instance(); |
|
324 |
ciInstance* ArrayStoreException_instance(); |
|
325 |
ciInstance* ClassCastException_instance(); |
|
326 |
||
327 |
static ciSymbol* unloaded_cisymbol() { |
|
328 |
return _unloaded_cisymbol; |
|
329 |
} |
|
330 |
static ciObjArrayKlass* unloaded_ciobjarrayklass() { |
|
331 |
return _unloaded_ciobjarrayklass; |
|
332 |
} |
|
333 |
static ciInstanceKlass* unloaded_ciinstance_klass() { |
|
334 |
return _unloaded_ciinstance_klass; |
|
335 |
} |
|
336 |
||
337 |
ciKlass* find_system_klass(ciSymbol* klass_name); |
|
338 |
// Note: To find a class from its name string, use ciSymbol::make, |
|
339 |
// but consider adding to vmSymbols.hpp instead. |
|
340 |
||
341 |
// Use this to make a holder for non-perm compile time constants. |
|
342 |
// The resulting array is guaranteed to satisfy "has_encoding". |
|
343 |
ciArray* make_array(GrowableArray<ciObject*>* objects); |
|
344 |
||
345 |
// converts the ciKlass* representing the holder of a method into a |
|
346 |
// ciInstanceKlass*. This is needed since the holder of a method in |
|
347 |
// the bytecodes could be an array type. Basically this converts |
|
348 |
// array types into java/lang/Object and other types stay as they are. |
|
349 |
static ciInstanceKlass* get_instance_klass_for_declared_method_holder(ciKlass* klass); |
|
350 |
||
351 |
// Return the machine-level offset of o, which must be an element of a. |
|
352 |
// This may be used to form constant-loading expressions in lieu of simpler encodings. |
|
353 |
int array_element_offset_in_bytes(ciArray* a, ciObject* o); |
|
354 |
||
355 |
// Access to the compile-lifetime allocation arena. |
|
356 |
Arena* arena() { return _arena; } |
|
357 |
||
358 |
// What is the current compilation environment? |
|
359 |
static ciEnv* current() { return CompilerThread::current()->env(); } |
|
360 |
||
361 |
// Overload with current thread argument |
|
362 |
static ciEnv* current(CompilerThread *thread) { return thread->env(); } |
|
363 |
||
364 |
// Per-compiler data. (Used by C2 to publish the Compile* pointer.) |
|
365 |
void* compiler_data() { return _compiler_data; } |
|
366 |
void set_compiler_data(void* x) { _compiler_data = x; } |
|
367 |
||
368 |
// Notice that a method has been inlined in the current compile; |
|
369 |
// used only for statistics. |
|
370 |
void notice_inlined_method(ciMethod* method); |
|
371 |
||
372 |
// Total number of bytecodes in inlined methods in this compile |
|
373 |
int num_inlined_bytecodes() const; |
|
374 |
||
375 |
// Output stream for logging compilation info. |
|
376 |
CompileLog* log() { return _log; } |
|
377 |
void set_log(CompileLog* log) { _log = log; } |
|
378 |
||
379 |
// Check for changes to the system dictionary during compilation |
|
380 |
bool system_dictionary_modification_counter_changed(); |
|
381 |
||
382 |
void record_failure(const char* reason); |
|
383 |
void record_method_not_compilable(const char* reason, bool all_tiers = true); |
|
384 |
void record_out_of_memory_failure(); |
|
385 |
}; |