Austin Schuh | 6c590f8 | 2019-09-11 19:23:12 -0700 | [diff] [blame] | 1 | #include "aos/ipc_lib/signalfd.h" |
| 2 | |
Stephan Pleines | 682928d | 2024-05-31 20:43:48 -0700 | [diff] [blame] | 3 | #include <string.h> |
Austin Schuh | 6c590f8 | 2019-09-11 19:23:12 -0700 | [diff] [blame] | 4 | #include <sys/types.h> |
Tyler Chatow | bf0609c | 2021-07-31 16:13:27 -0700 | [diff] [blame] | 5 | |
| 6 | #include <csignal> |
Stephan Pleines | 682928d | 2024-05-31 20:43:48 -0700 | [diff] [blame] | 7 | #include <ostream> |
Austin Schuh | 8d2e3fa | 2020-09-10 23:01:55 -0700 | [diff] [blame] | 8 | #if __has_feature(memory_sanitizer) |
| 9 | #include <sanitizer/msan_interface.h> |
| 10 | #endif |
Austin Schuh | 6c590f8 | 2019-09-11 19:23:12 -0700 | [diff] [blame] | 11 | #include <unistd.h> |
Tyler Chatow | 85c32c9 | 2021-07-31 11:58:51 -0700 | [diff] [blame] | 12 | |
Austin Schuh | 6c590f8 | 2019-09-11 19:23:12 -0700 | [diff] [blame] | 13 | #include <initializer_list> |
| 14 | |
Austin Schuh | 99f7c6a | 2024-06-25 22:07:44 -0700 | [diff] [blame^] | 15 | #include "absl/log/check.h" |
| 16 | #include "absl/log/log.h" |
Austin Schuh | 6c590f8 | 2019-09-11 19:23:12 -0700 | [diff] [blame] | 17 | |
Stephan Pleines | f63bde8 | 2024-01-13 15:59:33 -0800 | [diff] [blame] | 18 | namespace aos::ipc_lib { |
Austin Schuh | 8d2e3fa | 2020-09-10 23:01:55 -0700 | [diff] [blame] | 19 | namespace { |
| 20 | |
| 21 | // Wrapper which propagates msan information. |
| 22 | // TODO(Brian): Drop this once we have <https://reviews.llvm.org/D82411> to |
| 23 | // intercept this function natively. |
| 24 | int wrapped_sigandset(sigset_t *dest, const sigset_t *left, |
| 25 | const sigset_t *right) { |
| 26 | #if __has_feature(memory_sanitizer) |
| 27 | if (left) { |
| 28 | __msan_check_mem_is_initialized(left, sizeof(*left)); |
| 29 | } |
| 30 | if (right) { |
| 31 | __msan_check_mem_is_initialized(right, sizeof(*right)); |
| 32 | } |
| 33 | #endif |
| 34 | const int r = sigandset(dest, left, right); |
| 35 | #if __has_feature(memory_sanitizer) |
| 36 | if (!r && dest) { |
| 37 | __msan_unpoison(dest, sizeof(*dest)); |
| 38 | } |
| 39 | #endif |
| 40 | return r; |
| 41 | } |
| 42 | |
| 43 | // Wrapper which propagates msan information. |
| 44 | // TODO(Brian): Drop this once we have |
| 45 | // <https://reviews.llvm.org/rG89ae290b58e20fc5f56b7bfae4b34e7fef06e1b1> to |
| 46 | // intercept this function natively. |
| 47 | int wrapped_pthread_sigmask(int how, const sigset_t *set, sigset_t *oldset) { |
| 48 | #if __has_feature(memory_sanitizer) |
| 49 | if (set) { |
| 50 | __msan_check_mem_is_initialized(set, sizeof(*set)); |
| 51 | } |
| 52 | #endif |
| 53 | const int r = pthread_sigmask(how, set, oldset); |
| 54 | #if __has_feature(memory_sanitizer) |
| 55 | if (!r && oldset) { |
| 56 | __msan_unpoison(oldset, sizeof(*oldset)); |
| 57 | } |
| 58 | #endif |
| 59 | return r; |
| 60 | } |
| 61 | |
| 62 | } // namespace |
Austin Schuh | 6c590f8 | 2019-09-11 19:23:12 -0700 | [diff] [blame] | 63 | |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 64 | SignalFd::SignalFd(::std::initializer_list<unsigned int> signals) { |
Austin Schuh | 6c590f8 | 2019-09-11 19:23:12 -0700 | [diff] [blame] | 65 | // Build up the mask with the provided signals. |
Brian Silverman | 407cc53 | 2019-11-03 11:40:56 -0800 | [diff] [blame] | 66 | CHECK_EQ(0, sigemptyset(&blocked_mask_)); |
Austin Schuh | 6c590f8 | 2019-09-11 19:23:12 -0700 | [diff] [blame] | 67 | for (int signal : signals) { |
Brian Silverman | 407cc53 | 2019-11-03 11:40:56 -0800 | [diff] [blame] | 68 | CHECK_EQ(0, sigaddset(&blocked_mask_, signal)); |
Austin Schuh | 6c590f8 | 2019-09-11 19:23:12 -0700 | [diff] [blame] | 69 | } |
| 70 | // Then build a signalfd. Make it nonblocking so it works well with an epoll |
| 71 | // loop, and have it close on exec. |
Brian Silverman | 407cc53 | 2019-11-03 11:40:56 -0800 | [diff] [blame] | 72 | PCHECK((fd_ = signalfd(-1, &blocked_mask_, SFD_NONBLOCK | SFD_CLOEXEC)) != 0); |
Austin Schuh | 6c590f8 | 2019-09-11 19:23:12 -0700 | [diff] [blame] | 73 | // Now that we have a consumer of the signal, block the signals so the |
Brian Silverman | 407cc53 | 2019-11-03 11:40:56 -0800 | [diff] [blame] | 74 | // signalfd gets them. Record which ones we actually blocked, so we can |
| 75 | // unblock just those later. |
| 76 | sigset_t old_mask; |
Austin Schuh | 8d2e3fa | 2020-09-10 23:01:55 -0700 | [diff] [blame] | 77 | CHECK_EQ(0, wrapped_pthread_sigmask(SIG_BLOCK, &blocked_mask_, &old_mask)); |
Brian Silverman | 407cc53 | 2019-11-03 11:40:56 -0800 | [diff] [blame] | 78 | for (int signal : signals) { |
| 79 | if (sigismember(&old_mask, signal)) { |
Brian Silverman | 3697528 | 2021-07-29 12:06:55 -0700 | [diff] [blame] | 80 | LeaveSignalBlocked(signal); |
Brian Silverman | 407cc53 | 2019-11-03 11:40:56 -0800 | [diff] [blame] | 81 | } |
| 82 | } |
Austin Schuh | 6c590f8 | 2019-09-11 19:23:12 -0700 | [diff] [blame] | 83 | } |
| 84 | |
Tyler Chatow | 85c32c9 | 2021-07-31 11:58:51 -0700 | [diff] [blame] | 85 | namespace { |
| 86 | // sizeof(sigset_t) is larger than the bytes actually used to represent all |
| 87 | // signals. This size is only the bytes initialized. _NSIG is 1-indexed. |
| 88 | static constexpr size_t kSigSetSize = (_NSIG - 1) / 8; |
| 89 | |
| 90 | // If the size of the mask changes, we should check that we still have |
| 91 | // correct behavior. |
| 92 | static_assert(kSigSetSize == 8 && kSigSetSize <= sizeof(sigset_t)); |
| 93 | } // namespace |
| 94 | |
Austin Schuh | 6c590f8 | 2019-09-11 19:23:12 -0700 | [diff] [blame] | 95 | SignalFd::~SignalFd() { |
Brian Silverman | 407cc53 | 2019-11-03 11:40:56 -0800 | [diff] [blame] | 96 | // Unwind the constructor. Unblock the signals and close the fd. Verify nobody |
| 97 | // else unblocked the signals we're supposed to unblock in the meantime. |
| 98 | sigset_t old_mask; |
Austin Schuh | 8d2e3fa | 2020-09-10 23:01:55 -0700 | [diff] [blame] | 99 | CHECK_EQ(0, wrapped_pthread_sigmask(SIG_UNBLOCK, &blocked_mask_, &old_mask)); |
Brian Silverman | 407cc53 | 2019-11-03 11:40:56 -0800 | [diff] [blame] | 100 | sigset_t unblocked_mask; |
Austin Schuh | 8d2e3fa | 2020-09-10 23:01:55 -0700 | [diff] [blame] | 101 | CHECK_EQ(0, wrapped_sigandset(&unblocked_mask, &blocked_mask_, &old_mask)); |
Tyler Chatow | 85c32c9 | 2021-07-31 11:58:51 -0700 | [diff] [blame] | 102 | if (memcmp(&unblocked_mask, &blocked_mask_, kSigSetSize) != 0) { |
Brian Silverman | 407cc53 | 2019-11-03 11:40:56 -0800 | [diff] [blame] | 103 | LOG(FATAL) << "Some other code unblocked one or more of our signals"; |
| 104 | } |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 105 | PCHECK(close(fd_) == 0); |
Austin Schuh | 6c590f8 | 2019-09-11 19:23:12 -0700 | [diff] [blame] | 106 | } |
| 107 | |
| 108 | signalfd_siginfo SignalFd::Read() { |
| 109 | signalfd_siginfo result; |
| 110 | |
| 111 | const int ret = |
| 112 | read(fd_, static_cast<void *>(&result), sizeof(signalfd_siginfo)); |
| 113 | // If we didn't get the right amount of data, signal that there was a problem |
| 114 | // by setting the signal number to 0. |
| 115 | if (ret != static_cast<int>(sizeof(signalfd_siginfo))) { |
| 116 | result.ssi_signo = 0; |
Brian Silverman | 407cc53 | 2019-11-03 11:40:56 -0800 | [diff] [blame] | 117 | } else { |
| 118 | CHECK_NE(0u, result.ssi_signo); |
Austin Schuh | 6c590f8 | 2019-09-11 19:23:12 -0700 | [diff] [blame] | 119 | } |
| 120 | return result; |
| 121 | } |
| 122 | |
Brian Silverman | 3697528 | 2021-07-29 12:06:55 -0700 | [diff] [blame] | 123 | void SignalFd::LeaveSignalBlocked(unsigned int signal) { |
| 124 | CHECK_EQ(0, sigdelset(&blocked_mask_, signal)); |
| 125 | } |
| 126 | |
Stephan Pleines | f63bde8 | 2024-01-13 15:59:33 -0800 | [diff] [blame] | 127 | } // namespace aos::ipc_lib |