线程安全的原子性、可见性与有序性

原子性：

一个或多个操作在CPU执行过程中不被中断的特性称之为原子性。线程中执行的操作要么全部执行，要么全部不执行。
Java内存模型中的read、load、assign、use、store和write都可以保证原子性的操作（如果对Java内存模型不熟悉，可以参考我的这篇博文 Java内存模型），一般基本数据类型访问读写都是原子性的（long和double的非原子性协议例外，但是基本也不会发生）
如果应用场景需要一个更大范围的原子性保证，我们可以直接使用synchronized关键字，在synchronized块之间的操作也具有原子性。

可见性：

可见性是指当一个线程修改了共享变量的值，其他线程能够立即得知这个修改。 Java内存模型是通过变量修改之后同步回主内存，在变量读取之前从主内存刷新变量值来实现可见性的。如果一个普通变量在多线程中运行的话，往往不能保证可见性，多个线程都是从主内存中获取变量，这时多个线程并不会先等待某一个线程修改完变量之后，写回主内存，再从主内存获取最新的变量值。
如果要保证可见性的话，我们可以使用volatile关键字，具体原理可以参考我的这篇博文Java的volatile关键字，当然除了volatile关键字之外，synchronized和final关键字也能实现可见性，synchronized保证可见性的原理是依据