java内存模型总结

概念

内存屏障

内存屏障是一组处理器指令,用于实现对内存操作的顺序限制;

缓冲行

缓存中可以分配的最小单位,处理器填写缓存线时会加载整个缓存线,需要时会用多个主内存读周期;

缓存行填充

当处理器识别到从内存中读取操作数是可缓存的,处理器读取整个缓冲行到适当的缓存;

缓存命中

如果进行高速缓存行填充操作的内存位置仍然是下次处理器访问的地址时,处理器从缓存中读取操作数,而不是从内存中读取;

CAS

比较并交换,操作需要输入两个数值,一个旧值(期望操作前的值)和一个新值,如果获取的真实旧值和预期的旧值一致,才替换新值,否则不交换;

CPU流水线

CPU流水线就像工业生产上的装配流水线,将一条指令分成好几步分别执行,这样实现一个CPU时钟周期完成一条执行,提高CPU运算速度

内存顺序冲突

一般由假共享引起,多个CPU同时修改同一个缓存行的不同部分引起其中一个CPU操作无效,当出现内存冲突后,CPU必须清空流水线

java内存模型

JMM决定了一个线程对共享变量的写入何时对另一个线程可见。从抽象来讲,线程共享变量存放在主内存(main memory),每个线程持有一个本地内存(local memory),本地内存中存储了该线程读写共享变量的副本(本地内存是JMM的一个抽象概念,并不是真实存在的),JMM通过控制主内存与每个线程的本地内存之间的交互,来保证内存的可见性。


JMM.png

原子性操作:

  • lock(锁定):作用于主内存的变量,锁定一个主内存中的变量,标志该变量为一条线程独占的状态。

  • unlock(解锁):作用于主内存的变量,清除变量的独占状态,只有清除了独占状态,其他线程才能lock 该变量。

  • read: 作用于主内存的变量,把主内存的一个变量的值从主内存传输到线程的工作内存,以便后来的load操作使用。

  • load: 作用于工作内存的变量,把read回来的值放入工作内存的变量副本中。

  • use: 把变量传给执行引擎使用。

  • assign: 把从执行引擎接收到的值赋值给工作内存中的变量。

  • store :作用于工作内存的变量,把一个变量的值传送到主内存,以便后面的write 使用。

  • write : 作用于主内存的变量,把store的变量放入到主内存中的变量。

指令重排序

为了提高性能,尽可能的提高并行度,编译器和处理器常常会对指令进行重排序
1,编译器优化的重排序:编译器在不改变单线程语义的前提下,可以重新排列语句的执行顺序;
2,指令级并行的重排序:现代处理器采用了指令级并行技术来将多条执行重叠执行,如果不存在数据依赖性,则处理器可以改变语句对应指令的执行顺序;
3,内存系统的重排序:由于处理器使用了缓存和读写缓冲区,使加载和存储看上去可能是乱序执行;

数据依赖性

如果两个操作访问同一个变量,且一个为写操作,那么这两个操作之间存在数据依赖性,编译器和处理器不会改变存在数据依赖关系的执行顺序(如写后写,读后写,写后读)。

Happens-before

如果一个操作要对另一个操作可见,那这两个操作之间必须存在happens-before关系。这两个操作可以在一个线程内,也可以在不同线程之间。ps.(两个操作存在happens-before关系并不意味着前一个操作必须在后一个操作之前执行,仅仅要求前一个操作结果对后一个操作可见。)

常见的与程序员相关的happens-before规则如下:

①程序顺序规则:一个线程中的每个操作happens-before于其后的任意操作;

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

③volatile规则:对一个volatile域的写happens-before于任意后续对该域的读操作(该规则多个线程之间也成立);

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

as-if-serial语义

不管怎么重排序,程序(包括单线程和正确同步的多线程)执行的结果不能被改变,编译器和处理器不会对存在数据依赖关系的操作做重排序。

Volatile特性

可见性问题:在多线程中,工作内存与主内存同步延迟现象造成的可见性问题,另外指令重排以及编译器优化也可能导致可见性问题。
volatile含义:一是保证被volatile修饰的共享变量对所有线程总是可见的,也就是当一个线程修改了一个被volatile修饰共享变量的值,新值总数可以被其他线程立即得知;二是禁止指令重排。
实现方式:通过插入内存屏障来实现
注意:volatile不能保证复合操作的原子性(如i++),保证原子性的前提一是对变量的写操作不依赖当前值;二是该变量没有包含在具有其他变量的不变式中。

Final

对于 final 域,编译器和处理器要遵守两个重排序规则:
在构造函数内对一个 final 域的写,与随后把这个构造对象的引用赋值给一个变量,这两个操作之间不能重排序;
初次读一个包含 final 域的对象的引用,与随后初次读这个 final 域,这两个操作之间不能重排序;
避免对象引用在构造函数中溢出。

Synchronized实现可见性过程:

1,获取互斥锁;
2,清楚工作内存;
3,从主存中拷贝内容到工作内存;
4,执行代码指令;
5,更新到主存中;
6,释放锁;

自旋锁CAS

循环进行CAS操作,知道成功为止,CAS实现原子性的三个问题:
1,ABA问题;
2,循环开销大;
3,只能保证一个共享变量的原子性;
ABA的问题可以通过增加版本号的方式每次修改版本号递增。

偏向锁

大多数情况下,锁总是由同一个线程获得,由此引入偏向锁,线程访问同步代码块并获得锁时,在对象头和栈桢的锁记录里存储偏向锁的线程ID,以后该线程进入和退出不需要进行CAS操作来加锁和解锁

轻量级锁

当偏向锁处于竞争状态,则锁升级为轻量级锁;


图片1.png
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 219,589评论 6 508
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 93,615评论 3 396
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 165,933评论 0 356
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,976评论 1 295
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,999评论 6 393
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,775评论 1 307
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,474评论 3 420
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 39,359评论 0 276
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,854评论 1 317
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 38,007评论 3 338
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 40,146评论 1 351
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,826评论 5 346
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,484评论 3 331
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 32,029评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 33,153评论 1 272
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 48,420评论 3 373
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 45,107评论 2 356

推荐阅读更多精彩内容