Linux学习之系统编程篇:死锁的情形及其解决

本文探讨了多线程编程中常见的两种问题:自锁和死锁。自锁是指线程在执行过程中,因未正确解锁导致自身阻塞;死锁则是不同线程持有不同锁并按不同顺序尝试获取对方锁导致的僵局。解决自锁的方法是确保每次加锁后都解锁;防止死锁的方式包括设定统一的资源访问顺序、使用trylock或在访问其他锁前释放已有锁。
摘要由CSDN通过智能技术生成

(1)自己锁自己(自己重复加同一个锁)
解决:上锁,自己操作完成后,一定要解锁 lock 和 unlock 成对出现
举例:

for(int i = 0; i < MAX; i++)
{
// 加锁
 pthread_mutex_lock(&mutex); // 第一次循环,没解锁,第二次循环,执行至此,由于发现有锁,因此阻塞
 代码……
 // 没有解锁
}

对于此处内核设计的思考:
锁的类型 pthread_mutex_t 本质上是一个结构体。这个结构体中会有一个成员属性(假设是flag),用于判断是否上锁,int型,其值是0或者1,1代表有一把锁可用,意味着没锁,而0代表有锁,当某线程执行到pthread_mutex_lock,内核会通过 flag 判断是否上锁,只要是上锁状态,所有线程都会被组设,因为在设计时候就决定了,它只关心是否上锁,而不会关心是谁上的锁,因此会出现自己锁住自己的现象。
试想:在设计的时候,在结构体中,增加一个属性,用于判断是哪个线程上的锁,执行到pthread_mutex_lock,先判断是否上锁,如果上锁,再判断是否是我上的锁,这样就将“普通锁”变为“指纹锁”,就可以避免自己锁住自己的情况了。
(2)多个共享数据,多个锁,某些情况下,可能会造成死锁。
在这里插入图片描述
如上图所示,就会造成“线程 1 阻塞在 B 锁”和“线程 2 阻塞在 A 锁”的现象。
解决:
方式 1:造成这总的死锁的原因是线程访问顺序不一样:
线程 1 :A->B ;
线程 2 :B->A
因此:让线程按照一定的顺序去访问共享资源。
方式 2:在访问其他锁的时候,需要先将自己的锁解开。
方式 3:使用 trylock。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值