mirror of
https://github.com/klzgrad/naiveproxy.git
synced 2024-12-01 01:36:09 +03:00
887 lines
31 KiB
C++
887 lines
31 KiB
C++
// Copyright 2016 The Chromium 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 "base/task_scheduler/scheduler_worker_pool_impl.h"
|
|
|
|
#include <stddef.h>
|
|
|
|
#include <algorithm>
|
|
#include <utility>
|
|
|
|
#include "base/atomicops.h"
|
|
#include "base/bind.h"
|
|
#include "base/bind_helpers.h"
|
|
#include "base/location.h"
|
|
#include "base/memory/ptr_util.h"
|
|
#include "base/metrics/histogram.h"
|
|
#include "base/sequence_token.h"
|
|
#include "base/strings/stringprintf.h"
|
|
#include "base/task_scheduler/scheduler_worker_pool_params.h"
|
|
#include "base/task_scheduler/task_tracker.h"
|
|
#include "base/task_scheduler/task_traits.h"
|
|
#include "base/threading/platform_thread.h"
|
|
#include "base/threading/scoped_blocking_call.h"
|
|
#include "base/threading/thread_restrictions.h"
|
|
|
|
#if defined(OS_WIN)
|
|
#include "base/win/scoped_com_initializer.h"
|
|
#include "base/win/scoped_windows_thread_environment.h"
|
|
#include "base/win/scoped_winrt_initializer.h"
|
|
#include "base/win/windows_version.h"
|
|
#endif // defined(OS_WIN)
|
|
|
|
namespace base {
|
|
namespace internal {
|
|
|
|
constexpr TimeDelta SchedulerWorkerPoolImpl::kBlockedWorkersPollPeriod;
|
|
|
|
namespace {
|
|
|
|
constexpr char kPoolNameSuffix[] = "Pool";
|
|
constexpr char kDetachDurationHistogramPrefix[] =
|
|
"TaskScheduler.DetachDuration.";
|
|
constexpr char kNumTasksBeforeDetachHistogramPrefix[] =
|
|
"TaskScheduler.NumTasksBeforeDetach.";
|
|
constexpr char kNumTasksBetweenWaitsHistogramPrefix[] =
|
|
"TaskScheduler.NumTasksBetweenWaits.";
|
|
constexpr size_t kMaxNumberOfWorkers = 256;
|
|
|
|
// Only used in DCHECKs.
|
|
bool ContainsWorker(const std::vector<scoped_refptr<SchedulerWorker>>& workers,
|
|
const SchedulerWorker* worker) {
|
|
auto it = std::find_if(workers.begin(), workers.end(),
|
|
[worker](const scoped_refptr<SchedulerWorker>& i) {
|
|
return i.get() == worker;
|
|
});
|
|
return it != workers.end();
|
|
}
|
|
|
|
} // namespace
|
|
|
|
class SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl
|
|
: public SchedulerWorker::Delegate,
|
|
public BlockingObserver {
|
|
public:
|
|
// |outer| owns the worker for which this delegate is constructed.
|
|
SchedulerWorkerDelegateImpl(SchedulerWorkerPoolImpl* outer);
|
|
~SchedulerWorkerDelegateImpl() override;
|
|
|
|
// SchedulerWorker::Delegate:
|
|
void OnCanScheduleSequence(scoped_refptr<Sequence> sequence) override;
|
|
void OnMainEntry(SchedulerWorker* worker) override;
|
|
scoped_refptr<Sequence> GetWork(SchedulerWorker* worker) override;
|
|
void DidRunTask() override;
|
|
void ReEnqueueSequence(scoped_refptr<Sequence> sequence) override;
|
|
TimeDelta GetSleepTimeout() override;
|
|
void OnMainExit(SchedulerWorker* worker) override;
|
|
|
|
// Sets |is_on_idle_workers_stack_| to be true and DCHECKS that |worker|
|
|
// is indeed on the idle workers stack.
|
|
void SetIsOnIdleWorkersStackLockRequired(SchedulerWorker* worker);
|
|
|
|
// Sets |is_on_idle_workers_stack_| to be false and DCHECKS that |worker|
|
|
// isn't on the idle workers stack.
|
|
void UnSetIsOnIdleWorkersStackLockRequired(SchedulerWorker* worker);
|
|
|
|
// DCHECKs that |worker| is on the idle workers stack and
|
|
// |is_on_idle_workers_stack_| is true.
|
|
#if DCHECK_IS_ON()
|
|
void AssertIsOnIdleWorkersStackLockRequired(SchedulerWorker* worker) const;
|
|
#else
|
|
void AssertIsOnIdleWorkersStackLockRequired(SchedulerWorker* worker) const {}
|
|
#endif
|
|
|
|
// BlockingObserver:
|
|
void BlockingStarted(BlockingType blocking_type) override;
|
|
void BlockingTypeUpgraded() override;
|
|
void BlockingEnded() override;
|
|
|
|
void MayBlockEntered();
|
|
void WillBlockEntered();
|
|
|
|
// Returns true iff this worker has been within a MAY_BLOCK ScopedBlockingCall
|
|
// for more than |outer_->MayBlockThreshold()|. The worker capacity must be
|
|
// incremented if this returns true.
|
|
bool MustIncrementWorkerCapacityLockRequired();
|
|
|
|
private:
|
|
// Returns true if |worker| is allowed to cleanup and remove itself from the
|
|
// pool. Called from GetWork() when no work is available.
|
|
bool CanCleanup(SchedulerWorker* worker);
|
|
|
|
// Calls cleanup on |worker| and removes it from the pool.
|
|
void CleanupLockRequired(SchedulerWorker* worker);
|
|
|
|
// Called in GetWork() when a worker becomes idle.
|
|
void OnWorkerBecomesIdleLockRequired(SchedulerWorker* worker);
|
|
|
|
SchedulerWorkerPoolImpl* outer_;
|
|
|
|
// Time of the last detach.
|
|
TimeTicks last_detach_time_;
|
|
|
|
// Number of tasks executed since the last time the
|
|
// TaskScheduler.NumTasksBetweenWaits histogram was recorded.
|
|
size_t num_tasks_since_last_wait_ = 0;
|
|
|
|
// Number of tasks executed since the last time the
|
|
// TaskScheduler.NumTasksBeforeDetach histogram was recorded.
|
|
size_t num_tasks_since_last_detach_ = 0;
|
|
|
|
// Whether the worker holding this delegate is on the idle worker's stack.
|
|
// Access synchronized by |outer_->lock_|.
|
|
bool is_on_idle_workers_stack_ = true;
|
|
|
|
// Whether |outer_->worker_capacity_| was incremented due to a
|
|
// ScopedBlockingCall on the thread. Access synchronized by |outer_->lock_|.
|
|
bool incremented_worker_capacity_since_blocked_ = false;
|
|
|
|
// Time when MayBlockScopeEntered() was last called. Reset when
|
|
// BlockingScopeExited() is called. Access synchronized by |outer_->lock_|.
|
|
TimeTicks may_block_start_time_;
|
|
|
|
// Whether this worker is currently running a task (i.e. GetWork() has
|
|
// returned a non-empty sequence and DidRunTask() hasn't been called yet).
|
|
bool is_running_task_ = false;
|
|
|
|
#if defined(OS_WIN)
|
|
std::unique_ptr<win::ScopedWindowsThreadEnvironment> win_thread_environment_;
|
|
#endif // defined(OS_WIN)
|
|
|
|
DISALLOW_COPY_AND_ASSIGN(SchedulerWorkerDelegateImpl);
|
|
};
|
|
|
|
SchedulerWorkerPoolImpl::SchedulerWorkerPoolImpl(
|
|
const std::string& name,
|
|
ThreadPriority priority_hint,
|
|
TaskTracker* task_tracker,
|
|
DelayedTaskManager* delayed_task_manager)
|
|
: SchedulerWorkerPool(task_tracker, delayed_task_manager),
|
|
name_(name),
|
|
priority_hint_(priority_hint),
|
|
lock_(shared_priority_queue_.container_lock()),
|
|
idle_workers_stack_cv_for_testing_(lock_.CreateConditionVariable()),
|
|
join_for_testing_returned_(WaitableEvent::ResetPolicy::MANUAL,
|
|
WaitableEvent::InitialState::NOT_SIGNALED),
|
|
// Mimics the UMA_HISTOGRAM_LONG_TIMES macro.
|
|
detach_duration_histogram_(Histogram::FactoryTimeGet(
|
|
kDetachDurationHistogramPrefix + name_ + kPoolNameSuffix,
|
|
TimeDelta::FromMilliseconds(1),
|
|
TimeDelta::FromHours(1),
|
|
50,
|
|
HistogramBase::kUmaTargetedHistogramFlag)),
|
|
// Mimics the UMA_HISTOGRAM_COUNTS_1000 macro. When a worker runs more
|
|
// than 1000 tasks before detaching, there is no need to know the exact
|
|
// number of tasks that ran.
|
|
num_tasks_before_detach_histogram_(Histogram::FactoryGet(
|
|
kNumTasksBeforeDetachHistogramPrefix + name_ + kPoolNameSuffix,
|
|
1,
|
|
1000,
|
|
50,
|
|
HistogramBase::kUmaTargetedHistogramFlag)),
|
|
// Mimics the UMA_HISTOGRAM_COUNTS_100 macro. A SchedulerWorker is
|
|
// expected to run between zero and a few tens of tasks between waits.
|
|
// When it runs more than 100 tasks, there is no need to know the exact
|
|
// number of tasks that ran.
|
|
num_tasks_between_waits_histogram_(Histogram::FactoryGet(
|
|
kNumTasksBetweenWaitsHistogramPrefix + name_ + kPoolNameSuffix,
|
|
1,
|
|
100,
|
|
50,
|
|
HistogramBase::kUmaTargetedHistogramFlag)) {}
|
|
|
|
void SchedulerWorkerPoolImpl::Start(
|
|
const SchedulerWorkerPoolParams& params,
|
|
scoped_refptr<TaskRunner> service_thread_task_runner,
|
|
WorkerEnvironment worker_environment) {
|
|
AutoSchedulerLock auto_lock(lock_);
|
|
|
|
DCHECK(workers_.empty());
|
|
|
|
worker_capacity_ = params.max_threads();
|
|
initial_worker_capacity_ = worker_capacity_;
|
|
suggested_reclaim_time_ = params.suggested_reclaim_time();
|
|
backward_compatibility_ = params.backward_compatibility();
|
|
worker_environment_ = worker_environment;
|
|
|
|
service_thread_task_runner_ = std::move(service_thread_task_runner);
|
|
|
|
// The initial number of workers is |num_wake_ups_before_start_| + 1 to try to
|
|
// keep one at least one standby thread at all times (capacity permitting).
|
|
const int num_initial_workers = std::min(num_wake_ups_before_start_ + 1,
|
|
static_cast<int>(worker_capacity_));
|
|
workers_.reserve(num_initial_workers);
|
|
|
|
for (int index = 0; index < num_initial_workers; ++index) {
|
|
SchedulerWorker* worker =
|
|
CreateRegisterAndStartSchedulerWorkerLockRequired();
|
|
|
|
// CHECK that the first worker can be started (assume that failure means
|
|
// that threads can't be created on this machine).
|
|
CHECK(worker || index > 0);
|
|
|
|
if (worker) {
|
|
SchedulerWorkerDelegateImpl* delegate =
|
|
static_cast<SchedulerWorkerDelegateImpl*>(worker->delegate());
|
|
if (index < num_wake_ups_before_start_) {
|
|
delegate->UnSetIsOnIdleWorkersStackLockRequired(worker);
|
|
worker->WakeUp();
|
|
} else {
|
|
idle_workers_stack_.Push(worker);
|
|
delegate->AssertIsOnIdleWorkersStackLockRequired(worker);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
SchedulerWorkerPoolImpl::~SchedulerWorkerPoolImpl() {
|
|
// SchedulerWorkerPool should never be deleted in production unless its
|
|
// initialization failed.
|
|
#if DCHECK_IS_ON()
|
|
AutoSchedulerLock auto_lock(lock_);
|
|
DCHECK(join_for_testing_returned_.IsSignaled() || workers_.empty());
|
|
#endif
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::OnCanScheduleSequence(
|
|
scoped_refptr<Sequence> sequence) {
|
|
const auto sequence_sort_key = sequence->GetSortKey();
|
|
shared_priority_queue_.BeginTransaction()->Push(std::move(sequence),
|
|
sequence_sort_key);
|
|
|
|
WakeUpOneWorker();
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::GetHistograms(
|
|
std::vector<const HistogramBase*>* histograms) const {
|
|
histograms->push_back(detach_duration_histogram_);
|
|
histograms->push_back(num_tasks_between_waits_histogram_);
|
|
}
|
|
|
|
int SchedulerWorkerPoolImpl::GetMaxConcurrentNonBlockedTasksDeprecated() const {
|
|
#if DCHECK_IS_ON()
|
|
AutoSchedulerLock auto_lock(lock_);
|
|
DCHECK_NE(initial_worker_capacity_, 0U)
|
|
<< "GetMaxConcurrentTasksDeprecated() should only be called after the "
|
|
<< "worker pool has started.";
|
|
#endif
|
|
return initial_worker_capacity_;
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::WaitForWorkersIdleForTesting(size_t n) {
|
|
AutoSchedulerLock auto_lock(lock_);
|
|
WaitForWorkersIdleLockRequiredForTesting(n);
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::WaitForAllWorkersIdleForTesting() {
|
|
AutoSchedulerLock auto_lock(lock_);
|
|
WaitForWorkersIdleLockRequiredForTesting(workers_.size());
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::JoinForTesting() {
|
|
#if DCHECK_IS_ON()
|
|
join_for_testing_started_.Set();
|
|
#endif
|
|
DCHECK(!CanWorkerCleanupForTesting() || suggested_reclaim_time_.is_max())
|
|
<< "Workers can cleanup during join.";
|
|
|
|
decltype(workers_) workers_copy;
|
|
{
|
|
AutoSchedulerLock auto_lock(lock_);
|
|
|
|
// Make a copy of the SchedulerWorkers so that we can call
|
|
// SchedulerWorker::JoinForTesting() without holding |lock_| since
|
|
// SchedulerWorkers may need to access |workers_|.
|
|
workers_copy = workers_;
|
|
}
|
|
for (const auto& worker : workers_copy)
|
|
worker->JoinForTesting();
|
|
|
|
#if DCHECK_IS_ON()
|
|
AutoSchedulerLock auto_lock(lock_);
|
|
DCHECK(workers_ == workers_copy);
|
|
#endif
|
|
|
|
DCHECK(!join_for_testing_returned_.IsSignaled());
|
|
join_for_testing_returned_.Signal();
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::DisallowWorkerCleanupForTesting() {
|
|
worker_cleanup_disallowed_.Set();
|
|
}
|
|
|
|
size_t SchedulerWorkerPoolImpl::NumberOfWorkersForTesting() {
|
|
AutoSchedulerLock auto_lock(lock_);
|
|
return workers_.size();
|
|
}
|
|
|
|
size_t SchedulerWorkerPoolImpl::GetWorkerCapacityForTesting() {
|
|
AutoSchedulerLock auto_lock(lock_);
|
|
return worker_capacity_;
|
|
}
|
|
|
|
size_t SchedulerWorkerPoolImpl::NumberOfIdleWorkersForTesting() {
|
|
AutoSchedulerLock auto_lock(lock_);
|
|
return idle_workers_stack_.Size();
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::MaximizeMayBlockThresholdForTesting() {
|
|
maximum_blocked_threshold_for_testing_.Set();
|
|
}
|
|
|
|
SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::
|
|
SchedulerWorkerDelegateImpl(SchedulerWorkerPoolImpl* outer)
|
|
: outer_(outer) {}
|
|
|
|
SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::
|
|
~SchedulerWorkerDelegateImpl() = default;
|
|
|
|
void SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::
|
|
OnCanScheduleSequence(scoped_refptr<Sequence> sequence) {
|
|
outer_->OnCanScheduleSequence(std::move(sequence));
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::OnMainEntry(
|
|
SchedulerWorker* worker) {
|
|
{
|
|
#if DCHECK_IS_ON()
|
|
AutoSchedulerLock auto_lock(outer_->lock_);
|
|
DCHECK(ContainsWorker(outer_->workers_, worker));
|
|
#endif
|
|
}
|
|
|
|
#if defined(OS_WIN)
|
|
if (outer_->worker_environment_ == WorkerEnvironment::COM_MTA) {
|
|
if (win::GetVersion() >= win::VERSION_WIN8) {
|
|
win_thread_environment_ = std::make_unique<win::ScopedWinrtInitializer>();
|
|
} else {
|
|
win_thread_environment_ = std::make_unique<win::ScopedCOMInitializer>(
|
|
win::ScopedCOMInitializer::kMTA);
|
|
}
|
|
DCHECK(win_thread_environment_->Succeeded());
|
|
}
|
|
#endif // defined(OS_WIN)
|
|
|
|
DCHECK_EQ(num_tasks_since_last_wait_, 0U);
|
|
|
|
PlatformThread::SetName(
|
|
StringPrintf("TaskScheduler%sWorker", outer_->name_.c_str()));
|
|
|
|
outer_->BindToCurrentThread();
|
|
SetBlockingObserverForCurrentThread(this);
|
|
}
|
|
|
|
scoped_refptr<Sequence>
|
|
SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::GetWork(
|
|
SchedulerWorker* worker) {
|
|
DCHECK(!is_running_task_);
|
|
{
|
|
AutoSchedulerLock auto_lock(outer_->lock_);
|
|
|
|
DCHECK(ContainsWorker(outer_->workers_, worker));
|
|
|
|
// Calling GetWork() when |is_on_idle_workers_stack_| is true indicates
|
|
// that we must've reached GetWork() because of the WaitableEvent timing
|
|
// out. In which case, we return no work and possibly cleanup the worker.
|
|
DCHECK_EQ(is_on_idle_workers_stack_,
|
|
outer_->idle_workers_stack_.Contains(worker));
|
|
if (is_on_idle_workers_stack_) {
|
|
if (CanCleanup(worker))
|
|
CleanupLockRequired(worker);
|
|
|
|
// Since we got here from timing out from the WaitableEvent rather than
|
|
// waking up and completing tasks, we expect to have completed 0 tasks
|
|
// since waiting.
|
|
//
|
|
// TODO(crbug.com/756898): Do not log this histogram when waking up due to
|
|
// timeout.
|
|
DCHECK_EQ(num_tasks_since_last_wait_, 0U);
|
|
outer_->num_tasks_between_waits_histogram_->Add(
|
|
num_tasks_since_last_wait_);
|
|
return nullptr;
|
|
}
|
|
|
|
// Excess workers should not get work, until they are no longer excess (i.e.
|
|
// worker capacity increases or another worker cleans up). This ensures that
|
|
// if we have excess workers in the pool, they get a chance to no longer be
|
|
// excess before being cleaned up.
|
|
if (outer_->NumberOfExcessWorkersLockRequired() >
|
|
outer_->idle_workers_stack_.Size()) {
|
|
OnWorkerBecomesIdleLockRequired(worker);
|
|
return nullptr;
|
|
}
|
|
}
|
|
scoped_refptr<Sequence> sequence;
|
|
{
|
|
std::unique_ptr<PriorityQueue::Transaction> shared_transaction(
|
|
outer_->shared_priority_queue_.BeginTransaction());
|
|
|
|
if (shared_transaction->IsEmpty()) {
|
|
// |shared_transaction| is kept alive while |worker| is added to
|
|
// |idle_workers_stack_| to avoid this race:
|
|
// 1. This thread creates a Transaction, finds |shared_priority_queue_|
|
|
// empty and ends the Transaction.
|
|
// 2. Other thread creates a Transaction, inserts a Sequence into
|
|
// |shared_priority_queue_| and ends the Transaction. This can't happen
|
|
// if the Transaction of step 1 is still active because because there
|
|
// can only be one active Transaction per PriorityQueue at a time.
|
|
// 3. Other thread calls WakeUpOneWorker(). No thread is woken up because
|
|
// |idle_workers_stack_| is empty.
|
|
// 4. This thread adds itself to |idle_workers_stack_| and goes to sleep.
|
|
// No thread runs the Sequence inserted in step 2.
|
|
AutoSchedulerLock auto_lock(outer_->lock_);
|
|
|
|
OnWorkerBecomesIdleLockRequired(worker);
|
|
return nullptr;
|
|
}
|
|
sequence = shared_transaction->PopSequence();
|
|
}
|
|
DCHECK(sequence);
|
|
#if DCHECK_IS_ON()
|
|
{
|
|
AutoSchedulerLock auto_lock(outer_->lock_);
|
|
DCHECK(!outer_->idle_workers_stack_.Contains(worker));
|
|
}
|
|
#endif
|
|
|
|
is_running_task_ = true;
|
|
return sequence;
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::DidRunTask() {
|
|
DCHECK(may_block_start_time_.is_null());
|
|
DCHECK(!incremented_worker_capacity_since_blocked_);
|
|
DCHECK(is_running_task_);
|
|
is_running_task_ = false;
|
|
|
|
++num_tasks_since_last_wait_;
|
|
++num_tasks_since_last_detach_;
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::
|
|
ReEnqueueSequence(scoped_refptr<Sequence> sequence) {
|
|
const SequenceSortKey sequence_sort_key = sequence->GetSortKey();
|
|
outer_->shared_priority_queue_.BeginTransaction()->Push(std::move(sequence),
|
|
sequence_sort_key);
|
|
// The thread calling this method will soon call GetWork(). Therefore, there
|
|
// is no need to wake up a worker to run the sequence that was just inserted
|
|
// into |outer_->shared_priority_queue_|.
|
|
}
|
|
|
|
TimeDelta SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::
|
|
GetSleepTimeout() {
|
|
return outer_->suggested_reclaim_time_;
|
|
}
|
|
|
|
bool SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::CanCleanup(
|
|
SchedulerWorker* worker) {
|
|
return worker != outer_->PeekAtIdleWorkersStackLockRequired() &&
|
|
outer_->CanWorkerCleanupForTesting();
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::CleanupLockRequired(
|
|
SchedulerWorker* worker) {
|
|
outer_->lock_.AssertAcquired();
|
|
outer_->num_tasks_before_detach_histogram_->Add(num_tasks_since_last_detach_);
|
|
outer_->cleanup_timestamps_.push(TimeTicks::Now());
|
|
worker->Cleanup();
|
|
outer_->RemoveFromIdleWorkersStackLockRequired(worker);
|
|
|
|
// Remove the worker from |workers_|.
|
|
auto worker_iter =
|
|
std::find(outer_->workers_.begin(), outer_->workers_.end(), worker);
|
|
DCHECK(worker_iter != outer_->workers_.end());
|
|
outer_->workers_.erase(worker_iter);
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::
|
|
OnWorkerBecomesIdleLockRequired(SchedulerWorker* worker) {
|
|
outer_->lock_.AssertAcquired();
|
|
// Record the TaskScheduler.NumTasksBetweenWaits histogram. After GetWork()
|
|
// returns nullptr, the SchedulerWorker will perform a wait on its
|
|
// WaitableEvent, so we record how many tasks were ran since the last wait
|
|
// here.
|
|
outer_->num_tasks_between_waits_histogram_->Add(num_tasks_since_last_wait_);
|
|
num_tasks_since_last_wait_ = 0;
|
|
outer_->AddToIdleWorkersStackLockRequired(worker);
|
|
SetIsOnIdleWorkersStackLockRequired(worker);
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::OnMainExit(
|
|
SchedulerWorker* worker) {
|
|
#if DCHECK_IS_ON()
|
|
bool shutdown_complete = outer_->task_tracker_->IsShutdownComplete();
|
|
AutoSchedulerLock auto_lock(outer_->lock_);
|
|
|
|
// |worker| should already have been removed from the idle workers stack and
|
|
// |workers_| by the time the thread is about to exit. (except in the cases
|
|
// where the pool is no longer going to be used - in which case, it's fine for
|
|
// there to be invalid workers in the pool.
|
|
if (!shutdown_complete && !outer_->join_for_testing_started_.IsSet()) {
|
|
DCHECK(!outer_->idle_workers_stack_.Contains(worker));
|
|
DCHECK(!ContainsWorker(outer_->workers_, worker));
|
|
}
|
|
#endif
|
|
|
|
#if defined(OS_WIN)
|
|
win_thread_environment_.reset();
|
|
#endif // defined(OS_WIN)
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::
|
|
SetIsOnIdleWorkersStackLockRequired(SchedulerWorker* worker) {
|
|
outer_->lock_.AssertAcquired();
|
|
DCHECK(!is_on_idle_workers_stack_);
|
|
DCHECK(outer_->idle_workers_stack_.Contains(worker));
|
|
is_on_idle_workers_stack_ = true;
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::
|
|
UnSetIsOnIdleWorkersStackLockRequired(SchedulerWorker* worker) {
|
|
outer_->lock_.AssertAcquired();
|
|
DCHECK(is_on_idle_workers_stack_);
|
|
DCHECK(!outer_->idle_workers_stack_.Contains(worker));
|
|
is_on_idle_workers_stack_ = false;
|
|
}
|
|
|
|
#if DCHECK_IS_ON()
|
|
void SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::
|
|
AssertIsOnIdleWorkersStackLockRequired(SchedulerWorker* worker) const {
|
|
outer_->lock_.AssertAcquired();
|
|
DCHECK(is_on_idle_workers_stack_);
|
|
DCHECK(outer_->idle_workers_stack_.Contains(worker));
|
|
}
|
|
#endif
|
|
|
|
void SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::BlockingStarted(
|
|
BlockingType blocking_type) {
|
|
// Blocking calls made outside of tasks should not influence the capacity
|
|
// count as no task is running.
|
|
if (!is_running_task_)
|
|
return;
|
|
|
|
switch (blocking_type) {
|
|
case BlockingType::MAY_BLOCK:
|
|
MayBlockEntered();
|
|
break;
|
|
case BlockingType::WILL_BLOCK:
|
|
WillBlockEntered();
|
|
break;
|
|
}
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::
|
|
BlockingTypeUpgraded() {
|
|
{
|
|
AutoSchedulerLock auto_lock(outer_->lock_);
|
|
|
|
// Don't do anything if a MAY_BLOCK ScopedBlockingCall instantiated in the
|
|
// same scope already caused the worker capacity to be incremented.
|
|
if (incremented_worker_capacity_since_blocked_)
|
|
return;
|
|
|
|
// Cancel the effect of a MAY_BLOCK ScopedBlockingCall instantiated in the
|
|
// same scope.
|
|
if (!may_block_start_time_.is_null()) {
|
|
may_block_start_time_ = TimeTicks();
|
|
--outer_->num_pending_may_block_workers_;
|
|
}
|
|
}
|
|
|
|
WillBlockEntered();
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::BlockingEnded() {
|
|
// Ignore blocking calls made outside of tasks.
|
|
if (!is_running_task_)
|
|
return;
|
|
|
|
AutoSchedulerLock auto_lock(outer_->lock_);
|
|
if (incremented_worker_capacity_since_blocked_) {
|
|
outer_->DecrementWorkerCapacityLockRequired();
|
|
} else {
|
|
DCHECK(!may_block_start_time_.is_null());
|
|
--outer_->num_pending_may_block_workers_;
|
|
}
|
|
|
|
incremented_worker_capacity_since_blocked_ = false;
|
|
may_block_start_time_ = TimeTicks();
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::MayBlockEntered() {
|
|
AutoSchedulerLock auto_lock(outer_->lock_);
|
|
|
|
DCHECK(!incremented_worker_capacity_since_blocked_);
|
|
DCHECK(may_block_start_time_.is_null());
|
|
may_block_start_time_ = TimeTicks::Now();
|
|
++outer_->num_pending_may_block_workers_;
|
|
|
|
if (!outer_->polling_worker_capacity_ &&
|
|
outer_->ShouldPeriodicallyAdjustWorkerCapacityLockRequired()) {
|
|
outer_->PostAdjustWorkerCapacityTaskLockRequired();
|
|
}
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::WillBlockEntered() {
|
|
std::unique_ptr<PriorityQueue::Transaction> shared_transaction(
|
|
outer_->shared_priority_queue_.BeginTransaction());
|
|
AutoSchedulerLock auto_lock(outer_->lock_);
|
|
|
|
DCHECK(!incremented_worker_capacity_since_blocked_);
|
|
DCHECK(may_block_start_time_.is_null());
|
|
incremented_worker_capacity_since_blocked_ = true;
|
|
outer_->IncrementWorkerCapacityLockRequired();
|
|
|
|
// If the number of workers was less than the old worker capacity, PostTask
|
|
// would've handled creating extra workers during WakeUpOneWorker. Therefore,
|
|
// we don't need to do anything here.
|
|
if (outer_->workers_.size() < outer_->worker_capacity_ - 1)
|
|
return;
|
|
|
|
if (shared_transaction->IsEmpty()) {
|
|
outer_->MaintainAtLeastOneIdleWorkerLockRequired();
|
|
} else {
|
|
// TODO(crbug.com/757897): We may create extra workers in this case:
|
|
// |workers.size()| was equal to the old |worker_capacity_|, we had multiple
|
|
// ScopedBlockingCalls in parallel and we had work on the PQ.
|
|
outer_->WakeUpOneWorkerLockRequired();
|
|
}
|
|
}
|
|
|
|
bool SchedulerWorkerPoolImpl::SchedulerWorkerDelegateImpl::
|
|
MustIncrementWorkerCapacityLockRequired() {
|
|
outer_->lock_.AssertAcquired();
|
|
|
|
if (!incremented_worker_capacity_since_blocked_ &&
|
|
!may_block_start_time_.is_null() &&
|
|
TimeTicks::Now() - may_block_start_time_ >= outer_->MayBlockThreshold()) {
|
|
incremented_worker_capacity_since_blocked_ = true;
|
|
|
|
// Reset |may_block_start_time_| so that BlockingScopeExited() knows that it
|
|
// doesn't have to decrement |outer_->num_pending_may_block_workers_|.
|
|
may_block_start_time_ = TimeTicks();
|
|
--outer_->num_pending_may_block_workers_;
|
|
|
|
return true;
|
|
}
|
|
|
|
return false;
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::WaitForWorkersIdleLockRequiredForTesting(
|
|
size_t n) {
|
|
lock_.AssertAcquired();
|
|
while (idle_workers_stack_.Size() < n)
|
|
idle_workers_stack_cv_for_testing_->Wait();
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::WakeUpOneWorkerLockRequired() {
|
|
lock_.AssertAcquired();
|
|
|
|
if (workers_.empty()) {
|
|
++num_wake_ups_before_start_;
|
|
return;
|
|
}
|
|
|
|
// Ensure that there is one worker that can run tasks on top of the idle
|
|
// stack, capacity permitting.
|
|
MaintainAtLeastOneIdleWorkerLockRequired();
|
|
|
|
// If the worker on top of the idle stack can run tasks, wake it up.
|
|
if (NumberOfExcessWorkersLockRequired() < idle_workers_stack_.Size()) {
|
|
SchedulerWorker* worker = idle_workers_stack_.Pop();
|
|
if (worker) {
|
|
SchedulerWorkerDelegateImpl* delegate =
|
|
static_cast<SchedulerWorkerDelegateImpl*>(worker->delegate());
|
|
delegate->UnSetIsOnIdleWorkersStackLockRequired(worker);
|
|
worker->WakeUp();
|
|
}
|
|
}
|
|
|
|
// Ensure that there is one worker that can run tasks on top of the idle
|
|
// stack, capacity permitting.
|
|
MaintainAtLeastOneIdleWorkerLockRequired();
|
|
|
|
if (!polling_worker_capacity_ &&
|
|
ShouldPeriodicallyAdjustWorkerCapacityLockRequired()) {
|
|
PostAdjustWorkerCapacityTaskLockRequired();
|
|
}
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::WakeUpOneWorker() {
|
|
AutoSchedulerLock auto_lock(lock_);
|
|
WakeUpOneWorkerLockRequired();
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::MaintainAtLeastOneIdleWorkerLockRequired() {
|
|
lock_.AssertAcquired();
|
|
|
|
if (workers_.size() == kMaxNumberOfWorkers)
|
|
return;
|
|
DCHECK_LT(workers_.size(), kMaxNumberOfWorkers);
|
|
|
|
if (idle_workers_stack_.IsEmpty() && workers_.size() < worker_capacity_) {
|
|
SchedulerWorker* new_worker =
|
|
CreateRegisterAndStartSchedulerWorkerLockRequired();
|
|
if (new_worker)
|
|
idle_workers_stack_.Push(new_worker);
|
|
}
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::AddToIdleWorkersStackLockRequired(
|
|
SchedulerWorker* worker) {
|
|
lock_.AssertAcquired();
|
|
|
|
DCHECK(!idle_workers_stack_.Contains(worker));
|
|
idle_workers_stack_.Push(worker);
|
|
|
|
DCHECK_LE(idle_workers_stack_.Size(), workers_.size());
|
|
|
|
idle_workers_stack_cv_for_testing_->Broadcast();
|
|
}
|
|
|
|
const SchedulerWorker*
|
|
SchedulerWorkerPoolImpl::PeekAtIdleWorkersStackLockRequired() const {
|
|
lock_.AssertAcquired();
|
|
return idle_workers_stack_.Peek();
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::RemoveFromIdleWorkersStackLockRequired(
|
|
SchedulerWorker* worker) {
|
|
lock_.AssertAcquired();
|
|
idle_workers_stack_.Remove(worker);
|
|
}
|
|
|
|
bool SchedulerWorkerPoolImpl::CanWorkerCleanupForTesting() {
|
|
return !worker_cleanup_disallowed_.IsSet();
|
|
}
|
|
|
|
SchedulerWorker*
|
|
SchedulerWorkerPoolImpl::CreateRegisterAndStartSchedulerWorkerLockRequired() {
|
|
lock_.AssertAcquired();
|
|
|
|
DCHECK_LT(workers_.size(), worker_capacity_);
|
|
DCHECK_LT(workers_.size(), kMaxNumberOfWorkers);
|
|
// SchedulerWorker needs |lock_| as a predecessor for its thread lock
|
|
// because in WakeUpOneWorker, |lock_| is first acquired and then
|
|
// the thread lock is acquired when WakeUp is called on the worker.
|
|
scoped_refptr<SchedulerWorker> worker = MakeRefCounted<SchedulerWorker>(
|
|
priority_hint_, std::make_unique<SchedulerWorkerDelegateImpl>(this),
|
|
task_tracker_, &lock_, backward_compatibility_);
|
|
|
|
if (!worker->Start())
|
|
return nullptr;
|
|
|
|
workers_.push_back(worker);
|
|
DCHECK_LE(workers_.size(), worker_capacity_);
|
|
|
|
if (!cleanup_timestamps_.empty()) {
|
|
detach_duration_histogram_->AddTime(TimeTicks::Now() -
|
|
cleanup_timestamps_.top());
|
|
cleanup_timestamps_.pop();
|
|
}
|
|
return worker.get();
|
|
}
|
|
|
|
size_t SchedulerWorkerPoolImpl::NumberOfExcessWorkersLockRequired() const {
|
|
lock_.AssertAcquired();
|
|
return std::max<int>(0, workers_.size() - worker_capacity_);
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::AdjustWorkerCapacity() {
|
|
std::unique_ptr<PriorityQueue::Transaction> shared_transaction(
|
|
shared_priority_queue_.BeginTransaction());
|
|
AutoSchedulerLock auto_lock(lock_);
|
|
|
|
const size_t original_worker_capacity = worker_capacity_;
|
|
|
|
// Increment worker capacity for each worker that has been within a MAY_BLOCK
|
|
// ScopedBlockingCall for more than MayBlockThreshold().
|
|
for (scoped_refptr<SchedulerWorker> worker : workers_) {
|
|
// The delegates of workers inside a SchedulerWorkerPoolImpl should be
|
|
// SchedulerWorkerDelegateImpls.
|
|
SchedulerWorkerDelegateImpl* delegate =
|
|
static_cast<SchedulerWorkerDelegateImpl*>(worker->delegate());
|
|
if (delegate->MustIncrementWorkerCapacityLockRequired())
|
|
IncrementWorkerCapacityLockRequired();
|
|
}
|
|
|
|
// Wake up a worker per pending sequence, capacity permitting.
|
|
const size_t num_pending_sequences = shared_transaction->Size();
|
|
const size_t num_wake_ups_needed = std::min(
|
|
worker_capacity_ - original_worker_capacity, num_pending_sequences);
|
|
|
|
for (size_t i = 0; i < num_wake_ups_needed; ++i)
|
|
WakeUpOneWorkerLockRequired();
|
|
|
|
MaintainAtLeastOneIdleWorkerLockRequired();
|
|
}
|
|
|
|
TimeDelta SchedulerWorkerPoolImpl::MayBlockThreshold() const {
|
|
if (maximum_blocked_threshold_for_testing_.IsSet())
|
|
return TimeDelta::Max();
|
|
// This value was set unscientifically based on intuition and may be adjusted
|
|
// in the future. This value is smaller than |kBlockedWorkersPollPeriod|
|
|
// because we hope than when multiple workers block around the same time, a
|
|
// single AdjustWorkerCapacity() call will perform all the necessary capacity
|
|
// adjustments.
|
|
return TimeDelta::FromMilliseconds(10);
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::PostAdjustWorkerCapacityTaskLockRequired() {
|
|
lock_.AssertAcquired();
|
|
|
|
polling_worker_capacity_ = true;
|
|
|
|
service_thread_task_runner_->PostDelayedTask(
|
|
FROM_HERE,
|
|
base::BindOnce(
|
|
[](SchedulerWorkerPoolImpl* worker_pool) {
|
|
worker_pool->AdjustWorkerCapacity();
|
|
|
|
AutoSchedulerLock auto_lock(worker_pool->lock_);
|
|
DCHECK(worker_pool->polling_worker_capacity_);
|
|
|
|
if (worker_pool
|
|
->ShouldPeriodicallyAdjustWorkerCapacityLockRequired()) {
|
|
worker_pool->PostAdjustWorkerCapacityTaskLockRequired();
|
|
} else {
|
|
worker_pool->polling_worker_capacity_ = false;
|
|
}
|
|
},
|
|
Unretained(this)),
|
|
kBlockedWorkersPollPeriod);
|
|
}
|
|
|
|
bool SchedulerWorkerPoolImpl::
|
|
ShouldPeriodicallyAdjustWorkerCapacityLockRequired() {
|
|
lock_.AssertAcquired();
|
|
// AdjustWorkerCapacity() must be periodically called when (1) there are no
|
|
// idle workers that can do work (2) there are workers that are within the
|
|
// scope of a MAY_BLOCK ScopedBlockingCall but haven't cause a capacity
|
|
// increment yet.
|
|
//
|
|
// - When (1) is false: A newly posted task will run on one of the idle
|
|
// workers that are allowed to do work. There is no hurry to increase
|
|
// capacity.
|
|
// - When (2) is false: AdjustWorkerCapacity() would be a no-op.
|
|
const int idle_workers_that_can_do_work =
|
|
idle_workers_stack_.Size() - NumberOfExcessWorkersLockRequired();
|
|
return idle_workers_that_can_do_work <= 0 &&
|
|
num_pending_may_block_workers_ > 0;
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::DecrementWorkerCapacityLockRequired() {
|
|
lock_.AssertAcquired();
|
|
--worker_capacity_;
|
|
}
|
|
|
|
void SchedulerWorkerPoolImpl::IncrementWorkerCapacityLockRequired() {
|
|
lock_.AssertAcquired();
|
|
++worker_capacity_;
|
|
}
|
|
|
|
} // namespace internal
|
|
} // namespace base
|