读写volatile变量就像是访问一个同步块一样,是原子的且是可见的,总是能访问到最新的值。
原子性
读写volatile变量是原子操作,但读写变量不就是一条指令的事吗(mov、ldr),难道这还可分?没错绝大多数变量读写都是原子的,除了在32位JVM下对long、double的读写,就不是原子的。这是因为在32位下,总线宽度就只有32bit,对64位数据的读写需要分两次进行,依次读写高低32位。但是读写volatile变量由于使用了LOCK前缀指令,锁住了内存,所以即使是64位的数据也是原子的。
读写volatile变量是原子的,包括64位的long和double
实现原子性
实现64位的原子性,需要在读写volatile变量时,使用Lock前缀指令,其作用有:
1. 锁住该内存地址,直到读完/写完,保证64位变量读写原子性。少量处理器是使用锁总线实现的,相比锁内存,其开销更大,锁总线期间,所有处理器都不能操作主存外存。
2. 将写缓存刷新到主存,保证可见性
3. 禁止该指令与前面和后面的读写指令重排序,保证happens-before关系
可见性
happens-before中定义了:写volatile变量,happens-before后面任意一个读这个volatile变量的操作
这意味着volatile变量在多线程间具有可见性,从源码到Runtime发生的重排序指出重排序破坏了可见性。为实现volatile的可见性,读写volatile时则需要禁止重排序,那么需要禁止编译器重排序和处理器重排序
happens-before关系
happens-before规则
1. 程序顺序规则:在一个线程中,前面的操作happens-before后面的操作
2. volatile写-读规则:写volatile变量,happens-before后面任意一个读这个volatile变量的操作
3. 传递性规则:A happen