JMM一致性协议

335 查看

JMM中一些普通变量的操作指令

A、Load操作发生在read之后(两个之间可以有其他的指令)
B、普通变量的修改未必会立即发生Store操作,但发生Store操作,就会发生write操作

最细的粒度支持,也就是对Load、Store的各种顺序控制,load、store两两组合为4中情况,LoadLoad、StoreStore、LoadStore、StoreLoad。它们以一种指令屏障的方式来控制顺序。有些系统可能不支持某些指令的顺序化,不过,绝大多数系统都支持StoreLoad指令。

StoreLoad的意思

可以简单理解为Store优先于Load发生。例如两个在某个瞬间同时修改和读取主存中的一个共享变量,此时的读取操作将发生在修改之后。有了这样一个特征,就实现了最细粒度的锁,也是最轻量级的锁。

不过这样的方式能保证读的一瞬间确保线程读取到最新的数据,因此要进一步做到读取、修改、写入动作是一致的,就将其升级为原子性。要达到原子性的效果,可以通过可见性、CAS自旋来完成,也可以通过synchronized来完成。