X-Git-Url: https://git.sesse.net/?p=stockfish;a=blobdiff_plain;f=src%2Fsearch.cpp;h=4cce6a9171de9139d8e51e717d966af819912492;hp=5921ae0fd77a093c95b59e3c0c8f3a1b2d02bc04;hb=e5ffe9959c40a5ec6c4bca83a5a48070cae7fa5b;hpb=c71ae794df257e3d6f1e925b6d013434bb2f99ef diff --git a/src/search.cpp b/src/search.cpp index 5921ae0f..4cce6a91 100644 --- a/src/search.cpp +++ b/src/search.cpp @@ -49,24 +49,25 @@ namespace { const bool FakeSplit = false; // Different node types, used as template parameter - enum NodeType { Root, PV, NonPV, SplitPointPV, SplitPointNonPV }; + enum NodeType { Root, PV, NonPV, SplitPointRoot, SplitPointPV, SplitPointNonPV }; // RootMove struct is used for moves at the root of the tree. For each root - // move, we store a pv_score, a node count, and a PV (really a refutation - // in the case of moves which fail low). Value pv_score is normally set at + // move, we store a score, a node count, and a PV (really a refutation + // in the case of moves which fail low). Score is normally set at // -VALUE_INFINITE for all non-pv moves. struct RootMove { // RootMove::operator<() is the comparison function used when // sorting the moves. A move m1 is considered to be better - // than a move m2 if it has an higher pv_score - bool operator<(const RootMove& m) const { return pv_score < m.pv_score; } + // than a move m2 if it has an higher score + bool operator<(const RootMove& m) const { return score < m.score; } void extract_pv_from_tt(Position& pos); void insert_pv_in_tt(Position& pos); int64_t nodes; - Value pv_score; + Value score; + Value prevScore; std::vector pv; }; @@ -174,7 +175,6 @@ namespace { // Node counters, used only by thread[0] but try to keep in different cache // lines (64 bytes each) from the heavy multi-thread read accessed variables. - bool SendSearchedNodes; int NodesSincePoll; int NodesBetweenPolls = 30000; @@ -196,7 +196,7 @@ namespace { bool connected_moves(const Position& pos, Move m1, Move m2); Value value_to_tt(Value v, int ply); Value value_from_tt(Value v, int ply); - bool ok_to_use_TT(const TTEntry* tte, Depth depth, Value beta, int ply); + bool can_return_tt(const TTEntry* tte, Depth depth, Value beta, int ply); bool connected_threat(const Position& pos, Move m, Move threat); Value refine_eval(const TTEntry* tte, Value defaultEval, int ply); void update_history(const Position& pos, Move move, Depth depth, Move movesSearched[], int moveCount); @@ -215,14 +215,14 @@ namespace { // MovePickerExt template class extends MovePicker and allows to choose at compile // time the proper moves source according to the type of node. In the default case // we simply create and use a standard MovePicker object. - template struct MovePickerExt : public MovePicker { + template struct MovePickerExt : public MovePicker { MovePickerExt(const Position& p, Move ttm, Depth d, const History& h, SearchStack* ss, Value b) : MovePicker(p, ttm, d, h, ss, b) {} }; // In case of a SpNode we use split point's shared MovePicker object as moves source - template<> struct MovePickerExt : public MovePicker { + template<> struct MovePickerExt : public MovePicker { MovePickerExt(const Position& p, Move ttm, Depth d, const History& h, SearchStack* ss, Value b) : MovePicker(p, ttm, d, h, ss, b), mp(ss->sp->mp) {} @@ -231,12 +231,6 @@ namespace { MovePicker* mp; }; - template<> struct MovePickerExt : public MovePickerExt { - - MovePickerExt(const Position& p, Move ttm, Depth d, const History& h, SearchStack* ss, Value b) - : MovePickerExt(p, ttm, d, h, ss, b) {} - }; - // Overload operator<<() to make it easier to print moves in a coordinate // notation compatible with UCI protocol. std::ostream& operator<<(std::ostream& os, Move m) { @@ -372,7 +366,7 @@ bool think(Position& pos, const SearchLimits& limits, Move searchMoves[]) { static Book book; // Initialize global search-related variables - StopOnPonderhit = StopRequest = QuitRequest = AspirationFailLow = SendSearchedNodes = false; + StopOnPonderhit = StopRequest = QuitRequest = AspirationFailLow = false; NodesSincePoll = 0; current_search_time(get_system_time()); Limits = limits; @@ -415,8 +409,7 @@ bool think(Position& pos, const SearchLimits& limits, Move searchMoves[]) { read_evaluation_uci_options(pos.side_to_move()); Threads.read_uci_options(); - // If needed allocate pawn and material hash tables and adjust TT size - Threads.init_hash_tables(); + // Set a new TT size if changed TT.set_size(Options["Hash"].value()); if (Options["Clear Hash"].value()) @@ -534,8 +527,10 @@ namespace { // Iterative deepening loop until requested to stop or target depth reached while (!StopRequest && ++depth <= PLY_MAX && (!Limits.maxDepth || depth <= Limits.maxDepth)) { - // Remember best moves and values from previous iteration - RootMoveList prevRml = Rml; + // Save last iteration's scores, this needs to be done now, because in + // the following MultiPV loop Rml moves could be reordered. + for (size_t i = 0; i < Rml.size(); i++) + Rml[i].prevScore = Rml[i].score; Rml.bestMoveChanges = 0; @@ -543,7 +538,7 @@ namespace { for (MultiPVIteration = 0; MultiPVIteration < Min(MultiPV, (int)Rml.size()); MultiPVIteration++) { // Calculate dynamic aspiration window based on previous iterations - if (depth >= 5 && abs(prevRml[MultiPVIteration].pv_score) < VALUE_KNOWN_WIN) + if (depth >= 5 && abs(Rml[MultiPVIteration].prevScore) < VALUE_KNOWN_WIN) { int prevDelta1 = bestValues[depth - 1] - bestValues[depth - 2]; int prevDelta2 = bestValues[depth - 2] - bestValues[depth - 3]; @@ -551,8 +546,8 @@ namespace { aspirationDelta = Min(Max(abs(prevDelta1) + abs(prevDelta2) / 2, 16), 24); aspirationDelta = (aspirationDelta + 7) / 8 * 8; // Round to match grainSize - alpha = Max(prevRml[MultiPVIteration].pv_score - aspirationDelta, -VALUE_INFINITE); - beta = Min(prevRml[MultiPVIteration].pv_score + aspirationDelta, VALUE_INFINITE); + alpha = Max(Rml[MultiPVIteration].prevScore - aspirationDelta, -VALUE_INFINITE); + beta = Min(Rml[MultiPVIteration].prevScore + aspirationDelta, VALUE_INFINITE); } else { @@ -563,7 +558,8 @@ namespace { // Start with a small aspiration window and, in case of fail high/low, // research with bigger window until not failing high/low anymore. do { - // Search starting from ss+1 to allow calling update_gains() + // Search starting from ss+1 to allow referencing (ss-1). This is + // needed by update_gains() and ss copy when splitting at Root. value = search(pos, ss+1, alpha, beta, depth * ONE_PLY); // It is critical that sorting is done with a stable algorithm @@ -590,23 +586,14 @@ namespace { // Send full PV info to GUI if we are going to leave the loop or // if we have a fail high/low and we are deep in the search. if ((value > alpha && value < beta) || current_search_time() > 2000) - for (int i = 0; i < Min(UCIMultiPV, (int)Rml.size()); i++) - { - bool updated = (i <= MultiPVIteration); - - if (depth == 1 && !updated) - continue; - - const RootMoveList& rml = (updated ? Rml : prevRml); - + for (int i = 0; i < Min(UCIMultiPV, MultiPVIteration + 1); i++) cout << "info" - << depth_to_uci((updated ? depth : depth - 1) * ONE_PLY) - << (i == MultiPVIteration ? score_to_uci(rml[i].pv_score, alpha, beta) - : score_to_uci(rml[i].pv_score)) + << depth_to_uci(depth * ONE_PLY) + << (i == MultiPVIteration ? score_to_uci(Rml[i].score, alpha, beta) : + score_to_uci(Rml[i].score)) << speed_to_uci(pos.nodes_searched()) - << pv_to_uci(&rml[i].pv[0], i + 1, pos.is_chess960()) + << pv_to_uci(&Rml[i].pv[0], i + 1, pos.is_chess960()) << endl; - } // In case of failing high/low increase aspiration window and research, // otherwise exit the fail high/low loop. @@ -643,7 +630,7 @@ namespace { LogFile << pretty_pv(pos, depth, value, current_search_time(), &Rml[0].pv[0]) << endl; // Init easyMove after first iteration or drop if differs from the best move - if (depth == 1 && (Rml.size() == 1 || Rml[0].pv_score > Rml[1].pv_score + EasyMoveMargin)) + if (depth == 1 && (Rml.size() == 1 || Rml[0].score > Rml[1].score + EasyMoveMargin)) easyMove = bestMove; else if (bestMove != easyMove) easyMove = MOVE_NONE; @@ -705,9 +692,9 @@ namespace { template Value search(Position& pos, SearchStack* ss, Value alpha, Value beta, Depth depth) { - const bool PvNode = (NT == PV || NT == Root || NT == SplitPointPV); - const bool SpNode = (NT == SplitPointPV || NT == SplitPointNonPV); - const bool RootNode = (NT == Root); + const bool PvNode = (NT == PV || NT == Root || NT == SplitPointPV || NT == SplitPointRoot); + const bool SpNode = (NT == SplitPointPV || NT == SplitPointNonPV || NT == SplitPointRoot); + const bool RootNode = (NT == Root || NT == SplitPointRoot); assert(alpha >= -VALUE_INFINITE && alpha <= VALUE_INFINITE); assert(beta > alpha && beta <= VALUE_INFINITE); @@ -723,7 +710,7 @@ namespace { Depth ext, newDepth; ValueType vt; Value bestValue, value, oldAlpha; - Value refinedValue, nullValue, futilityBase, futilityValueScaled; // Non-PV specific + Value refinedValue, nullValue, futilityBase, futilityValue; bool isPvMove, inCheck, singularExtensionNode, givesCheck, captureOrPromotion, dangerous; int moveCount = 0, playedMoveCount = 0; Thread& thread = Threads[pos.thread()]; @@ -781,14 +768,14 @@ namespace { excludedMove = ss->excludedMove; posKey = excludedMove ? pos.get_exclusion_key() : pos.get_key(); tte = TT.probe(posKey); - ttMove = tte ? tte->move() : MOVE_NONE; + ttMove = RootNode ? Rml[MultiPVIteration].pv[0] : tte ? tte->move() : MOVE_NONE; // At PV nodes we check for exact scores, while at non-PV nodes we check for // a fail high/low. Biggest advantage at probing at PV nodes is to have a // smooth experience in analysis mode. We don't probe at Root nodes otherwise // we should also update RootMoveList to avoid bogus output. if (!RootNode && tte && (PvNode ? tte->depth() >= depth && tte->type() == VALUE_TYPE_EXACT - : ok_to_use_TT(tte, depth, beta, ss->ply))) + : can_return_tt(tte, depth, beta, ss->ply))) { TT.refresh(tte); ss->bestMove = ttMove; // Can be MOVE_NONE @@ -952,7 +939,7 @@ namespace { split_point_start: // At split points actual search starts from here // Initialize a MovePicker object for the current position - MovePickerExt mp(pos, RootNode ? Rml[MultiPVIteration].pv[0] : ttMove, depth, H, ss, PvNode ? -VALUE_INFINITE : beta); + MovePickerExt mp(pos, ttMove, depth, H, ss, PvNode ? -VALUE_INFINITE : beta); CheckInfo ci(pos); ss->bestMove = MOVE_NONE; futilityBase = ss->eval + ss->evalMargin; @@ -982,7 +969,7 @@ split_point_start: // At split points actual search starts from here // At root obey the "searchmoves" option and skip moves not listed in Root Move List. // Also in MultiPV mode we skip moves which already have got an exact score - // in previous MultiPV Iteration. + // in previous MultiPV Iteration. Finally any illegal move is skipped here. if (RootNode && !Rml.find(move, MultiPVIteration)) continue; @@ -1006,22 +993,15 @@ split_point_start: // At split points actual search starts from here // Save the current node count before the move is searched nodes = pos.nodes_searched(); - // If it's time to send nodes info, do it here where we have the - // correct accumulated node counts searched by each thread. - if (SendSearchedNodes) - { - SendSearchedNodes = false; - cout << "info" << speed_to_uci(pos.nodes_searched()) << endl; - } - // For long searches send current move info to GUI - if (current_search_time() > 2000) + if (pos.thread() == 0 && current_search_time() > 2000) cout << "info" << depth_to_uci(depth) - << " currmove " << move << " currmovenumber " << moveCount + MultiPVIteration << endl; + << " currmove " << move + << " currmovenumber " << moveCount + MultiPVIteration << endl; } // At Root and at first iteration do a PV search on all the moves to score root moves - isPvMove = (PvNode && moveCount <= ((RootNode && depth <= ONE_PLY) ? MAX_MOVES : 1)); + isPvMove = (PvNode && moveCount <= (RootNode && depth <= ONE_PLY ? MAX_MOVES : 1)); givesCheck = pos.move_gives_check(move, ci); captureOrPromotion = pos.move_is_capture_or_promotion(move); @@ -1080,19 +1060,19 @@ split_point_start: // At split points actual search starts from here // We illogically ignore reduction condition depth >= 3*ONE_PLY for predicted depth, // but fixing this made program slightly weaker. Depth predictedDepth = newDepth - reduction(depth, moveCount); - futilityValueScaled = futilityBase + futility_margin(predictedDepth, moveCount) - + H.gain(pos.piece_on(move_from(move)), move_to(move)); + futilityValue = futilityBase + futility_margin(predictedDepth, moveCount) + + H.gain(pos.piece_on(move_from(move)), move_to(move)); - if (futilityValueScaled < beta) + if (futilityValue < beta) { if (SpNode) { lock_grab(&(sp->lock)); - if (futilityValueScaled > sp->bestValue) - sp->bestValue = bestValue = futilityValueScaled; + if (futilityValue > sp->bestValue) + sp->bestValue = bestValue = futilityValue; } - else if (futilityValueScaled > bestValue) - bestValue = futilityValueScaled; + else if (futilityValue > bestValue) + bestValue = futilityValue; continue; } @@ -1181,36 +1161,12 @@ split_point_start: // At split points actual search starts from here alpha = sp->alpha; } - if (value > bestValue) - { - bestValue = value; - ss->bestMove = move; - - if ( !RootNode - && PvNode - && value > alpha - && value < beta) // We want always alpha < beta - alpha = value; - - if (SpNode && !thread.cutoff_occurred()) - { - sp->bestValue = value; - sp->ss->bestMove = move; - sp->alpha = alpha; - sp->is_betaCutoff = (value >= beta); - } - } - - if (RootNode) + // Finished searching the move. If StopRequest is true, the search + // was aborted because the user interrupted the search or because we + // ran out of time. In this case, the return value of the search cannot + // be trusted, and we don't update the best move and/or PV. + if (RootNode && !StopRequest) { - // Finished searching the move. If StopRequest is true, the search - // was aborted because the user interrupted the search or because we - // ran out of time. In this case, the return value of the search cannot - // be trusted, and we break out of the loop without updating the best - // move and/or PV. - if (StopRequest) - break; - // Remember searched nodes counts for this move RootMove* rm = Rml.find(move); rm->nodes += pos.nodes_searched() - nodes; @@ -1219,7 +1175,7 @@ split_point_start: // At split points actual search starts from here if (isPvMove || value > alpha) { // Update PV - rm->pv_score = value; + rm->score = value; rm->extract_pv_from_tt(pos); // We record how often the best move has been changed in each @@ -1227,29 +1183,43 @@ split_point_start: // At split points actual search starts from here // the best move changes frequently, we allocate some more time. if (!isPvMove && MultiPV == 1) Rml.bestMoveChanges++; - - // Update alpha. - if (value > alpha) - alpha = value; } else // All other moves but the PV are set to the lowest value, this // is not a problem when sorting becuase sort is stable and move // position in the list is preserved, just the PV is pushed up. - rm->pv_score = -VALUE_INFINITE; + rm->score = -VALUE_INFINITE; } // RootNode + if (value > bestValue) + { + bestValue = value; + ss->bestMove = move; + + if ( PvNode + && value > alpha + && value < beta) // We want always alpha < beta + alpha = value; + + if (SpNode && !thread.cutoff_occurred()) + { + sp->bestValue = value; + sp->ss->bestMove = move; + sp->alpha = alpha; + sp->is_betaCutoff = (value >= beta); + } + } + // Step 19. Check for split - if ( !RootNode - && !SpNode + if ( !SpNode && depth >= Threads.min_split_depth() && bestValue < beta && Threads.available_slave_exists(pos.thread()) && !StopRequest && !thread.cutoff_occurred()) - Threads.split(pos, ss, &alpha, beta, &bestValue, depth, - threatMove, moveCount, &mp, PvNode); + bestValue = Threads.split(pos, ss, alpha, beta, bestValue, depth, + threatMove, moveCount, &mp, NT); } // Step 20. Check for mate and stalemate @@ -1318,6 +1288,7 @@ split_point_start: // At split points actual search starts from here bool inCheck, enoughMaterial, givesCheck, evasionPrunable; const TTEntry* tte; Depth ttDepth; + ValueType vt; Value oldAlpha = alpha; ss->bestMove = ss->currentMove = MOVE_NONE; @@ -1338,7 +1309,7 @@ split_point_start: // At split points actual search starts from here tte = TT.probe(pos.get_key()); ttMove = (tte ? tte->move() : MOVE_NONE); - if (!PvNode && tte && ok_to_use_TT(tte, ttDepth, beta, ss->ply)) + if (!PvNode && tte && can_return_tt(tte, ttDepth, beta, ss->ply)) { ss->bestMove = ttMove; // Can be MOVE_NONE return value_from_tt(tte->value(), ss->ply); @@ -1388,7 +1359,7 @@ split_point_start: // At split points actual search starts from here CheckInfo ci(pos); // Loop through the moves until no moves remain or a beta cutoff occurs - while ( alpha < beta + while ( bestValue < beta && (move = mp.get_next_move()) != MOVE_NONE) { assert(move_is_ok(move)); @@ -1408,10 +1379,11 @@ split_point_start: // At split points actual search starts from here + piece_value_endgame(pos.piece_on(move_to(move))) + (move_is_ep(move) ? PawnValueEndgame : VALUE_ZERO); - if (futilityValue < alpha) + if (futilityValue < beta) { if (futilityValue > bestValue) bestValue = futilityValue; + continue; } @@ -1470,11 +1442,12 @@ split_point_start: // At split points actual search starts from here if (value > bestValue) { bestValue = value; - if (value > alpha) - { + ss->bestMove = move; + + if ( PvNode + && value > alpha + && value < beta) // We want always alpha < beta alpha = value; - ss->bestMove = move; - } } } @@ -1484,8 +1457,11 @@ split_point_start: // At split points actual search starts from here return value_mated_in(ss->ply); // Update transposition table - ValueType vt = (bestValue <= oldAlpha ? VALUE_TYPE_UPPER : bestValue >= beta ? VALUE_TYPE_LOWER : VALUE_TYPE_EXACT); - TT.store(pos.get_key(), value_to_tt(bestValue, ss->ply), vt, ttDepth, ss->bestMove, ss->eval, evalMargin); + move = bestValue <= oldAlpha ? MOVE_NONE : ss->bestMove; + vt = bestValue <= oldAlpha ? VALUE_TYPE_UPPER + : bestValue >= beta ? VALUE_TYPE_LOWER : VALUE_TYPE_EXACT; + + TT.store(pos.get_key(), value_to_tt(bestValue, ss->ply), vt, ttDepth, move, ss->eval, evalMargin); assert(bestValue > -VALUE_INFINITE && bestValue < VALUE_INFINITE); @@ -1673,10 +1649,10 @@ split_point_start: // At split points actual search starts from here } - // ok_to_use_TT() returns true if a transposition table score - // can be used at a given point in search. + // can_return_tt() returns true if a transposition table score + // can be used to cut-off at a given point in search. - bool ok_to_use_TT(const TTEntry* tte, Depth depth, Value beta, int ply) { + bool can_return_tt(const TTEntry* tte, Depth depth, Value beta, int ply) { Value v = value_from_tt(tte->value(), ply); @@ -1965,9 +1941,6 @@ split_point_start: // At split points actual search starts from here dbg_print_mean(); dbg_print_hit_rate(); - - // Send info on searched nodes as soon as we return to root - SendSearchedNodes = true; } // Should we stop the search? @@ -2016,12 +1989,12 @@ split_point_start: // At split points actual search starts from here static RKISS rk; - // Rml list is already sorted by pv_score in descending order + // Rml list is already sorted by score in descending order int s; int max_s = -VALUE_INFINITE; int size = Min(MultiPV, (int)Rml.size()); - int max = Rml[0].pv_score; - int var = Min(max - Rml[size - 1].pv_score, PawnValueMidgame); + int max = Rml[0].score; + int var = Min(max - Rml[size - 1].score, PawnValueMidgame); int wk = 120 - 2 * SkillLevel; // PRNG sequence should be non deterministic @@ -2033,10 +2006,10 @@ split_point_start: // At split points actual search starts from here // then we choose the move with the resulting highest score. for (int i = 0; i < size; i++) { - s = Rml[i].pv_score; + s = Rml[i].score; // Don't allow crazy blunders even at very low skills - if (i > 0 && Rml[i-1].pv_score > s + EasyMoveMargin) + if (i > 0 && Rml[i-1].score > s + EasyMoveMargin) break; // This is our magical formula @@ -2073,7 +2046,7 @@ split_point_start: // At split points actual search starts from here RootMove rm; rm.pv.push_back(ml.move()); rm.pv.push_back(MOVE_NONE); - rm.pv_score = -VALUE_INFINITE; + rm.score = rm.prevScore = -VALUE_INFINITE; rm.nodes = 0; push_back(rm); } @@ -2155,110 +2128,109 @@ split_point_start: // At split points actual search starts from here } // namespace -// ThreadsManager::idle_loop() is where the threads are parked when they have no work -// to do. The parameter 'sp', if non-NULL, is a pointer to an active SplitPoint -// object for which the current thread is the master. +// Little helper used by idle_loop() to check that all the slaves of a +// master thread have finished searching. + +static bool all_slaves_finished(SplitPoint* sp) { + + assert(sp); + + for (int i = 0; i < Threads.size(); i++) + if (sp->is_slave[i]) + return false; + + return true; +} -void ThreadsManager::idle_loop(int threadID, SplitPoint* sp) { - assert(threadID >= 0 && threadID < MAX_THREADS); +// Thread::idle_loop() is where the thread is parked when it has no work to do. +// The parameter 'sp', if non-NULL, is a pointer to an active SplitPoint object +// for which the thread is the master. - int i; - bool allFinished; +void Thread::idle_loop(SplitPoint* sp) { while (true) { - // Slave threads can exit as soon as AllThreadsShouldExit raises, - // master should exit as last one. - if (allThreadsShouldExit) - { - assert(!sp); - threads[threadID].state = Thread::TERMINATED; - return; - } - - // If we are not thinking, wait for a condition to be signaled + // If we are not searching, wait for a condition to be signaled // instead of wasting CPU time polling for work. - while ( threadID >= activeThreads - || threads[threadID].state == Thread::INITIALIZING - || (useSleepingThreads && threads[threadID].state == Thread::AVAILABLE)) + while ( do_sleep + || do_terminate + || (Threads.use_sleeping_threads() && state == Thread::AVAILABLE)) { - assert(!sp || useSleepingThreads); - assert(threadID != 0 || useSleepingThreads); - - if (threads[threadID].state == Thread::INITIALIZING) - threads[threadID].state = Thread::AVAILABLE; + assert((!sp && threadID) || Threads.use_sleeping_threads()); // Grab the lock to avoid races with Thread::wake_up() - lock_grab(&threads[threadID].sleepLock); + lock_grab(&sleepLock); - // If we are master and all slaves have finished do not go to sleep - for (i = 0; sp && i < activeThreads && !sp->is_slave[i]; i++) {} - allFinished = (i == activeThreads); + // Slave thread should exit as soon as do_terminate flag raises + if (do_terminate) + { + assert(!sp); + lock_release(&sleepLock); + return; + } - if (allFinished || allThreadsShouldExit) + // If we are master and all slaves have finished don't go to sleep + if (sp && all_slaves_finished(sp)) { - lock_release(&threads[threadID].sleepLock); + lock_release(&sleepLock); break; } - // Do sleep here after retesting sleep conditions - if (threadID >= activeThreads || threads[threadID].state == Thread::AVAILABLE) - cond_wait(&threads[threadID].sleepCond, &threads[threadID].sleepLock); + // Do sleep after retesting sleep conditions under lock protection, in + // particular we need to avoid a deadlock in case a master thread has, + // in the meanwhile, allocated us and sent the wake_up() call before we + // had the chance to grab the lock. + if (do_sleep || state == Thread::AVAILABLE) + cond_wait(&sleepCond, &sleepLock); - lock_release(&threads[threadID].sleepLock); + lock_release(&sleepLock); } // If this thread has been assigned work, launch a search - if (threads[threadID].state == Thread::WORKISWAITING) + if (state == Thread::WORKISWAITING) { - assert(!allThreadsShouldExit); + assert(!do_terminate); - threads[threadID].state = Thread::SEARCHING; + state = Thread::SEARCHING; // Copy split point position and search stack and call search() - // with SplitPoint template parameter set to true. SearchStack ss[PLY_MAX_PLUS_2]; - SplitPoint* tsp = threads[threadID].splitPoint; + SplitPoint* tsp = splitPoint; Position pos(*tsp->pos, threadID); memcpy(ss, tsp->ss - 1, 4 * sizeof(SearchStack)); (ss+1)->sp = tsp; - if (tsp->pvNode) + if (tsp->nodeType == Root) + search(pos, ss+1, tsp->alpha, tsp->beta, tsp->depth); + else if (tsp->nodeType == PV) search(pos, ss+1, tsp->alpha, tsp->beta, tsp->depth); - else + else if (tsp->nodeType == NonPV) search(pos, ss+1, tsp->alpha, tsp->beta, tsp->depth); + else + assert(false); - assert(threads[threadID].state == Thread::SEARCHING); + assert(state == Thread::SEARCHING); - threads[threadID].state = Thread::AVAILABLE; + state = Thread::AVAILABLE; // Wake up master thread so to allow it to return from the idle loop in // case we are the last slave of the split point. - if ( useSleepingThreads + if ( Threads.use_sleeping_threads() && threadID != tsp->master - && threads[tsp->master].state == Thread::AVAILABLE) - threads[tsp->master].wake_up(); + && Threads[tsp->master].state == Thread::AVAILABLE) + Threads[tsp->master].wake_up(); } // If this thread is the master of a split point and all slaves have // finished their work at this split point, return from the idle loop. - for (i = 0; sp && i < activeThreads && !sp->is_slave[i]; i++) {} - allFinished = (i == activeThreads); - - if (allFinished) + if (sp && all_slaves_finished(sp)) { - // Because sp->slaves[] is reset under lock protection, + // Because sp->is_slave[] is reset under lock protection, // be sure sp->lock has been released before to return. lock_grab(&(sp->lock)); lock_release(&(sp->lock)); - - // In helpful master concept a master can help only a sub-tree, and - // because here is all finished is not possible master is booked. - assert(threads[threadID].state == Thread::AVAILABLE); - - threads[threadID].state = Thread::SEARCHING; return; } }