namespace mirror { class Throwable;
} // namespace mirror class ArtMethod; class Context; class OatQuickMethodHeader; class Thread; class ShadowFrame; class StackVisitor;
// Manages exception delivery for Quick backend. class QuickExceptionHandler { public:
QuickExceptionHandler(Thread* self, bool is_deoptimization)
REQUIRES_SHARED(Locks::mutator_lock_);
// Find the catch handler for the given exception and call all required Instrumentation methods. // Note this might result in the exception being caught being different from 'exception'. void FindCatch(ObjPtr<mirror::Throwable> exception, bool is_method_exit_exception)
REQUIRES_SHARED(Locks::mutator_lock_);
// Deoptimize the stack to the upcall/some code that's not deoptimizeable. For // every compiled frame, we create a "copy" shadow frame that will be executed // with the interpreter. // skip_method_exit_callbacks specifies if we should skip method exit callbacks for the top frame. // It is set if a deopt is needed after calling method exit callback for ex: if the callback // throws or performs other actions that require a deopt. void DeoptimizeStack(bool skip_method_exit_callbacks) REQUIRES_SHARED(Locks::mutator_lock_);
// Deoptimize a single frame. It's directly triggered from compiled code. It // has the following properties: // - It deoptimizes a single frame, which can include multiple inlined frames. // - It doesn't have return result or pending exception at the deoptimization point. // - It always deoptimizes, even if IsDeoptimizeable() returns false for the // code, since HDeoptimize always saves the full environment. So it overrides // the result of IsDeoptimizeable(). // - It can be either full-fragment, or partial-fragment deoptimization, depending // on whether that single frame covers full or partial fragment. void DeoptimizeSingleFrame(DeoptimizationKind kind) REQUIRES_SHARED(Locks::mutator_lock_);
// Set up environment before delivering an exception to optimized code. void SetCatchEnvironmentForOptimizedHandler(StackVisitor* stack_visitor)
REQUIRES_SHARED(Locks::mutator_lock_);
// Prepares a long jump context for a jump to either to a catch handler or to the upcall.
std::unique_ptr<Context> PrepareLongJump(bool smash_caller_saves = true)
REQUIRES_SHARED(Locks::mutator_lock_);
// Walk the stack frames of the given thread, printing out non-runtime methods with their types // of frames. Helps to verify that partial-fragment deopt really works as expected. staticvoid DumpFramesWithType(Thread* self, bool details = false)
REQUIRES_SHARED(Locks::mutator_lock_);
private:
Thread* const self_;
std::unique_ptr<Context> context_; // Should we deoptimize the stack? constbool is_deoptimization_; // Quick frame with found handler or last frame if no handler found.
ArtMethod** handler_quick_frame_; // PC to branch to for the handler.
uintptr_t handler_quick_frame_pc_; // Quick code of the handler. const OatQuickMethodHeader* handler_method_header_; // The value for argument 0.
uintptr_t handler_quick_arg0_; // The handler's dex PC list including the inline dex_pcs. The dex_pcs are ordered from outermost // to innermost. An empty list implies an uncaught exception. // Marked as optional so that we can make sure we destroy it before doing a long jump.
std::optional<std::vector<uint32_t>> handler_dex_pc_list_; // StackMap row corresponding to the found catch.
uint32_t catch_stack_map_row_; // Should the exception be cleared as the catch block has no move-exception? bool clear_exception_; // Frame depth of the catch handler or the upcall.
size_t handler_frame_depth_; // Does the handler successfully walk the full fragment (not stopped // by some code that's not deoptimizeable)? Even single-frame deoptimization // can set this to true if the fragment contains only one quick frame. bool full_fragment_done_;
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 und die Messung sind noch experimentell.