通过在x86和arm两种cpu架构下验证volatile的可见性及乱序问题,从cpu硬件层面验证x86下的结论只是jmm内存模型下的其中一个子集而已。
本视频分3集,大约3小时,内容较硬核。

全3集:

1、打脸那些把x86下的验证结果当做是全部结果的水货们

2、画图详解MESI协议下消息异步化的本质原因及解决方案

3、在x86和arm下再次验证乱序问题及解决方案并总结MESI和volatile之间的关系