You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

144 lines
4.8 KiB

// Copyright 2018 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#include <lib/fit/scope.h>
namespace fit {
scope::scope() : state_(new state()) {}
scope::~scope() { state_->exit(true /*scope_was_destroyed*/); }
scope::state::state() = default;
scope::state::~state() {
assert(acquired_promise_count_.load(std::memory_order_relaxed) == scope_exited);
assert(scope_was_destroyed_);
assert(promise_handle_count_ == 0);
assert(head_promise_holder_ == nullptr);
}
bool scope::state::exited() const {
return acquired_promise_count_.load(std::memory_order_relaxed) & scope_exited;
}
void scope::state::exit(bool scope_was_destroyed) {
promise_holder_base* release_head = nullptr;
bool delete_self = false;
{
std::lock_guard<std::mutex> lock(mutex_);
assert(!scope_was_destroyed_);
scope_was_destroyed_ = scope_was_destroyed;
// Atomically exit the scope. We cannot do this safely if there are
// any running promises since they might still be accessing state which
// is guarded by the scope. Worse, if a promise re-entrantly destroys
// the scope during its execution then as a side-effect the promise
// itself will be destroyed. So assert!
uint64_t prior_count =
acquired_promise_count_.exchange(scope_exited, std::memory_order_relaxed);
if (!(prior_count & scope_exited)) {
// Cannot exit fit::scope while any of its promises are running!
assert(prior_count == 0);
// Take the promises so they can be deleted outside of the lock.
release_head = head_promise_holder_;
head_promise_holder_ = nullptr;
}
// If there are no more handles then we can delete the state now.
delete_self = should_delete_self();
}
// Delete aborted promises and self outside of the lock.
while (release_head) {
promise_holder_base* release_next = release_head->next;
delete release_head;
release_head = release_next;
}
if (delete_self) {
delete this;
}
}
scope::promise_handle scope::state::adopt_promise(promise_holder_base* promise_holder) {
{
std::lock_guard<std::mutex> lock(mutex_);
assert(!scope_was_destroyed_); // otherwise how did we get here?
// If the scope hasn't been exited yet, link the promise and mint
// a new handle. Otherwise we will abort the promise.
if (!exited()) {
if (head_promise_holder_) {
head_promise_holder_->prev = promise_holder;
promise_holder->next = head_promise_holder_;
}
head_promise_holder_ = promise_holder;
promise_handle_count_++;
return promise_handle(this, promise_holder);
}
}
// Delete aborted promise outside of the lock.
delete promise_holder;
return promise_handle{};
}
void scope::state::drop_promise(promise_handle promise_handle) {
if (!promise_handle.promise_holder_) {
return; // invalid handle, nothing to do
}
{
std::lock_guard<std::mutex> lock(promise_handle.state_->mutex_);
// If the scope hasn't been exited yet, unlink the promise and
// prepare to destroy it. Otherwise, it's already been unlinked
// and destroyed so release the handle but don't touch the pointer!
assert(promise_handle.state_->promise_handle_count_ > 0);
promise_handle.state_->promise_handle_count_--;
if (!promise_handle.state_->exited()) {
if (promise_handle.promise_holder_->next) {
promise_handle.promise_holder_->next->prev = promise_handle.promise_holder_->prev;
}
if (promise_handle.promise_holder_->prev) {
promise_handle.promise_holder_->prev->next = promise_handle.promise_holder_->next;
} else {
promise_handle.state_->head_promise_holder_ = promise_handle.promise_holder_->next;
}
// Fallthrough to delete the promise.
} else if (!promise_handle.state_->should_delete_self()) {
return;
} else {
// Fallthrough to delete self.
promise_handle.promise_holder_ = nullptr;
}
}
// Delete the promise or scope outside of the lock.
if (promise_handle.promise_holder_) {
delete promise_handle.promise_holder_;
} else {
delete promise_handle.state_;
}
}
scope::promise_holder_base* scope::state::try_acquire_promise(promise_handle promise_handle) {
if (promise_handle.promise_holder_) {
uint64_t prior_count =
promise_handle.state_->acquired_promise_count_.fetch_add(1u, std::memory_order_relaxed);
if (!(prior_count & scope_exited)) {
return promise_handle.promise_holder_;
}
promise_handle.state_->acquired_promise_count_.fetch_sub(1u, std::memory_order_relaxed);
}
return nullptr;
}
void scope::state::release_promise(promise_handle promise_handle) {
promise_handle.state_->acquired_promise_count_.fetch_sub(1u, std::memory_order_relaxed);
}
} // namespace fit