Volatile和“Happens-Before”原则.md

本文详细介绍了Java中的volatile关键字以及Happens-Before原则,阐述了它们在多线程编程中的作用和意义。通过实例解析,说明了volatile如何确保变量的可见性,并解释了程序顺序性规则、volatile变量规则、传递性等6个Happens-Before原则的组成部分,帮助理解Java并发中的内存可见性保证。
摘要由CSDN通过智能技术生成

volatile不是Java独有的,C语言也有,它的直接目的就是禁用CPU缓存。
使用volatile修饰的变量,它实现的作用是,对于这个变量的读写,不能使用CPU缓存必须从内存中写入或读出。

看一个例子,线程A执行writer方法,线程B执行reader方法,那么输出x的值是多少呢:

public class VolatileApp {
    int x = 0;
    volatile boolean flag = false;

    public void writer(){
        x = 42;
        flag = true;
    }

    public void reader(){
        if(flag){
            System.out.println(x);
        }
    }

在1.5之前,可能是0也可能是42,在1.5之后,x的值等于42。
为啥呢,1.5之后对volatile语义进行了增强,增强了什么,就是一项“Happens-Before”原则。
“Happens-Before”原则:前面一个操作的结果对后面的操作是可见的。“Happens-Before”原则约束了编译器的优化行为,虽然允许优化,但是优化后必须遵守“Happens-Before”原则。这项原则可以拆解为6项

1.程序的顺序性规则

在一个线程中,按照程序顺序,前面的操作Happens-Before后续的任意操作。就是x = 42,Happens-Before ,flag= true。符合单线程的思维:
程序前面一个的修改对后面的操作是可见的。

<
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值