X-Git-Url: https://git.sesse.net/?p=stockfish;a=blobdiff_plain;f=src%2Fsearch.cpp;h=079fbf2bc504ffb8b6e480acb9933941fc1798a8;hp=97b7a29ce4dce27735bc8ceb5c5c645bad79757c;hb=6096ca7a95f2f3bc1049b4fe240b21b7fbc389f9;hpb=0363b5435847e66678cd3fa0d8a94e30b9a91663 diff --git a/src/search.cpp b/src/search.cpp index 97b7a29c..079fbf2b 100644 --- a/src/search.cpp +++ b/src/search.cpp @@ -52,7 +52,10 @@ using std::endl; namespace { - /// Types + // Maximum number of allowed moves per position + const int MOVES_MAX = 256; + + // Types enum NodeType { NonPV, PV }; // Set to true to force running with one thread. @@ -114,7 +117,7 @@ namespace { struct RootMove { - RootMove() : mp_score(0), nodes(0), cumulativeNodes(0) {} + RootMove() : mp_score(0), nodes(0) {} // RootMove::operator<() is the comparison function used when // sorting the moves. A move m1 is considered to be better @@ -128,7 +131,7 @@ namespace { Move move; Value score; int mp_score; - int64_t nodes, cumulativeNodes; + int64_t nodes; Move pv[PLY_MAX_PLUS_2]; }; @@ -141,26 +144,40 @@ namespace { public: RootMoveList(Position& pos, Move searchMoves[]); + Move move(int moveNum) const { return moves[moveNum].move; } + Move move_pv(int moveNum, int i) const { return moves[moveNum].pv[i]; } int move_count() const { return count; } - Move get_move(int moveNum) const { return moves[moveNum].move; } - Value get_move_score(int moveNum) const { return moves[moveNum].score; } + Value move_score(int moveNum) const { return moves[moveNum].score; } + int64_t move_nodes(int moveNum) const { return moves[moveNum].nodes; } + void add_move_nodes(int moveNum, int64_t nodes) { moves[moveNum].nodes += nodes; } void set_move_score(int moveNum, Value score) { moves[moveNum].score = score; } - Move get_move_pv(int moveNum, int i) const { return moves[moveNum].pv[i]; } - int64_t get_move_cumulative_nodes(int moveNum) const { return moves[moveNum].cumulativeNodes; } - void score_moves(const Position& pos); - void set_move_nodes(int moveNum, int64_t nodes); void set_move_pv(int moveNum, const Move pv[]); + void score_moves(const Position& pos); void sort(); void sort_multipv(int n); private: - static const int MaxRootMoves = 500; - RootMove moves[MaxRootMoves]; + RootMove moves[MOVES_MAX]; int count; }; + // When formatting a move for std::cout we must know if we are in Chess960 + // or not. To keep using the handy operator<<() on the move the trick is to + // embed this flag in the stream itself. Function-like named enum set960 is + // used as a custom manipulator and the stream internal general-purpose array, + // accessed through ios_base::iword(), is used to pass the flag to the move's + // operator<<() that will use it to properly format castling moves. + enum set960 {}; + + std::ostream& operator<< (std::ostream& os, const set960& m) { + + os.iword(0) = int(m); + return os; + } + + /// Adjustments // Step 6. Razoring @@ -364,7 +381,7 @@ void init_search() { int perft(Position& pos, Depth depth) { - MoveStack mlist[256]; + MoveStack mlist[MOVES_MAX]; StateInfo st; Move m; int sum = 0; @@ -448,7 +465,6 @@ bool think(const Position& pos, bool infinite, bool ponder, int time[], int incr MinimumSplitDepth = get_option_value_int("Minimum Split Depth") * ONE_PLY; MaxThreadsPerSplitPoint = get_option_value_int("Maximum Number of Threads per Split Point"); MultiPV = get_option_value_int("MultiPV"); - Chess960 = get_option_value_bool("UCI_Chess960"); UseLogFile = get_option_value_bool("Use Search Log"); if (UseLogFile) @@ -534,26 +550,27 @@ namespace { // Print RootMoveList startup scoring to the standard output, // so to output information also for iteration 1. - cout << "info depth " << 1 + cout << set960(p.is_chess960()) // Is enough to set once at the beginning + << "info depth " << 1 << "\ninfo depth " << 1 - << " score " << value_to_uci(rml.get_move_score(0)) + << " score " << value_to_uci(rml.move_score(0)) << " time " << current_search_time() << " nodes " << ThreadsMgr.nodes_searched() << " nps " << nps() - << " pv " << rml.get_move(0) << "\n"; + << " pv " << rml.move(0) << "\n"; // Initialize TT.new_search(); H.clear(); init_ss_array(ss, PLY_MAX_PLUS_2); pv[0] = pv[1] = MOVE_NONE; - ValueByIteration[1] = rml.get_move_score(0); + ValueByIteration[1] = rml.move_score(0); Iteration = 1; // Is one move significantly better than others after initial scoring ? if ( rml.move_count() == 1 - || rml.get_move_score(0) > rml.get_move_score(1) + EasyMoveMargin) - EasyMove = rml.get_move(0); + || rml.move_score(0) > rml.move_score(1) + EasyMoveMargin) + EasyMove = rml.move(0); // Iterative deepening loop while (Iteration < PLY_MAX) @@ -614,9 +631,9 @@ namespace { int64_t nodes = ThreadsMgr.nodes_searched(); if ( Iteration >= 8 && EasyMove == pv[0] - && ( ( rml.get_move_cumulative_nodes(0) > (nodes * 85) / 100 + && ( ( rml.move_nodes(0) > (nodes * 85) / 100 && current_search_time() > TimeMgr.available_time() / 16) - ||( rml.get_move_cumulative_nodes(0) > (nodes * 98) / 100 + ||( rml.move_nodes(0) > (nodes * 98) / 100 && current_search_time() > TimeMgr.available_time() / 32))) stopSearch = true; @@ -657,7 +674,7 @@ namespace { // Print the best move and the ponder move to the standard output if (pv[0] == MOVE_NONE) { - pv[0] = rml.get_move(0); + pv[0] = rml.move(0); pv[1] = MOVE_NONE; } @@ -688,7 +705,7 @@ namespace { << move_to_san(p, pv[1]) // Works also with MOVE_NONE << endl; } - return rml.get_move_score(0); + return rml.move_score(0); } @@ -699,7 +716,7 @@ namespace { Value root_search(Position& pos, SearchStack* ss, Move* pv, RootMoveList& rml, Value* alphaPtr, Value* betaPtr) { - EvalInfo ei; + Value margins[2]; StateInfo st; CheckInfo ci(pos); int64_t nodes; @@ -724,7 +741,7 @@ namespace { // Step 5. Evaluate the position statically // At root we do this only to get reference value for child nodes - ss->eval = isCheck ? VALUE_NONE : evaluate(pos, ei); + ss->eval = isCheck ? VALUE_NONE : evaluate(pos, margins); // Step 6. Razoring (omitted at root) // Step 7. Static null move pruning (omitted at root) @@ -751,7 +768,7 @@ namespace { // Pick the next root move, and print the move and the move number to // the standard output. - move = ss->currentMove = rml.get_move(i); + move = ss->currentMove = rml.move(i); if (current_search_time() >= 1000) cout << "info currmove " << move @@ -868,7 +885,7 @@ namespace { break; // Remember searched nodes counts for this move - rml.set_move_nodes(i, ThreadsMgr.nodes_searched() - nodes); + rml.add_move_nodes(i, ThreadsMgr.nodes_searched() - nodes); assert(value >= -VALUE_INFINITE && value <= VALUE_INFINITE); assert(value < beta); @@ -907,19 +924,19 @@ namespace { for (int j = 0; j < Min(MultiPV, rml.move_count()); j++) { cout << "info multipv " << j + 1 - << " score " << value_to_uci(rml.get_move_score(j)) + << " score " << value_to_uci(rml.move_score(j)) << " depth " << (j <= i ? Iteration : Iteration - 1) << " time " << current_search_time() << " nodes " << ThreadsMgr.nodes_searched() << " nps " << nps() << " pv "; - for (int k = 0; rml.get_move_pv(j, k) != MOVE_NONE && k < PLY_MAX; k++) - cout << rml.get_move_pv(j, k) << " "; + for (int k = 0; rml.move_pv(j, k) != MOVE_NONE && k < PLY_MAX; k++) + cout << rml.move_pv(j, k) << " "; cout << endl; } - alpha = rml.get_move_score(Min(i, MultiPV - 1)); + alpha = rml.move_score(Min(i, MultiPV - 1)); } } // PV move or new best move @@ -959,15 +976,15 @@ namespace { assert(ply > 0 && ply < PLY_MAX); assert(pos.thread() >= 0 && pos.thread() < ThreadsMgr.active_threads()); - Move movesSearched[256]; - EvalInfo ei; + Move movesSearched[MOVES_MAX]; + Value margins[2]; StateInfo st; const TTEntry *tte; Key posKey; Move ttMove, move, excludedMove, threatMove; Depth ext, newDepth; Value bestValue, value, oldAlpha; - Value refinedValue, nullValue, futilityValueScaled; // Non-PV specific + Value refinedValue, nullValue, futilityBase, futilityValueScaled; // Non-PV specific bool isCheck, singleEvasion, singularExtensionNode, moveIsCheck, captureOrPromotion, dangerous; bool mateThreat = false; int moveCount = 0; @@ -1020,7 +1037,7 @@ namespace { if (!PvNode && tte && ok_to_use_TT(tte, depth, beta, ply)) { // Refresh tte entry to avoid aging - TT.store(posKey, tte->value(), tte->type(), tte->depth(), ttMove, tte->static_value(), tte->king_danger()); + TT.store(posKey, tte->value(), tte->type(), tte->depth(), ttMove, tte->static_value(), tte->static_value_margin()); ss->bestMove = ttMove; // Can be MOVE_NONE return value_from_tt(tte->value(), ply); @@ -1036,13 +1053,13 @@ namespace { assert(tte->static_value() != VALUE_NONE); ss->eval = tte->static_value(); - ei.kingDanger[pos.side_to_move()] = tte->king_danger(); + margins[pos.side_to_move()] = tte->static_value_margin(); refinedValue = refine_eval(tte, ss->eval, ply); } else { - refinedValue = ss->eval = evaluate(pos, ei); - TT.store(posKey, VALUE_NONE, VALUE_TYPE_NONE, DEPTH_NONE, MOVE_NONE, ss->eval, ei.kingDanger[pos.side_to_move()]); + refinedValue = ss->eval = evaluate(pos, margins); + TT.store(posKey, VALUE_NONE, VALUE_TYPE_NONE, DEPTH_NONE, MOVE_NONE, ss->eval, margins[pos.side_to_move()]); } // Save gain for the parent non-capture move @@ -1167,6 +1184,7 @@ namespace { CheckInfo ci(pos); ss->bestMove = MOVE_NONE; singleEvasion = isCheck && mp.number_of_evasions() == 1; + futilityBase = ss->eval + margins[pos.side_to_move()]; singularExtensionNode = depth >= SingularExtensionDepth[PvNode] && tte && tte->move() @@ -1238,7 +1256,7 @@ namespace { // 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 = ss->eval + futility_margin(predictedDepth, moveCount) + futilityValueScaled = futilityBase + futility_margin(predictedDepth, moveCount) + H.gain(pos.piece_on(move_from(move)), move_to(move)); if (futilityValueScaled < beta) @@ -1356,7 +1374,7 @@ namespace { ValueType vt = (bestValue <= oldAlpha ? VALUE_TYPE_UPPER : bestValue >= beta ? VALUE_TYPE_LOWER : VALUE_TYPE_EXACT); move = (bestValue <= oldAlpha ? MOVE_NONE : ss->bestMove); - TT.store(posKey, value_to_tt(bestValue, ply), vt, depth, move, ss->eval, ei.kingDanger[pos.side_to_move()]); + TT.store(posKey, value_to_tt(bestValue, ply), vt, depth, move, ss->eval, margins[pos.side_to_move()]); // Update killers and history only for non capture moves that fails high if ( bestValue >= beta @@ -1386,7 +1404,7 @@ namespace { assert(ply > 0 && ply < PLY_MAX); assert(pos.thread() >= 0 && pos.thread() < ThreadsMgr.active_threads()); - EvalInfo ei; + Value margins[2]; StateInfo st; Move ttMove, move; Value bestValue, value, futilityValue, futilityBase; @@ -1427,11 +1445,11 @@ namespace { { assert(tte->static_value() != VALUE_NONE); - ei.kingDanger[pos.side_to_move()] = tte->king_danger(); + margins[pos.side_to_move()] = tte->static_value_margin(); bestValue = tte->static_value(); } else - bestValue = evaluate(pos, ei); + bestValue = evaluate(pos, margins); ss->eval = bestValue; update_gains(pos, (ss-1)->currentMove, (ss-1)->eval, ss->eval); @@ -1440,7 +1458,7 @@ namespace { if (bestValue >= beta) { if (!tte) - TT.store(pos.get_key(), value_to_tt(bestValue, ply), VALUE_TYPE_LOWER, DEPTH_NONE, MOVE_NONE, ss->eval, ei.kingDanger[pos.side_to_move()]); + TT.store(pos.get_key(), value_to_tt(bestValue, ply), VALUE_TYPE_LOWER, DEPTH_NONE, MOVE_NONE, ss->eval, margins[pos.side_to_move()]); return bestValue; } @@ -1452,7 +1470,7 @@ namespace { deepChecks = (depth == -ONE_PLY && bestValue >= beta - PawnValueMidgame / 8); // Futility pruning parameters, not needed when in check - futilityBase = bestValue + FutilityMarginQS + ei.kingDanger[pos.side_to_move()]; + futilityBase = bestValue + FutilityMarginQS + margins[pos.side_to_move()]; enoughMaterial = pos.non_pawn_material(pos.side_to_move()) > RookValueMidgame; } @@ -1537,7 +1555,7 @@ namespace { // Update transposition table Depth d = (depth == DEPTH_ZERO ? DEPTH_ZERO : DEPTH_ZERO - ONE_PLY); ValueType vt = (bestValue <= oldAlpha ? VALUE_TYPE_UPPER : bestValue >= beta ? VALUE_TYPE_LOWER : VALUE_TYPE_EXACT); - TT.store(pos.get_key(), value_to_tt(bestValue, ply), vt, d, ss->bestMove, ss->eval, ei.kingDanger[pos.side_to_move()]); + TT.store(pos.get_key(), value_to_tt(bestValue, ply), vt, d, ss->bestMove, ss->eval, margins[pos.side_to_move()]); // Update killers only for checking moves that fails high if ( bestValue >= beta @@ -2227,7 +2245,7 @@ namespace { StateInfo st; TTEntry* tte; Position p(pos, pos.thread()); - EvalInfo ei; + Value margins[2]; Value v; for (int i = 0; pv[i] != MOVE_NONE; i++) @@ -2235,8 +2253,8 @@ namespace { tte = TT.retrieve(p.get_key()); if (!tte || tte->move() != pv[i]) { - v = (p.is_check() ? VALUE_NONE : evaluate(p, ei)); - TT.store(p.get_key(), VALUE_NONE, VALUE_TYPE_NONE, DEPTH_NONE, pv[i], v, ei.kingDanger[pos.side_to_move()]); + v = (p.is_check() ? VALUE_NONE : evaluate(p, margins)); + TT.store(p.get_key(), VALUE_NONE, VALUE_TYPE_NONE, DEPTH_NONE, pv[i], v, margins[pos.side_to_move()]); } p.do_move(pv[i], st); } @@ -2710,17 +2728,17 @@ namespace { // RootMoveList c'tor - RootMoveList::RootMoveList(Position& pos, Move searchMoves[]) : count(0) { + RootMoveList::RootMoveList(Position& pos, Move searchMoves[]) { SearchStack ss[PLY_MAX_PLUS_2]; - MoveStack mlist[MaxRootMoves]; + MoveStack mlist[MOVES_MAX]; StateInfo st; bool includeAllMoves = (searchMoves[0] == MOVE_NONE); // Initialize search stack init_ss_array(ss, PLY_MAX_PLUS_2); - ss[0].currentMove = ss[0].bestMove = MOVE_NONE; ss[0].eval = VALUE_NONE; + count = 0; // Generate all legal moves MoveStack* last = generate_moves(pos, mlist); @@ -2737,12 +2755,10 @@ namespace { continue; // Find a quick score for the move + moves[count].move = ss[0].currentMove = moves[count].pv[0] = cur->move; + moves[count].pv[1] = MOVE_NONE; pos.do_move(cur->move, st); - ss[0].currentMove = cur->move; - moves[count].move = cur->move; moves[count].score = -qsearch(pos, ss+1, -VALUE_INFINITE, VALUE_INFINITE, DEPTH_ZERO, 1); - moves[count].pv[0] = cur->move; - moves[count].pv[1] = MOVE_NONE; pos.undo_move(cur->move); count++; } @@ -2769,12 +2785,6 @@ namespace { // RootMoveList simple methods definitions - void RootMoveList::set_move_nodes(int moveNum, int64_t nodes) { - - moves[moveNum].nodes = nodes; - moves[moveNum].cumulativeNodes += nodes; - } - void RootMoveList::set_move_pv(int moveNum, const Move pv[]) { int j; @@ -2813,4 +2823,4 @@ namespace { } } -} // namspace +} // namespace