关于volatile的理解
Java语言可以访问共享变量,为了确保共享变量能被准确一致的更新,java提供了volatile关键字,保证volatile变量之前任意操作,不会被重排序到volatile写之后,保证volatile读之后的所有操作不会不会被重排序到volatile读之前,同时volatile写会把所有的cpu缓存刷新到主内存中,volatile读及之后的操作读取共享变量必须从主存中重新读取最新的数据。
通过这一系列的操作,保证了volatile写之前的所有对共享变量操作,对后续的volatile读及之后所有操作都是可见的。
顺序一致性模型
顺序一致性模型,是java多线程运行的理想模型,线程内部按照代码编写的顺序严格执行,多个线程串行执行,上一个线程的执行结果,对下一个线程可见
synchorized
同步锁的实现,可以保证最终结果和顺序一致性模型保持一致,多个同步代码块之间串行执行,但是同步代码块内部如果数据不存在依赖关系编译期和处理器会进行适当重排序,提升程序性能。
valotile仅仅支持单个元素原子操作的可见性,有序性,对于非原子性操作,volatile不能像同步锁,保证程序遵循顺序一致性模型的执行结果
volatile int i=0;
Thread{
run(){
i++;
}
}
上述伪代码,i++可以分解为三步:
- volatile读
- 普通运算
- volatile写
依靠volatile无法保证这三个操作按照线程串行执行
volatile产生的背景
CPU层面多线程通信
为了提升程序的性能,多个CPU之间会存在CPU高速缓存,多个线程分别在多个CPU上执行,如果有共享数据,会将主内存中的数据备份一份到CPU高速缓存中。但是这也带来了数据可见性问题。
CPU层面提供了两种解决方案:总线锁和缓存锁
总线锁
总线锁是一种效率较低但是简单处理可见性问题的方式,当某一个CPU对共享变量进行操作时,其他CPU和内存之间的通信就会被锁住。我们只要保证当前操作的共享数据是原子操作就行了,但是总线锁定期间其他处理器不能