内存顺序中的几种关系

本文记述了与内存顺序中涉及的几种关系。

• synchronizes-with（...与...同步） : 线程 A 中对于某个对象的存储操作 S，与线程 B 中对于同一对象的加载操作 L 同步。
• happens-before（...发生于...之前）: 无论是在单一线程内还是多线程间，某个操作发生于另一个操作之前。
• sequenced-before（...在...之前）: 适用于单一线程内，两个操作之间的前后关系。
• carries-a-dependency-to（...带有...的依赖）: 适用于单一线程内；如果操作 A 的结果被用于操作 B 的参数，那么操作 A 带有 B 的依赖。
• dependency-ordered-before（...的依赖顺序在 ... 之前）: 适用于多线程间；在 synchronizes-with 关系中，存储操作 S 的依赖顺序在 L 之前。