Exemplo n.º 1
0
        public void Commit()
        {
            _bufferManager.FlushAll(_transactionNumber);

            var lsn = new CommitRecord(_logManager, _bufferManager, _transactionNumber)
                      .WriteToLog();

            _logManager.Flush(lsn);
        }
Exemplo n.º 2
0
        public void CanRecover()
        {
            _recoveryManager = new RecoveryManager(_bufferManager, _logManager, 6);
            var block = new Block(RandomFilename, 0);

            var buffer = _bufferManager.Pin(block);

            _recoveryManager.Recover();

            _bufferManager.Unpin(buffer);
            _bufferManager.FlushAll(6);

            var page = _fileManager.ResolvePage();

            _ = page.Read(new Block(_name, 0));

            var enumerator = _logManager.GetEnumerator();

            var record           = enumerator.Current;
            var checkpointRecord = new CheckpointRecord(_logManager, _bufferManager, record);

            Assert.AreEqual(LogRecordType.Checkpoint, checkpointRecord.Type);
            Assert.AreEqual(1, checkpointRecord.Transactions.Length);
            Assert.AreEqual(6, checkpointRecord.Transactions[0]);
        }
Exemplo n.º 3
0
        public void SetIntCanPerformUndo()
        {
            _logRecord = new SetIntRecord(
                _logManager,
                _bufferManager,
                3,
                _putToBlock,
                6,
                123);

            var lsn = _logRecord.WriteToLog();

            _logManager.Flush(lsn);

            _logRecord.Undo();
            _bufferManager.FlushAll(3);

            var page = _fileManager.ResolvePage();

            page.Read(_putToBlock);
            var canRead = page.GetInt(6, out var result);

            Assert.IsTrue(canRead);
            Assert.AreEqual(123, result);
        }
Exemplo n.º 4
0
        public void CanPinBufferWriteAndFlush()
        {
            _poolStrategy  = new LRUBufferPoolStrategy(_logManager, _fileManager, 3);
            _bufferManager = new BufferManager(_fileManager, _logManager, _poolStrategy, null, null);

            var filename      = RandomFilename;
            var pageFormatter = new BasePageFormatter();

            var buffer1 = _bufferManager.PinNew(filename, pageFormatter);

            buffer1.SetInt(0, 123, 1, 1);
            _bufferManager.FlushAll(1);
            _bufferManager.Unpin(buffer1);

            var page    = _fileManager.ResolvePage();
            var canRead = page.Read(new Block(filename, 0));

            var canGetValue = page.GetInt(0, out var value);

            Assert.IsFalse(buffer1.IsPinned);
            Assert.IsTrue(canRead);
            Assert.IsTrue(canGetValue);
            Assert.AreEqual(123, value);
        }