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);
}
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);
}