了解volatile
发编程的三大概念
原子性
即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断,要么就都不执行
可见性
可见性是指当多个线程访问同一个变量时,一个线程修改了这个变量的值,其他线程能够立即看得到修改的值
对于可见性,Java提供了volatile关键字来保证可见性
另外,通过synchronized和Lock也能够保证可见性,synchronized和Lock能保证同一时刻只有一个线程获取锁然后执行同步代码,并且在释放锁之前会将对变量的修改刷新到主存当中。因此可以保证可见性
有序性
即程序执行的顺序按照代码的先后顺序执行
在Java里面,可以通过volatile关键字来保证一定的“有序性”。另外可以通过synchronized和Lock来保证有序性,很显然,synchronized和Lock保证每个时刻是有一个线程执行同步代码,相当于是让线程顺序执行同步代码,自然就保证了有序性。
happens-before原则(先行发生原则):
- volatile变量规则:对一个变量的写操作先行发生于后面对这个变量的读操作
正戏来了
1.volatile保证可见性
一旦一个共享变量(类的成员变量、类的静态成员变量)被volatile修饰之后,那么就具备了两层语义:
1)保证了不同线程对这个变量进行操作时的可见性,即一个线程修改了某个变量的值,这新值对其他线程来说是立即可见的。
2)禁止进行指令重排序。
指令重排序:(解析满足不了?你详情可以看前面的连接)
一般来说,处理器为了提高程序运行效率,可能会对输入代码进行优化,它不保证程序中各个语句的执行先后顺序同代码中的顺序一致,但是它会保证程序最终执行结果和代码顺序执行的结果是一致的。
使用volatile关键字会强制将修改的值立即写入主存
volatile不能确保原子性
解决方案:可以通过synchronized或lock,进行加锁,来保证操作的原子性
在java 1.5的java.util.concurrent.atomic包下提供了一些原子操作类