Use a timer to avoid polling

[stockfish] / src / misc.h

diff --git a/src/misc.h b/src/misc.h
index 55f4afdea244e5069f3d5f180e542982599c6ff2..92b97461faee9e883b6fbc85adcd22c35d731212 100644 (file)
--- a/src/misc.h
+++ b/src/misc.h
@@ -20,21 +20,19 @@
 #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_author();
+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 prefetchPawn(Key, int);
 
-// Debug functions
-extern bool dbg_show_mean;
-extern bool dbg_show_hit_rate;
 extern void dbg_hit_on(bool b);
 extern void dbg_hit_on_c(bool c, bool b);
 extern void dbg_before();
@@ -43,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)