@Override public void volatileAccess(final VolatileAccessEvent fae) { final ShadowVar orig = fae.getOriginalShadow(); final ShadowThread td = fae.getThread(); FastTrackVolatileData vd = get((fae).getShadowVolatile()); final CV cv = ts_get_cv(td); if (fae.isWrite()) { vd.cv.max(cv); this.incEpochAndCV(td, fae); } else { cv.max(vd.cv); } super.volatileAccess(fae); }