Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 99 | pmbaty | 1 | /* |
| 2 | Texel - A UCI chess engine. |
||
| 3 | Copyright (C) 2012-2014 Peter Ă–sterlund, peterosterlund2@gmail.com |
||
| 4 | |||
| 5 | This program is free software: you can redistribute it and/or modify |
||
| 6 | it under the terms of the GNU General Public License as published by |
||
| 7 | the Free Software Foundation, either version 3 of the License, or |
||
| 8 | (at your option) any later version. |
||
| 9 | |||
| 10 | This program is distributed in the hope that it will be useful, |
||
| 11 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
||
| 12 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
||
| 13 | GNU General Public License for more details. |
||
| 14 | |||
| 15 | You should have received a copy of the GNU General Public License |
||
| 16 | along with this program. If not, see <http://www.gnu.org/licenses/>. |
||
| 17 | */ |
||
| 18 | |||
| 19 | /* |
||
| 20 | * search.hpp |
||
| 21 | * |
||
| 22 | * Created on: Feb 25, 2012 |
||
| 23 | * Author: petero |
||
| 24 | */ |
||
| 25 | |||
| 26 | #ifndef SEARCH_HPP_ |
||
| 27 | #define SEARCH_HPP_ |
||
| 28 | |||
| 29 | #include "constants.hpp" |
||
| 30 | #include "position.hpp" |
||
| 31 | #include "killerTable.hpp" |
||
| 32 | #include "history.hpp" |
||
| 33 | #include "transpositionTable.hpp" |
||
| 34 | #include "evaluate.hpp" |
||
| 35 | #include "treeLogger.hpp" |
||
| 36 | #include "moveGen.hpp" |
||
| 37 | #include "searchUtil.hpp" |
||
| 38 | #include "parallel.hpp" |
||
| 39 | #include "util/histogram.hpp" |
||
| 40 | |||
| 41 | #include <limits> |
||
| 42 | #include <memory> |
||
| 43 | |||
| 44 | |||
| 45 | class SearchTest; |
||
| 46 | class ChessTool; |
||
| 47 | class PosGenerator; |
||
| 48 | |||
| 49 | /** Implements the nega-scout search algorithm. */ |
||
| 50 | class Search { |
||
| 51 | friend class SearchTest; |
||
| 52 | friend class ChessTool; |
||
| 53 | friend class PosGenerator; |
||
| 54 | public: |
||
| 55 | /** Help tables used by the search. */ |
||
| 56 | struct SearchTables { |
||
| 57 | SearchTables(TranspositionTable& tt0, KillerTable& kt0, History& ht0, |
||
| 58 | Evaluate::EvalHashTables& et0); |
||
| 59 | TranspositionTable& tt; |
||
| 60 | KillerTable& kt; |
||
| 61 | History& ht; |
||
| 62 | Evaluate::EvalHashTables& et; |
||
| 63 | }; |
||
| 64 | |||
| 65 | /** Constructor. */ |
||
| 66 | Search(const Position& pos, const std::vector<U64>& posHashList, |
||
| 67 | int posHashListSize, SearchTables& st, |
||
| 68 | ParallelData& pd, const std::shared_ptr<SplitPoint>& rootSp, |
||
| 69 | TreeLogger& logFile); |
||
| 70 | |||
| 71 | Search(const Search& other) = delete; |
||
| 72 | Search& operator=(const Search& other) = delete; |
||
| 73 | |||
| 74 | /** Interface for reporting search information during search. */ |
||
| 75 | class Listener { |
||
| 76 | public: |
||
| 77 | virtual void notifyDepth(int depth) = 0; |
||
| 78 | virtual void notifyCurrMove(const Move& m, int moveNr) = 0; |
||
| 79 | virtual void notifyPV(int depth, int score, int time, U64 nodes, int nps, |
||
| 80 | bool isMate, bool upperBound, bool lowerBound, |
||
| 81 | const std::vector<Move>& pv, int multiPVIndex, |
||
| 82 | U64 tbHits) = 0; |
||
| 83 | virtual void notifyStats(U64 nodes, int nps, U64 tbHits, int time) = 0; |
||
| 84 | }; |
||
| 85 | |||
| 86 | void setListener(const std::shared_ptr<Listener>& listener); |
||
| 87 | |||
| 88 | /** Exception thrown to stop the search. */ |
||
| 89 | class StopSearch : public std::exception { |
||
| 90 | }; |
||
| 91 | |||
| 92 | class StopHandler { |
||
| 93 | public: |
||
| 94 | virtual bool shouldStop() = 0; |
||
| 95 | }; |
||
| 96 | |||
| 97 | void setStopHandler(const std::shared_ptr<StopHandler>& stopHandler); |
||
| 98 | |||
| 99 | /** Set which thread is owning this Search object. */ |
||
| 100 | void setThreadNo(int tNo); |
||
| 101 | |||
| 102 | void timeLimit(int minTimeLimit, int maxTimeLimit); |
||
| 103 | |||
| 104 | void setStrength(int strength, U64 randomSeed); |
||
| 105 | |||
| 106 | /** Set minimum depth for TB probes. */ |
||
| 107 | void setMinProbeDepth(int depth); |
||
| 108 | |||
| 109 | Move iterativeDeepening(const MoveList& scMovesIn, |
||
| 110 | int maxDepth, U64 initialMaxNodes, bool verbose, |
||
| 111 | int maxPV = 1, bool onlyExact = false, |
||
| 112 | int minProbeDepth = 0); |
||
| 113 | |||
| 114 | /** |
||
| 115 | * Main recursive search algorithm. |
||
| 116 | * @return Score for the side to make a move, in position given by "pos". |
||
| 117 | */ |
||
| 118 | template <bool smp, bool tb> |
||
| 119 | int negaScout(int alpha, int beta, int ply, int depth, int recaptureSquare, |
||
| 120 | const bool inCheck); |
||
| 121 | int negaScout(bool smp, bool tb, |
||
| 122 | int alpha, int beta, int ply, int depth, int recaptureSquare, |
||
| 123 | const bool inCheck); |
||
| 124 | int negaScout(int alpha, int beta, int ply, int depth, int recaptureSquare, |
||
| 125 | const bool inCheck); |
||
| 126 | |||
| 127 | /** Compute extension depth for a move. */ |
||
| 128 | int getMoveExtend(const Move& m, int recaptureSquare); |
||
| 129 | |||
| 130 | static bool canClaimDraw50(const Position& pos); |
||
| 131 | |||
| 132 | static bool canClaimDrawRep(const Position& pos, const std::vector<U64>& posHashList, |
||
| 133 | int posHashListSize, int posHashFirstNew); |
||
| 134 | |||
| 135 | /** |
||
| 136 | * Compute scores for each move in a move list, using SEE, killer and history information. |
||
| 137 | * @param moves List of moves to score. |
||
| 138 | */ |
||
| 139 | void scoreMoveList(MoveList& moves, int ply, int startIdx = 0); |
||
| 140 | |||
| 141 | /** Set search tree information for a given ply. */ |
||
| 142 | void setSearchTreeInfo(int ply, const SearchTreeInfo& sti, |
||
| 143 | const Move& currMove, int currMoveNo, int lmr, |
||
| 144 | U64 rootNodeIdx); |
||
| 145 | |||
| 146 | /** Get total number of nodes searched by this thread. */ |
||
| 147 | S64 getTotalNodesThisThread() const; |
||
| 148 | |||
| 149 | /** Get number of TB hits for this thread. */ |
||
| 150 | S64 getTbHitsThisThread() const; |
||
| 151 | |||
| 152 | private: |
||
| 153 | void init(const Position& pos0, const std::vector<U64>& posHashList0, |
||
| 154 | int posHashListSize0); |
||
| 155 | |||
| 156 | /** Information used for move ordering at root and for PV reporting. */ |
||
| 157 | struct MoveInfo { |
||
| 158 | Move move; |
||
| 159 | U64 nodes; |
||
| 160 | int depth, alpha, beta; |
||
| 161 | std::vector<Move> pv; |
||
| 162 | MoveInfo(const Move& m, int n) |
||
| 163 | : move(m), nodes(n), depth(0), alpha(0), beta(0) {} |
||
| 164 | |||
| 165 | int score() const { return move.score(); } |
||
| 166 | |||
| 167 | struct SortByScore { |
||
| 168 | bool operator()(const MoveInfo& mi1, const MoveInfo& mi2) const { |
||
| 169 | return mi1.move.score() > mi2.move.score(); |
||
| 170 | } |
||
| 171 | }; |
||
| 172 | struct SortByNodes { |
||
| 173 | bool operator()(const MoveInfo& mi1, const MoveInfo& mi2) { |
||
| 174 | return mi1.nodes > mi2.nodes; |
||
| 175 | } |
||
| 176 | }; |
||
| 177 | }; |
||
| 178 | |||
| 179 | /** Store depth, alpha, beta, score and pv in scMoves[mi]. */ |
||
| 180 | void storeSearchResult(std::vector<MoveInfo>& scMoves, int mi, int depth, |
||
| 181 | int alpha, int beta, int score); |
||
| 182 | |||
| 183 | /** Report PV information to listener. */ |
||
| 184 | void notifyPV(const std::vector<MoveInfo>& moveInfo, int mi, int maxPV); |
||
| 185 | void notifyPV(const MoveInfo& info, int multiPVIndex); |
||
| 186 | |||
| 187 | /** Report search statistics to listener. */ |
||
| 188 | void notifyStats(); |
||
| 189 | |||
| 190 | /** Get total number of nodes searched by all threads. */ |
||
| 191 | S64 getTotalNodes() const; |
||
| 192 | |||
| 193 | /** Get total number of TB hits for all threads. */ |
||
| 194 | S64 getTbHits() const; |
||
| 195 | |||
| 196 | /** Determine which root moves to search, taking low strength and |
||
| 197 | * missing TB files into account. */ |
||
| 198 | void getRootMoves(const MoveList& rootMovesIn, |
||
| 199 | std::vector<MoveInfo>& rootMovesOut, |
||
| 200 | int maxDepth); |
||
| 201 | |||
| 202 | /** Return true if move should be skipped in order to make engine play weaker. */ |
||
| 203 | bool weakPlaySkipMove(const Position& pos, const Move& m, int ply) const; |
||
| 204 | |||
| 205 | static bool passedPawnPush(const Position& pos, const Move& m); |
||
| 206 | |||
| 207 | /** Quiescence search. Only non-losing captures are searched. */ |
||
| 208 | int quiesce(int alpha, int beta, int ply, int depth, const bool inCheck); |
||
| 209 | |||
| 210 | /** |
||
| 211 | * Static exchange evaluation function. |
||
| 212 | * @return SEE score for m. Positive value is good for the side that makes the first move. |
||
| 213 | */ |
||
| 214 | int SEE(const Move& m); |
||
| 215 | |||
| 216 | /** Return >0, 0, <0, depending on the sign of SEE(m). */ |
||
| 217 | int signSEE(const Move& m); |
||
| 218 | |||
| 219 | /** Return true if SEE(m) < 0. */ |
||
| 220 | bool negSEE(const Move& m); |
||
| 221 | |||
| 222 | /** Score move list according to most valuable victim / least valuable attacker. */ |
||
| 223 | void scoreMoveListMvvLva(MoveList& moves) const; |
||
| 224 | |||
| 225 | /** Find move with highest score and move it to the front of the list. */ |
||
| 226 | static void selectBest(MoveList& moves, int startIdx); |
||
| 227 | |||
| 228 | /** If hashMove exists in the move list, move the hash move to the front of the list. */ |
||
| 229 | static bool selectHashMove(MoveList& moves, const Move& hashMove); |
||
| 230 | |||
| 231 | void initNodeStats(); |
||
| 232 | |||
| 233 | class DefaultStopHandler : public StopHandler { |
||
| 234 | public: |
||
| 235 | DefaultStopHandler(Search& sc0) : sc(sc0) { } |
||
| 236 | bool shouldStop() { return sc.shouldStop(); } |
||
| 237 | private: |
||
| 238 | Search& sc; |
||
| 239 | }; |
||
| 240 | |||
| 241 | /** Return true if the search should be stopped immediately. */ |
||
| 242 | bool shouldStop(); |
||
| 243 | |||
| 244 | |||
| 245 | |||
| 246 | Position pos; |
||
| 247 | Evaluate eval; |
||
| 248 | KillerTable& kt; |
||
| 249 | History& ht; |
||
| 250 | std::vector<U64> posHashList; // List of hashes for previous positions up to the last "zeroing" move. |
||
| 251 | int posHashListSize; // Number of used entries in posHashList |
||
| 252 | int posHashFirstNew; // First entry in posHashList that has not been played OTB. |
||
| 253 | TranspositionTable& tt; |
||
| 254 | ParallelData& pd; |
||
| 255 | std::vector<std::shared_ptr<SplitPoint>> spVec; |
||
| 256 | std::vector<std::shared_ptr<SplitPoint>> pending; |
||
| 257 | int threadNo; |
||
| 258 | bool mainNumaNode; // True if this thread runs on the NUMA node holding the transposition table |
||
| 259 | TreeLogger& logFile; |
||
| 260 | |||
| 261 | std::shared_ptr<Listener> listener; |
||
| 262 | std::shared_ptr<StopHandler> stopHandler; |
||
| 263 | Move emptyMove; |
||
| 264 | |||
| 265 | static const int MAX_SEARCH_DEPTH = 100; |
||
| 266 | SearchTreeInfo searchTreeInfo[MAX_SEARCH_DEPTH * 2]; |
||
| 267 | |||
| 268 | // Time management |
||
| 269 | S64 tStart; // Time when search started |
||
| 270 | RelaxedShared<S64> minTimeMillis; // Minimum recommended thinking time |
||
| 271 | RelaxedShared<S64> maxTimeMillis; // Maximum allowed thinking time |
||
| 272 | bool searchNeedMoreTime; // True if negaScout should use up to maxTimeMillis time. |
||
| 273 | S64 maxNodes; // Maximum number of nodes to search (approximately) |
||
| 274 | int minProbeDepth; // Minimum depth to probe endgame tablebases. |
||
| 275 | int nodesToGo; // Number of nodes until next time check |
||
| 276 | RelaxedShared<int> nodesBetweenTimeCheck; // How often to check remaining time |
||
| 277 | |||
| 278 | // Reduced strength variables |
||
| 279 | int strength; // Strength (0-1000) |
||
| 280 | bool weak; // True if strength < 1000 |
||
| 281 | U64 randomSeed; |
||
| 282 | |||
| 283 | // Search statistics stuff |
||
| 284 | Histogram<0,20> nodesByPly, nodesByDepth; |
||
| 285 | S64 totalNodes; |
||
| 286 | S64 tbHits; |
||
| 287 | S64 tLastStats; // Time when notifyStats was last called |
||
| 288 | bool verbose; |
||
| 289 | |||
| 290 | int q0Eval; // Static eval score at first level of quiescence search |
||
| 291 | }; |
||
| 292 | |||
| 293 | inline |
||
| 294 | Search::SearchTables::SearchTables(TranspositionTable& tt0, KillerTable& kt0, History& ht0, |
||
| 295 | Evaluate::EvalHashTables& et0) |
||
| 296 | : tt(tt0), kt(kt0), ht(ht0), et(et0) { |
||
| 297 | } |
||
| 298 | |||
| 299 | inline void |
||
| 300 | Search::setListener(const std::shared_ptr<Listener>& listener) { |
||
| 301 | this->listener = listener; |
||
| 302 | } |
||
| 303 | |||
| 304 | inline void |
||
| 305 | Search::setStopHandler(const std::shared_ptr<StopHandler>& stopHandler) { |
||
| 306 | this->stopHandler = stopHandler; |
||
| 307 | } |
||
| 308 | |||
| 309 | inline bool |
||
| 310 | Search::canClaimDrawRep(const Position& pos, const std::vector<U64>& posHashList, |
||
| 311 | int posHashListSize, int posHashFirstNew) { |
||
| 312 | int reps = 0; |
||
| 313 | int stop = std::max(0, posHashListSize - pos.getHalfMoveClock()); |
||
| 314 | for (int i = posHashListSize - 4; i >= stop; i -= 2) { |
||
| 315 | if (pos.zobristHash() == posHashList[i]) { |
||
| 316 | reps++; |
||
| 317 | if ((i >= posHashFirstNew) || (reps >= 2)) |
||
| 318 | return true; |
||
| 319 | } |
||
| 320 | } |
||
| 321 | return false; |
||
| 322 | } |
||
| 323 | |||
| 324 | inline bool |
||
| 325 | Search::passedPawnPush(const Position& pos, const Move& m) { |
||
| 326 | int p = pos.getPiece(m.from()); |
||
| 327 | if (pos.isWhiteMove()) { |
||
| 328 | if (p != Piece::WPAWN) |
||
| 329 | return false; |
||
| 330 | if ((BitBoard::wPawnBlockerMask[m.to()] & pos.pieceTypeBB(Piece::BPAWN)) != 0) |
||
| 331 | return false; |
||
| 332 | return m.to() >= 40; |
||
| 333 | } else { |
||
| 334 | if (p != Piece::BPAWN) |
||
| 335 | return false; |
||
| 336 | if ((BitBoard::bPawnBlockerMask[m.to()] & pos.pieceTypeBB(Piece::WPAWN)) != 0) |
||
| 337 | return false; |
||
| 338 | return m.to() <= 23; |
||
| 339 | } |
||
| 340 | } |
||
| 341 | |||
| 342 | inline int |
||
| 343 | Search::signSEE(const Move& m) { |
||
| 344 | int p0 = ::pieceValue[pos.getPiece(m.from())]; |
||
| 345 | int p1 = ::pieceValue[pos.getPiece(m.to())]; |
||
| 346 | if (p0 < p1) |
||
| 347 | return 1; |
||
| 348 | return SEE(m); |
||
| 349 | } |
||
| 350 | |||
| 351 | inline bool |
||
| 352 | Search::negSEE(const Move& m) { |
||
| 353 | int p0 = ::pieceValue[pos.getPiece(m.from())]; |
||
| 354 | int p1 = ::pieceValue[pos.getPiece(m.to())]; |
||
| 355 | if (p1 >= p0) |
||
| 356 | return false; |
||
| 357 | return SEE(m) < 0; |
||
| 358 | } |
||
| 359 | |||
| 360 | inline void |
||
| 361 | Search::scoreMoveListMvvLva(MoveList& moves) const { |
||
| 362 | for (int i = 0; i < moves.size; i++) { |
||
| 363 | Move& m = moves[i]; |
||
| 364 | int v = pos.getPiece(m.to()); |
||
| 365 | int a = pos.getPiece(m.from()); |
||
| 366 | m.setScore(Evaluate::pieceValueOrder[v] * 8 - Evaluate::pieceValueOrder[a]); |
||
| 367 | } |
||
| 368 | } |
||
| 369 | |||
| 370 | inline void |
||
| 371 | Search::selectBest(MoveList& moves, int startIdx) { |
||
| 372 | int bestIdx = startIdx; |
||
| 373 | int bestScore = moves[bestIdx].score(); |
||
| 374 | for (int i = startIdx + 1; i < moves.size; i++) { |
||
| 375 | int sc = moves[i].score(); |
||
| 376 | if (sc > bestScore) { |
||
| 377 | bestIdx = i; |
||
| 378 | bestScore = sc; |
||
| 379 | } |
||
| 380 | } |
||
| 381 | std::swap(moves[bestIdx], moves[startIdx]); |
||
| 382 | } |
||
| 383 | |||
| 384 | inline void |
||
| 385 | Search::setSearchTreeInfo(int ply, const SearchTreeInfo& sti, const Move& currMove, |
||
| 386 | int currMoveNo, int lmr, U64 rootNodeIdx) { |
||
| 387 | searchTreeInfo[ply] = sti; |
||
| 388 | searchTreeInfo[ply].currentMove = currMove; |
||
| 389 | searchTreeInfo[ply].currentMoveNo = currMoveNo; |
||
| 390 | searchTreeInfo[ply].lmr = lmr; |
||
| 391 | searchTreeInfo[ply].nodeIdx = rootNodeIdx; |
||
| 392 | } |
||
| 393 | |||
| 394 | inline int |
||
| 395 | Search::negaScout(bool smp, bool tb, |
||
| 396 | int alpha, int beta, int ply, int depth, int recaptureSquare, |
||
| 397 | const bool inCheck) { |
||
| 398 | using namespace SearchConst; |
||
| 399 | int minDepth = pd.wq.getMinSplitDepth() * plyScale; |
||
| 400 | if (threadNo == 0) |
||
| 401 | minDepth = (minDepth + MIN_SMP_DEPTH * plyScale) / 2; |
||
| 402 | if (smp && (depth >= minDepth) && |
||
| 403 | ((int)spVec.size() < MAX_SP_PER_THREAD)) { |
||
| 404 | bool tb2 = tb && depth >= minProbeDepth; |
||
| 405 | if (tb2) |
||
| 406 | return negaScout<true,true>(alpha, beta, ply, depth, recaptureSquare, inCheck); |
||
| 407 | else |
||
| 408 | return negaScout<true,false>(alpha, beta, ply, depth, recaptureSquare, inCheck); |
||
| 409 | } else { |
||
| 410 | bool tb2 = tb && depth >= minProbeDepth; |
||
| 411 | if (tb2) |
||
| 412 | return negaScout<false,true>(alpha, beta, ply, depth, recaptureSquare, inCheck); |
||
| 413 | else |
||
| 414 | return negaScout<false,false>(alpha, beta, ply, depth, recaptureSquare, inCheck); |
||
| 415 | } |
||
| 416 | } |
||
| 417 | |||
| 418 | inline int |
||
| 419 | Search::negaScout(int alpha, int beta, int ply, int depth, int recaptureSquare, |
||
| 420 | const bool inCheck) { |
||
| 421 | return negaScout<false,false>(alpha, beta, ply, depth, recaptureSquare, inCheck); |
||
| 422 | } |
||
| 423 | |||
| 424 | inline bool |
||
| 425 | Search::canClaimDraw50(const Position& pos) { |
||
| 426 | return (pos.getHalfMoveClock() >= 100); |
||
| 427 | } |
||
| 428 | |||
| 429 | inline S64 |
||
| 430 | Search::getTotalNodes() const { |
||
| 431 | return totalNodes + pd.getNumSearchedNodes(); |
||
| 432 | } |
||
| 433 | |||
| 434 | inline S64 |
||
| 435 | Search::getTotalNodesThisThread() const { |
||
| 436 | return totalNodes; |
||
| 437 | } |
||
| 438 | |||
| 439 | inline S64 |
||
| 440 | Search::getTbHits() const { |
||
| 441 | return tbHits + pd.getTbHits(); |
||
| 442 | } |
||
| 443 | |||
| 444 | inline S64 |
||
| 445 | Search::getTbHitsThisThread() const { |
||
| 446 | return tbHits; |
||
| 447 | } |
||
| 448 | |||
| 449 | inline void |
||
| 450 | Search::setMinProbeDepth(int depth) { |
||
| 451 | minProbeDepth = depth * SearchConst::plyScale; |
||
| 452 | } |
||
| 453 | |||
| 454 | #endif /* SEARCH_HPP_ */ |