Java并发编程
感悟
1.技术在解决一个问题的同时,必然会带来另外一个问题
-
概念解析
1.可见性
一个线程对共享变量的修改,另外一个线程能够立刻看到,我们称为可见性
2.原子性
我们把一个或者多个操作在CPU执行的过程中不被中断的特性称为原子性。
备注:CPU能保证的原子操作是CPU指令级别的,而不是高级语言的操作符。
例如:count += 1,至少需要三条CPU指令
·指令1:首先,需要把变量count从内存加载到CPU的寄存器
·指令2:之后,在寄存器中执行+1操作
·指令3:最后,将结果写入内存(缓存机制导致可能写入的是CPU缓存而不是内存)
3.有序性
有序性指的是程序按照代码的先后顺序执行。
备注:编译器为了优化性能,有时候会改变程序中的语句的先后顺序
例如:“a=6;b=7;”编译器优化后可能变成“b=7;a=6;”
4.Happens-Before规则
先行发生=》前面一个操作的结果对后续操作是可见的
规则1:程序的顺序性规则
程序前面对某个变量的修改一定是对后续操作可见的
规则2:volatile变量规则
指对一个volatile变量的写操作,Happens-Before于后续对这个volatile变量的读操作
规则3:传递性
如果 A Happens-Before B,且 B Happens-Before C,那么 A Happens-Before C
规则4:管程中锁的规则
5.死锁
一组互相竞争资源的线程因互相等待,导致“永久”阻塞的现象。
6.管程
管程,对应的英文是 Monitor
所谓管程,指的是管理共享变量以及对共享变量的操作过程,让他们支持并发。翻译为 Java 领域的语言,就是管理类的成员变量和成员方法,让这个类是线程安全的。
二、知识点整理
1.并发问题源头
源头之一:缓存导致的可见性问题
源头之二:线程切换带来的原子性问题
源头之三:编译优化带来的有序性问题
2.解决可见性、有序性最直接的方法
按需禁用缓存以及编译优化。按需禁用就是按照业务需求。
3.volatile
最原始的意义就是禁用CPU缓存,必须从内存中读取或者写入
4.死锁发生的条件
只有以下这四个条件都发生时才会出现死锁:
-
互斥,共享资源 X 和 Y 只能被一个线程占用;
-
占有且等待,线程 T1 已经取得共享资源 X,在等待共享资源 Y 的时候,不释放共享资源 X;
-
不可抢占,其他线程不能强行抢占线程 T1 占有的资源;
-
循环等待,线程 T1 等待线程 T2 占有的资源,线程 T2 等待线程 T1 占有的资源,就是循环等待。
反过来分析,也就是说只要我们破坏其中一个,就可以成功避免死锁的发生。
5.解决死锁的方法
-
对于“占用且等待”这个条件,我们可以一次性申请所有的资源,这样就不存在等待了。
-
对于“不可抢占”这个条件,占用部分资源的线程进一步申请其他资源时,如果申请不到,可以主动释放它占有的资源,这样不可抢占这个条件就破坏掉了。
-
对于“循环等待”这个条件,可以靠按序申请资源来预防。所谓按序申请,是指资源是有线性顺序的,申请的时候可以先申请资源序号小的,再申请资源序号大的,这样线性化后自然就不存在循环了。
6.性能指标
性能方面的度量指标有很多,我觉得有三个指标非常重要,就是:吞吐量、延迟和并发量。
-
吞吐量:指的是单位时间内能处理的请求数量。吞吐量越高,说明性能越好。
-
延迟:指的是从发出请求到收到响应的时间。延迟越小,说明性能越好。
-
并发量:指的是能同时处理的请求数量,一般来说随着并发量的增加、延迟也会增加。
所以延迟这个指标,一般都会是基于并发量来说的。例如并发量是 1000 的时候,延迟是 50 毫秒。
7.通用的线程生命周期
通用的线程生命周期基本上可以用下图这个“五态模型”来描述。这五态分别是:初始状态、可运行状态、运行状态、休眠状态和终止状态。
“五态模型”的详细情况如下所示。
-
初始状态,指的是线程已经被创建,但是还不允许分配 CPU 执行。这个状态属于编程语言特有的,不过这里所谓的被创建,仅仅是在编程语言层面被创建,而在操作系统层面,真正的线程还没有创建。
-
可运行状态,指的是线程可以分配 CPU 执行。在这种状态下,真正的操作系统线程已经被成功创建了,所以可以分配 CPU 执行。
-
当有空闲的 CPU 时,操作系统会将其分配给一个处于可运行状态的线程,被分配到 CPU 的线程的状态就转换成了运行状态。
-
运行状态的线程如果调用一个阻塞的 API(例如以阻塞方式读文件)或者等待某个事件(例如条件变量),那么线程的状态就会转换到休眠状态,同时释放 CPU 使用权,休眠状态的线程永远没有机会获得 CPU 使用权。当等待的事件出现了,线程就会从休眠状态转换到可运行状态。
-
线程执行完或者出现异常就会进入终止状态,终止状态的线程不会切换到其他任何状态,进入终止状态也就意味着线程的生命周期结束了。
这五种状态在不同编程语言里会有简化合并。例如,C 语言的 POSIX Threads 规范,就把初始状态和可运行状态合并了;Java 语言里则把可运行状态和运行状态合并了,这两个状态在操作系统调度层面有用,而 JVM 层面不关心这两个状态,因为 JVM 把线程调度交给操作系统处理了。
8.Java 中线程的生命周期
Java 语言中线程共有六种状态,分别是:
-
NEW(初始化状态)
-
RUNNABLE(可运行 / 运行状态)
-
BLOCKED(阻塞状态)
-
WAITING(无时限等待)
-
TIMED_WAITING(有时限等待)
-
TERMINATED(终止状态)