6.1 事务模型

文档摘要

6.1 事务模型第六章：事务与恢复机制 6.1 事务模型：在确定性与并发性之间构筑数据世界的契约基石我们常把数据库比作一座城市——表是街区，索引是路网，查询是车流，而事务，则是这座城市的交通管制协议：它不生产数据，却决定数据能否被安全地生成、修改与传递；它不存储状态，却为所有操作赋予可预测的语义边界。SQLite作为嵌入式数据库的典范，其事务模型既非照搬ACID教科书式的分布式实现，亦非简化到失去工程严肃性的“伪事务”妥协。它是一套在单进程、零配置、资源受限约束下，以极致精简达成强一致性保障的轻量级契约体系。理解6.1节，就是理解SQLite如何用不到三千行核心代码，在闪存、内存映射、文件系统语义的夹缝中，锚定出一个可验证、可回溯、可并发的事务世界。