快照隔离(Snapshot Isolation)

快照隔离(Snapshot Isolation,SI)是一种数据库并发控制与事务隔离级别,其核心思想是:每个事务在开始时看到一个数据库的一致性快照,事务执行期间读取到的数据始终来自该快照,不受其他并发事务提交的影响。它通常基于多版本并发控制(MVCC)实现。

概述

在快照隔离下,数据库为数据保留多个版本,每个事务读取与自身开始时间点对应的版本。这样,读操作既不会被写操作阻塞,也不会读到其他事务未提交或中途提交的数据,从而在保证较强一致性的同时显著提升并发性能。它避免了脏读、不可重复读和幻读等常见异常。

核心特点

• 读取一致快照:事务全程看到一个稳定的数据视图,读操作无需加锁。
• 基于多版本:通过保留数据的历史版本实现快照,读写互不阻塞。
• 首提交者胜出:两个事务并发修改同一数据时,通常只有先提交者成功,后者被回滚以避免更新丢失。
• 并发性能高:适合读多写少、对一致性有一定要求的场景。

存在的异常

快照隔离虽然消除了多数读异常,但并不等同于可串行化。它可能出现写偏斜异常:两个事务各自读取一批数据并基于快照做出决策,分别修改不同的数据项,单独看都满足约束,但合并结果却违反了整体一致性约束。为解决这一问题,部分数据库提供可串行化快照隔离等增强机制。

常见问题

问:快照隔离等于可串行化吗?答:不等于。快照隔离防止了脏读、不可重复读和幻读,但仍可能出现写偏斜,因此它比可串行化弱,除非采用可串行化快照隔离等更严格的实现。

问:哪些数据库支持快照隔离?答:许多采用 MVCC 的数据库都提供快照隔离或类似语义,它已成为现代数据库实现高并发一致读的常用手段。