PR binutils/10924
[deliverable/binutils-gdb.git] / gold / workqueue.cc
CommitLineData
bae7f79e
ILT
1// workqueue.cc -- the workqueue for gold
2
2ea97941 3// Copyright 2006, 2007, 2008 Free Software Foundation, Inc.
6cb15b7f
ILT
4// Written by Ian Lance Taylor <iant@google.com>.
5
6// This file is part of gold.
7
8// This program is free software; you can redistribute it and/or modify
9// it under the terms of the GNU General Public License as published by
10// the Free Software Foundation; either version 3 of the License, or
11// (at your option) any later version.
12
13// This program is distributed in the hope that it will be useful,
14// but WITHOUT ANY WARRANTY; without even the implied warranty of
15// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16// GNU General Public License for more details.
17
18// You should have received a copy of the GNU General Public License
19// along with this program; if not, write to the Free Software
20// Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
21// MA 02110-1301, USA.
22
bae7f79e 23#include "gold.h"
c33feb2b 24
c7912668 25#include "debug.h"
17a1d0a9 26#include "options.h"
bae7f79e 27#include "workqueue.h"
c7912668 28#include "workqueue-internal.h"
bae7f79e
ILT
29
30namespace gold
31{
32
17a1d0a9 33// Class Task_list.
bae7f79e 34
17a1d0a9 35// Add T to the end of the list.
bae7f79e 36
17a1d0a9
ILT
37inline void
38Task_list::push_back(Task* t)
bae7f79e 39{
17a1d0a9
ILT
40 gold_assert(t->list_next() == NULL);
41 if (this->head_ == NULL)
42 {
43 this->head_ = t;
44 this->tail_ = t;
45 }
bae7f79e 46 else
17a1d0a9
ILT
47 {
48 this->tail_->set_list_next(t);
49 this->tail_ = t;
50 }
bae7f79e
ILT
51}
52
da769d56
ILT
53// Add T to the front of the list.
54
55inline void
56Task_list::push_front(Task* t)
57{
58 gold_assert(t->list_next() == NULL);
59 if (this->head_ == NULL)
60 {
61 this->head_ = t;
62 this->tail_ = t;
63 }
64 else
65 {
66 t->set_list_next(this->head_);
67 this->head_ = t;
68 }
69}
70
17a1d0a9
ILT
71// Remove and return the first Task waiting for this lock to be
72// released.
bae7f79e 73
17a1d0a9
ILT
74inline Task*
75Task_list::pop_front()
bae7f79e 76{
17a1d0a9
ILT
77 Task* ret = this->head_;
78 if (ret != NULL)
bae7f79e 79 {
17a1d0a9
ILT
80 if (ret == this->tail_)
81 {
82 gold_assert(ret->list_next() == NULL);
83 this->head_ = NULL;
84 this->tail_ = NULL;
85 }
86 else
87 {
88 this->head_ = ret->list_next();
89 gold_assert(this->head_ != NULL);
90 ret->clear_list_next();
91 }
bae7f79e 92 }
17a1d0a9 93 return ret;
bae7f79e
ILT
94}
95
17a1d0a9 96// The simple single-threaded implementation of Workqueue_threader.
bae7f79e 97
17a1d0a9 98class Workqueue_threader_single : public Workqueue_threader
bae7f79e
ILT
99{
100 public:
17a1d0a9
ILT
101 Workqueue_threader_single(Workqueue* workqueue)
102 : Workqueue_threader(workqueue)
bae7f79e 103 { }
17a1d0a9 104 ~Workqueue_threader_single()
bae7f79e
ILT
105 { }
106
fe9a4c12 107 void
17a1d0a9
ILT
108 set_thread_count(int thread_count)
109 { gold_assert(thread_count > 0); }
fe9a4c12 110
17a1d0a9
ILT
111 bool
112 should_cancel_thread()
113 { return false; }
bae7f79e
ILT
114};
115
bae7f79e
ILT
116// Workqueue methods.
117
fe9a4c12 118Workqueue::Workqueue(const General_options& options)
17a1d0a9 119 : lock_(),
c7912668 120 first_tasks_(),
bae7f79e 121 tasks_(),
bae7f79e 122 running_(0),
17a1d0a9
ILT
123 waiting_(0),
124 condvar_(this->lock_),
125 threader_(NULL)
bae7f79e 126{
fe9a4c12
ILT
127 bool threads = options.threads();
128#ifndef ENABLE_THREADS
129 threads = false;
130#endif
131 if (!threads)
17a1d0a9 132 this->threader_ = new Workqueue_threader_single(this);
fe9a4c12 133 else
c7912668
ILT
134 {
135#ifdef ENABLE_THREADS
17a1d0a9 136 this->threader_ = new Workqueue_threader_threadpool(this);
c7912668
ILT
137#else
138 gold_unreachable();
139#endif
140 }
bae7f79e
ILT
141}
142
143Workqueue::~Workqueue()
144{
17a1d0a9
ILT
145}
146
147// Add a task to the end of a specific queue, or put it on the list
148// waiting for a Token.
149
150void
2ea97941 151Workqueue::add_to_queue(Task_list* queue, Task* t, bool front)
17a1d0a9
ILT
152{
153 Hold_lock hl(this->lock_);
154
155 Task_token* token = t->is_runnable();
156 if (token != NULL)
157 {
da769d56
ILT
158 if (front)
159 token->add_waiting_front(t);
160 else
161 token->add_waiting(t);
17a1d0a9
ILT
162 ++this->waiting_;
163 }
164 else
165 {
da769d56 166 if (front)
2ea97941 167 queue->push_front(t);
da769d56 168 else
2ea97941 169 queue->push_back(t);
17a1d0a9
ILT
170 // Tell any waiting thread that there is work to do.
171 this->condvar_.signal();
172 }
bae7f79e
ILT
173}
174
92e059d8
ILT
175// Add a task to the queue.
176
bae7f79e
ILT
177void
178Workqueue::queue(Task* t)
179{
da769d56
ILT
180 this->add_to_queue(&this->tasks_, t, false);
181}
182
183// Queue a task which should run soon.
184
185void
186Workqueue::queue_soon(Task* t)
187{
188 t->set_should_run_soon();
189 this->add_to_queue(&this->first_tasks_, t, false);
bae7f79e
ILT
190}
191
da769d56 192// Queue a task which should run next.
92e059d8
ILT
193
194void
da769d56 195Workqueue::queue_next(Task* t)
92e059d8 196{
17a1d0a9 197 t->set_should_run_soon();
da769d56 198 this->add_to_queue(&this->first_tasks_, t, true);
92e059d8
ILT
199}
200
17a1d0a9 201// Return whether to cancel the current thread.
bae7f79e 202
17a1d0a9
ILT
203inline bool
204Workqueue::should_cancel_thread()
bae7f79e 205{
17a1d0a9 206 return this->threader_->should_cancel_thread();
bae7f79e
ILT
207}
208
17a1d0a9
ILT
209// Find a runnable task in TASKS. Return NULL if none could be found.
210// If we find a Task waiting for a Token, add it to the list for that
211// Token. The workqueue lock must be held when this is called.
bae7f79e
ILT
212
213Task*
17a1d0a9 214Workqueue::find_runnable_in_list(Task_list* tasks)
bae7f79e 215{
c7912668 216 Task* t;
17a1d0a9 217 while ((t = tasks->pop_front()) != NULL)
bae7f79e 218 {
17a1d0a9
ILT
219 Task_token* token = t->is_runnable();
220
221 if (token == NULL)
222 return t;
223
224 token->add_waiting(t);
225 ++this->waiting_;
226 }
227
228 // We couldn't find any runnable task.
229 return NULL;
230}
231
232// Find a runnable task. Return NULL if none could be found. The
233// workqueue lock must be held when this is called.
bae7f79e 234
17a1d0a9
ILT
235Task*
236Workqueue::find_runnable()
237{
238 Task* t = this->find_runnable_in_list(&this->first_tasks_);
239 if (t == NULL)
240 t = this->find_runnable_in_list(&this->tasks_);
241 return t;
242}
243
244// Find a runnable a task, and wait until we find one. Return NULL if
245// we should exit. The workqueue lock must be held when this is
246// called.
247
248Task*
249Workqueue::find_runnable_or_wait(int thread_number)
250{
251 Task* t = this->find_runnable();
252
253 while (t == NULL)
254 {
255 if (this->running_ == 0
256 && this->first_tasks_.empty()
257 && this->tasks_.empty())
bae7f79e 258 {
17a1d0a9
ILT
259 // Kick all the threads to make them exit.
260 this->condvar_.broadcast();
bae7f79e 261
17a1d0a9
ILT
262 gold_assert(this->waiting_ == 0);
263 return NULL;
bae7f79e 264 }
c7912668 265
17a1d0a9
ILT
266 if (this->should_cancel_thread())
267 return NULL;
268
269 gold_debug(DEBUG_TASK, "%3d sleeping", thread_number);
c7912668 270
17a1d0a9
ILT
271 this->condvar_.wait();
272
273 gold_debug(DEBUG_TASK, "%3d awake", thread_number);
274
275 t = this->find_runnable();
bae7f79e 276 }
c7912668 277
17a1d0a9 278 return t;
bae7f79e
ILT
279}
280
17a1d0a9
ILT
281// Find and run tasks. If we can't find a runnable task, wait for one
282// to become available. If we run a task, and it frees up another
283// runnable task, then run that one too. This returns true if we
284// should look for another task, false if we are cancelling this
285// thread.
bae7f79e 286
17a1d0a9
ILT
287bool
288Workqueue::find_and_run_task(int thread_number)
bae7f79e 289{
17a1d0a9
ILT
290 Task* t;
291 Task_locker tl;
292
293 {
294 Hold_lock hl(this->lock_);
295
296 // Find a runnable task.
297 t = this->find_runnable_or_wait(thread_number);
298
299 if (t == NULL)
300 return false;
301
302 // Get the locks for the task. This must be called while we are
303 // still holding the Workqueue lock.
304 t->locks(&tl);
305
306 ++this->running_;
307 }
308
309 while (t != NULL)
bae7f79e 310 {
17a1d0a9
ILT
311 gold_debug(DEBUG_TASK, "%3d running task %s", thread_number,
312 t->name().c_str());
bae7f79e 313
17a1d0a9 314 t->run(this);
c7912668 315
17a1d0a9
ILT
316 gold_debug(DEBUG_TASK, "%3d completed task %s", thread_number,
317 t->name().c_str());
c7912668 318
17a1d0a9 319 Task* next;
bae7f79e 320 {
17a1d0a9 321 Hold_lock hl(this->lock_);
bae7f79e 322
17a1d0a9 323 --this->running_;
c7912668 324
17a1d0a9
ILT
325 // Release the locks for the task. This must be done with the
326 // workqueue lock held. Get the next Task to run if any.
327 next = this->release_locks(t, &tl);
328
329 if (next == NULL)
330 next = this->find_runnable();
331
332 // If we have another Task to run, get the Locks. This must
333 // be called while we are still holding the Workqueue lock.
334 if (next != NULL)
c7912668 335 {
17a1d0a9
ILT
336 tl.clear();
337 next->locks(&tl);
338
339 ++this->running_;
bae7f79e
ILT
340 }
341 }
342
17a1d0a9
ILT
343 // We are done with this task.
344 delete t;
bae7f79e 345
17a1d0a9 346 t = next;
bae7f79e 347 }
17a1d0a9
ILT
348
349 return true;
bae7f79e
ILT
350}
351
17a1d0a9
ILT
352// Handle the return value of release_locks, and get tasks ready to
353// run.
bae7f79e 354
17a1d0a9 355// 1) If T is not runnable, queue it on the appropriate token.
c7912668 356
17a1d0a9
ILT
357// 2) Otherwise, T is runnable. If *PRET is not NULL, then we have
358// already decided which Task to run next. Add T to the list of
359// runnable tasks, and signal another thread.
bae7f79e 360
17a1d0a9
ILT
361// 3) Otherwise, *PRET is NULL. If IS_BLOCKER is false, then T was
362// waiting on a write lock. We can grab that lock now, so we run T
363// now.
bae7f79e 364
17a1d0a9
ILT
365// 4) Otherwise, IS_BLOCKER is true. If we should run T soon, then
366// run it now.
367
368// 5) Otherwise, check whether there are other tasks to run. If there
369// are, then we generally get a better ordering if we run those tasks
370// now, before T. A typical example is tasks waiting on the Dirsearch
371// blocker. We don't want to run those tasks right away just because
372// the Dirsearch was unblocked.
373
374// 6) Otherwise, there are no other tasks to run, so we might as well
375// run this one now.
376
377// This function must be called with the Workqueue lock held.
378
379// Return true if we set *PRET to T, false otherwise.
380
381bool
382Workqueue::return_or_queue(Task* t, bool is_blocker, Task** pret)
bae7f79e 383{
17a1d0a9 384 Task_token* token = t->is_runnable();
c7912668 385
17a1d0a9
ILT
386 if (token != NULL)
387 {
388 token->add_waiting(t);
389 ++this->waiting_;
390 return false;
391 }
392
393 bool should_queue = false;
394 bool should_return = false;
395
396 if (*pret != NULL)
397 should_queue = true;
398 else if (!is_blocker)
399 should_return = true;
400 else if (t->should_run_soon())
401 should_return = true;
402 else if (!this->first_tasks_.empty() || !this->tasks_.empty())
403 should_queue = true;
404 else
405 should_return = true;
c7912668 406
17a1d0a9
ILT
407 if (should_return)
408 {
409 gold_assert(*pret == NULL);
410 *pret = t;
411 return true;
412 }
413 else if (should_queue)
414 {
415 if (t->should_run_soon())
416 this->first_tasks_.push_back(t);
417 else
418 this->tasks_.push_back(t);
419 this->condvar_.signal();
420 return false;
421 }
422
423 gold_unreachable();
bae7f79e
ILT
424}
425
17a1d0a9
ILT
426// Release the locks associated with a Task. Return the first
427// runnable Task that we find. If we find more runnable tasks, add
428// them to the run queue and signal any other threads. This must be
429// called with the Workqueue lock held.
bae7f79e 430
17a1d0a9
ILT
431Task*
432Workqueue::release_locks(Task* t, Task_locker* tl)
bae7f79e 433{
17a1d0a9
ILT
434 Task* ret = NULL;
435 for (Task_locker::iterator p = tl->begin(); p != tl->end(); ++p)
436 {
437 Task_token* token = *p;
438 if (token->is_blocker())
439 {
440 if (token->remove_blocker())
441 {
442 // The token has been unblocked. Every waiting Task may
443 // now be runnable.
2ea97941
ILT
444 Task* t;
445 while ((t = token->remove_first_waiting()) != NULL)
17a1d0a9
ILT
446 {
447 --this->waiting_;
2ea97941 448 this->return_or_queue(t, true, &ret);
17a1d0a9
ILT
449 }
450 }
451 }
452 else
453 {
454 token->remove_writer(t);
455
456 // One more waiting Task may now be runnable. If we are
457 // going to run it next, we can stop. Otherwise we need to
458 // move all the Tasks to the runnable queue, to avoid a
459 // potential deadlock if the locking status changes before
460 // we run the next thread.
2ea97941
ILT
461 Task* t;
462 while ((t = token->remove_first_waiting()) != NULL)
17a1d0a9
ILT
463 {
464 --this->waiting_;
2ea97941 465 if (this->return_or_queue(t, false, &ret))
17a1d0a9
ILT
466 break;
467 }
468 }
469 }
470 return ret;
bae7f79e
ILT
471}
472
17a1d0a9
ILT
473// Process all the tasks on the workqueue. Keep going until the
474// workqueue is empty, or until we have been told to exit. This
475// function is called by all threads.
fe9a4c12
ILT
476
477void
17a1d0a9 478Workqueue::process(int thread_number)
fe9a4c12 479{
17a1d0a9
ILT
480 while (this->find_and_run_task(thread_number))
481 ;
fe9a4c12
ILT
482}
483
17a1d0a9
ILT
484// Set the number of threads to use for the workqueue, if we are using
485// threads.
c7912668
ILT
486
487void
17a1d0a9 488Workqueue::set_thread_count(int threads)
c7912668 489{
17a1d0a9
ILT
490 Hold_lock hl(this->lock_);
491
492 this->threader_->set_thread_count(threads);
493 // Wake up all the threads, since something has changed.
494 this->condvar_.broadcast();
c7912668
ILT
495}
496
15f8229b
ILT
497// Add a new blocker to an existing Task_token.
498
499void
500Workqueue::add_blocker(Task_token* token)
501{
502 Hold_lock hl(this->lock_);
503 token->add_blocker();
504}
505
bae7f79e 506} // End namespace gold.
This page took 0.1703 seconds and 4 git commands to generate.