java 线程 原子性_深入理解Java多线程与并发框架——Java内存模型与原子性、可见性、有序性...
欢迎关注专栏《Java架构筑基》——专注于Java技术的研究与分享!Java架构筑基zhuanlan.zhihu.comJava架构筑基——专注于Java技术的研究与分享!
后续文章将首发此专栏!
欢迎各位Java工程师朋友投稿和关注
Java内存模型与原子性、可见性、有序性
一、Java内存模型
Java Memory Modle,简称 JMM,中文名称 Java内存模型,它是一个抽象的概念,用来描述或者规范访问内存变量的方式。因为各中计算机的操作系统和硬件不同,方式机制也可能不同,Java内存模型用于屏蔽(适配)各种差异,以此来达到访问各个平台的一致的效果。这也是Java夸平台的重要原因之一。
主内存: Java内存规定了所有变量都存储在主内存(Main Memory)中,各个线程又有自己的本地内存(工作内存),本地内存保存着主内存中部分变量。具体访问方式如下:
1、lock加锁:为了保证访问主内存变量的线程安全性,在访问前一般会加锁处理;
2、read读:从主内存中读取一个变量到工作内存;
3、load加载:把read读到的变量加载到工作内存的变量副本中;
4、use使用:此时线程可以使用其工作内存中的变量了;
5、assign赋值:将处理后的变量赋值给工作内存中的变量;
6、store存储:将工作内存中的变量存储到主内存中,以新建new 一个新变量的方式存储;
7、write写:将store存在的新变量的引用赋值给被处理的变量;
8、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)
这里的可见性是内存可见性。
如上图,线程1和线程2在未同步的情况下对共享内存(主内存)中的变量进行访问,比如两个线程的操作都是对变量a进行加1操作。假设线程1首先获取主内存中变量a的值,随后线程2又获取了主内存变量a的值,此时它们工作内存中a的值都是1,它们各自将a的值加1操作,然后assign至工作内存,工作内存中变量a的值都是2,然后两个线程又将值刷新到主内存,最后的结果是主内存中变量a的值是2。虽然整体对a的值加1操作做了两次操作,但由于线程间的操作是互相隔离的,默认情况下无法感知内存变量的值在随后的变化,也就无法访问内存中最新的变量值,这就是内存可行性的问题。
如何解决内存可见性的问题?1)、对进入临界区的线程做同步处理(比如 synchronized),同一时刻仅有一个线程能够访问临界区的资源;
2)、使用 volatile 关键字保证内存可见性,它能保证访问临界区资源的所有线程总能看到共享资源的最新值;
3)、CAS无锁化。
3、有序性(Ordering)
线程内的所有操作都是有序的,既程序执行的顺序按照代码的先后顺序执行。比如下面的示例:
int a = 1;
int b = 2;
int c = a + b;
线程内程序会先执行 int a = 1; ,然后执行 int b = 2; 最后执行int c = a + b;。
java 线程 原子性_深入理解Java多线程与并发框架——Java内存模型与原子性、可见性、有序性...相关推荐
- java中实现具有传递性吗_Java中volatile关键字详解,jvm内存模型,原子性、可见性、有序性...
一.Java内存模型 想要理解volatile为什么能确保可见性,就要先理解Java中的内存模型是什么样的. Java内存模型规定了所有的变量都存储在主内存中.每条线程中还有自己的工作内存,线程的工作 ...
- 简单说说你对Java内存模型的原子性的了解吧?
为什么80%的码农都做不了架构师?>>> Java内存模型保证non-long.non-double类型外的其他任意类型的访问都是原子性的.同时volatile long.vo ...
- Java IO的原理 入门理解,input和output和java程序的关系
Java IO的原理 入门理解,input和output和java程序的关系 1.Java IO的原理 2.input和output的理解 3.IO流的分类 4.IO流体系(蓝色为重点.常用) 5.. ...
- 【多线程与高并发】JMM内存模型 基础
JMM 什么是JMM JMM是Java内存模型,不同的硬件生产商家和不同的操作系统下,内存的访问有一定的差异,java内存模型屏蔽掉各种硬件和操作系统的内存访问差异,以实现让java程序在各种平台下都 ...
- java内存模型按照线程隔离性_深入理解Java多线程与并发框(第③篇)——Java内存模型与原子性、可见性、有序性...
一.Java内存模型 Java Memory Modle,简称 JMM,中文名称 Java内存模型,它是一个抽象的概念,用来描述或者规范访问内存变量的方式.因为各中计算机的操作系统和硬件不同,方式机制 ...
- java 线程开销_多线程的线程开销
多线程中两个必要的开销:线程的创建.上下文切换 创建线程: 创建线程使用是直接向系统申请资源的,对操作系统来说,创建一个线程的代价是十分昂贵的, 需要给它分配内存.列入调度,同时在线程切换的时候还要执 ...
- java 线程管理框架_实现 Java 多线程并发控制框架
所面临的问题 图 1. 线程场景 这幅图中节点代表一个 single Thread,边代表执行的步骤. 整幅图代表的意思是,ROOT 线程执行完毕后执行 T1 线程,T1 执行完毕后并发的执行 T2 ...
- c++指定在某一线程运行_深入理解Java虚拟机-运行时数据区
在Java虚拟机的概念中,运行时数据区又被称为Java内存区域.主要由线程私有的程序计数器.虚拟机栈和本地方法栈以及线程共享的堆和方法区组成. 程序计数器 程序计数器在Java内存中占据的空间比较小, ...
- 苹果系统手机调用java线程出错_在多线程Java应用程序中调用已编译的m-file(.jar)时出错...
我有一个简单的M文件 function [fRate,Height,Width] = media(filename) obj = mmreader(filename); fRate = obj.Fra ...
最新文章
- Apache与IIS的优劣对比点点评
- Androidstudio 使用git插件提交代码
- wxWidgets:wxRibbonPanel类用法
- Linux内存管理机制研究
- 数据之路 - Python爬虫 - 数据存储
- vissim免修改时间工具_App闪退怎么办?免越狱如何安装未签名的App?
- Android开发笔记(四)字符串格式化
- [BZOJ]3727: PA2014 Final Zadanie
- SSH框架下载地址及说明介绍地址
- ss 过滤或者指定过滤
- Windows系统基础配置
- APPInventor网络数据库浏览器(TinyWebDB查询API)
- 常用通讯电平转换电路整理
- SQL语句——处理函数
- 利用itext导出word表格,处理图片
- 谷粒商城项目总结(一)-基础篇
- 软件工程项目之随心所欲—食堂点菜系统
- [Swift]LeetCode41. 缺失的第一个正数 | First Missing Positive
- linux奶瓶U盘使用方法,U盘安装BEINI(奶瓶)教程+多功能启动
- 计算机网络第一次革命,强国挑战答题答案:计算机工业革命是近代以来人类社会经历的第()次科技革命。...
热门文章
- Leetcode每日一题:50.powx-n
- 甘特图看起来很生硬?教你使用智能颜色装饰你的甘特图!(一)
- 《大型网站架构技术》系列分享专栏
- 三维工艺设计系统SVMAN
- 关联省份与学校的级联HTML,JS实现的省份级联实例代码
- python excel案例导入jira_Python操作Jira库常用方法解析
- chromedriver放在哪个目录下_python | Linux各目录及每个目录的详细介绍 - MR_黄Python之路...
- Java Applet 问题汇总
- Javascript 时间操作汇总
- mysql怎么获得权限_mysql怎么给用户加权限