blob: 5c2830d96b2b73541ad72ad49981d6a381b11608 [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
Alex Light21f498f2018-02-02 11:12:49 -080019#include <string.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"
Andreas Gampe170331f2017-12-07 18:41:03 -080024#include "base/logging.h" // For VLOG
Josh Gao143f61c2017-04-17 20:10:29 -070025#include "base/safe_copy.h"
Andreas Gampe928f72b2014-09-09 19:53:48 -070026#include "base/stl_util.h"
David Sehr9e734c72018-01-04 17:56:19 -080027#include "dex/dex_file_types.h"
Ian Rogers22d5e732014-07-15 22:23:51 -070028#include "mirror/class.h"
Josh Gao143f61c2017-04-17 20:10:29 -070029#include "mirror/object_reference.h"
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010030#include "oat_quick_method_header.h"
Dave Allisonf4b80bc2014-05-14 15:41:25 -070031#include "sigchain.h"
Andreas Gampeb486a982017-06-01 13:45:54 -070032#include "thread-current-inl.h"
Dave Allisonb373e092014-02-20 16:06:36 -080033#include "verify_object-inl.h"
34
35namespace art {
36// Static fault manger object accessed by signal handler.
37FaultManager fault_manager;
38
Alex Light9cc68ed2018-04-03 15:55:46 -070039// This needs to be NO_INLINE since some debuggers do not read the inline-info to set a breakpoint
40// if it isn't.
41extern "C" NO_INLINE __attribute__((visibility("default"))) void art_sigsegv_fault() {
Dave Allisonf4b80bc2014-05-14 15:41:25 -070042 // Set a breakpoint here to be informed when a SIGSEGV is unhandled by ART.
43 VLOG(signals)<< "Caught unknown SIGSEGV in ART fault handler - chaining to next handler.";
44}
Dave Allisonf4b80bc2014-05-14 15:41:25 -070045
Dave Allisonb373e092014-02-20 16:06:36 -080046// Signal handler called on SIGSEGV.
Josh Gao85a78cf2017-03-20 16:26:42 -070047static bool art_fault_handler(int sig, siginfo_t* info, void* context) {
48 return fault_manager.HandleFault(sig, info, context);
Dave Allisonb373e092014-02-20 16:06:36 -080049}
50
Josh Gao143f61c2017-04-17 20:10:29 -070051#if defined(__linux__)
52
53// Change to verify the safe implementations against the original ones.
54constexpr bool kVerifySafeImpls = false;
55
56// Provide implementations of ArtMethod::GetDeclaringClass and VerifyClassClass that use SafeCopy
57// to safely dereference pointers which are potentially garbage.
58// Only available on Linux due to availability of SafeCopy.
59
60static mirror::Class* SafeGetDeclaringClass(ArtMethod* method)
61 REQUIRES_SHARED(Locks::mutator_lock_) {
62 char* method_declaring_class =
63 reinterpret_cast<char*>(method) + ArtMethod::DeclaringClassOffset().SizeValue();
64
65 // ArtMethod::declaring_class_ is a GcRoot<mirror::Class>.
66 // Read it out into as a CompressedReference directly for simplicity's sake.
67 mirror::CompressedReference<mirror::Class> cls;
68 ssize_t rc = SafeCopy(&cls, method_declaring_class, sizeof(cls));
69 CHECK_NE(-1, rc);
70
71 if (kVerifySafeImpls) {
Vladimir Markod93e3742018-07-18 10:58:13 +010072 ObjPtr<mirror::Class> actual_class = method->GetDeclaringClassUnchecked<kWithoutReadBarrier>();
Josh Gao143f61c2017-04-17 20:10:29 -070073 CHECK_EQ(actual_class, cls.AsMirrorPtr());
74 }
75
76 if (rc != sizeof(cls)) {
77 return nullptr;
78 }
79
80 return cls.AsMirrorPtr();
81}
82
83static mirror::Class* SafeGetClass(mirror::Object* obj) REQUIRES_SHARED(Locks::mutator_lock_) {
84 char* obj_cls = reinterpret_cast<char*>(obj) + mirror::Object::ClassOffset().SizeValue();
85
Mathieu Chartierad8ebb32017-08-09 20:13:18 -070086 mirror::HeapReference<mirror::Class> cls;
Josh Gao143f61c2017-04-17 20:10:29 -070087 ssize_t rc = SafeCopy(&cls, obj_cls, sizeof(cls));
88 CHECK_NE(-1, rc);
89
90 if (kVerifySafeImpls) {
91 mirror::Class* actual_class = obj->GetClass<kVerifyNone>();
92 CHECK_EQ(actual_class, cls.AsMirrorPtr());
93 }
94
95 if (rc != sizeof(cls)) {
96 return nullptr;
97 }
98
99 return cls.AsMirrorPtr();
100}
101
102static bool SafeVerifyClassClass(mirror::Class* cls) REQUIRES_SHARED(Locks::mutator_lock_) {
103 mirror::Class* c_c = SafeGetClass(cls);
104 bool result = c_c != nullptr && c_c == SafeGetClass(c_c);
105
106 if (kVerifySafeImpls) {
107 CHECK_EQ(VerifyClassClass(cls), result);
108 }
109
110 return result;
111}
112
113#else
114
Josh Gao77c14152017-04-19 13:20:19 -0700115static mirror::Class* SafeGetDeclaringClass(ArtMethod* method_obj)
116 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier9a497a62018-07-22 13:56:00 -0700117 return method_obj->GetDeclaringClassUnchecked<kWithoutReadBarrier>().Ptr();
Josh Gao143f61c2017-04-17 20:10:29 -0700118}
119
Josh Gao77c14152017-04-19 13:20:19 -0700120static bool SafeVerifyClassClass(mirror::Class* cls) REQUIRES_SHARED(Locks::mutator_lock_) {
Josh Gao143f61c2017-04-17 20:10:29 -0700121 return VerifyClassClass(cls);
122}
123#endif
124
125
Dave Allison1f8ef6f2014-08-20 17:38:41 -0700126FaultManager::FaultManager() : initialized_(false) {
Dave Allisonb373e092014-02-20 16:06:36 -0800127 sigaction(SIGSEGV, nullptr, &oldaction_);
128}
129
130FaultManager::~FaultManager() {
Dave Allisonb373e092014-02-20 16:06:36 -0800131}
132
133void FaultManager::Init() {
Dave Allison1f8ef6f2014-08-20 17:38:41 -0700134 CHECK(!initialized_);
Josh Gao6b2018f2017-05-04 13:55:28 -0700135 sigset_t mask;
136 sigfillset(&mask);
137 sigdelset(&mask, SIGABRT);
138 sigdelset(&mask, SIGBUS);
139 sigdelset(&mask, SIGFPE);
140 sigdelset(&mask, SIGILL);
141 sigdelset(&mask, SIGSEGV);
142
143 SigchainAction sa = {
144 .sc_sigaction = art_fault_handler,
145 .sc_mask = mask,
146 .sc_flags = 0UL,
147 };
148
149 AddSpecialSignalHandlerFn(SIGSEGV, &sa);
Dave Allison1f8ef6f2014-08-20 17:38:41 -0700150 initialized_ = true;
151}
152
Andreas Gampe928f72b2014-09-09 19:53:48 -0700153void FaultManager::Release() {
Dave Allison1f8ef6f2014-08-20 17:38:41 -0700154 if (initialized_) {
Josh Gao85a78cf2017-03-20 16:26:42 -0700155 RemoveSpecialSignalHandlerFn(SIGSEGV, art_fault_handler);
Dave Allison1f8ef6f2014-08-20 17:38:41 -0700156 initialized_ = false;
157 }
Dave Allisonb373e092014-02-20 16:06:36 -0800158}
159
Andreas Gampe928f72b2014-09-09 19:53:48 -0700160void FaultManager::Shutdown() {
161 if (initialized_) {
162 Release();
163
164 // Free all handlers.
165 STLDeleteElements(&generated_code_handlers_);
166 STLDeleteElements(&other_handlers_);
167 }
168}
169
jgu211376bdf2016-01-18 09:12:33 -0500170bool FaultManager::HandleFaultByOtherHandlers(int sig, siginfo_t* info, void* context) {
Andreas Gamped14b73d2016-04-18 17:15:42 -0700171 if (other_handlers_.empty()) {
172 return false;
173 }
174
Dave Allison0c2894b2014-08-29 12:06:16 -0700175 Thread* self = Thread::Current();
176
jgu211376bdf2016-01-18 09:12:33 -0500177 DCHECK(self != nullptr);
178 DCHECK(Runtime::Current() != nullptr);
179 DCHECK(Runtime::Current()->IsStarted());
Josh Gaoefd20cb2017-02-28 16:53:59 -0800180 for (const auto& handler : other_handlers_) {
181 if (handler->Action(sig, info, context)) {
182 return true;
Ian Rogersad11e7a2014-11-11 16:55:11 -0800183 }
184 }
jgu211376bdf2016-01-18 09:12:33 -0500185 return false;
186}
187
Alex Light21f498f2018-02-02 11:12:49 -0800188static const char* SignalCodeName(int sig, int code) {
189 if (sig != SIGSEGV) {
190 return "UNKNOWN";
191 } else {
192 switch (code) {
193 case SEGV_MAPERR: return "SEGV_MAPERR";
194 case SEGV_ACCERR: return "SEGV_ACCERR";
195 default: return "UNKNOWN";
196 }
197 }
198}
199static std::ostream& PrintSignalInfo(std::ostream& os, siginfo_t* info) {
200 os << " si_signo: " << info->si_signo << " (" << strsignal(info->si_signo) << ")\n"
201 << " si_code: " << info->si_code
202 << " (" << SignalCodeName(info->si_signo, info->si_code) << ")";
203 if (info->si_signo == SIGSEGV) {
204 os << "\n" << " si_addr: " << info->si_addr;
205 }
206 return os;
207}
208
Josh Gao85a78cf2017-03-20 16:26:42 -0700209bool FaultManager::HandleFault(int sig, siginfo_t* info, void* context) {
Alex Light21f498f2018-02-02 11:12:49 -0800210 if (VLOG_IS_ON(signals)) {
211 PrintSignalInfo(VLOG_STREAM(signals) << "Handling fault:" << "\n", info);
212 }
Josh Gaoefd20cb2017-02-28 16:53:59 -0800213
214#ifdef TEST_NESTED_SIGNAL
Josh Gao85a78cf2017-03-20 16:26:42 -0700215 // Simulate a crash in a handler.
216 raise(SIGSEGV);
Josh Gaoefd20cb2017-02-28 16:53:59 -0800217#endif
218
Josh Gao85a78cf2017-03-20 16:26:42 -0700219 if (IsInGeneratedCode(info, context, true)) {
220 VLOG(signals) << "in generated code, looking for handler";
221 for (const auto& handler : generated_code_handlers_) {
222 VLOG(signals) << "invoking Action on handler " << handler;
223 if (handler->Action(sig, info, context)) {
224 // We have handled a signal so it's time to return from the
225 // signal handler to the appropriate place.
226 return true;
Josh Gaoefd20cb2017-02-28 16:53:59 -0800227 }
Josh Gao85a78cf2017-03-20 16:26:42 -0700228 }
Alex Lightf4ed7e82018-01-17 11:52:36 -0800229 }
Josh Gaoefd20cb2017-02-28 16:53:59 -0800230
Alex Lightf4ed7e82018-01-17 11:52:36 -0800231 // We hit a signal we didn't handle. This might be something for which
232 // we can give more information about so call all registered handlers to
233 // see if it is.
234 if (HandleFaultByOtherHandlers(sig, info, context)) {
235 return true;
jgu211376bdf2016-01-18 09:12:33 -0500236 }
Dave Allisonf4b80bc2014-05-14 15:41:25 -0700237
Dave Allison8be44cf2014-09-04 14:33:42 -0700238 // Set a breakpoint in this function to catch unhandled signals.
239 art_sigsegv_fault();
Josh Gao85a78cf2017-03-20 16:26:42 -0700240 return false;
Dave Allisonb373e092014-02-20 16:06:36 -0800241}
242
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700243void FaultManager::AddHandler(FaultHandler* handler, bool generated_code) {
Andreas Gampe928f72b2014-09-09 19:53:48 -0700244 DCHECK(initialized_);
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700245 if (generated_code) {
246 generated_code_handlers_.push_back(handler);
247 } else {
248 other_handlers_.push_back(handler);
249 }
250}
251
252void FaultManager::RemoveHandler(FaultHandler* handler) {
253 auto it = std::find(generated_code_handlers_.begin(), generated_code_handlers_.end(), handler);
254 if (it != generated_code_handlers_.end()) {
255 generated_code_handlers_.erase(it);
256 return;
257 }
258 auto it2 = std::find(other_handlers_.begin(), other_handlers_.end(), handler);
259 if (it2 != other_handlers_.end()) {
Alex Lightf4ed7e82018-01-17 11:52:36 -0800260 other_handlers_.erase(it2);
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700261 return;
262 }
263 LOG(FATAL) << "Attempted to remove non existent handler " << handler;
264}
Dave Allisonb373e092014-02-20 16:06:36 -0800265
266// This function is called within the signal handler. It checks that
267// the mutator_lock is held (shared). No annotalysis is done.
Dave Allison69dfe512014-07-11 17:11:58 +0000268bool FaultManager::IsInGeneratedCode(siginfo_t* siginfo, void* context, bool check_dex_pc) {
Dave Allisonb373e092014-02-20 16:06:36 -0800269 // We can only be running Java code in the current thread if it
270 // is in Runnable state.
Dave Allison5cd33752014-04-15 15:57:58 -0700271 VLOG(signals) << "Checking for generated code";
Dave Allisonb373e092014-02-20 16:06:36 -0800272 Thread* thread = Thread::Current();
273 if (thread == nullptr) {
Dave Allison5cd33752014-04-15 15:57:58 -0700274 VLOG(signals) << "no current thread";
Dave Allisonb373e092014-02-20 16:06:36 -0800275 return false;
276 }
277
278 ThreadState state = thread->GetState();
279 if (state != kRunnable) {
Dave Allison5cd33752014-04-15 15:57:58 -0700280 VLOG(signals) << "not runnable";
Dave Allisonb373e092014-02-20 16:06:36 -0800281 return false;
282 }
283
284 // Current thread is runnable.
285 // Make sure it has the mutator lock.
286 if (!Locks::mutator_lock_->IsSharedHeld(thread)) {
Dave Allison5cd33752014-04-15 15:57:58 -0700287 VLOG(signals) << "no lock";
Dave Allisonb373e092014-02-20 16:06:36 -0800288 return false;
289 }
290
Nicolas Geoffray7bf2b4f2015-07-08 10:11:59 +0000291 ArtMethod* method_obj = nullptr;
Dave Allisonb373e092014-02-20 16:06:36 -0800292 uintptr_t return_pc = 0;
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700293 uintptr_t sp = 0;
Dave Allisonb373e092014-02-20 16:06:36 -0800294
295 // Get the architecture specific method address and return address. These
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700296 // are in architecture specific files in arch/<arch>/fault_handler_<arch>.
Dave Allisondfd3b472014-07-16 16:04:32 -0700297 GetMethodAndReturnPcAndSp(siginfo, context, &method_obj, &return_pc, &sp);
Dave Allisonb373e092014-02-20 16:06:36 -0800298
299 // If we don't have a potential method, we're outta here.
Dave Allison5cd33752014-04-15 15:57:58 -0700300 VLOG(signals) << "potential method: " << method_obj;
Mathieu Chartiere401d142015-04-22 13:56:20 -0700301 // TODO: Check linear alloc and image.
Andreas Gampe542451c2016-07-26 09:02:02 -0700302 DCHECK_ALIGNED(ArtMethod::Size(kRuntimePointerSize), sizeof(void*))
Nicolas Geoffray7bf2b4f2015-07-08 10:11:59 +0000303 << "ArtMethod is not pointer aligned";
304 if (method_obj == nullptr || !IsAligned<sizeof(void*)>(method_obj)) {
Dave Allison5cd33752014-04-15 15:57:58 -0700305 VLOG(signals) << "no method";
Dave Allisonb373e092014-02-20 16:06:36 -0800306 return false;
307 }
308
309 // Verify that the potential method is indeed a method.
310 // TODO: check the GC maps to make sure it's an object.
Dave Allisonb373e092014-02-20 16:06:36 -0800311 // Check that the class pointer inside the object is not null and is aligned.
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800312 // No read barrier because method_obj may not be a real object.
Josh Gao143f61c2017-04-17 20:10:29 -0700313 mirror::Class* cls = SafeGetDeclaringClass(method_obj);
Dave Allisonb373e092014-02-20 16:06:36 -0800314 if (cls == nullptr) {
Dave Allison5cd33752014-04-15 15:57:58 -0700315 VLOG(signals) << "not a class";
Dave Allisonb373e092014-02-20 16:06:36 -0800316 return false;
317 }
Josh Gao143f61c2017-04-17 20:10:29 -0700318
Dave Allisonb373e092014-02-20 16:06:36 -0800319 if (!IsAligned<kObjectAlignment>(cls)) {
Dave Allison5cd33752014-04-15 15:57:58 -0700320 VLOG(signals) << "not aligned";
Dave Allisonb373e092014-02-20 16:06:36 -0800321 return false;
322 }
323
Josh Gao143f61c2017-04-17 20:10:29 -0700324 if (!SafeVerifyClassClass(cls)) {
Dave Allison5cd33752014-04-15 15:57:58 -0700325 VLOG(signals) << "not a class class";
Dave Allisonb373e092014-02-20 16:06:36 -0800326 return false;
327 }
328
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100329 const OatQuickMethodHeader* method_header = method_obj->GetOatQuickMethodHeader(return_pc);
Nicolas Geoffray6bc43742015-10-12 18:11:10 +0100330
Dave Allisonb373e092014-02-20 16:06:36 -0800331 // We can be certain that this is a method now. Check if we have a GC map
332 // at the return PC address.
Dave Allisonf9439142014-03-27 15:10:22 -0700333 if (true || kIsDebugBuild) {
Dave Allison5cd33752014-04-15 15:57:58 -0700334 VLOG(signals) << "looking for dex pc for return pc " << std::hex << return_pc;
Nicolas Geoffray6bc43742015-10-12 18:11:10 +0100335 uint32_t sought_offset = return_pc -
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100336 reinterpret_cast<uintptr_t>(method_header->GetEntryPoint());
Dave Allison5cd33752014-04-15 15:57:58 -0700337 VLOG(signals) << "pc offset: " << std::hex << sought_offset;
Dave Allisonf9439142014-03-27 15:10:22 -0700338 }
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100339 uint32_t dexpc = method_header->ToDexPc(method_obj, return_pc, false);
Dave Allison5cd33752014-04-15 15:57:58 -0700340 VLOG(signals) << "dexpc: " << dexpc;
Andreas Gampee2abbc62017-09-15 11:59:26 -0700341 return !check_dex_pc || dexpc != dex::kDexNoIndex;
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700342}
343
344FaultHandler::FaultHandler(FaultManager* manager) : manager_(manager) {
Dave Allisonb373e092014-02-20 16:06:36 -0800345}
346
347//
348// Null pointer fault handler
349//
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700350NullPointerHandler::NullPointerHandler(FaultManager* manager) : FaultHandler(manager) {
351 manager_->AddHandler(this, true);
Dave Allisonb373e092014-02-20 16:06:36 -0800352}
353
354//
355// Suspension fault handler
356//
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700357SuspensionHandler::SuspensionHandler(FaultManager* manager) : FaultHandler(manager) {
358 manager_->AddHandler(this, true);
Dave Allisonb373e092014-02-20 16:06:36 -0800359}
360
361//
362// Stack overflow fault handler
363//
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700364StackOverflowHandler::StackOverflowHandler(FaultManager* manager) : FaultHandler(manager) {
365 manager_->AddHandler(this, true);
Dave Allisonb373e092014-02-20 16:06:36 -0800366}
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700367
368//
369// Stack trace handler, used to help get a stack trace from SIGSEGV inside of compiled code.
370//
371JavaStackTraceHandler::JavaStackTraceHandler(FaultManager* manager) : FaultHandler(manager) {
372 manager_->AddHandler(this, false);
373}
374
Roland Levillain4b8f1ec2015-08-26 18:34:03 +0100375bool JavaStackTraceHandler::Action(int sig ATTRIBUTE_UNUSED, siginfo_t* siginfo, void* context) {
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700376 // Make sure that we are in the generated code, but we may not have a dex pc.
Dave Allison8ce6b902014-08-26 11:07:58 -0700377 bool in_generated_code = manager_->IsInGeneratedCode(siginfo, context, false);
Dave Allison8ce6b902014-08-26 11:07:58 -0700378 if (in_generated_code) {
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700379 LOG(ERROR) << "Dumping java stack trace for crash in generated code";
Mathieu Chartiere401d142015-04-22 13:56:20 -0700380 ArtMethod* method = nullptr;
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700381 uintptr_t return_pc = 0;
382 uintptr_t sp = 0;
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700383 Thread* self = Thread::Current();
Dave Allison8ce6b902014-08-26 11:07:58 -0700384
Dave Allison0c2894b2014-08-29 12:06:16 -0700385 manager_->GetMethodAndReturnPcAndSp(siginfo, context, &method, &return_pc, &sp);
386 // Inside of generated code, sp[0] is the method, so sp is the frame.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700387 self->SetTopOfStack(reinterpret_cast<ArtMethod**>(sp));
Andreas Gampe3fec9ac2016-09-13 10:47:28 -0700388 self->DumpJavaStack(LOG_STREAM(ERROR));
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700389 }
Dave Allison8ce6b902014-08-26 11:07:58 -0700390
Mathieu Chartierc751fdc2014-03-30 15:25:44 -0700391 return false; // Return false since we want to propagate the fault to the main signal handler.
392}
393
Dave Allisonb373e092014-02-20 16:06:36 -0800394} // namespace art