并发编程笔记(1)

  • 基本概念

1.进程与线程

1)进程

    程序由指令和数据组成,但这些指令要运行,数据要读写,就必须将指令加载至 CPU,数据加载至内存。在指令运行过程中还需要用到磁盘、网络等设备。进程就是用来加载指令、管理内存、管理 IO 的。

    当一个程序被运行,从磁盘加载这个程序的代码至内存,这时就开启了一个进程

    进程就可以视为程序的一个实例。大部分程序可以同时运行多个实例进程(例如记事本、画图、浏览器 等),也有的程序只能启动一个实例进程(例如网易云音乐、360 安全卫士等)

2)线程

    一个进程之内可以分为一到多个线程。

    一个线程就是一个指令流,将指令流中的一条条指令以一定的顺序交给 CPU 执行

    Java 中,线程作为最小调度单位,进程作为资源分配的最小单位。 在 windows 中进程是不活动的,只是作为线程的容器

3)两者对比

    进程基本上相互独立的,而线程存在于进程内,是进程的一个子集 进程拥有共享的资源,如内存空间等,供其内部的线程共享

    进程间通信较为复杂 同一台计算机的进程通信称为 IPC(Inter-process communication)

    不同计算机之间的进程通信,需要通过网络,并遵守共同的协议,例如 HTTP

    线程通信相对简单,因为它们共享进程内的内存,一个例子是多个线程可以访问同一个共享变量 线程更轻量,线程上下文切换成本一般上要比进程上下文切换低

2.并行与并发

并发是一个CPU在不同的时间去不同线程中执行指令。

并行是多个CPU同时处理不同的线程。

引用 Rob Pike 的一段描述:

    并发(concurrent)是同一时间应对(dealing with)多件事情的能力

    并行(parallel)是同一时间动手做(doing)多件事情的能力

3.应用

同步和异步的概念

以调用方的角度讲,如果

    需要等待结果返回才能继续运行的话就是同步

    不需要等待就是异步

1)设计

多线程可以使方法的执行变成异步的,比如说读取磁盘文件时,假设读取操作花费了5秒,如果没有线程的调度机制,那么 cpu 只能等 5 秒,啥都不能做。

2) 结论

比如在项目中,视频文件需要转换格式等操作比较费时,这时开一个新线程处理视频转换,避免阻塞主线程

tomcat 的异步 servlet 也是类似的目的,让用户线程处理耗时较长的操作,避免阻塞 tomcat 的工作线程

ui 程序中,开线程进行其他操作,避免阻塞 ui 线程

结论

1) 单核 cpu 下,多线程不能实际提高程序运行效率,只是为了能够在不同的任务之间切换,不同线程轮流使用 cpu ,不至于一个线程总占用 cpu,别的线程没法干活

2)多核 cpu 可以并行跑多个线程,但能否提高程序运行效率还是要分情况的

    有些任务,经过精心设计,将任务拆分,并行执行,当然可以提高程序的运行效率。但不是所有计算任 务都能拆分(参考后文的【阿姆达尔定律】)

    也不是所有任务都需要拆分,任务的目的如果不同,谈拆分和效率没啥意义

3)IO 操作不占用 cpu,只是我们一般拷贝文件使用的是【阻塞 IO】,这时相当于线程虽然不用 cpu,但需要一直等待 IO 结束,没能充分利用线程。所以才有后面的【非阻塞 IO】和【异步 IO】优化

二.Java线程

1.线程的创建与运行

2.线程运行原理

1)栈与栈帧

虚拟机栈描述的是Java方法执行的内存模型:

每个方法被执行的时候都会同时创建一个栈帧(stack frame)用于存储局部变量表、操作数栈、动态链接、方法出口等信息,是属于线程的私有的。

当java中使用多线程时,每个线程都会维护它自己的栈帧!每个线程只能有一个活动栈帧,对应着当前正在执行的那个方法,当方法执行完会来到栈帧中的方法出口地址位置,然后从栈中 pop 出栈帧。

2)线程上下文切换(Thread Context Switch)

因为以下一些原因导致 cpu 不再执行当前的线程,转而执行另一个线程的代码

被动原因:

    线程的 cpu 时间片用完(每个线程轮流执行,看前面并行的概念)

    垃圾回收(暂停所有用户线程)

    有更高优先级的线程需要运行

主动原因:

    线程自己调用了 sleep、yield、wait、join、park、synchronized、lock 等方法

当 Context Switch 发生时,需要由操作系统保存当前线程的状态,并恢复另一个线程的状态,Java 中对应的概念 就是程序计数器(Program Counter Register),它的作用是记住下一条 jvm 指令的执行地址,是线程私有的。

3.Thread常见方法

1)start() VS run()

发现两种结果是不一样的,使用 start 方式,CPU 会为创建的线程分配时间片,线程进入运行状态,然后线程调用 run 方法执行逻辑。直接使用 run 的方式,虽然会创建线程,但是它是直接调用方法,而不是像 start 方式那样触发的,这个线程对象会处一直处在新建状态,从结果上也可以看出,run 方法是 main 线程调用,而不是 t1 线程。

2)sleep() VS yield()

sleep (使线程阻塞)

    1)调用 sleep 会让当前线程从 Running 进入 Timed Waiting 状态(阻塞,cpu不会分配时间片),可通过state()方法查看

    2)其它线程可以使用 interrupt 方法打断正在睡眠的线程,这时 sleep 方法会抛出 InterruptedException(state:RUNNABLE)

    3)睡眠结束后的线程未必会立刻得到执行

4)建议用 TimeUnit 的 sleep 代替 Thread 的 sleep 来获得更好的可读性

3)yield (让出当前线程)

 调用 yield 会让当前线程从 Running 进入 Runnable 就绪状态(仍然有可能被执行),然后调度执行其它线程

 具体的实现依赖于操作系统的任务调度器

4)线程优先级

线程优先级会提示(hint)调度器优先调度该线程,但它仅仅是一个提示,调度器可以忽略它 如果 cpu 比较忙,那么优先级高的线程会获得更多的时间片,但 cpu 闲时,优先级几乎没作用

Sleep应用

3)join()

用于等待某个线程结束。哪个线程调用join()方法,就等待哪个线程结束,然后再去执行其他线程。
如在主线程中调用ti.join(),则是主线程等待t1线程结束,join 采用同步。

4)interrupt()

interrupt 打断线程有两种情况,如下:

    如果一个线程在运行中被打断,打断标记会被置为 true 。

如果是打断因sleep wait join 方法而被阻塞的线程,抛出异常后会将打断标记重置为 false 。

应用:两阶段终止

Two Phase Termination,就是考虑在一个线程T1中如何优雅地终止另一个线程T2?这里的优雅指的是给T2一个料理后事的机会(如释放锁)。

isInterrupted() 与 interrupted() 比较,如下:

首先,isInterrupted 是实例方法,interrupted 是静态方法,它们的用处都是查看当前打断的状态,但是 isInterrupted 方法查看线程的时候,不会将打断标记清空,也就是置为 false,interrupted 查看线程打断状态后,会将打断标志置为 false,也就是清空打断标记

5)守护线程

默认情况下,java进程需要等待所有的线程结束后才会停止,但是有一种特殊的线程,叫做守护线程,在其他线程全部结束的时候即使守护线程还未结束代码未执行完java进程也会停止。普通线程t1可以调用 t1.setDeamon(true); 方法变成守护线程。

注意

垃圾回收器线程就是一种守护线程

Tomcat 中的 Acceptor 和 Poller 线程都是守护线程,所以 Tomcat 接收到 shutdown 命令后,不会等 待它们处理完当前请求。

4.线程状态

1)线程的5种状态

从操作系统层划分,线程有 5 种状态

1)初始状态,仅仅是在语言层面上创建了线程对象,即Thead thread = new Thead();,还未与操作系统线程关联

2)可运行状态,也称就绪状态,指该线程已经被创建,与操作系统相关联,等待cpu给它分配时间片就可运行

3)运行状态,指线程获取了CPU时间片,正在运行,当CPU时间片用完,线程会转换至【可运行状态】,等待 CPU再次分配时间片,会导致我们前面讲到的上下文切换

4)阻塞状态

    1)如果调用了阻塞API,如BIO读写文件,那么线程实际上不会用到CPU,不会分配CPU时间片,会导致上下文切换,进入【阻塞状态】

    2)等待BIO操作完毕,会由操作系统唤醒阻塞的线程,转换至【可运行状态】

    3)与【可运行状态】的区别是,只要操作系统一直不唤醒线程,调度器就一直不会考虑调度它们,CPU就一直不会分配时间片

5)终止状态,表示线程已经执行完毕,生命周期已经结束,不会再转换为其它状态

2)线程的六种状态

注:上图中的 阻塞状态 表示操作系统中由于调用阻塞API而产生的阻塞

1)NEW 跟五种状态里的初始状态是一个意思

2)RUNNABLE 是当调用了 start() 方法之后的状态,注意,Java API 层面的 RUNNABLE 状态涵盖了操作系统层面的【可运行状态】、【运行状态】和【io阻塞状态】(由于调用阻塞API导致的线程阻塞,在 Java 里无法区分,仍然认为是可运行)

3)BLOCKED , WAITING , TIMED_WAITING 都是 Java API 层面对【阻塞状态】的细分。

BLOCKED:获取锁失败而阻塞

WAITING:调用了wait()或者join()

TIMED_WAITING:调用了sleep()

结论

本章的重点在于掌握

1)线程的创建

2)线程重要的 API,如 start、run、sleep、yield、join、interrupt 等

3)线程的状态

4)原理方面,线程的运行流程,栈、栈帧、上下文切换、程序计数器等知识。

5)Thread 两种创建线程的源码

6)使用 interrupt 来编写两阶段终止

三.共享模型之管程

1.线程共享带来的问题

1)小例子

问题分析:

以上的结果可能是正数、负数、零。为什么呢?因为 Java 中对静态变量的自增,自减并不是原子操作,要彻底理解,必须从字节码来进行分析例如对于i++而言(i 为静态变量),实际会产生如下的 JVM 字节码指令:

以出现负数为例:

当 CPU 时间片分给 t1 线程时,t1 线程去读取变量值为 0 并且执行 ++ 的操作,如上在字节码自增操作中,当 t1 执行完自增,还没来得及将修改后的值存入静态变量时,假如线程的时间片用完了,并且 CPU 将时间片分配给 t2 线程,t2 线程拿到时间片执行自减操作,并且将修改后的值存入静态变量,此时 count 的值为 -1,但是当 CPU 将时间片分给经历了上下文切换的 t1 线程时,t1 将修改后的值存入静态变量,此时 counter 的值为 1,覆盖了 t2 线程执行的结果,出现了丢失更新,这就是多线对共享资源读取的问题。出现问题的关键原因是因为CPU时间片切换出现的线程间指令交错

2)临界区 Critical Section

一个程序运行多个线程本身是没有问题的,问题出在多个线程访问共享资源

多个线程读共享资源其实也没有问题

    在多个线程对共享资源读写操作时发生指令交错,就会出现问题

一段代码块内如果存在对共享资源的多线程读写操作,称这段代码块为临界区

3)竞态条件 Race Condition

多个线程在临界区内执行,由于代码的执行序列不同而导致结果无法预测,称之为发生了竞态条件

2、synchronized 解决方案

为了避免临界区中的竞态条件发生,由多种手段可以达到。

   1) 阻塞式解决方案:synchronized ,Lock

   2) 非阻塞式解决方案:原子变量

现在讨论使用 synchronized 来进行解决,即俗称的对象锁,它采用互斥的方式让同一时刻至多只有一个线程持有对象锁,其他线程如果想获取这个锁就会阻塞住,这样就能保证拥有锁的线程可以安全的执行临界区内的代码,不用担心线程上下文切换。

例子:

synchronized 实际是用对象锁保证了临界区内代码的原子性,临界区内的代码对外是不可分割的,不会被线程切换所打断。

synchronized加在成员方法上,锁住的是对象

synchronized加在静态方法上,锁住的是

3.变量的线程安全分析

1)成员变量和静态变量的线程安全分析

  • 如果变量没有在线程间共享,那么线程对该变量操作是安全的
  • 如果变量在线程间共享
    • 如果只有读操作,则线程安全
    • 如果有读写操作,则这段代码就是临界区,需要考虑线程安全问题

2)局部变量线程安全分析

  • 局部变量【局部变量被初始化为基本数据类型】是安全的
  • 局部变量是引用类型或者是对象引用则未必是安全的
  • 如果该对象没有逃离方法的作用范围,线程安全
  • 如果该对象逃离了方法的作用范围,需要考虑线程安全问题

局部变量被初始化为基本数据类型是安全的,因为每个线程都会有一份 test(),栈帧放在线程私有的栈中,多个线程就有多个,是不被多个线程共享的,所有就没有线程安全问题。

例子:

此时list为局部变量,每个线程调用时会创建不同的实例,没有共享

从这个例子可以看出 privatefinal 提供【安全】的意义所在,请体会开闭原则中的【闭】

Private禁止子类去重写,使局部变量逃离方法的作用范围

这里所说的线程安全指的是多个线程调用他们的同一个实例方法时,也可以理解为:

   1)每个方法是原子的

   2)但注意多个方法的组合并不是原子的

如上图所示,当使用方法组合时,出现了线程安全问题,当线程 1 执行完 get(“key”) ,这是一个原子操作没出问题,但是在 get(“key”) == null 比较时,如果线程的时间片用完了,线程 2 获取时间片执行了 get(“key”) == null 操作,然后进行 put(“key”, “v2”) 操作,结束后,线程 1 被分配 cpu 时间片继续执行,执行 put 操作就会出现线程安全问题(写覆盖)。

不可变类的线程安全问题

String和Integer类都是不可变的类,因为其类内部状态是不可改变的(只读),因此它们的方法都是线程安全的,有同学或许有疑问,String 有 replace,substring 等方法【可以】改变值啊,其实调用这些方法返回的已经是一个新创建的对象了!

public final class String{}

在类级别上标注final禁止其他类去继承,防止子类去覆盖类中的方法将类中的变量传递给其他线程,造成线程安全问题。

转账例子:

下边这种写法可以解决线程安全问题嘛?

不可以,synchronized加在实例方法上锁住的是当前对象this,而转账操作涉及到了两个账户的money变量,所以需要锁住Account.class(但是其他账户的转账操作都需要等待,待改进)

4.Monitor概念

1)Java对象头

所以一个对象的结构如下:

2)Monitor原理

Monitor 被翻译为监视器或者说管程
每个 java 对象都可以关联一个 Monitor ,如果使用 synchronized 给对象上锁(重量级),该对象头的 Mark Word 中就被设置为指向 Monitor 对象的指针。

   1) 刚开始时 Monitor 中的 Owner 为 null

   2)当 Thread-2 执行 synchronized(obj){} 代码时就会将 Monitor 的所有者Owner 设置为 Thread-2,上锁成功,Monitor 中同一时刻只能有一个 Owner

   3)当 Thread-2 占据锁时,如果线程 Thread-3 ,Thread-4 也来执行synchronized(obj){} 代码,就会进入 EntryList(阻塞队列中变成BLOCKED(阻塞)状态

   4)Thread-2 执行完同步代码块的内容,然后唤醒 EntryList 中等待的线程来竞争锁,竞争时是非公平的

   5)图中 WaitSet 中的 Thread-0,Thread-1 是之前获得过锁,但条件不满足进入 WAITING 状态的线程,后面讲 wait-notify 时会分析

注意:synchronized 必须是进入同一个对象的 monitor 才有上述的效果

不加 synchronized 的对象不会关联监视器,不遵从以上规则

3)轻量级锁

轻量级锁的使用场景是:如果一个对象虽然有多个线程要对它进行加锁,但是加锁的时间是错开的(也就是没有人可以竞争的),那么可以使用轻量级锁来进行优化。轻量级锁对使用者是透明的,即语法仍然是 synchronized ,假设有两个方法同步块,利用同一个对象加锁

1.每次指向到 synchronized 代码块时,都会创建锁记录(Lock Record)对象,每个线程都会包括一个锁记录的结构,锁记录内部可以储存对象的 Mark Word 和对象引用 reference

当执行到synchronized(obj)时会在栈中创建LockRecord

2.让锁记录中的 Object reference 指向对象,并且尝试用 cas(compare and sweep) 替换 Object 对象的 Mark Word ,将 Mark Word 的值存入锁记录中。

交换(CAS)LockRecord的地址和锁对象的Mark Word(存入锁记录中,解锁时还原),将对象的state置为Lightweight Locked(00),同时通过LockRecord的地址来指明是哪个线程对对象上锁

3. 如果 cas 替换成功,那么对象的对象头储存的就是锁记录的地址和状态 00 表示轻量级锁,如下所示

4.如果cas失败,有两种情况

    1)如果是其它线程已经持有了该 Object 的轻量级锁,那么表示有竞争,首先会进行自旋锁,自旋一定次数后,如果还是失败就进入锁膨胀阶段。

    2)如果是自己的线程已经执行了 synchronized 进行加锁,那么再添加一条 Lock Record 作为重入的计数

可重入锁,利用Lock Record来作为重入计数

5.当线程退出 synchronized 代码块的时候,如果获取的是取值为 null 的锁记录,表示有重入,这时重置锁记录,表示重入计数减一

6.当线程退出 synchronized 代码块的时候,如果获取的锁记录取值不为 null,那么使用 cas 将 Mark Word 的值恢复给对象

    1)成功则解锁成功

2)失败,则说明轻量级锁进行了锁膨胀或已经升级为重量级锁,进入重量级锁解锁流程

4)锁膨胀

如果在尝试加轻量级锁的过程中,cas 操作无法成功(有竞争),这是有一种情况就是其它线程已经为这个对象加上了轻量级锁,这是就要进行锁膨胀,将轻量级锁变成重量级锁。

1.当 Thread-1 进行轻量级加锁时,Thread-0 已经对该对象加了轻量级锁

2.这时 Thread-1 加轻量级锁失败,进入锁膨胀流程,

    1)即为对象申请Monitor锁,让Object指向重量级锁地址,并将state变为10,Heavyweight Locked

2)然后自己(Thread-1)进入Monitor 的EntryList 变成BLOCKED状态

3. 当 Thread-0 退出 synchronized 同步块时,使用 cas 将 Mark Word 的值恢复给对象头,失败(mark word已经指向Monitor),对象的对象头指向 Monitor,那么会进入重量级锁的解锁过程,即按照 Monitor 的地址找到 Monitor 对象,将 Owner 设置为 null ,唤醒 EntryList 中的 Thread-1 线程.

5)自旋优化

重量级锁竞争的时候,还可以使用自旋来进行优化,如果当前线程自旋成功(即在自旋的时候持锁的线程释放了锁),那么当前线程就可以不用进行上下文切换就获得了锁

1.自旋重试成功的情况

2. 自旋重试失败的情况,自旋了一定次数还是没有等到持锁的线程释放锁

1)自旋会占用 CPU 时间,单核 CPU 自旋就是浪费,多核 CPU 自旋才能发挥优势。

2)在 Java 6 之后自旋锁是自适应的,比如对象刚刚的一次自旋操作成功过,那么认为这次3)自旋成功的可能性会高,就多自旋几次;反之,就少自旋甚至不自旋,总之,比较智能。

Java 7 之后不能控制是否开启自旋功能

6)偏向锁

轻量级锁在没有竞争时(就自己这个线程),每次重入仍然需要执行 CAS 操作。Java 6 中引入了偏向锁来做进一步优化:只有第一次使用 CAS 将线程 ID 设置到对象的 Mark Word ,之后发现这个线程 ID 是自己的就表示没有竞争,不用重新 CAS。以后只要不发生竞争,这个对象就归该线程所有

1)在使用轻量级锁的情况下,每次锁重入时都会进行CAS操作尝试将Mark Word中的锁记录替换(发现是同一个线程,将lock record作为锁重入的计数),比较耗费性能

2)只有第一次使用CAS将ThreadID设置到对象的Mark Word中,重入时只需要比较ThreadID

偏向状态

一个对象的创建过程

    1)如果开启了偏向锁(默认是开启的),那么对象刚创建之后,Mark Word 最后三位的值101,并且这是它的 Thread,epoch,age 都是 0 ,在加锁的时候进行设置这些的值.

    2)偏向锁默认是延迟的,不会在程序启动的时候立刻生效,如果想避免延迟,可以添加虚拟机参数来禁用延迟:-XX:BiasedLockingStartupDelay=0 来禁用延迟

    3) 如果没有开启偏向锁,那么对象创建后,markword 值为 0x01 即最后 3 位为 001,这时它的 hashcode、age 都为 0,第一次用到 hashcode 时才会赋值

 注意:处于偏向锁的对象解锁后,线程 id 仍存储于对象头中

偏向锁对象Mark Word中存储的是线程id,如果调用hashCode,会导致偏向锁被撤销(没有位置去记录对象的hashCode,将threadId清理来存储hashCode)

撤销偏向

以下几种情况会使对象的偏向锁失效

    1)调用对象的 hashCode 方法

    2)多个线程使用该对象,导致偏向锁升级为轻量级锁

    3)调用了 wait/notify 方法(调用wait方法会导致锁膨胀而使用重量级锁)

可以看出偏向锁转为轻量级锁,将thread id清空重置为lock record,解锁后偏向锁标志位为0,不可用

批量重偏向

如果对象虽然被多个线程访问,但没有竞争,这时偏向了线程 T1 的对象仍有机会重新偏向 T2,重偏向会重置对象的 Thread ID当撤销偏向锁阈值超过 20 次后,jvm 会这样觉得,我是不是偏向错了呢,于是会在给这些对象加锁时重新偏向至加锁线程

批量地将原本偏向t1的对象偏向t2(改变锁对象中的thread id)

批量撤销

当撤销偏向锁阈值超过 40 次后,jvm 会这样觉得,自己确实偏向错了,根本就不该偏向。于是整个类的所有对象都会变为不可偏向的,新建的对象也是不可偏向的

5.Wait/Notify原理

1)原理

    1.锁对象调用wait方法(obj.wait),就会使当前线程进入 WaitSet 中,变为 WAITING 状态。

    2.处于BLOCKED和 WAITING 状态的线程都为阻塞状态,CPU 都不会分给他们时间片。但是有所区别:

        1)BLOCKED 状态的线程是在竞争对象时,发现 Monitor 的 Owner 已经是别的线程了,此时就会进入 EntryList 中,并处于 BLOCKED 状态

        2)WAITING 状态的线程是获得了对象的锁,但是自身因为某些原因需要进入阻塞状态时,锁对象调用了 wait 方法而进入了 WaitSet 中,处于 WAITING 状态

    3.BLOCKED 状态的线程会在锁被释放的时候被唤醒,但是处于 WAITING 状态的线程只有被锁对象调用了 notify 方法(obj.notify/obj.notifyAll),才会被唤醒。被唤醒后并不意味着立刻获取锁,而是进入EntryList中重新竞争锁

注:只有当对象加锁以后,才能调用 wait 和 notify 方法

2)Wait与Sleep的区别

1.Sleep 是 Thread 类的静态方法,Wait 是 Object 的方法,Object 又是所有类的父类,所以所有类都有Wait方法。

2.Sleep 在阻塞的时候不会释放锁,而 Wait 在阻塞的时候会释放锁,它们都会释放 CPU 资源。

3.Sleep 不需要与 synchronized 一起使用,而 Wait 需要与 synchronized 一起使用(对象被锁以后才能使用)

4.使用 wait 一般需要搭配 notify 或者 notifyAll 来使用,不然会让线程一直等待。

3)正确使用wait/notify

1.当线程不满足某些条件,需要暂停运行时,可以使用 wait 。这样会将对象的锁释放,让其他线程能够继续运行。如果此时使用 sleep,会导致所有线程都进入阻塞,导致所有线程都没法运行,直到当前线程 sleep 结束后,运行完毕,才能得到执行。

2.使用wait/notify需要注意什么?

当有多个线程在运行时,对象调用了 wait 方法,此时这些线程都会进入 WaitSet 中等待。如果这时使用了 notify 方法,可能会造成虚假唤醒(唤醒的不是满足条件的等待线程),这时就需要使用 notifyAll 方法,使用while()来使不满足条件的线程重新进入WaitSet中阻塞。

4)同步模式之保护性暂停

Guarded Suspension

用在一个线程等待另一个线程的执行结果

要点

1.有一个结果需要从一个线程传递到另一个线程,让他们关联同一个 GuardedObject

2.如果有结果不断从一个线程到另一个线程那么可以使用消息队列(见生产者/消费者)

3.JDK 中,join 的实现、Future 的实现,采用的就是此模式因为要等待另一方的结果,因此归类到同步模式

增加超时时间的保护性暂停

Join原理  - 利用了保护性暂停的思想

While条件,调用者轮循检查线程的alive状态

多任务版Guarded Suspension

中间解耦类

业务类

测试类  postman和people是意义对应的关系

5)生产者/消费者模式

要点

    1)与前面的保护性暂停中的 GuardObject 不同,不需要产生结果和消费结果的线程一一对应

    2)消费队列可以用来平衡生产和消费的线程资源

    3)生产者仅负责产生结果数据,不关心数据该如何处理,而消费者专心处理结果数据

    4)消息队列是有容量限制的,满时不会再加入数据,空时不会再消耗数据

    5)JDK 中各种阻塞队列,采用的就是这种模式

“异步”的意思就是生产者产生消息之后消息没有被立刻消费,而“同步模式”中,消息在产生之后被立刻消费了。

小结:

1)当调用 wait 时,首先需要确保调用了 wait 方法的线程已经持有了对象的锁(调用 wait 方法的代码片段需要放在 sychronized 块或者时 sychronized 方法中,这样才可以确保线程在调用wait方法前已经获取到了对象的锁)

2)当调用 wait 时,该线程就会释放掉这个对象的锁,然后进入等待状态 (wait set)

3)当线程调用了 wait 后进入到等待状态时,它就可以等待其他线程调用相同对象的 notify 或者 notifyAll 方法使得自己被唤醒

4)一旦这个线程被其它线程唤醒之后,该线程就会与其它线程开始竞争这个对象的锁;只有当该线程获取到对象的锁后,线程才会继续往下执行

5)当调用对象的 notify 方法时,他会随机唤醒对象等待集合 (wait set) 中的任意一个线程,当某个线程被唤醒后,它就会与其它线程一同竞争对象的锁

6)当调用对象的 notifyAll 方法时,它会唤醒该对象等待集合 (wait set) 中的所有线程,这些线程被唤醒后,又会开始竞争对象的锁

7)在某一时刻,只有唯一的一个线程能拥有对象的锁

6)Park & Unpark

特点:

与 Object 的 wait & notify 相比

1)wait,notify 和 notifyAll 必须配合 Object Monitor 一起使用,而 park,unpark 不必

2)park & unpark 是以线程为单位来【阻塞】和【唤醒】线程,而 notify 只能随机唤醒一个等待线程,notifyAll 是唤醒所有等待线程,就不那么【精确】

3)park & unpark 可以先 unpark,而 wait & notify 不能先 notify

原理

每个线程都有自己的一个 Parker 对象,由三部分组成_counter,_cond和_mutex

1)先调用park再调用upark的过程

1.先调用 park

    1)当前线程调用 Unsafe.park() 方法

    2)检查 _counter ,本情况为 0,这时,获得 _mutex 互斥锁(mutex对象有个等待队列 _cond)

    3)线程进入 _cond 条件变量阻塞

    4)设置 _counter = 0

2.调用 unpark

    1)调用 Unsafe.unpark(Thread_0) 方法,设置 _counter 为 1

    2)唤醒 _cond 条件变量中的 Thread_0

    3)Thread_0 恢复运行

    4)设置 _counter 为 0

2)先调用unpark再调用park的过程

1.调用 Unsafe.unpark(Thread_0) 方法,设置 _counter 为 1

2)当前线程调用 Unsafe.park() 方法

3)检查 _counter ,本情况为 1,这时线程无需阻塞,继续运行

4)设置 _counter 为 0

6.线程状态转换

1)情况一:NEW –> RUNNABLE

当调用了 t.start() 方法时,由 NEW –> RUNNABLE

2)情况二: RUNNABLE <–> WAITING

    当调用了t 线程用 synchronized(obj) 获取了对象锁后,调用 obj.wait() 方法时,t 线程从 RUNNABLE –> WAITING

    调用 obj.notify() , obj.notifyAll() , t.interrupt() 时,

        竞争锁成功,t 线程从 WAITING –> RUNNABLE

        竞争锁失败,t 线程从 WAITING –> BLOCKED

3)情况三:RUNNABLE <–> WAITING

    当前线程调用 t.join() 方法时,当前线程从 RUNNABLE –> WAITING

    t 线程运行结束,或调用了当前线程的 interrupt() 时,当前线程从 WAITING –> RUNNABLE

4)情况四: RUNNABLE <–> WAITING

    当前线程调用 LockSupport.park() 方法会让当前线程从 RUNNABLE –> WAITING

    调用 LockSupport.unpark(目标线程) 或调用了线程 的 interrupt() ,会让目标线程从 WAITING –> RUNNABLE

5)情况五: RUNNABLE <–> TIMED_WAITING

t 线程用 synchronized(obj) 获取了对象锁后

    调用 obj.wait(long n) 方法时,t 线程从 RUNNABLE –> TIMED_WAITING

    t 线程等待时间超过了 n 毫秒,或调用 obj.notify() , obj.notifyAll() , t.interrupt() 时

        竞争锁成功,t 线程从 TIMED_WAITING –> RUNNABLE

        竞争锁失败,t 线程从 TIMED_WAITING –> BLOCKED

6)情况六:RUNNABLE <–> TIMED_WAITING

    当前线程调用 t.join(long n) 方法时,当前线程从 RUNNABLE –> TIMED_WAITING

    注意是当前线程在 t 线程对象的监视器上等待

    当前线程等待时间超过了 n 毫秒,或 t 线程运行结束,或调用了当前线程的 interrupt() 时,当前线程从 TIMED_WAITING –> RUNNABLE

7)情况七:RUNNABLE <–> TIMED_WAITING

    当前线程调用 Thread.sleep(long n) ,当前线程从 RUNNABLE –> TIMED_WAITING

    当前线程等待时间超过了 n 毫秒,当前线程从 TIMED_WAITING –> RUNNABLE

8)情况八:RUNNABLE <–> TIMED_WAITING

    当前线程调用 LockSupport.parkNanos(long nanos) 或 LockSupport.parkUntil(long millis) 时,当前线 程从 RUNNABLE –> TIMED_WAITING

    调用 LockSupport.unpark(目标线程) 或调用了线程 的 interrupt() ,或是等待超时,会让目标线程从 TIMED_WAITING–> RUNNABLE

9)情况九:RUNNABLE <–> BLOCKED

    t 线程用 synchronized(obj) 获取了对象锁时如果竞争失败,从 RUNNABLE –> BLOCKED

    持 obj 锁线程的同步代码块执行完毕,会唤醒该对象上所有 BLOCKED 的线程重新竞争,如果其中 t 线程竞争 成功,从 BLOCKED –> RUNNABLE ,其它失败的线程仍然 BLOCKED

10)情况十: RUNNABLE <–> TERMINATED

当前线程所有代码运行完毕,进入 TERMINATED

7.活跃性

将锁的粒度细分

好处,是可以增强并发度

坏处,如果一个线程需要同时获得多把锁,就容易发生死锁

线程因为某些原因,导致代码一直无法执行完毕,这种的现象叫做活跃性。

1.死锁

一个线程需要同时获取多把锁,这时就容易发生死锁

如:t1 线程获得 A 对象锁,接下来想获取 B 对象的锁 t2 线程获得 B 对象锁,接下来想获取 A 对象的锁。

死锁产生的必要条件

1)互斥条件

在一段时间内,一种资源只能被一个进程所使用

2)请求和保持条件

进程已经拥有了至少一种资源,同时又去申请其他资源。因为其他资源被别的进程所使用,该进程进入阻塞状态,并且不释放自己已有的资源

3)不可抢占条件

进程对已获得的资源在未使用完成前不能被强占,只能在进程使用完后自己释放

4)循环等待条件

发生死锁时,必然存在一个进程——资源的循环链

定位死锁

1)检测死锁可以使用 jconsole工具;

2)使用 jps 定位进程 id,再用 jstack 根据进程 id 定位死锁。

哲学家就餐问题

有五位哲学家,围坐在圆桌旁。 他们只做两件事,思考和吃饭,思考一会吃口饭,吃完饭后接着思考。 吃饭时要用两根筷子吃,桌上共有 5 根筷子,每位哲学家左右手边各有一根筷子。 如果筷子被身边的人拿着,自己就得等待 。

当每个哲学家即线程持有一根筷子时,他们都在等待另一个线程释放锁,因此造成了死锁。这种线程没有按预期结束,执行不下去的情况,归类为【活跃性】问题,除了死锁以外,还有活锁和饥饿者两种情况。

解决死锁:按照顺序加锁(可能出现饥饿现象)

2.活锁

活锁出现在两个线程互相改变对方的结束条件,谁也无法结束。

1 避免活锁的方法

在线程执行时,中途给予不同的间隔时间即可。

2 死锁与活锁的区别

    1)死锁是因为线程互相持有对象想要的锁,并且都不释放,最后到时线程阻塞,停止运行的现象。

   2) 活锁是因为线程间修改了对方的结束条件,而导致代码一直在运行,却一直运行不完的现象。

3.饥饿

某些线程因为优先级太低,导致一直无法获得资源的现象。
在使用顺序加锁时,可能会出现饥饿现象

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值