1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223
|
// Copyright 2016 The Chromium Authors
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#include "base/task/thread_pool/priority_queue.h"
#include <utility>
#include "base/check_op.h"
#include "base/compiler_specific.h"
#include "base/memory/ptr_util.h"
#include "base/types/cxx23_to_underlying.h"
namespace base::internal {
// A class combining a TaskSource and the TaskSourceSortKey that determines its
// position in a PriorityQueue. Instances are only mutable via
// take_task_source() which can only be called once and renders its instance
// invalid after the call.
class PriorityQueue::TaskSourceAndSortKey {
public:
TaskSourceAndSortKey() = default;
TaskSourceAndSortKey(RegisteredTaskSource task_source,
const TaskSourceSortKey& sort_key)
: task_source_(std::move(task_source)), sort_key_(sort_key) {
DCHECK(task_source_);
}
TaskSourceAndSortKey(const TaskSourceAndSortKey&) = delete;
TaskSourceAndSortKey& operator=(const TaskSourceAndSortKey&) = delete;
// Note: while |task_source_| should always be non-null post-move (i.e. we
// shouldn't be moving an invalid TaskSourceAndSortKey around), there can't be
// a DCHECK(task_source_) on moves as IntrusiveHeap moves elements on pop
// instead of overwriting them: resulting in the move of a
// TaskSourceAndSortKey with a null |task_source_| in Transaction::Pop()'s
// implementation.
TaskSourceAndSortKey(TaskSourceAndSortKey&& other) = default;
TaskSourceAndSortKey& operator=(TaskSourceAndSortKey&& other) = default;
// Extracts |task_source_| from this object. This object is invalid after this
// call.
RegisteredTaskSource take_task_source() {
DCHECK(task_source_);
task_source_->ClearImmediateHeapHandle();
return std::move(task_source_);
}
// Compares this TaskSourceAndSortKey to |other| based on their respective
// |sort_key_|. Used for a max-heap.
bool operator<(const TaskSourceAndSortKey& other) const {
return sort_key_ < other.sort_key_;
}
// Required by IntrusiveHeap.
void SetHeapHandle(const HeapHandle& handle) {
DCHECK(task_source_);
task_source_->SetImmediateHeapHandle(handle);
}
// Required by IntrusiveHeap.
void ClearHeapHandle() {
// Ensure |task_source_| is not nullptr, which may be the case if
// take_task_source() was called before this.
if (task_source_) {
task_source_->ClearImmediateHeapHandle();
}
}
// Required by IntrusiveHeap.
HeapHandle GetHeapHandle() const {
if (task_source_) {
return task_source_->GetImmediateHeapHandle();
}
return HeapHandle::Invalid();
}
const RegisteredTaskSource& task_source() const LIFETIME_BOUND {
return task_source_;
}
RegisteredTaskSource& task_source() LIFETIME_BOUND { return task_source_; }
const TaskSourceSortKey& sort_key() const LIFETIME_BOUND { return sort_key_; }
private:
RegisteredTaskSource task_source_;
TaskSourceSortKey sort_key_;
};
PriorityQueue::PriorityQueue() = default;
PriorityQueue::~PriorityQueue() {
if (!is_flush_task_sources_on_destroy_enabled_) {
return;
}
while (!container_.empty()) {
auto task_source = PopTaskSource();
auto task = task_source.Clear();
if (task) {
std::move(task->task).Run();
}
}
}
PriorityQueue& PriorityQueue::operator=(PriorityQueue&& other) = default;
void PriorityQueue::Push(RegisteredTaskSource task_source,
TaskSourceSortKey task_source_sort_key) {
container_.insert(
TaskSourceAndSortKey(std::move(task_source), task_source_sort_key));
IncrementNumTaskSourcesForPriority(task_source_sort_key.priority());
}
const TaskSourceSortKey& PriorityQueue::PeekSortKey() const {
DCHECK(!IsEmpty());
return container_.top().sort_key();
}
RegisteredTaskSource& PriorityQueue::PeekTaskSource() const {
DCHECK(!IsEmpty());
// The const_cast on Min() is okay since modifying the TaskSource cannot alter
// the sort order of TaskSourceAndSortKey.
auto& task_source_and_sort_key =
const_cast<PriorityQueue::TaskSourceAndSortKey&>(container_.top());
return task_source_and_sort_key.task_source();
}
RegisteredTaskSource PriorityQueue::PopTaskSource() {
DCHECK(!IsEmpty());
// The const_cast on Min() is okay since the TaskSourceAndSortKey is
// transactionally being popped from |container_| right after and taking its
// TaskSource does not alter its sort order.
auto& task_source_and_sort_key =
const_cast<TaskSourceAndSortKey&>(container_.top());
DecrementNumTaskSourcesForPriority(
task_source_and_sort_key.sort_key().priority());
RegisteredTaskSource task_source =
task_source_and_sort_key.take_task_source();
container_.pop();
return task_source;
}
RegisteredTaskSource PriorityQueue::RemoveTaskSource(
const TaskSource& task_source) {
if (IsEmpty()) {
return nullptr;
}
const HeapHandle heap_handle = task_source.immediate_heap_handle();
if (!heap_handle.IsValid()) {
return nullptr;
}
TaskSourceAndSortKey& task_source_and_sort_key =
const_cast<PriorityQueue::TaskSourceAndSortKey&>(
container_.at(heap_handle));
DCHECK_EQ(task_source_and_sort_key.task_source().get(), &task_source);
RegisteredTaskSource registered_task_source =
task_source_and_sort_key.take_task_source();
DecrementNumTaskSourcesForPriority(
task_source_and_sort_key.sort_key().priority());
container_.erase(heap_handle);
return registered_task_source;
}
void PriorityQueue::UpdateSortKey(const TaskSource& task_source,
TaskSourceSortKey sort_key) {
if (IsEmpty()) {
return;
}
const HeapHandle heap_handle = task_source.immediate_heap_handle();
if (!heap_handle.IsValid()) {
return;
}
auto old_sort_key = container_.at(heap_handle).sort_key();
auto registered_task_source =
const_cast<PriorityQueue::TaskSourceAndSortKey&>(
container_.at(heap_handle))
.take_task_source();
DecrementNumTaskSourcesForPriority(old_sort_key.priority());
IncrementNumTaskSourcesForPriority(sort_key.priority());
container_.Replace(
heap_handle,
TaskSourceAndSortKey(std::move(registered_task_source), sort_key));
}
bool PriorityQueue::IsEmpty() const {
return container_.empty();
}
size_t PriorityQueue::Size() const {
return container_.size();
}
void PriorityQueue::EnableFlushTaskSourcesOnDestroyForTesting() {
DCHECK(!is_flush_task_sources_on_destroy_enabled_);
is_flush_task_sources_on_destroy_enabled_ = true;
}
void PriorityQueue::swap(PriorityQueue& other) {
container_.swap(other.container_);
num_task_sources_per_priority_.swap(other.num_task_sources_per_priority_);
std::swap(is_flush_task_sources_on_destroy_enabled_,
other.is_flush_task_sources_on_destroy_enabled_);
}
void PriorityQueue::DecrementNumTaskSourcesForPriority(TaskPriority priority) {
DCHECK_GT(num_task_sources_per_priority_[base::to_underlying(priority)], 0U);
--num_task_sources_per_priority_[base::to_underlying(priority)];
}
void PriorityQueue::IncrementNumTaskSourcesForPriority(TaskPriority priority) {
++num_task_sources_per_priority_[base::to_underlying(priority)];
}
} // namespace base::internal
|