今天在看汪文君老师编写的《java高并发编程详解》的第八章线程池里面有一个知识点,众所周知,数字在并发环境下做自增自减操作易导致数据不一致情况,如下代码。
public class demo1 {
private static int count_int = 0;
private static AtomicInteger count_atomic = new AtomicInteger(0);
public void add() {
for (int i = 0;i<10000;i++) {
count_int++;
}
}
public static void main(String[] args) {
demo1 demo = new demo1();
IntStream.range(0,100).forEach(value -> new Thread(demo::add).start());
//如果当前线程组的活动线程大于1,先暂停main线程
while (Thread.activeCount() > 1){
Thread.yield();//暂停当前正在执行的线程对象,并执行其他线程。
}
System.out.println(count_int);//998219
}
}
很显然,那么使用volatile关键字修饰count_int又怎样呢?大家都知道volatile关键字在并发环境下很常见,具备两个特征:
1、保证了不同线程之间对共享变量操作的可见性,也就是说当一个线程修改volatile修饰的变量时。另一个线程会立即看到新的值。
2、禁止对指令进行重排序操作
很失望,这个关键字也不能让数据统一,因为核心点在于java里的运算(比如自增i++)并不是原子性的,volatile并不能保证数据的原子性,syncronized可以保证,原子类型的变量也可以。(在执行的途中可能会被其他线程打断,比如A线程在工作内存将值改为100,准备刷新到主内存中,但是cpu时间片调度切换到线程B,其从主内存拿值,由于A没有将修改好的值放到主内存,所以B线程工作区值依然有效,在做自增,在往主内存填充,这样就造成了AB线程都往主内存填充值并且都是填充个100的值)
public class demo1 {
private static volatile int count_int = 0;
private static AtomicInteger count_atomic = new AtomicInteger(0);
public void add() {
for (int i = 0;i<10000;i++) {
count_atomic.incrementAndGet();
}
}
public static void main(String[] args) {
demo1 demo = new demo1();
IntStream.range(0,100).mapToObj(value -> new Thread(demo::add)).forEach(Thread::start);
//如果当前线程组的活动线程大于1,先暂停main线程
while (Thread.activeCount() > 1){
Thread.yield();//暂停当前正在执行的线程对象,并执行其他线程。
}
System.out.println(count_atomic);//1000000
}
}