Refactored thread pool

runtime/bin/thread_pool.cc

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "bin/thread_pool.h"
 
 #include "bin/thread.h"
 
-void TaskQueue::Insert(TaskQueueEntry* entry) {
+
+bool ThreadPool::InsertTask(Task task) {
+  TaskQueueEntry* entry = new TaskQueueEntry(task);
   MonitorLocker monitor(&monitor_);

[Mads Ager (google), 2012/01/24 12:29:39]

MonitorLocker locker(&monitor_); ?

Similarly for the other ones?

[Søren Gjesse, 2012/01/24 13:04:35]

Done.

-  monitor_.Enter();
+  if (terminate_) return false;
   if (head_ == NULL) {
     head_ = entry;
     tail_ = entry;
     monitor.Notify();
   } else {
     tail_->set_next(entry);
     tail_ = entry;
   }
+  return true;
 }
 
 
-TaskQueueEntry* TaskQueue::Remove() {
+ThreadPool::TaskQueueEntry* ThreadPool::WaitForTask() {
   MonitorLocker monitor(&monitor_);
+  if (terminate_ && !drain_) return NULL;
   TaskQueueEntry* result = head_;
   while (result == NULL) {
-    if (terminate_) {
+    if (terminate_ && (!drain_ || result == NULL)) {

[Mads Ager (google), 2012/01/24 12:29:39]

I don't understand this condition. Shouldn't this be

if (terminate_ && !drain_)

If you have drain_ set to true and you get a spurious wakeup from the monitor
you can get here with: terminate_ == true, drain_ == true and result == NULL. In
that case you will terminate without draining the queue?

[Søren Gjesse, 2012/01/24 13:04:35]

Good catch! result would always be NULL here.

Moved the condition to be just after Wait an changed it to:

if (terminate_ && (drain_flag_ == kDoNotDrain || head_ == NULL))

This should mean "if terminating return NULL if either not draining or queue is
empty".

       return NULL;
     }
     monitor.Wait();
-    if (terminate_) {
-      return NULL;
-    }
     result = head_;
   }
   head_ = result->next();
   ASSERT(head_ != NULL || tail_ == result);
   return result;
 }
 
 
-void TaskQueue::Shutdown() {
-  MonitorLocker monitor(&monitor_);
-  terminate_ = true;
-  monitor.NotifyAll();
-}
-
-
-void ThreadPool::InsertTask(Task task) {
-  TaskQueueEntry* entry = new TaskQueueEntry(task);
-  queue_.Insert(entry);
-}
-
-
-Task ThreadPool::WaitForTask() {
-  TaskQueueEntry* entry = queue_.Remove();
-  if (entry == NULL) {
-    return NULL;
-  }
-  Task task = entry->task();
-  delete entry;
-  return task;
-}
-
-
 void ThreadPool::Start() {
   MonitorLocker monitor(&monitor_);
-  for (int i = 0; i < size_; i++) {
+  terminate_ = false;
+  drain_ = false;
+  for (int i = 0; i < initial_size_; i++) {
     int result = dart::Thread::Start(&ThreadPool::Main,
                                      reinterpret_cast<uword>(this));
     if (result != 0) {
       FATAL1("Failed to start thread pool thread %d", result);
     }
+    size_++;
   }
 }
 
 
-void ThreadPool::Shutdown() {
+void ThreadPool::Shutdown(bool drain) {
+  MonitorLocker monitor(&monitor_);
   terminate_ = true;
-  queue_.Shutdown();
-  MonitorLocker monitor(&monitor_);
+  drain_ = drain;
+  monitor.NotifyAll();
   while (size_ > 0) {
     monitor.Wait();
   }
 }
 
 
 void ThreadPool::ThreadTerminated() {
   MonitorLocker monitor(&monitor_);
   size_--;
   monitor.Notify();
 }
 
 
 void ThreadPool::Main(uword args) {
   if (Dart_IsVMFlagSet("trace_thread_pool")) {
     printf("Thread pool thread started\n");
   }
   ThreadPool* pool = reinterpret_cast<ThreadPool*>(args);
-  while (!pool->terminate_) {
+  while (true) {
     if (Dart_IsVMFlagSet("trace_thread_pool")) {
       printf("Waiting for task\n");
     }
-    Task task = pool->WaitForTask();
-    if (pool->terminate_) break;
-    (*(pool->task_handler_))(task);
+    TaskQueueEntry* task = pool->WaitForTask();
+    if (task == NULL) break;
+    (*(pool->task_handler_))(task->task());
   }
   pool->ThreadTerminated();
 };