线程安全性之可见性

可见性

一个线程对主内存的修改,能够及时的被其他线程看到。

导致共享变量在线程之间不可见的原因

  1. 线程交叉执行
  2. 重排序结合线程交叉执行
  3. 共享变量更新后的值没有在工作内存和主内存之间进行同步.

对于可见性 jvm 提供了 synchronizevolatile两个关键字

synchronize 实现可见性
JMM 对于 synchronize的两条规定

  1. 线程解锁前 , 必须把共享变量的值刷新到主内存中去
  2. 线程加锁时 , 将清空工作内存中共享变量的值 , 从而使用共享变量的值必须从主内存中重新获取最新的值 .
    注意 , 这里的 加锁和解锁是同一把锁 .

volatile 实现可见性
volatile 是通过 加入 内存屏障禁止重排序优化 来实现可见性的.

  1. 对其变量执行写操作时,会在写操作后加入一条store屏障指令, 将本地内存中的共线性变量刷新到主内存中;
  2. 对其进行读操作时,会在读操作前加入一条load屏障指令 , 从主内存中读取共享变量 .

这两点通俗的来讲就是 , volatile变量在每次被线程访问时, 都强制从主内存中获取变量值, 当线程修改了volatile 变量后, 会强制线程将最新的值到主内存中 . 所以在任何时候, 线程都能看到该变量的最新的值 .

volatile 的使用场景

  1. 对变量的写入操作不依赖其当前值:不满足:num++;num = num*5;满足 boolean值。
  2. 该变量没有包含在其他变量的不变式中。
  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值