java面试---并发的三大特性

原子性：保证一系列操作的不可分割，也即保证了一些操作只能被同一个线程执行完后，才能被其他线程执行。

public int count=0;
public void Incr(){
	count++;
}

例如自增操作，只有一行代码，却有以下几步:
1.把变量i复制到各自线程的工作内存中
2.将count+1
3.赋值给count，写入工作内存
4.工作内存的值，刷新到主存(哪一个线程先执行这一步，由CPU决定)

从而在多线程调用以上方法时，存在不确定性，就出现的线程安全问题。

可见性：当多线程访问一个公共变量时，其中一个线程修改了该变量的值，其他线程能够立即知道修改后的最新值。

OS底层协议:总线锁定，MESI(缓存一致性协议)
在count写入主内存过程中，经过总线，触发了CPU嗅探机制，读取最新的值，且通知其他线程中的工作内存的count失效。

可见性保证了共享变量在更新的时候，通知所有线程。要保证绝对的线程安全，还需要同时满足并发的其他两个条件，缺一不可。

上述自增的例子，把int类型改为原子类AtomicInteger，能保证原子性+可见性，因为其内部保证了一个volatile的int类型以及CAS

private volatile int value;

有序性：在单线程中，如果两个指令交换顺序对后续操作不影响，是允许发生指令重排的，但是多线程中就会出现线程安全问题。