public void TestReplaceOldCase1Event() { TransactionExecution texUpdate = new TransactionExecution(null, this.versionDb); texUpdate.DEBUG_MODE = true; while (texUpdate.Progress == TxProgress.Initi) { this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate.InitTx(); } texUpdate.Read(TABLE_ID, DEFAULT_KEY, out bool receivedRead, out object payloadRead); while (!receivedRead) { this.versionDb.Visit(TABLE_ID, 0); texUpdate.Read(TABLE_ID, DEFAULT_KEY, out receivedRead, out payloadRead); } texUpdate.Update(TABLE_ID, DEFAULT_KEY, "value_update"); texUpdate.Upload(); while (texUpdate.CurrentProc == null) { this.versionDb.Visit(TABLE_ID, 0); texUpdate.Upload(); } Assert.AreEqual(new Procedure(texUpdate.SetCommitTimestamp), texUpdate.CurrentProc); }
static internal TransactionExecution ReadThenUpdate( this TransactionExecution self, object key, object value) { self.SyncRead(YcsbHelper.YCSB_TABLE, key); self.Update(YcsbHelper.YCSB_TABLE, key, value); return(self); }
public void TestSetGetCommitTs4Event() { TransactionExecution texUpdate = new TransactionExecution(null, this.versionDb); while (texUpdate.Progress == TxProgress.Initi) { this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate.InitTx(); } texUpdate.Read(TABLE_ID, DEFAULT_KEY, out bool receivedUpdate, out object payloadUpdate); while (!receivedUpdate) { this.versionDb.Visit(TABLE_ID, 0); texUpdate.Read(TABLE_ID, DEFAULT_KEY, out receivedUpdate, out payloadUpdate); } texUpdate.Update(TABLE_ID, DEFAULT_KEY, "value_update"); texUpdate.Commit(); while (texUpdate.Progress != TxProgress.Close) { this.versionDb.Visit(TABLE_ID, 0); this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate.CurrentProc(); } TransactionExecution tex = new TransactionExecution(null, this.versionDb); while (tex.Progress == TxProgress.Initi) { this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); tex.InitTx(); } tex.Read(TABLE_ID, DEFAULT_KEY, out bool received, out object payload); while (!received) { this.versionDb.Visit(TABLE_ID, 0); tex.Read(TABLE_ID, DEFAULT_KEY, out received, out payload); } tex.Update(TABLE_ID, DEFAULT_KEY, "value_update_1"); tex.Commit(); while (tex.Progress != TxProgress.Close) { this.versionDb.Visit(TABLE_ID, 0); this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); tex.CurrentProc(); } GetTxEntryRequest getTxReq = new GetTxEntryRequest(tex.txId); this.versionDb.EnqueueTxEntryRequest(tex.txId, getTxReq); this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); while (getTxReq.Result == null) { this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); } TxTableEntry txEntry = getTxReq.Result as TxTableEntry; Assert.AreEqual(2L, txEntry.CommitTime); }
public void TestPostProcessing1Event() { TransactionExecution texUpdate = new TransactionExecution(null, this.versionDb); texUpdate.DEBUG_MODE = true; while (texUpdate.Progress == TxProgress.Initi) { this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate.InitTx(); } texUpdate.Read(TABLE_ID, DEFAULT_KEY, out bool received, out object payload); while (!received) { this.versionDb.Visit(TABLE_ID, 0); texUpdate.Read(TABLE_ID, DEFAULT_KEY, out received, out payload); } texUpdate.Update(TABLE_ID, DEFAULT_KEY, "value_update"); texUpdate.Upload(); while (texUpdate.CurrentProc == null) { this.versionDb.Visit(TABLE_ID, 0); this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate.Upload(); } texUpdate.Abort(); while (texUpdate.CurrentProc != new Procedure(texUpdate.PostProcessingAfterAbort)) { this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate.Abort(); } texUpdate.PostProcessingAfterAbort(); while (texUpdate.Progress != TxProgress.Close) { this.versionDb.Visit(TABLE_ID, 0); texUpdate.PostProcessingAfterAbort(); } Assert.AreEqual(null, this.GetVersionByKey(2L)); VersionEntry versionEntry = this.GetVersionByKey(1L); Assert.AreEqual(0L, versionEntry.BeginTimestamp); Assert.AreEqual(long.MaxValue, versionEntry.EndTimestamp); Assert.AreEqual(-1L, versionEntry.TxId); }
public void TestPostProcessing3Event() { TransactionExecution texUpdate = new TransactionExecution(null, this.versionDb); while (texUpdate.Progress == TxProgress.Initi) { this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate.InitTx(); } texUpdate.Read(TABLE_ID, DEFAULT_KEY, out bool received, out object payload); while (!received) { this.versionDb.Visit(TABLE_ID, 0); texUpdate.Read(TABLE_ID, DEFAULT_KEY, out received, out payload); } texUpdate.Update(TABLE_ID, DEFAULT_KEY, "value_update"); texUpdate.maxCommitTsOfWrites = 4L; texUpdate.Commit(); while (texUpdate.Progress != TxProgress.Close) { this.versionDb.Visit(TABLE_ID, 0); this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate.CurrentProc(); } VersionEntry newVersionEntry = this.GetVersionByKey(2L); Assert.AreEqual(5L, newVersionEntry.BeginTimestamp); Assert.AreEqual(long.MaxValue, newVersionEntry.EndTimestamp); Assert.AreEqual(-1L, newVersionEntry.TxId); VersionEntry oldVersionEntry = this.GetVersionByKey(1L); Assert.AreEqual(0L, oldVersionEntry.BeginTimestamp); Assert.AreEqual(5L, oldVersionEntry.EndTimestamp); Assert.AreEqual(-1L, oldVersionEntry.TxId); }
public void TestReplaceOldCase9Event() { TransactionExecution texUpdate = new TransactionExecution(null, this.versionDb); texUpdate.DEBUG_MODE = true; while (texUpdate.Progress == TxProgress.Initi) { this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate.InitTx(); } texUpdate.Read(TABLE_ID, DEFAULT_KEY, out bool receivedRead, out object payloadRead); while (!receivedRead) { this.versionDb.Visit(TABLE_ID, 0); this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate.Read(TABLE_ID, DEFAULT_KEY, out receivedRead, out payloadRead); } texUpdate.Delete(TABLE_ID, DEFAULT_KEY, out object payloadDelete); texUpdate.Upload(); while (texUpdate.CurrentProc == null) { this.versionDb.Visit(TABLE_ID, 0); this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate.Upload(); } Assert.AreEqual(new Procedure(texUpdate.SetCommitTimestamp), texUpdate.CurrentProc); TransactionExecution texUpdate1 = new TransactionExecution(null, this.versionDb); texUpdate1.DEBUG_MODE = true; while (texUpdate1.Progress == TxProgress.Initi) { this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate1.InitTx(); } texUpdate1.Read(TABLE_ID, DEFAULT_KEY, out bool receivedRead1, out object payloadRead1); while (!receivedRead1) { this.versionDb.Visit(TABLE_ID, 0); this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate1.Read(TABLE_ID, DEFAULT_KEY, out receivedRead1, out payloadRead1); } texUpdate.SetCommitTimestamp(); while (texUpdate.CurrentProc == new Procedure(texUpdate.SetCommitTimestamp)) { this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate.SetCommitTimestamp(); } Assert.AreEqual(new Procedure(texUpdate.Validate), texUpdate.CurrentProc); texUpdate.Validate(); while (texUpdate.CurrentProc == new Procedure(texUpdate.Validate)) { this.versionDb.Visit(TABLE_ID, 0); texUpdate.Validate(); } Assert.AreEqual(new Procedure(texUpdate.WriteToLog), texUpdate.CurrentProc); texUpdate.WriteToLog(); while (texUpdate.CurrentProc == new Procedure(texUpdate.WriteToLog)) { this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate.WriteToLog(); } Assert.AreEqual(new Procedure(texUpdate.PostProcessingAfterCommit), texUpdate.CurrentProc); texUpdate.PostProcessingAfterCommit(); while (texUpdate.Progress != TxProgress.Close) { this.versionDb.Visit(TABLE_ID, 0); texUpdate.PostProcessingAfterCommit(); } texUpdate1.Update(TABLE_ID, DEFAULT_KEY, "value_update_1"); texUpdate1.Upload(); while (texUpdate1.CurrentProc == null) { this.versionDb.Visit(TABLE_ID, 0); this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate1.Upload(); } Assert.AreEqual(new Procedure(texUpdate1.Abort), texUpdate1.CurrentProc); }
public void TestPostProcessing4Event() { TransactionExecution texUpdate = new TransactionExecution(null, this.versionDb); texUpdate.DEBUG_MODE = true; while (texUpdate.Progress == TxProgress.Initi) { this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate.InitTx(); } texUpdate.Read(TABLE_ID, DEFAULT_KEY, out bool received, out object payload); while (!received) { this.versionDb.Visit(TABLE_ID, 0); texUpdate.Read(TABLE_ID, DEFAULT_KEY, out received, out payload); } texUpdate.Update(TABLE_ID, DEFAULT_KEY, "value_update"); texUpdate.maxCommitTsOfWrites = 4L; texUpdate.Upload(); while (texUpdate.CurrentProc == null) { this.versionDb.Visit(TABLE_ID, 0); texUpdate.Upload(); } texUpdate.SetCommitTimestamp(); while (texUpdate.CurrentProc == new Procedure(texUpdate.SetCommitTimestamp)) { this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate.SetCommitTimestamp(); } texUpdate.Validate(); while (texUpdate.CurrentProc == new Procedure(texUpdate.Validate)) { this.versionDb.Visit(TABLE_ID, 0); texUpdate.Validate(); } Assert.AreEqual(new Procedure(texUpdate.WriteToLog), texUpdate.CurrentProc); texUpdate.WriteToLog(); while (texUpdate.CurrentProc == new Procedure(texUpdate.WriteToLog)) { this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texUpdate.WriteToLog(); } TransactionExecution texDelete = new TransactionExecution(null, this.versionDb); texDelete.DEBUG_MODE = true; while (texDelete.Progress == TxProgress.Initi) { this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texDelete.InitTx(); } texDelete.Read(TABLE_ID, DEFAULT_KEY, out bool receivedRead, out object payloadRead); while (!receivedRead) { this.versionDb.Visit(TABLE_ID, 0); this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texDelete.Read(TABLE_ID, DEFAULT_KEY, out receivedRead, out payloadRead); } texDelete.Delete(TABLE_ID, DEFAULT_KEY, out object payloadDelete); texDelete.Upload(); while (texDelete.CurrentProc == null) { this.versionDb.Visit(TABLE_ID, 0); this.versionDb.Visit(RedisVersionDb.TX_TABLE, 0); texDelete.Upload(); } texUpdate.PostProcessingAfterCommit(); while (texUpdate.Progress != TxProgress.Close) { this.versionDb.Visit(TABLE_ID, 0); texUpdate.PostProcessingAfterCommit(); } VersionEntry newVersionEntry = this.GetVersionByKey(2L); Assert.AreEqual(5L, newVersionEntry.BeginTimestamp); Assert.AreEqual(long.MaxValue, newVersionEntry.EndTimestamp); Assert.AreEqual(texDelete.txId, newVersionEntry.TxId); VersionEntry oldVersionEntry = this.GetVersionByKey(1L); Assert.AreEqual(0L, oldVersionEntry.BeginTimestamp); Assert.AreEqual(5L, oldVersionEntry.EndTimestamp); Assert.AreEqual(-1L, oldVersionEntry.TxId); }