Java 内存模型定义了线程和内存的交互方式,在 JMM 抽象模型中,分为主内 存、工作内存。主内存是所有线程共享的,工作内存是每个线程独有的。线程 对变量的所有操作(读取、赋值)都必须在工作内存中进行,不能直接读写主 内存中的变量。并且不同的线程之间无法访问对方工作内存中的变量,线程间 的变量值的传递都需要通过主内存来完成,他们三者的交互关系如下
JMM怎么解决原子性、可见性、有序性的问题? 在Java中提供了一系列和并发处理相关的关键字,比如volatile、Synchronized、final、juc等,这些就是Java内存 模型封装了底层的实现后提供给开发人员使用的关键字,在开发多线程代码的时候,我们可以直接使用 synchronized等关键词来控制并发,使得我们不需要关心底层的编译器优化、缓存一致性的问题了,所以在Java内 存模型中,除了定义了一套规范,还提供了开放的指令在底层进行封装后,提供给开发人员使用。
原子性保障 在java中提供了两个高级的字节码指令monitorenter和monitorexit,在Java中对应的Synchronized来保证代码块 内的操作是原子的
可见性 Java中的volatile关键字提供了一个功能,那就是被其修饰的变量在被修改后可以立即同步到主内存,被其修饰的变 量在每次是用之前都从主内存刷新。因此,可以使用volatile来保证多线程操作时变量的可见性。 除了volatile,Java中的synchronized和final两个关键字也可以实现可见性
有序性 在Java中,可以使用synchronized和volatile来保证多线程之间操作的有序性。实现方式有所区别: volatile关键字会禁止指令重排。synchronized关键字保证同一时刻只允许一条线程操作。