Jvm和CPU保证特定情况下不乱序

简介

CPU为了提高指令执行效率，会在一条指令执行过程中（比去内存读数据（慢100倍）），去同时执行另一条指令，前提是，两条指令没有依赖关系。

CPU保证不乱序

MESI--CPU缓存一致性协议(Inter的CPU)

概念

• Modified(被修改)
  该缓存行只被缓存在该CPU的缓存中，并且是被修改过的（dirty),即与主存中的数据不一致，该缓存行中的内存需要在未来的某个时间点（允许其它CPU读取请主存中相应内存之前）写回（write back）主存。
  当被写回主存之后，该缓存行的状态会变成独享（exclusive)状态。
• Exclusive(独享的)
  该缓存行只被缓存在该CPU的缓存中，它是未被修改过的（clean)，与主存中数据一致。该状态可以在任何时刻当有其它CPU读取该内存时变成共享状态（shared)。
  同样地，当CPU修改该缓存行中内容时，该状态可以变成Modified状态。
• Shared(共享的)
  该状态意味着该缓存行可能被多个CPU缓存，并且各个缓存中的数据与主存数据一致（clean)，当有一个CPU修改该缓存行中，其它CPU中该缓存行可以被作废（变成无效状态（Invalid））。
• Invalid(无效的)
  该缓存是无效的（可能有其它CPU修改了该缓存行）。

MESI状态转换图

状态之间的相互转换关系也可以使用下表进行表示。

Jvm

• sfence(store)
  在sfence指令前的写操作当必须在 sfence指令后的写操作前完成。
• lfence(load)
  在lfence指令前的读操作当必须在 lfence指令后的读操作前完成。
• mfence(modify/mix)
  在mfence指令前的读写操作当必须在 mfence指令后的读写操作前完成。

列子

• Load1; LoadLoad; Load2
  在Load2及后续读取操作要读取的数据被访问前，保证Load1要读取的数据被读取完毕。
• Store1; StoreStore; Store2
  在Store2及后续写入操作执行前，保证Store1的写入操作对其它处理器可见。
• Load1; LoadStore; Store2
  在Store2及后续写入操作被刷出前，保证Load1要读取的数据被读取完毕。
• Store1; StoreLoad; Load2
  在Load2及后续所有读取操作执行前，保证Store1的写入对所有处理器可见。

参考

https://www.cnblogs.com/z00377750/p/9180644.html