• 多线程编程核心技术(五)死锁


    死锁的产生可以认为是锁的颗粒度太小造成的,如果把化妆这个情况整体加锁是不会有死锁的。但是如果把化妆里面的镜子和化妆品拆分加锁,就可能出现A拿着镜子,B拿着化妆品。两个人互相卡着动不了,直到一方放弃当前,才可以进行进行。

    死锁的一个比较专业的定义是:一组互相竞争资源的线程因互相等待,导致“永久”阻塞的现象。

     在以下四种情况的时候是有可能会发送死锁的

    1.互斥,共享资源X和Y只能被一个线程拥有(化妆的例子)

    2.占有且等待,线程 T1 已经取得共享资源 X,在等待共享资源 Y 的时候,不释放共享资源 X(A拿着镜子死活不放,就硬等待这B放弃化妆品);

    3.不可抢占,其他线程不能强行抢占线程 T1 占有的资源;

    4.循环等待,线程 T1 等待线程 T2 占有的资源,线程 T2 等待线程 T1 占有的资源,就是循环等待。

    只要破坏了其中一个就可以避免死锁。

    其中,互斥这个条件我们没有办法破坏,因为我们用锁为的就是互斥。不过其他三个条件都是有办法破坏掉的,到底如何做呢?

    • 对于“占用且等待”这个条件,我们可以一次性申请所有的资源,这样就不存在等待了。可以增加一个管理员,管理员保证只有A的时候不会给A。
    • 对于“不可抢占”这个条件,占用部分资源的线程进一步申请其他资源时,如果申请不到,可以主动释放它占有的资源,这样不可抢占这个条件就破坏掉了。这个问题synchronized无法做到,因为写synchronized的时候加锁解锁都是系统为我们自己做的,我们无法手动解锁
    • 对于“循环等待”这个条件,可以靠按序申请资源来预防。所谓按序申请,是指资源是有线性顺序的,申请的时候可以先申请资源序号小的,再申请资源序号大的,这样线性化后自然就不存在循环了。
  • 相关阅读:
    前端埋点2怎么埋点
    .net core
    Qto_DoorBaseQuantities
    Qto_WallBaseQuantities
    Qto_SlabBaseQuantities
    Qto_RampFlightBaseQuantities
    Pset_WallCommon
    Pset_StairCommon
    matlab 矩阵变换
    Qto_CoveringBaseQuantities
  • 原文地址:https://www.cnblogs.com/SmartCat994/p/14189492.html
Copyright © 2020-2023  润新知