2021-04-16 12:04:39

Java中高级高并发与多线程系列(五):线程的 synchronized 同步与死锁


Java中高级高并发与多线程系列(五):线程的 synchronized 同步与死锁

首先声明,本系列文章分享都是我自己的学习理解以后,原创手敲,可能包含错误的观点和理解,仅供参考,如遇错误的地方欢迎指正。

了解过多线程的同学肯定听说过 synchronized 这个关键词,我们先用一个错误的案例来引出不使用 synchronized 引发的问题,然后再使用 synchronized 解决问题,然后再由 synchronized 引出死锁问题。本篇先介绍不做更深入的研究,后面文章会慢慢深入。

多线程系列全部演示代码公开在:https://github.com/renfei/demo/tree/master/java/ConcurrentDemo

引出问题

我们先使用错误的案例引出问题,在多线程环境中不使用 synchronized 会发生什么?我们写程序模拟多个摊贩售卖苹果的情况,我们先定义一个售卖苹果的程序,一共有 10 个苹果:

/**
 * 售卖苹果的线程A,这是一个错误的演示,引出存在的问题
 */
class SaleAppleA implements Runnable {
    // 一共有 10 个苹果
    private int apple = 10;
    @Override
    public void run() {
        while (true) {
            if (this.apple > 0) {
                try {
                    // 模拟延迟,在真实场景中这里可能是网络延迟或者业务逻辑执行延迟
                    Thread.sleep(100);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
                System.out.println("线程 " + Thread.currentThread().getName() + " 售卖了苹果编号:" + this.apple--);
            } else {
                System.out.println("线程 " + Thread.currentThread().getName() + " 售卖结束,关门了");
                break;
            }
        }
    }
}

然后让三个摊贩渠道去售卖:

SaleAppleA saleAppleA = new SaleAppleA();
new Thread(saleAppleA, "摊贩A-A").start();
new Thread(saleAppleA, "摊贩A-B").start();
new Thread(saleAppleA, "摊贩A-C").start();

我们会看到,同一个苹果编号可能被多个摊贩重复销售,甚至有的已经关门了,但有的还在售卖,这显然是不符合正常情况的,应该一个苹果只能被销售一次,并且销售为空时应都关门,而不是有的关了有的还在销售。

这个就是多线程环境中的同步问题,多个摊贩拿走苹果的时候,其他摊贩并不知道,还能拿走同一个苹果,所以我们就需要一种机制保证苹果拿走就是拿走了,而不是可以被多次拿走同一个苹果。

线程同步

为了解决上面引出的问题,Java 为我们提供了一个 synchronized 关键字,这里先不做深入的研究,后面会专门写一篇原子性内置锁 synchronized。

我们新写一个SaleAppleB,在销售方法上,我们只增加了 synchronized 关键字:

/**
 * 售卖苹果的线程B,加入同步锁机制
 */
class SaleAppleB implements Runnable {
    // 一共有 10 个苹果
    private int apple = 10;
    private synchronized boolean sale() {
        if (this.apple > 0) {
            try {
                // 模拟延迟,在真实场景中这里可能是网络延迟或者业务逻辑执行延迟
                Thread.sleep(100);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            System.out.println("线程 " + Thread.currentThread().getName() + " 售卖了苹果编号:" + this.apple--);
            return false;
        } else {
            System.out.println("线程 " + Thread.currentThread().getName() + " 售卖结束,关门了");
            return true;
        }
    }
    @Override
    public void run() {
        while (true) {
            if (this.sale()) {
                break;
            }
        }
    }
}

然后准备几个摊贩,再试试:

SaleAppleB saleAppleB = new SaleAppleB();
new Thread(saleAppleB, "摊贩B-A").start();
new Thread(saleAppleB, "摊贩B-B").start();
new Thread(saleAppleB, "摊贩B-C").start();

完整演示代码公开在:https://github.com/renfei/demo/blob/master/java/ConcurrentDemo/src/main/java/net/renfei/demo/concurrent/ThreadSynchronizationDemo.java

这个时候就非常和谐了,不会出现重复销售同一个苹果,因为加了 synchronized 关键字以后,同一个时间只有一个进程可以进入销售方法,所以就正常了。

synchronized 是一种比较重的锁,当有进程进入 synchronized 方法的时候,整个 SaleAppleB 都会被锁住,一次只能允许一个进程进来,这个时候使用不当还会引发另一个问题,就是死锁。

线程死锁

同样我们先演示个死锁给大家看看,我想出来的案例是买苹果的案例,我们先定义两个资源类,Money 钱资源和Apple苹果资源,然后他俩的逻辑是这样的:

钱:先给我苹果,我就给你钱

苹果:先给我钱,我就给你苹果

实例代码:

/**
 * 线程间,资源互持,死锁演示
 *
 * @author renfei
 */
public class DeadlockDemo implements Runnable {
    private Money money = new Money();
    private Apple apple = new Apple();
    public static void main(String[] args) {
        new DeadlockDemo();
    }
    /**
     * main 线程实例化的时候,占有钱对象,需要拿到苹果,才能付钱
     */
    public DeadlockDemo() {
        new Thread(this).start();
        money.buy(apple);
    }
    /**
     * 子线程占有苹果,需要拿到钱,才能销售苹果
     */
    @Override
    public void run() {
        apple.sale(money);
    }
}
/**
 * 钱的资源
 */
class Money {
    /**
     * 买苹果
     *
     * @param apple 苹果
     */
    public synchronized void buy(Apple apple) {
        System.out.println("线程 " + Thread.currentThread().getName() + ":给我苹果。我就给你钱");
        apple.ok();
    }
    public synchronized void ok() {
        System.out.println("线程 " + Thread.currentThread().getName() + ":购买苹果成功。");
    }
}
/**
 * 苹果资源
 */
class Apple {
    /**
     * 销售苹果
     *
     * @param money 钱
     */
    public synchronized void sale(Money money) {
        System.out.println("线程 " + Thread.currentThread().getName() + ":给我钱。我就给你苹果");
        money.ok();
    }
    public synchronized void ok() {
        System.out.println("线程 " + Thread.currentThread().getName() + ":销售苹果成功。");
    }
}

完整代码公开在:https://github.com/renfei/demo/blob/master/java/ConcurrentDemo/src/main/java/net/renfei/demo/concurrent/DeadlockDemo.java

如果运行的话,就可以看出,程序卡在这里了,钱在等苹果释放资源,苹果在等钱释放资源,死锁就是两个资源相互持有各自所需的资源,就会导致一直在这里等着。

其实死锁不一定是两个资源相互死锁,只要多个资源形成一个环形的持有关系,就可以形成死锁,所以打破死锁只要破坏环形持有关系就可以。



商业用途请联系作者获得授权。
版权声明:本文为博主「任霏」原创文章,遵循 CC BY-NC-SA 4.0 版权协议,转载请附上原文出处链接及本声明。
原文链接:https://www.renfei.net/posts/1003499
评论与留言
以下内容均由网友提交发布,版权与真实性无法查证,请自行辨别。

本站有缓存策略,时间约2小时后能看到您的评论。本站使用自动审核机制,如果您的内容包含广告/谩骂/恐怖/暴力/涉政等不和谐内容将无法展示!


本站有缓存策略,时间约2小时后能看到您的评论。本站使用自动审核机制,如果您的内容包含广告/谩骂/恐怖/暴力/涉政等不和谐内容将无法展示!

关注任霏博客
扫码关注「任霏博客」微信订阅号
微博:任霏博客网
Twitter:@renfeii
Facebook:任霏
最新留言 不更新? 优先级低的并不代表一定要等到优先级高的运行完才能运行,只是cpu分配的资源少了而已。 /lib64/ld-linux-x86-64.so.2: No such file or directory 报了这个错误,怎么解决呢 对于一个布道 DevOps 多年的选手来讲,看到这个报告,还是想继续布道布道。虽然是各种对比哈,但是我感觉与 DevOps 太像了(可能是职业病犯了哈)。首先声明本人不是GitLab 用户(因为不免费,没法薅羊毛啊),本人是 GitHub 忠实用户。 首先,你这是田忌赛马的对比,中文对比一事,着实有点可笑 1 土生土长和外来户能立马拉到同一个起跑线上吗? 2 一个真正的开发者应该去提升自己的英语能力,而不是拿全部是中文文档说事。大家都知道现在开源非常热,开发者是开源的主力军,如果要贡献优秀的开源项目(诸如Linux 内核,Kubernetes),英语就是个硬门槛。如果我是你,我倒希望公司内部的系统是英文的,最起码能让我锻炼英语,在看开源项目文档的时候不至于看不懂,提 PR 的时候不至于提交代码的内容描述不清楚而没法被 Merge。 其次,阿里云效、Coding 大家都知道背后站的是谁,很容易造成厂商绑定,现在很多企业都希望不要被厂商绑定。 再者,有一个点需要明白,GitLab 是一个 DevOps 平台,什么叫做 DevOps 平台(DevOps 走到现在,确切的说应该叫做 DevSecOps)?就是覆盖了软件开发生命周期全阶段的,从项目管理到代码托管到安全再到日志监控、甚至包含现在的云原生能力。不仅仅是说一个 CI/CD 就能概括的了的。这一点是 DevOps 布道的真正误区,我见过太多了,我在这儿再布道一哈,CI/CD 不等于 DevOps,他只是 DevOps 落地实践的核心能力。仅凭借一个 CI/CD 能有现成模版就判断出哪个好坏,过于牵强了吧。相信大家真正到项目用的时候,模版是满足不了要求的吧,毕竟大家都很特性化。 最后,还是一个很热的话题,开源,open source。GitLab 是开源的,Coding 和 云效这方面我没看到相关的开源内容(可能是我孤陋寡闻)。大家可以看看国内有多少用 GitLb 的,GitLab 的 CE 版,然后私有化部署,就是很多公司的代码托管 + DevOps 解决方案。 个人愚见,做一些对比报告的时候,还是先需要明白这个产品的定位,去深入挖掘一些真正有意义的对比,这样的对比报告才能有意义。作为一个常年写博客、文章的人来说。你写的每个字、每篇文章,你要想到你的思想会影响到别人。有可能因为你的片面之词,让别人错失一些学习的好机会。 docker run 那一长串后,出来一个字符串,然后去 docker containers 下面看 显示 exited(1);logs 下就一行错误 initdb failed 感谢🙏,第一个问题是空格的问题应该,我逐字敲完后可以构建了.第二个问题是我docker环境的问题,docker更新为最新版后需要重置配置文件.现已经正常使用,再次感谢您的分享和您的细心解答,期待下次相遇😄 还有一个问题可以请教下吗?就是我在容器里建文件夹没有权限,su root后密码不知道是多少,sudo mkdir xxx 提示我,没有sudo命令,请问有好的解决方法吗?谢谢解答 -v 后面可以指定文件吗 我的也是报错,还有。我执行了这个:@localhost kingbase-es-v8-r3-docker % docker run -d --name kingbase -p 54321:54321 -e SYSTEM_PWD=SYSTEM -v /opt/kingbase/data:/opt/kingbase/data -v /opt/kingbase:/opt/kingbase/Server/bin kingbase:v8r3 docker: 'run -d --name kingbase -p 54321:54321 -e SYSTEM_PWD=SYSTEM -v /opt/kingbase/data:/opt/kingbase/data -v /opt/kingbase:/opt/kingbase/Server/bin kingbase:v8r3' is not a docker command. See 'docker --help' 麻烦帮忙看下,是不是我写的命令有问题,还是版本问题,谢谢啦 请问我build的时候一直报错,是资源没了吗?failed to solve with frontend dockerfile.v0: failed to create LLB definition: failed to do request: Head "https://reg-mirror.qiniu.com/v2/library/centos/manifests/7?ns=docker.io": Moved Permanently 能不能在代码那里详细解释一下啊,没完全懂呀 en