Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2014 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
Sebastien Hertz | fd3077e | 2014-04-23 10:32:43 +0200 | [diff] [blame] | 17 | #ifndef ART_RUNTIME_QUICK_EXCEPTION_HANDLER_H_ |
| 18 | #define ART_RUNTIME_QUICK_EXCEPTION_HANDLER_H_ |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 19 | |
Sebastien Hertz | fd3077e | 2014-04-23 10:32:43 +0200 | [diff] [blame] | 20 | #include "base/logging.h" |
Andreas Gampe | 794ad76 | 2015-02-23 08:12:24 -0800 | [diff] [blame] | 21 | #include "base/macros.h" |
Sebastien Hertz | fd3077e | 2014-04-23 10:32:43 +0200 | [diff] [blame] | 22 | #include "base/mutex.h" |
Andreas Gampe | cf4035a | 2014-05-28 22:43:01 -0700 | [diff] [blame] | 23 | #include "stack.h" // StackReference |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 24 | |
| 25 | namespace art { |
| 26 | |
Sebastien Hertz | fd3077e | 2014-04-23 10:32:43 +0200 | [diff] [blame] | 27 | namespace mirror { |
Sebastien Hertz | fd3077e | 2014-04-23 10:32:43 +0200 | [diff] [blame] | 28 | class Throwable; |
| 29 | } // namespace mirror |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 30 | class ArtMethod; |
Sebastien Hertz | fd3077e | 2014-04-23 10:32:43 +0200 | [diff] [blame] | 31 | class Context; |
| 32 | class Thread; |
Sebastien Hertz | fd3077e | 2014-04-23 10:32:43 +0200 | [diff] [blame] | 33 | class ShadowFrame; |
| 34 | |
Elliott Hughes | 956af0f | 2014-12-11 14:34:28 -0800 | [diff] [blame] | 35 | // Manages exception delivery for Quick backend. |
Sebastien Hertz | fd3077e | 2014-04-23 10:32:43 +0200 | [diff] [blame] | 36 | class QuickExceptionHandler { |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 37 | public: |
Sebastien Hertz | fd3077e | 2014-04-23 10:32:43 +0200 | [diff] [blame] | 38 | QuickExceptionHandler(Thread* self, bool is_deoptimization) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame^] | 39 | REQUIRES_SHARED(Locks::mutator_lock_); |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 40 | |
Andreas Gampe | 65b798e | 2015-04-06 09:35:22 -0700 | [diff] [blame] | 41 | NO_RETURN ~QuickExceptionHandler() { |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 42 | LOG(FATAL) << "UNREACHABLE"; // Expected to take long jump. |
Ian Rogers | 2c4257b | 2014-10-24 14:20:06 -0700 | [diff] [blame] | 43 | UNREACHABLE(); |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 44 | } |
| 45 | |
Sebastien Hertz | 520633b | 2015-09-08 17:03:36 +0200 | [diff] [blame] | 46 | // Find the catch handler for the given exception. |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame^] | 47 | void FindCatch(mirror::Throwable* exception) REQUIRES_SHARED(Locks::mutator_lock_); |
Sebastien Hertz | 520633b | 2015-09-08 17:03:36 +0200 | [diff] [blame] | 48 | |
Mingyao Yang | f711f2c | 2016-05-23 12:29:39 -0700 | [diff] [blame] | 49 | // Deoptimize the stack to the upcall/some code that's not deoptimizeable. For |
| 50 | // every compiled frame, we create a "copy" shadow frame that will be executed |
| 51 | // with the interpreter. |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame^] | 52 | void DeoptimizeStack() REQUIRES_SHARED(Locks::mutator_lock_); |
Mingyao Yang | f711f2c | 2016-05-23 12:29:39 -0700 | [diff] [blame] | 53 | |
| 54 | // Deoptimize a single frame. It's directly triggered from compiled code. It |
| 55 | // has the following properties: |
| 56 | // - It deoptimizes a single frame, which can include multiple inlined frames. |
| 57 | // - It doesn't have return result or pending exception at the deoptimization point. |
| 58 | // - It always deoptimizes, even if IsDeoptimizeable() returns false for the |
| 59 | // code, since HDeoptimize always saves the full environment. So it overrides |
| 60 | // the result of IsDeoptimizeable(). |
| 61 | // - It can be either full-fragment, or partial-fragment deoptimization, depending |
| 62 | // on whether that single frame covers full or partial fragment. |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame^] | 63 | void DeoptimizeSingleFrame() REQUIRES_SHARED(Locks::mutator_lock_); |
Mingyao Yang | f711f2c | 2016-05-23 12:29:39 -0700 | [diff] [blame] | 64 | |
| 65 | void DeoptimizePartialFragmentFixup(uintptr_t return_pc) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame^] | 66 | REQUIRES_SHARED(Locks::mutator_lock_); |
Andreas Gampe | 639bdd1 | 2015-06-03 11:22:45 -0700 | [diff] [blame] | 67 | |
Sebastien Hertz | 520633b | 2015-09-08 17:03:36 +0200 | [diff] [blame] | 68 | // Update the instrumentation stack by removing all methods that will be unwound |
| 69 | // by the exception being thrown. |
Mingyao Yang | f711f2c | 2016-05-23 12:29:39 -0700 | [diff] [blame] | 70 | // Return the return pc of the last frame that's unwound. |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame^] | 71 | uintptr_t UpdateInstrumentationStack() REQUIRES_SHARED(Locks::mutator_lock_); |
Sebastien Hertz | 520633b | 2015-09-08 17:03:36 +0200 | [diff] [blame] | 72 | |
David Brazdil | 77a48ae | 2015-09-15 12:34:04 +0000 | [diff] [blame] | 73 | // Set up environment before delivering an exception to optimized code. |
| 74 | void SetCatchEnvironmentForOptimizedHandler(StackVisitor* stack_visitor) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame^] | 75 | REQUIRES_SHARED(Locks::mutator_lock_); |
David Brazdil | 77a48ae | 2015-09-15 12:34:04 +0000 | [diff] [blame] | 76 | |
Sebastien Hertz | 520633b | 2015-09-08 17:03:36 +0200 | [diff] [blame] | 77 | // Long jump either to a catch handler or to the upcall. |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame^] | 78 | NO_RETURN void DoLongJump(bool smash_caller_saves = true) REQUIRES_SHARED(Locks::mutator_lock_); |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 79 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 80 | void SetHandlerQuickFrame(ArtMethod** handler_quick_frame) { |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 81 | handler_quick_frame_ = handler_quick_frame; |
| 82 | } |
| 83 | |
| 84 | void SetHandlerQuickFramePc(uintptr_t handler_quick_frame_pc) { |
| 85 | handler_quick_frame_pc_ = handler_quick_frame_pc; |
| 86 | } |
| 87 | |
Nicolas Geoffray | 524e7ea | 2015-10-16 17:13:34 +0100 | [diff] [blame] | 88 | void SetHandlerMethodHeader(const OatQuickMethodHeader* handler_method_header) { |
| 89 | handler_method_header_ = handler_method_header; |
| 90 | } |
| 91 | |
Andreas Gampe | 639bdd1 | 2015-06-03 11:22:45 -0700 | [diff] [blame] | 92 | void SetHandlerQuickArg0(uintptr_t handler_quick_arg0) { |
| 93 | handler_quick_arg0_ = handler_quick_arg0; |
| 94 | } |
| 95 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 96 | ArtMethod* GetHandlerMethod() const { |
Ian Rogers | 5cf9819 | 2014-05-29 21:31:50 -0700 | [diff] [blame] | 97 | return handler_method_; |
| 98 | } |
| 99 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 100 | void SetHandlerMethod(ArtMethod* handler_quick_method) { |
Ian Rogers | 5cf9819 | 2014-05-29 21:31:50 -0700 | [diff] [blame] | 101 | handler_method_ = handler_quick_method; |
| 102 | } |
| 103 | |
| 104 | uint32_t GetHandlerDexPc() const { |
| 105 | return handler_dex_pc_; |
| 106 | } |
| 107 | |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 108 | void SetHandlerDexPc(uint32_t dex_pc) { |
| 109 | handler_dex_pc_ = dex_pc; |
| 110 | } |
| 111 | |
| 112 | void SetClearException(bool clear_exception) { |
| 113 | clear_exception_ = clear_exception; |
| 114 | } |
| 115 | |
Hiroshi Yamauchi | 649278c | 2014-08-13 11:12:22 -0700 | [diff] [blame] | 116 | void SetHandlerFrameDepth(size_t frame_depth) { |
| 117 | handler_frame_depth_ = frame_depth; |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 118 | } |
| 119 | |
Mingyao Yang | f711f2c | 2016-05-23 12:29:39 -0700 | [diff] [blame] | 120 | bool IsFullFragmentDone() const { |
| 121 | return full_fragment_done_; |
| 122 | } |
| 123 | |
| 124 | void SetFullFragmentDone(bool full_fragment_done) { |
| 125 | full_fragment_done_ = full_fragment_done; |
| 126 | } |
| 127 | |
Andreas Gampe | 639bdd1 | 2015-06-03 11:22:45 -0700 | [diff] [blame] | 128 | // Walk the stack frames of the given thread, printing out non-runtime methods with their types |
Mingyao Yang | f711f2c | 2016-05-23 12:29:39 -0700 | [diff] [blame] | 129 | // of frames. Helps to verify that partial-fragment deopt really works as expected. |
Andreas Gampe | 639bdd1 | 2015-06-03 11:22:45 -0700 | [diff] [blame] | 130 | static void DumpFramesWithType(Thread* self, bool details = false) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame^] | 131 | REQUIRES_SHARED(Locks::mutator_lock_); |
Andreas Gampe | 639bdd1 | 2015-06-03 11:22:45 -0700 | [diff] [blame] | 132 | |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 133 | private: |
| 134 | Thread* const self_; |
| 135 | Context* const context_; |
Sebastien Hertz | 520633b | 2015-09-08 17:03:36 +0200 | [diff] [blame] | 136 | // Should we deoptimize the stack? |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 137 | const bool is_deoptimization_; |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 138 | // Is method tracing active? |
Sebastien Hertz | 520633b | 2015-09-08 17:03:36 +0200 | [diff] [blame] | 139 | const bool method_tracing_active_; |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 140 | // Quick frame with found handler or last frame if no handler found. |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 141 | ArtMethod** handler_quick_frame_; |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 142 | // PC to branch to for the handler. |
| 143 | uintptr_t handler_quick_frame_pc_; |
Nicolas Geoffray | 524e7ea | 2015-10-16 17:13:34 +0100 | [diff] [blame] | 144 | // Quick code of the handler. |
| 145 | const OatQuickMethodHeader* handler_method_header_; |
Andreas Gampe | 639bdd1 | 2015-06-03 11:22:45 -0700 | [diff] [blame] | 146 | // The value for argument 0. |
| 147 | uintptr_t handler_quick_arg0_; |
Ian Rogers | 5cf9819 | 2014-05-29 21:31:50 -0700 | [diff] [blame] | 148 | // The handler method to report to the debugger. |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 149 | ArtMethod* handler_method_; |
Ian Rogers | 5cf9819 | 2014-05-29 21:31:50 -0700 | [diff] [blame] | 150 | // The handler's dex PC, zero implies an uncaught exception. |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 151 | uint32_t handler_dex_pc_; |
| 152 | // Should the exception be cleared as the catch block has no move-exception? |
| 153 | bool clear_exception_; |
Hiroshi Yamauchi | 649278c | 2014-08-13 11:12:22 -0700 | [diff] [blame] | 154 | // Frame depth of the catch handler or the upcall. |
| 155 | size_t handler_frame_depth_; |
Mingyao Yang | f711f2c | 2016-05-23 12:29:39 -0700 | [diff] [blame] | 156 | // Does the handler successfully walk the full fragment (not stopped |
| 157 | // by some code that's not deoptimizeable)? Even single-frame deoptimization |
| 158 | // can set this to true if the fragment contains only one quick frame. |
| 159 | bool full_fragment_done_; |
| 160 | |
| 161 | void PrepareForLongJumpToInvokeStubOrInterpreterBridge() |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame^] | 162 | REQUIRES_SHARED(Locks::mutator_lock_); |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 163 | |
Sebastien Hertz | fd3077e | 2014-04-23 10:32:43 +0200 | [diff] [blame] | 164 | DISALLOW_COPY_AND_ASSIGN(QuickExceptionHandler); |
Sebastien Hertz | d45a1f5 | 2014-01-09 14:56:54 +0100 | [diff] [blame] | 165 | }; |
| 166 | |
| 167 | } // namespace art |
Sebastien Hertz | fd3077e | 2014-04-23 10:32:43 +0200 | [diff] [blame] | 168 | #endif // ART_RUNTIME_QUICK_EXCEPTION_HANDLER_H_ |