Module txn

Module txn 

Source
Expand description

Transaction Manager for ACID Transactions

Provides ACID guarantees using WAL-based transaction management:

  • Atomicity: All writes in a transaction succeed or fail together
  • Consistency: Transactions move database from valid state to valid state
  • Isolation: MVCC snapshot isolation for concurrent transactions
  • Durability: Committed transactions survive crashes via WAL

Structs§

AriesCheckpointData
Checkpoint data for ARIES recovery
AriesDirtyPageEntry
ARIES dirty page table entry for recovery
AriesTransactionEntry
ARIES transaction table entry for recovery
Transaction
Transaction handle for the user
TransactionManager
Transaction Manager (in-memory, no WAL durability)
TxnRead
A read operation recorded for conflict detection
TxnStats
Transaction Manager stats
TxnWalEntry
WAL entry with ARIES transaction support
TxnWrite
A write operation buffered in a transaction

Enums§

IsolationLevel
Transaction isolation levels
TxnState
Transaction states
WalRecordType
WAL record types for ACID transactions (ARIES-style)

Type Aliases§

Lsn
Log Sequence Number (LSN) for ARIES recovery
PageId
Page ID for tracking dirty pages
TxnId
Transaction ID - monotonically increasing