6.10 并发编程数据一致性

6.10 并发编程数据一致性

目录介绍

• 00.本节掌握要点
• 01.一个问题思考
• 02.典型回答分析
• 03.考点分析说明
• 04.JMM解决什么
• 05.JMM如何解决问题
• 06.volatile实现JMM
• 07.看案例去分析

00.本节掌握要点

• 1.什么是happen-before关系，这个是什么意思？

01.一个问题思考

• Java 语言在设计之初就引入了线程的概念，以充分利用现代处理器的计算能力，这既带来了强大、灵活的多线程机制，也带来了线程安全等令人混淆的问题，而 Java 内存模型（Java Memory Model，JMM）为我们提供了一个在纷乱之中达成一致的指导准则。
• Java 内存模型中的 happen-before 是什么？

02.典型回答分析

• Happen-before 关系
  • 是 Java 内存模型中保证多线程操作可见性的机制，也是对早期语言规范中含糊的可见性概念的一个精确定义。
• 它的具体表现形式，包括但远不止是我们直觉中的 synchronized、volatile、lock 操作顺序等方面，例如：
  • 线程内执行的每个操作，都保证 happen-before 后面的操作，这就保证了基本的程序顺序规则，这是开发者在书写程序时的基本约定。
  • 对于 volatile 变量，对它的写操作ÿ