Rev 33 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 33 | Rev 108 | ||
|---|---|---|---|
| Line 1... | Line 1... | ||
| 1 | #include "chess.h" |
1 | #include "chess.h" |
| 2 | #include "data.h" |
2 | #include "data.h" |
| 3 | /* last modified |
3 | /* last modified 09/16/14 */ |
| 4 | /* |
4 | /* |
| 5 | ******************************************************************************* |
5 | ******************************************************************************* |
| 6 | * * |
6 | * * |
| 7 | * HashProbe() is used to retrieve entries from the transposition table so * |
7 | * HashProbe() is used to retrieve entries from the transposition table so * |
| 8 | * this sub-tree won't have to be searched again if we reach a position that * |
8 | * this sub-tree won't have to be searched again if we reach a position that * |
| 9 | * has been searched previously. A transposition table position contains * |
9 | * has been searched previously. A transposition table position contains * |
| 10 | * the following data packed into 128 bits with each item taking the number * |
10 | * the following data packed into 128 bits with each item taking the number * |
| 11 | * of bits given in the table below: * |
11 | * of bits given in the table below: * |
| 12 | * * |
12 | * * |
| 13 | * shr bits |
13 | * shr bits name description * |
| 14 | * 55 9 |
14 | * 55 9 age search id to identify old trans/ref entries. * |
| 15 | * 53 2 |
15 | * 53 2 type 0->value is worthless; 1-> value represents a * |
| 16 | * fail-low bound; 2-> value represents a fail-high * |
16 | * fail-low bound; 2-> value represents a fail-high * |
| 17 | * bound; 3-> value is an exact score. * |
17 | * bound; 3-> value is an exact score. * |
| 18 | * 32 21 |
18 | * 32 21 move best move from the current position, according to * |
| 19 | * the search at the time this position was stored. * |
19 | * the search at the time this position was stored. * |
| 20 | * 17 15 |
20 | * 17 15 draft the depth of the search below this position, which * |
| 21 | * is used to see if we can use this entry at the * |
21 | * is used to see if we can use this entry at the * |
| 22 | * current position. * |
22 | * current position. * |
| 23 | * 0 17 |
23 | * 0 17 value unsigned integer value of this position + 65536. * |
| 24 | * this might be a good score or search bound. * |
24 | * this might be a good score or search bound. * |
| 25 | * 0 64 |
25 | * 0 64 key 64 bit hash signature, used to verify that this * |
| 26 | * entry goes with the current board position. * |
26 | * entry goes with the current board position. * |
| 27 | * * |
27 | * * |
| 28 | * The underlying scheme here is that we use a "bucket" of N entries. In * |
28 | * The underlying scheme here is that we use a "bucket" of N entries. In * |
| 29 | * HashProbe() we simply compare against each of the four entries for a * |
29 | * HashProbe() we simply compare against each of the four entries for a * |
| 30 | * match. Each "bucket" is carefully aligned to a 64-byte boundary so that * |
30 | * match. Each "bucket" is carefully aligned to a 64-byte boundary so that * |
| Line 60... | Line 60... | ||
| 60 | int HashProbe(TREE * RESTRICT tree, int ply, int depth, int side, int alpha, |
60 | int HashProbe(TREE * RESTRICT tree, int ply, int depth, int side, int alpha, |
| 61 | int beta, int *value) { |
61 | int beta, int *value) { |
| 62 | HASH_ENTRY *htable; |
62 | HASH_ENTRY *htable; |
| 63 | HPATH_ENTRY *ptable; |
63 | HPATH_ENTRY *ptable; |
| 64 | uint64_t word1, word2, temp_hashkey; |
64 | uint64_t word1, word2, temp_hashkey; |
| 65 | int type, draft, avoid_null = 0, val, entry, i |
65 | int type, draft, avoid_null = 0, val, entry, i; |
| 66 | 66 | ||
| 67 | /* |
67 | /* |
| 68 | ************************************************************ |
68 | ************************************************************ |
| 69 | * * |
69 | * * |
| 70 | * All we have to do is loop through four entries to see * |
70 | * All we have to do is loop through four entries to see * |
| Line 74... | Line 74... | ||
| 74 | * * |
74 | * * |
| 75 | ************************************************************ |
75 | ************************************************************ |
| 76 | */ |
76 | */ |
| 77 | tree->hash_move[ply] = 0; |
77 | tree->hash_move[ply] = 0; |
| 78 | temp_hashkey = (side) ? HashKey : ~HashKey; |
78 | temp_hashkey = (side) ? HashKey : ~HashKey; |
| 79 | htable = |
79 | htable = hash_table + (temp_hashkey & hash_mask); |
| 80 | for (entry = 0; entry < 4; entry |
80 | for (entry = 0; entry < 4; entry++) { |
| 81 | word1 = htable |
81 | word1 = htable[entry].word1; |
| 82 | word2 = htable |
82 | word2 = htable[entry].word2 ^ word1; |
| 83 | if (word2 == temp_hashkey) |
83 | if (word2 == temp_hashkey) |
| 84 | break; |
84 | break; |
| 85 | } |
85 | } |
| 86 | /* |
86 | /* |
| 87 | ************************************************************ |
87 | ************************************************************ |
| Line 112... | Line 112... | ||
| 112 | if (entry < 4) { |
112 | if (entry < 4) { |
| 113 | if (word1 >> 55 != transposition_age) { |
113 | if (word1 >> 55 != transposition_age) { |
| 114 | word1 = |
114 | word1 = |
| 115 | (word1 & 0x007fffffffffffffull) | ((uint64_t) transposition_age << |
115 | (word1 & 0x007fffffffffffffull) | ((uint64_t) transposition_age << |
| 116 | 55); |
116 | 55); |
| 117 | htable |
117 | htable[entry].word1 = word1; |
| 118 | htable |
118 | htable[entry].word2 = word1 ^ word2; |
| 119 | } |
119 | } |
| 120 | val = (word1 & 0x1ffff) - 65536; |
120 | val = (word1 & 0x1ffff) - 65536; |
| 121 | draft = (word1 >> 17) & 0x7fff; |
121 | draft = (word1 >> 17) & 0x7fff; |
| 122 | tree->hash_move[ply] = (word1 >> 32) & 0x1fffff; |
122 | tree->hash_move[ply] = (word1 >> 32) & 0x1fffff; |
| 123 | type = (word1 >> 53) & 3; |
123 | type = (word1 >> 53) & 3; |
| - | 124 | if ((type & UPPER) && |
|
| 124 |
|
125 | depth - null_depth - depth / null_divisor - 1 <= draft && val < beta) |
| 125 | avoid_null = AVOID_NULL_MOVE; |
126 | avoid_null = AVOID_NULL_MOVE; |
| 126 | if (depth <= draft) { |
127 | if (depth <= draft) { |
| 127 | if (val > 32000) |
128 | if (val > 32000) |
| 128 | val -= ply - 1; |
129 | val -= ply - 1; |
| 129 | else if (val < -32000) |
130 | else if (val < -32000) |
| Line 148... | Line 149... | ||
| 148 | ************************************************************ |
149 | ************************************************************ |
| 149 | */ |
150 | */ |
| 150 | switch (type) { |
151 | switch (type) { |
| 151 | case EXACT: |
152 | case EXACT: |
| 152 | if (val > alpha && val < beta) { |
153 | if (val > alpha && val < beta) { |
| 153 | SavePV(tree, ply, 1 |
154 | SavePV(tree, ply, 1); |
| 154 | ptable = hash_path + (temp_hashkey & hash_path_mask); |
155 | ptable = hash_path + (temp_hashkey & hash_path_mask); |
| 155 | for ( |
156 | for (entry = 0; entry < 16; entry++) |
| 156 | if (ptable |
157 | if (ptable[entry].path_sig == temp_hashkey) { |
| - | 158 | for (i = ply; |
|
| 157 |
|
159 | i < Min(MAXPLY - 1, ptable[entry].hash_pathl + ply); i++) |
| 158 | j++) |
- | |
| 159 | tree->pv[ply - 1].path[ |
160 | tree->pv[ply - 1].path[i] = |
| 160 | ptable |
161 | ptable[entry].hash_path_moves[i - ply]; |
| 161 | if (draft != MAX_DRAFT && |
- | |
| 162 |
|
162 | if (ptable[entry].hash_pathl + ply < MAXPLY - 1) |
| 163 | tree->pv[ply - 1].pathh = 0; |
163 | tree->pv[ply - 1].pathh = 0; |
| 164 | tree->pv[ply - 1].pathl = |
164 | tree->pv[ply - 1].pathl = |
| 165 | Min(MAXPLY - 1, ply + ptable |
165 | Min(MAXPLY - 1, ply + ptable[entry].hash_pathl); |
| 166 | ptable |
166 | ptable[entry].hash_path_age = transposition_age; |
| 167 | break; |
167 | break; |
| 168 | } |
168 | } |
| 169 | } |
169 | } |
| 170 | return HASH_HIT; |
170 | return HASH_HIT; |
| 171 | case UPPER: |
171 | case UPPER: |
| Line 181... | Line 181... | ||
| 181 | return avoid_null; |
181 | return avoid_null; |
| 182 | } |
182 | } |
| 183 | return HASH_MISS; |
183 | return HASH_MISS; |
| 184 | } |
184 | } |
| 185 | 185 | ||
| 186 | /* last modified |
186 | /* last modified 09/16/14 */ |
| 187 | /* |
187 | /* |
| 188 | ******************************************************************************* |
188 | ******************************************************************************* |
| 189 | * * |
189 | * * |
| 190 | * HashStore() is used to store entries into the transposition table so that * |
190 | * HashStore() is used to store entries into the transposition table so that * |
| 191 | * this sub-tree won't have to be searched again if the same position is * |
191 | * this sub-tree won't have to be searched again if the same position is * |
| 192 | * reached. We basically store three types of entries: * |
192 | * reached. We basically store three types of entries: * |
| 193 | * * |
193 | * * |
| 194 | * (1) EXACT. This entry is stored when we complete a search at some ply * |
194 | * (1) EXACT. This entry is stored when we complete a search at some ply * |
| 195 | * and end up with a score that is greater than alpha and less than |
195 | * and end up with a score that is greater than alpha and less than * |
| 196 | * beta, which is an exact score, which also has a best move to try |
196 | * beta, which is an exact score, which also has a best move to try * |
| 197 | * we encounter this position again. |
197 | * if we encounter this position again. * |
| 198 | * * |
198 | * * |
| 199 | * (2) LOWER. This entry is stored when we complete a search at some ply * |
199 | * (2) LOWER. This entry is stored when we complete a search at some ply * |
| 200 | * and end up with a score that is greater than or equal to beta. We |
200 | * and end up with a score that is greater than or equal to beta. We * |
| 201 | * know know that this score should be at least equal to beta and may |
201 | * know know that this score should be at least equal to beta and may * |
| 202 | * well be even higher. So this entry represents a lower bound on |
202 | * well be even higher. So this entry represents a lower bound on * |
| 203 | * |
203 | * the score for this node, and we also have a good move to try since * |
| 204 | * caused the cutoff, although we do not know if it is the best |
204 | * it caused the cutoff, although we do not know if it is the best * |
| 205 | * |
205 | * move or not since not all moves were search. * |
| 206 | * * |
206 | * * |
| 207 | * (3) UPPER. This entry is stored when we complete a search at some ply * |
207 | * (3) UPPER. This entry is stored when we complete a search at some ply * |
| 208 | * and end up with a score that is less than or equal to alpha. We |
208 | * and end up with a score that is less than or equal to alpha. We * |
| 209 | * know know that this score should be at least equal to alpha and |
209 | * know know that this score should be at least equal to alpha and * |
| 210 | * well be even lower. So this entry represents an upper bound |
210 | * may well be even lower. So this entry represents an upper bound * |
| 211 | * score for this node. We have no idea about which move is |
211 | * on the score for this node. We have no idea about which move is * |
| 212 | * this position since they all failed low, so we store a |
212 | * best in this position since they all failed low, so we store a * |
| 213 | * |
213 | * best move of zero. * |
| 214 | * * |
214 | * * |
| 215 | * For storing, we may require three passes. We make our first pass looking * |
215 | * For storing, we may require three passes. We make our first pass looking * |
| 216 | * for an entry that matches the current hash signature. If we find a match * |
216 | * for an entry that matches the current hash signature. If we find a match * |
| 217 | * then we are constrained to overwrite that entry regardless of any other * |
217 | * then we are constrained to overwrite that entry regardless of any other * |
| 218 | * considerations. The second pass looks for entries stored in previous * |
218 | * considerations. The second pass looks for entries stored in previous * |
| Line 274... | Line 274... | ||
| 274 | * overwrite, we simply choose the entry from the bucket * |
274 | * overwrite, we simply choose the entry from the bucket * |
| 275 | * with the smallest draft and overwrite that. * |
275 | * with the smallest draft and overwrite that. * |
| 276 | * * |
276 | * * |
| 277 | ************************************************************ |
277 | ************************************************************ |
| 278 | */ |
278 | */ |
| 279 | htable = |
279 | htable = hash_table + (temp_hashkey & hash_mask); |
| 280 | for (entry = 0; entry < 4; entry |
280 | for (entry = 0; entry < 4; entry++) { |
| 281 | if (temp_hashkey == (htable |
281 | if (temp_hashkey == (htable[entry].word1 ^ htable[entry].word2)) { |
| 282 | replace = htable; |
282 | replace = htable + entry; |
| 283 | break; |
283 | break; |
| 284 | } |
284 | } |
| 285 | } |
285 | } |
| 286 | if (!replace) { |
286 | if (!replace) { |
| 287 | replace_draft = 99999; |
287 | replace_draft = 99999; |
| 288 | htable = trans_ref + (temp_hashkey & hash_mask); |
- | |
| 289 | for (entry = 0; entry < 4; entry |
288 | for (entry = 0; entry < 4; entry++) { |
| 290 | age = htable |
289 | age = htable[entry].word1 >> 55; |
| 291 | draft = (htable |
290 | draft = (htable[entry].word1 >> 17) & 0x7fff; |
| 292 | if (age != transposition_age && replace_draft > draft) { |
291 | if (age != transposition_age && replace_draft > draft) { |
| 293 | replace = htable; |
292 | replace = htable + entry; |
| 294 | replace_draft = draft; |
293 | replace_draft = draft; |
| 295 | } |
294 | } |
| 296 | } |
295 | } |
| 297 | if (!replace) { |
296 | if (!replace) { |
| 298 | htable = trans_ref + (temp_hashkey & hash_mask); |
- | |
| 299 | for (entry = 0; entry < 4; entry |
297 | for (entry = 0; entry < 4; entry++) { |
| 300 | draft = (htable |
298 | draft = (htable[entry].word1 >> 17) & 0x7fff; |
| 301 | if (replace_draft > draft) { |
299 | if (replace_draft > draft) { |
| 302 | replace = htable; |
300 | replace = htable + entry; |
| 303 | replace_draft = draft; |
301 | replace_draft = draft; |
| 304 | } |
302 | } |
| 305 | } |
303 | } |
| 306 | } |
304 | } |
| 307 | } |
305 | } |
| Line 341... | Line 339... | ||
| 341 | } |
339 | } |
| 342 | } |
340 | } |
| 343 | } |
341 | } |
| 344 | } |
342 | } |
| 345 | 343 | ||
| 346 | /* last modified |
344 | /* last modified 09/16/14 */ |
| 347 | /* |
345 | /* |
| 348 | ******************************************************************************* |
346 | ******************************************************************************* |
| 349 | * * |
347 | * * |
| 350 | * HashStorePV() is called by Iterate() to insert the PV moves so they will * |
348 | * HashStorePV() is called by Iterate() to insert the PV moves so they will * |
| 351 | * be searched before any other moves. Normally the PV moves would be in * |
349 | * be searched before any other moves. Normally the PV moves would be in * |
| Line 401... | Line 399... | ||
| 401 | * overwrite, we simply choose the entry from the bucket * |
399 | * overwrite, we simply choose the entry from the bucket * |
| 402 | * with the smallest draft and overwrite that. * |
400 | * with the smallest draft and overwrite that. * |
| 403 | * * |
401 | * * |
| 404 | ************************************************************ |
402 | ************************************************************ |
| 405 | */ |
403 | */ |
| 406 | htable = |
404 | htable = hash_table + (temp_hashkey & hash_mask); |
| 407 | for (entry = 0; entry < 4; entry |
405 | for (entry = 0; entry < 4; entry++) { |
| 408 | if ((htable |
406 | if ((htable[entry].word2 ^ htable[entry].word1) == temp_hashkey) { |
| 409 | htable |
407 | htable[entry].word1 &= ~((uint64_t) 0x1fffff << 32); |
| 410 | htable |
408 | htable[entry].word1 |= (uint64_t) tree->pv[0].path[ply] << 32; |
| 411 | htable |
409 | htable[entry].word2 = temp_hashkey ^ htable[entry].word1; |
| 412 | break; |
410 | break; |
| 413 | } |
411 | } |
| 414 | } |
412 | } |
| 415 | if (entry == 4) { |
413 | if (entry == 4) { |
| 416 | htable = trans_ref + (temp_hashkey & hash_mask); |
- | |
| 417 | replace = 0; |
414 | replace = 0; |
| 418 | replace_draft = 99999; |
415 | replace_draft = 99999; |
| 419 | for (entry = 0; entry < 4; entry |
416 | for (entry = 0; entry < 4; entry++) { |
| 420 | age = htable |
417 | age = htable[entry].word1 >> 55; |
| 421 | draft = (htable |
418 | draft = (htable[entry].word1 >> 17) & 0x7fff; |
| 422 | if (age != transposition_age && replace_draft > draft) { |
419 | if (age != transposition_age && replace_draft > draft) { |
| 423 | replace = htable; |
420 | replace = htable + entry; |
| 424 | replace_draft = draft; |
421 | replace_draft = draft; |
| 425 | } |
422 | } |
| 426 | } |
423 | } |
| 427 | if (!replace) { |
424 | if (!replace) { |
| 428 | htable = trans_ref + (temp_hashkey & hash_mask); |
- | |
| 429 | for (entry = 0; entry < 4; entry |
425 | for (entry = 0; entry < 4; entry++) { |
| 430 | draft = (htable |
426 | draft = (htable[entry].word1 >> 17) & 0x7fff; |
| 431 | if (replace_draft > draft) { |
427 | if (replace_draft > draft) { |
| 432 | replace = htable; |
428 | replace = htable + entry; |
| 433 | replace_draft = draft; |
429 | replace_draft = draft; |
| 434 | } |
430 | } |
| 435 | } |
431 | } |
| 436 | } |
432 | } |
| 437 | replace->word1 = word1; |
433 | replace->word1 = word1; |