blob: c58735a94e96199897c17d979c98137ea43e6611 [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#include "quick_exception_handler.h"
18
Ian Rogerse63db272014-07-15 15:36:11 -070019#include "arch/context.h"
Ian Rogers5cf98192014-05-29 21:31:50 -070020#include "dex_instruction.h"
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020021#include "entrypoints/entrypoint_utils.h"
Ian Rogers6f3dbba2014-10-14 17:41:57 -070022#include "entrypoints/runtime_asm_entrypoints.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070023#include "handle_scope-inl.h"
Ian Rogers5cf98192014-05-29 21:31:50 -070024#include "mirror/art_method-inl.h"
Mingyao Yang98d1cc82014-05-15 17:02:16 -070025#include "mirror/class-inl.h"
26#include "mirror/class_loader.h"
27#include "mirror/throwable.h"
Ian Rogers5cf98192014-05-29 21:31:50 -070028#include "verifier/method_verifier.h"
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010029
30namespace art {
31
Ian Rogers5cf98192014-05-29 21:31:50 -070032static constexpr bool kDebugExceptionDelivery = false;
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -070033static constexpr size_t kInvalidFrameDepth = 0xffffffff;
Ian Rogers5cf98192014-05-29 21:31:50 -070034
Sebastien Hertzfd3077e2014-04-23 10:32:43 +020035QuickExceptionHandler::QuickExceptionHandler(Thread* self, bool is_deoptimization)
36 : self_(self), context_(self->GetLongJumpContext()), is_deoptimization_(is_deoptimization),
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010037 method_tracing_active_(is_deoptimization ||
38 Runtime::Current()->GetInstrumentation()->AreExitStubsInstalled()),
Ian Rogers5cf98192014-05-29 21:31:50 -070039 handler_quick_frame_(nullptr), handler_quick_frame_pc_(0), handler_method_(nullptr),
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -070040 handler_dex_pc_(0), clear_exception_(false), handler_frame_depth_(kInvalidFrameDepth) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +010041}
42
Ian Rogers5cf98192014-05-29 21:31:50 -070043// Finds catch handler or prepares for deoptimization.
44class CatchBlockStackVisitor FINAL : public StackVisitor {
45 public:
46 CatchBlockStackVisitor(Thread* self, Context* context, Handle<mirror::Throwable>* exception,
47 QuickExceptionHandler* exception_handler)
48 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_)
49 : StackVisitor(self, context), self_(self), exception_(exception),
50 exception_handler_(exception_handler) {
51 }
52
53 bool VisitFrame() OVERRIDE SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
54 mirror::ArtMethod* method = GetMethod();
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -070055 exception_handler_->SetHandlerFrameDepth(GetFrameDepth());
Ian Rogers5cf98192014-05-29 21:31:50 -070056 if (method == nullptr) {
57 // This is the upcall, we remember the frame and last pc so that we may long jump to them.
58 exception_handler_->SetHandlerQuickFramePc(GetCurrentQuickFramePc());
59 exception_handler_->SetHandlerQuickFrame(GetCurrentQuickFrame());
60 uint32_t next_dex_pc;
61 mirror::ArtMethod* next_art_method;
62 bool has_next = GetNextMethodAndDexPc(&next_art_method, &next_dex_pc);
63 // Report the method that did the down call as the handler.
64 exception_handler_->SetHandlerDexPc(next_dex_pc);
65 exception_handler_->SetHandlerMethod(next_art_method);
66 if (!has_next) {
67 // No next method? Check exception handler is set up for the unhandled exception handler
68 // case.
69 DCHECK_EQ(0U, exception_handler_->GetHandlerDexPc());
70 DCHECK(nullptr == exception_handler_->GetHandlerMethod());
71 }
72 return false; // End stack walk.
73 }
74 if (method->IsRuntimeMethod()) {
75 // Ignore callee save method.
76 DCHECK(method->IsCalleeSaveMethod());
77 return true;
78 }
Mathieu Chartierbfd9a432014-05-21 17:43:44 -070079 StackHandleScope<1> hs(self_);
80 return HandleTryItems(hs.NewHandle(method));
Ian Rogers5cf98192014-05-29 21:31:50 -070081 }
82
83 private:
Mathieu Chartierbfd9a432014-05-21 17:43:44 -070084 bool HandleTryItems(Handle<mirror::ArtMethod> method)
85 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogers5cf98192014-05-29 21:31:50 -070086 uint32_t dex_pc = DexFile::kDexNoIndex;
87 if (!method->IsNative()) {
88 dex_pc = GetDexPc();
89 }
90 if (dex_pc != DexFile::kDexNoIndex) {
91 bool clear_exception = false;
92 StackHandleScope<1> hs(Thread::Current());
93 Handle<mirror::Class> to_find(hs.NewHandle((*exception_)->GetClass()));
Mathieu Chartierbfd9a432014-05-21 17:43:44 -070094 uint32_t found_dex_pc = mirror::ArtMethod::FindCatchBlock(method, to_find, dex_pc,
95 &clear_exception);
Ian Rogers5cf98192014-05-29 21:31:50 -070096 exception_handler_->SetClearException(clear_exception);
97 if (found_dex_pc != DexFile::kDexNoIndex) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -070098 exception_handler_->SetHandlerMethod(method.Get());
Ian Rogers5cf98192014-05-29 21:31:50 -070099 exception_handler_->SetHandlerDexPc(found_dex_pc);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700100 exception_handler_->SetHandlerQuickFramePc(method->ToNativeQuickPc(found_dex_pc));
Ian Rogers5cf98192014-05-29 21:31:50 -0700101 exception_handler_->SetHandlerQuickFrame(GetCurrentQuickFrame());
102 return false; // End stack walk.
103 }
104 }
105 return true; // Continue stack walk.
106 }
107
108 Thread* const self_;
109 // The exception we're looking for the catch block of.
110 Handle<mirror::Throwable>* exception_;
111 // The quick exception handler we're visiting for.
112 QuickExceptionHandler* const exception_handler_;
113
114 DISALLOW_COPY_AND_ASSIGN(CatchBlockStackVisitor);
115};
116
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200117void QuickExceptionHandler::FindCatch(const ThrowLocation& throw_location,
Sebastien Hertz9f102032014-05-23 08:59:42 +0200118 mirror::Throwable* exception,
119 bool is_exception_reported) {
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200120 DCHECK(!is_deoptimization_);
Ian Rogers5cf98192014-05-29 21:31:50 -0700121 if (kDebugExceptionDelivery) {
122 mirror::String* msg = exception->GetDetailMessage();
123 std::string str_msg(msg != nullptr ? msg->ToModifiedUtf8() : "");
124 self_->DumpStack(LOG(INFO) << "Delivering exception: " << PrettyTypeOf(exception)
125 << ": " << str_msg << "\n");
126 }
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700127 StackHandleScope<1> hs(self_);
128 Handle<mirror::Throwable> exception_ref(hs.NewHandle(exception));
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200129
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100130 // Walk the stack to find catch handler or prepare for deoptimization.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700131 CatchBlockStackVisitor visitor(self_, context_, &exception_ref, this);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100132 visitor.WalkStack(true);
133
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200134 if (kDebugExceptionDelivery) {
Ian Rogers5cf98192014-05-29 21:31:50 -0700135 if (handler_quick_frame_->AsMirrorPtr() == nullptr) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100136 LOG(INFO) << "Handler is upcall";
Ian Rogers5cf98192014-05-29 21:31:50 -0700137 }
138 if (handler_method_ != nullptr) {
139 const DexFile& dex_file = *handler_method_->GetDeclaringClass()->GetDexCache()->GetDexFile();
140 int line_number = dex_file.GetLineNumFromPC(handler_method_, handler_dex_pc_);
141 LOG(INFO) << "Handler: " << PrettyMethod(handler_method_) << " (line: " << line_number << ")";
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100142 }
143 }
144 if (clear_exception_) {
145 // Exception was cleared as part of delivery.
146 DCHECK(!self_->IsExceptionPending());
147 } else {
148 // Put exception back in root set with clear throw location.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700149 self_->SetException(ThrowLocation(), exception_ref.Get());
Sebastien Hertz9f102032014-05-23 08:59:42 +0200150 self_->SetExceptionReportedToInstrumentation(is_exception_reported);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100151 }
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200152 // The debugger may suspend this thread and walk its stack. Let's do this before popping
153 // instrumentation frames.
Sebastien Hertz9f102032014-05-23 08:59:42 +0200154 if (!is_exception_reported) {
155 instrumentation::Instrumentation* instrumentation = Runtime::Current()->GetInstrumentation();
156 instrumentation->ExceptionCaughtEvent(self_, throw_location, handler_method_, handler_dex_pc_,
157 exception_ref.Get());
158 // We're not catching this exception but let's remind we already reported the exception above
159 // to avoid reporting it twice.
160 self_->SetExceptionReportedToInstrumentation(true);
161 }
162 bool caught_exception = (handler_method_ != nullptr && handler_dex_pc_ != DexFile::kDexNoIndex);
163 if (caught_exception) {
164 // We're catching this exception so we finish reporting it. We do it here to avoid doing it
165 // in the compiled code.
166 self_->SetExceptionReportedToInstrumentation(false);
167 }
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200168}
169
Ian Rogers5cf98192014-05-29 21:31:50 -0700170// Prepares deoptimization.
171class DeoptimizeStackVisitor FINAL : public StackVisitor {
172 public:
173 DeoptimizeStackVisitor(Thread* self, Context* context, QuickExceptionHandler* exception_handler)
174 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_)
175 : StackVisitor(self, context), self_(self), exception_handler_(exception_handler),
176 prev_shadow_frame_(nullptr) {
177 CHECK(!self_->HasDeoptimizationShadowFrame());
178 }
179
180 bool VisitFrame() OVERRIDE SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700181 exception_handler_->SetHandlerFrameDepth(GetFrameDepth());
Ian Rogers5cf98192014-05-29 21:31:50 -0700182 mirror::ArtMethod* method = GetMethod();
183 if (method == nullptr) {
184 // This is the upcall, we remember the frame and last pc so that we may long jump to them.
185 exception_handler_->SetHandlerQuickFramePc(GetCurrentQuickFramePc());
186 exception_handler_->SetHandlerQuickFrame(GetCurrentQuickFrame());
187 return false; // End stack walk.
188 } else if (method->IsRuntimeMethod()) {
189 // Ignore callee save method.
190 DCHECK(method->IsCalleeSaveMethod());
191 return true;
192 } else {
193 return HandleDeoptimization(method);
194 }
195 }
196
197 private:
Sebastien Hertzc901dd72014-07-16 11:56:07 +0200198 static VRegKind GetVRegKind(uint16_t reg, const std::vector<int32_t>& kinds) {
199 return static_cast<VRegKind>(kinds.at(reg * 2));
200 }
201
Ian Rogers5cf98192014-05-29 21:31:50 -0700202 bool HandleDeoptimization(mirror::ArtMethod* m) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700203 const DexFile::CodeItem* code_item = m->GetCodeItem();
Ian Rogers5cf98192014-05-29 21:31:50 -0700204 CHECK(code_item != nullptr);
205 uint16_t num_regs = code_item->registers_size_;
206 uint32_t dex_pc = GetDexPc();
207 const Instruction* inst = Instruction::At(code_item->insns_ + dex_pc);
208 uint32_t new_dex_pc = dex_pc + inst->SizeInCodeUnits();
209 ShadowFrame* new_frame = ShadowFrame::Create(num_regs, nullptr, m, new_dex_pc);
Hiroshi Yamauchidc376172014-08-22 11:13:12 -0700210 StackHandleScope<3> hs(self_);
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700211 mirror::Class* declaring_class = m->GetDeclaringClass();
212 Handle<mirror::DexCache> h_dex_cache(hs.NewHandle(declaring_class->GetDexCache()));
213 Handle<mirror::ClassLoader> h_class_loader(hs.NewHandle(declaring_class->GetClassLoader()));
Hiroshi Yamauchidc376172014-08-22 11:13:12 -0700214 Handle<mirror::ArtMethod> h_method(hs.NewHandle(m));
Ian Rogers7b078e82014-09-10 14:44:24 -0700215 verifier::MethodVerifier verifier(self_, h_dex_cache->GetDexFile(), h_dex_cache, h_class_loader,
Mathieu Chartierbf99f772014-08-23 16:37:27 -0700216 &m->GetClassDef(), code_item, m->GetDexMethodIndex(),
217 h_method, m->GetAccessFlags(), false, true, true);
Ian Rogers5cf98192014-05-29 21:31:50 -0700218 verifier.Verify();
Sebastien Hertzc901dd72014-07-16 11:56:07 +0200219 const std::vector<int32_t> kinds(verifier.DescribeVRegs(dex_pc));
Ian Rogers5cf98192014-05-29 21:31:50 -0700220 for (uint16_t reg = 0; reg < num_regs; ++reg) {
Sebastien Hertzc901dd72014-07-16 11:56:07 +0200221 VRegKind kind = GetVRegKind(reg, kinds);
Ian Rogers5cf98192014-05-29 21:31:50 -0700222 switch (kind) {
223 case kUndefined:
224 new_frame->SetVReg(reg, 0xEBADDE09);
225 break;
226 case kConstant:
227 new_frame->SetVReg(reg, kinds.at((reg * 2) + 1));
228 break;
229 case kReferenceVReg:
230 new_frame->SetVRegReference(reg,
231 reinterpret_cast<mirror::Object*>(GetVReg(m, reg, kind)));
232 break;
Sebastien Hertzc901dd72014-07-16 11:56:07 +0200233 case kLongLoVReg:
Ian Rogers07140832014-09-30 15:43:59 -0700234 if (GetVRegKind(reg + 1, kinds) == kLongHiVReg) {
Sebastien Hertzc901dd72014-07-16 11:56:07 +0200235 // Treat it as a "long" register pair.
236 new_frame->SetVRegLong(reg, GetVRegPair(m, reg, kLongLoVReg, kLongHiVReg));
237 } else {
238 new_frame->SetVReg(reg, GetVReg(m, reg, kind));
239 }
240 break;
241 case kLongHiVReg:
Ian Rogers07140832014-09-30 15:43:59 -0700242 if (GetVRegKind(reg - 1, kinds) == kLongLoVReg) {
Sebastien Hertzc901dd72014-07-16 11:56:07 +0200243 // Nothing to do: we treated it as a "long" register pair.
244 } else {
245 new_frame->SetVReg(reg, GetVReg(m, reg, kind));
246 }
247 break;
248 case kDoubleLoVReg:
Ian Rogers07140832014-09-30 15:43:59 -0700249 if (GetVRegKind(reg + 1, kinds) == kDoubleHiVReg) {
Sebastien Hertzc901dd72014-07-16 11:56:07 +0200250 // Treat it as a "double" register pair.
251 new_frame->SetVRegLong(reg, GetVRegPair(m, reg, kDoubleLoVReg, kDoubleHiVReg));
252 } else {
253 new_frame->SetVReg(reg, GetVReg(m, reg, kind));
254 }
255 break;
256 case kDoubleHiVReg:
Ian Rogers07140832014-09-30 15:43:59 -0700257 if (GetVRegKind(reg - 1, kinds) == kDoubleLoVReg) {
Sebastien Hertzc901dd72014-07-16 11:56:07 +0200258 // Nothing to do: we treated it as a "double" register pair.
259 } else {
260 new_frame->SetVReg(reg, GetVReg(m, reg, kind));
261 }
262 break;
Ian Rogers5cf98192014-05-29 21:31:50 -0700263 default:
264 new_frame->SetVReg(reg, GetVReg(m, reg, kind));
265 break;
266 }
267 }
268 if (prev_shadow_frame_ != nullptr) {
269 prev_shadow_frame_->SetLink(new_frame);
270 } else {
271 self_->SetDeoptimizationShadowFrame(new_frame);
272 }
273 prev_shadow_frame_ = new_frame;
274 return true;
275 }
276
277 Thread* const self_;
278 QuickExceptionHandler* const exception_handler_;
279 ShadowFrame* prev_shadow_frame_;
280
281 DISALLOW_COPY_AND_ASSIGN(DeoptimizeStackVisitor);
282};
283
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200284void QuickExceptionHandler::DeoptimizeStack() {
285 DCHECK(is_deoptimization_);
Ian Rogers5cf98192014-05-29 21:31:50 -0700286 if (kDebugExceptionDelivery) {
287 self_->DumpStack(LOG(INFO) << "Deoptimizing: ");
288 }
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200289
290 DeoptimizeStackVisitor visitor(self_, context_, this);
291 visitor.WalkStack(true);
292
293 // Restore deoptimization exception
294 self_->SetException(ThrowLocation(), Thread::GetDeoptimizationException());
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100295}
296
297// Unwinds all instrumentation stack frame prior to catch handler or upcall.
298class InstrumentationStackVisitor : public StackVisitor {
299 public:
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700300 InstrumentationStackVisitor(Thread* self, bool is_deoptimization, size_t frame_depth)
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100301 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_)
302 : StackVisitor(self, nullptr),
Ian Rogerscf7f1912014-10-22 22:06:39 -0700303 frame_depth_(frame_depth),
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100304 instrumentation_frames_to_pop_(0) {
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700305 CHECK_NE(frame_depth_, kInvalidFrameDepth);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100306 }
307
308 bool VisitFrame() SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700309 size_t current_frame_depth = GetFrameDepth();
310 if (current_frame_depth < frame_depth_) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100311 CHECK(GetMethod() != nullptr);
Ian Rogers6f3dbba2014-10-14 17:41:57 -0700312 if (UNLIKELY(reinterpret_cast<uintptr_t>(GetQuickInstrumentationExitPc()) == GetReturnPc())) {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100313 ++instrumentation_frames_to_pop_;
314 }
315 return true;
316 } else {
317 // We reached the frame of the catch handler or the upcall.
318 return false;
319 }
320 }
321
322 size_t GetInstrumentationFramesToPop() const {
323 return instrumentation_frames_to_pop_;
324 }
325
326 private:
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700327 const size_t frame_depth_;
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100328 size_t instrumentation_frames_to_pop_;
329
330 DISALLOW_COPY_AND_ASSIGN(InstrumentationStackVisitor);
331};
332
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200333void QuickExceptionHandler::UpdateInstrumentationStack() {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100334 if (method_tracing_active_) {
Hiroshi Yamauchi649278c2014-08-13 11:12:22 -0700335 InstrumentationStackVisitor visitor(self_, is_deoptimization_, handler_frame_depth_);
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100336 visitor.WalkStack(true);
337
338 size_t instrumentation_frames_to_pop = visitor.GetInstrumentationFramesToPop();
339 instrumentation::Instrumentation* instrumentation = Runtime::Current()->GetInstrumentation();
340 for (size_t i = 0; i < instrumentation_frames_to_pop; ++i) {
341 instrumentation->PopMethodForUnwind(self_, is_deoptimization_);
342 }
343 }
344}
345
Sebastien Hertzfd3077e2014-04-23 10:32:43 +0200346void QuickExceptionHandler::DoLongJump() {
Sebastien Hertzd45a1f52014-01-09 14:56:54 +0100347 // Place context back on thread so it will be available when we continue.
348 self_->ReleaseLongJumpContext(context_);
349 context_->SetSP(reinterpret_cast<uintptr_t>(handler_quick_frame_));
350 CHECK_NE(handler_quick_frame_pc_, 0u);
351 context_->SetPC(handler_quick_frame_pc_);
352 context_->SmashCallerSaves();
353 context_->DoLongJump();
354}
355
356} // namespace art