mirror of
https://github.com/hanzoai/visor.git
synced 2026-09-24 17:04:14 +00:00
The target tg's leader's goroutine can set `groupStopDequeued` with the signals lock held and then give up the lock to the SIGCONT-sending goroutine, which in turn will return early from endGroupStopLocked() because a stop has not begun yet. So we fix this bug by having endGroupStopLocked() always clear `groupStopDequeued`. In other words, this fixes a race between: - deliverSingal() -> initiateGroupStop() and - applySignalSideEffectsLocked() -> endGroupStopLocked() Now there's a second bug. It is a race between: - runInterrupt.execute() - applySignalSideEffectsLocked() -> endGroupStopLocked() It occurs this way: in runInterrupt(), between participateGroupStopLocked() and beginInternalStopLocked(), the signal mutex is dropped, allowing a SIGCONT issuing thread to run its endGroupStopLocked() in the interim, which as it turns out fails to abort the stop, for runInterrupt.execute() will not consult `groupStopPending` again when it resumes. We fix this by not dropping the signals mutex in runInterrupt(). PiperOrigin-RevId: 885288544
297 lines
10 KiB
C++
297 lines
10 KiB
C++
// Copyright 2018 The gVisor 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
|
|
//
|
|
// http://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 <signal.h>
|
|
#include <stdlib.h>
|
|
#include <sys/select.h>
|
|
#include <time.h>
|
|
|
|
#include <array>
|
|
#include <atomic>
|
|
#include <memory>
|
|
|
|
#include "gmock/gmock.h"
|
|
#include "gtest/gtest.h"
|
|
#include "absl/flags/flag.h"
|
|
#include "absl/time/clock.h"
|
|
#include "absl/time/time.h"
|
|
#include "test/util/multiprocess_util.h"
|
|
#include "test/util/posix_error.h"
|
|
#include "test/util/save_util.h"
|
|
#include "test/util/test_util.h"
|
|
#include "test/util/thread_util.h"
|
|
|
|
ABSL_FLAG(bool, sigstop_test_child, false,
|
|
"If true, run the SigstopTest child workload.");
|
|
|
|
namespace gvisor {
|
|
namespace testing {
|
|
|
|
namespace {
|
|
|
|
constexpr absl::Duration kChildStartupDelay = absl::Seconds(5);
|
|
constexpr absl::Duration kChildMainThreadDelay = absl::Seconds(10);
|
|
constexpr absl::Duration kChildExtraThreadDelay = absl::Seconds(15);
|
|
constexpr absl::Duration kPostSIGSTOPDelay = absl::Seconds(20);
|
|
|
|
// Comparisons on absl::Duration aren't yet constexpr (2017-07-14), so we
|
|
// can't just use static_assert.
|
|
TEST(SigstopTest, TimesAreRelativelyConsistent) {
|
|
EXPECT_LT(kChildStartupDelay, kChildMainThreadDelay)
|
|
<< "Child process will exit before the parent process attempts to stop "
|
|
"it";
|
|
EXPECT_LT(kChildMainThreadDelay, kChildExtraThreadDelay)
|
|
<< "Secondary thread in child process will exit before main thread, "
|
|
"causing it to exit with the wrong code";
|
|
EXPECT_LT(kChildExtraThreadDelay, kPostSIGSTOPDelay)
|
|
<< "Parent process stops waiting before child process may exit if "
|
|
"improperly stopped, rendering the test ineffective";
|
|
}
|
|
|
|
// Exit codes communicated from the child workload to the parent test process.
|
|
constexpr int kChildMainThreadExitCode = 10;
|
|
constexpr int kChildExtraThreadExitCode = 11;
|
|
|
|
TEST(SigstopTest, Correctness) {
|
|
pid_t child_pid = -1;
|
|
int execve_errno = 0;
|
|
auto cleanup = ASSERT_NO_ERRNO_AND_VALUE(
|
|
ForkAndExec("/proc/self/exe", {"/proc/self/exe", "--sigstop_test_child"},
|
|
{}, nullptr, &child_pid, &execve_errno));
|
|
|
|
ASSERT_GT(child_pid, 0);
|
|
ASSERT_EQ(execve_errno, 0);
|
|
|
|
// Wait for the child subprocess to start the second thread before stopping
|
|
// it.
|
|
absl::SleepFor(kChildStartupDelay);
|
|
ASSERT_THAT(kill(child_pid, SIGSTOP), SyscallSucceeds());
|
|
int status;
|
|
EXPECT_THAT(RetryEINTR(waitpid)(child_pid, &status, WUNTRACED),
|
|
SyscallSucceedsWithValue(child_pid));
|
|
EXPECT_TRUE(WIFSTOPPED(status));
|
|
EXPECT_EQ(SIGSTOP, WSTOPSIG(status));
|
|
|
|
// Sleep for longer than either of the sleeps in the child subprocess,
|
|
// expecting the child to stay alive because it's stopped.
|
|
absl::SleepFor(kPostSIGSTOPDelay);
|
|
ASSERT_THAT(RetryEINTR(waitpid)(child_pid, &status, WNOHANG),
|
|
SyscallSucceedsWithValue(0));
|
|
|
|
// Resume the child.
|
|
ASSERT_THAT(kill(child_pid, SIGCONT), SyscallSucceeds());
|
|
|
|
EXPECT_THAT(RetryEINTR(waitpid)(child_pid, &status, WCONTINUED),
|
|
SyscallSucceedsWithValue(child_pid));
|
|
EXPECT_TRUE(WIFCONTINUED(status));
|
|
|
|
// Expect it to die.
|
|
ASSERT_THAT(RetryEINTR(waitpid)(child_pid, &status, 0), SyscallSucceeds());
|
|
ASSERT_TRUE(WIFEXITED(status));
|
|
ASSERT_EQ(WEXITSTATUS(status), kChildMainThreadExitCode);
|
|
}
|
|
|
|
TEST(SigstopTest, WaitidCorrectness) {
|
|
pid_t child_pid = -1;
|
|
int execve_errno = 0;
|
|
|
|
auto cleanup = ASSERT_NO_ERRNO_AND_VALUE(
|
|
ForkAndExec("/proc/self/exe", {"/proc/self/exe", "--sigstop_test_child"},
|
|
{}, nullptr, &child_pid, &execve_errno));
|
|
|
|
ASSERT_GT(child_pid, 0);
|
|
ASSERT_EQ(execve_errno, 0);
|
|
absl::SleepFor(kChildStartupDelay);
|
|
|
|
ASSERT_THAT(kill(child_pid, SIGSTOP), SyscallSucceeds());
|
|
|
|
siginfo_t info = {};
|
|
EXPECT_THAT(RetryEINTR(waitid)(P_PID, child_pid, &info, WSTOPPED),
|
|
SyscallSucceedsWithValue(0));
|
|
|
|
EXPECT_EQ(info.si_signo, SIGCHLD);
|
|
EXPECT_EQ(info.si_code, CLD_STOPPED);
|
|
EXPECT_EQ(info.si_status, SIGSTOP);
|
|
EXPECT_EQ(info.si_pid, child_pid);
|
|
|
|
ASSERT_THAT(kill(child_pid, SIGCONT), SyscallSucceeds());
|
|
EXPECT_THAT(RetryEINTR(waitid)(P_PID, child_pid, &info, WCONTINUED),
|
|
SyscallSucceedsWithValue(0));
|
|
EXPECT_EQ(info.si_code, CLD_CONTINUED);
|
|
|
|
ASSERT_THAT(kill(child_pid, SIGKILL), SyscallSucceeds());
|
|
EXPECT_THAT(RetryEINTR(waitid)(P_PID, child_pid, &info, WEXITED),
|
|
SyscallSucceedsWithValue(0));
|
|
EXPECT_EQ(info.si_code, CLD_KILLED);
|
|
}
|
|
|
|
TEST(SigstopTest, SIGCONTAbortsSIGSTOP) {
|
|
DisableSave ds; // Forks a lot across many threads.
|
|
constexpr size_t kIterCount = 10;
|
|
std::array<std::unique_ptr<ScopedThread>, 100> threads;
|
|
std::atomic<bool> failed{false};
|
|
|
|
// The race takes a while to manifest, hence we use many threads.
|
|
for (size_t i = 0; i < threads.size(); ++i) {
|
|
threads[i] = std::make_unique<ScopedThread>([&failed] {
|
|
for (size_t j = 0; j < kIterCount; ++j) {
|
|
if (failed.load(std::memory_order_relaxed)) {
|
|
return;
|
|
}
|
|
|
|
int pid = fork();
|
|
ASSERT_GE(pid, 0);
|
|
if (pid == 0) {
|
|
// Child just sits and waits for signals.
|
|
// pause() is async-signal-safe and blocks until any signal arrives.
|
|
while (true) pause();
|
|
}
|
|
|
|
ASSERT_THAT(kill(pid, SIGSTOP), SyscallSucceeds());
|
|
ASSERT_THAT(kill(pid, SIGCONT), SyscallSucceeds());
|
|
|
|
// Fire a SIGTERM:
|
|
// - If the child is STOPPED, SIGTERM is queued.
|
|
// - If the child is RUNNING, it dies.
|
|
// Either way the waitpid below should not hang.
|
|
ASSERT_THAT(kill(pid, SIGTERM), SyscallSucceeds());
|
|
|
|
int status;
|
|
EXPECT_THAT(RetryEINTR(waitpid)(pid, &status, WSTOPPED),
|
|
SyscallSucceeds());
|
|
if (WIFSTOPPED(status)) {
|
|
failed.store(true, std::memory_order_relaxed);
|
|
// Clean up: kill and reap the stuck child.
|
|
kill(pid, SIGKILL);
|
|
RetryEINTR(waitpid)(pid, &status, 0);
|
|
break; // Test failed, don't continue this thread.
|
|
} else {
|
|
EXPECT_TRUE(WIFSIGNALED(status));
|
|
EXPECT_EQ(WTERMSIG(status), SIGTERM);
|
|
}
|
|
}
|
|
});
|
|
}
|
|
|
|
for (const auto& t : threads) {
|
|
t->Join();
|
|
}
|
|
EXPECT_FALSE(failed.load(std::memory_order_relaxed));
|
|
}
|
|
|
|
// Like base:SleepFor, but tries to avoid counting time spent stopped due to a
|
|
// stop signal toward the sleep.
|
|
//
|
|
// This is required due to an inconsistency in how nanosleep(2) and stop signals
|
|
// interact on Linux. When nanosleep is interrupted, it writes the remaining
|
|
// time back to its second timespec argument, so that if nanosleep is
|
|
// interrupted by a signal handler then userspace can immediately call nanosleep
|
|
// again with that timespec. However, if nanosleep is automatically restarted
|
|
// (because it's interrupted by a signal that is not delivered to a handler,
|
|
// such as a stop signal), it's restarted based on the timer's former *absolute*
|
|
// expiration time (via ERESTART_RESTARTBLOCK => SYS_restart_syscall =>
|
|
// hrtimer_nanosleep_restart). This means that time spent stopped is effectively
|
|
// counted as time spent sleeping, resulting in less time spent sleeping than
|
|
// expected.
|
|
//
|
|
// Dividing the sleep into multiple smaller sleeps limits the impact of this
|
|
// effect to the length of each sleep during which a stop occurs; for example,
|
|
// if a sleeping process is only stopped once, SleepIgnoreStopped can
|
|
// under-sleep by at most 100ms.
|
|
void SleepIgnoreStopped(absl::Duration d) {
|
|
absl::Duration const max_sleep = absl::Milliseconds(100);
|
|
while (d > absl::ZeroDuration()) {
|
|
absl::Duration to_sleep = std::min(d, max_sleep);
|
|
absl::SleepFor(to_sleep);
|
|
d -= to_sleep;
|
|
}
|
|
}
|
|
|
|
TEST(SigstopTest, RestartSyscall) {
|
|
pid_t pid;
|
|
constexpr absl::Duration kStopDelay = absl::Seconds(5);
|
|
constexpr absl::Duration kStartupDelay = absl::Seconds(5);
|
|
constexpr int64_t kSleepDelay = 15;
|
|
constexpr int64_t kErrorDelay = 3;
|
|
|
|
const DisableSave ds; // Timing-related.
|
|
|
|
pid = fork();
|
|
if (pid == 0) {
|
|
struct timespec ts = {.tv_sec = kSleepDelay};
|
|
struct timespec start, finish;
|
|
TEST_CHECK(clock_gettime(CLOCK_MONOTONIC, &start) == 0);
|
|
TEST_CHECK(nanosleep(&ts, nullptr) == 0);
|
|
TEST_CHECK(clock_gettime(CLOCK_MONOTONIC, &finish) == 0);
|
|
// Check that time spent stopped is counted as time spent sleeping.
|
|
TEST_CHECK(finish.tv_sec - start.tv_sec >= kSleepDelay);
|
|
TEST_CHECK(finish.tv_sec - start.tv_sec < kSleepDelay + kErrorDelay);
|
|
_exit(kChildMainThreadExitCode);
|
|
}
|
|
ASSERT_THAT(pid, SyscallSucceeds());
|
|
|
|
// Wait for the child subprocess to start sleeping before stopping it.
|
|
absl::SleepFor(kStartupDelay);
|
|
ASSERT_THAT(kill(pid, SIGSTOP), SyscallSucceeds());
|
|
int status;
|
|
EXPECT_THAT(RetryEINTR(waitpid)(pid, &status, WUNTRACED),
|
|
SyscallSucceedsWithValue(pid));
|
|
EXPECT_TRUE(WIFSTOPPED(status));
|
|
EXPECT_EQ(SIGSTOP, WSTOPSIG(status));
|
|
|
|
// Sleep for shorter than the sleep in the child subprocess.
|
|
absl::SleepFor(kStopDelay);
|
|
ASSERT_THAT(RetryEINTR(waitpid)(pid, &status, WNOHANG),
|
|
SyscallSucceedsWithValue(0));
|
|
|
|
// Resume the child.
|
|
ASSERT_THAT(kill(pid, SIGCONT), SyscallSucceeds());
|
|
|
|
EXPECT_THAT(RetryEINTR(waitpid)(pid, &status, WCONTINUED),
|
|
SyscallSucceedsWithValue(pid));
|
|
EXPECT_TRUE(WIFCONTINUED(status));
|
|
|
|
// Expect it to die.
|
|
ASSERT_THAT(RetryEINTR(waitpid)(pid, &status, 0), SyscallSucceeds());
|
|
ASSERT_TRUE(WIFEXITED(status));
|
|
ASSERT_EQ(WEXITSTATUS(status), kChildMainThreadExitCode);
|
|
}
|
|
|
|
void RunChild() {
|
|
// Start another thread that attempts to call exit_group with a different
|
|
// error code, in order to verify that SIGSTOP stops this thread as well.
|
|
ScopedThread t([] {
|
|
SleepIgnoreStopped(kChildExtraThreadDelay);
|
|
exit(kChildExtraThreadExitCode);
|
|
});
|
|
SleepIgnoreStopped(kChildMainThreadDelay);
|
|
exit(kChildMainThreadExitCode);
|
|
}
|
|
|
|
} // namespace
|
|
|
|
} // namespace testing
|
|
} // namespace gvisor
|
|
|
|
int main(int argc, char** argv) {
|
|
gvisor::testing::TestInit(&argc, &argv);
|
|
|
|
if (absl::GetFlag(FLAGS_sigstop_test_child)) {
|
|
gvisor::testing::RunChild();
|
|
return 1;
|
|
}
|
|
|
|
return gvisor::testing::RunAllTests();
|
|
}
|