2011-11-12 20:44:06 +01:00
|
|
|
/*
|
|
|
|
Stockfish, a UCI chess playing engine derived from Glaurung 2.1
|
|
|
|
Copyright (C) 2004-2008 Tord Romstad (Glaurung author)
|
2015-02-01 01:46:09 +01:00
|
|
|
Copyright (C) 2008-2015 Marco Costalba, Joona Kiiski, Tord Romstad
|
2011-11-12 20:44:06 +01:00
|
|
|
|
|
|
|
Stockfish is free software: you can redistribute it and/or modify
|
|
|
|
it under the terms of the GNU General Public License as published by
|
|
|
|
the Free Software Foundation, either version 3 of the License, or
|
|
|
|
(at your option) any later version.
|
|
|
|
|
|
|
|
Stockfish is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
|
2014-10-12 14:38:00 +02:00
|
|
|
#include <fstream>
|
2011-11-12 20:44:06 +01:00
|
|
|
#include <iomanip>
|
|
|
|
#include <iostream>
|
|
|
|
#include <sstream>
|
|
|
|
|
|
|
|
#include "misc.h"
|
|
|
|
#include "thread.h"
|
|
|
|
|
|
|
|
using namespace std;
|
|
|
|
|
2015-02-01 01:46:09 +01:00
|
|
|
namespace {
|
|
|
|
|
2014-05-31 14:23:03 +02:00
|
|
|
/// Version number. If Version is left empty, then compile date in the format
|
|
|
|
/// DD-MM-YY and show in engine_info.
|
2015-12-27 23:25:14 +01:00
|
|
|
const string Version = "7Beta1";
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2012-06-04 18:25:51 +02:00
|
|
|
/// Our fancy logging facility. The trick here is to replace cin.rdbuf() and
|
|
|
|
/// cout.rdbuf() with two Tie objects that tie cin and cout to a file stream. We
|
2014-05-31 14:23:03 +02:00
|
|
|
/// can toggle the logging of std::cout and std:cin at runtime whilst preserving
|
2015-10-23 22:58:14 +02:00
|
|
|
/// usual I/O functionality, all without changing a single line of code!
|
2012-06-04 18:25:51 +02:00
|
|
|
/// Idea from http://groups.google.com/group/comp.lang.c++/msg/1d941c0f26ea0d81
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2015-12-27 23:25:14 +01:00
|
|
|
struct Tie: public streambuf { // MSVC requires split streambuf for cin and cout
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2015-10-23 22:58:14 +02:00
|
|
|
Tie(streambuf* b, streambuf* l) : buf(b), logBuf(l) {}
|
2012-06-04 18:25:51 +02:00
|
|
|
|
2015-10-23 22:58:14 +02:00
|
|
|
int sync() { return logBuf->pubsync(), buf->pubsync(); }
|
2012-09-16 17:16:15 +02:00
|
|
|
int overflow(int c) { return log(buf->sputc((char)c), "<< "); }
|
|
|
|
int underflow() { return buf->sgetc(); }
|
|
|
|
int uflow() { return log(buf->sbumpc(), ">> "); }
|
2012-06-04 18:25:51 +02:00
|
|
|
|
2015-10-23 22:58:14 +02:00
|
|
|
streambuf *buf, *logBuf;
|
2012-06-04 18:25:51 +02:00
|
|
|
|
2012-09-16 17:16:15 +02:00
|
|
|
int log(int c, const char* prefix) {
|
2012-06-04 18:25:51 +02:00
|
|
|
|
2015-10-23 22:58:14 +02:00
|
|
|
static int last = '\n'; // Single log file
|
2012-06-04 18:25:51 +02:00
|
|
|
|
2012-09-16 17:16:15 +02:00
|
|
|
if (last == '\n')
|
2015-10-23 22:58:14 +02:00
|
|
|
logBuf->sputn(prefix, 3);
|
2012-06-04 18:25:51 +02:00
|
|
|
|
2015-10-23 22:58:14 +02:00
|
|
|
return last = logBuf->sputc((char)c);
|
2012-09-16 17:16:15 +02:00
|
|
|
}
|
|
|
|
};
|
2012-06-04 18:25:51 +02:00
|
|
|
|
2012-09-16 17:16:15 +02:00
|
|
|
class Logger {
|
2012-06-04 18:25:51 +02:00
|
|
|
|
2015-10-23 22:58:14 +02:00
|
|
|
Logger() : in(cin.rdbuf(), file.rdbuf()), out(cout.rdbuf(), file.rdbuf()) {}
|
2012-09-16 17:16:15 +02:00
|
|
|
~Logger() { start(false); }
|
2012-06-04 18:25:51 +02:00
|
|
|
|
|
|
|
ofstream file;
|
|
|
|
Tie in, out;
|
|
|
|
|
|
|
|
public:
|
|
|
|
static void start(bool b) {
|
|
|
|
|
|
|
|
static Logger l;
|
|
|
|
|
|
|
|
if (b && !l.file.is_open())
|
|
|
|
{
|
2015-10-23 22:58:14 +02:00
|
|
|
l.file.open("io_log.txt", ifstream::out);
|
2012-06-04 18:25:51 +02:00
|
|
|
cin.rdbuf(&l.in);
|
|
|
|
cout.rdbuf(&l.out);
|
|
|
|
}
|
|
|
|
else if (!b && l.file.is_open())
|
|
|
|
{
|
|
|
|
cout.rdbuf(l.out.buf);
|
|
|
|
cin.rdbuf(l.in.buf);
|
|
|
|
l.file.close();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2015-02-01 01:46:09 +01:00
|
|
|
} // namespace
|
|
|
|
|
|
|
|
/// engine_info() returns the full name of the current Stockfish version. This
|
|
|
|
/// will be either "Stockfish <Tag> DD-MM-YY" (where DD-MM-YY is the date when
|
|
|
|
/// the program was compiled) or "Stockfish <Version>", depending on whether
|
|
|
|
/// Version is empty.
|
|
|
|
|
|
|
|
const string engine_info(bool to_uci) {
|
|
|
|
|
|
|
|
const string months("Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec");
|
|
|
|
string month, day, year;
|
|
|
|
stringstream ss, date(__DATE__); // From compiler, format is "Sep 21 2008"
|
|
|
|
|
|
|
|
ss << "Stockfish " << Version << setfill('0');
|
|
|
|
|
|
|
|
if (Version.empty())
|
|
|
|
{
|
|
|
|
date >> month >> day >> year;
|
|
|
|
ss << setw(2) << day << setw(2) << (1 + months.find(month) / 4) << year.substr(2);
|
|
|
|
}
|
|
|
|
|
|
|
|
ss << (Is64Bit ? " 64" : "")
|
|
|
|
<< (HasPext ? " BMI2" : (HasPopCnt ? " POPCNT" : ""))
|
|
|
|
<< (to_uci ? "\nid author ": " by ")
|
2015-10-23 22:58:14 +02:00
|
|
|
<< "T. Romstad, M. Costalba, J. Kiiski, G. Linscott";
|
2015-02-01 01:46:09 +01:00
|
|
|
|
|
|
|
return ss.str();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/// Debug functions used mainly to collect run-time statistics
|
2015-10-23 22:58:14 +02:00
|
|
|
static int64_t hits[2], means[2];
|
2015-02-01 01:46:09 +01:00
|
|
|
|
|
|
|
void dbg_hit_on(bool b) { ++hits[0]; if (b) ++hits[1]; }
|
2015-10-23 22:58:14 +02:00
|
|
|
void dbg_hit_on(bool c, bool b) { if (c) dbg_hit_on(b); }
|
2015-02-01 01:46:09 +01:00
|
|
|
void dbg_mean_of(int v) { ++means[0]; means[1] += v; }
|
|
|
|
|
|
|
|
void dbg_print() {
|
|
|
|
|
|
|
|
if (hits[0])
|
|
|
|
cerr << "Total " << hits[0] << " Hits " << hits[1]
|
|
|
|
<< " hit rate (%) " << 100 * hits[1] / hits[0] << endl;
|
|
|
|
|
|
|
|
if (means[0])
|
|
|
|
cerr << "Total " << means[0] << " Mean "
|
|
|
|
<< (double)means[1] / means[0] << endl;
|
|
|
|
}
|
|
|
|
|
2012-06-04 18:25:51 +02:00
|
|
|
|
2014-05-31 14:23:03 +02:00
|
|
|
/// Used to serialize access to std::cout to avoid multiple threads writing at
|
2012-09-16 17:16:15 +02:00
|
|
|
/// the same time.
|
|
|
|
|
|
|
|
std::ostream& operator<<(std::ostream& os, SyncCout sc) {
|
|
|
|
|
|
|
|
static Mutex m;
|
|
|
|
|
2014-05-31 14:23:03 +02:00
|
|
|
if (sc == IO_LOCK)
|
2012-09-16 17:16:15 +02:00
|
|
|
m.lock();
|
|
|
|
|
2014-05-31 14:23:03 +02:00
|
|
|
if (sc == IO_UNLOCK)
|
2012-09-16 17:16:15 +02:00
|
|
|
m.unlock();
|
|
|
|
|
|
|
|
return os;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2012-06-04 18:25:51 +02:00
|
|
|
/// Trampoline helper to avoid moving Logger to misc.h
|
|
|
|
void start_logger(bool b) { Logger::start(b); }
|
2011-11-12 20:44:06 +01:00
|
|
|
|
|
|
|
|
2014-05-31 14:23:03 +02:00
|
|
|
/// prefetch() preloads the given address in L1/L2 cache. This is a non-blocking
|
|
|
|
/// function that doesn't stall the CPU waiting for data to be loaded from memory,
|
|
|
|
/// which can be quite slow.
|
2013-08-20 20:02:33 +02:00
|
|
|
#ifdef NO_PREFETCH
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2015-10-23 22:58:14 +02:00
|
|
|
void prefetch(void*) {}
|
2011-11-12 20:44:06 +01:00
|
|
|
|
|
|
|
#else
|
|
|
|
|
2015-10-23 22:58:14 +02:00
|
|
|
void prefetch(void* addr) {
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2013-05-03 19:03:42 +02:00
|
|
|
# if defined(__INTEL_COMPILER)
|
2014-05-31 14:23:03 +02:00
|
|
|
// This hack prevents prefetches from being optimized away by
|
|
|
|
// Intel compiler. Both MSVC and gcc seem not be affected by this.
|
2011-11-12 20:44:06 +01:00
|
|
|
__asm__ ("");
|
2012-01-01 01:52:19 +01:00
|
|
|
# endif
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2013-05-03 19:03:42 +02:00
|
|
|
# if defined(__INTEL_COMPILER) || defined(_MSC_VER)
|
2015-10-23 22:58:14 +02:00
|
|
|
_mm_prefetch((char*)addr, _MM_HINT_T0);
|
2013-05-03 19:03:42 +02:00
|
|
|
# else
|
|
|
|
__builtin_prefetch(addr);
|
|
|
|
# endif
|
2011-11-12 20:44:06 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
#endif
|