第12章 Java内存模型与线程

Java内存模型与线程模型

内存模型：

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可以在任何地方使用

4、sleep必须捕获异常，而wait，notify，notifyAll不需要捕获异常