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

相关推荐
风一样的树懒1 小时前
死信队列:你在正确使用么?
后端
RoyLin1 小时前
TypeScript设计模式:门面模式
前端·后端·typescript
JavaGuide1 小时前
JDK 25(长期支持版) 发布,新特性解读!
java·后端
weiwenhao1 小时前
关于 nature 编程语言
人工智能·后端·开源
薛定谔的算法2 小时前
phoneGPT:构建专业领域的检索增强型智能问答系统
前端·数据库·后端
RoyLin2 小时前
TypeScript设计模式:责任链模式
前端·后端·typescript
RoyLin2 小时前
TypeScript设计模式:装饰器模式
前端·后端·typescript
Java中文社群2 小时前
有点意思!Java8后最有用新特性排行榜!
java·后端·面试
代码匠心2 小时前
从零开始学Flink:数据源
java·大数据·后端·flink
掘金一周2 小时前
Flutter Riverpod 3.0 发布,大规模重构下的全新状态管理框架 | 掘金一周 9.18
前端·人工智能·后端