protected void validateCommitAndEnqueue(ActiveTransactionsRecord lastCheck) { ProcessPerTxBoxesTransaction commitTx = speculatePerTxBoxes(lastCheck.transactionNumber); WriteSet writeSet = makeWriteSet(); writeSet.addPerTxBoxesWrites(commitTx.specWriteSet); assignCommitRecord(lastCheck.transactionNumber + 1, writeSet); enqueueValidCommit(lastCheck, writeSet); // At this point we no longer need the values we wrote in the VBox's // tempValue slot, so we update the ownership record's version to // allow reuse of the slot. updateOrecVersion(); // after validating, upgrade the transaction's valid read state // upgradeTx(lastValid); }