硬件内存模型到 Java 内存模型，这些硬核知识你知多少？(3)

一个线程在另一个线程上调用 interrupt ，Happens-Before 被中断线程检测到 interrupt 被调用。

public class Demo { 
    private static int count = 0; 
    public static void main(String[] args) throws InterruptedException { 
        Thread t1 = new Thread(() -> { 
            // t1 线程可以看到被中断前的数据 
            System.out.println(count); 
        }); 
        t1.start(); 
        count = 25; 
        // t1 线程被中断 
        t1.interrupt(); 
    } 
} 

mian 线程中调用了 t1 线程的 interrupt() 方法，mian 对 count 的修改对 t1 线程是可见的。

7、终结器规则

一个对象的构造函数执行结束 Happens-Before 它的 finalize()方法的开始。“结束”和“开始”表明在时间上，一个对象的构造函数必须在它的 finalize()方法调用时执行完。根据这条原则，可以确保在对象的 finalize 方法执行时，该对象的所有 field 字段值都是可见的。

8、传递性规则

这条规则是指如果 A Happens-Before B，且 B Happens-Before C，那么 A Happens- Before C。

（编辑：ASP站长网）