基于多线程并发的常见问题(详解)

一 概述

1.volatile

保证共享数据一旦被修改就会立即同步到共享内存（堆或者方法区）中。

2.线程访问堆中数据的过程

线程在栈中建立一个数据的副本，修改完毕后将数据同步到堆中。

3.指令重排

为了提高执行效率，CPU会将没有依赖关系的指令重新排序。如果希望控制重新排序，可以使用volatile修饰一个变量，包含该变量的指令前后的指令各自独立排序，前后指令不能交叉排序。

二 常见问题及应对

1.原子性问题

所谓原子性，指的是一个操作不可中断，即在多线程并发的环境下，一个操作一旦开始，就会在同一个CPU时间片内执行完毕。如果同一个线程的多个操作在不同的CPU时间片上执行，由于中间出现停滞，后面的操作在执行时可能某个共享数据被其他线程修改，而该修改并未同步到当前线程中，导致当前线程操作的数据与实际不符，这种由于执行不连贯导致的数据不一致问题被称作原子性问题。

2.可见性问题

可见性问题的出现与线程访问共享数据的方式有关。线程访问堆（方法区）中的变量时，先在栈中建立一个变量的副本，修改后再同步到堆中。如果一个线程刚建立副本，这时另一线程修改了变量，尚未同步到堆中，这时就会出现两个线程操作同一变量的同一种状态的现象，比如i=9，变量i的初始值为9，每一个线程的操作都是减1。两个线程A与B同时访问变量，B先执行i-1,在将结果i=8同步到堆中前，A线程也执行i-1，这时i=9的状态就被执行两次，出现线程安全问题。

线程安全问题产生的原因：一个线程对共享数据的修改不能立即为其他线程所见。

volatile提供了一种解决方案：

一旦一个线程修改了被volatile修饰的共享数据，这种修改就会立即同步到堆中，这样其他数据从堆中访问共享数据时始终获得的是在多个线程中的最新值。

volatile的缺陷：

volatile只能保证一个线程从堆中获取数据时获取的是当前所有线程中的最新值，假如一个线程已经从堆中复制了数据，在操作完成前，其他线程修改了数据，修改后的数据并不会同步到当前线程中。

3.有序性问题

为了提高执行效率，CPU会对那些没有依赖关系的指令重新排序，重新排序后的执行结果与顺序执行结果相同。

例如，在源代码中：

int i=0;int y=1;