public void testDistReadWriteValuesReturnPreviousOnOwner() { doReadWriteConstantReturnPrev(supplyKeyForCache(1, DIST), rw(fmapD1), rw(fmapD2)); }
public void testReplReadWriteValuesReturnPreviousOnNonOwner() { doReadWriteConstantReturnPrev(supplyKeyForCache(0, REPL), rw(fmapR1), rw(fmapR2)); }
public void testDistReadWriteValuesReturnPreviousOnNonOwner() { doReadWriteConstantReturnPrev(supplyKeyForCache(0, DIST), rw(fmapD1), rw(fmapD2)); }
public void testLocalReadWriteValuesReturnPrevious() { doReadWriteConstantReturnPrev(supplyIntKey(), rw(fmapL1), rw(fmapL2)); }
public void testReplReadWriteValuesReturnPreviousOnOwner() { doReadWriteConstantReturnPrev(supplyKeyForCache(1, REPL), rw(fmapR1), rw(fmapR2)); }