4f381f6d07
* bump abseil to 20250814 * bump protobuf to v32.0 * cmake: add ccache auto support * backport flatzinc, math_opt and sat update
102 lines
3.5 KiB
C++
102 lines
3.5 KiB
C++
// Copyright 2010-2025 Google LLC
|
|
// 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 "ortools/util/solve_interrupter.h"
|
|
|
|
#include <atomic>
|
|
#include <functional>
|
|
#include <optional>
|
|
#include <utility>
|
|
|
|
#include "absl/synchronization/mutex.h"
|
|
#include "ortools/base/linked_hash_map.h"
|
|
#include "ortools/base/logging.h"
|
|
|
|
namespace operations_research {
|
|
|
|
void SolveInterrupter::Interrupt() {
|
|
const absl::MutexLock lock(mutex_);
|
|
|
|
// Here we don't use compare_exchange_strong since we need to hold the lock
|
|
// before changing the value of interrupted_ anyway. So there is no need to
|
|
// use this complex function.
|
|
if (interrupted_.load()) {
|
|
// We must not call the callbacks more than once.
|
|
return;
|
|
}
|
|
|
|
// We need to change this value while holding the lock since in
|
|
// AddInterruptionCallback() we must know if we need to call the new callback
|
|
// of if this function has called it.
|
|
interrupted_ = true;
|
|
|
|
// We are holding the lock while calling callbacks. This makes it impossible
|
|
// to call Interrupt(), AddInterruptionCallback(), or
|
|
// RemoveInterruptionCallback() from a callback but it ensures that external
|
|
// code that can modify callbacks_ will wait until the end of Interrupt.
|
|
for (const auto& [callback_id, callback] : callbacks_) {
|
|
callback();
|
|
}
|
|
}
|
|
|
|
SolveInterrupter::CallbackId SolveInterrupter::AddInterruptionCallback(
|
|
Callback callback) const {
|
|
const absl::MutexLock lock(mutex_);
|
|
|
|
// We must make this call while holding the lock since we want to be sure that
|
|
// the calls to the callbacks_ won't occur before we registered the new
|
|
// one. If we were not holding the lock, this could return false and before we
|
|
// could add the new callback to callbacks_, the Interrupt() function may
|
|
// still have called them.
|
|
//
|
|
// We make the call before putting the callback in the map to since we need to
|
|
// move it in place.
|
|
if (interrupted_.load()) {
|
|
callback();
|
|
}
|
|
|
|
const CallbackId id = next_callback_id_;
|
|
++next_callback_id_;
|
|
CHECK(callbacks_.try_emplace(id, std::move(callback)).second);
|
|
return id;
|
|
}
|
|
|
|
void SolveInterrupter::RemoveInterruptionCallback(CallbackId id) const {
|
|
const absl::MutexLock lock(mutex_);
|
|
CHECK_EQ(callbacks_.erase(id), 1) << "unregistered callback id: " << id;
|
|
}
|
|
|
|
ScopedSolveInterrupterCallback::ScopedSolveInterrupterCallback(
|
|
const SolveInterrupter* const interrupter,
|
|
SolveInterrupter::Callback callback)
|
|
: interrupter_(interrupter),
|
|
callback_id_(
|
|
interrupter != nullptr
|
|
? std::make_optional(
|
|
interrupter->AddInterruptionCallback(std::move(callback)))
|
|
: std::nullopt) {}
|
|
|
|
ScopedSolveInterrupterCallback::~ScopedSolveInterrupterCallback() {
|
|
RemoveCallbackIfNecessary();
|
|
}
|
|
|
|
void ScopedSolveInterrupterCallback::RemoveCallbackIfNecessary() {
|
|
if (callback_id_) {
|
|
CHECK_NE(interrupter_, nullptr);
|
|
interrupter_->RemoveInterruptionCallback(*callback_id_);
|
|
callback_id_.reset();
|
|
}
|
|
}
|
|
|
|
} // namespace operations_research
|