多线程(52)Java内存模型(JMM)

Java内存模型(JMM)是Java虚拟机(JVM)的一部分,它定义了Java程序中各种变量(线程中的本地变量、堆中的对象、类中的静态字段等)的访问规则,以及在多线程环境中如何和何时可以看到由其他线程修改过的共享变量的值。JMM对于实现高性能、可靠的并发应用程序至关重要。

JMM的主要目标:

  1. 定义程序中变量的访问规则:确保线程执行程序代码时能正确地读取到变量的值,无论变量被另一个线程在何处、何时修改。
  2. 提供可见性和有序性保证:确保一个线程对共享变量的修改对其他线程可见(可见性),并且在多线程环境中对于共享变量的访问是有序的(有序性)。
  3. 提供原子性保证:对基本读取和写入操作的原子性保证。

JMM的关键特性:

1. 可见性

当一个线程修改了共享变量的值,其他线程能够立即知道这个修改。Java提供了volatile关键字来保证变量的修改对所有线程立即可见。

2. 原子性

Java提供了synchronizedLock机制来保证代码块在多线程环境中的原子性执行。

3. 有序性

Java中,有序性是通过happens-before原则来保证的,这个原则是JMM中最核心的概念之一。

happens-before原则

happens-before关系是逻辑上定义两个操作之间的偏序关系。如果一个操作A happens-before操作B,那么JMM将保证A操作的结果对B操作可见,且A的操作顺序在B之前。

happens-before规则包括:

  • 程序顺序规则:在同一个线程中,按照程序代码顺序,前面的操作happens-before于后续的任何操作。
  • 监视器锁规则:解锁(unlock)happens-before于随后的对同一个锁的加锁(lock)。
  • volatile变量规则:对volatile字段的写操作happens-before于后续对这个volatile字段的读操作。
  • 传递性:如果A happens-before B,且B happens-before C,那么A happens-before C。

代码示例

下面是使用volatile关键字实现的一个可见性示例:

java 复制代码
public class VolatileExample {
    private volatile boolean flag = false;

    public void writer() {
        flag = true; // 写操作
    }

    public void reader() {
        if (flag) { // 读操作
            System.out.println("Flag is true");
        }
    }
}

在这个例子中,flag变量被标记为volatile。这意味着对这个变量的写操作会立即对其他线程可见,而且读取操作会看到最近一次的写入。

内存屏障

JMM是通过内存屏障(Memory Barriers)来实现happens-before原则的。内存屏障是一种CPU指令,用于控制特定类型的操作的执行顺序。JMM利用这些内存屏障来禁止特定类型的操作重排序。

  • Load Barrier(加载屏障):确保之后的读操作不会和屏障之前的读写操作重排序。
  • Store Barrier(存储屏障):确保之前的写操作不会和屏障之后的读写操作重排序。

总结

JMM定义了Java多线程程序中变量的读写规则,以及线程之间如何通过共享变量进行通信。它通过volatilesynchronizedLock等机制提供了一套规则和保证,让开发者可以编写出更加安全、高效的并发程序。理解JMM是实现正确的并发程序的关键。

相关推荐
好奇的菜鸟7 分钟前
Go语言中的引用类型:指针与传递机制
开发语言·后端·golang
Alive~o.016 分钟前
Go语言进阶&依赖管理
开发语言·后端·golang
许苑向上21 分钟前
Dubbo集成SpringBoot实现远程服务调用
spring boot·后端·dubbo
郑祎亦1 小时前
Spring Boot 项目 myblog 整理
spring boot·后端·java-ee·maven·mybatis
本当迷ya1 小时前
💖2025年不会Stream流被同事排挤了┭┮﹏┭┮(强烈建议实操)
后端·程序员
计算机毕设指导62 小时前
基于 SpringBoot 的作业管理系统【附源码】
java·vue.js·spring boot·后端·mysql·spring·intellij-idea
paopaokaka_luck3 小时前
[371]基于springboot的高校实习管理系统
java·spring boot·后端
捂月4 小时前
Spring Boot 深度解析:快速构建高效、现代化的 Web 应用程序
前端·spring boot·后端
瓜牛_gn4 小时前
依赖注入注解
java·后端·spring
Estar.Lee4 小时前
时间操作[取当前北京时间]免费API接口教程
android·网络·后端·网络协议·tcp/ip