4-4 如何避免死锁

我们先来看下到底都有哪些原因造成了死锁,Coffman大佬总结了只有以下这四个条件都发生时才会出现死锁:

  1. 互斥,共享资源 X 和 Y 只能被一个线程占用;

  2. 占有且等待,线程 T1 已经取得共享资源 X,在等待共享资源 Y 的时候,不释放共享资源 X;

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

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

知道了死锁产生的必要条件后,如何去避免呢?

对于第一条,互斥这个条件我们没有办法破坏,因为我们用锁为的就是互斥;不过其他三个条件都是有办法破坏掉的:

  1. 对于“占用且等待”这个条件,我们可以一次性申请所有的资源,这样就不存在等待了。

  2. 对于“不可抢占”这个条件,占用部分资源的线程进一步申请其他资源时,如果申请不到,可以主动释放它占有的资源,这样不可抢占这个条件就破坏掉了。

  3. 对于“循环等待”这个条件,可以靠按序申请资源来预防。所谓按序申请,是指资源是有线性顺序的,申请的时候可以先申请资源序号小的,再申请资源序号大的,这样线性化后自然就不存在循环了。

理论上我们已经知道怎么避免死锁了,接下来通过代码来加深一下印象

1. 破坏占用且等待条件

对于转账例子来说,它需要的资源有两个,一个是转出账户,另一个是转入账户。如何一次性申请所有的资源(转出、转入账户呢)?

我们需要引入一个管理员(Manager)的角色,统一管理这两个资源。他的作用是当执行转账操作时,首先去管理员这里申请全部的资源,成功后再锁定这两个资源,当转账完成之后,通知管理员立刻释放资源。


统一申请资源
public class Account {
 //账号
 private String accountName;
 // 余额
 private int balance;
 public Account(String accountName,int balance){
 this.accountName = accountName;
 this.balance = balance;
 }

// 省略get/set

}
/**
 * <p>必须是单例的,只能有一个人分配资源</p>
 *
 * @version 1.0
 * @date : 2021/8/14 17:40
 */
public class Manager {
    private volatile static Manager manger;
    private Manager(){}

    public static Manager getInstance() {
        if (manger == null) {
            synchronized (Manager.class) {
                if (manger == null) {
                    manger = new Manager();
                }
            }
        }

        return manger;
    }
    private Set<Object> lockResources = new HashSet<Object>();

    public synchronized boolean apply(Object... objs) {
        for (Object obj : objs) {
            if (lockResources.contains(obj)) {
                return false;
            }
        }
        for (Object obj : objs) {
            lockResources.add(obj);
        }

        return true;
    }

    public synchronized void free(Object... objs) {
        for (Object obj : objs) {
            if (lockResources.contains(obj)) {
                lockResources.remove(obj);
            }
        }
    }

}
public class AccountUnLock implements Runnable {
    //转出账户
    public Account fromAccount;
    //转入账户
    public Account toAccount;
    //转出金额
    public int amount;

    public AccountUnLock(Account fromAccount, Account toAccount, int amount){
        this.fromAccount = fromAccount;
        this.toAccount = toAccount;
        this.amount = amount;
    }
    @Override
    public void run(){

        while(true) {
            //1.申请资源时,先去管理员获取到所有资源。
            Manager instance = Manager.getInstance();
            try {
                while(!instance.apply(fromAccount, toAccount));
                // 2.给资源加锁
                synchronized (fromAccount) {
                    synchronized (toAccount) {
                        //转账进行的条件:判断转出账户的余额是否大于0
                        if(fromAccount.getBalance() <= 0){
                            System.out.println(fromAccount.getAccountName() + "账户余额不足!");
                            return;
                        }else{
                            //更新转出账户的余额:
                            fromAccount.setBalance(fromAccount.getBalance() - amount);
                            //更新转入账户的余额:+
                            toAccount.setBalance(toAccount.getBalance() + amount);

                        }
                        System.out.println("转出用户:" + fromAccount.getAccountName() + "余额:" + fromAccount.getBalance());
                        System.out.println("转入用户:" +toAccount.getAccountName() + "余额:" + toAccount.getBalance());
                    }

                }// 3.释放锁
            } finally {
                // 4.通知管理员释放资源.
                instance.free(fromAccount, toAccount);

            }


        }
    }

    public static void main(String[] args) {
        Account fromAccount = new Account("张三",100000);
        Account toAccount = new Account("李四",100000);

        Thread a = new Thread(new AccountUnLock(fromAccount,toAccount,1));
        Thread b = new Thread(new AccountUnLock(toAccount,fromAccount,1));

        a.start();
        b.start();

    }

}

2.破坏不可抢占条件

破坏不可抢占核心是要能够主动释放它占有的资源,这一点 synchronized 是做不到的。原因是 synchronized 申请资源的时候,如果申请不到,线程直接进入阻塞状态了,而线程进入阻塞状态,啥都干不了,也释放不了线程已经占有的资源。java.util.concurrent 这个包下面提供的 Lock 是可以轻松解决这个问题的。

public class AccountUnLockReentrant implements Runnable {
    //转出账户
    public Account fromAccount;
    //转入账户
    public Account toAccount;
    //转出金额
    public int amount;
    private Lock lock = new ReentrantLock();

    public AccountUnLockReentrant(Account fromAccount, Account toAccount, int amount) {
        this.fromAccount = fromAccount;
        this.toAccount = toAccount;
        this.amount = amount;
    }

    @Override
    public void run() {

        while (true) {
            try {
                // 锁【lock.lock】必须紧跟try代码块,且unlock要放到finally第一行
                lock.lock();
                
                //转账进行的条件:判断转出账户的余额是否大于0
                if (fromAccount.getBalance() <= 0) {
                    System.out.println(fromAccount.getAccountName() + "账户余额不足!");
                    return;
                } else {
                    //更新转出账户的余额:
                    fromAccount.setBalance(fromAccount.getBalance() - amount);
                    //更新转入账户的余额:+
                    toAccount.setBalance(toAccount.getBalance() + amount);

                }
                System.out.println("转出用户:" + fromAccount.getAccountName() + "余额:" + fromAccount.getBalance());
                System.out.println("转入用户:" + toAccount.getAccountName() + "余额:" + toAccount.getBalance());

            } finally {
                lock.unlock();
            }
        }
    }

    public static void main(String[] args) {
        Account fromAccount = new Account("张三", 100000);
        Account toAccount = new Account("李四", 100000);

        Thread a = new Thread(new AccountUnLockReentrant(fromAccount, toAccount, 1));
        Thread b = new Thread(new AccountUnLockReentrant(toAccount, fromAccount, 1));

        a.start();
        b.start();

    }

}

3.破坏循环等待条件

破坏这个条件,需要对资源进行排序,然后按序申请资源。申请的时候,我们可以按照从小到大的顺序来申请。这样就不存在“循环”等待了。

public class AccountMain implements Runnable {
    //转出账户
    public Account fromAccount;
    //转入账户
    public Account toAccount;
    //转出金额
    public int amount;

    public AccountMain(Account fromAccount, Account toAccount, int amount){
        this.fromAccount = fromAccount;
        this.toAccount = toAccount;
        this.amount = amount;
    }
    @Override
    public void run(){
        Account left =null;
        Account right = null;
        if (fromAccount.hashCode() > toAccount.hashCode()){
            left = toAccount;
            right =fromAccount;
        }
        while(true){
            synchronized (left) {
                synchronized (right) {
                    //转账进行的条件:判断转出账户的余额是否大于0
                    if(fromAccount.getBalance() <= 0){
                        System.out.println(fromAccount.getAccountName() + "账户余额不足,无法进行转账");
                        return;
                    }else{
                        //更新转出账户的余额:
                        fromAccount.setBalance(fromAccount.getBalance() - amount);
                        //更新转入账户的余额:+
                        toAccount.setBalance(toAccount.getBalance() + amount);
                    }
                }

            }

            System.out.println("转出用户:" + fromAccount.getAccountName() + "余额:" + fromAccount.getBalance());
            System.out.println("转入用户:" +toAccount.getAccountName() + "余额:" + toAccount.getBalance());
        }
    }

    public static void main(String[] args) {
        Account fromAccount = new Account("张三",100000);
        Account toAccount = new Account("李四",200000);

        Thread a = new Thread(new AccountMain(fromAccount,toAccount,1));
        Thread b = new Thread(new AccountMain(toAccount,fromAccount,1));

        a.start();
        b.start();
    }

}

4.优化循环等待

  while(!instance.apply(fromAccount, toAccount));

在破坏占用且等待条件代码中,使用while自旋的方式调用apply方法来统一管理资源,如果 apply() 操作耗时非常短,而且并发冲突量也不大时,这个方案还挺不错的,因为这种场景下,循环上几次或者几十次就能一次性获取转出账户和转入账户了。但是如果 apply() 操作耗时长,或者并发冲突量大的时候,循环等待这种方案就不适用了,因为在这种场景下,可能要循环上万次才能获取到锁,太消耗 CPU 了。
我们用等待-通知来优化一下。当线程要求的条件不满足,则线程阻塞自己,进入等待状态;当线程要求的条件满足后,通知等待的线程重新执行。

public class Allocator {
    private volatile static Allocator manger;
    private Allocator(){}

    public static Allocator getInstance() {
        if (manger == null) {
            synchronized (Allocator.class) {
                if (manger == null) {
                    manger = new Allocator();
                }
            }
        }

        return manger;
    }
    private Set<Object> lockResources = new HashSet<Object>();

    public synchronized void apply(Object... objs) {
        for (Object obj : objs) {
            while (lockResources.contains(obj)) {

                try {
                    wait();
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }
        }

        for (Object obj : objs) {
            lockResources.add(obj);
        }
    }

    public synchronized void free(Object... objs) {
        for (Object obj : objs) {
            if (lockResources.contains(obj)) {
                lockResources.remove(obj);
            }
        }
        notifyAll();
    }

}
public class AccountUnLock2 implements Runnable {
    //转出账户
    public Account fromAccount;
    //转入账户
    public Account toAccount;
    //转出金额
    public int amount;

    public AccountUnLock2(Account fromAccount, Account toAccount, int amount){
        this.fromAccount = fromAccount;
        this.toAccount = toAccount;
        this.amount = amount;
    }
    @Override
    public void run(){

        while(true) {
            //1.申请资源时,先去管理员获取到所有资源。
            Allocator instance = Allocator.getInstance();
            try {
                instance.apply(fromAccount, toAccount);
                //转账进行的条件:判断转出账户的余额是否大于0
                if(fromAccount.getBalance() <= 0){
                    System.out.println(fromAccount.getAccountName() + "账户余额不足!");
                    return;
                }else{
                    //更新转出账户的余额:
                    fromAccount.setBalance(fromAccount.getBalance() - amount);
                    //更新转入账户的余额:+
                    toAccount.setBalance(toAccount.getBalance() + amount);

                }
                System.out.println("转出用户:" + fromAccount.getAccountName() + "余额:" + fromAccount.getBalance());
                System.out.println("转入用户:" +toAccount.getAccountName() + "余额:" + toAccount.getBalance());
            } finally {
                // 4.通知管理员释放资源.
                instance.free(fromAccount, toAccount);

            }


        }
    }

    public static void main(String[] args) {
        Account fromAccount = new Account("张三",100000);
        Account toAccount = new Account("李四",100000);

        Thread a = new Thread(new AccountUnLock2(fromAccount,toAccount,1));
        Thread b = new Thread(new AccountUnLock2(toAccount,fromAccount,1));

        a.start();
        b.start();

    }

}

线程间通信wait/notify

总结

在这一节中介绍了产生死锁的四个原因,以及如何避免死锁。通过等待-通知的方式优化循环机制。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 216,997评论 6 502
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,603评论 3 392
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 163,359评论 0 353
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,309评论 1 292
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,346评论 6 390
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,258评论 1 300
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,122评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,970评论 0 275
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,403评论 1 313
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,596评论 3 334
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,769评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,464评论 5 344
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,075评论 3 327
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,705评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,848评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,831评论 2 370
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,678评论 2 354

推荐阅读更多精彩内容

  • 一、什么情况下会出现死锁假设有两个线程T1,T2。两个账户A,B。刚好某一个时刻在T1线程内A给B转账,在T2线程...
    肖悟空阅读 1,207评论 0 1
  • 在这篇文章中,我们主要讨论一下死锁及其解决办法。 概述 在上一篇文章中,我们讨论了如何使用一个互斥锁去保护多个资源...
    技术修行者阅读 287评论 0 1
  • 1.什么是死锁多个进程或者线程相互等待对方的资源,在未得到对方资源之前,都不会释放自己的资源,就造成了相互等待的现...
    梦想实现家_Z阅读 548评论 0 3
  • 死锁的理论基础 什么是死锁? 一组互相竞争资源的线程因互相等待,导致“永久”阻塞的现象。 一个形象的例子 比如古代...
    乙腾阅读 401评论 0 2
  • 我是黑夜里大雨纷飞的人啊 1 “又到一年六月,有人笑有人哭,有人欢乐有人忧愁,有人惊喜有人失落,有的觉得收获满满有...
    陌忘宇阅读 8,536评论 28 53