JMM

模型介绍

JVM定义的java内存模型,用来屏蔽各种硬件和操作系统的内存访问差异,以实现让JAVA程序在各种平台下都能达到的一致的内存访问效果,分为主内存与工作内存,线程对变量的所有操作都必须在工作内存进行,不能直接读写主线程中的变量,不同线程无法直接访问对方工作线程中的变量,线程间变量值得传递需要通过主内存来完成。

8种内存原子交互

主内存的操作(锁定,解锁)

主内存到工作内存:先读取,后载入

工作内存到主内存:先存储,后写入

工作内存到执行引擎:使用

执行引擎到工作内存:赋值

模型特征

原子性:对基本数据类型的8个原子操作都是原子的,long与double占64位,划分为两次32位的操作。

可见性:一个线程修改了共享变量,其他线程立刻感知

volatile:修改后马上刷到主内存

synchronized: 执行unlock 前必须先store和write

final: 构造器初始化完成,this引用还没传递,其他线程就能看见final字段。

有序性:一个线程内观察所有操作,都是有序的;一个线程观察另一个线程都是无序的。

volatile: 禁止字节码指令重新排序

sychronized:同一时刻对一个共享变量只能有一个线程执行lock操作。

线程安全的三种方式

阻塞同步(互斥同步):线程阻塞和唤醒带来性能问题

非阻塞同步:产生了冲突再补偿

无同步:纯代码不涉及共享变量或线程本地存储。

07-19 22:02