当前位置:网站首页 > 编程语言 > 正文

条件变量必须与互斥锁配合吗(条件变量必须与互斥锁配合吗)




【JavaSE】【多线程】synchronized和死锁(图1)

语法:

 

一个例子,就会出现预期结果10000:

 

synchronized还可以修饰方法(静态方法也行)。

  • synchronized修饰实例方法:
 
  • synchronized修饰静态方法:相当于修饰这个类
 

可重入就是指一个线程连续针对一个对象加多次锁,不会出现“死锁”现象称为可重入。

 

在进入第一个synchronized的时候,加上一把锁,此时已经是“锁定状态”,
当我们进入到第二个synchronized的时候要加锁,就发生“阻塞等待”,就要等到第一个锁走到右大括号}1解完锁才能加,
然而第一个锁走到右大括号}1解锁,又需要第二把锁创建走完到右大括号}2。
这是线程就卡死了,这就是死锁。

synchronized 同步块对同一条线程来说是可重入的,不会出现自己把自己锁死的问题

  • 可重入机制会在第一次加锁的时候记录是那个线程加的锁,然后下一次加锁如果是这个被记录线程,就直接加锁成功。这就是可重入锁的 "线程持有者"信息。
  • 可重入锁还会有一个“计数器”信息,加一把锁就加一,解一把锁就减一,当计数器递减为 0 的时候, 才真正释放锁。
  • 前面所说,一个线程两把锁,如果不是可重入锁就死锁了;
  • 还有两个线程两把锁,是不是可重入锁都要死锁。两个线程T1、T2,两把锁A、B;T1获取锁A,T2获取锁B,T2尝试获取锁B,T2尝试获取锁A。就如“车钥匙锁房间里了,房间钥匙锁车里了”。
 
  • N个线程,M把锁(相当于两个线程两把锁的进阶版本):经典模型哲学家就餐问题

5个哲学家,5只筷子,哲学家坐在圆桌边,桌上放有面条,每只筷子放在每个哲学家的中间。

  1. 每个哲学家,会做两件事:
    1.1.思考人生.放下筷子,啥都不干
    1.2 吃面条.拿起左右两侧的两根筷子,开始吃面条,
  2. 哲学家啥时候吃面条,啥时候思考人生,是随机的
  3. 哲学家吃面条啥时候吃完,也是随机的,
  4. 哲学家正在吃面条的过程中,会持有左右两侧的筷子。此时相邻的哲学家如果也想吃面条,就需要阻塞等待,

当出现极端情况,每个哲学家都想吃面条,都拿起自己左手边的筷子,并且不会在没吃到面条情况下放下筷子,这时就是死锁了。

四个必要条件:

  1. 互斥使用(锁的基本特性):当一个线程拿到一把锁后,另一个线程要拿到这把锁就要阻塞等待;
  2. 不可抢占(锁的基本特性):当一把锁被线程拿到后,其他线程不能抢占,只能等线程自己释放锁;
  3. 请求保持(代码结构):当一个线程拿到一把锁后,再去拿其它锁的时候,已经被拿到的锁不会被释放;
  4. 循环/环路 等待(代码结构):阻塞等待的依赖关系形成环了。
  • 对于条件3,改变代码结构,避免锁嵌套逻辑;
  • 对于条件4,可以约定加锁顺序,便面等待依赖关系成环。
    如上面的哲学家就餐问题,给每个筷子从1-5顺序编号,规定每次拿筷子只能先拿小号筷子。
  • 银行家算法,但是这种算法过于麻烦一般不用。
到此这篇条件变量必须与互斥锁配合吗(条件变量必须与互斥锁配合吗)的文章就介绍到这了,更多相关内容请继续浏览下面的相关推荐文章,希望大家都能在编程的领域有一番成就!

版权声明


相关文章:

  • 天气预报接口(天气预报接口调用方法)2025-03-24 17:36:05
  • webflux(webflux怎么读)2025-03-24 17:36:05
  • 查看文件权限(查看文件权限linux)2025-03-24 17:36:05
  • 广度优先搜索算法代码(广度优先搜索算法代码怎么写)2025-03-24 17:36:05
  • nvme接口和sata接口(nvme接口和sata接口区别)2025-03-24 17:36:05
  • 虚拟机安装xp系统后如何联网(虚拟机安装xp系统后如何联网)2025-03-24 17:36:05
  • 单片机程序破解方法(单片机程序破解方法)2025-03-24 17:36:05
  • 条件变量虚假唤醒是如何造成的(条件变量的虚假唤醒机制)2025-03-24 17:36:05
  • vs1钻石是什么等级(vss钻石什么等级)2025-03-24 17:36:05
  • 公司阶级划分图(公司的阶级制度)2025-03-24 17:36:05
  • 全屏图片