Lines Matching refs:cid
251 unsigned cid = rand() % kClocks;
258 printf("acquire thr%d <- clk%d\n", tid, cid);
259 thr0[tid]->acquire(sync0[cid]);
260 thr1[tid]->acquire(sync1[cid]);
264 printf("release thr%d -> clk%d\n", tid, cid);
265 thr0[tid]->release(sync0[cid]);
266 thr1[tid]->release(sync1[cid]);
270 printf("acq_rel thr%d <> clk%d\n", tid, cid);
271 thr0[tid]->acq_rel(sync0[cid]);
272 thr1[tid]->acq_rel(sync1[cid]);
276 printf("rel_str thr%d >> clk%d\n", tid, cid);
277 thr0[tid]->ReleaseStore(sync0[cid]);
278 thr1[tid]->ReleaseStore(sync1[cid]);
282 printf("reset clk%d\n", cid);
283 sync0[cid]->Reset();
284 sync1[cid]->Reset();
315 if (!thr0[tid]->verify(thr1[tid]) || !sync0[cid]->verify(sync1[cid])) {