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.
521 lines
12 KiB
521 lines
12 KiB
// workqueue.cc -- the workqueue for gold |
|
|
|
// Copyright (C) 2006-2014 Free Software Foundation, Inc. |
|
// Written by Ian Lance Taylor <iant@google.com>. |
|
|
|
// This file is part of gold. |
|
|
|
// This program is free software; you can redistribute it and/or modify |
|
// it under the terms of the GNU General Public License as published by |
|
// the Free Software Foundation; either version 3 of the License, or |
|
// (at your option) any later version. |
|
|
|
// This program is distributed in the hope that it will be useful, |
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of |
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
|
// GNU General Public License for more details. |
|
|
|
// You should have received a copy of the GNU General Public License |
|
// along with this program; if not, write to the Free Software |
|
// Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, |
|
// MA 02110-1301, USA. |
|
|
|
#include "gold.h" |
|
|
|
#include "debug.h" |
|
#include "options.h" |
|
#include "timer.h" |
|
#include "workqueue.h" |
|
#include "workqueue-internal.h" |
|
|
|
namespace gold |
|
{ |
|
|
|
// Class Task_list. |
|
|
|
// Add T to the end of the list. |
|
|
|
inline void |
|
Task_list::push_back(Task* t) |
|
{ |
|
gold_assert(t->list_next() == NULL); |
|
if (this->head_ == NULL) |
|
{ |
|
this->head_ = t; |
|
this->tail_ = t; |
|
} |
|
else |
|
{ |
|
this->tail_->set_list_next(t); |
|
this->tail_ = t; |
|
} |
|
} |
|
|
|
// Add T to the front of the list. |
|
|
|
inline void |
|
Task_list::push_front(Task* t) |
|
{ |
|
gold_assert(t->list_next() == NULL); |
|
if (this->head_ == NULL) |
|
{ |
|
this->head_ = t; |
|
this->tail_ = t; |
|
} |
|
else |
|
{ |
|
t->set_list_next(this->head_); |
|
this->head_ = t; |
|
} |
|
} |
|
|
|
// Remove and return the first Task waiting for this lock to be |
|
// released. |
|
|
|
inline Task* |
|
Task_list::pop_front() |
|
{ |
|
Task* ret = this->head_; |
|
if (ret != NULL) |
|
{ |
|
if (ret == this->tail_) |
|
{ |
|
gold_assert(ret->list_next() == NULL); |
|
this->head_ = NULL; |
|
this->tail_ = NULL; |
|
} |
|
else |
|
{ |
|
this->head_ = ret->list_next(); |
|
gold_assert(this->head_ != NULL); |
|
ret->clear_list_next(); |
|
} |
|
} |
|
return ret; |
|
} |
|
|
|
// The simple single-threaded implementation of Workqueue_threader. |
|
|
|
class Workqueue_threader_single : public Workqueue_threader |
|
{ |
|
public: |
|
Workqueue_threader_single(Workqueue* workqueue) |
|
: Workqueue_threader(workqueue) |
|
{ } |
|
~Workqueue_threader_single() |
|
{ } |
|
|
|
void |
|
set_thread_count(int thread_count) |
|
{ gold_assert(thread_count > 0); } |
|
|
|
bool |
|
should_cancel_thread(int) |
|
{ return false; } |
|
}; |
|
|
|
// Workqueue methods. |
|
|
|
Workqueue::Workqueue(const General_options& options) |
|
: lock_(), |
|
first_tasks_(), |
|
tasks_(), |
|
running_(0), |
|
waiting_(0), |
|
condvar_(this->lock_), |
|
threader_(NULL) |
|
{ |
|
bool threads = options.threads(); |
|
#ifndef ENABLE_THREADS |
|
threads = false; |
|
#endif |
|
if (!threads) |
|
this->threader_ = new Workqueue_threader_single(this); |
|
else |
|
{ |
|
#ifdef ENABLE_THREADS |
|
this->threader_ = new Workqueue_threader_threadpool(this); |
|
#else |
|
gold_unreachable(); |
|
#endif |
|
} |
|
} |
|
|
|
Workqueue::~Workqueue() |
|
{ |
|
} |
|
|
|
// Add a task to the end of a specific queue, or put it on the list |
|
// waiting for a Token. |
|
|
|
void |
|
Workqueue::add_to_queue(Task_list* queue, Task* t, bool front) |
|
{ |
|
Hold_lock hl(this->lock_); |
|
|
|
Task_token* token = t->is_runnable(); |
|
if (token != NULL) |
|
{ |
|
if (front) |
|
token->add_waiting_front(t); |
|
else |
|
token->add_waiting(t); |
|
++this->waiting_; |
|
} |
|
else |
|
{ |
|
if (front) |
|
queue->push_front(t); |
|
else |
|
queue->push_back(t); |
|
// Tell any waiting thread that there is work to do. |
|
this->condvar_.signal(); |
|
} |
|
} |
|
|
|
// Add a task to the queue. |
|
|
|
void |
|
Workqueue::queue(Task* t) |
|
{ |
|
this->add_to_queue(&this->tasks_, t, false); |
|
} |
|
|
|
// Queue a task which should run soon. |
|
|
|
void |
|
Workqueue::queue_soon(Task* t) |
|
{ |
|
t->set_should_run_soon(); |
|
this->add_to_queue(&this->first_tasks_, t, false); |
|
} |
|
|
|
// Queue a task which should run next. |
|
|
|
void |
|
Workqueue::queue_next(Task* t) |
|
{ |
|
t->set_should_run_soon(); |
|
this->add_to_queue(&this->first_tasks_, t, true); |
|
} |
|
|
|
// Return whether to cancel the current thread. |
|
|
|
inline bool |
|
Workqueue::should_cancel_thread(int thread_number) |
|
{ |
|
return this->threader_->should_cancel_thread(thread_number); |
|
} |
|
|
|
// Find a runnable task in TASKS. Return NULL if none could be found. |
|
// If we find a Task waiting for a Token, add it to the list for that |
|
// Token. The workqueue lock must be held when this is called. |
|
|
|
Task* |
|
Workqueue::find_runnable_in_list(Task_list* tasks) |
|
{ |
|
Task* t; |
|
while ((t = tasks->pop_front()) != NULL) |
|
{ |
|
Task_token* token = t->is_runnable(); |
|
|
|
if (token == NULL) |
|
return t; |
|
|
|
token->add_waiting(t); |
|
++this->waiting_; |
|
} |
|
|
|
// We couldn't find any runnable task. |
|
return NULL; |
|
} |
|
|
|
// Find a runnable task. Return NULL if none could be found. The |
|
// workqueue lock must be held when this is called. |
|
|
|
Task* |
|
Workqueue::find_runnable() |
|
{ |
|
Task* t = this->find_runnable_in_list(&this->first_tasks_); |
|
if (t == NULL) |
|
t = this->find_runnable_in_list(&this->tasks_); |
|
return t; |
|
} |
|
|
|
// Find a runnable a task, and wait until we find one. Return NULL if |
|
// we should exit. The workqueue lock must be held when this is |
|
// called. |
|
|
|
Task* |
|
Workqueue::find_runnable_or_wait(int thread_number) |
|
{ |
|
Task* t = this->find_runnable(); |
|
|
|
while (t == NULL) |
|
{ |
|
if (this->running_ == 0 |
|
&& this->first_tasks_.empty() |
|
&& this->tasks_.empty()) |
|
{ |
|
// Kick all the threads to make them exit. |
|
this->condvar_.broadcast(); |
|
|
|
gold_assert(this->waiting_ == 0); |
|
return NULL; |
|
} |
|
|
|
if (this->should_cancel_thread(thread_number)) |
|
return NULL; |
|
|
|
gold_debug(DEBUG_TASK, "%3d sleeping", thread_number); |
|
|
|
this->condvar_.wait(); |
|
|
|
gold_debug(DEBUG_TASK, "%3d awake", thread_number); |
|
|
|
t = this->find_runnable(); |
|
} |
|
|
|
return t; |
|
} |
|
|
|
// Find and run tasks. If we can't find a runnable task, wait for one |
|
// to become available. If we run a task, and it frees up another |
|
// runnable task, then run that one too. This returns true if we |
|
// should look for another task, false if we are cancelling this |
|
// thread. |
|
|
|
bool |
|
Workqueue::find_and_run_task(int thread_number) |
|
{ |
|
Task* t; |
|
Task_locker tl; |
|
|
|
{ |
|
Hold_lock hl(this->lock_); |
|
|
|
// Find a runnable task. |
|
t = this->find_runnable_or_wait(thread_number); |
|
|
|
if (t == NULL) |
|
return false; |
|
|
|
// Get the locks for the task. This must be called while we are |
|
// still holding the Workqueue lock. |
|
t->locks(&tl); |
|
|
|
++this->running_; |
|
} |
|
|
|
while (t != NULL) |
|
{ |
|
gold_debug(DEBUG_TASK, "%3d running task %s", thread_number, |
|
t->name().c_str()); |
|
|
|
Timer timer; |
|
if (is_debugging_enabled(DEBUG_TASK)) |
|
timer.start(); |
|
|
|
t->run(this); |
|
|
|
if (is_debugging_enabled(DEBUG_TASK)) |
|
{ |
|
Timer::TimeStats elapsed = timer.get_elapsed_time(); |
|
|
|
gold_debug(DEBUG_TASK, |
|
"%3d completed task %s " |
|
"(user: %ld.%06ld sys: %ld.%06ld wall: %ld.%06ld)", |
|
thread_number, t->name().c_str(), |
|
elapsed.user / 1000, (elapsed.user % 1000) * 1000, |
|
elapsed.sys / 1000, (elapsed.sys % 1000) * 1000, |
|
elapsed.wall / 1000, (elapsed.wall % 1000) * 1000); |
|
} |
|
|
|
Task* next; |
|
{ |
|
Hold_lock hl(this->lock_); |
|
|
|
--this->running_; |
|
|
|
// Release the locks for the task. This must be done with the |
|
// workqueue lock held. Get the next Task to run if any. |
|
next = this->release_locks(t, &tl); |
|
|
|
if (next == NULL) |
|
next = this->find_runnable(); |
|
|
|
// If we have another Task to run, get the Locks. This must |
|
// be called while we are still holding the Workqueue lock. |
|
if (next != NULL) |
|
{ |
|
tl.clear(); |
|
next->locks(&tl); |
|
|
|
++this->running_; |
|
} |
|
} |
|
|
|
// We are done with this task. |
|
delete t; |
|
|
|
t = next; |
|
} |
|
|
|
return true; |
|
} |
|
|
|
// Handle the return value of release_locks, and get tasks ready to |
|
// run. |
|
|
|
// 1) If T is not runnable, queue it on the appropriate token. |
|
|
|
// 2) Otherwise, T is runnable. If *PRET is not NULL, then we have |
|
// already decided which Task to run next. Add T to the list of |
|
// runnable tasks, and signal another thread. |
|
|
|
// 3) Otherwise, *PRET is NULL. If IS_BLOCKER is false, then T was |
|
// waiting on a write lock. We can grab that lock now, so we run T |
|
// now. |
|
|
|
// 4) Otherwise, IS_BLOCKER is true. If we should run T soon, then |
|
// run it now. |
|
|
|
// 5) Otherwise, check whether there are other tasks to run. If there |
|
// are, then we generally get a better ordering if we run those tasks |
|
// now, before T. A typical example is tasks waiting on the Dirsearch |
|
// blocker. We don't want to run those tasks right away just because |
|
// the Dirsearch was unblocked. |
|
|
|
// 6) Otherwise, there are no other tasks to run, so we might as well |
|
// run this one now. |
|
|
|
// This function must be called with the Workqueue lock held. |
|
|
|
// Return true if we set *PRET to T, false otherwise. |
|
|
|
bool |
|
Workqueue::return_or_queue(Task* t, bool is_blocker, Task** pret) |
|
{ |
|
Task_token* token = t->is_runnable(); |
|
|
|
if (token != NULL) |
|
{ |
|
token->add_waiting(t); |
|
++this->waiting_; |
|
return false; |
|
} |
|
|
|
bool should_queue = false; |
|
bool should_return = false; |
|
|
|
if (*pret != NULL) |
|
should_queue = true; |
|
else if (!is_blocker) |
|
should_return = true; |
|
else if (t->should_run_soon()) |
|
should_return = true; |
|
else if (!this->first_tasks_.empty() || !this->tasks_.empty()) |
|
should_queue = true; |
|
else |
|
should_return = true; |
|
|
|
if (should_return) |
|
{ |
|
gold_assert(*pret == NULL); |
|
*pret = t; |
|
return true; |
|
} |
|
else if (should_queue) |
|
{ |
|
if (t->should_run_soon()) |
|
this->first_tasks_.push_back(t); |
|
else |
|
this->tasks_.push_back(t); |
|
this->condvar_.signal(); |
|
return false; |
|
} |
|
|
|
gold_unreachable(); |
|
} |
|
|
|
// Release the locks associated with a Task. Return the first |
|
// runnable Task that we find. If we find more runnable tasks, add |
|
// them to the run queue and signal any other threads. This must be |
|
// called with the Workqueue lock held. |
|
|
|
Task* |
|
Workqueue::release_locks(Task* t, Task_locker* tl) |
|
{ |
|
Task* ret = NULL; |
|
for (Task_locker::iterator p = tl->begin(); p != tl->end(); ++p) |
|
{ |
|
Task_token* token = *p; |
|
if (token->is_blocker()) |
|
{ |
|
if (token->remove_blocker()) |
|
{ |
|
// The token has been unblocked. Every waiting Task may |
|
// now be runnable. |
|
Task* t; |
|
while ((t = token->remove_first_waiting()) != NULL) |
|
{ |
|
--this->waiting_; |
|
this->return_or_queue(t, true, &ret); |
|
} |
|
} |
|
} |
|
else |
|
{ |
|
token->remove_writer(t); |
|
|
|
// One more waiting Task may now be runnable. If we are |
|
// going to run it next, we can stop. Otherwise we need to |
|
// move all the Tasks to the runnable queue, to avoid a |
|
// potential deadlock if the locking status changes before |
|
// we run the next thread. |
|
Task* t; |
|
while ((t = token->remove_first_waiting()) != NULL) |
|
{ |
|
--this->waiting_; |
|
if (this->return_or_queue(t, false, &ret)) |
|
break; |
|
} |
|
} |
|
} |
|
return ret; |
|
} |
|
|
|
// Process all the tasks on the workqueue. Keep going until the |
|
// workqueue is empty, or until we have been told to exit. This |
|
// function is called by all threads. |
|
|
|
void |
|
Workqueue::process(int thread_number) |
|
{ |
|
while (this->find_and_run_task(thread_number)) |
|
; |
|
} |
|
|
|
// Set the number of threads to use for the workqueue, if we are using |
|
// threads. |
|
|
|
void |
|
Workqueue::set_thread_count(int threads) |
|
{ |
|
Hold_lock hl(this->lock_); |
|
|
|
this->threader_->set_thread_count(threads); |
|
// Wake up all the threads, since something has changed. |
|
this->condvar_.broadcast(); |
|
} |
|
|
|
// Add a new blocker to an existing Task_token. |
|
|
|
void |
|
Workqueue::add_blocker(Task_token* token) |
|
{ |
|
Hold_lock hl(this->lock_); |
|
token->add_blocker(); |
|
} |
|
|
|
} // End namespace gold.
|
|
|