volatile的两个优点
volatile可以保证可见性,有序性,但是不能保证原子性,这也是今天写代码时候忽略的问题。
什么是原子性
原子性即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断,要么就都不执行。
测试代码
初始问题版
public class Part implements Runnable {
private volatile static int a = 0;
@Override
public void run() {
for (int i = 0; i < 10000; i++) {
// 数字大一些,不然看不到效果
// 这里在a++前后打印变量值
System.out.println(Thread.currentThread().getId()+" before a = " + a);
a++;
System.out.println(Thread.currentThread().getId()+" after a = " + a);
}
}
}
主函数
public class Test {
public static void main(String[] args) throws Exception {
Part a = new Part();
Part b = new Part();
Thread t1 = new Thread(a);
Thread t2 = new Thread(b);
t1.start();
t2.start();
}
}
有两个线程,a最后的结果预期是20000。但是运行完的结果会小于20000,并且每次都不一样,这里就是原子性的问题。
a++这个操作有三个步骤,读取值,自增,再写入。
假设发生下面这种情况:线程a读取了a=1,此时还没自增,线程b也读取了a=1。他们再执行自增操作,最后a写入内存是2,b写入内存还是2。没有保证原子性。
解决方案: 可以通过synchronized或lock,进行加锁,来保证操作的原子性。也可以通过使用AtomicInteger。
我用AutomicInteger修改之后的:
public class Part implements Runnable {
private volatile static AtomicInteger a = new AtomicInteger(0);
@Override
public void run() {
for (int i = 0; i < 10; i++) {
//这个方法先自增,再返回自增之后的值,所以是1~20
System.out.println("a = " + a.incrementAndGet() );
}
}
}
本篇只是粗略讲了一下volatile,没有说明工作内存和主存的关系,详细的看这个 -> 从计算机的角度理解volatile。