store,load: 硬件层的内存屏障,禁止两侧指令重排,store能写回主存,load能更新缓存。
java组合的屏障:
storestore(store):store1,storestore,store2,store2执行前,确保store1写回主存
storeload(store):确保store1写回主存,大多处理器下,开销很大,万能,兼具其他三种屏障
loadload(load):load2执行前,load1被执行,load2执行前,缓存被更新
loadstore(load):同理
保守作法:
volatile write:前面加storestore(确保之前的普通写刷回主存),后面加storeload(避免volatile write和下面可能的volatile read/write重排)
volatile read:后面加loadload,后面再加loadstore,两者避免下面的普通读写和volatile read重排
x86作法:
volatile write后面加storeload,因为x86仅对写-读重排序,故省略不少
volatile:写入时刷回主存且其他core对应此变量的缓存失效。volatile read能取到最新是因为volatile write就缓存失效了