blob: 74b7d0dab7b14acfe6807f0b35057f5eb228c762 [file] [log] [blame]
Sebastien Hertzd45a1f52014-01-09 14:56:54 +01001/*
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 Hertzfd3077e2014-04-23 10:32:43 +020017#ifndef ART_RUNTIME_QUICK_EXCEPTION_HANDLER_H_
18#define ART_RUNTIME_QUICK_EXCEPTION_HANDLER_H_
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010019
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020020#include "base/logging.h"
Andreas Gampe794ad762015-02-23 08:12:24 -080021#include "base/macros.h"
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020022#include "base/mutex.h"
Andreas Gampecf4035a2014-05-28 22:43:01 -070023#include "stack.h" // StackReference
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010024
25namespace art {
26
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020027namespace mirror {
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020028class Throwable;
29} // namespace mirror
Mathieu Chartiere401d142015-04-22 13:56:20 -070030class ArtMethod;
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020031class Context;
32class Thread;
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020033class ShadowFrame;
34
Elliott Hughes956af0f2014-12-11 14:34:28 -080035// Manages exception delivery for Quick backend.
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020036class QuickExceptionHandler {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010037 public:
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020038 QuickExceptionHandler(Thread* self, bool is_deoptimization)
Mathieu Chartier90443472015-07-16 20:32:27 -070039 SHARED_REQUIRES(Locks::mutator_lock_);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010040
Andreas Gampe65b798e2015-04-06 09:35:22 -070041 NO_RETURN ~QuickExceptionHandler() {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010042 LOG(FATAL) << "UNREACHABLE"; // Expected to take long jump.
Ian Rogers2c4257b2014-10-24 14:20:06 -070043 UNREACHABLE();
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010044 }
45
Sebastien Hertz520633b2015-09-08 17:03:36 +020046 // Find the catch handler for the given exception.
Mathieu Chartier90443472015-07-16 20:32:27 -070047 void FindCatch(mirror::Throwable* exception) SHARED_REQUIRES(Locks::mutator_lock_);
Sebastien Hertz520633b2015-09-08 17:03:36 +020048
Mingyao Yangf711f2c2016-05-23 12:29:39 -070049 // 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.
Mathieu Chartier90443472015-07-16 20:32:27 -070052 void DeoptimizeStack() SHARED_REQUIRES(Locks::mutator_lock_);
Mingyao Yangf711f2c2016-05-23 12:29:39 -070053
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 Gampe639bdd12015-06-03 11:22:45 -070063 void DeoptimizeSingleFrame() SHARED_REQUIRES(Locks::mutator_lock_);
Mingyao Yangf711f2c2016-05-23 12:29:39 -070064
65 void DeoptimizePartialFragmentFixup(uintptr_t return_pc)
66 SHARED_REQUIRES(Locks::mutator_lock_);
Andreas Gampe639bdd12015-06-03 11:22:45 -070067
Sebastien Hertz520633b2015-09-08 17:03:36 +020068 // Update the instrumentation stack by removing all methods that will be unwound
69 // by the exception being thrown.
Mingyao Yangf711f2c2016-05-23 12:29:39 -070070 // Return the return pc of the last frame that's unwound.
71 uintptr_t UpdateInstrumentationStack() SHARED_REQUIRES(Locks::mutator_lock_);
Sebastien Hertz520633b2015-09-08 17:03:36 +020072
David Brazdil77a48ae2015-09-15 12:34:04 +000073 // Set up environment before delivering an exception to optimized code.
74 void SetCatchEnvironmentForOptimizedHandler(StackVisitor* stack_visitor)
75 SHARED_REQUIRES(Locks::mutator_lock_);
76
Sebastien Hertz520633b2015-09-08 17:03:36 +020077 // Long jump either to a catch handler or to the upcall.
Andreas Gampe639bdd12015-06-03 11:22:45 -070078 NO_RETURN void DoLongJump(bool smash_caller_saves = true) SHARED_REQUIRES(Locks::mutator_lock_);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010079
Mathieu Chartiere401d142015-04-22 13:56:20 -070080 void SetHandlerQuickFrame(ArtMethod** handler_quick_frame) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010081 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 Geoffray524e7ea2015-10-16 17:13:34 +010088 void SetHandlerMethodHeader(const OatQuickMethodHeader* handler_method_header) {
89 handler_method_header_ = handler_method_header;
90 }
91
Andreas Gampe639bdd12015-06-03 11:22:45 -070092 void SetHandlerQuickArg0(uintptr_t handler_quick_arg0) {
93 handler_quick_arg0_ = handler_quick_arg0;
94 }
95
Mathieu Chartiere401d142015-04-22 13:56:20 -070096 ArtMethod* GetHandlerMethod() const {
Ian Rogers5cf98192014-05-29 21:31:50 -070097 return handler_method_;
98 }
99
Mathieu Chartiere401d142015-04-22 13:56:20 -0700100 void SetHandlerMethod(ArtMethod* handler_quick_method) {
Ian Rogers5cf98192014-05-29 21:31:50 -0700101 handler_method_ = handler_quick_method;
102 }
103
104 uint32_t GetHandlerDexPc() const {
105 return handler_dex_pc_;
106 }
107
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100108 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 Yamauchi649278c2014-08-13 11:12:22 -0700116 void SetHandlerFrameDepth(size_t frame_depth) {
117 handler_frame_depth_ = frame_depth;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100118 }
119
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700120 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 Gampe639bdd12015-06-03 11:22:45 -0700128 // Walk the stack frames of the given thread, printing out non-runtime methods with their types
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700129 // of frames. Helps to verify that partial-fragment deopt really works as expected.
Andreas Gampe639bdd12015-06-03 11:22:45 -0700130 static void DumpFramesWithType(Thread* self, bool details = false)
131 SHARED_REQUIRES(Locks::mutator_lock_);
132
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100133 private:
134 Thread* const self_;
135 Context* const context_;
Sebastien Hertz520633b2015-09-08 17:03:36 +0200136 // Should we deoptimize the stack?
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100137 const bool is_deoptimization_;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100138 // Is method tracing active?
Sebastien Hertz520633b2015-09-08 17:03:36 +0200139 const bool method_tracing_active_;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100140 // Quick frame with found handler or last frame if no handler found.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700141 ArtMethod** handler_quick_frame_;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100142 // PC to branch to for the handler.
143 uintptr_t handler_quick_frame_pc_;
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100144 // Quick code of the handler.
145 const OatQuickMethodHeader* handler_method_header_;
Andreas Gampe639bdd12015-06-03 11:22:45 -0700146 // The value for argument 0.
147 uintptr_t handler_quick_arg0_;
Ian Rogers5cf98192014-05-29 21:31:50 -0700148 // The handler method to report to the debugger.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700149 ArtMethod* handler_method_;
Ian Rogers5cf98192014-05-29 21:31:50 -0700150 // The handler's dex PC, zero implies an uncaught exception.
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100151 uint32_t handler_dex_pc_;
152 // Should the exception be cleared as the catch block has no move-exception?
153 bool clear_exception_;
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700154 // Frame depth of the catch handler or the upcall.
155 size_t handler_frame_depth_;
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700156 // 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()
162 SHARED_REQUIRES(Locks::mutator_lock_);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100163
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200164 DISALLOW_COPY_AND_ASSIGN(QuickExceptionHandler);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100165};
166
167} // namespace art
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200168#endif // ART_RUNTIME_QUICK_EXCEPTION_HANDLER_H_