3.1 事务模型与隔离级别

文档摘要

3.1 事务模型与隔离级别 3.1 事务模型与隔离级别：在确定性与并发性之间架设可验证的桥梁想象这样一个场景：银行系统中，一笔跨账户转账操作——从张三账户扣款100元，同时向李四账户入账100元——在毫秒级的执行窗口内，恰与另一笔查询“张三当前余额”的只读事务发生时间重叠。若系统未对数据访问施加任何协调机制，那么查询事务可能读到扣款前的旧值（导致余额虚高），也可能读到扣款后但尚未入账的中间态（导致资金“凭空消失”）；更危险的是，若此时李四正发起一笔基于“自己刚收到的100元”进行的支付，而该100元最终因张三扣款失败而回滚，整个逻辑链条便陷入不可追溯的语义断裂。这并非故障，而是并发裸奔的必然代价。事务模型，正是数据库内核为对抗这种混沌而构筑的第一道理性堤坝。