虚拟名额 LAB-SEAT-01 · 两条请求 · 零真实交易
两请求一致性模拟器
库存只剩 1，两条请求几乎同时确认。逐步播放，看看“先检查、后写入”之间的窗口怎样破坏不变量。
目标不变量
成功预约记录数 ≤ 初始虚拟名额数
成功预约记录数 ≤ 初始虚拟名额数
选择服务端保护方式
它们保护的层次不同，并不是可以互换的五个按钮。
时刻请求甲请求乙
虚拟名额 LAB-SEAT-01 · 两条请求 · 零真实交易
库存只剩 1，两条请求几乎同时确认。逐步播放，看看“先检查、后写入”之间的窗口怎样破坏不变量。
它们保护的层次不同，并不是可以互换的五个按钮。