DECLARE_RLE_STATS unsigned rle_getmyid(void) { unsigned ret = 0; #if defined(YES_CILK) ret = __cilkrts_get_worker_number(); #endif return ret; }
T &get_store() { return store[__cilkrts_get_worker_number()].t; }
static int show_thread() { int ID = __cilkrts_get_worker_number(); printf("Thread %d TID %lu CPU %d\n", ID, gettid(), sched_getcpu()); return 0; }