diff --git a/docs/manual.md b/docs/manual.md index 3b940eb0b..7e22e2642 100644 --- a/docs/manual.md +++ b/docs/manual.md @@ -32,6 +32,7 @@ Welcome to Turso database manual! * [Code generator](#code-generator) * [Query optimizer](#query-optimizer) * [Virtual Machine](#virtual-machine) + * [MVCC](#mvcc) * [Pager](#pager) * [I/O](#io) @@ -505,8 +506,12 @@ The code generator module takes AST as input and produces virtual machine progra #### Query optimizer +TODO + ### Virtual Machine +TODO + ### MVCC The database implements a multi-version concurrency control (MVCC) using a hybrid architecture that combines an in-memory index with persistent storage through WAL (Write-Ahead Logging) and SQLite database files. The implementation draws from the Hekaton approach documented in Larson et al. (2011), with key modifications for durability handling. @@ -533,5 +538,4 @@ TODO Per-Åke Larson et al. "High-Performance Concurrency Control Mechanisms for Main-Memory Databases." In _VLDB '11_ - [SQLite]: https://www.sqlite.org/