Пример #1
0
  @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);
  }