along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
-#include <chrono>
#include <fstream>
#include <iomanip>
#include <iostream>
#include "thread.h"
using namespace std;
-using namespace std::chrono;
namespace {
}
-/// Convert system time to milliseconds. That's all we need.
-
-Time::point Time::now() {
- return duration_cast<milliseconds>(steady_clock::now().time_since_epoch()).count();
-}
-
-
/// Debug functions used mainly to collect run-time statistics
void dbg_hit_on(bool b) { ++hits[0]; if (b) ++hits[1]; }
std::ostream& operator<<(std::ostream& os, SyncCout sc) {
- static std::mutex m;
+ static Mutex m;
if (sc == IO_LOCK)
m.lock();
void start_logger(bool b) { Logger::start(b); }
+/// timed_wait() waits for msec milliseconds. It is mainly a helper to wrap
+/// the conversion from milliseconds to struct timespec, as used by pthreads.
+
+void timed_wait(WaitCondition& sleepCond, Lock& sleepLock, int msec) {
+
+#ifdef _WIN32
+ int tm = msec;
+#else
+ timespec ts, *tm = &ts;
+ uint64_t ms = Time::now() + msec;
+
+ ts.tv_sec = ms / 1000;
+ ts.tv_nsec = (ms % 1000) * 1000000LL;
+#endif
+
+ cond_timedwait(sleepCond, sleepLock, tm);
+}
+
+
/// 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.
#ifdef NO_PREFETCH
-void prefetch(void*) {}
+void prefetch(char*) {}
#else
-void prefetch(void* addr) {
+void prefetch(char* addr) {
# if defined(__INTEL_COMPILER)
// This hack prevents prefetches from being optimized away by
# endif
# if defined(__INTEL_COMPILER) || defined(_MSC_VER)
- _mm_prefetch((char*)addr, _MM_HINT_T0);
+ _mm_prefetch(addr, _MM_HINT_T0);
# else
__builtin_prefetch(addr);
# endif