第 9 章：LR/SC 实现

• 掌握 LR/SC 指令语义与实现约束
• 处理保留失效与重试路径

核心机制

1. LR 建立 reservation。
2. SC 仅在 reservation 有效时成功。
3. 任何冲突写入会使 reservation 失效。