阅读主题
核心命题：共同提交与并发隔离是不同保证，事务边界必须对应业务约束。
从 ACID 的职责解释原子性、持久性与隔离；讨论脏读、不可重复读、幻读和写偏差，连接查询章的快照需求。比较单条条件更新、约束与事务；外部支付和发消息不能自动随本地事务回滚。
待写：订单写入和库存扣减要共同成功，但两个事务都查到库存充足时又该怎样？
提交前后崩溃与并发读写分别验证；明确所用数据库隔离语义，不能只检验注解存在。