每个线程都有自己的工作内存,每个线程需要对共享变量操作时必须先把共享变量从主内存 load 到自己的工作内存,等完成对共享变量的操作时再 save 到主内存。问题就出在这了,如果一个线程运算完后还没刷到主内存,此时这个共享变量的值被另外一个线程从主内存读取到了,这个时候读取的数据就是脏数据了,它会覆盖其他线程计算完的值。
这也是经典的内存不可见问题,那么把 count 加上 volatile 让内存可见是否能解决这个问题呢? 答案是:不能。因为 volatile 只能保证可见性,不能保证原子性。多个线程同时读取这个共享变量的值,就算保证其他线程修改的可见性,也不能保证线程之间读取到同样的值然后相互覆盖对方的值的情况。
i++语句执行过程:
读取i
i+1
将增值加后的i赋值给之前的i
可以看出,i++的操作是非原子性的,存在线程安全性问题。
1、使用synchronized
2、使用原子类AtomicInteger(java.util.concurrent.atomic.AtomicInteger),它使用的是CAS 算法,效率优于第 1 种。
注:CAS算法:内存地址V、期望值E、新值N。当操作的时候,当且仅当V上存放的值等于期望值E,则将地址V上的值赋为新值N,否则,不做任何操作。
// Atomically increments by one the current value. Returns: the updated value
public final int incrementAndGet() {
return unsafe.getAndAddInt(this, valueOffset, 1) + 1;
}