Use a timer to avoid polling

[stockfish] / src / misc.h

diff --git a/src/misc.h b/src/misc.h
index 1378d00756764bf45070492922e7d75938e7cc32..92b97461faee9e883b6fbc85adcd22c35d731212 100644 (file)
--- a/src/misc.h
+++ b/src/misc.h
@@ -20,16 +20,18 @@
 #if !defined(MISC_H_INCLUDED)
 #define MISC_H_INCLUDED
 
+#include <fstream>
 #include <string>
+
+#include "lock.h"
 #include "types.h"
 
 extern const std::string engine_name();
 extern const std::string engine_authors();
 extern int get_system_time();
 extern int cpu_count();
-extern int input_available();
+extern void timed_wait(WaitCondition*, Lock*, int);
 extern void prefetch(char* addr);
-extern void prefetchTables(Key pKey, Key mKey, int threadID);
 
 extern void dbg_hit_on(bool b);
 extern void dbg_hit_on_c(bool c, bool b);
@@ -39,4 +41,9 @@ extern void dbg_mean_of(int v);
 extern void dbg_print_hit_rate();
 extern void dbg_print_mean();
 
+struct Log : public std::ofstream {
+  Log(const std::string& f = "log.txt") : std::ofstream(f.c_str(), std::ios::out | std::ios::app) {}
+ ~Log() { if (is_open()) close(); }
+};
+
 #endif // !defined(MISC_H_INCLUDED)