12bc53e031
-- c99f979ad34f155fbeeea69b88bdc7458d89a21c by Derek Mauro <dmauro@google.com>: Remove a floating point division by zero test. This isn't testing behavior related to the library, and MSVC warns about it in opt mode. PiperOrigin-RevId: 285220804 -- 68b015491f0dbf1ab547994673281abd1f34cd4b by Gennadiy Rozental <rogeeff@google.com>: This CL introduces following changes to the class FlagImpl: * We eliminate the CommandLineFlagLocks struct. Instead callback guard and callback function are combined into a single CallbackData struct, while primary data lock is stored separately. * CallbackData member of class FlagImpl is initially set to be nullptr and is only allocated and initialized when a flag's callback is being set. For most flags we do not pay for the extra space and extra absl::Mutex now. * Primary data guard is stored in data_guard_ data member. This is a properly aligned character buffer of necessary size. During initialization of the flag we construct absl::Mutex in this space using placement new call. * We now avoid extra value copy after successful attempt to parse value out of string. Instead we swap flag's current value with tentative value we just produced. PiperOrigin-RevId: 285132636 -- ed45d118fb818969eb13094cf7827c885dfc562c by Tom Manshreck <shreck@google.com>: Change null-term* (and nul-term*) to NUL-term* in comments PiperOrigin-RevId: 285036610 -- 729619017944db895ce8d6d29c1995aa2e5628a5 by Derek Mauro <dmauro@google.com>: Use the Posix implementation of thread identity on MinGW. Some versions of MinGW suffer from thread_local bugs. PiperOrigin-RevId: 285022920 -- 39a25493503c76885bc3254c28f66a251c5b5bb0 by Greg Falcon <gfalcon@google.com>: Implementation detail change. Add further ABSL_NAMESPACE_BEGIN and _END annotation macros to files in Abseil. PiperOrigin-RevId: 285012012 GitOrigin-RevId: c99f979ad34f155fbeeea69b88bdc7458d89a21c Change-Id: I4c85d3704e45d11a9ac50d562f39640a6adbedc1
184 lines
7.4 KiB
C++
184 lines
7.4 KiB
C++
//
|
|
// Copyright 2018 The Abseil Authors.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// https://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
|
|
#include "absl/debugging/internal/stack_consumption.h"
|
|
|
|
#ifdef ABSL_INTERNAL_HAVE_DEBUGGING_STACK_CONSUMPTION
|
|
|
|
#include <signal.h>
|
|
#include <sys/mman.h>
|
|
#include <unistd.h>
|
|
|
|
#include <string.h>
|
|
|
|
#include "absl/base/attributes.h"
|
|
#include "absl/base/internal/raw_logging.h"
|
|
|
|
namespace absl {
|
|
ABSL_NAMESPACE_BEGIN
|
|
namespace debugging_internal {
|
|
namespace {
|
|
|
|
// This code requires that we know the direction in which the stack
|
|
// grows. It is commonly believed that this can be detected by putting
|
|
// a variable on the stack and then passing its address to a function
|
|
// that compares the address of this variable to the address of a
|
|
// variable on the function's own stack. However, this is unspecified
|
|
// behavior in C++: If two pointers p and q of the same type point to
|
|
// different objects that are not members of the same object or
|
|
// elements of the same array or to different functions, or if only
|
|
// one of them is null, the results of p<q, p>q, p<=q, and p>=q are
|
|
// unspecified. Therefore, instead we hardcode the direction of the
|
|
// stack on platforms we know about.
|
|
#if defined(__i386__) || defined(__x86_64__) || defined(__ppc__)
|
|
constexpr bool kStackGrowsDown = true;
|
|
#else
|
|
#error Need to define kStackGrowsDown
|
|
#endif
|
|
|
|
// To measure the stack footprint of some code, we create a signal handler
|
|
// (for SIGUSR2 say) that exercises this code on an alternate stack. This
|
|
// alternate stack is initialized to some known pattern (0x55, 0x55, 0x55,
|
|
// ...). We then self-send this signal, and after the signal handler returns,
|
|
// look at the alternate stack buffer to see what portion has been touched.
|
|
//
|
|
// This trick gives us the the stack footprint of the signal handler. But the
|
|
// signal handler, even before the code for it is exercised, consumes some
|
|
// stack already. We however only want the stack usage of the code inside the
|
|
// signal handler. To measure this accurately, we install two signal handlers:
|
|
// one that does nothing and just returns, and the user-provided signal
|
|
// handler. The difference between the stack consumption of these two signals
|
|
// handlers should give us the stack foorprint of interest.
|
|
|
|
void EmptySignalHandler(int) {}
|
|
|
|
// This is arbitrary value, and could be increase further, at the cost of
|
|
// memset()ting it all to known sentinel value.
|
|
constexpr int kAlternateStackSize = 64 << 10; // 64KiB
|
|
|
|
constexpr int kSafetyMargin = 32;
|
|
constexpr char kAlternateStackFillValue = 0x55;
|
|
|
|
// These helper functions look at the alternate stack buffer, and figure
|
|
// out what portion of this buffer has been touched - this is the stack
|
|
// consumption of the signal handler running on this alternate stack.
|
|
// This function will return -1 if the alternate stack buffer has not been
|
|
// touched. It will abort the program if the buffer has overflowed or is about
|
|
// to overflow.
|
|
int GetStackConsumption(const void* const altstack) {
|
|
const char* begin;
|
|
int increment;
|
|
if (kStackGrowsDown) {
|
|
begin = reinterpret_cast<const char*>(altstack);
|
|
increment = 1;
|
|
} else {
|
|
begin = reinterpret_cast<const char*>(altstack) + kAlternateStackSize - 1;
|
|
increment = -1;
|
|
}
|
|
|
|
for (int usage_count = kAlternateStackSize; usage_count > 0; --usage_count) {
|
|
if (*begin != kAlternateStackFillValue) {
|
|
ABSL_RAW_CHECK(usage_count <= kAlternateStackSize - kSafetyMargin,
|
|
"Buffer has overflowed or is about to overflow");
|
|
return usage_count;
|
|
}
|
|
begin += increment;
|
|
}
|
|
|
|
ABSL_RAW_LOG(FATAL, "Unreachable code");
|
|
return -1;
|
|
}
|
|
|
|
} // namespace
|
|
|
|
int GetSignalHandlerStackConsumption(void (*signal_handler)(int)) {
|
|
// The alt-signal-stack cannot be heap allocated because there is a
|
|
// bug in glibc-2.2 where some signal handler setup code looks at the
|
|
// current stack pointer to figure out what thread is currently running.
|
|
// Therefore, the alternate stack must be allocated from the main stack
|
|
// itself.
|
|
void* altstack = mmap(nullptr, kAlternateStackSize, PROT_READ | PROT_WRITE,
|
|
MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
|
|
ABSL_RAW_CHECK(altstack != MAP_FAILED, "mmap() failed");
|
|
|
|
// Set up the alt-signal-stack (and save the older one).
|
|
stack_t sigstk;
|
|
memset(&sigstk, 0, sizeof(sigstk));
|
|
sigstk.ss_sp = altstack;
|
|
sigstk.ss_size = kAlternateStackSize;
|
|
sigstk.ss_flags = 0;
|
|
stack_t old_sigstk;
|
|
memset(&old_sigstk, 0, sizeof(old_sigstk));
|
|
ABSL_RAW_CHECK(sigaltstack(&sigstk, &old_sigstk) == 0,
|
|
"sigaltstack() failed");
|
|
|
|
// Set up SIGUSR1 and SIGUSR2 signal handlers (and save the older ones).
|
|
struct sigaction sa;
|
|
memset(&sa, 0, sizeof(sa));
|
|
struct sigaction old_sa1, old_sa2;
|
|
sigemptyset(&sa.sa_mask);
|
|
sa.sa_flags = SA_ONSTACK;
|
|
|
|
// SIGUSR1 maps to EmptySignalHandler.
|
|
sa.sa_handler = EmptySignalHandler;
|
|
ABSL_RAW_CHECK(sigaction(SIGUSR1, &sa, &old_sa1) == 0, "sigaction() failed");
|
|
|
|
// SIGUSR2 maps to signal_handler.
|
|
sa.sa_handler = signal_handler;
|
|
ABSL_RAW_CHECK(sigaction(SIGUSR2, &sa, &old_sa2) == 0, "sigaction() failed");
|
|
|
|
// Send SIGUSR1 signal and measure the stack consumption of the empty
|
|
// signal handler.
|
|
// The first signal might use more stack space. Run once and ignore the
|
|
// results to get that out of the way.
|
|
ABSL_RAW_CHECK(kill(getpid(), SIGUSR1) == 0, "kill() failed");
|
|
|
|
memset(altstack, kAlternateStackFillValue, kAlternateStackSize);
|
|
ABSL_RAW_CHECK(kill(getpid(), SIGUSR1) == 0, "kill() failed");
|
|
int base_stack_consumption = GetStackConsumption(altstack);
|
|
|
|
// Send SIGUSR2 signal and measure the stack consumption of signal_handler.
|
|
ABSL_RAW_CHECK(kill(getpid(), SIGUSR2) == 0, "kill() failed");
|
|
int signal_handler_stack_consumption = GetStackConsumption(altstack);
|
|
|
|
// Now restore the old alt-signal-stack and signal handlers.
|
|
if (old_sigstk.ss_sp == nullptr && old_sigstk.ss_size == 0 &&
|
|
(old_sigstk.ss_flags & SS_DISABLE)) {
|
|
// https://git.musl-libc.org/cgit/musl/commit/src/signal/sigaltstack.c?id=7829f42a2c8944555439380498ab8b924d0f2070
|
|
// The original stack has ss_size==0 and ss_flags==SS_DISABLE, but some
|
|
// versions of musl have a bug that rejects ss_size==0. Work around this by
|
|
// setting ss_size to MINSIGSTKSZ, which should be ignored by the kernel
|
|
// when SS_DISABLE is set.
|
|
old_sigstk.ss_size = MINSIGSTKSZ;
|
|
}
|
|
ABSL_RAW_CHECK(sigaltstack(&old_sigstk, nullptr) == 0,
|
|
"sigaltstack() failed");
|
|
ABSL_RAW_CHECK(sigaction(SIGUSR1, &old_sa1, nullptr) == 0,
|
|
"sigaction() failed");
|
|
ABSL_RAW_CHECK(sigaction(SIGUSR2, &old_sa2, nullptr) == 0,
|
|
"sigaction() failed");
|
|
|
|
ABSL_RAW_CHECK(munmap(altstack, kAlternateStackSize) == 0, "munmap() failed");
|
|
if (signal_handler_stack_consumption != -1 && base_stack_consumption != -1) {
|
|
return signal_handler_stack_consumption - base_stack_consumption;
|
|
}
|
|
return -1;
|
|
}
|
|
|
|
} // namespace debugging_internal
|
|
ABSL_NAMESPACE_END
|
|
} // namespace absl
|
|
|
|
#endif // ABSL_INTERNAL_HAVE_DEBUGGING_STACK_CONSUMPTION
|