并发编程之并发三大特性：原子性，可见性，有序性

并发编程Bug的源头：可见性、原子性和有序性问题

当一个线程修改了共享变量的值，其他线程能够看到被修改的值，这就是可见性。

Java 内存模型就是通过在变量修改后将新值同步回主内存，在变量读取前从主内存刷新新的变量值，这种依赖主内存作为传递媒介的方法来实现可见性的。

总共就两大类：

（1）一个是内存屏障。

JVM层面：storeload

硬件层面：lock前缀指令

（2）一个是上下文切换

细分之下，又分为以下几种方式：

通过 volatile 关键字保证可见性。

通过 内存屏障保证可见性。

通过 synchronized 关键字保证可见性。

通过 Lock保证可见性。

通过 final 关键字保证可见性

ps：这里不太可能把所有的解决方案穷举出来，甚至编译器不同，都可以保证可见性，但是可以有个兜底方案，那就是加vilatile

即程序执行的顺序按照代码的先后顺序执行。

由于JVM 存在指令重排，所以存在有序性问题。

通过 volatile 关键字保证有序性。

通过 内存屏障保证有序性。

通过 synchronized关键字保证有序性。

通过 Lock保证有序性。

一个或多个操作，要么全部执行且在执行过程中不被任何因素打断，要么全部不执行。

在Java 中，对基本数据类型的变量的读取和赋值操作是原子性操作（64位处理器）。不采取任何的原子性保障措施的自增操作并不是原子性的。

通过 synchronized 关键字保证原子性。

通过 Lock保证原子性。

通过 CAS保证原子性。