JMM、CAS与volatile

JMM

虚拟机规范,用于屏蔽掉各种硬件和操作系统的内存访问差异,以实现让Java程序在各种平台下都能达到并发编程的原子性、可见性及有序性
JMM

CAS(比较并交换)

过程

  • V:要更新的变量地址(var)
  • E:预期值(expected) //V变量该有的值
  • N:新值(new)

比较并交换的过程如下:
在这里插入图片描述

存在的问题

  • ABA:加上时间戳或版本号
  • 循环时间长开销大,自旋
  • 只能保证一个共享变量的原子操作

as-if-serial

  • 保证单线程内程序的执行结果不被改变

happens-before规则

  • 程序顺序规则:一个线程中的每个操作,happens-before于该线程中的任意后续操作。

  • 监视器锁规则:对一个锁的解锁,happens-before于随后对这个锁的加锁。

  • volatile变量规则:对一个volatile域的写,happens-before于任意后续对这个volatile域的读。

  • 传递性:如果A happens-before B,且B happens-before C,那么A happens-before C。

  • 给程序员使用的规则

  • 只要写代码的时候遵循happens-before规则

  • JVM就能保证指令在多线程之间的顺序性符合程序员的预期

volatile关键字

volatile作用

可见性

  • 写:线程本地内存中共享变量的值写入到内存中
  • 读:线程本地内存中共享变量的值置为无效,从内存中重新读取

有序性

对一个volatile域的写,happens-before于任意后续对这个volatile域的读

volatile内存语义的实现

参考文章
image.png

原子性

不能保证原子性
必须借助于synchronized和Lock来保证整块代码的原子性

作用

  • 状态标记量
  • 单例模式
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值