并发编程的分类

执行程序时，为了提高性能，编译器和处理器常常会对指令做重排序。

重排序的类型：

1.编译器优化的重排序。编译器在不改变程序语义的情况下，可以重新安排语句的执行顺序。

2.指令级并行的重排序。现代处理器采用了指令级并行技术来将多条指令重叠执行，如果不存在数据依赖，处理器可以改变语句对应的机器指令执行顺序。

3.内存系统的重排序。现代的处理器都使用写缓冲区临时保存向内存写入的数据。写缓冲区仅对它所属的处理器可见。这会使得内存操作存在重排序的问题。
如：
内存中 a = 0， b = 0

处理器一执行：
a = 1；
x = b;

处理器二执行：
b = 2；
y = a;

处理器在执行 a = 1这个操作会经历两个阶段
1.处理器从内存或缓存取出a到寄存器，赋值为1，写入到写缓冲区
2.写缓存区刷新数据到内存中

如果在执行x =b时，处理器二的写缓冲区还未刷新到内存中，x会取到内存中的值b = 0，同理y 也可能取到 a = 0，导致结果就是x = 0， y = 0
实际执行的顺序为：
x = b y = a
a = 1 b = 2

jmm并不提供顺序一致性模型，他只是保证了存在数据依赖性的操作不被重排序。