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

淡淡的烟草味﹌ 2021-09-18 04:00 349阅读 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 条评论，349人围观）

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

相关阅读

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

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

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

相关 mysql死锁案例及如何规避

一：什么是死锁两个或者多个事务在同一资源上相互占用，并请求锁定对方的资源，从而导致恶性循环的现象。或者多个事务同时锁定同一个资源的时候，也会产生死锁。二：死锁

港控/mmm°/ 2023年05月30日 06:08/ 0 赞/ 33 阅读

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

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

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

相关【JAVA 并发】三死锁范例与分析

死锁是两个甚至多个线程被永久阻塞时的一种运行局面，这种局面的生成伴随着至少两个线程和两个或者多个资源。在这里我已写好一个简单的程序，它将会引起死锁方案然后我们就会明白如何分析它

Myth丶恋晨/ 2022年09月30日 03:48/ 0 赞/ 14 阅读

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

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

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

相关规避死锁方案

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

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

相关死锁理论知识补充

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

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

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

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

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

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

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

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

相关 Java并发理论总结

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

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