计划覆盖

• 内存序
• 屏障
• TSO 与弱序
• 原子性

原子清单