blob: 8090f9b035a8f68175f101d1d57f5faee5be21c0 [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"
Nicolas Geoffray4e92c3c2017-05-08 09:34:26 +010023#include "deoptimization_kind.h"
Vladimir Marko3a21e382016-09-02 12:38:38 +010024#include "stack_reference.h"
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010025
26namespace art {
27
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020028namespace mirror {
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020029class Throwable;
30} // namespace mirror
Mathieu Chartiere401d142015-04-22 13:56:20 -070031class ArtMethod;
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020032class Context;
Vladimir Marko3a21e382016-09-02 12:38:38 +010033class OatQuickMethodHeader;
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020034class Thread;
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020035class ShadowFrame;
Vladimir Marko3a21e382016-09-02 12:38:38 +010036class StackVisitor;
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020037
Elliott Hughes956af0f2014-12-11 14:34:28 -080038// Manages exception delivery for Quick backend.
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020039class QuickExceptionHandler {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010040 public:
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020041 QuickExceptionHandler(Thread* self, bool is_deoptimization)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070042 REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010043
Andreas Gampe65b798e2015-04-06 09:35:22 -070044 NO_RETURN ~QuickExceptionHandler() {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010045 LOG(FATAL) << "UNREACHABLE"; // Expected to take long jump.
Ian Rogers2c4257b2014-10-24 14:20:06 -070046 UNREACHABLE();
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010047 }
48
Sebastien Hertz520633b2015-09-08 17:03:36 +020049 // Find the catch handler for the given exception.
Mathieu Chartierf5769e12017-01-10 15:54:41 -080050 void FindCatch(ObjPtr<mirror::Throwable> exception) REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertz520633b2015-09-08 17:03:36 +020051
Mingyao Yangf711f2c2016-05-23 12:29:39 -070052 // Deoptimize the stack to the upcall/some code that's not deoptimizeable. For
53 // every compiled frame, we create a "copy" shadow frame that will be executed
54 // with the interpreter.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070055 void DeoptimizeStack() REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yangf711f2c2016-05-23 12:29:39 -070056
57 // Deoptimize a single frame. It's directly triggered from compiled code. It
58 // has the following properties:
59 // - It deoptimizes a single frame, which can include multiple inlined frames.
60 // - It doesn't have return result or pending exception at the deoptimization point.
61 // - It always deoptimizes, even if IsDeoptimizeable() returns false for the
62 // code, since HDeoptimize always saves the full environment. So it overrides
63 // the result of IsDeoptimizeable().
64 // - It can be either full-fragment, or partial-fragment deoptimization, depending
65 // on whether that single frame covers full or partial fragment.
Nicolas Geoffray4e92c3c2017-05-08 09:34:26 +010066 void DeoptimizeSingleFrame(DeoptimizationKind kind) REQUIRES_SHARED(Locks::mutator_lock_);
Mingyao Yangf711f2c2016-05-23 12:29:39 -070067
68 void DeoptimizePartialFragmentFixup(uintptr_t return_pc)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070069 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe639bdd12015-06-03 11:22:45 -070070
Sebastien Hertz520633b2015-09-08 17:03:36 +020071 // Update the instrumentation stack by removing all methods that will be unwound
72 // by the exception being thrown.
Mingyao Yangf711f2c2016-05-23 12:29:39 -070073 // Return the return pc of the last frame that's unwound.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070074 uintptr_t UpdateInstrumentationStack() REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertz520633b2015-09-08 17:03:36 +020075
David Brazdil77a48ae2015-09-15 12:34:04 +000076 // Set up environment before delivering an exception to optimized code.
77 void SetCatchEnvironmentForOptimizedHandler(StackVisitor* stack_visitor)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070078 REQUIRES_SHARED(Locks::mutator_lock_);
David Brazdil77a48ae2015-09-15 12:34:04 +000079
Sebastien Hertz520633b2015-09-08 17:03:36 +020080 // Long jump either to a catch handler or to the upcall.
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070081 NO_RETURN void DoLongJump(bool smash_caller_saves = true) REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010082
Mathieu Chartiere401d142015-04-22 13:56:20 -070083 void SetHandlerQuickFrame(ArtMethod** handler_quick_frame) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010084 handler_quick_frame_ = handler_quick_frame;
85 }
86
87 void SetHandlerQuickFramePc(uintptr_t handler_quick_frame_pc) {
88 handler_quick_frame_pc_ = handler_quick_frame_pc;
89 }
90
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010091 void SetHandlerMethodHeader(const OatQuickMethodHeader* handler_method_header) {
92 handler_method_header_ = handler_method_header;
93 }
94
Andreas Gampe639bdd12015-06-03 11:22:45 -070095 void SetHandlerQuickArg0(uintptr_t handler_quick_arg0) {
96 handler_quick_arg0_ = handler_quick_arg0;
97 }
98
Mathieu Chartiere401d142015-04-22 13:56:20 -070099 ArtMethod* GetHandlerMethod() const {
Ian Rogers5cf98192014-05-29 21:31:50 -0700100 return handler_method_;
101 }
102
Mathieu Chartiere401d142015-04-22 13:56:20 -0700103 void SetHandlerMethod(ArtMethod* handler_quick_method) {
Ian Rogers5cf98192014-05-29 21:31:50 -0700104 handler_method_ = handler_quick_method;
105 }
106
107 uint32_t GetHandlerDexPc() const {
108 return handler_dex_pc_;
109 }
110
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100111 void SetHandlerDexPc(uint32_t dex_pc) {
112 handler_dex_pc_ = dex_pc;
113 }
114
115 void SetClearException(bool clear_exception) {
116 clear_exception_ = clear_exception;
117 }
118
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700119 void SetHandlerFrameDepth(size_t frame_depth) {
120 handler_frame_depth_ = frame_depth;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100121 }
122
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700123 bool IsFullFragmentDone() const {
124 return full_fragment_done_;
125 }
126
127 void SetFullFragmentDone(bool full_fragment_done) {
128 full_fragment_done_ = full_fragment_done;
129 }
130
Andreas Gampe639bdd12015-06-03 11:22:45 -0700131 // Walk the stack frames of the given thread, printing out non-runtime methods with their types
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700132 // of frames. Helps to verify that partial-fragment deopt really works as expected.
Andreas Gampe639bdd12015-06-03 11:22:45 -0700133 static void DumpFramesWithType(Thread* self, bool details = false)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700134 REQUIRES_SHARED(Locks::mutator_lock_);
Andreas Gampe639bdd12015-06-03 11:22:45 -0700135
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100136 private:
137 Thread* const self_;
138 Context* const context_;
Sebastien Hertz520633b2015-09-08 17:03:36 +0200139 // Should we deoptimize the stack?
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100140 const bool is_deoptimization_;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100141 // Is method tracing active?
Sebastien Hertz520633b2015-09-08 17:03:36 +0200142 const bool method_tracing_active_;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100143 // Quick frame with found handler or last frame if no handler found.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700144 ArtMethod** handler_quick_frame_;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100145 // PC to branch to for the handler.
146 uintptr_t handler_quick_frame_pc_;
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100147 // Quick code of the handler.
148 const OatQuickMethodHeader* handler_method_header_;
Andreas Gampe639bdd12015-06-03 11:22:45 -0700149 // The value for argument 0.
150 uintptr_t handler_quick_arg0_;
Ian Rogers5cf98192014-05-29 21:31:50 -0700151 // The handler method to report to the debugger.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700152 ArtMethod* handler_method_;
Ian Rogers5cf98192014-05-29 21:31:50 -0700153 // The handler's dex PC, zero implies an uncaught exception.
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100154 uint32_t handler_dex_pc_;
155 // Should the exception be cleared as the catch block has no move-exception?
156 bool clear_exception_;
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700157 // Frame depth of the catch handler or the upcall.
158 size_t handler_frame_depth_;
Mingyao Yangf711f2c2016-05-23 12:29:39 -0700159 // Does the handler successfully walk the full fragment (not stopped
160 // by some code that's not deoptimizeable)? Even single-frame deoptimization
161 // can set this to true if the fragment contains only one quick frame.
162 bool full_fragment_done_;
163
164 void PrepareForLongJumpToInvokeStubOrInterpreterBridge()
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700165 REQUIRES_SHARED(Locks::mutator_lock_);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100166
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200167 DISALLOW_COPY_AND_ASSIGN(QuickExceptionHandler);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100168};
169
170} // namespace art
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200171#endif // ART_RUNTIME_QUICK_EXCEPTION_HANDLER_H_