blob: 7b1e35a5b0fd9f678ce5705a62e27968cd8c5470 [file]
// Copyright 2023 The Centipede 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 "./centipede/stop.h"
#include <algorithm>
#include <array>
#include <atomic>
#include <cstdlib>
#include <cstring>
#include <memory>
#include <string>
#include <string_view>
#include <thread> // NOLINT: for std::this_thread
#include "absl/time/clock.h"
#include "absl/time/time.h"
namespace fuzztest::internal {
StopCondition::StopCondition()
: reason_(std::make_unique<std::array<char, kReasonBufferSize>>()) {}
void StopCondition::ClearStopRequest() {
if (!stop_requested_.load(std::memory_order_acquire)) {
return;
}
// Wait until the request is fully written.
while (!stop_request_ready_.load(std::memory_order_acquire)) {
std::this_thread::yield();
}
exit_code_ = EXIT_SUCCESS;
reason_len_ = 0;
stop_request_ready_.store(false, std::memory_order_release);
stop_requested_.store(false, std::memory_order_release);
}
void StopCondition::SetStopTime(absl::Time stop_time) {
stop_time_ = stop_time;
}
bool StopCondition::StopRequested(StopRequest* request) const {
if (!stop_requested_.load(std::memory_order_acquire)) {
return false;
}
if (request == nullptr) {
return true;
}
// Wait until the request is fully written.
while (!stop_request_ready_.load(std::memory_order_acquire)) {
std::this_thread::yield();
}
request->exit_code = exit_code_;
request->reason = std::string(reason_->data(), reason_len_);
return true;
}
void StopCondition::RequestStop(int exit_code, std::string_view reason) {
// Only write the reason if it hasn't been requested yet, to avoid races
// overwriting it, although races are rare.
if (stop_requested_.exchange(true)) return;
exit_code_ = exit_code;
// Copy up to the capacity to avoid memory allocation and make it safe to call
// in signal handlers.
reason_len_ = std::min(reason_->size(), reason.size());
if (reason_len_ > 0) {
std::memcpy(reason_->data(), reason.data(), reason_len_);
}
stop_request_ready_.store(true, std::memory_order_release);
}
absl::Time StopCondition::GetStopTime() const { return stop_time_; }
bool StopCondition::ShouldStop() const {
return StopRequested() || stop_time_ < absl::Now();
}
} // namespace fuzztest::internal