/* * Copyright (c) 2000, 2022, Oracle and/or its affiliates. All rights reserved. * Copyright (c) 2012, 2015 SAP SE. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. * * This code is distributed in the hope that it will be useful, but WITHOUT * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License * version 2 for more details (a copy is included in the LICENSE file that * accompanied this code). * * You should have received a copy of the GNU General Public License version * 2 along with this work; if not, write to the Free Software Foundation, * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. * * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA * or visit www.oracle.com if you need additional information or have any * questions. *
*/
// Initialize frame members (_sp must be given) inlinevoid frame::setup() { if (_pc == nullptr) {
_pc = (address)own_abi()->lr;
assert(_pc != nullptr, "must have PC");
}
if (_cb == nullptr) {
_cb = CodeCache::find_blob(_pc);
}
if (_unextended_sp == nullptr) {
_unextended_sp = _sp;
}
if (_fp == nullptr) { // The back link for compiled frames on the heap is not valid if (is_heap_frame()) { // fp for interpreted frames should have been derelativized and passed to the constructor
assert(is_compiled_frame(), ""); // The back link for compiled frames on the heap is invalid.
_fp = _unextended_sp + _cb->frame_size();
} else {
_fp = (intptr_t*)own_abi()->callers_sp;
}
}
address original_pc = CompiledMethod::get_deopt_original_pc(this); if (original_pc != nullptr) {
_pc = original_pc;
_deopt_state = is_deoptimized;
assert(_cb == nullptr || _cb->as_compiled_method()->insts_contains_inclusive(_pc), "original PC must be in the main code section of the compiled method (or must be immediately following it)");
} else { if (_cb == SharedRuntime::deopt_blob()) {
_deopt_state = is_deoptimized;
} else {
_deopt_state = not_deoptimized;
}
}
// Continuation frames on the java heap are not aligned. // When thawing interpreted frames the sp can be unaligned (see new_stack_frame()).
assert(_on_heap || (is_aligned(_sp, alignment_in_bytes) || is_interpreted_frame()) && is_aligned(_fp, alignment_in_bytes), "invalid alignment sp:" PTR_FORMAT " unextended_sp:" PTR_FORMAT " fp:" PTR_FORMAT, p2i(_sp), p2i(_unextended_sp), p2i(_fp));
}
inline frame::frame(intptr_t* sp, intptr_t* unextended_sp, intptr_t* fp, address pc, CodeBlob* cb, const ImmutableOopMap* oop_map, bool on_heap)
: _sp(sp), _pc(pc), _cb(cb), _oop_map(oop_map), _deopt_state(not_deoptimized),
_on_heap(on_heap), DEBUG_ONLY(_frame_index(-1) COMMA) _unextended_sp(unextended_sp), _fp(fp) { // In thaw, non-heap frames use this constructor to pass oop_map. I don't know why.
assert(_on_heap || _cb != nullptr, "these frames are always heap frames"); if (cb != nullptr) {
setup();
} #ifdef ASSERT // The following assertion has been disabled because it would sometime trap for Continuation.run, // which is not *in* a continuation and therefore does not clear the _cont_fastpath flag, but this // is benign even in fast mode (see Freeze::setup_jump) // We might freeze deoptimized frame in slow mode // assert(_pc == pc && _deopt_state == not_deoptimized, ""); #endif
}
// Accessors
// Return unique id for this frame. The id must have a value where we // can distinguish identity and younger/older relationship. NULL // represents an invalid (incomparable) frame. inline intptr_t* frame::id(void) const { // Use _fp. _sp or _unextended_sp wouldn't be correct due to resizing. return _fp;
}
// Return true if this frame is older (less recent activation) than // the frame represented by id. inlinebool frame::is_older(intptr_t* id) const {
assert(this->id() != NULL && id != NULL, "NULL frame id"); // Stack grows towards smaller addresses on ppc64. return this->id() > id;
}
inlineint frame::frame_size() const { // Stack grows towards smaller addresses on PPC64: sender is at a higher address. return sender_sp() - sp();
}
// Return the frame's stack pointer before it has been extended by a // c2i adapter. // i2c adapters also modify the frame they are applied on but shared code // must never use an interpreted frames unextended sp directly as the value // is platform dependent. inline intptr_t* frame::unextended_sp() const { assert_absolute(); return _unextended_sp; } inlinevoid frame::set_unextended_sp(intptr_t* value) { _unextended_sp = value; } inlineint frame::offset_unextended_sp() const { assert_offset(); return _offset_unextended_sp; } inlinevoid frame::set_offset_unextended_sp(int value) { assert_on_heap(); _offset_unextended_sp = value; }
// All frames have this field. inline address frame::sender_pc() const { return (address)callers_abi()->lr;
} inline address* frame::sender_pc_addr() const { return (address*)&(callers_abi()->lr);
}
// All frames have this field. inline intptr_t* frame::sender_sp() const { return (intptr_t*)callers_abi();
}
// All frames have this field. inline intptr_t* frame::link() const { return (intptr_t*)callers_abi()->callers_sp;
}
// top of expression stack inline intptr_t* frame::interpreter_frame_tos_address() const { return (intptr_t*)at(ijava_idx(esp)) + Interpreter::stackElementWords;
}
inlineint frame::interpreter_frame_monitor_size() { // Number of stack slots for a monitor. return align_up(BasicObjectLock::size(), // number of stack slots
WordsPerLong); // number of stack slots for a Java long
}
inline intptr_t* frame::entry_frame_argument_at(int offset) const { // Since an entry frame always calls the interpreter first, the // parameters are on the stack and relative to known register in the // entry frame.
intptr_t* tos = (intptr_t*)get_entry_frame_locals()->arguments_tos_address; return &tos[offset + 1]; // prepushed tos
}
inline frame frame::sender_raw(RegisterMap* map) const { // Default is we do have to follow them. The sender_for_xxx will // update it accordingly.
map->set_include_argument_oops(false);
if (map->in_cont()) { // already in an h-stack return map->stack_chunk()->sender(*this, map);
}
if (is_entry_frame()) return sender_for_entry_frame(map); if (is_interpreted_frame()) return sender_for_interpreter_frame(map);
assert(_cb == CodeCache::find_blob(pc()), "Must be the same"); if (_cb != nullptr) return sender_for_compiled_frame(map);
// Must be native-compiled frame, i.e. the marshaling code for native // methods that exists in the core system. return frame(sender_sp(), sender_pc());
}
inline frame frame::sender(RegisterMap* map) const {
frame result = sender_raw(map);
if (map->process_frames() && !map->in_cont()) {
StackWatermarkSet::on_iteration(map->thread(), result);
}
return result;
}
inline frame frame::sender_for_compiled_frame(RegisterMap *map) const {
assert(map != nullptr, "map must be set");
if (map->update_map()) { // Tell GC to use argument oopmaps for some runtime stubs that need it. // For C1, the runtime stub might not have oop maps, so set this flag // outside of update_register_map. if (!_cb->is_compiled()) { // compiled frames do not use callee-saved registers
map->set_include_argument_oops(_cb->caller_must_gc_arguments(map->thread())); if (oop_map() != nullptr) {
_oop_map->update_register_map(this, map);
}
} else {
assert(!_cb->caller_must_gc_arguments(map->thread()), "");
assert(!map->include_argument_oops(), "");
assert(oop_map() == NULL || !oop_map()->has_any(OopMapValue::callee_saved_value), "callee-saved value in compiled frame");
}
}
assert(sender_sp != sp(), "must have changed");
if (Continuation::is_return_barrier_entry(sender_pc)) { if (map->walk_cont()) { // about to walk into an h-stack return Continuation::top_frame(*this, map);
} else { return Continuation::continuation_bottom_sender(map->thread(), *this, sender_sp);
}
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.