long newOplogId = newValue.getOplogId(); if (newOplogId != oldOplogId) { did.setOplogId(newOplogId);
long newOplogId = newValue.getOplogId(); if (newOplogId != oldOplogId) { did.setOplogId(newOplogId);
did.setOplogId(re.getOplogId()); did.setOffsetInOplog(re.getOffsetInOplog()); did.setKeyId(re.getRecoveredKeyId());
long oldKeyId = did.getKeyId(); long oldOplogId = did.getOplogId(); long newOplogId = re.getOplogId(); if (newOplogId != oldOplogId) { did.setOplogId(newOplogId);
long oldKeyId = did.getKeyId(); long oldOplogId = did.getOplogId(); long newOplogId = re.getOplogId(); if (newOplogId != oldOplogId) { did.setOplogId(newOplogId);
did.setOplogId(re.getOplogId()); did.setOffsetInOplog(re.getOffsetInOplog()); did.setKeyId(re.getRecoveredKeyId());
/** * The oplogId in re points to the oldOplogId. * "this" oplog is the current oplog. */ private void updateRecoveredEntry(DiskRegionView drv, DiskEntry de, DiskEntry.RecoveredEntry re) { if (getOplogId() != re.getOplogId()) { Oplog oldOplog = getOplogSet().getChild(re.getOplogId()); oldOplog.rmLive(drv, de); initRecoveredEntry(drv, de); } else { getDRI(drv).update(de); } }
/** * The oplogId in re points to the oldOplogId. "this" oplog is the current * oplog. */ private void updateRecoveredEntry(DiskRegionView drv, DiskEntry de, DiskEntry.RecoveredEntry re) { if (getOplogId() != re.getOplogId()) { Oplog oldOplog = getOplogSet().getChild(re.getOplogId()); oldOplog.rmLive(drv, de); initRecoveredEntry(drv, de); } else { getDRI(drv).update(de); } }
public ValidatingDiskEntry(Object key, DiskEntry.RecoveredEntry re) { this.key = key; this.diskId = DiskId.createDiskId(1, true, false); this.diskId.setKeyId(re.getRecoveredKeyId()); this.diskId.setOffsetInOplog(re.getOffsetInOplog()); this.diskId.setOplogId(re.getOplogId()); this.diskId.setUserBits(re.getUserBits()); this.diskId.setValueLength(re.getValueLength()); } public Object getKey() {
public ValidatingDiskEntry(Object key, DiskEntry.RecoveredEntry re) { this.key = key; this.diskId = DiskId.createDiskId(1, true, false); this.diskId.setKeyId(re.getRecoveredKeyId()); this.diskId.setOffsetInOplog(re.getOffsetInOplog()); this.diskId.setOplogId(re.getOplogId()); this.diskId.setUserBits(re.getUserBits()); this.diskId.setValueLength(re.getValueLength()); } public Object getKey() {