index 20215b96d1f7798abece5308bbe41cede33a3a25..c0cd04c1d4d8bd8f30607b616ae02363cb84da69 100644 (file)
@@ -1,6 +1,6 @@
/*
Stockfish, a UCI chess playing engine derived from Glaurung 2.1
-  Copyright (C) 2004-2020 The Stockfish developers (see AUTHORS file)
+  Copyright (C) 2004-2021 The Stockfish developers (see AUTHORS file)

Stockfish is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
#include <windows.h>
#endif

-using namespace Tablebases;
+using namespace Stockfish::Tablebases;

-int Tablebases::MaxCardinality;
+int Stockfish::Tablebases::MaxCardinality;
+
+namespace Stockfish {

namespace {

@@ -74,7 +76,7 @@ int MapB1H1H7[SQUARE_NB];
int MapA1D1D4[SQUARE_NB];
int MapKK[SQUARE_NB]; // [MapA1D1D4][SQUARE_NB]

-int Binomial[SQUARE_NB];    // [k][n] k elements from a set of n elements
+int Binomial[SQUARE_NB];    // [k][n] k elements from a set of n elements

@@ -223,7 +225,9 @@ public:

*mapping = statbuf.st_size;
+#endif
::close(fd);

@@ -758,7 +762,7 @@ Ret do_probe_table(const Position& pos, T* entry, WDLScore wdl, ProbeState* resu
if (entry->hasPawns) {

-        std::sort(squares + 1, squares + leadPawnsCnt, pawns_comp);
+        std::stable_sort(squares + 1, squares + leadPawnsCnt, pawns_comp);

for (int i = 1; i < leadPawnsCnt; ++i)
idx += Binomial[i][MapPawns[squares[i]]];
@@ -859,7 +863,7 @@ encode_remaining:

while (d->groupLen[++next])
{
-        std::sort(groupSq, groupSq + d->groupLen[next]);
+        std::stable_sort(groupSq, groupSq + d->groupLen[next]);
uint64_t n = 0;

// Map down a square if "comes later" than a square in the previous
@@ -998,7 +1002,7 @@ uint8_t* set_sizes(PairsData* d, uint8_t* data) {
// so that d->lowestSym[i] >= d->lowestSym[i+1] (when read as LittleEndian).
// Starting from this we compute a base64[] table indexed by symbol length
// and containing 64 bit values so that d->base64[i] >= d->base64[i+1].
-    // See http://www.eecs.harvard.edu/~michaelm/E210/huffman.pdf
+    // See https://en.wikipedia.org/wiki/Huffman_coding
for (int i = d->base64.size() - 2; i >= 0; --i) {
d->base64[i] = (d->base64[i + 1] + number<Sym, LittleEndian>(&d->lowestSym[i])
- number<Sym, LittleEndian>(&d->lowestSym[i + 1])) / 2;
@@ -1139,7 +1143,7 @@ void* mapped(TBTable<Type>& e, const Position& pos) {
return e.baseAddress; // Could be nullptr if file does not exist

-    std::unique_lock<std::mutex> lk(mutex);
+    std::scoped_lock<std::mutex> lk(mutex);

@@ -1319,7 +1323,7 @@ void Tablebases::init(const std::string& paths) {
Binomial = 1;

for (int n = 1; n < 64; n++) // Squares
-        for (int k = 0; k < 6 && k <= n; ++k) // Pieces
+        for (int k = 0; k < 7 && k <= n; ++k) // Pieces
Binomial[k][n] =  (k > 0 ? Binomial[k - 1][n - 1] : 0)
+ (k < n ? Binomial[k    ][n - 1] : 0);

@@ -1438,7 +1442,7 @@ WDLScore Tablebases::probe_wdl(Position& pos, ProbeState* result) {
// If n = 100 immediately after a capture or pawn move, then the position
// is also certainly a win, and during the whole phase until the next
// capture or pawn move, the inequality to be preserved is
-// dtz + 50-movecounter <= 100.
+// dtz + 50-move-counter <= 100.
//
// In short, if a move is available resulting in dtz + 50-move-counter <= 99,
// then do not accept moves leading to dtz + 50-move-counter == 100.
@@ -1608,3 +1612,5 @@ bool Tablebases::root_probe_wdl(Position& pos, Search::RootMoves& rootMoves) {

return true;
}
+
+} // namespace Stockfish