多线程(53)happens-before原则

happens-before原则是Java内存模型(JMM)的核心概念,用于确定程序中两个操作间的可见性和有序性。简而言之,如果一个操作A happens-before另一个操作B,那么JVM保证A操作的结果对B操作是可见的,且A操作在B之前发生。

happens-before规则详解

  1. 程序顺序规则:在同一个线程中,根据程序控制流,前面的操作happens-before于后续的操作。

    java 复制代码
    int a = 1; // A操作
    int b = 2; // B操作

    在同一线程内,这里A操作happens-before B操作。

  2. 监视器锁规则:对一个锁的解锁happens-before于随后对这个锁的加锁。

    java 复制代码
    synchronized(lock) {
        // ...操作A
    }
    // 另一个线程或时刻
    synchronized(lock) {
        // ...操作B
    }

    在这个例子中,操作A的解锁happens-before操作B的加锁。

  3. volatile变量规则:对一个volatile字段的写操作happens-before于之后对这个volatile字段的读操作。

    java 复制代码
    volatile boolean flag = false;
    
    // 线程A
    flag = true;
    
    // 线程B
    if(flag) {
        // ...操作
    }

    线程A中对flag的写操作happens-before线程B中对flag的读操作。

  4. 线程启动规则:Thread对象的start()方法happens-before此线程的每个后续动作。

    java 复制代码
    Thread t = new Thread(() -> {
        // ...操作B
    });
    // 操作A
    t.start();

    线程的启动(操作A)happens-before线程t中的任何操作(操作B)。

  5. 线程终止规则:线程中的所有操作happens-before对此线程的终止检测,我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值等方式检测到线程已经终止。

  6. 中断规则:对线程interrupt()的调用happens-before被中断线程的检测到中断事件。

  7. 传递性:如果操作A happens-before操作B,且操作B happens-before操作C,那么操作A happens-before操作C。

代码示例:volatile变量规则

考虑以下代码示例,演示volatile规则的应用:

java 复制代码
public class VolatileExample {
    private volatile boolean ready = false;
    private int number;

    private class ReaderThread extends Thread {
        public void run() {
            while (!ready) {
                Thread.yield();
            }
            System.out.println("The number is: " + number);
        }
    }

    public void write() {
        number = 42;
        ready = true;
    }

    public static void main(String[] args) {
        VolatileExample example = new VolatileExample();
        example.new ReaderThread().start();
        example.write();
    }
}

这个例子中,write方法先改变number变量的值,然后将ready标志设置为true。由于ready是volatile变量,根据volatile变量规则,写入ready的操作happens-before于读取ready的操作,这确保了当读线程看到ready为true时,number变量的值对读线程是可见的。

总结

happens-before原则是理解Java内存模型的关键,它为开发者提供了一种判断数据在多线程环境下是否能保持一致性和有序性的方法。通过遵守这些规则,开发者可以编写出更加健壮和线程安全的并发代码。

相关推荐
毕设源码_钟学姐6 分钟前
计算机毕业设计springboot宿舍管理信息系统 基于Spring Boot的高校宿舍管理平台设计与实现 Spring Boot框架下的宿舍管理系统开发
spring boot·后端·课程设计
方圆想当图灵1 小时前
ScheduledFutureTask 踩坑实录
后端
全栈凯哥1 小时前
16.Spring Boot 国际化完全指南
java·spring boot·后端
M1A11 小时前
Java集合框架深度解析:LinkedList vs ArrayList 的对决
java·后端
31535669132 小时前
Springboot实现一个接口加密
后端
Linn4 小时前
Spring WebSocket 服务实现的主流方案与最佳实践
spring boot·后端·spring
M1A14 小时前
企业信息化管理(EIM):数字化转型的核心引擎
后端
我是老孙5 小时前
Spring Boot 应用中,配置的加载优先级
spring boot·后端·pycharm
风象南5 小时前
基于 SpringBoot 的 REST API 与 RPC 调用的统一封装
java·spring boot·后端
陈随易5 小时前
Kimi k2不行?一个小技巧,大幅提高一次成型的概率
前端·后端·程序员