目录
一、前言：
- 在命令式编程中，线程之间的通信机制有两种：共享内存和消息传递。
- java的并发采用的是共享内存模型：通过读/写内存中的公共状态进行隐式通信。
二、java内存模型(JMM)：
概念：
- java线程之间的通信是由java内存模型控制的，JMM决定一个线程对共享变量的写入何时对另一个线程可见。
说明：
- 线程之间的共享变量存储在主内存中，每个线程都有一个私有的工作内存，工作内存中存储了该线程读/写共享变量的副本。
- 工作内存是JMM的一个抽象概念，并不真实存在。它涵盖了缓存、写缓冲区、寄存器以及其他的硬件和编译器优化。
- 线程对变量的所有操作(读取、赋值等)都必须在工作内存中进行，而不能直接读写主内存中的变量。
- 不同的线程之间也无法直接访问对方工作内存中的变量，线程间变量值的传递均需要通过主内存来完成。
三、volatile关键字
相关概念:
- 缓存行：缓存器中可以分配的最小存储单位。
- L1缓存：内部缓存。
- L2缓存：外部缓存。
- 为了提高处理速度，处理器不直接和内存进行通信，而是先将系统内存中的数据读到缓存(L1、L2)后再进行操作，但操作完成后，处理器并不知道何时要把操作后的数据写回到内存中。
重排序：
概念：在执行程序时，为了提高性能，编译器和处理器常常会对指令做重排序。
- 编译器重排序：编译器在不改变单线程程序语义的前提下，可以重新安排语句的执行顺序。
- 处理器重排序：
- 指令级并行的重排序：现代处理器采用了指令级并行技术来将多条指令重叠执行。如果不存在数据依赖性，处理器可以改变语句对应机器指令的执行顺序。
- 内存系统的重排序： 由于处理器使用缓存和读/写缓冲区，这使得加载和存储操作看上去可能是在乱序执行。
volatile的使用：
用volatile修饰的变量如果被一个线程更改了，那么其它的线程都会立即感知，并且每个线程获取该变量的值都是最新的值，访问volatile修饰的变量看起来就像是直接在内存中读写一样。
原理：
- 对volatile修饰的变量进行写操作时，JVM会向处理器发送一条Lock前缀的指令(在编译成字节码时就已经插入该指令了)，将这个变量所在缓存行(即JMM中的工作内存)的数据写回到系统内存中，并且将其它CPU里缓存了该内存地址的数据无效。这样其它线程就会及时获取到这个变量的最新值，同时也达到了禁止处理器对指令的重排序的效果。
volatile的内存原语：
- 当读一个volatile变量时，JMM会把该线程对应的工作内存置为无效，线程接下来将从主内存中读取共享变量。
- 当写一个volatile变量时，JMM会把该线程对应的工作内存中的共享变量值刷新到主内存，即：
- 将本地内存中的数据设置为无效，
- 从主内存中将数据复制到本地内存中，
- 在本地内存中进行操作，
- 操作完成后将本地内存中的数据刷新到主内存中。整体看起来就像是直接在主内存中操作一样。
特性：
- 可见性：对一个volatile变量的读，(任意线程)总是能看到对这个volatile变量最后的写入。
- 原子性：对一个volatile变量的读/写具有原子性，但类似于volatile++这种复合操作不具有原子性。
优点：
- 不会引起线程上下文的切换
四、synchronized关键字
五、volatile与synchronized的比较：
- volatile只能修饰变量，synchronized可以修饰代码块、方法
- volatile不能保证原子性，synchronized保证原子性：
- volatile可以保证数据的可见性，但是不能保证原子性，所以volatile解决的是变量在多线程之间的可见性；
- synchronized可以保证原子性，也保证了可见性(synchronized会将私有内存和公共内存中的数据做同步)，所以synchronized解决的是多线程之间访问资源的同步性。
896
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
