Small reformat of split()
authorMarco Costalba <mcostalba@gmail.com>
Mon, 21 Jan 2013 16:22:31 +0000 (17:22 +0100)
committerMarco Costalba <mcostalba@gmail.com>
Mon, 21 Jan 2013 22:31:33 +0000 (23:31 +0100)
No functional chhange.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
src/search.cpp
src/thread.cpp
src/thread.h

index bb1836e0474d3afe7f7c321ab7b967d2331c8f12..e7fbbcf3dcb3566fc794870fd5b8e05b9fcf5d21 100644 (file)
@@ -1008,7 +1008,8 @@ split_point_start: // At split points actual search starts from here
       // Step 19. Check for splitting the search
       if (   !SpNode
           &&  depth >= Threads.minimumSplitDepth
-          &&  Threads.slave_available(thisThread))
+          &&  Threads.slave_available(thisThread)
+          &&  thisThread->splitPointsSize < MAX_SPLITPOINTS_PER_THREAD)
       {
           assert(bestValue < beta);
 
index 229c6beb365154b9c0ec8bc8eb5ebcc1f64c8ebe..9aa0b55ef0deaafac39f430bbab900a754ba855f 100644 (file)
@@ -176,10 +176,10 @@ bool Thread::is_available_to(Thread* master) const {
 }
 
 
-// init() is called at startup. Initializes lock and condition variable and
-// launches requested threads sending them immediately to sleep. We cannot use
+// init() is called at startup to create and launch requested threads, that will
+// go immediately to sleep due to 'sleepWhileIdle' set to true. We cannot use
 // a c'tor becuase Threads is a static object and we need a fully initialized
-// engine at this point due to allocation of endgames in Thread c'tor.
+// engine at this point due to allocation of Endgames in Thread c'tor.
 
 void ThreadPool::init() {
 
@@ -190,11 +190,11 @@ void ThreadPool::init() {
 }
 
 
-// exit() cleanly terminates the threads before the program exits.
+// exit() cleanly terminates the threads before the program exits
 
 void ThreadPool::exit() {
 
-  delete timer; // As first becuase check_time() accesses threads data
+  delete timer; // As first because check_time() accesses threads data
 
   for (size_t i = 0; i < threads.size(); i++)
       delete threads[i];
@@ -240,12 +240,12 @@ bool ThreadPool::slave_available(Thread* master) const {
 
 // split() does the actual work of distributing the work at a node between
 // several available threads. If it does not succeed in splitting the node
-// (because no idle threads are available, or because we have no unused split
-// point objects), the function immediately returns. If splitting is possible, a
-// SplitPoint object is initialized with all the data that must be copied to the
-// helper threads and then helper threads are told that they have been assigned
-// work. This will cause them to instantly leave their idle loops and call
-// search(). When all threads have returned from search() then split() returns.
+// (because no idle threads are available), the function immediately returns.
+// If splitting is possible, a SplitPoint object is initialized with all the
+// data that must be copied to the helper threads and then helper threads are
+// told that they have been assigned work. This will cause them to instantly
+// leave their idle loops and call search(). When all threads have returned from
+// search() then split() returns.
 
 template <bool Fake>
 Value ThreadPool::split(Position& pos, Stack* ss, Value alpha, Value beta,
@@ -253,16 +253,14 @@ Value ThreadPool::split(Position& pos, Stack* ss, Value alpha, Value beta,
                         int moveCount, MovePicker& mp, int nodeType) {
 
   assert(pos.pos_is_ok());
+  assert(bestValue <= alpha && alpha < beta && beta <= VALUE_INFINITE);
   assert(bestValue > -VALUE_INFINITE);
-  assert(bestValue <= alpha);
-  assert(alpha < beta);
-  assert(beta <= VALUE_INFINITE);
-  assert(depth > DEPTH_ZERO);
+  assert(depth >= Threads.minimumSplitDepth);
 
   Thread* master = pos.this_thread();
 
-  if (master->splitPointsSize >= MAX_SPLITPOINTS_PER_THREAD)
-      return bestValue;
+  assert(master->searching);
+  assert(master->splitPointsSize < MAX_SPLITPOINTS_PER_THREAD);
 
   // Pick the next available split point from the split point stack
   SplitPoint& sp = master->splitPoints[master->splitPointsSize];
@@ -284,31 +282,26 @@ Value ThreadPool::split(Position& pos, Stack* ss, Value alpha, Value beta,
   sp.cutoff = false;
   sp.ss = ss;
 
-  master->activeSplitPoint = &sp;
-  int slavesCnt = 0;
-
-  assert(master->searching);
-
   // Try to allocate available threads and ask them to start searching setting
   // 'searching' flag. This must be done under lock protection to avoid concurrent
   // allocation of the same slave by another master.
   mutex.lock();
   sp.mutex.lock();
 
+  master->splitPointsSize++;
+  master->activeSplitPoint = &sp;
+
+  size_t slavesCnt = 1; // Master is always included
+
   for (size_t i = 0; i < threads.size() && !Fake; ++i)
-      if (threads[i]->is_available_to(master))
+      if (threads[i]->is_available_to(master) && ++slavesCnt <= maxThreadsPerSplitPoint)
       {
           sp.slavesMask |= 1ULL << i;
           threads[i]->activeSplitPoint = &sp;
           threads[i]->searching = true; // Slave leaves idle_loop()
           threads[i]->notify_one(); // Could be sleeping
-
-          if (++slavesCnt + 1 >= maxThreadsPerSplitPoint) // Include master
-              break;
       }
 
-  master->splitPointsSize++;
-
   sp.mutex.unlock();
   mutex.unlock();
 
@@ -316,7 +309,7 @@ Value ThreadPool::split(Position& pos, Stack* ss, Value alpha, Value beta,
   // it will instantly launch a search, because its 'searching' flag is set.
   // The thread will return from the idle loop when all slaves have finished
   // their work at this split point.
-  if (slavesCnt || Fake)
+  if (slavesCnt > 1 || Fake)
   {
       master->Thread::idle_loop(); // Force a call to base class idle_loop()
 
index 5f8ad28e2be4c7f04676a7ba315213145ab88e02..7df9f241e4a64d55d7e3499ca7ad5bb7d1114948 100644 (file)
@@ -167,7 +167,7 @@ public:
 private:
   std::vector<Thread*> threads;
   TimerThread* timer;
-  int maxThreadsPerSplitPoint;
+  size_t maxThreadsPerSplitPoint;
 };
 
 extern ThreadPool Threads;