Mercurial > hg > graal-compiler
annotate src/cpu/x86/vm/interp_masm_x86_32.hpp @ 1842:6e0aac35bfa9
6980838: G1: guarantee(false) failed: thread has an unexpected active value in its SATB queue
Summary: Under certain circumstances a safepoint could happen between a JavaThread object being created and that object being added to the Java threads list. This could cause the active field of that thread's SATB queue to get out-of-sync with respect to the other Java threads. The solution is to activate the SATB queue, when necessary, before adding the thread to the Java threads list, not when the JavaThread object is created. The changeset also includes a small fix to rename the surrogate locker thread from "Surrogate Locker Thread (CMS)" to "Surrogate Locker Thread (Concurrent GC)" since it's also used in G1.
Reviewed-by: iveresov, ysr, johnc, jcoomes
author | tonyp |
---|---|
date | Fri, 01 Oct 2010 16:43:05 -0400 |
parents | e9ff18c4ace7 |
children | d5d065957597 |
rev | line source |
---|---|
0 | 1 /* |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1506
diff
changeset
|
2 * Copyright (c) 1997, 2010, Oracle and/or its affiliates. All rights reserved. |
0 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
18 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1506
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1506
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:
1506
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
25 // This file specializes the assember with interpreter-specific macros | |
26 | |
27 | |
28 class InterpreterMacroAssembler: public MacroAssembler { | |
29 #ifndef CC_INTERP | |
30 protected: | |
31 // Interpreter specific version of call_VM_base | |
32 virtual void call_VM_leaf_base( | |
33 address entry_point, | |
34 int number_of_arguments | |
35 ); | |
36 | |
37 virtual void call_VM_base( | |
38 Register oop_result, | |
39 Register java_thread, | |
40 Register last_java_sp, | |
41 address entry_point, | |
42 int number_of_arguments, | |
43 bool check_exceptions | |
44 ); | |
45 | |
46 virtual void check_and_handle_popframe(Register java_thread); | |
47 virtual void check_and_handle_earlyret(Register java_thread); | |
48 | |
49 // base routine for all dispatches | |
50 void dispatch_base(TosState state, address* table, bool verifyoop = true); | |
51 #endif /* CC_INTERP */ | |
52 | |
53 public: | |
54 InterpreterMacroAssembler(CodeBuffer* code) : MacroAssembler(code) {} | |
55 | |
56 void load_earlyret_value(TosState state); | |
57 | |
58 // Interpreter-specific registers | |
59 #ifdef CC_INTERP | |
60 void save_bcp() { /* not needed in c++ interpreter and harmless */ } | |
61 void restore_bcp() { /* not needed in c++ interpreter and harmless */ } | |
62 | |
63 // Helpers for runtime call arguments/results | |
64 void get_method(Register reg); | |
65 | |
66 #else | |
67 | |
304 | 68 void save_bcp() { movptr(Address(rbp, frame::interpreter_frame_bcx_offset * wordSize), rsi); } |
69 void restore_bcp() { movptr(rsi, Address(rbp, frame::interpreter_frame_bcx_offset * wordSize)); } | |
70 void restore_locals() { movptr(rdi, Address(rbp, frame::interpreter_frame_locals_offset * wordSize)); } | |
0 | 71 |
72 // Helpers for runtime call arguments/results | |
304 | 73 void get_method(Register reg) { movptr(reg, Address(rbp, frame::interpreter_frame_method_offset * wordSize)); } |
74 void get_constant_pool(Register reg) { get_method(reg); movptr(reg, Address(reg, methodOopDesc::constants_offset())); } | |
75 void get_constant_pool_cache(Register reg) { get_constant_pool(reg); movptr(reg, Address(reg, constantPoolOopDesc::cache_offset_in_bytes())); } | |
76 void get_cpool_and_tags(Register cpool, Register tags) { get_constant_pool(cpool); movptr(tags, Address(cpool, constantPoolOopDesc::tags_offset_in_bytes())); | |
0 | 77 } |
78 void get_unsigned_2_byte_index_at_bcp(Register reg, int bcp_offset); | |
1565 | 79 void get_cache_and_index_at_bcp(Register cache, Register index, int bcp_offset, size_t index_size = sizeof(u2)); |
80 void get_cache_entry_pointer_at_bcp(Register cache, Register tmp, int bcp_offset, size_t index_size = sizeof(u2)); | |
81 void get_cache_index_at_bcp(Register index, int bcp_offset, size_t index_size = sizeof(u2)); | |
0 | 82 |
83 // Expression stack | |
84 void f2ieee(); // truncate ftos to 32bits | |
85 void d2ieee(); // truncate dtos to 64bits | |
86 | |
87 void pop_ptr(Register r = rax); | |
88 void pop_i(Register r = rax); | |
89 void pop_l(Register lo = rax, Register hi = rdx); | |
90 void pop_f(); | |
91 void pop_d(); | |
92 | |
93 void push_ptr(Register r = rax); | |
94 void push_i(Register r = rax); | |
95 void push_l(Register lo = rax, Register hi = rdx); | |
96 void push_d(Register r = rax); | |
97 void push_f(); | |
98 | |
99 void pop(TosState state); // transition vtos -> state | |
100 void push(TosState state); // transition state -> vtos | |
101 | |
304 | 102 void pop(Register r ) { ((MacroAssembler*)this)->pop(r); } |
103 | |
104 void push(Register r ) { ((MacroAssembler*)this)->push(r); } | |
105 void push(int32_t imm ) { ((MacroAssembler*)this)->push(imm); } | |
106 | |
107 // These are dummies to prevent surprise implicit conversions to Register | |
108 void pop(void* v ); // Add unimplemented ambiguous method | |
109 void push(void* v ); // Add unimplemented ambiguous method | |
110 | |
1506 | 111 void empty_expression_stack() { |
112 movptr(rsp, Address(rbp, frame::interpreter_frame_monitor_block_top_offset * wordSize)); | |
113 // NULL last_sp until next java call | |
114 movptr(Address(rbp, frame::interpreter_frame_last_sp_offset * wordSize), NULL_WORD); | |
0 | 115 } |
116 | |
1506 | 117 // Helpers for swap and dup |
118 void load_ptr(int n, Register val); | |
119 void store_ptr(int n, Register val); | |
0 | 120 |
121 // Super call_VM calls - correspond to MacroAssembler::call_VM(_leaf) calls | |
122 void super_call_VM_leaf(address entry_point); | |
123 void super_call_VM_leaf(address entry_point, Register arg_1); | |
124 void super_call_VM_leaf(address entry_point, Register arg_1, Register arg_2); | |
125 void super_call_VM_leaf(address entry_point, Register arg_1, Register arg_2, Register arg_3); | |
126 | |
127 // Generate a subtype check: branch to ok_is_subtype if sub_klass is | |
128 // a subtype of super_klass. EAX holds the super_klass. Blows ECX | |
129 // and EDI. Register sub_klass cannot be any of the above. | |
130 void gen_subtype_check( Register sub_klass, Label &ok_is_subtype ); | |
131 | |
132 // Dispatching | |
133 void dispatch_prolog(TosState state, int step = 0); | |
134 void dispatch_epilog(TosState state, int step = 0); | |
135 void dispatch_only(TosState state); // dispatch via rbx, (assume rbx, is loaded already) | |
136 void dispatch_only_normal(TosState state); // dispatch normal table via rbx, (assume rbx, is loaded already) | |
137 void dispatch_only_noverify(TosState state); | |
138 void dispatch_next(TosState state, int step = 0); // load rbx, from [esi + step] and dispatch via rbx, | |
139 void dispatch_via (TosState state, address* table); // load rbx, from [esi] and dispatch via rbx, and table | |
140 | |
141 | |
142 // jump to an invoked target | |
710 | 143 void prepare_to_jump_from_interpreted(); |
0 | 144 void jump_from_interpreted(Register method, Register temp); |
145 | |
146 // Returning from interpreted functions | |
147 // | |
148 // Removes the current activation (incl. unlocking of monitors) | |
149 // and sets up the return address. This code is also used for | |
150 // exception unwindwing. In that case, we do not want to throw | |
151 // IllegalMonitorStateExceptions, since that might get us into an | |
152 // infinite rethrow exception loop. | |
153 // Additionally this code is used for popFrame and earlyReturn. | |
154 // In popFrame case we want to skip throwing an exception, | |
155 // installing an exception, and notifying jvmdi. | |
156 // In earlyReturn case we only want to skip throwing an exception | |
157 // and installing an exception. | |
158 void remove_activation(TosState state, Register ret_addr, | |
159 bool throw_monitor_exception = true, | |
160 bool install_monitor_exception = true, | |
161 bool notify_jvmdi = true); | |
162 #endif /* !CC_INTERP */ | |
163 | |
164 // Debugging | |
165 void verify_oop(Register reg, TosState state = atos); // only if +VerifyOops && state == atos | |
166 #ifndef CC_INTERP | |
167 void verify_FPU(int stack_depth, TosState state = ftos); // only if +VerifyFPU && (state == ftos || state == dtos) | |
168 | |
169 #endif /* !CC_INTERP */ | |
170 | |
171 // Object locking | |
172 void lock_object (Register lock_reg); | |
173 void unlock_object(Register lock_reg); | |
174 | |
175 #ifndef CC_INTERP | |
176 | |
177 // Interpreter profiling operations | |
178 void set_method_data_pointer_for_bcp(); | |
179 void test_method_data_pointer(Register mdp, Label& zero_continue); | |
180 void verify_method_data_pointer(); | |
181 | |
182 void set_mdp_data_at(Register mdp_in, int constant, Register value); | |
183 void increment_mdp_data_at(Address data, bool decrement = false); | |
184 void increment_mdp_data_at(Register mdp_in, int constant, | |
185 bool decrement = false); | |
186 void increment_mdp_data_at(Register mdp_in, Register reg, int constant, | |
187 bool decrement = false); | |
188 void set_mdp_flag_at(Register mdp_in, int flag_constant); | |
189 void test_mdp_data_at(Register mdp_in, int offset, Register value, | |
190 Register test_value_out, | |
191 Label& not_equal_continue); | |
192 | |
193 void record_klass_in_profile(Register receiver, Register mdp, | |
1206
87684f1a88b5
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
726
diff
changeset
|
194 Register reg2, bool is_virtual_call); |
0 | 195 void record_klass_in_profile_helper(Register receiver, Register mdp, |
1206
87684f1a88b5
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
726
diff
changeset
|
196 Register reg2, int start_row, |
87684f1a88b5
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
726
diff
changeset
|
197 Label& done, bool is_virtual_call); |
0 | 198 |
199 void update_mdp_by_offset(Register mdp_in, int offset_of_offset); | |
200 void update_mdp_by_offset(Register mdp_in, Register reg, int offset_of_disp); | |
201 void update_mdp_by_constant(Register mdp_in, int constant); | |
202 void update_mdp_for_ret(Register return_bci); | |
203 | |
204 void profile_taken_branch(Register mdp, Register bumped_count); | |
205 void profile_not_taken_branch(Register mdp); | |
206 void profile_call(Register mdp); | |
207 void profile_final_call(Register mdp); | |
726
be93aad57795
6655646: dynamic languages need dynamically linked call sites
jrose
parents:
710
diff
changeset
|
208 void profile_virtual_call(Register receiver, Register mdp, Register scratch2, |
be93aad57795
6655646: dynamic languages need dynamically linked call sites
jrose
parents:
710
diff
changeset
|
209 bool receiver_can_be_null = false); |
0 | 210 void profile_ret(Register return_bci, Register mdp); |
211 void profile_null_seen(Register mdp); | |
212 void profile_typecheck(Register mdp, Register klass, Register scratch); | |
213 void profile_typecheck_failed(Register mdp); | |
214 void profile_switch_default(Register mdp); | |
215 void profile_switch_case(Register index_in_scratch, Register mdp, Register scratch2); | |
216 | |
217 #endif /* !CC_INTERP */ | |
218 | |
219 typedef enum { NotifyJVMTI, SkipNotifyJVMTI } NotifyMethodExitMode; | |
220 | |
221 // support for jvmti | |
222 void notify_method_entry(); | |
223 void notify_method_exit(TosState state, NotifyMethodExitMode mode); | |
224 | |
225 }; |