blob: 3ead7dbe649f74588730d6db7f0f95e4c892ed23 [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"
Vladimir Marko3a21e382016-09-02 12:38:38 +010023#include "stack_reference.h"
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;
Vladimir Marko3a21e382016-09-02 12:38:38 +010032class OatQuickMethodHeader;
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020033class Thread;
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020034class ShadowFrame;
Vladimir Marko3a21e382016-09-02 12:38:38 +010035class StackVisitor;
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020036
Elliott Hughes956af0f2014-12-11 14:34:28 -080037// Manages exception delivery for Quick backend.
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020038class QuickExceptionHandler {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010039 public:
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020040 QuickExceptionHandler(Thread* self, bool is_deoptimization)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070041 REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010042
Andreas Gampe65b798e2015-04-06 09:35:22 -070043 NO_RETURN ~QuickExceptionHandler() {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010044 LOG(FATAL) << "UNREACHABLE"; // Expected to take long jump.
Ian Rogers2c4257b2014-10-24 14:20:06 -070045 UNREACHABLE();
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010046 }
47
Sebastien Hertz520633b2015-09-08 17:03:36 +020048 // Find the catch handler for the given exception.
Mathieu Chartierf5769e12017-01-10 15:54:41 -080049 void FindCatch(ObjPtr<mirror::Throwable> exception) REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertz520633b2015-09-08 17:03:36 +020050
Mingyao Yangf711f2c2016-05-23 12:29:39 -070051 // Deoptimize the stack to the upcall/some code that's not deoptimizeable. For
52 // every compiled frame, we create a "copy" shadow frame that will be executed
53 // with the interpreter.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070054 void DeoptimizeStack() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yangf711f2c2016-05-23 12:29:39 -070055
56 // Deoptimize a single frame. It's directly triggered from compiled code. It
57 // has the following properties:
58 // - It deoptimizes a single frame, which can include multiple inlined frames.
59 // - It doesn't have return result or pending exception at the deoptimization point.
60 // - It always deoptimizes, even if IsDeoptimizeable() returns false for the
61 // code, since HDeoptimize always saves the full environment. So it overrides
62 // the result of IsDeoptimizeable().
63 // - It can be either full-fragment, or partial-fragment deoptimization, depending
64 // on whether that single frame covers full or partial fragment.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070065 void DeoptimizeSingleFrame() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yangf711f2c2016-05-23 12:29:39 -070066
67 void DeoptimizePartialFragmentFixup(uintptr_t return_pc)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070068 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe639bdd12015-06-03 11:22:45 -070069
Sebastien Hertz520633b2015-09-08 17:03:36 +020070 // Update the instrumentation stack by removing all methods that will be unwound
71 // by the exception being thrown.
Mingyao Yangf711f2c2016-05-23 12:29:39 -070072 // Return the return pc of the last frame that's unwound.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070073 uintptr_t UpdateInstrumentationStack() REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertz520633b2015-09-08 17:03:36 +020074
David Brazdil77a48ae2015-09-15 12:34:04 +000075 // Set up environment before delivering an exception to optimized code.
76 void SetCatchEnvironmentForOptimizedHandler(StackVisitor* stack_visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070077 REQUIRES_SHARED(Locks::mutator_lock_);
David Brazdil77a48ae2015-09-15 12:34:04 +000078
Sebastien Hertz520633b2015-09-08 17:03:36 +020079 // Long jump either to a catch handler or to the upcall.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070080 NO_RETURN void DoLongJump(bool smash_caller_saves = true) REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010081
Mathieu Chartiere401d142015-04-22 13:56:20 -070082 void SetHandlerQuickFrame(ArtMethod** handler_quick_frame) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010083 handler_quick_frame_ = handler_quick_frame;
84 }
85
86 void SetHandlerQuickFramePc(uintptr_t handler_quick_frame_pc) {
87 handler_quick_frame_pc_ = handler_quick_frame_pc;
88 }
89
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010090 void SetHandlerMethodHeader(const OatQuickMethodHeader* handler_method_header) {
91 handler_method_header_ = handler_method_header;
92 }
93
Andreas Gampe639bdd12015-06-03 11:22:45 -070094 void SetHandlerQuickArg0(uintptr_t handler_quick_arg0) {
95 handler_quick_arg0_ = handler_quick_arg0;
96 }
97
Mathieu Chartiere401d142015-04-22 13:56:20 -070098 ArtMethod* GetHandlerMethod() const {
Ian Rogers5cf98192014-05-29 21:31:50 -070099 return handler_method_;
100 }
101
Mathieu Chartiere401d142015-04-22 13:56:20 -0700102 void SetHandlerMethod(ArtMethod* handler_quick_method) {
Ian Rogers5cf98192014-05-29 21:31:50 -0700103 handler_method_ = handler_quick_method;
104 }
105
106 uint32_t GetHandlerDexPc() const {
107 return handler_dex_pc_;
108 }
109
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100110 void SetHandlerDexPc(uint32_t dex_pc) {
111 handler_dex_pc_ = dex_pc;
112 }
113
114 void SetClearException(bool clear_exception) {
115 clear_exception_ = clear_exception;
116 }
117
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700118 void SetHandlerFrameDepth(size_t frame_depth) {
119 handler_frame_depth_ = frame_depth;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100120 }
121
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700122 bool IsFullFragmentDone() const {
123 return full_fragment_done_;
124 }
125
126 void SetFullFragmentDone(bool full_fragment_done) {
127 full_fragment_done_ = full_fragment_done;
128 }
129
Andreas Gampe639bdd12015-06-03 11:22:45 -0700130 // Walk the stack frames of the given thread, printing out non-runtime methods with their types
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700131 // of frames. Helps to verify that partial-fragment deopt really works as expected.
Andreas Gampe639bdd12015-06-03 11:22:45 -0700132 static void DumpFramesWithType(Thread* self, bool details = false)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700133 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe639bdd12015-06-03 11:22:45 -0700134
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100135 private:
136 Thread* const self_;
137 Context* const context_;
Sebastien Hertz520633b2015-09-08 17:03:36 +0200138 // Should we deoptimize the stack?
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100139 const bool is_deoptimization_;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100140 // Is method tracing active?
Sebastien Hertz520633b2015-09-08 17:03:36 +0200141 const bool method_tracing_active_;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100142 // Quick frame with found handler or last frame if no handler found.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700143 ArtMethod** handler_quick_frame_;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100144 // PC to branch to for the handler.
145 uintptr_t handler_quick_frame_pc_;
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100146 // Quick code of the handler.
147 const OatQuickMethodHeader* handler_method_header_;
Andreas Gampe639bdd12015-06-03 11:22:45 -0700148 // The value for argument 0.
149 uintptr_t handler_quick_arg0_;
Ian Rogers5cf98192014-05-29 21:31:50 -0700150 // The handler method to report to the debugger.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700151 ArtMethod* handler_method_;
Ian Rogers5cf98192014-05-29 21:31:50 -0700152 // The handler's dex PC, zero implies an uncaught exception.
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100153 uint32_t handler_dex_pc_;
154 // Should the exception be cleared as the catch block has no move-exception?
155 bool clear_exception_;
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700156 // Frame depth of the catch handler or the upcall.
157 size_t handler_frame_depth_;
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700158 // Does the handler successfully walk the full fragment (not stopped
159 // by some code that's not deoptimizeable)? Even single-frame deoptimization
160 // can set this to true if the fragment contains only one quick frame.
161 bool full_fragment_done_;
162
163 void PrepareForLongJumpToInvokeStubOrInterpreterBridge()
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700164 REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100165
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200166 DISALLOW_COPY_AND_ASSIGN(QuickExceptionHandler);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100167};
168
169} // namespace art
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200170#endif // ART_RUNTIME_QUICK_EXCEPTION_HANDLER_H_