java内存模型:简单理解
1.Java内存模型(Java Memory Model,JMM)
2.JMM定义了线程和主内存之间的抽象关系:
线程之间的共享变量存储在主内存(main memory)中,每个线程都有一个私有的本地内存(local memory)。
本地内存中存储了该线程以读/写共享变量的副本,本地内存是JMM的一个抽象概念,并不真实存在。
它涵盖了缓存,写缓冲区,寄存器以及其他的硬件和编译器优化。
3.重排序,一般来说,处理器为了提高程序运行效率,可能会对输入代码进行优化,它不保证程序中各个语句的执行先后顺序同代码中的顺序一致,但是它会保证程序最终执行结果和代码顺序执行的结果是一致的。
重排序分为三种:
a.编译器优化的重排序。编译器在不改变单线程程序语义的前提下,可以重新安排语句的执行顺序。
b.指令级并行的重排序。现代处理器采用了指令级并行技术(Instruction-Level Parallelism, ILP)来将多条指令重叠执行。
如果不存在数据依赖性,处理器可以改变语句对应机器指令的执行顺序。
注: 如果两个操作访问同一个变量,且这两个操作中有一个为写操作,此时这两个操作之间就存在数据依赖性。
c.内存系统的重排序。由于处理器使用缓存和读/写缓冲区,这使得加载和存储操作看上去可能是在乱序执行。
4.JMM使得不同线程看到的操作执行顺序是不同的,从而导致在缺乏同步时,要推断操作的执行顺序变得更加复杂,各种使操作延迟或者看似乱序执行的不同原因,都可以归为重排序。
5.顺序一致性内存模型有两大特性:
- 一个线程中的所有操作必须按照程序的顺序来执行。
- (不管程序是否同步)所有线程都只能看到一个单一的操作执行顺序。在顺序一致性内存模型中,每个操作都必须原子执行且立刻对所有线程可见。
Java内存模型(JMM)和顺序一致性内存模型是不一样的。
6.未同步程序在JMM中不但整体的执行顺序是无序的,而且所有线程看到的操作执行顺序也可能不一致。
7. 锁释放和获取的内存语义:
当线程释放锁时,JMM会把该线程对应的本地内存中的共享变量刷新到主内存中。
当线程获取锁时,JMM会把该线程对应的本地内存置为无效。从而使得被监视器保护的临界区代码必须要从主内存中去读取共享变量。
疑问:
1.临界区是什么意思??
临界区就是在同一时刻只能有一个任务访问的代码区。
2.监视器是什么?
最新文章
- 1877: [SDOI2009]晨跑
- 编译可在Android上运行的qemu user mode
- Spring 整合 Redis(二)
- centos6.6编译安装lnmp系列之nginx
- UnicodeDecodeError: ‘ascii’ codec can’t decode...: ordinal not in range(128 问题解决
- 【python爬虫】根据查询词爬取网站返回结果
- TP第2个项目总结
- 从SQL Server中导入/导出Excel的基本方法(转)
- NET Remoting 示例
- FileZilla Server 防火墙端口开启设置 windows 2008 win
- PHP学习心得(三)——处理表单
- Bad Hair Day(单调栈 )
- 记录maven的一些命令
- CF 552 Neko does Maths
- grep,sed,awk用法整理
- HP1020打印机“传递给系统调用的数据区域太小” 如何处理?
- JS中图片飞飞效果
- 重拾 BFC、IFC、GFC、FFC
- Lintcode: Minimum Subarray 解题报告
- 关于Unity中的道具拾取(专题六)
热门文章
- Zeroc Ice 3.6.1 生成 vs2015 c++ 版本库及相关配置
- mysql分区表之三:MySQL分区建索引[转]
- 学习笔记之Elasticsearch
- 【精】Linux磁盘I/O性能监控之iostat详解
- HttpClient上传下载文件
- vmware 共享文件夹(win10下的vmware安装了centos7)
- php printf() 输出格式化的字符串
- selenium+python自动化97--unittest参数化(paramunittest)
- 分布式tensorflow
- 不常用的容易忘记常见mysql操作数据表命令