基本概念
1.并发编程模型
线程之间的通信机制有两种：共享内存和消息传递。Java的并发采用的是隐式的共享内存模型。
Java内存模型（JMM）是围绕着在并发过程中如何处理原子性、可见性和有序性来建立的。
- 原子性：基本数据类型的访问读写是具备原子性的（针对long和double有非原子性协定），synchronized块之间的操作也具备原子性。
- 可见性：当一个线程修改了共享变量（主内存中）的值，其他线程能够立即得知这个修改。
- 有序性：线程内表现为串行的语义，从一个线程观察另一个线程，由于指令重排序和工作内存与主内存同步延迟，看到的操作是无序的。
2.内存模型抽象
- 主内存：存储线程之间共享变量，所有存储在堆内存中的实例域、静态域和数组元素在线程之间共享。
- 工作内存：线程私有，存储该线程读写共享变量的副本，它是JMM的抽象概念，并不存在，它涵盖了缓存、写缓冲区、寄存器及其他硬件和编译器的优化。
- JMM抽象示意图：
3.重排序
在执行程序时，编译器和处理器会对指令重排序，重排序分三种类型：
- 编译器优化的重排序
- 指令级并行的重拍序
- 内存系统的重排序
编译器和处理器遵循as-if-serial语义（不管怎么重排序，都不能改变单线程程序的执行结果），不会对存在数据依赖关系的操作重排序。
4.内存屏障指令
JMM把内存屏障指令分为四类：
- LoadLoad
- LoadStore
- StoreLoad
- StoreStore
5.happens-before规则
在JMM中，如果一个操作执行的结果需要对另一个操作可见，这两个操作之间必须存在happens-before关系。
happens-before规则仅仅要求前一个操作的结果对后一个操作可见，且前一个操作按顺序排在第二个操作之前。
同步机制
1.volatile
对一个volatile共享变量的单个读写操作，相当于对普通共享变量的读写操作使用同一个锁来同步。
volatile保证了多线程操作变量的可见性（新值能立即同步到主内存，每次使用前立即从主内存刷新）和有序性（volatile本身就包含了禁止指令重排序的语义），但不能保证原子性（对任意单个volatile变量的读写具有原子性，但对于volatile++这种复合操作不具有原子性）。
2.锁
锁除了让临界区互斥执行外，还可以让释放锁的线程向获取同一个锁的线程发送消息。
ReentrantLock的实现依赖于Java同步框架AQS，AQS使用一个整型的volatile变量state来维护同步状态。
锁释放和获取的内存语义的实现使用了volatile变量的读写所具有的内存语义和CAS自带的volatile读写的语义。
- 公平锁：锁获取时先读volatile变量，锁释放时最后写volatile变量。
- 非公平锁：锁获取时先使用CAS更新volatile变量，锁释放时最后写volatile变量。
3.final
final保证了可见性（被final修饰的字段在构造器中一旦初始化完成，并且构造器没有把this的引用传递出去，那在其他线程中就能看见final的值）。
参考书籍
《深入理解Java内存模型》、《深入理解Java虚拟机 第二版》