【JAVA并发编程专题】死锁的修复和定位

简介: 【JAVA并发编程专题】死锁的修复和定位

正文


一、什么是死锁


死锁(Deadlock):是指两个或两个以上的进程在执行过程中,因争夺资源而造成的一种互相等待的现象,若无外力作用,它们都将无法推进下去。称此时系统处于死锁状态或系统产生了死锁。称这些永远在互相等待的进程为死锁进程。所占用的资源或者需要它们进行某种合作的其它进程就会相继陷入死锁,最终可能导致整个系统处于瘫痪状态。


两个或多个线程之间,由于互相持有对方需要的锁,而永久处于阻塞的状态。


我们来看一个容易造成死锁场景的例子:

@Slf4j
public class DeadLockThread implements Runnable {
    private String lockA;
    private String lockB;
    public DeadLockThread(String threadName, String lockA, String lockB) {
        this.lockA = lockA;
        this.lockB = lockB;
    }
    @Override
    public void run() {
        synchronized (lockA) {
            log.info("{} 获取了{}", Thread.currentThread().getName(), lockA);
            try {
                Thread.sleep(1000L);
                synchronized (lockB) {
                    log.info("{} 获取了{}", Thread.currentThread().getName(), lockB);
                }
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
        }
    }
}
    public static void main(String[] args) {
        String lockA = "lockA";
        String lockB = "lockB";
        // 让t1线程先获取lockA,再获取lockB
        Thread t1 = new Thread(new DeadLockThread("Thread1", lockA, lockB));
        // 让t1线程先获取lockB,再获取lockA
        Thread t2 = new Thread(new DeadLockThread("Thread2", lockB, lockA));
        t1.start();
        t2.start();
    }

当我们启动上述代码后,几乎每次都会进入死锁的状态,即程序一直的得不到结束,但是我们怎么确定程序就是进入了死锁状态呢?


二、死锁问题的定位


2.1 使用jstack工具


jdk中提供了jps和jstack两个工具,先jps查看进程ID,然后jstack查看异常未结束的进程信息;通过信息进一步分析代码问题;如下是对如上例子中的进程pid进行jstack分析的结论:

Found one Java-level deadlock:
=============================
"Thread-1":
  waiting to lock monitor 0x000000001ccb11e8 (object 0x000000076b387cd8, a java.lang.String),
  which is held by "Thread-0"
"Thread-0":
  waiting to lock monitor 0x000000001ccb2f78 (object 0x000000076b387d10, a java.lang.String),
  which is held by "Thread-1"
Java stack information for the threads listed above:
===================================================
"Thread-1":
        at cn.paic.zhangxun.restdemo.deadlock.DeadLockThread.run(DeadLockThread.java:26)
        - waiting to lock <0x000000076b387cd8> (a java.lang.String)
        - locked <0x000000076b387d10> (a java.lang.String)
        at java.lang.Thread.run(Thread.java:745)
"Thread-0":
        at cn.paic.zhangxun.restdemo.deadlock.DeadLockThread.run(DeadLockThread.java:26)
        - waiting to lock <0x000000076b387d10> (a java.lang.String)
        - locked <0x000000076b387cd8> (a java.lang.String)
        at java.lang.Thread.run(Thread.java:745)
Found 1 deadlock.


可以看到,jstack分析结果中明确指出了发生了deadlock现象,并且指出来了thead0和thread1两个线程发生了互相持有和等待对方需要的资源的死锁情况。


2.2 使用标准API扫描


使用Java提供的标准管理API,ThreadMXBean,其有findDeadlockedThreads方法可以找到死锁的地方;

public static void main(String[] args) {
    ThreadMXBean mxBean = ManagementFactory.getThreadMXBean();
    Runnable deadlockCheck = () -> {
      long[] threadIds = mxBean.findDeadlockedThreads();
      if(threadIds != null){
          ThreadInfo[] threadInfos = mxBean.getThreadInfo(threadIds);
          log.warn("发现死锁线程!!!");
          for(ThreadInfo threadInfo:threadInfos){
              log.info("死锁线程ID是{},名称是{}",threadInfo.getThreadId(), threadInfo.getThreadName());
          }
      }else{
          log.info("当前未扫描到死锁线程......");
      }
    };
    ScheduledExecutorService scheduledExecutorService = Executors.newScheduledThreadPool(1);
    // 第一次等2秒,后续每5秒扫描一次
    scheduledExecutorService.scheduleAtFixedRate(deadlockCheck, 2L, 5L, TimeUnit.SECONDS);
}

该方法并没有检测到上述例子中的死锁,具体问题待以后确认。


2.3 代码扫描和代码评审


可以使用一些静态代码扫描工具,比如sonarlint、findbugs等进行代码的静态扫描;


同时加强代码评审,请有并发经验的同事一块看下。


三、如何修复死锁


绝大多数死锁问题都是无法在线解决的,只能找到程序问题之后重新发布解决。


四、如何避免死锁


首先,我们需要知道产生死锁的四个必要条件:


  • 互斥;资源(锁)同一时间只能被一个线程使用;
  • 占有且等待;一个线程占用资源后,等待获取别的资源;
  • 不可抢占;线程已占有的资源自身不释放时别的线程不能抢占;
  • 循环等待;每个线程都占用别的线程需要的资源并等待;
  • 只要打破以上四个条件中的一个,死锁就不会发生了:
  • 尽量避免使用多个锁,并且只有需要时才持有锁,用完立即释放锁;嵌套的synchronized或者lock会非常容易导致问题;
  • 尽量设计好获取锁的顺序,使之不会出现相互持有和等待对方锁的情况;
  • 使用带超时的获取锁的方法;
相关文章
|
12天前
|
设计模式 安全 Java
Java编程中的单例模式:理解与实践
【10月更文挑战第31天】在Java的世界里,单例模式是一种优雅的解决方案,它确保一个类只有一个实例,并提供一个全局访问点。本文将深入探讨单例模式的实现方式、使用场景及其优缺点,同时提供代码示例以加深理解。无论你是Java新手还是有经验的开发者,掌握单例模式都将是你技能库中的宝贵财富。
18 2
|
7天前
|
JSON Java Apache
非常实用的Http应用框架,杜绝Java Http 接口对接繁琐编程
UniHttp 是一个声明式的 HTTP 接口对接框架,帮助开发者快速对接第三方 HTTP 接口。通过 @HttpApi 注解定义接口,使用 @GetHttpInterface 和 @PostHttpInterface 等注解配置请求方法和参数。支持自定义代理逻辑、全局请求参数、错误处理和连接池配置,提高代码的内聚性和可读性。
|
9天前
|
安全 Java 编译器
JDK 10中的局部变量类型推断:Java编程的简化与革新
JDK 10引入的局部变量类型推断通过`var`关键字简化了代码编写,提高了可读性。编译器根据初始化表达式自动推断变量类型,减少了冗长的类型声明。虽然带来了诸多优点,但也有一些限制,如只能用于局部变量声明,并需立即初始化。这一特性使Java更接近动态类型语言,增强了灵活性和易用性。
91 53
|
8天前
|
存储 安全 Java
Java多线程编程的艺术:从基础到实践####
本文深入探讨了Java多线程编程的核心概念、应用场景及其实现方式,旨在帮助开发者理解并掌握多线程编程的基本技能。文章首先概述了多线程的重要性和常见挑战,随后详细介绍了Java中创建和管理线程的两种主要方式:继承Thread类与实现Runnable接口。通过实例代码,本文展示了如何正确启动、运行及同步线程,以及如何处理线程间的通信与协作问题。最后,文章总结了多线程编程的最佳实践,为读者在实际项目中应用多线程技术提供了宝贵的参考。 ####
|
5天前
|
监控 安全 Java
Java中的多线程编程:从入门到实践####
本文将深入浅出地探讨Java多线程编程的核心概念、应用场景及实践技巧。不同于传统的摘要形式,本文将以一个简短的代码示例作为开篇,直接展示多线程的魅力,随后再详细解析其背后的原理与实现方式,旨在帮助读者快速理解并掌握Java多线程编程的基本技能。 ```java // 简单的多线程示例:创建两个线程,分别打印不同的消息 public class SimpleMultithreading { public static void main(String[] args) { Thread thread1 = new Thread(() -> System.out.prin
|
7天前
|
存储 缓存 安全
在 Java 编程中,创建临时文件用于存储临时数据或进行临时操作非常常见
在 Java 编程中,创建临时文件用于存储临时数据或进行临时操作非常常见。本文介绍了使用 `File.createTempFile` 方法和自定义创建临时文件的两种方式,详细探讨了它们的使用场景和注意事项,包括数据缓存、文件上传下载和日志记录等。强调了清理临时文件、确保文件名唯一性和合理设置文件权限的重要性。
20 2
|
8天前
|
Java UED
Java中的多线程编程基础与实践
【10月更文挑战第35天】在Java的世界中,多线程是提升应用性能和响应性的利器。本文将深入浅出地介绍如何在Java中创建和管理线程,以及如何利用同步机制确保数据一致性。我们将从简单的“Hello, World!”线程示例出发,逐步探索线程池的高效使用,并讨论常见的多线程问题。无论你是Java新手还是希望深化理解,这篇文章都将为你打开多线程的大门。
|
9天前
|
安全 Java 编译器
Java多线程编程的陷阱与最佳实践####
【10月更文挑战第29天】 本文深入探讨了Java多线程编程中的常见陷阱,如竞态条件、死锁、内存一致性错误等,并通过实例分析揭示了这些陷阱的成因。同时,文章也分享了一系列最佳实践,包括使用volatile关键字、原子类、线程安全集合以及并发框架(如java.util.concurrent包下的工具类),帮助开发者有效避免多线程编程中的问题,提升应用的稳定性和性能。 ####
36 1
|
12天前
|
存储 设计模式 分布式计算
Java中的多线程编程:并发与并行的深度解析####
在当今软件开发领域,多线程编程已成为提升应用性能、响应速度及资源利用率的关键手段之一。本文将深入探讨Java平台上的多线程机制,从基础概念到高级应用,全面解析并发与并行编程的核心理念、实现方式及其在实际项目中的应用策略。不同于常规摘要的简洁概述,本文旨在通过详尽的技术剖析,为读者构建一个系统化的多线程知识框架,辅以生动实例,让抽象概念具体化,复杂问题简单化。 ####
|
12天前
|
设计模式 安全 Java
Java编程中的单例模式深入解析
【10月更文挑战第31天】在编程世界中,设计模式就像是建筑中的蓝图,它们定义了解决常见问题的最佳实践。本文将通过浅显易懂的语言带你深入了解Java中广泛应用的单例模式,并展示如何实现它。