Java内存模型与线程模型
![](https://img-blog.csdn.net/20170428102942160?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvZHVhbm11Y2hlbmc=/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/Center)
![](https://img-blog.csdn.net/20170428103007249?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvZHVhbm11Y2hlbmc=/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/Center)
内存模型:
1. 主内存与工作内存
2. 内存间的交互
3. volatile变量
4. 原子性、可见性、顺序性
5. 先行发生原则
线程模型(三种):
1. 内核线程:一对一
2. 用户线程:一对多
3. 混合模型:多对多
一、Java内存模型
1. 主内存与工作内存
java内存模型主要指跟变量相关的内存部分,是虚拟机内存的一部分
主内存:主要存放线程共享变量(包括实例域,静态变量,数组元素)
工作内存:主要存放线程私有变量(共享变量的拷贝以及局部变量与方法参数)
2. 内存间的交互
内存间的交互过程:
所有变量存放在主内存中,线程从主内存中读取变量到工作内存中
线程间无法直接访问对方工作内存中的变量,线程间变量值的传递需要通过主内存完成,线程A先将变量值从工作内存写到主内存,线程B再从主内存读取变量值到自己的工作内存
3. volatile变量
volatile
变量具有两种特性:
(1)保证对于所有线程的可见性
(2)禁止指令重排序优化
具体地有三种规则:
(1)每次使用之前必须从主内存中获取最新值
(2)每次修改之后必须立刻同步回主内存中
(3)禁止指令重排序优化,保证代码执行顺序与程序执行顺序一致
尽管volatile变量在各个线程的工作内存中不存在一致性问题,但并不是并发安全的
因为volatile变量也需要同步回主内存,在此期间也可能发生并发冲突
4. 原子性、可见性、顺序性
原子性
可见性:
当一个线程修改了共享变量的值,其他线程能够立即得知这个修改
有序性:
如果在本线程内观察,所有的操作都是有序的;
如果在一个线程中观察另一个线程,所有的操作都是无序的。
5. 先行发生原则
二、Java线程模型
线程模型有三种:
(1)内核线程,轻量级进程跟内核线程是1:1,使用内核线程的高级接口实现轻量级进程
(2)用户线程,进程跟用户线程是1:N
(3)混合模式,用户线程跟轻量级进程是M:N
Sun JDK在Windows和Linux上使用的是一对一模型,在Solaris上提供一对一和多对多两种模型
Thread类可以定义一个线程,但是这个线程是Native的,也就是平台相关的,是依赖于系统的
Java线程调度:
线程调度就是系统为线程分配CPU的过程,有两种调度方式:协同式和抢占式
状态转换:
sleep和wait的区别:
1、sleep是Thread中的方法,wait是Object中的方法
2、sleep不会释放锁,wait暂时放弃锁
3、wait,notify,notifyAll只能在同步方法或同步控制块中使用,而sleep可以在任何地方使用
2、sleep不会释放锁,wait暂时放弃锁
3、wait,notify,notifyAll只能在同步方法或同步控制块中使用,而sleep可以在任何地方使用
4、sleep必须捕获异常,而wait,notify,notifyAll不需要捕获异常