Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 1 | /* |
| 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 | |
| 18 | #ifndef ART_RUNTIME_FAULT_HANDLER_H_ |
| 19 | #define ART_RUNTIME_FAULT_HANDLER_H_ |
| 20 | |
| 21 | #include <signal.h> |
| 22 | #include <vector> |
| 23 | #include <setjmp.h> |
| 24 | #include <stdint.h> |
| 25 | |
| 26 | #include "base/mutex.h" // For annotalysis. |
| 27 | |
| 28 | namespace art { |
Mathieu Chartier | c751fdc | 2014-03-30 15:25:44 -0700 | [diff] [blame] | 29 | |
Mathieu Chartier | c751fdc | 2014-03-30 15:25:44 -0700 | [diff] [blame] | 30 | class ArtMethod; |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 31 | class FaultHandler; |
| 32 | |
| 33 | class FaultManager { |
| 34 | public: |
| 35 | FaultManager(); |
| 36 | ~FaultManager(); |
| 37 | |
| 38 | void Init(); |
Andreas Gampe | 928f72b | 2014-09-09 19:53:48 -0700 | [diff] [blame] | 39 | |
| 40 | // Unclaim signals. |
| 41 | void Release(); |
| 42 | |
| 43 | // Unclaim signals and delete registered handlers. |
Dave Allison | 1f8ef6f | 2014-08-20 17:38:41 -0700 | [diff] [blame] | 44 | void Shutdown(); |
Mathieu Chartier | d000480 | 2014-10-15 16:59:47 -0700 | [diff] [blame] | 45 | void EnsureArtActionInFrontOfSignalChain(); |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 46 | |
| 47 | void HandleFault(int sig, siginfo_t* info, void* context); |
Dave Allison | 8ce6b90 | 2014-08-26 11:07:58 -0700 | [diff] [blame] | 48 | void HandleNestedSignal(int sig, siginfo_t* info, void* context); |
Andreas Gampe | 928f72b | 2014-09-09 19:53:48 -0700 | [diff] [blame] | 49 | |
| 50 | // Added handlers are owned by the fault handler and will be freed on Shutdown(). |
Mathieu Chartier | c751fdc | 2014-03-30 15:25:44 -0700 | [diff] [blame] | 51 | void AddHandler(FaultHandler* handler, bool generated_code); |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 52 | void RemoveHandler(FaultHandler* handler); |
Dave Allison | dfd3b47 | 2014-07-16 16:04:32 -0700 | [diff] [blame] | 53 | |
| 54 | // Note that the following two functions are called in the context of a signal handler. |
| 55 | // The IsInGeneratedCode() function checks that the mutator lock is held before it |
| 56 | // calls GetMethodAndReturnPCAndSP(). |
| 57 | // TODO: think about adding lock assertions and fake lock and unlock functions. |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 58 | void GetMethodAndReturnPcAndSp(siginfo_t* siginfo, void* context, ArtMethod** out_method, |
Dave Allison | dfd3b47 | 2014-07-16 16:04:32 -0700 | [diff] [blame] | 59 | uintptr_t* out_return_pc, uintptr_t* out_sp) |
| 60 | NO_THREAD_SAFETY_ANALYSIS; |
Dave Allison | 69dfe51 | 2014-07-11 17:11:58 +0000 | [diff] [blame] | 61 | bool IsInGeneratedCode(siginfo_t* siginfo, void *context, bool check_dex_pc) |
| 62 | NO_THREAD_SAFETY_ANALYSIS; |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 63 | |
| 64 | private: |
Mathieu Chartier | c751fdc | 2014-03-30 15:25:44 -0700 | [diff] [blame] | 65 | std::vector<FaultHandler*> generated_code_handlers_; |
| 66 | std::vector<FaultHandler*> other_handlers_; |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 67 | struct sigaction oldaction_; |
Dave Allison | 1f8ef6f | 2014-08-20 17:38:41 -0700 | [diff] [blame] | 68 | bool initialized_; |
Mathieu Chartier | c751fdc | 2014-03-30 15:25:44 -0700 | [diff] [blame] | 69 | DISALLOW_COPY_AND_ASSIGN(FaultManager); |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 70 | }; |
| 71 | |
| 72 | class FaultHandler { |
| 73 | public: |
Mathieu Chartier | c751fdc | 2014-03-30 15:25:44 -0700 | [diff] [blame] | 74 | explicit FaultHandler(FaultManager* manager); |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 75 | virtual ~FaultHandler() {} |
Mathieu Chartier | c751fdc | 2014-03-30 15:25:44 -0700 | [diff] [blame] | 76 | FaultManager* GetFaultManager() { |
| 77 | return manager_; |
| 78 | } |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 79 | |
| 80 | virtual bool Action(int sig, siginfo_t* siginfo, void* context) = 0; |
Mathieu Chartier | c751fdc | 2014-03-30 15:25:44 -0700 | [diff] [blame] | 81 | |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 82 | protected: |
| 83 | FaultManager* const manager_; |
Mathieu Chartier | c751fdc | 2014-03-30 15:25:44 -0700 | [diff] [blame] | 84 | |
| 85 | private: |
| 86 | DISALLOW_COPY_AND_ASSIGN(FaultHandler); |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 87 | }; |
| 88 | |
| 89 | class NullPointerHandler FINAL : public FaultHandler { |
| 90 | public: |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 91 | explicit NullPointerHandler(FaultManager* manager); |
| 92 | |
| 93 | bool Action(int sig, siginfo_t* siginfo, void* context) OVERRIDE; |
Mathieu Chartier | c751fdc | 2014-03-30 15:25:44 -0700 | [diff] [blame] | 94 | |
| 95 | private: |
| 96 | DISALLOW_COPY_AND_ASSIGN(NullPointerHandler); |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 97 | }; |
| 98 | |
| 99 | class SuspensionHandler FINAL : public FaultHandler { |
| 100 | public: |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 101 | explicit SuspensionHandler(FaultManager* manager); |
| 102 | |
| 103 | bool Action(int sig, siginfo_t* siginfo, void* context) OVERRIDE; |
Mathieu Chartier | c751fdc | 2014-03-30 15:25:44 -0700 | [diff] [blame] | 104 | |
| 105 | private: |
| 106 | DISALLOW_COPY_AND_ASSIGN(SuspensionHandler); |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 107 | }; |
| 108 | |
| 109 | class StackOverflowHandler FINAL : public FaultHandler { |
| 110 | public: |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 111 | explicit StackOverflowHandler(FaultManager* manager); |
| 112 | |
| 113 | bool Action(int sig, siginfo_t* siginfo, void* context) OVERRIDE; |
Mathieu Chartier | c751fdc | 2014-03-30 15:25:44 -0700 | [diff] [blame] | 114 | |
| 115 | private: |
| 116 | DISALLOW_COPY_AND_ASSIGN(StackOverflowHandler); |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 117 | }; |
| 118 | |
Mathieu Chartier | c751fdc | 2014-03-30 15:25:44 -0700 | [diff] [blame] | 119 | class JavaStackTraceHandler FINAL : public FaultHandler { |
| 120 | public: |
| 121 | explicit JavaStackTraceHandler(FaultManager* manager); |
| 122 | |
| 123 | bool Action(int sig, siginfo_t* siginfo, void* context) OVERRIDE NO_THREAD_SAFETY_ANALYSIS; |
| 124 | |
| 125 | private: |
| 126 | DISALLOW_COPY_AND_ASSIGN(JavaStackTraceHandler); |
| 127 | }; |
| 128 | |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 129 | // Statically allocated so the the signal handler can Get access to it. |
Dave Allison | b373e09 | 2014-02-20 16:06:36 -0800 | [diff] [blame] | 130 | extern FaultManager fault_manager; |
| 131 | |
| 132 | } // namespace art |
| 133 | #endif // ART_RUNTIME_FAULT_HANDLER_H_ |
| 134 | |