1.缓存伪共享
image.png

Java内存模型基础

1. 内存模型结构

2. 重排序概述

3. 并发编程模型

4. happens-before简介

重排序

线程之间如何通信
线程之间如何同步

在共享内存的并发模型里，线程之间共享程序的公共状态，通过写-读内存中的公共状态 进行隐式通信。
在消息传递的并发模型里，线程之间没有公共状态，线程之间必须通过发送消 息来显式进行通信。

image.png
image.png

编译器和处理器常常会对指令做重排序
1 编译器优化的重排序。编译器在不改变单线程程序语义的前提下，可以重新安排语句的执行顺序。
2 指令级并行的重排序。现代处理器采用了指令级并行技术（Instruction-Level Parallelism，ILP）来将多条指令重叠执行。如果不存在数据依赖性，处理器可以改变语句对应机器指令的执行顺序。
3 内存系统的重排序。由于处理器使用缓存和读/写缓冲区，这使得加载和存储操作看上去可能是在乱序执行

从Java源代码到最终实际执行的指令序列，会分别经历下面3种重排序
image.png

上述的1属于编译器重排序，2和3属于处理器重排序。
这些重排序可能会导致多线程程序出现内存可见性问题。
对于编译器，JMM的编译器重排序规则会禁止特定类型的编译器重排序（不是所有的编译器重排序都要禁止）。
对于处理器重排序，JMM的处理器重排序规则会要求Java编译器在生成指令序列时，
插入特定类型的内存屏障（Memory Barriers，Intel称之为 Memory Fence）指令，通过内存屏障指令来禁止特定类型的处理器重排序。
JMM属于语言级的内存模型，它确保在不同的编译器和不同的处理器平台之上，通过禁
止特定类型的编译器重排序和处理器重排序，为程序员提供一致的内存可见性保证。

image.png

顺序一致性

volatile的内存语义

锁的内存语义

final域的内存语义

happens-before

Java内存模型