BURTON Mark
Builds for 1 pipeline passed in 6 minutes 9 seconds

fix deterministic

... ... @@ -233,6 +233,7 @@ public:
if (sc_time_stamp() < sc_front_window) {
checkWindowEvent.notify(sc_front_window - sc_time_stamp());
if (deterministic) d_mutex.lock();
} else {
struct timespec ts;
clock_gettime(CLOCK_REALTIME, &ts);
... ... @@ -249,11 +250,11 @@ public:
/* we rely on checkWindowEvent being notified at the end of the transaction */
} else if (errno == ETIMEDOUT) {
checkWindowEvent.notify();
if (deterministic) d_mutex.lock();
} else {
SC_REPORT_ERROR("greenthreads", "sem_timedwait failed in checkWindow()");
}
}
if (deterministic) d_mutex.lock();
}
protected:
... ...