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 | * transpositionTable.hpp |
||
| 21 | * |
||
| 22 | * Created on: Feb 25, 2012 |
||
| 23 | * Author: petero |
||
| 24 | */ |
||
| 25 | |||
| 26 | #ifndef TRANSPOSITIONTABLE_HPP_ |
||
| 27 | #define TRANSPOSITIONTABLE_HPP_ |
||
| 28 | |||
| 29 | #include "util/util.hpp" |
||
| 30 | #include "move.hpp" |
||
| 31 | #include "constants.hpp" |
||
| 32 | #include "util/alignedAlloc.hpp" |
||
| 33 | |||
| 34 | #include <vector> |
||
| 35 | |||
| 36 | class Position; |
||
| 37 | |||
| 38 | /** |
||
| 39 | * Implements the main transposition table using Cuckoo hashing. |
||
| 40 | */ |
||
| 41 | class TranspositionTable { |
||
| 42 | public: |
||
| 43 | /** In-memory representation of TT entry. Uses std::atomic for thread safety, |
||
| 44 | * but accessed using memory_order_relaxed for maximum performance. */ |
||
| 45 | struct TTEntryStorage { |
||
| 46 | std::atomic<U64> key; |
||
| 47 | std::atomic<U64> data; |
||
| 48 | TTEntryStorage(); |
||
| 49 | TTEntryStorage(const TTEntryStorage& a); |
||
| 50 | }; |
||
| 51 | static_assert(sizeof(TTEntryStorage) == 16, "TTEntryStorage size wrong"); |
||
| 52 | |||
| 53 | /** A local copy of a transposition table entry. */ |
||
| 54 | class TTEntry { |
||
| 55 | public: |
||
| 56 | /** Set type to T_EMPTY. */ |
||
| 57 | void clear(); |
||
| 58 | |||
| 59 | /** Store in transposition table, encoded for thread safety. */ |
||
| 60 | void store(TTEntryStorage& ent); |
||
| 61 | |||
| 62 | /** Load from transposition table, decode the thread safety encoding. */ |
||
| 63 | void load(const TTEntryStorage& ent); |
||
| 64 | |||
| 65 | /** Return true if this object is more valuable than the other, false otherwise. */ |
||
| 66 | bool betterThan(const TTEntry& other, int currGen) const; |
||
| 67 | |||
| 68 | U64 getKey() const; |
||
| 69 | void setKey(U64 k); |
||
| 70 | |||
| 71 | void getMove(Move& m) const; |
||
| 72 | |||
| 73 | void setMove(const Move& m); |
||
| 74 | |||
| 75 | /** Get the score from the hash entry and convert from "mate in x" to "mate at ply". */ |
||
| 76 | int getScore(int ply) const; |
||
| 77 | |||
| 78 | /** Convert score from "mate at ply" to "mate in x" and store in hash entry. */ |
||
| 79 | void setScore(int score, int ply); |
||
| 80 | |||
| 81 | /** Return true if entry is good enough to cut off this branch in the search tree. */ |
||
| 82 | bool isCutOff(int alpha, int beta, int ply, int depth) const; |
||
| 83 | |||
| 84 | int getDepth() const; |
||
| 85 | void setDepth(int d); |
||
| 86 | int getGeneration() const; |
||
| 87 | void setGeneration(int g); |
||
| 88 | int getType() const; |
||
| 89 | void setType(int t); |
||
| 90 | int getEvalScore() const; |
||
| 91 | void setEvalScore(int s); |
||
| 92 | |||
| 93 | private: |
||
| 94 | U64 key; // 0 64 key Zobrist hash key |
||
| 95 | U64 data; // 0 16 move from + (to<<6) + (promote<<12) |
||
| 96 | // 16 16 score Score from search |
||
| 97 | // 32 10 depth Search depth |
||
| 98 | // 42 4 generation Increase when OTB position changes |
||
| 99 | // 46 2 type exact score, lower bound, upper bound |
||
| 100 | // 48 16 evalScore Score from static evaluation |
||
| 101 | |||
| 102 | void setBits(int first, int size, unsigned int value); |
||
| 103 | unsigned int getBits(int first, int size) const; |
||
| 104 | }; |
||
| 105 | |||
| 106 | /** Constructor. Creates an empty transposition table with numEntries slots. */ |
||
| 107 | TranspositionTable(int log2Size); |
||
| 108 | |||
| 109 | void reSize(int log2Size); |
||
| 110 | |||
| 111 | /** Insert an entry in the hash table. */ |
||
| 112 | void insert(U64 key, const Move& sm, int type, int ply, int depth, int evalScore); |
||
| 113 | |||
| 114 | /** Retrieve an entry from the hash table corresponding to position with zobrist key "key". */ |
||
| 115 | void probe(U64 key, TTEntry& result); |
||
| 116 | |||
| 117 | /** Prefetch cache line. */ |
||
| 118 | void prefetch(U64 key); |
||
| 119 | |||
| 120 | /** |
||
| 121 | * Increase hash table generation. This means that subsequent inserts will be considered |
||
| 122 | * more valuable than the entries currently present in the hash table. |
||
| 123 | */ |
||
| 124 | void nextGeneration(); |
||
| 125 | |||
| 126 | /** Clear the transposition table. */ |
||
| 127 | void clear(); |
||
| 128 | |||
| 129 | /** Extract a list of PV moves, starting from "rootPos" and first move "mFirst". */ |
||
| 130 | void extractPVMoves(const Position& rootPos, const Move& mFirst, std::vector<Move>& pv); |
||
| 131 | |||
| 132 | /** Extract the PV starting from posIn, using hash entries, both exact scores and bounds. */ |
||
| 133 | std::string extractPV(const Position& posIn); |
||
| 134 | |||
| 135 | /** Print hash table statistics. */ |
||
| 136 | void printStats() const; |
||
| 137 | |||
| 138 | private: |
||
| 139 | /** Get position in hash table given zobrist key. */ |
||
| 140 | size_t getIndex(U64 key) const; |
||
| 141 | |||
| 142 | /** Get part of zobrist key to store in hash table. */ |
||
| 143 | static U64 getStoredKey(U64 key); |
||
| 144 | |||
| 145 | |||
| 146 | vector_aligned<TTEntryStorage> table; |
||
| 147 | U8 generation; |
||
| 148 | }; |
||
| 149 | |||
| 150 | |||
| 151 | inline |
||
| 152 | TranspositionTable::TTEntryStorage::TTEntryStorage() { |
||
| 153 | key.store(0, std::memory_order_relaxed); |
||
| 154 | data.store(0, std::memory_order_relaxed); |
||
| 155 | } |
||
| 156 | |||
| 157 | inline |
||
| 158 | TranspositionTable::TTEntryStorage::TTEntryStorage(const TTEntryStorage& a) { |
||
| 159 | key.store(a.key.load(std::memory_order_relaxed), std::memory_order_relaxed); |
||
| 160 | data.store(a.data.load(std::memory_order_relaxed), std::memory_order_relaxed); |
||
| 161 | } |
||
| 162 | |||
| 163 | |||
| 164 | inline void |
||
| 165 | TranspositionTable::TTEntry::clear() { |
||
| 166 | key = 0; |
||
| 167 | data = 0; |
||
| 168 | static_assert(TType::T_EMPTY == 0, "type not set to T_EMPTY"); |
||
| 169 | } |
||
| 170 | |||
| 171 | inline void |
||
| 172 | TranspositionTable::TTEntry::store(TTEntryStorage& ent) { |
||
| 173 | ent.key.store(key ^ data, std::memory_order_relaxed); |
||
| 174 | ent.data.store(data, std::memory_order_relaxed); |
||
| 175 | } |
||
| 176 | |||
| 177 | inline void |
||
| 178 | TranspositionTable::TTEntry::load(const TTEntryStorage& ent) { |
||
| 179 | key = ent.key.load(std::memory_order_relaxed); |
||
| 180 | data = ent.data.load(std::memory_order_relaxed); |
||
| 181 | key ^= data; |
||
| 182 | } |
||
| 183 | |||
| 184 | inline bool |
||
| 185 | TranspositionTable::TTEntry::betterThan(const TTEntry& other, int currGen) const { |
||
| 186 | if ((getGeneration() == currGen) != (other.getGeneration() == currGen)) |
||
| 187 | return getGeneration() == currGen; // Old entries are less valuable |
||
| 188 | if ((getType() == TType::T_EXACT) != (other.getType() == TType::T_EXACT)) |
||
| 189 | return getType() == TType::T_EXACT; // Exact score more valuable than lower/upper bound |
||
| 190 | if (getDepth() != other.getDepth()) |
||
| 191 | return getDepth() > other.getDepth(); // Larger depth is more valuable |
||
| 192 | return false; // Otherwise, pretty much equally valuable |
||
| 193 | } |
||
| 194 | |||
| 195 | inline U64 |
||
| 196 | TranspositionTable::TTEntry::getKey() const { |
||
| 197 | return key; |
||
| 198 | } |
||
| 199 | |||
| 200 | inline void |
||
| 201 | TranspositionTable::TTEntry::setKey(U64 k) { |
||
| 202 | key = k; |
||
| 203 | } |
||
| 204 | |||
| 205 | inline void |
||
| 206 | TranspositionTable::TTEntry::getMove(Move& m) const { |
||
| 207 | int move = getBits(0, 16); |
||
| 208 | m.setMove(move & 63, (move >> 6) & 63, (move >> 12) & 15, m.score()); |
||
| 209 | } |
||
| 210 | |||
| 211 | inline void |
||
| 212 | TranspositionTable::TTEntry::setMove(const Move& m) { |
||
| 213 | int move = (short)(m.from() + (m.to() << 6) + (m.promoteTo() << 12)); |
||
| 214 | setBits(0, 16, move); |
||
| 215 | } |
||
| 216 | |||
| 217 | inline int |
||
| 218 | TranspositionTable::TTEntry::getScore(int ply) const { |
||
| 219 | int sc = (S16)getBits(16, 16); |
||
| 220 | if (SearchConst::isWinScore(sc)) |
||
| 221 | sc -= ply; |
||
| 222 | else if (SearchConst::isLoseScore(sc)) |
||
| 223 | sc += ply; |
||
| 224 | return sc; |
||
| 225 | } |
||
| 226 | |||
| 227 | inline void |
||
| 228 | TranspositionTable::TTEntry::setScore(int score, int ply) { |
||
| 229 | if (SearchConst::isWinScore(score)) |
||
| 230 | score += ply; |
||
| 231 | else if (SearchConst::isLoseScore(score)) |
||
| 232 | score -= ply; |
||
| 233 | setBits(16, 16, score); |
||
| 234 | } |
||
| 235 | |||
| 236 | inline bool |
||
| 237 | TranspositionTable::TTEntry::isCutOff(int alpha, int beta, int ply, int depth) const { |
||
| 238 | using namespace SearchConst; |
||
| 239 | const int score = getScore(ply); |
||
| 240 | const int plyToMate = MATE0 - std::abs(getScore(0)); |
||
| 241 | const int eDepth = getDepth(); |
||
| 242 | const int eType = getType(); |
||
| 243 | if ((eDepth >= depth) || (eDepth >= plyToMate*plyScale)) { |
||
| 244 | if ( (eType == TType::T_EXACT) || |
||
| 245 | ((eType == TType::T_GE) && (score >= beta)) || |
||
| 246 | ((eType == TType::T_LE) && (score <= alpha))) |
||
| 247 | return true; |
||
| 248 | } |
||
| 249 | return false; |
||
| 250 | } |
||
| 251 | |||
| 252 | inline int |
||
| 253 | TranspositionTable::TTEntry::getDepth() const { |
||
| 254 | return getBits(32, 10); |
||
| 255 | } |
||
| 256 | |||
| 257 | inline void |
||
| 258 | TranspositionTable::TTEntry::setDepth(int d) { |
||
| 259 | setBits(32, 10, d); |
||
| 260 | } |
||
| 261 | |||
| 262 | inline int |
||
| 263 | TranspositionTable::TTEntry::getGeneration() const { |
||
| 264 | return getBits(42, 4); |
||
| 265 | } |
||
| 266 | |||
| 267 | inline void |
||
| 268 | TranspositionTable::TTEntry::setGeneration(int g) { |
||
| 269 | setBits(42, 4, g); |
||
| 270 | } |
||
| 271 | |||
| 272 | inline int |
||
| 273 | TranspositionTable::TTEntry::getType() const { |
||
| 274 | return getBits(46, 2); |
||
| 275 | } |
||
| 276 | |||
| 277 | inline void |
||
| 278 | TranspositionTable::TTEntry::setType(int t) { |
||
| 279 | setBits(46, 2, t); |
||
| 280 | } |
||
| 281 | |||
| 282 | inline int |
||
| 283 | TranspositionTable::TTEntry::getEvalScore() const { |
||
| 284 | return (S16)getBits(48, 16); |
||
| 285 | } |
||
| 286 | |||
| 287 | inline void |
||
| 288 | TranspositionTable::TTEntry::setEvalScore(int s) { |
||
| 289 | setBits(48, 16, s); |
||
| 290 | } |
||
| 291 | |||
| 292 | inline void |
||
| 293 | TranspositionTable::TTEntry::setBits(int first, int size, unsigned int value) { |
||
| 294 | U64 mask = ((1ULL << size) - 1) << first; |
||
| 295 | data = (data & ~mask) | (((U64)value << first) & mask); |
||
| 296 | } |
||
| 297 | |||
| 298 | inline unsigned int |
||
| 299 | TranspositionTable::TTEntry::getBits(int first, int size) const { |
||
| 300 | U64 sizeMask = ((1ULL << size) - 1); |
||
| 301 | return (unsigned int)((data >> first) & sizeMask); |
||
| 302 | } |
||
| 303 | |||
| 304 | |||
| 305 | inline size_t |
||
| 306 | TranspositionTable::getIndex(U64 key) const { |
||
| 307 | return (size_t)(key & (table.size() - 1)); |
||
| 308 | } |
||
| 309 | |||
| 310 | inline U64 |
||
| 311 | TranspositionTable::getStoredKey(U64 key) { |
||
| 312 | return key; |
||
| 313 | } |
||
| 314 | |||
| 315 | inline TranspositionTable::TranspositionTable(int log2Size) { |
||
| 316 | reSize(log2Size); |
||
| 317 | } |
||
| 318 | |||
| 319 | inline void |
||
| 320 | TranspositionTable::probe(U64 key, TTEntry& result) { |
||
| 321 | size_t idx0 = getIndex(key); |
||
| 322 | U64 key2 = getStoredKey(key); |
||
| 323 | TTEntry ent; |
||
| 324 | ent.load(table[idx0]); |
||
| 325 | if (ent.getKey() == key2) { |
||
| 326 | if (ent.getGeneration() != generation) { |
||
| 327 | ent.setGeneration(generation); |
||
| 328 | ent.store(table[idx0]); |
||
| 329 | } |
||
| 330 | result = ent; |
||
| 331 | return; |
||
| 332 | } |
||
| 333 | size_t idx1 = idx0 ^ 1; |
||
| 334 | ent.load(table[idx1]); |
||
| 335 | if (ent.getKey() == key2) { |
||
| 336 | if (ent.getGeneration() != generation) { |
||
| 337 | ent.setGeneration(generation); |
||
| 338 | ent.store(table[idx1]); |
||
| 339 | } |
||
| 340 | result = ent; |
||
| 341 | return; |
||
| 342 | } |
||
| 343 | result.setType(TType::T_EMPTY); |
||
| 344 | } |
||
| 345 | |||
| 346 | inline void |
||
| 347 | TranspositionTable::prefetch(U64 key) { |
||
| 348 | #ifdef HAS_PREFETCH |
||
| 349 | size_t idx0 = getIndex(key); |
||
| 350 | __builtin_prefetch(&table[idx0]); |
||
| 351 | #endif |
||
| 352 | } |
||
| 353 | |||
| 354 | inline void |
||
| 355 | TranspositionTable::nextGeneration() { |
||
| 356 | generation = (generation + 1) & 15; |
||
| 357 | } |
||
| 358 | |||
| 359 | inline void |
||
| 360 | TranspositionTable::clear() { |
||
| 361 | TTEntry ent; |
||
| 362 | ent.clear(); |
||
| 363 | for (size_t i = 0; i < table.size(); i++) |
||
| 364 | ent.store(table[i]); |
||
| 365 | } |
||
| 366 | |||
| 367 | #endif /* TRANSPOSITIONTABLE_HPP_ */ |