stack_consumption.cc 7.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185
  1. //
  2. // Copyright 2018 The Abseil Authors.
  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. // https://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. #include "absl/debugging/internal/stack_consumption.h"
  16. #ifdef ABSL_INTERNAL_HAVE_DEBUGGING_STACK_CONSUMPTION
  17. #include <signal.h>
  18. #include <sys/mman.h>
  19. #include <unistd.h>
  20. #include <string.h>
  21. #include "absl/base/attributes.h"
  22. #include "absl/base/internal/raw_logging.h"
  23. namespace absl {
  24. ABSL_NAMESPACE_BEGIN
  25. namespace debugging_internal {
  26. namespace {
  27. // This code requires that we know the direction in which the stack
  28. // grows. It is commonly believed that this can be detected by putting
  29. // a variable on the stack and then passing its address to a function
  30. // that compares the address of this variable to the address of a
  31. // variable on the function's own stack. However, this is unspecified
  32. // behavior in C++: If two pointers p and q of the same type point to
  33. // different objects that are not members of the same object or
  34. // elements of the same array or to different functions, or if only
  35. // one of them is null, the results of p<q, p>q, p<=q, and p>=q are
  36. // unspecified. Therefore, instead we hardcode the direction of the
  37. // stack on platforms we know about.
  38. #if defined(__i386__) || defined(__x86_64__) || defined(__ppc__) || \
  39. defined(__aarch64__) || defined(__riscv)
  40. constexpr bool kStackGrowsDown = true;
  41. #else
  42. #error Need to define kStackGrowsDown
  43. #endif
  44. // To measure the stack footprint of some code, we create a signal handler
  45. // (for SIGUSR2 say) that exercises this code on an alternate stack. This
  46. // alternate stack is initialized to some known pattern (0x55, 0x55, 0x55,
  47. // ...). We then self-send this signal, and after the signal handler returns,
  48. // look at the alternate stack buffer to see what portion has been touched.
  49. //
  50. // This trick gives us the the stack footprint of the signal handler. But the
  51. // signal handler, even before the code for it is exercised, consumes some
  52. // stack already. We however only want the stack usage of the code inside the
  53. // signal handler. To measure this accurately, we install two signal handlers:
  54. // one that does nothing and just returns, and the user-provided signal
  55. // handler. The difference between the stack consumption of these two signals
  56. // handlers should give us the stack foorprint of interest.
  57. void EmptySignalHandler(int) {}
  58. // This is arbitrary value, and could be increase further, at the cost of
  59. // memset()ting it all to known sentinel value.
  60. constexpr int kAlternateStackSize = 64 << 10; // 64KiB
  61. constexpr int kSafetyMargin = 32;
  62. constexpr char kAlternateStackFillValue = 0x55;
  63. // These helper functions look at the alternate stack buffer, and figure
  64. // out what portion of this buffer has been touched - this is the stack
  65. // consumption of the signal handler running on this alternate stack.
  66. // This function will return -1 if the alternate stack buffer has not been
  67. // touched. It will abort the program if the buffer has overflowed or is about
  68. // to overflow.
  69. int GetStackConsumption(const void* const altstack) {
  70. const char* begin;
  71. int increment;
  72. if (kStackGrowsDown) {
  73. begin = reinterpret_cast<const char*>(altstack);
  74. increment = 1;
  75. } else {
  76. begin = reinterpret_cast<const char*>(altstack) + kAlternateStackSize - 1;
  77. increment = -1;
  78. }
  79. for (int usage_count = kAlternateStackSize; usage_count > 0; --usage_count) {
  80. if (*begin != kAlternateStackFillValue) {
  81. ABSL_RAW_CHECK(usage_count <= kAlternateStackSize - kSafetyMargin,
  82. "Buffer has overflowed or is about to overflow");
  83. return usage_count;
  84. }
  85. begin += increment;
  86. }
  87. ABSL_RAW_LOG(FATAL, "Unreachable code");
  88. return -1;
  89. }
  90. } // namespace
  91. int GetSignalHandlerStackConsumption(void (*signal_handler)(int)) {
  92. // The alt-signal-stack cannot be heap allocated because there is a
  93. // bug in glibc-2.2 where some signal handler setup code looks at the
  94. // current stack pointer to figure out what thread is currently running.
  95. // Therefore, the alternate stack must be allocated from the main stack
  96. // itself.
  97. void* altstack = mmap(nullptr, kAlternateStackSize, PROT_READ | PROT_WRITE,
  98. MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
  99. ABSL_RAW_CHECK(altstack != MAP_FAILED, "mmap() failed");
  100. // Set up the alt-signal-stack (and save the older one).
  101. stack_t sigstk;
  102. memset(&sigstk, 0, sizeof(sigstk));
  103. sigstk.ss_sp = altstack;
  104. sigstk.ss_size = kAlternateStackSize;
  105. sigstk.ss_flags = 0;
  106. stack_t old_sigstk;
  107. memset(&old_sigstk, 0, sizeof(old_sigstk));
  108. ABSL_RAW_CHECK(sigaltstack(&sigstk, &old_sigstk) == 0,
  109. "sigaltstack() failed");
  110. // Set up SIGUSR1 and SIGUSR2 signal handlers (and save the older ones).
  111. struct sigaction sa;
  112. memset(&sa, 0, sizeof(sa));
  113. struct sigaction old_sa1, old_sa2;
  114. sigemptyset(&sa.sa_mask);
  115. sa.sa_flags = SA_ONSTACK;
  116. // SIGUSR1 maps to EmptySignalHandler.
  117. sa.sa_handler = EmptySignalHandler;
  118. ABSL_RAW_CHECK(sigaction(SIGUSR1, &sa, &old_sa1) == 0, "sigaction() failed");
  119. // SIGUSR2 maps to signal_handler.
  120. sa.sa_handler = signal_handler;
  121. ABSL_RAW_CHECK(sigaction(SIGUSR2, &sa, &old_sa2) == 0, "sigaction() failed");
  122. // Send SIGUSR1 signal and measure the stack consumption of the empty
  123. // signal handler.
  124. // The first signal might use more stack space. Run once and ignore the
  125. // results to get that out of the way.
  126. ABSL_RAW_CHECK(kill(getpid(), SIGUSR1) == 0, "kill() failed");
  127. memset(altstack, kAlternateStackFillValue, kAlternateStackSize);
  128. ABSL_RAW_CHECK(kill(getpid(), SIGUSR1) == 0, "kill() failed");
  129. int base_stack_consumption = GetStackConsumption(altstack);
  130. // Send SIGUSR2 signal and measure the stack consumption of signal_handler.
  131. ABSL_RAW_CHECK(kill(getpid(), SIGUSR2) == 0, "kill() failed");
  132. int signal_handler_stack_consumption = GetStackConsumption(altstack);
  133. // Now restore the old alt-signal-stack and signal handlers.
  134. if (old_sigstk.ss_sp == nullptr && old_sigstk.ss_size == 0 &&
  135. (old_sigstk.ss_flags & SS_DISABLE)) {
  136. // https://git.musl-libc.org/cgit/musl/commit/src/signal/sigaltstack.c?id=7829f42a2c8944555439380498ab8b924d0f2070
  137. // The original stack has ss_size==0 and ss_flags==SS_DISABLE, but some
  138. // versions of musl have a bug that rejects ss_size==0. Work around this by
  139. // setting ss_size to MINSIGSTKSZ, which should be ignored by the kernel
  140. // when SS_DISABLE is set.
  141. old_sigstk.ss_size = MINSIGSTKSZ;
  142. }
  143. ABSL_RAW_CHECK(sigaltstack(&old_sigstk, nullptr) == 0,
  144. "sigaltstack() failed");
  145. ABSL_RAW_CHECK(sigaction(SIGUSR1, &old_sa1, nullptr) == 0,
  146. "sigaction() failed");
  147. ABSL_RAW_CHECK(sigaction(SIGUSR2, &old_sa2, nullptr) == 0,
  148. "sigaction() failed");
  149. ABSL_RAW_CHECK(munmap(altstack, kAlternateStackSize) == 0, "munmap() failed");
  150. if (signal_handler_stack_consumption != -1 && base_stack_consumption != -1) {
  151. return signal_handler_stack_consumption - base_stack_consumption;
  152. }
  153. return -1;
  154. }
  155. } // namespace debugging_internal
  156. ABSL_NAMESPACE_END
  157. } // namespace absl
  158. #endif // ABSL_INTERNAL_HAVE_DEBUGGING_STACK_CONSUMPTION