【Java基础】java可见性之 Happens-before

原创已于 2023-06-29 15:54:49 修改 · 620 阅读

2 ·

本内容遵循CC 4.0 BY-SA版权协议

标签

#java #jvm #android #可见性 #面试

于 2023-04-23 19:27:43 首次发布

java基础专栏收录该内容

26 篇文章

订阅专栏

happens-before关系是Java内存模型中描述操作间顺序和可见性的概念。它确保一个操作对另一个操作的可见性，例如通过synchronized关键字保证线程同步。一个例子是，当一个线程解锁后，其他线程获取同一锁时，解锁操作对获取锁的操作具有happens-before关系。此外，volatile变量的写操作也对后续读操作具有此关系。然而，如果没有适当的同步机制，如在多线程中直接读写共享变量，可能不保证happens-before关系，从而导致数据不一致问题。

定义

Happens-before 关系是用来描述和可见性相关问题的，我们可以简单理解，就是按顺序执行，一个个来。

举例：小情侣一起做饭，小美女在洗米，小帅哥在弄电饭锅，
     必须等米洗完后，才能开始煮饭。

在java中，happens-before是一种关系运算符，用于定义两个事件之间的时间顺序，happens-before只在 Java 的内存模型中起作用。保证了可见性。

如果第一个操作happens-before第二个操作（也可以描述为第一个操作和第二个操作之间的happens-before关系），那么我们说第一个操作对于第二个操作是一定可见的，当执行第二个操作时，保证看到第一个操作的结果。

Java中的happens-before关系可以通过使用synchronized关键字来实现。synchronized关键字可以将多个方法或代码块设置为同步的，即只有一个线程可以访问它们，而其他线程则需要等待。
下面是一个示例代码，展示了如何使用synchronized关键字实现happens-before关系：

public class MyConcurrency {  
    private static final Object lock = new Object();  
  
    public void method1() {  
        synchronized (lock) {  
            System.out.println("Method1 is executing");  
        }  
    }  
  
    public void method2() {  
        synchronized (lock) {  
            System.out.println("Method2 is executing");  
        }  
    }  
  
    public void method3() {  
        synchronized (lock) {  
            System.out.println("Method3 is executing");  
        }  
    }  
}

在上面的示例代码中，我们创建了一个名为lock的对象作为同步锁，然后在每个方法中使用synchronized关键字将其包围。这意味着只有一个线程可以访问method1()、method2()和method3()方法，而其他线程则需要等待。

Happens-before 关系的规则

(1)单线程规则：在单线程中，按照程序代码的先后顺序，先执行的操作在后执行的操作之前
(2)锁操作规则(Lock和synchronized接口等)：如果操作A是解锁，操作B是锁同一个锁，那么hb(A,B)。
(3) volatile 变量规则：对volatile 变量的写操作happens-before 之后是对该变量的读操作。

举一个不具备 happens-before 关系的例子

比如多个线程同时对一个数进行操作，如下
public class Visibility {
    int x = 0;
    public void write() {
        x = 1;
    }

    public void read() {
        int y = x;
    }
}