【Java|多线程与高并发】死锁以及哲学家吃饭问题

简介: 死锁(Deadlock)是多线程编程中的一个常见问题,指的是两个或多个线程相互等待对方释放资源,导致程序无法继续执行的状态。

1. 什么是死锁

死锁(Deadlock)是多线程编程中的一个常见问题,指的是两个或多个线程相互等待对方释放资源,导致程序无法继续执行的状态。


在一种典型的死锁情况中,有两个或多个线程,每个线程都在持有一个资源的同时试图获得另一个线程持有的资源。当两个线程都在等待对方释放资源时,它们将永远无法继续执行,产生了死锁。


代码示例:


public class Demo26 {
    public static void main(String[] args) {
        Object locker1 = new Object();
        Object locker2 = new Object();
        Thread t1 = new Thread(() ->{
            System.out.println("t1获取locker1");
            synchronized (locker1) {
                try {
                    Thread.sleep(1000);
                } catch (InterruptedException e) {
                    throw new RuntimeException(e);
                }
                synchronized (locker2) {
                    System.out.println("t1获取locker2");
                }
            }
        });
        Thread t2 = new Thread(() ->{
            System.out.println("t2获取locker2");
            synchronized (locker2) {
                try {
                    Thread.sleep(1000);
                } catch (InterruptedException e) {
                    throw new RuntimeException(e);
                }
                synchronized (locker1) {
                    System.out.println("t2获取locker1");
                }
            }
        });
        t1.start();
        t2.start();
    }
}

运行结果:


d23371212284473eb9814d2cac18b7bd.png


解释: t1对locker1加锁,t2对locker2加锁. 然后t1要获取locker2,t2要获取locker1. 但是t1和t2并没有执行完代码,并不会释放锁,需要获取对方的锁之后,才会释放锁. 因此它们就"僵"住了. 代码执行不下去了.


之前看到过一句话也能很好的理解这个问题,比如你去面试,面试官问你一个问题. 你回答说"你先给我发offer,我就回答问题". 面试官说"你先回答问题,我再给你发offer".


2. 哲学家吃饭问题

死锁还有一个很经典的问题,就是哲学家吃饭问题.


哲学家吃饭问题: 有五位哲学家围坐在一张圆形餐桌周围,每个哲学家需要交替进行思考和进餐。在餐桌上有五只筷子,每个哲学家的左右两边分别放有一只筷子。哲学家只能同时使用自己左右两边的筷子来进餐,而当一个哲学家使用筷子时,其他哲学家必须等待。


如图所示:


dbf203a8c0164ceb87e214a83bc40ed4.png

上述可能出现死锁的原因是: 两个及以上的哲学家可能会去争夺同一根筷子.


极端情况就是五个哲学家同时拿起自己左手边的一根筷子,想去拿右边的筷子,却发现已经被拿了. 谁也吃不到饭,无法释放筷子(锁).


解决上述问题的关键就是 如何解决死锁问题.


3.如何解决死锁

死锁的四个必要条件:


1.互斥使用: 资源不能同时被多个线程持有,只能被一个线程独占。

2.不可抢占: 一个线程获得资源后,不能被其他线程强制性地抢占。

3.请求和保持: 一个线程持有一个资源的同时,又请求另一个线程持有的资源。

4.循环等待: 若干个线程之间形成一种循环等待资源的关系。

避免死锁,只需要让其中任意一个条件不满足即可.


其中1和2是锁的基本特性,无法改变. 因此只能从条件3和条件4方面下手.


而条件3虽然可能能行,但是可能会带来新的问题.因此需要从条件4上打破


可以给上述的筷子设置编号. 设置好加锁的循序,每次先给编号小的进行加锁就可以解决上述问题.


以哲学家吃饭的极端情况为例:


默认情况下,一个人一根筷子.


d801ca2bf9974589a1ecf911ec7e6bea.png



对加锁的顺序进行设置(先拿序号小的).


8c0b105ed32c4afb979c58a9502aa18c.png

这里的5号哲学家不会拿筷子.因为对于5号哲学家来说,5比1大,5号哲学家要拿1号筷子. 但1号筷子已经被拿了,所以5号哲学家就进入"阻塞等待"了. 那么4号玩家就可以继续拿起5号筷子进行吃饭,然后进行释放筷子(锁),接着是3号,2号,1号.等1号哲学家释放完1号筷子,那么此时5号哲学家就可以拿起1号筷子和5号筷子进行吃饭了


感谢你的观看!希望这篇文章能帮到你!

Java专栏在不断更新中,欢迎订阅!

“愿与君共勉,携手共进!”


相关文章
|
9天前
|
存储 监控 Java
【Java并发】【线程池】带你从0-1入门线程池
欢迎来到我的技术博客!我是一名热爱编程的开发者,梦想是编写高端CRUD应用。2025年我正在沉淀中,博客更新速度加快,期待与你一起成长。 线程池是一种复用线程资源的机制,通过预先创建一定数量的线程并管理其生命周期,避免频繁创建/销毁线程带来的性能开销。它解决了线程创建成本高、资源耗尽风险、响应速度慢和任务执行缺乏管理等问题。
120 60
【Java并发】【线程池】带你从0-1入门线程池
|
12天前
|
安全 Java 开发者
Java并发迷宫:同步的魔法与死锁的诅咒
在Java并发编程中,合理使用同步机制可以确保线程安全,避免数据不一致的问题。然而,必须警惕死锁的出现,采取适当的预防措施。通过理解同步的原理和死锁的成因,并应用有效的设计和编码实践,可以构建出高效、健壮的多线程应用程序。
42 21
|
5天前
|
Java 调度
【源码】【Java并发】【线程池】邀请您从0-1阅读ThreadPoolExecutor源码
当我们创建一个`ThreadPoolExecutor`的时候,你是否会好奇🤔,它到底发生了什么?比如:我传的拒绝策略、线程工厂是啥时候被使用的? 核心线程数是个啥?最大线程数和它又有什么关系?线程池,它是怎么调度,我们传入的线程?...不要着急,小手手点上关注、点赞、收藏。主播马上从源码的角度带你们探索神秘线程池的世界...
51 0
【源码】【Java并发】【线程池】邀请您从0-1阅读ThreadPoolExecutor源码
|
21天前
|
Java 程序员 开发者
Java社招面试题:一个线程运行时发生异常会怎样?
大家好,我是小米。今天分享一个经典的 Java 面试题:线程运行时发生异常,程序会怎样处理?此问题考察 Java 线程和异常处理机制的理解。线程发生异常,默认会导致线程终止,但可以通过 try-catch 捕获并处理,避免影响其他线程。未捕获的异常可通过 Thread.UncaughtExceptionHandler 处理。线程池中的异常会被自动处理,不影响任务执行。希望这篇文章能帮助你深入理解 Java 线程异常处理机制,为面试做好准备。如果你觉得有帮助,欢迎收藏、转发!
87 14
|
24天前
|
安全 Java 程序员
Java 面试必问!线程构造方法和静态块的执行线程到底是谁?
大家好,我是小米。今天聊聊Java多线程面试题:线程类的构造方法和静态块是由哪个线程调用的?构造方法由创建线程实例的主线程调用,静态块在类加载时由主线程调用。理解这些细节有助于掌握Java多线程机制。下期再见! 简介: 本文通过一个常见的Java多线程面试题,详细讲解了线程类的构造方法和静态块是由哪个线程调用的。构造方法由创建线程实例的主线程调用,静态块在类加载时由主线程调用。理解这些细节对掌握Java多线程编程至关重要。
53 13
|
24天前
|
安全 Java 开发者
【JAVA】封装多线程原理
Java 中的多线程封装旨在简化使用、提高安全性和增强可维护性。通过抽象和隐藏底层细节,提供简洁接口。常见封装方式包括基于 Runnable 和 Callable 接口的任务封装,以及线程池的封装。Runnable 适用于无返回值任务,Callable 支持有返回值任务。线程池(如 ExecutorService)则用于管理和复用线程,减少性能开销。示例代码展示了如何实现这些封装,使多线程编程更加高效和安全。
|
2月前
|
监控 Java
java异步判断线程池所有任务是否执行完
通过上述步骤,您可以在Java中实现异步判断线程池所有任务是否执行完毕。这种方法使用了 `CompletionService`来监控任务的完成情况,并通过一个独立线程异步检查所有任务的执行状态。这种设计不仅简洁高效,还能确保在大量任务处理时程序的稳定性和可维护性。希望本文能为您的开发工作提供实用的指导和帮助。
121 17
|
3月前
|
Java
Java—多线程实现生产消费者
本文介绍了多线程实现生产消费者模式的三个版本。Version1包含四个类:`Producer`(生产者)、`Consumer`(消费者)、`Resource`(公共资源)和`TestMain`(测试类)。通过`synchronized`和`wait/notify`机制控制线程同步,但存在多个生产者或消费者时可能出现多次生产和消费的问题。 Version2将`if`改为`while`,解决了多次生产和消费的问题,但仍可能因`notify()`随机唤醒线程而导致死锁。因此,引入了`notifyAll()`来唤醒所有等待线程,但这会带来性能问题。
Java—多线程实现生产消费者
|
2月前
|
缓存 安全 算法
Java 多线程 面试题
Java 多线程 相关基础面试题
|
XML Java 数据库连接
Java高并发秒杀系统【观后总结】(一)
在慕课网上发现了一个JavaWeb项目,内容讲的是高并发秒杀,觉得挺有意思的,就进去学习了一番。
290 0
Java高并发秒杀系统【观后总结】(一)

热门文章

最新文章