JVM（四）：内存模型（JMM）、CAS、synchronized优化

一、内存模型（JMM）

• 原子性：指不可再分的操作，当一个操作可再分的时候会受到多线程的影响，使用 synchronized 可保证不受多线程的影响，使操作具有原子性。
• 内存结构：一个主内存用于存放共享数据；多个工作内存，存放拷贝的共享数据，线程对工作内存的共享数据进行修改，然后再更新到主内存中。
• 可见性：保证在多线程之间，一个线程对 volatile 修饰的变量的修改对另外一个线程可见，单独 volatile 不能保证原子性，仅用在一写多读等写不频繁的情况下。
  （1）volatile ：修饰成员变量或静态成员变量，它可以避免线程从自己的工作内存中查找变量的值，必须到主内存中获取它的值，这样保证线程能拿到实时更新的数据。
• 有序性：多线程下指令重排会影响正确性，使用 volatile 修饰变量可禁用指令重排。
  （1）指令重排：JVM 在运行期间的优化，在不影响结果正确性的情况下对执行指令进行重排，优先执行简单的操作。

二、CAS

体现一种乐观锁的思想。配合 volatile 可以实现无锁并发，适用于竞争不激烈、多核 CPU 的场景下。
（1）jue（java.util.concurrent）中提供了原子操作类，可以提供线程安全的操作。例如 AtomitInteger、AtomitBoolean 等，底层采用 CAS+volatile 实现。

三、synchronized优化

Java Hotspot 虚拟机中，每个对象都有对象头（包括class指针和Mark Word）。Mark Word 平时存储这个对象的哈希码、分代年龄，当加锁时，这些信息根据情况被替换为标记位、线程锁记录指针、重量级锁指针、线程ID等内容。而被替换的信息则存放在栈帧中，解锁后替换回去。

• 轻量级锁：一个对象被多线程访问，但多线程访问的时间是错开的（没有竞争），则可以使用轻量级锁来优化。
• 锁膨胀：如果在一个线程尝试轻量级锁的过程中，有其他线程为对象加上了轻量级锁（有竞争），这是需要进行锁膨胀，将轻量级锁变为重量级锁。
• 自旋：重量级锁竞争时，使用自旋来优化，如果当前线程自旋成功，这是当前线程就可以避免阻塞。