pthread学习笔记《三》死锁

一、前言

     这篇主要分析造成死锁的原因和解决的一些方法,转载自 http://blog.csdn.net/ls5718/article/details/51896159

二、死锁的定义

     多线程以及多进程改善了系统资源的利用率并提高了系统 的处理能力。然而,并发执行也带来了新的问题——死锁。所谓死锁是指多个线程因竞争资源而造成的一种僵局(互相等待),若无外力作用,这些进程都将无法向前推进。

    举个例子:在计算机系统中也存在类似的情况。例如,某计算机系统中只有一台打印机和一台输入 设备,进程P1正占用输入设备,同时又提出使用打印机的请求,但此时打印机正被进程P2 所占用,而P2在未释放打印机之前,又提出请求使用正被P1占用着的输入设备。这样两个进程相互无休止地等待下去,均无法继续执行,此时两个进程陷入死锁状态

三、死锁的原因

1) 系统资源的竞争

    通常系统中拥有的不可剥夺资源,其数量不足以满足多个进程运行的需要,使得进程在 运行过程中,会因争夺资源而陷入僵局,如磁带机、打印机等。只有对不可剥夺资源的竞争 才可能产生死锁,对可剥夺资源的竞争是不会引起死锁的。

2) 进程推进顺序非法

    进程在运行过程中,请求和释放资源的顺序不当,也同样会导致死锁。例如,并发进程 P1、P2分别保持了资源R1、R2,而进程P1申请资源R2,进程P2申请资源R1时,两者都 会因为所需资源被占用而阻塞。

3) 信号量使用不当

    信号量使用不当也会造成死锁。进程间彼此相互等待对方发来的消息,结果也会使得这 些进程间无法继续向前推进。例如,进程A等待进程B发的消息,进程B又在等待进程A 发的消息,可以看出进程A和B不是因为竞争同一资源,而是在等待对方的资源导致死锁。

4) 死锁产生的必要条件

     产生死锁必须同时满足以下四个条件,只要其中任一条件不成立,死锁就不会发生。
a.互斥条件:进程要求对所分配的资源(如打印机)进行排他性控制,即在一段时间内某 资源仅为一个进程所占有。此时若有其他进程请求该资源,则请求进程只能等待。
b.不剥夺条件:进程所获得的资源在未使用完毕之前,不能被其他进程强行夺走,即只能 由获得该资源的进程自己来释放(只能是主动释放)。
c.请求和保持条件:进程已经保持了至少一个资源,但又提出了新的资源请求,而该资源 已被其他进程占有,此时请求进程被阻塞,但对自己已获得的资源保持不放。
d.循环等待条件:存在一种进程资源的循环等待链,链中每一个进程已获得的资源同时被 链中下一个进程所请求。即存在一个处于等待状态的进程集合{Pl, P2, ..., pn},其中Pi等 待的资源被P(i+1)占有(i=0, 1, ..., n-1),Pn等待的资源被P0占有,如图2-15所示。         

                                                 

       Pn等待一台输出设备,它可以从P0获得,也可能从PK获得。因此,虽然Pn、P0和其他 一些进程形成了循环等待圈,但PK不在圈内,若PK释放了输出设备,则可打破循环等待, 如图2-16所示。因此循环等待只是死锁的必要条件, 也即循环等待不一定会造成死锁,可能存在其他可打破循环的资源路径,如图2-16所示。

四、产生死锁的例子

     未完待续

五、避免死锁的方法

     在有些情况下死锁是可以避免的。三种用于避免死锁的技术:

1.加锁顺序(线程按照一定的顺序加锁)
2.加锁时限(线程尝试获取锁的时候加上一定的时限,超过时限则放弃对该锁的请求,并释放自己占有的锁)
3.死锁检测,当检测出死锁,释放所有锁,回退,并且等待一段随机的时间后重试。但是如果有大量的线程竞争同一批锁,它们还是会重复地死锁(编者注:原因同超时类似,不能从根本上减轻竞争)。更好的方法是给这些线程设置优先级,让一个(或几个)线程回退,剩下的线程就像没发生死锁一样继续保持着它们需要的锁。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
### 回答1: 答:pthread_mutex_init有种互斥锁:PTHREAD_MUTEX_NORMAL、PTHREAD_MUTEX_ERRORCHECK和PTHREAD_MUTEX_RECURSIVE。PTHREAD_MUTEX_NORMAL是最基本的互斥锁,它只支持加锁和解锁操作;PTHREAD_MUTEX_ERRORCHECK可以检测死锁和重复加锁;PTHREAD_MUTEX_RECURSIVE可以支持多次加锁,解锁也需要多次才能完全解开锁。 ### 回答2: pthread_mutex_init函数是用于初始化互斥锁的函数,它可以创建种不同类型的互斥锁,分别是普通锁(PTHREAD_MUTEX_NORMAL)、错误检查锁(PTHREAD_MUTEX_ERRORCHECK)和递归锁(PTHREAD_MUTEX_RECURSIVE),它们之间的区别如下: 1. 普通锁(PTHREAD_MUTEX_NORMAL): 普通锁是最基本的互斥锁类型,它没有提供死锁检测功能。如果同一个线程对已经加锁的互斥锁再次调用pthread_mutex_lock函数,就会出现死锁情况,进程可能会陷入无法继续执行的状态。因此,在使用普通锁时需要特别注意避免死锁。 2. 错误检查锁(PTHREAD_MUTEX_ERRORCHECK): 错误检查锁是一种提供了死锁检测功能的互斥锁类型。当同一个线程对已经加锁的错误检查锁再次调用pthread_mutex_lock函数时,线程不会进入死锁状态,而是会返回一个错误码,通过这个错误码可以判断是否出现死锁。这种互斥锁类型增加了线程之间的安全性,但会带来些许额外的开销。 3. 递归锁(PTHREAD_MUTEX_RECURSIVE): 递归锁是允许同一个线程多次对互斥锁进行加锁操作的锁类型。在同一个线程内部,可以对已经加锁的互斥锁再次加锁,而不会造成死锁。需要注意的是,每次对递归锁进行加锁操作时,都必须相应的进行解锁操作,否则其他线程无法对该锁进行加锁。递归锁常用于复杂的程序设计中,可以简化处理复杂情况时的加锁解锁操作。 以上是种不同类型的互斥锁的区别。根据实际需求,选择合适的互斥锁类型可以有效地保证线程的安全性和程序的正常运行。 ### 回答3: pthread_mutex_init函数是用来初始化互斥锁的,它提供了种不同类型的互斥锁,分别是普通锁(PTHREAD_MUTEX_NORMAL)、递归锁(PTHREAD_MUTEX_RECURSIVE)和错误检查锁(PTHREAD_MUTEX_ERRORCHECK)。这种锁在使用上有一些区别。 1. 普通锁(PTHREAD_MUTEX_NORMAL): 普通锁是最简单的一种互斥锁类型。当一个线程占用了该锁后,其他线程将被阻塞。如果同一个线程再次请求这个锁,就会产生死锁。因此,对于普通锁,需要确保锁的获取和释放是成对的且不会有嵌套的请求。 2. 递归锁(PTHREAD_MUTEX_RECURSIVE): 递归锁可以被同一个线程多次获取,并能够正常释放。这意味着同一个线程在持有锁的同时可以多次请求该锁,而不会产生死锁。递归锁使用一个计数器来跟踪锁的持有次数,每次请求时计数器加1,每次释放时计数器减1。只有当计数器为0时,才能被其他线程获取锁。 3. 错误检查锁(PTHREAD_MUTEX_ERRORCHECK): 错误检查锁会在每次对锁的操作(获取、释放)之前进行错误检查,以确保锁的使用是正确的。如果发生了错误的使用,比如同一个线程重复获取锁,或者释放未持有的锁,将会返回一个错误码。错误检查锁在性能上可能会存在一定的开销,因此在性能要求较高的场景下可能不太适用。 一般来说,递归锁比较适用于同一个线程需要多次获取锁的情况,而普通锁适用于不需要嵌套请求的情况。错误检查锁则是为了更加严格地检查锁的正确使用情况。根据具体的使用需求,可以选择适合的互斥锁类型来保证线程安全。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值