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

相关推荐
CryptoPP13 分钟前
springboot 对接马来西亚数据源API等多个国家的数据源
spring boot·后端·python·金融·区块链
Source.Liu27 分钟前
【学Rust写CAD】27 双线性插值函数(bilinear_interpolation.rs)
后端·rust·cad
yinhezhanshen31 分钟前
理解rust里面的copy和clone
开发语言·后端·rust
uhakadotcom38 分钟前
Helm 简介与实践指南
后端·面试·github
栗筝i1 小时前
Spring 核心技术解析【纯干货版】- XIX:Spring 日志模块 Spring-Jcl 模块精讲
java·后端·spring
企鹅不耐热.1 小时前
Scala基础知识6
开发语言·后端·scala
程序员一诺2 小时前
【Django开发】前后端分离django美多商城项目第15篇:商品搜索,1. Haystack介绍和安装配置【附代码文档】
后端·python·django·框架
冷琅辞2 小时前
Go语言的嵌入式网络
开发语言·后端·golang
跟着珅聪学java4 小时前
spring boot +Elment UI 上传文件教程
java·spring boot·后端·ui·elementui·vue
徐小黑ACG5 小时前
GO语言 使用protobuf
开发语言·后端·golang·protobuf