Esempio n. 1
0
 public void postDoBarrier(BarrierEvent<FastTrackBarrierState> be) {
   FastTrackBarrierState ftbe = be.getBarrier();
   ShadowThread currentThread = be.getThread();
   CV old = cvForExit.get(currentThread);
   ftbe.reset(old);
   this.maxAndIncEpochAndCV(currentThread, old, be);
 }
Esempio n. 2
0
 public void preDoBarrier(BarrierEvent<FastTrackBarrierState> be) {
   FastTrackBarrierState ftbe = be.getBarrier();
   ShadowThread currentThread = be.getThread();
   CV entering = ftbe.getEntering();
   entering.max(ts_get_cv(currentThread));
   cvForExit.set(currentThread, entering);
 }