Java内存模型

Java内存模型学习

内存模型

Java内存模型主要由JMM控制，JMM决定了一个线程对共享变量的写入何时对另一个线程可见。
JMM定义了线程和主内的抽象关系：线程的共享变量存在主存，每一个线程都有私有的本地内存。

指令重排序

编译器和处理器常常会对指令进行重排序

内存屏障

JMM的处理器的重排序规则要求对Java编译器在生成指令序列时，插入特定的内存屏障，禁止指令重排序来保证内存一致性。

Happens-before 规则

在JMM中，如果一个操作执行的结果需要对另一个操作可见，那么这两个操作之间必须存在happens-before关系。

as-if-serial语义

as-if-serial语义的意思是：不管怎么重排序，单线程的程序执行结果不能被改变。

顺序一致性内存模型

1 一个线程中的所有操作必须按照程序的顺序来执行
2 所有线程都只能看到一个单一的操作执行顺序，在顺序一致性的内存模型中，每一个操作都必须原子性执行且立即对所有线程可见。

volitale的内存语义

当声明一个共享变量为volitale后，对这个变量的读写将会很特别。

• 可见性
  对一个volatile变量的读，总是能看到任意线程对这个volitale变量的写入
• 原子性
  对任意单个volitale变量的读/写具有原子性，但类似volitale++这种复合操作不具有原子性

volitale对应的内存语义：
当写一个volitale变量时，JMM会把该线程对应的本地内存中的共享变量的值刷新到主内存。

final域的内存语义

• 1 在构造函数内对一个final域的写入，与随后把这个被构造对象的引用赋值给一个引用变量，这两个操作之间不能被重排序
• 2初次读一个包含final域的对象的引用，与随后初次读到这个final域，这两个操作之间不能重排序

参考资料：
Java并发编程的艺术