java

关注公众号 jb51net

关闭
首页 > 软件编程 > java > Java死锁

Java并发编程预防死锁过程详解

作者:全me村的希望

这篇文章主要介绍了Java并发编程预防死锁过程详解,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下

这篇文章主要介绍了Java并发编程预防死锁过程详解,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下

在java并发编程领域已经有技术大咖总结出了发生死锁的条件,只有四个条件都发生时才会出现死锁:

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

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

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

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

只要能破坏其中一个,就可以成功避免死锁的发生,因为对于共享资源我们要得就是互斥的效果,所以第一个条件是无法破坏的,所以可以从下面三个条件出手,具体实现方式:

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

class Allocator{
    //通过破坏占有且等待条件避免死锁现象的发生
    private List<Object> als = new ArrayList<>();
    //一次申请所有的资源
    synchronized boolean apply(Object from, Object to){
      if (als.contains(from) || als.contains(to)){
        //只要存在一个账户被其他的业务锁定则无法完成转账业务
        return false;
      }else {
        als.add(from);
        als.add(to);
      }
      return true;
    }
    //归还资源
    synchronized void free(Object from,Object to){
      als.remove(from);
      als.remove(to);
    }
  }
  class Account {
    //actr应该为单例
    private Allocator actr;
    private int balance;
    //转账
    void transfer(Account target, int amt){
      //一次性申请转出和转入账户,直到成功
      while (!actr.apply(this,target));
      try{
        //锁定转出账户
        synchronized (this){
          //锁定转入账户
          synchronized (target){
            if (this.balance > amt){
              this.balance -= amt;
              target.balance += amt;
            }
          }
        }
      }finally {
        actr.free(this, target);
      }
    }
  }

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

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

class Accounts{
    private int id;
    private int balance;
    //转账
    void transfer(Accounts target,int amt){
      Accounts left = this;
      Accounts right = target;
      if (this.id > target.id){
        left = target;
        right = this;
      }
      //锁定序号小的账户
      synchronized (left){
        //锁定序号大的账户
        synchronized (right){
          if (this.balance > amt){
            this.balance -= amt;
            target.balance += amt;
          }
        }
      }
    }
  }

以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持脚本之家。

您可能感兴趣的文章:
阅读全文