在Java中,volatile是个很高层面的规范,保证了指令不会被重排序+对volatile变量的写使得当前cpu缓存中的所有变量写回到主存中,从而保证了内存可见性。
具体的实现是靠JVM和cpu(还有操作系统?)合作实现的,不管cpu有没有mesi协议,用了volatile,JVM都会保证可见性,只不过实现方式是不一样的。
有个问题就是:mesi似乎已经保证了线程之间的可见性,那么在实现了mesi协议的cpu上,volatile关键字其实是不是没用的?
答案是:还是有用的,就算在实现了mesi的cpu上,volatile一样不可或缺。除了禁止指令重排序的作用外,由于mesi只是保证了L1-3 的cache之间的可见性,但是cpu和L1之间
还有像storebuffer之类的缓存,而volatile规范保证了对它修饰的变量的写指令会使得当前cpu所有缓存写到被mesi保证可见性的L1-3cache中。(具体的实现,以X86体系为例,
volatile会被JVM生成带lock前缀的指令)。
扯两句远的:
1、i++的问题是写更新丢失的问题,跟现在说的没关系,要用cas解决。
2、cas其实不是原子性操作,要读一次,再写一次。但是可以用MESI实现原子性:读一次发现是目标值,写的时候判断是不是I就可以。mesi实现其他原子性操作也是这个思路。
3、从2可以看出,悲观锁和乐观锁并不是对立的两件事,以数据库版本号实现乐观锁为例,update要锁行,这个又是悲观锁,而锁行(可能)要用cas去操作volatile变量,这又是乐观锁,然而底层mesi实现原子性的时候,写的时候需要知道现在的缓存行有没有失效,这就一定需要cpu核心之前有一个同步锁,这个又是悲观锁。所以纠结于名词是没有意义的,知道到底发生了什么事情更重要。