SQLite Limbo：用 Async Rust 打造的下一代分散式嵌入式資料庫

什麼是 SQLite Limbo？

SQLite 是世界上部署最廣泛的資料庫引擎，估計有超過 1 兆個 SQLite 資料庫在全球運行。但原始的 SQLite 以 C 語言撰寫，採用同步 I/O 模型，在現代非同步、分散式的運算環境中存在根本性的限制。

SQLite Limbo 是 Turso 團隊推出的下一代嵌入式資料庫，用 Async Rust 從零重新實現 SQLite 的核心，保持 100% 的 API 相容性，同時引入非同步 I/O、原生 WASM 支援，以及針對邊緣運算和 Serverless 環境優化的分散式複製機制。

在 2026 年邊緣運算蓬勃發展的背景下，SQLite Limbo 解決了一個長期存在的痛點：嵌入式資料庫的輕量化與現代非同步程式設計模型之間的矛盾。

Async Rust 架構深度解析

SQLite Limbo 的架構核心是一個純 Async Rust 實作，使用 Tokio 作為非同步運行時。這個決策帶來了幾個關鍵優勢：

非同步 I/O 模型

傳統 SQLite 的 I/O 是完全同步的，每次磁碟讀寫都會阻塞當前執行緒。在高並發的 Web 伺服器環境中，這會導致大量執行緒等待磁碟 I/O，嚴重影響吞吐量。

Limbo 使用 io_uring（Linux）和 kqueue（macOS）實現零複製、非阻塞的磁碟 I/O，在高並發場景下吞吐量可提升 3-10 倍。

記憶體安全

Rust 的所有權系統確保了 Limbo 在原生記憶體安全方面的強大保證，消除了原始 SQLite C 程式碼中潛在的緩衝區溢位、Use-After-Free 等安全漏洞。這對於嵌入到邊緣節點或瀏覽器的資料庫引擎尤為重要。

零成本抽象

Rust 的零成本抽象讓 Limbo 能夠提供高層次的 API（如 async/await、Iterator trait），同時編譯後的效能等同於手寫的低層次 C 程式碼。

核心功能與特性

1. 完整的 SQLite 相容性

Limbo 通過了 SQLite 官方測試套件中超過 98% 的測試用例，支援所有常見的 SQLite 功能：

• 完整的 SQL 語法（包含 Window Functions、CTE、JSON1 擴充）
• WAL（Write-Ahead Logging）模式
• 全文搜尋（FTS5）
• 虛擬表（Virtual Tables）

2. 原生 WebAssembly 支援

Limbo 可以編譯為 WASM 模組，直接在瀏覽器或 Cloudflare Workers、Deno Deploy 等 WASM 運行環境中運行。這讓客戶端資料庫（Local-first 應用）成為可能，資料可以在用戶的瀏覽器中本地存儲和查詢，只在需要時同步到雲端。

這與WASI 0.3 WebAssembly Serverless的發展方向高度一致，共同推動了邊緣運算的普及。

3. 漸進式複製（Incremental Replication）

Limbo 內建了基於頁面（Page-based）的漸進式複製機制，與 Turso 的雲端服務深度整合，可以將 SQLite 資料庫複製到全球任意邊緣節點，讀取延遲降至 10ms 以內。

Limbo vs 傳統 SQLite 效能比較

在高並發場景下，Limbo 的非同步 I/O 架構帶來了最顯著的效能提升。對於 Serverless 函數或邊緣節點這類需要處理大量短連線的環境，效能差距尤為明顯。

邊緣運算與 Serverless 應用

SQLite Limbo 最適合以下使用情境：

Cloudflare Workers + D1

Cloudflare D1 資料庫的底層就是基於 SQLite Limbo 構建的。每個 Worker 可以擁有一個本地的 Limbo 實例，讀取操作在邊緣節點本地完成，只有寫入操作才需要同步到主庫。

// Cloudflare Worker + D1 範例
export default {
  async fetch(request, env) {
    const { results } = await env.DB.prepare(
      "SELECT * FROM products WHERE category = ?"
    ).bind("electronics").all();
    
    return Response.json(results);
  }
};

這種架構與Hono.js 邊緣後端框架完美配合，可以建立完全運行在邊緣節點的超低延遲 API 服務。

Local-first Web 應用

透過 WASM 版本的 Limbo，你可以在瀏覽器中直接運行 SQL 查詢，實現離線優先（Offline-first）的應用體驗：

import { Database } from '@turso/limbo-wasm';

const db = await Database.open(':memory:');
await db.execute('CREATE TABLE todos (id INTEGER PRIMARY KEY, text TEXT, done BOOLEAN)');
await db.execute("INSERT INTO todos VALUES (1, 'Learn Limbo', false)");

const results = await db.prepare('SELECT * FROM todos').all();
console.log(results); // 完全在瀏覽器中執行，無需網路

快速上手：Rust 與 WASM 整合

# Cargo.toml
[dependencies]
limbo = "0.4"
tokio = { version = "1", features = ["full"] }

# Rust 程式碼
use limbo::Database;

#[tokio::main]
async fn main() -> Result<(), Box> {
    let db = Database::open("my_app.db").await?;
    let conn = db.connect();
    
    conn.execute(
        "CREATE TABLE IF NOT EXISTS users (id INTEGER PRIMARY KEY, name TEXT)",
        ()
    ).await?;
    
    conn.execute("INSERT INTO users (name) VALUES (?1)", ["Alice"]).await?;
    
    let mut stmt = conn.prepare("SELECT * FROM users").await?;
    while let Some(row) = stmt.next().await? {
        println!("User: {:?}", row.get::(1)?);
    }
    
    Ok(())
}

如果你正在使用 ORM，可以配合Drizzle ORM TypeScript 類型安全教學，Drizzle 提供了 Limbo 的 WASM 版本驅動，讓你在 TypeScript 環境中享受完整的型別安全。

分散式複製機制

Limbo 的分散式複製基於一個創新的「頁面追蹤（Page Tracking）」機制：

1. 每個 SQLite 頁面（4KB）都有一個全域唯一的版本號
2. 主庫維護一個頁面變更日誌（Page Change Log）
3. 副本節點按需拉取需要的頁面，而非複製整個資料庫
4. 讀取查詢在最近的副本節點執行（就近讀取）
5. 寫入操作寫入主庫，非同步複製到所有副本

這種架構讓 Limbo 在保持嵌入式資料庫輕量特性的同時，能夠實現近似分散式資料庫的全球讀取擴展能力。

結語

SQLite Limbo 代表了嵌入式資料庫的未來方向：以現代語言（Rust）重構經典技術，讓 SQLite 的簡單性和可靠性能夠服務於邊緣運算、Serverless 和 Local-first 應用的新時代。

對於後端開發者來說，了解 Limbo 不只是了解一個新工具，更是理解「資料如何在邊緣節點流動」這個未來 5 年後端架構的核心議題。無論你是在建構 Cloudflare Worker、Deno 函數，還是 Local-first Web 應用，SQLite Limbo 都值得深入研究。