homepage

Well, on initial check the scheduler seems to work well with regular gettimeofday() wall clock instead of clock_gettime().
:)
/* Return thread running time in seconds (with nsec precision). */
static inline long double get_thread_timestamp(void) {
 return get_timestamp(); // wall clock via gettimeofday()
 /*struct timespec ts;
 clock_gettime(CLOCK_THREAD_CPUTIME_ID, &ts);
 return (long double) ts.tv_sec + ts.tv_nsec * 0.000000001;*/
}
Does it make things better on your system?