0
点赞
收藏
分享

微信扫一扫

java内存模型(JMM)

前言

为什么需要JMM

cpu与缓存的一致性

单线程:CPU 核心的缓存只被一个线程访问。缓存独占,不会出现访问冲突等问题。

单核 CPU,多线程:进程中的多个线程会同时访问进程中的共享数据,CPU 将某块内存加载到缓存后,不同线程在访问相同的物理地址的时候,都会映射到相同的缓存位置,这样即使发生线程的切换,缓存仍然不会失效。

多核 CPU,多线程:每个核都至少有一个 L1 缓存。多个线程访问进程中的某个共享内存,且这多个线程分别在不同的核心上执行,则每个核心都会在各自的 Cache 中保留一份共享内存的缓冲,由于多核是可以并行的,可能会出现多个线程同时写各自的缓存的情况,而各自的 Cache 之间的数据就有可能不同。

另一种情况

在不同的硬件生产商和不同的操作系统下,内存的访问逻辑有一定的差异,结果就是当你的代码在某个系统环境下运行良好,并且线程安全,但是换了个系统就出现各种问题;

这是因为不同的处理器,在处理器优化和指令重排等方面存在差异,造成同样的代码,在经过不同的处理器优化和指令重排后,最后执行出来的结果可能不同,这是我们所不能接受的。

所以JMM就应运而生了,究其根本就是为了解决在并发环境下,保证数据的安全,满足场景的可见性、原子性、有序性。

什么是JMM

JMM从java 5开始的JSR-133发布后,就比较成熟完善了;

Java内存模型(Java Memory Model,JMM)是一种规范,规定了所有的变量都存储在主内存中,每条线程还有自己的工作内存;
线程的工作内存中保存了该线程中用到的变量的主内存副本拷贝,线程对变量的所有操作都必须在工作内存中进行,而不能直接读写主内存;
不同的线程之间也无法直接访问对方工作内存中的变量,线程间变量的传递均需要自己的工作内存和主存之间进行数据同步进行;
也规定了如何做数据同步以及什么时候做数据同步。

《深入理解Java虚拟机》中认为:如果一定要勉强对应起来的话,从变量、主内存、工作内存的定义来看,主内存主要对应于 Java 堆中的对象实例数据部分。而工作内存则对应于虚拟机栈中的部分区域。

内存交互操作

内存交互操作有8种,虚拟机实现必须保证每一个操作都是原子的,不可在分的:

JMM对这八种指令的使用,制定了如下规则:

特征

可见性

是指当多个线程访问同一个变量时,一个线程修改了这个变量的值,其他线程能够立即看得到修改的值;

Java可见性,可以使用 Volatile 关键字,那就是被其修饰的变量在被修改后会立即同步到主内存(其实也是要反应时间的);


Java 中的 Synchronized 和 Final 两个关键字也可以实现可见性;

原子性

是指在一个操作中被当作一个整体,要么一起执行,要么就不执行;

为了保证原子性,Java 提供了两个高级的字节码指令 Monitorenter 和 Monitorexit,对应的关键字就是 Synchronized;

有序性

程序执行的顺序按照代码的先后顺序执行;

可以使用 Synchronized 和 Volatile 来保证多线程之间操作的有序性,只是两者实现的方式不一样,Volatile 关键字会禁止指令重排,Synchronized 关键字保证同一时刻只允许一条线程操作;

到这里,我们似乎发现了,Synchronized 好像可以同时满足三种特征,这也是Synchronized 被用的很频繁的原因,但是 Synchronized 是比较影响性能的,虽然编译器提供了很多锁优化技术,但是也不建议过度使用。

Happen-Before 规则

分析一个并发程序是否安全,更多时候其实都依赖Happen-Before原则进行分析。
就是当A操作先行发生于B操作,则在发生B操作的时候,操作A产生的影响能被B观察到,“影响”包括修改了内存中的共享变量的值、发送了消息、调用了方法等;

举报

相关推荐

0 条评论