Lines Matching refs:thr0
230 SimpleThreadClock *thr0[kThreads];
235 thr0[i] = new SimpleThreadClock(i);
252 thr0[tid]->tick();
259 thr0[tid]->acquire(sync0[cid]);
265 thr0[tid]->release(sync0[cid]);
271 thr0[tid]->acq_rel(sync0[cid]);
277 thr0[tid]->ReleaseStore(sync0[cid]);
289 u64 epoch = thr0[tid]->clock[tid] + 1;
291 delete thr0[tid];
292 thr0[tid] = new SimpleThreadClock(tid);
293 thr0[tid]->clock[tid] = epoch;
315 if (!thr0[tid]->verify(thr1[tid]) || !sync0[cid]->verify(sync1[cid])) {
321 for (uptr j = 0; j < thr0[i]->size; j++)
322 printf("%s%llu", j == 0 ? "" : ",", thr0[i]->clock[j]);
