1 /*
2 * Copyright (c) 2019, 2023, Oracle and/or its affiliates. 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 Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25 #ifndef CPU_X86_CONTINUATIONFREEZETHAW_X86_INLINE_HPP
26 #define CPU_X86_CONTINUATIONFREEZETHAW_X86_INLINE_HPP
27
28 #include "code/codeBlob.inline.hpp"
29 #include "oops/stackChunkOop.inline.hpp"
30 #include "runtime/frame.hpp"
31 #include "runtime/frame.inline.hpp"
32
33 inline void patch_callee_link(const frame& f, intptr_t* fp) {
34 *ContinuationHelper::Frame::callee_link_address(f) = fp;
35 }
36
37 inline void patch_callee_link_relative(const frame& f, intptr_t* fp) {
38 intptr_t* la = (intptr_t*)ContinuationHelper::Frame::callee_link_address(f);
39 intptr_t new_value = fp - la;
40 *la = new_value;
41 }
42
43 ////// Freeze
44
45 // Fast path
46
47 inline void FreezeBase::patch_stack_pd(intptr_t* frame_sp, intptr_t* heap_sp) {
48 // copy the spilled rbp from the heap to the stack
49 *(frame_sp - frame::sender_sp_offset) = *(heap_sp - frame::sender_sp_offset);
50 }
51
52 // Slow path
53
54 template<typename FKind>
55 inline frame FreezeBase::sender(const frame& f) {
56 assert(FKind::is_instance(f), "");
57 if (FKind::interpreted) {
58 return frame(f.sender_sp(), f.interpreter_frame_sender_sp(), f.link(), f.sender_pc());
59 }
60 intptr_t** link_addr = link_address<FKind>(f);
61
62 intptr_t* sender_sp = (intptr_t*)(link_addr + frame::sender_sp_offset); // f.unextended_sp() + (fsize/wordSize); //
63 address sender_pc = (address) *(sender_sp-1);
64 assert(sender_sp != f.sp(), "must have changed");
65
66 int slot = 0;
67 CodeBlob* sender_cb = CodeCache::find_blob_and_oopmap(sender_pc, slot);
68 return sender_cb != nullptr
69 ? frame(sender_sp, sender_sp, *link_addr, sender_pc, sender_cb,
70 slot == -1 ? nullptr : sender_cb->oop_map_for_slot(slot, sender_pc), false)
71 : frame(sender_sp, sender_sp, *link_addr, sender_pc);
72 }
73
74 template<typename FKind>
75 frame FreezeBase::new_heap_frame(frame& f, frame& caller) {
76 assert(FKind::is_instance(f), "");
77 assert(!caller.is_interpreted_frame()
78 || caller.unextended_sp() == (intptr_t*)caller.at(frame::interpreter_frame_last_sp_offset), "");
79
80 intptr_t *sp, *fp; // sp is really our unextended_sp
81 if (FKind::interpreted) {
82 assert((intptr_t*)f.at_relative_or_null(frame::interpreter_frame_last_sp_offset) == nullptr
83 || f.unextended_sp() == (intptr_t*)f.at_relative(frame::interpreter_frame_last_sp_offset), "");
84 intptr_t locals_offset = *f.addr_at(frame::interpreter_frame_locals_offset);
85 // If the caller.is_empty(), i.e. we're freezing into an empty chunk, then we set
86 // the chunk's argsize in finalize_freeze and make room for it above the unextended_sp
87 bool overlap_caller = caller.is_interpreted_frame() || caller.is_empty();
88 fp = caller.unextended_sp() - 1 - locals_offset + (overlap_caller ? ContinuationHelper::InterpretedFrame::stack_argsize(f) : 0);
89 sp = fp - (f.fp() - f.unextended_sp());
90 assert(sp <= fp, "");
91 assert(fp <= caller.unextended_sp(), "");
92 caller.set_sp(fp + frame::sender_sp_offset);
93
94 assert(_cont.tail()->is_in_chunk(sp), "");
95
96 frame hf(sp, sp, fp, f.pc(), nullptr, nullptr, true /* on_heap */);
97 // copy relativized locals from the stack frame
98 *hf.addr_at(frame::interpreter_frame_locals_offset) = locals_offset;
99 return hf;
100 } else {
101 // We need to re-read fp out of the frame because it may be an oop and we might have
102 // had a safepoint in finalize_freeze, after constructing f.
103 fp = *(intptr_t**)(f.sp() - frame::sender_sp_offset);
104
105 int fsize = FKind::size(f);
106 sp = caller.unextended_sp() - fsize;
107 if (caller.is_interpreted_frame()) {
108 // If the caller is interpreted, our stackargs are not supposed to overlap with it
109 // so we make more room by moving sp down by argsize
110 int argsize = FKind::stack_argsize(f);
111 sp -= argsize;
112 }
113 caller.set_sp(sp + fsize);
114
115 assert(_cont.tail()->is_in_chunk(sp), "");
116
117 return frame(sp, sp, fp, f.pc(), nullptr, nullptr, true /* on_heap */);
118 }
119 }
120
121 void FreezeBase::adjust_interpreted_frame_unextended_sp(frame& f) {
122 assert((f.at(frame::interpreter_frame_last_sp_offset) != 0) || (f.unextended_sp() == f.sp()), "");
123 intptr_t* real_unextended_sp = (intptr_t*)f.at_relative_or_null(frame::interpreter_frame_last_sp_offset);
124 if (real_unextended_sp != nullptr) {
125 f.set_unextended_sp(real_unextended_sp); // can be null at a safepoint
126 }
127 }
128
129 inline void FreezeBase::prepare_freeze_interpreted_top_frame(const frame& f) {
130 assert(*f.addr_at(frame::interpreter_frame_last_sp_offset) == 0, "should be null for top frame");
131 intptr_t* lspp = f.addr_at(frame::interpreter_frame_last_sp_offset);
132 *lspp = f.unextended_sp() - f.fp();
133 }
134
135 inline void FreezeBase::relativize_interpreted_frame_metadata(const frame& f, const frame& hf) {
136 assert(hf.fp() == hf.unextended_sp() + (f.fp() - f.unextended_sp()), "");
137 assert((f.at(frame::interpreter_frame_last_sp_offset) != 0)
138 || (f.unextended_sp() == f.sp()), "");
139 assert(f.fp() > (intptr_t*)f.at_relative(frame::interpreter_frame_initial_sp_offset), "");
140
141 // Make sure that last_sp is already relativized.
142 assert((intptr_t*)hf.at_relative(frame::interpreter_frame_last_sp_offset) == hf.unextended_sp(), "");
143
144 // Make sure that locals is already relativized.
145 assert((*hf.addr_at(frame::interpreter_frame_locals_offset) == frame::sender_sp_offset + f.interpreter_frame_method()->max_locals() - 1), "");
146
147 // Make sure that monitor_block_top is already relativized.
148 assert(hf.at_absolute(frame::interpreter_frame_monitor_block_top_offset) <= frame::interpreter_frame_initial_sp_offset, "");
149
150 assert((hf.fp() - hf.unextended_sp()) == (f.fp() - f.unextended_sp()), "");
151 assert(hf.unextended_sp() == (intptr_t*)hf.at(frame::interpreter_frame_last_sp_offset), "");
152 assert(hf.unextended_sp() <= (intptr_t*)hf.at(frame::interpreter_frame_initial_sp_offset), "");
153 assert(hf.fp() > (intptr_t*)hf.at(frame::interpreter_frame_initial_sp_offset), "");
154 assert(hf.fp() <= (intptr_t*)hf.at(frame::interpreter_frame_locals_offset), "");
155 }
156
157 inline void FreezeBase::set_top_frame_metadata_pd(const frame& hf) {
158 stackChunkOop chunk = _cont.tail();
159 assert(chunk->is_in_chunk(hf.sp() - 1), "");
160 assert(chunk->is_in_chunk(hf.sp() - frame::sender_sp_offset), "");
161
162 address frame_pc = hf.pc();
163
164 *(hf.sp() - 1) = (intptr_t)hf.pc();
165
166 intptr_t* fp_addr = hf.sp() - frame::sender_sp_offset;
167 *fp_addr = hf.is_interpreted_frame() ? (intptr_t)(hf.fp() - fp_addr)
168 : (intptr_t)hf.fp();
169 assert(frame_pc == ContinuationHelper::Frame::real_pc(hf), "");
170 }
171
172 inline void FreezeBase::patch_pd(frame& hf, const frame& caller) {
173 if (caller.is_interpreted_frame()) {
174 assert(!caller.is_empty(), "");
175 patch_callee_link_relative(caller, caller.fp());
176 } else {
177 // If we're the bottom-most frame frozen in this freeze, the caller might have stayed frozen in the chunk,
178 // and its oop-containing fp fixed. We've now just overwritten it, so we must patch it back to its value
179 // as read from the chunk.
180 patch_callee_link(caller, caller.fp());
181 }
182 }
183
184 //////// Thaw
185
186 // Fast path
187
188 inline void ThawBase::prefetch_chunk_pd(void* start, int size) {
189 size <<= LogBytesPerWord;
190 Prefetch::read(start, size);
191 Prefetch::read(start, size - 64);
192 }
193
194 template <typename ConfigT>
195 inline void Thaw<ConfigT>::patch_caller_links(intptr_t* sp, intptr_t* bottom) {
196 // Fast path depends on !PreserveFramePointer. See can_thaw_fast().
197 assert(!PreserveFramePointer, "Frame pointers need to be fixed");
198 }
199
200 // Slow path
201
202 inline frame ThawBase::new_entry_frame() {
203 intptr_t* sp = _cont.entrySP();
204 return frame(sp, sp, _cont.entryFP(), _cont.entryPC()); // TODO PERF: This finds code blob and computes deopt state
205 }
206
207 template<typename FKind> frame ThawBase::new_stack_frame(const frame& hf, frame& caller, bool bottom) {
208 assert(FKind::is_instance(hf), "");
209 // The values in the returned frame object will be written into the callee's stack in patch.
210
211 if (FKind::interpreted) {
212 intptr_t* heap_sp = hf.unextended_sp();
213 // If caller is interpreted it already made room for the callee arguments
214 int overlap = caller.is_interpreted_frame() ? ContinuationHelper::InterpretedFrame::stack_argsize(hf) : 0;
215 const int fsize = (int)(ContinuationHelper::InterpretedFrame::frame_bottom(hf) - hf.unextended_sp() - overlap);
216 const int locals = hf.interpreter_frame_method()->max_locals();
217 intptr_t* frame_sp = caller.unextended_sp() - fsize;
218 intptr_t* fp = frame_sp + (hf.fp() - heap_sp);
219 DEBUG_ONLY(intptr_t* unextended_sp = fp + *hf.addr_at(frame::interpreter_frame_last_sp_offset);)
220 assert(frame_sp == unextended_sp, "");
221 caller.set_sp(fp + frame::sender_sp_offset);
222 frame f(frame_sp, frame_sp, fp, hf.pc());
223 // we need to set the locals so that the caller of new_stack_frame() can call
224 // ContinuationHelper::InterpretedFrame::frame_bottom
225 intptr_t locals_offset = *hf.addr_at(frame::interpreter_frame_locals_offset);
226 assert((int)locals_offset == frame::sender_sp_offset + locals - 1, "");
227 // copy relativized locals from the heap frame
228 *f.addr_at(frame::interpreter_frame_locals_offset) = locals_offset;
229 return f;
230 } else {
231 int fsize = FKind::size(hf);
232 intptr_t* frame_sp = caller.unextended_sp() - fsize;
233 if (bottom || caller.is_interpreted_frame()) {
234 int argsize = FKind::stack_argsize(hf);
235
236 fsize += argsize;
237 frame_sp -= argsize;
238 caller.set_sp(caller.sp() - argsize);
239 assert(caller.sp() == frame_sp + (fsize-argsize), "");
240
241 frame_sp = align(hf, frame_sp, caller, bottom);
242 }
243
244 assert(hf.cb() != nullptr, "");
245 assert(hf.oop_map() != nullptr, "");
246 intptr_t* fp;
247 if (PreserveFramePointer) {
248 // we need to recreate a "real" frame pointer, pointing into the stack
249 fp = frame_sp + FKind::size(hf) - frame::sender_sp_offset;
250 } else {
251 fp = FKind::stub
252 ? frame_sp + fsize - frame::sender_sp_offset // fp always points to the address below the pushed return pc. We need correct address.
253 : *(intptr_t**)(hf.sp() - frame::sender_sp_offset); // we need to re-read fp because it may be an oop and we might have fixed the frame.
254 }
255 return frame(frame_sp, frame_sp, fp, hf.pc(), hf.cb(), hf.oop_map(), false); // TODO PERF : this computes deopt state; is it necessary?
256 }
257 }
258
259 inline intptr_t* ThawBase::align(const frame& hf, intptr_t* frame_sp, frame& caller, bool bottom) {
260 #ifdef _LP64
261 if (((intptr_t)frame_sp & 0xf) != 0) {
262 assert(caller.is_interpreted_frame() || (bottom && hf.compiled_frame_stack_argsize() % 2 != 0), "");
263 frame_sp--;
264 caller.set_sp(caller.sp() - 1);
265 }
266 assert(is_aligned(frame_sp, frame::frame_alignment), "");
267 #endif
268
269 return frame_sp;
270 }
271
272 inline void ThawBase::patch_pd(frame& f, const frame& caller) {
273 patch_callee_link(caller, caller.fp());
274 }
275
276 inline void ThawBase::patch_pd(frame& f, intptr_t* caller_sp) {
277 intptr_t* fp = caller_sp - frame::sender_sp_offset;
278 patch_callee_link(f, fp);
279 }
280
281 inline intptr_t* ThawBase::push_preempt_rerun_adapter(frame top, bool is_interpreted_frame) {
282 intptr_t* sp = top.sp();
283 intptr_t* fp = sp - frame::sender_sp_offset;
284 address pc = is_interpreted_frame ? Interpreter::cont_preempt_rerun_interpreter_adapter()
285 : StubRoutines::cont_preempt_rerun_compiler_adapter();
286
287 #ifdef ASSERT
288 RegisterMap map(JavaThread::current(),
289 RegisterMap::UpdateMap::skip,
290 RegisterMap::ProcessFrames::skip,
291 RegisterMap::WalkContinuation::skip);
292 frame caller = top.sender(&map);
293 intptr_t link_addr = (intptr_t)ContinuationHelper::Frame::callee_link_address(caller);
294 assert(sp[-2] == link_addr, "wrong link address: " INTPTR_FORMAT " != " INTPTR_FORMAT, sp[-2], link_addr);
295 #endif
296
297 sp -= frame::metadata_words;
298 *(address*)(sp - frame::sender_sp_ret_address_offset()) = pc;
299 *(intptr_t**)(sp - frame::sender_sp_offset) = fp;
300
301 log_develop_trace(continuations, preempt)("push_preempt_rerun_%s_adapter() initial sp: " INTPTR_FORMAT " final sp: " INTPTR_FORMAT " fp: " INTPTR_FORMAT,
302 is_interpreted_frame ? "interpreter" : "safepointblob", p2i(sp + frame::metadata_words), p2i(sp), p2i(fp));
303 return sp;
304 }
305
306 inline intptr_t* ThawBase::push_preempt_monitorenter_redo(stackChunkOop chunk) {
307 frame enterSpecial = new_entry_frame();
308 intptr_t* sp = enterSpecial.sp();
309
310 // First push the return barrier frame
311 sp -= frame::metadata_words;
312 sp[1] = (intptr_t)StubRoutines::cont_returnBarrier();
313 sp[0] = (intptr_t)enterSpecial.fp();
314
315 // Now push the ObjectMonitor*
316 sp -= frame::metadata_words;
317 sp[1] = (intptr_t)chunk->objectMonitor(); // alignment
318 sp[0] = (intptr_t)chunk->objectMonitor();
319
320 // Finally arrange to return to the monitorenter_redo stub
321 sp[-1] = (intptr_t)StubRoutines::cont_preempt_monitorenter_redo();
322 sp[-2] = (intptr_t)enterSpecial.fp();
323
324 log_develop_trace(continuations, preempt)("push_preempt_monitorenter_redo initial sp: " INTPTR_FORMAT " final sp: " INTPTR_FORMAT, p2i(sp + 2 * frame::metadata_words), p2i(sp));
325 return sp;
326 }
327
328 inline void ThawBase::derelativize_interpreted_frame_metadata(const frame& hf, const frame& f) {
329 // Make sure that last_sp is kept relativized.
330 assert((intptr_t*)f.at_relative(frame::interpreter_frame_last_sp_offset) == f.unextended_sp(), "");
331
332 // Make sure that monitor_block_top is still relativized.
333 assert(f.at_absolute(frame::interpreter_frame_monitor_block_top_offset) <= frame::interpreter_frame_initial_sp_offset, "");
334 }
335
336 #endif // CPU_X86_CONTINUATIONFREEZE_THAW_X86_INLINE_HPP