blob: 4ef3a67b96292edf3603ba40c95a80c4813325bd [file] [log] [blame]
Dave Allisonb373e092014-02-20 16:06:36 -08001/*
2 * Copyright (C) 2008 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
17#include "fault_handler.h"
Ian Rogers22d5e732014-07-15 22:23:51 -070018
Dave Allison8ce6b902014-08-26 11:07:58 -070019#include <setjmp.h>
Dave Allisonb373e092014-02-20 16:06:36 -080020#include <sys/mman.h>
21#include <sys/ucontext.h>
Mathieu Chartiere401d142015-04-22 13:56:20 -070022
23#include "art_method-inl.h"
Josh Gao143f61c2017-04-17 20:10:29 -070024#include "base/safe_copy.h"
Andreas Gampe928f72b2014-09-09 19:53:48 -070025#include "base/stl_util.h"
Ian Rogers22d5e732014-07-15 22:23:51 -070026#include "mirror/class.h"
Josh Gao143f61c2017-04-17 20:10:29 -070027#include "mirror/object_reference.h"
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010028#include "oat_quick_method_header.h"
Dave Allisonf4b80bc2014-05-14 15:41:25 -070029#include "sigchain.h"
Ian Rogers22d5e732014-07-15 22:23:51 -070030#include "thread-inl.h"
Dave Allisonb373e092014-02-20 16:06:36 -080031#include "verify_object-inl.h"
32
33namespace art {
34// Static fault manger object accessed by signal handler.
35FaultManager fault_manager;
36
Narayan Kamathc37769b2015-06-17 09:49:40 +010037extern "C" __attribute__((visibility("default"))) void art_sigsegv_fault() {
Dave Allisonf4b80bc2014-05-14 15:41:25 -070038 // Set a breakpoint here to be informed when a SIGSEGV is unhandled by ART.
39 VLOG(signals)<< "Caught unknown SIGSEGV in ART fault handler - chaining to next handler.";
40}
Dave Allisonf4b80bc2014-05-14 15:41:25 -070041
Dave Allisonb373e092014-02-20 16:06:36 -080042// Signal handler called on SIGSEGV.
Josh Gao85a78cf2017-03-20 16:26:42 -070043static bool art_fault_handler(int sig, siginfo_t* info, void* context) {
44 return fault_manager.HandleFault(sig, info, context);
Dave Allisonb373e092014-02-20 16:06:36 -080045}
46
Josh Gao143f61c2017-04-17 20:10:29 -070047#if defined(__linux__)
48
49// Change to verify the safe implementations against the original ones.
50constexpr bool kVerifySafeImpls = false;
51
52// Provide implementations of ArtMethod::GetDeclaringClass and VerifyClassClass that use SafeCopy
53// to safely dereference pointers which are potentially garbage.
54// Only available on Linux due to availability of SafeCopy.
55
56static mirror::Class* SafeGetDeclaringClass(ArtMethod* method)
57 REQUIRES_SHARED(Locks::mutator_lock_) {
58 char* method_declaring_class =
59 reinterpret_cast<char*>(method) + ArtMethod::DeclaringClassOffset().SizeValue();
60
61 // ArtMethod::declaring_class_ is a GcRoot<mirror::Class>.
62 // Read it out into as a CompressedReference directly for simplicity's sake.
63 mirror::CompressedReference<mirror::Class> cls;
64 ssize_t rc = SafeCopy(&cls, method_declaring_class, sizeof(cls));
65 CHECK_NE(-1, rc);
66
67 if (kVerifySafeImpls) {
68 mirror::Class* actual_class = method->GetDeclaringClassUnchecked<kWithoutReadBarrier>();
69 CHECK_EQ(actual_class, cls.AsMirrorPtr());
70 }
71
72 if (rc != sizeof(cls)) {
73 return nullptr;
74 }
75
76 return cls.AsMirrorPtr();
77}
78
79static mirror::Class* SafeGetClass(mirror::Object* obj) REQUIRES_SHARED(Locks::mutator_lock_) {
80 char* obj_cls = reinterpret_cast<char*>(obj) + mirror::Object::ClassOffset().SizeValue();
81
82 mirror::CompressedReference<mirror::Class> cls;
83 ssize_t rc = SafeCopy(&cls, obj_cls, sizeof(cls));
84 CHECK_NE(-1, rc);
85
86 if (kVerifySafeImpls) {
87 mirror::Class* actual_class = obj->GetClass<kVerifyNone>();
88 CHECK_EQ(actual_class, cls.AsMirrorPtr());
89 }
90
91 if (rc != sizeof(cls)) {
92 return nullptr;
93 }
94
95 return cls.AsMirrorPtr();
96}
97
98static bool SafeVerifyClassClass(mirror::Class* cls) REQUIRES_SHARED(Locks::mutator_lock_) {
99 mirror::Class* c_c = SafeGetClass(cls);
100 bool result = c_c != nullptr && c_c == SafeGetClass(c_c);
101
102 if (kVerifySafeImpls) {
103 CHECK_EQ(VerifyClassClass(cls), result);
104 }
105
106 return result;
107}
108
109#else
110
111static mirror::Class* SafeGetDeclaringClass(ArtMethod* method_obj) {
112 return method_obj->GetDeclaringClassUnchecked<kWithoutReadBarrier>();
113}
114
115static bool SafeVerifyClassClass(ArtClass* cls) {
116 return VerifyClassClass(cls);
117}
118#endif
119
120
Dave Allison1f8ef6f2014-08-20 17:38:41 -0700121FaultManager::FaultManager() : initialized_(false) {
Dave Allisonb373e092014-02-20 16:06:36 -0800122 sigaction(SIGSEGV, nullptr, &oldaction_);
123}
124
125FaultManager::~FaultManager() {
Dave Allisonb373e092014-02-20 16:06:36 -0800126}
127
128void FaultManager::Init() {
Dave Allison1f8ef6f2014-08-20 17:38:41 -0700129 CHECK(!initialized_);
Josh Gao85a78cf2017-03-20 16:26:42 -0700130 AddSpecialSignalHandlerFn(SIGSEGV, art_fault_handler);
Dave Allison1f8ef6f2014-08-20 17:38:41 -0700131 initialized_ = true;
132}
133
Andreas Gampe928f72b2014-09-09 19:53:48 -0700134void FaultManager::Release() {
Dave Allison1f8ef6f2014-08-20 17:38:41 -0700135 if (initialized_) {
Josh Gao85a78cf2017-03-20 16:26:42 -0700136 RemoveSpecialSignalHandlerFn(SIGSEGV, art_fault_handler);
Dave Allison1f8ef6f2014-08-20 17:38:41 -0700137 initialized_ = false;
138 }
Dave Allisonb373e092014-02-20 16:06:36 -0800139}
140
Andreas Gampe928f72b2014-09-09 19:53:48 -0700141void FaultManager::Shutdown() {
142 if (initialized_) {
143 Release();
144
145 // Free all handlers.
146 STLDeleteElements(&generated_code_handlers_);
147 STLDeleteElements(&other_handlers_);
148 }
149}
150
jgu211376bdf2016-01-18 09:12:33 -0500151bool FaultManager::HandleFaultByOtherHandlers(int sig, siginfo_t* info, void* context) {
Andreas Gamped14b73d2016-04-18 17:15:42 -0700152 if (other_handlers_.empty()) {
153 return false;
154 }
155
Dave Allison0c2894b2014-08-29 12:06:16 -0700156 Thread* self = Thread::Current();
157
jgu211376bdf2016-01-18 09:12:33 -0500158 DCHECK(self != nullptr);
159 DCHECK(Runtime::Current() != nullptr);
160 DCHECK(Runtime::Current()->IsStarted());
Josh Gaoefd20cb2017-02-28 16:53:59 -0800161 for (const auto& handler : other_handlers_) {
162 if (handler->Action(sig, info, context)) {
163 return true;
Ian Rogersad11e7a2014-11-11 16:55:11 -0800164 }
165 }
jgu211376bdf2016-01-18 09:12:33 -0500166 return false;
167}
168
Josh Gao85a78cf2017-03-20 16:26:42 -0700169bool FaultManager::HandleFault(int sig, siginfo_t* info, void* context) {
170 VLOG(signals) << "Handling fault";
Josh Gaoefd20cb2017-02-28 16:53:59 -0800171
172#ifdef TEST_NESTED_SIGNAL
Josh Gao85a78cf2017-03-20 16:26:42 -0700173 // Simulate a crash in a handler.
174 raise(SIGSEGV);
Josh Gaoefd20cb2017-02-28 16:53:59 -0800175#endif
176
Josh Gao85a78cf2017-03-20 16:26:42 -0700177 if (IsInGeneratedCode(info, context, true)) {
178 VLOG(signals) << "in generated code, looking for handler";
179 for (const auto& handler : generated_code_handlers_) {
180 VLOG(signals) << "invoking Action on handler " << handler;
181 if (handler->Action(sig, info, context)) {
182 // We have handled a signal so it's time to return from the
183 // signal handler to the appropriate place.
184 return true;
Josh Gaoefd20cb2017-02-28 16:53:59 -0800185 }
Josh Gao85a78cf2017-03-20 16:26:42 -0700186 }
Josh Gaoefd20cb2017-02-28 16:53:59 -0800187
Josh Gao85a78cf2017-03-20 16:26:42 -0700188 // We hit a signal we didn't handle. This might be something for which
189 // we can give more information about so call all registered handlers to
190 // see if it is.
191 if (HandleFaultByOtherHandlers(sig, info, context)) {
192 return true;
jgu211376bdf2016-01-18 09:12:33 -0500193 }
194 }
Dave Allisonf4b80bc2014-05-14 15:41:25 -0700195
Dave Allison8be44cf2014-09-04 14:33:42 -0700196 // Set a breakpoint in this function to catch unhandled signals.
197 art_sigsegv_fault();
Josh Gao85a78cf2017-03-20 16:26:42 -0700198 return false;
Dave Allisonb373e092014-02-20 16:06:36 -0800199}
200
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700201void FaultManager::AddHandler(FaultHandler* handler, bool generated_code) {
Andreas Gampe928f72b2014-09-09 19:53:48 -0700202 DCHECK(initialized_);
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700203 if (generated_code) {
204 generated_code_handlers_.push_back(handler);
205 } else {
206 other_handlers_.push_back(handler);
207 }
208}
209
210void FaultManager::RemoveHandler(FaultHandler* handler) {
211 auto it = std::find(generated_code_handlers_.begin(), generated_code_handlers_.end(), handler);
212 if (it != generated_code_handlers_.end()) {
213 generated_code_handlers_.erase(it);
214 return;
215 }
216 auto it2 = std::find(other_handlers_.begin(), other_handlers_.end(), handler);
217 if (it2 != other_handlers_.end()) {
218 other_handlers_.erase(it);
219 return;
220 }
221 LOG(FATAL) << "Attempted to remove non existent handler " << handler;
222}
Dave Allisonb373e092014-02-20 16:06:36 -0800223
224// This function is called within the signal handler. It checks that
225// the mutator_lock is held (shared). No annotalysis is done.
Dave Allison69dfe512014-07-11 17:11:58 +0000226bool FaultManager::IsInGeneratedCode(siginfo_t* siginfo, void* context, bool check_dex_pc) {
Dave Allisonb373e092014-02-20 16:06:36 -0800227 // We can only be running Java code in the current thread if it
228 // is in Runnable state.
Dave Allison5cd33752014-04-15 15:57:58 -0700229 VLOG(signals) << "Checking for generated code";
Dave Allisonb373e092014-02-20 16:06:36 -0800230 Thread* thread = Thread::Current();
231 if (thread == nullptr) {
Dave Allison5cd33752014-04-15 15:57:58 -0700232 VLOG(signals) << "no current thread";
Dave Allisonb373e092014-02-20 16:06:36 -0800233 return false;
234 }
235
236 ThreadState state = thread->GetState();
237 if (state != kRunnable) {
Dave Allison5cd33752014-04-15 15:57:58 -0700238 VLOG(signals) << "not runnable";
Dave Allisonb373e092014-02-20 16:06:36 -0800239 return false;
240 }
241
242 // Current thread is runnable.
243 // Make sure it has the mutator lock.
244 if (!Locks::mutator_lock_->IsSharedHeld(thread)) {
Dave Allison5cd33752014-04-15 15:57:58 -0700245 VLOG(signals) << "no lock";
Dave Allisonb373e092014-02-20 16:06:36 -0800246 return false;
247 }
248
Nicolas Geoffray7bf2b4f2015-07-08 10:11:59 +0000249 ArtMethod* method_obj = nullptr;
Dave Allisonb373e092014-02-20 16:06:36 -0800250 uintptr_t return_pc = 0;
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700251 uintptr_t sp = 0;
Dave Allisonb373e092014-02-20 16:06:36 -0800252
253 // Get the architecture specific method address and return address. These
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700254 // are in architecture specific files in arch/<arch>/fault_handler_<arch>.
Dave Allisondfd3b472014-07-16 16:04:32 -0700255 GetMethodAndReturnPcAndSp(siginfo, context, &method_obj, &return_pc, &sp);
Dave Allisonb373e092014-02-20 16:06:36 -0800256
257 // If we don't have a potential method, we're outta here.
Dave Allison5cd33752014-04-15 15:57:58 -0700258 VLOG(signals) << "potential method: " << method_obj;
Mathieu Chartiere401d142015-04-22 13:56:20 -0700259 // TODO: Check linear alloc and image.
Andreas Gampe542451c2016-07-26 09:02:02 -0700260 DCHECK_ALIGNED(ArtMethod::Size(kRuntimePointerSize), sizeof(void*))
Nicolas Geoffray7bf2b4f2015-07-08 10:11:59 +0000261 << "ArtMethod is not pointer aligned";
262 if (method_obj == nullptr || !IsAligned<sizeof(void*)>(method_obj)) {
Dave Allison5cd33752014-04-15 15:57:58 -0700263 VLOG(signals) << "no method";
Dave Allisonb373e092014-02-20 16:06:36 -0800264 return false;
265 }
266
267 // Verify that the potential method is indeed a method.
268 // TODO: check the GC maps to make sure it's an object.
Dave Allisonb373e092014-02-20 16:06:36 -0800269 // Check that the class pointer inside the object is not null and is aligned.
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800270 // No read barrier because method_obj may not be a real object.
Josh Gao143f61c2017-04-17 20:10:29 -0700271 mirror::Class* cls = SafeGetDeclaringClass(method_obj);
Dave Allisonb373e092014-02-20 16:06:36 -0800272 if (cls == nullptr) {
Dave Allison5cd33752014-04-15 15:57:58 -0700273 VLOG(signals) << "not a class";
Dave Allisonb373e092014-02-20 16:06:36 -0800274 return false;
275 }
Josh Gao143f61c2017-04-17 20:10:29 -0700276
Dave Allisonb373e092014-02-20 16:06:36 -0800277 if (!IsAligned<kObjectAlignment>(cls)) {
Dave Allison5cd33752014-04-15 15:57:58 -0700278 VLOG(signals) << "not aligned";
Dave Allisonb373e092014-02-20 16:06:36 -0800279 return false;
280 }
281
Josh Gao143f61c2017-04-17 20:10:29 -0700282 if (!SafeVerifyClassClass(cls)) {
Dave Allison5cd33752014-04-15 15:57:58 -0700283 VLOG(signals) << "not a class class";
Dave Allisonb373e092014-02-20 16:06:36 -0800284 return false;
285 }
286
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100287 const OatQuickMethodHeader* method_header = method_obj->GetOatQuickMethodHeader(return_pc);
Nicolas Geoffray6bc43742015-10-12 18:11:10 +0100288
Dave Allisonb373e092014-02-20 16:06:36 -0800289 // We can be certain that this is a method now. Check if we have a GC map
290 // at the return PC address.
Dave Allisonf9439142014-03-27 15:10:22 -0700291 if (true || kIsDebugBuild) {
Dave Allison5cd33752014-04-15 15:57:58 -0700292 VLOG(signals) << "looking for dex pc for return pc " << std::hex << return_pc;
Nicolas Geoffray6bc43742015-10-12 18:11:10 +0100293 uint32_t sought_offset = return_pc -
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100294 reinterpret_cast<uintptr_t>(method_header->GetEntryPoint());
Dave Allison5cd33752014-04-15 15:57:58 -0700295 VLOG(signals) << "pc offset: " << std::hex << sought_offset;
Dave Allisonf9439142014-03-27 15:10:22 -0700296 }
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100297 uint32_t dexpc = method_header->ToDexPc(method_obj, return_pc, false);
Dave Allison5cd33752014-04-15 15:57:58 -0700298 VLOG(signals) << "dexpc: " << dexpc;
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700299 return !check_dex_pc || dexpc != DexFile::kDexNoIndex;
300}
301
302FaultHandler::FaultHandler(FaultManager* manager) : manager_(manager) {
Dave Allisonb373e092014-02-20 16:06:36 -0800303}
304
305//
306// Null pointer fault handler
307//
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700308NullPointerHandler::NullPointerHandler(FaultManager* manager) : FaultHandler(manager) {
309 manager_->AddHandler(this, true);
Dave Allisonb373e092014-02-20 16:06:36 -0800310}
311
312//
313// Suspension fault handler
314//
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700315SuspensionHandler::SuspensionHandler(FaultManager* manager) : FaultHandler(manager) {
316 manager_->AddHandler(this, true);
Dave Allisonb373e092014-02-20 16:06:36 -0800317}
318
319//
320// Stack overflow fault handler
321//
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700322StackOverflowHandler::StackOverflowHandler(FaultManager* manager) : FaultHandler(manager) {
323 manager_->AddHandler(this, true);
Dave Allisonb373e092014-02-20 16:06:36 -0800324}
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700325
326//
327// Stack trace handler, used to help get a stack trace from SIGSEGV inside of compiled code.
328//
329JavaStackTraceHandler::JavaStackTraceHandler(FaultManager* manager) : FaultHandler(manager) {
330 manager_->AddHandler(this, false);
331}
332
Roland Levillain4b8f1ec2015-08-26 18:34:03 +0100333bool JavaStackTraceHandler::Action(int sig ATTRIBUTE_UNUSED, siginfo_t* siginfo, void* context) {
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700334 // Make sure that we are in the generated code, but we may not have a dex pc.
Dave Allison8ce6b902014-08-26 11:07:58 -0700335 bool in_generated_code = manager_->IsInGeneratedCode(siginfo, context, false);
Dave Allison8ce6b902014-08-26 11:07:58 -0700336 if (in_generated_code) {
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700337 LOG(ERROR) << "Dumping java stack trace for crash in generated code";
Mathieu Chartiere401d142015-04-22 13:56:20 -0700338 ArtMethod* method = nullptr;
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700339 uintptr_t return_pc = 0;
340 uintptr_t sp = 0;
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700341 Thread* self = Thread::Current();
Dave Allison8ce6b902014-08-26 11:07:58 -0700342
Dave Allison0c2894b2014-08-29 12:06:16 -0700343 manager_->GetMethodAndReturnPcAndSp(siginfo, context, &method, &return_pc, &sp);
344 // Inside of generated code, sp[0] is the method, so sp is the frame.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700345 self->SetTopOfStack(reinterpret_cast<ArtMethod**>(sp));
Andreas Gampe3fec9ac2016-09-13 10:47:28 -0700346 self->DumpJavaStack(LOG_STREAM(ERROR));
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700347 }
Dave Allison8ce6b902014-08-26 11:07:58 -0700348
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700349 return false; // Return false since we want to propagate the fault to the main signal handler.
350}
351
Dave Allisonb373e092014-02-20 16:06:36 -0800352} // namespace art