java并发编程中jmm模型

Question

jmm模型为什么可以屏蔽硬件和操作系统差异,不用jmm模型行不行

Answer 1

JMM的主要目的有两个:
1.屏蔽各种硬件和操作系统的内存访问差异,使得Java的并发程序在各种平台下都拥有一致的并发语义。
2.强制约定各种 happens-before 规则,方便程序员正确地理解和设计并发程序。
如果不使用JMM模型,那么:

1. Java的并发程序会产生无法预测的运行结果,这是因为不同的硬件和操作系统的内存模型差异太大。JMM提供的一致的访问规则可以避免这种情况发生。
2. 程序员会难以设计出正确的并发程序,因为JMM定义的happens-before规则可以让我们正确理解变量的可见性和有序性。没有这些规则,并发程序会变得极其难以理解和调试。
3. Java的并发工具(synchronized,Lock,CAS等)也无法正常工作,它们都构建在JMM之上。
   所以,JMM是Java并发编程的基石,没有它就无法实现跨平台的并发语义和编写正确的并发程序。所有的并发特性和工具都需要JMM来correctly工作。