概念CAS / compare-and-swap
条件更新
数据库层面的原子操作，通过 WHERE 条件确保判断和写入在同一原子操作内完成，避免先读后写的时间窗口，用于实现无锁并发控制。
时间轴 (近 90 天)
10月19日
条件更新将判断和写入合并为同一个原子操作，不存在先读后写的时间窗口，数据库引擎通过锁定目标行或乐观锁版本号确保只有一个事务能命中条件。
待验证50%
10月19日
在PostgreSQL中，条件更新（如UPDATE ... WHERE available >= $1）的正确性依赖于行级锁下对WHERE条件的重新求值（当前读语义）。
待验证50%
10月19日
条件更新失败时应区分“库存不足”与“SKU不存在”，二者告警与重试策略不同。
待验证50%