分析&回答
JMM概念
Java 内存模式是 Java 语言规范的一部分。为了保证共享内存的正确性(可见性、有序性、原子性),内存模型定义了共享内存系统中多线程程序读写操作的行为规范。通过这些规则来规范对内存的读写操作,从而保证指令执行的正确性。
JMM工作场地
JMM 规定了多个线程如何访问并发 Java 应用程序中的公共内存,以及一个线程的数据更改如何对其他线程可见。
可见性 (缓存一致性问题?)
Java内存模型是通过在变量修改后将新值同步回主内存,在变量读取前从主内存刷新变量值的这种依赖主内存作为传递媒介的方式来实现的。
Java中的volatile
关键字提供了一个功能,那就是被其修饰的变量在被修改后可以立即同步到主内存,被其修饰的变量在每次是用之前都从主内存刷新。因此,可以使用volatile
来保证多线程操作时变量的可见性。
有序性 (重排序问题?)
在Java中,可以使用synchronized
和volatile
来保证多线程之间操作的有序性。实现方式有所区别:volatile
关键字会禁止指令重排。synchronized
关键字保证同一时刻只允许一条线程操作。
原子性
在Java中,为了保证原子性,提供了两个高级的字节码指令monitorenter
和monitorexit
。在说说你对Synchronized的了解我们介绍过。Java中可以使用synchronized
来保证方法和代码块内的操作是原子性的。
反思&扩展
JMM 对添加了 final 修饰符的类的字段有什么特殊保证 ?
JVM 基本上会保证在任何线程获取对象之前初始化类的 final 字段。
如果没有这种保证,由于重新排序或其他优化,在初始化该对象的所有字段之前,可以向另一个线程发布对象的引用,即变得可见。这可能会导致对这些字段的访问。
这就是为什么在创建不可变对象时,应始终将其所有字段设为 final,即使它们不能通过 getter 方法访问。
喵呜面试助手: 一站式解决面试问题,你可以搜索微信小程序 [喵呜面试助手] 或关注 [喵呜刷题] -> 面试助手 免费刷题。如有好的面试知识或技巧期待您的共享!