]> git.sesse.net Git - stockfish/blob - src/movepick.cpp
Update TT documentation
[stockfish] / src / movepick.cpp
1 /*
2   Stockfish, a UCI chess playing engine derived from Glaurung 2.1
3   Copyright (C) 2004-2008 Tord Romstad (Glaurung author)
4   Copyright (C) 2008-2010 Marco Costalba, Joona Kiiski, Tord Romstad
5
6   Stockfish is free software: you can redistribute it and/or modify
7   it under the terms of the GNU General Public License as published by
8   the Free Software Foundation, either version 3 of the License, or
9   (at your option) any later version.
10
11
12   Stockfish is distributed in the hope that it will be useful,
13   but WITHOUT ANY WARRANTY; without even the implied warranty of
14   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15   GNU General Public License for more details.
16
17   You should have received a copy of the GNU General Public License
18   along with this program.  If not, see <http://www.gnu.org/licenses/>.
19 */
20
21
22 ////
23 //// Includes
24 ////
25
26 #include <cassert>
27
28 #include "history.h"
29 #include "movegen.h"
30 #include "movepick.h"
31 #include "search.h"
32 #include "value.h"
33
34
35 ////
36 //// Local definitions
37 ////
38
39 namespace {
40
41   enum MovegenPhase {
42     PH_TT_MOVES,       // Transposition table move and mate killer
43     PH_GOOD_CAPTURES,  // Queen promotions and captures with SEE values >= 0
44     PH_KILLERS,        // Killer moves from the current ply
45     PH_NONCAPTURES,    // Non-captures and underpromotions
46     PH_BAD_CAPTURES,   // Queen promotions and captures with SEE values < 0
47     PH_EVASIONS,       // Check evasions
48     PH_QCAPTURES,      // Captures in quiescence search
49     PH_QCHECKS,        // Non-capture checks in quiescence search
50     PH_STOP
51   };
52
53   CACHE_LINE_ALIGNMENT
54   const uint8_t MainSearchPhaseTable[] = { PH_TT_MOVES, PH_GOOD_CAPTURES, PH_KILLERS, PH_NONCAPTURES, PH_BAD_CAPTURES, PH_STOP};
55   const uint8_t EvasionsPhaseTable[] = { PH_TT_MOVES, PH_EVASIONS, PH_STOP};
56   const uint8_t QsearchWithChecksPhaseTable[] = { PH_TT_MOVES, PH_QCAPTURES, PH_QCHECKS, PH_STOP};
57   const uint8_t QsearchWithoutChecksPhaseTable[] = { PH_TT_MOVES, PH_QCAPTURES, PH_STOP};
58 }
59
60
61 ////
62 //// Functions
63 ////
64
65
66 /// Constructor for the MovePicker class. Apart from the position for which
67 /// it is asked to pick legal moves, MovePicker also wants some information
68 /// to help it to return the presumably good moves first, to decide which
69 /// moves to return (in the quiescence search, for instance, we only want to
70 /// search captures, promotions and some checks) and about how important good
71 /// move ordering is at the current node.
72
73 MovePicker::MovePicker(const Position& p, Move ttm, Depth d, const History& h,
74                        SearchStack* ss, Value beta) : pos(p), H(h) {
75   int searchTT = ttm;
76   ttMoves[0].move = ttm;
77   badCaptureThreshold = 0;
78   lastBadCapture = badCaptures;
79
80   pinned = p.pinned_pieces(pos.side_to_move());
81
82   if (ss && !p.is_check())
83   {
84       ttMoves[1].move = (ss->mateKiller == ttm) ? MOVE_NONE : ss->mateKiller;
85       searchTT |= ttMoves[1].move;
86       killers[0].move = ss->killers[0];
87       killers[1].move = ss->killers[1];
88   } else
89       ttMoves[1].move = killers[0].move = killers[1].move = MOVE_NONE;
90
91   if (p.is_check())
92       phasePtr = EvasionsPhaseTable;
93   else if (d > Depth(0))
94   {
95       // Consider sligtly negative captures as good if at low
96       // depth and far from beta.
97       if (ss && ss->eval < beta - PawnValueMidgame && d < 3 * OnePly)
98           badCaptureThreshold = -PawnValueMidgame;
99
100       phasePtr = MainSearchPhaseTable;
101   }
102   else if (d == Depth(0))
103       phasePtr = QsearchWithChecksPhaseTable;
104   else
105   {
106       phasePtr = QsearchWithoutChecksPhaseTable;
107
108       // Skip TT move if is not a capture or a promotion, this avoids
109       // qsearch tree explosion due to a possible perpetual check or
110       // similar rare cases when TT table is full.
111       if (ttm != MOVE_NONE && !pos.move_is_capture_or_promotion(ttm))
112           searchTT = ttMoves[0].move = MOVE_NONE;
113   }
114
115   phasePtr += int(!searchTT) - 1;
116   go_next_phase();
117 }
118
119
120 /// MovePicker::go_next_phase() generates, scores and sorts the next bunch
121 /// of moves when there are no more moves to try for the current phase.
122
123 void MovePicker::go_next_phase() {
124
125   curMove = moves;
126   phase = *(++phasePtr);
127   switch (phase) {
128
129   case PH_TT_MOVES:
130       curMove = ttMoves;
131       lastMove = curMove + 2;
132       return;
133
134   case PH_GOOD_CAPTURES:
135       lastMove = generate_captures(pos, moves);
136       score_captures();
137       return;
138
139   case PH_KILLERS:
140       curMove = killers;
141       lastMove = curMove + 2;
142       return;
143
144   case PH_NONCAPTURES:
145       lastMove = generate_noncaptures(pos, moves);
146       score_noncaptures();
147       sort_moves(moves, lastMove, &lastGoodNonCapture);
148       return;
149
150   case PH_BAD_CAPTURES:
151       // Bad captures SEE value is already calculated so just sort them
152       // to get SEE move ordering.
153       curMove = badCaptures;
154       lastMove = lastBadCapture;
155       return;
156
157   case PH_EVASIONS:
158       assert(pos.is_check());
159       lastMove = generate_evasions(pos, moves);
160       score_evasions_or_checks();
161       return;
162
163   case PH_QCAPTURES:
164       lastMove = generate_captures(pos, moves);
165       score_captures();
166       return;
167
168   case PH_QCHECKS:
169       lastMove = generate_non_capture_checks(pos, moves);
170       score_evasions_or_checks();
171       return;
172
173   case PH_STOP:
174       lastMove = curMove + 1; // Avoids another go_next_phase() call
175       return;
176
177   default:
178       assert(false);
179       return;
180   }
181 }
182
183
184 /// MovePicker::score_captures(), MovePicker::score_noncaptures() and
185 /// MovePicker::score_evasions() assign a numerical move ordering score
186 /// to each move in a move list.  The moves with highest scores will be
187 /// picked first by get_next_move().
188
189 void MovePicker::score_captures() {
190   // Winning and equal captures in the main search are ordered by MVV/LVA.
191   // Suprisingly, this appears to perform slightly better than SEE based
192   // move ordering. The reason is probably that in a position with a winning
193   // capture, capturing a more valuable (but sufficiently defended) piece
194   // first usually doesn't hurt. The opponent will have to recapture, and
195   // the hanging piece will still be hanging (except in the unusual cases
196   // where it is possible to recapture with the hanging piece). Exchanging
197   // big pieces before capturing a hanging piece probably helps to reduce
198   // the subtree size.
199   // In main search we want to push captures with negative SEE values to
200   // badCaptures[] array, but instead of doing it now we delay till when
201   // the move has been picked up in pick_move_from_list(), this way we save
202   // some SEE calls in case we get a cutoff (idea from Pablo Vazquez).
203   Move m;
204
205   // Use MVV/LVA ordering
206   for (MoveStack* cur = moves; cur != lastMove; cur++)
207   {
208       m = cur->move;
209       if (move_is_promotion(m))
210           cur->score = QueenValueMidgame;
211       else
212           cur->score =  pos.midgame_value_of_piece_on(move_to(m))
213                       - pos.type_of_piece_on(move_from(m));
214   }
215 }
216
217 void MovePicker::score_noncaptures() {
218   // First score by history, when no history is available then use
219   // piece/square tables values. This seems to be better then a
220   // random choice when we don't have an history for any move.
221   Move m;
222   Piece piece;
223   Square from, to;
224
225   for (MoveStack* cur = moves; cur != lastMove; cur++)
226   {
227       m = cur->move;
228       from = move_from(m);
229       to = move_to(m);
230       piece = pos.piece_on(from);
231       cur->score = H.value(piece, to) + H.gain(piece, to);
232   }
233 }
234
235 void MovePicker::score_evasions_or_checks() {
236   // Try good captures ordered by MVV/LVA, then non-captures if
237   // destination square is not under attack, ordered by history
238   // value, and at the end bad-captures and non-captures with a
239   // negative SEE. This last group is ordered by the SEE score.
240   Move m;
241   int seeScore;
242
243   // Skip if we don't have at least two moves to order
244   if (lastMove < moves + 2)
245       return;
246
247   for (MoveStack* cur = moves; cur != lastMove; cur++)
248   {
249       m = cur->move;
250       if ((seeScore = pos.see_sign(m)) < 0)
251           cur->score = seeScore - HistoryMax; // Be sure are at the bottom
252       else if (pos.move_is_capture(m))
253           cur->score =  pos.midgame_value_of_piece_on(move_to(m))
254                       - pos.type_of_piece_on(move_from(m)) + HistoryMax;
255       else
256           cur->score = H.value(pos.piece_on(move_from(m)), move_to(m));
257   }
258 }
259
260 /// MovePicker::get_next_move() is the most important method of the MovePicker
261 /// class. It returns a new legal move every time it is called, until there
262 /// are no more moves left.
263 /// It picks the move with the biggest score from a list of generated moves taking
264 /// care not to return the tt move if has already been searched previously.
265 /// Note that this function is not thread safe so should be lock protected by
266 /// caller when accessed through a shared MovePicker object.
267
268 Move MovePicker::get_next_move() {
269
270   Move move;
271
272   while (true)
273   {
274       while (curMove != lastMove)
275       {
276           switch (phase) {
277
278           case PH_TT_MOVES:
279               move = (curMove++)->move;
280               if (   move != MOVE_NONE
281                   && move_is_legal(pos, move, pinned))
282                   return move;
283               break;
284
285           case PH_GOOD_CAPTURES:
286               move = pick_best(curMove++, lastMove).move;
287               if (   move != ttMoves[0].move
288                   && move != ttMoves[1].move
289                   && pos.pl_move_is_legal(move, pinned))
290               {
291                   // Check for a non negative SEE now
292                   int seeValue = pos.see_sign(move);
293                   if (seeValue >= badCaptureThreshold)
294                       return move;
295
296                   // Losing capture, move it to the badCaptures[] array, note
297                   // that move has now been already checked for legality.
298                   assert(int(lastBadCapture - badCaptures) < 63);
299                   lastBadCapture->move = move;
300                   lastBadCapture->score = seeValue;
301                   lastBadCapture++;
302               }
303               break;
304
305           case PH_KILLERS:
306               move = (curMove++)->move;
307               if (   move != MOVE_NONE
308                   && move_is_legal(pos, move, pinned)
309                   && move != ttMoves[0].move
310                   && move != ttMoves[1].move
311                   && !pos.move_is_capture(move))
312                   return move;
313               break;
314
315           case PH_NONCAPTURES:
316
317               // Sort negative scored moves only when we get there
318               if (curMove == lastGoodNonCapture)
319                   insertion_sort(lastGoodNonCapture, lastMove);
320
321               move = (curMove++)->move;
322               if (   move != ttMoves[0].move
323                   && move != ttMoves[1].move
324                   && move != killers[0].move
325                   && move != killers[1].move
326                   && pos.pl_move_is_legal(move, pinned))
327                   return move;
328               break;
329
330           case PH_BAD_CAPTURES:
331               move = pick_best(curMove++, lastMove).move;
332               return move;
333
334           case PH_EVASIONS:
335           case PH_QCAPTURES:
336               move = pick_best(curMove++, lastMove).move;
337               if (   move != ttMoves[0].move
338                   && pos.pl_move_is_legal(move, pinned))
339                   return move;
340               break;
341
342           case PH_QCHECKS:
343               move = (curMove++)->move;
344               if (   move != ttMoves[0].move
345                   && pos.pl_move_is_legal(move, pinned))
346                   return move;
347               break;
348
349           case PH_STOP:
350               return MOVE_NONE;
351
352           default:
353               assert(false);
354               break;
355           }
356       }
357       go_next_phase();
358   }
359 }
360