三.并发理论总结3-规避死锁

淡淡的烟草味﹌ 2021-09-18 04:00 256阅读 0赞

# 死锁的理论基础 #

## 什么是死锁？ ##

**一组互相竞争资源的线程因互相等待，导致“永久”阻塞的现象。**

## 一个形象的例子 ##

比如古代转账都需要那自己的账本和别人的账本自己的减少，别人的增加，当A,B两个用户彼此同时互相转账时，两者的柜员都先拿走其对应客户A/B自己的账本，在进行转账，去拿被转入账户的账本时，发现对方账本都被各自对应的柜员拿走了，那么两个柜员都等待各自转账的账本被归还才能进行转账，从而进入了无限等待状态。

## 触发死锁的四个条件（来自外国一个叫考夫曼的家伙） ##

1.  互斥，共享资源 X 和 Y 只能被一个线程占用；
2.  占有且等待，线程 T1 已经取得共享资源 X，在等待共享资源 Y 的时候，不释放共享资源 X；
3.  不可抢占，其他线程不能强行抢占线程 T1 占有的资源；
4.  循环等待，线程 T1 等待线程 T2 占有的资源，线程 T2 等待线程 T1 占有的资源，就是循环等待。

# 规避死锁的方案 #

通过触发死锁的四个条件来提出解决方案,按照这四个触发条件来破题。

## 1.互斥 ##

共享资源X和Y只在一个线程中使用。

## 2.占有且等待 ##

等待通知机制

### 用 synchronized 实现等待 - 通知机制 ###

# 死锁的理论基础 #

## 什么是死锁？ ##

**一组互相竞争资源的线程因互相等待，导致“永久”阻塞的现象。**

## 一个形象的例子 ##

比如古代转账都需要那自己的账本和别人的账本自己的减少，别人的增加，当A,B两个用户彼此同时互相转账时，两者的柜员都先拿走其对应客户A/B自己的账本，在进行转账，去拿被转入账户的账本时，发现对方账本都被各自对应的柜员拿走了，那么两个柜员都等待各自转账的账本被归还才能进行转账，从而进入了无限等待状态。

## 触发死锁的四个条件（来自外国一个叫考夫曼的家伙） ##

1.  互斥，共享资源 X 和 Y 只能被一个线程占用；
2.  占有且等待，线程 T1 已经取得共享资源 X，在等待共享资源 Y 的时候，不释放共享资源 X；
3.  不可抢占，其他线程不能强行抢占线程 T1 占有的资源；
4.  循环等待，线程 T1 等待线程 T2 占有的资源，线程 T2 等待线程 T1 占有的资源，就是循环等待。

# 规避死锁的方案 #

通过触发死锁的四个条件来提出解决方案,按照这四个触发条件来破题。

## 1.互斥 ##

共享资源X和Y只在一个线程中使用。

## 2.占有且等待 ##

等待通知机制

### 用 synchronized 实现等待 - 通知机制 ###

![18721752-9fdfcb8dbfdf6f89.png][]

image.png

**这个等待队列和互斥锁是一对一的关系，每个互斥锁都有自己独立的等待队列。**

**组合**

wait()、notify()和notifyAll()

### 用lock实现等待 - 通知机制 ###

**组合**

lock,await，signalAll

## 3.不可抢占 ##

终止线程，interuptNow

## 4.循环等待 ##

可以靠按序申请资源来预防。所谓按序申请，是指资源是有线性顺序的，申请的时候可以先申请资源序号小的，再申请资源序号大的，这样线性化后自然就不存在循环了。

### notice: ###

按照某个序号申请，那么也就可以让一组互相竞争资源的线程，同时都拿一把锁对象，那么后拿到的就进入阻塞状态，直到锁对象资源被释放。

**这个等待队列和互斥锁是一对一的关系，每个互斥锁都有自己独立的等待队列。**

**组合**

wait()、notify()和notifyAll()

### 用lock实现等待 - 通知机制 ###

**组合**

lock,await，signalAll

## 3.不可抢占 ##

终止线程，interuptNow

## 4.循环等待 ##

可以靠按序申请资源来预防。所谓按序申请，是指资源是有线性顺序的，申请的时候可以先申请资源序号小的，再申请资源序号大的，这样线性化后自然就不存在循环了。

### notice: ###

按照某个序号申请，那么也就可以让一组互相竞争资源的线程，同时都拿一把锁对象，那么后拿到的就进入阻塞状态，直到锁对象资源被释放。

[18721752-9fdfcb8dbfdf6f89.png]: /images/20210918/d40d478a0fc54f4aa05e3be241400779.png

发表评论取消回复

表情：

评论列表（有 0 条评论，256人围观）

还没有评论，来说两句吧...

相关阅读

相关并发安全工具类（3）：并发死锁问题

1 什么是死锁 > 发生在并发中 > 互不相让：当两个（或更多）线程（或进程）相互持有对方所需要的资源，又不主动释放，导致所有人都无法继续前进，导致程序陷入无

我就是我/ 2023年06月30日 02:51/ 0 赞/ 45 阅读

相关 mysql并发死锁案例

我们通常会有这样的一个场景先查询有没有数据，然后进行插入或更新。例如有如下场景，id为主键列 client1

拼搏现实的明天。/ 2023年01月22日 14:47/ 0 赞/ 127 阅读

相关 linux mysql 查看死锁_MySQL死锁发生原理及最大化规避

InnoDB死锁原理：死锁的情况发在不同的的事务相互之间拥有对需要的锁，导致相互直限等待死锁可能发在不同的事务都会对多个相同的表和相同的上施加锁，但事务对表的操作顺序不

客官°小女子只卖身不卖艺/ 2022年10月27日 01:54/ 0 赞/ 105 阅读

相关 SqlServer并发事务：死锁跟踪（三）3种跟踪死锁的方法

方法一：SQL code DBCC TRACEON (3605,1204,1222,-1) 说明： 3605 将DBC

客官°小女子只卖身不卖艺/ 2022年08月07日 17:54/ 0 赞/ 298 阅读

相关操作系统--并发进程死锁

操作系统--并发进程死锁死锁概念：是指两个或两个以上的进程在执行过程中，由于竞争资源或者由于彼此通信而造成的一种阻塞的现象，若无外力作用，它们都将无法推进下去。

超、凢脫俗/ 2022年08月05日 03:00/ 0 赞/ 185 阅读

相关规避死锁方案

业务中需要遵循以下规则，可以很大程度上降低死锁发生的概率： 1）以固定的顺序访问表和行。分为两种情景： 1. 对于不同事务访问不同的表，尽量做到访问表的顺序一致；

今天药忘吃喽~/ 2022年02月25日 14:10/ 0 赞/ 149 阅读

相关死锁理论知识补充

目录 1.死锁的定义与例子 2.死锁的原因 3.破题定义：死锁的一个比较专业的定义是：一组互相竞争资源的线程因互相等待，导致“永久”阻塞的现象。

素颜马尾好姑娘i/ 2021年10月01日 10:56/ 0 赞/ 215 阅读

相关二.并发理论总结2-锁模型

成熟的锁模型 1.指定锁对象 2.加锁 3.进入临界区 4.释放锁 ![18721752-14444a68a3ae192e.png][] image.png

冷不防/ 2021年09月18日 07:36/ 0 赞/ 222 阅读

相关三.并发理论总结3-规避死锁

死锁的理论基础什么是死锁？一组互相竞争资源的线程因互相等待，导致“永久”阻塞的现象。一个形象的例子比如古代转账都需要那自己的账本和别人的账本自己的减

淡淡的烟草味﹌/ 2021年09月18日 04:00/ 0 赞/ 257 阅读

相关 Java并发理论总结

多线程中稍微不注意就会出现线程安全问题，那么什么是线程安全问题？为什么会出现线程安全问题？出现线程安全的问题一般是因为**主内存和工作内存数据不一致性**和**重排序**...

你的名字/ 2020年06月14日 10:22/ 0 赞/ 731 阅读