文章详情

短信预约-IT技能 免费直播动态提醒

请输入下面的图形验证码

提交验证

短信预约提醒成功

深入理解Java多线程与并发框(第③篇)——Java内存模型与原子性、可见性、有序性

2023-06-05 04:09

关注

深入理解Java多线程与并发框(第③篇)——Java内存模型与原子性、可见性、有序性

深入理解Java多线程与并发框(第③篇)——Java内存模型与原子性、可见性、有序性

一、Java内存模型

Java Memory Modle,简称 JMM,中文名称 Java内存模型,它是一个抽象的概念,用来描述或者规范访问内存变量的方式。因为各中计算机的操作系统和硬件不同,方式机制也可能不同,Java内存模型用于屏蔽(适配)各种差异,以此来达到访问各个平台的一致的效果。这也是Java夸平台的重要原因之一。

主内存: Java内存规定了所有变量都存储在主内存(Main Memory)中,各个线程又有自己的本地内存(工作内存),本地内存保存着主内存中部分变量。具体访问方式如下:

深入理解Java多线程与并发框(第③篇)——Java内存模型与原子性、可见性、有序性

JMM工作方式

  • lock加锁:为了保证访问主内存变量的线程安全性,在访问前一般会加锁处理;
  • read读:从主内存中读取一个变量到工作内存;
  • load加载:把read读到的变量加载到工作内存的变量副本中;
  • use使用:此时线程可以使用其工作内存中的变量了;
  • assign赋值:将处理后的变量赋值给工作内存中的变量;
  • store存储:将工作内存中的变量存储到主内存中,以新建new 一个新变量的方式存储;
  • write写:将store存在的新变量的引用赋值给被处理的变量;
  • unload解锁:所有的工作做完,最后解锁释放资源。

二、Java内存模型的三大特性

1. 原子性(Atomicity)

这里的原子性如同数据库事务中是原子性,一个或多个操作要么全执行成功要么全执行失败(全不执行)。

int a = 1;a++;double b = 1.5;

Java内存模型只保证单一的操作具有原子性,比如上面的 int a = 1; 是一个单子的操作,所以具有原子性。而 a++ 操作在底层会分为三个操作:1)、读取a的值给临时变量;2)、临时变量a的值加1操作;3)、将加操作后的值赋值给a。每个操作都是原子的,但Java内存模型在多线程下并不能保证多操作具有整体原子性,因为它也不知道这个整体内有多少操作,用户想要达到多操作具有整体原子性,需要对响应的代码块做同步(synchronous)处理,比如使用 有锁的synchronized 或 无锁的CAS。

2. 可见性(Visibility)

这里的可见性是内存可见性。

深入理解Java多线程与并发框(第③篇)——Java内存模型与原子性、可见性、有序性

如上图,线程1和线程2在未同步的情况下对共享内存(主内存)中的变量进行访问,比如两个线程的操作都是对变量a进行加1操作。假设线程1首先获取主内存中变量a的值,随后线程2又获取了主内存变量a的值,此时它们工作内存中a的值都是1,它们各自将a的值加1操作,然后assign至工作内存,工作内存中变量a的值都是2,然后两个线程又将值刷新到主内存,最后的结果是主内存中变量a的值是2。虽然整体对a的值加1操作做了两次操作,但由于线程间的操作是互相隔离的,默认情况下无法感知内存变量的值在随后的变化,也就无法访问内存中最新的变量值,这就是内存可行性的问题。

如何解决内存可见性的问题?

  • 对进入临界区的线程做同步处理(比如 synchronized),同一时刻仅有一个线程能够访问临界区的资源;
  • 使用 volatile 关键字保证内存可见性,它能保证访问临界区资源的所有线程总能看到共享资源的最新值;
  • CAS无锁化。

3. 有序性(Ordering)

线程内的所有操作都是有序的,既程序执行的顺序按照代码的先后顺序执行。比如下面的示例:

int a = 1;int b = 2;int c = a + b;

线程内程序会先执行 int a = 1; ,然后执行 int b = 2; 最后执行int c = a + b;。

免责声明:

① 本站未注明“稿件来源”的信息均来自网络整理。其文字、图片和音视频稿件的所属权归原作者所有。本站收集整理出于非商业性的教育和科研之目的,并不意味着本站赞同其观点或证实其内容的真实性。仅作为临时的测试数据,供内部测试之用。本站并未授权任何人以任何方式主动获取本站任何信息。

② 本站未注明“稿件来源”的临时测试数据将在测试完成后最终做删除处理。有问题或投稿请发送至: 邮箱/279061341@qq.com QQ/279061341

软考中级精品资料免费领

  • 历年真题答案解析
  • 备考技巧名师总结
  • 高频考点精准押题
  • 资料下载
  • 历年真题
  • 2024年上半年信息系统项目管理师第二批次真题及答案解析(完整版)

    难度     813人已做
    查看
  • 【考后总结】2024年5月26日信息系统项目管理师第2批次考情分析

    难度     354人已做
    查看
  • 【考后总结】2024年5月25日信息系统项目管理师第1批次考情分析

    难度     318人已做
    查看
  • 2024年上半年软考高项第一、二批次真题考点汇总(完整版)

    难度     435人已做
    查看
  • 2024年上半年系统架构设计师考试综合知识真题

    难度     224人已做
    查看

相关文章

发现更多好内容
咦!没有更多了?去看看其它编程学习网 内容吧
首页课程
资料下载
问答资讯