java线程死锁_Java并发:隐藏线程死锁

java线程死锁

大多数Java程序员熟悉Java线程死锁概念。 它本质上涉及2个线程,它们彼此永远等待。 这种情况通常是平面(同步)或ReentrantLock(读或写)锁排序问题的结果。

Found one Java-level deadlock:
=============================
"pool-1-thread-2":waiting to lock monitor 0x0237ada4 (object 0x272200e8, a java.lang.Object),which is held by "pool-1-thread-1"
"pool-1-thread-1":waiting to lock monitor 0x0237aa64 (object 0x272200f0, a java.lang.Object),which is held by "pool-1-thread-2"

好消息是,HotSpot JVM始终可以为您检测到这种情况……还是吗? 最近一个影响Oracle Service Bus生产环境的线程死锁问题迫使我们重新审视此经典问题并确定“隐藏”死锁情况的存在。 本文将通过一个简单的Java程序演示并复制非常特殊的锁顺序死锁条件,最新的HotSpot JVM 1.7并未检测到该情况。 您还可以在本文结尾处找到一个视频 ,向您介绍Java示例程序以及所使用的故障排除方法。

犯罪现场

我通常喜欢将主要的Java并发问题与犯罪现场进行比较,在犯罪现场您扮演首席调查员的角色。 在这种情况下,“犯罪”是客户IT环境的实际生产中断。 您的工作是:

  • 收集所有证据,提示和事实(线程转储,日志,业务影响,负载数字…)
  • 询问证人和领域专家(支持团队,交付团队,供应商,客户...)

调查的下一步是分析收集的信息,并建立一个或多个“嫌疑人”的潜在清单以及明确的证据。 最终,您希望将其范围缩小到主要可疑或根本原因。 显然,“直到证明有罪之前无罪”的法律在这里并不适用,恰恰相反。 缺乏证据可能会阻止您实现上述目标。 接下来,您将看到Hotspot JVM缺少死锁检测,并没有必要证明您没有解决此问题。

犯罪嫌疑人

在此故障排除上下文中,“可疑”定义为具有以下有问题的执行模式的应用程序或中间件代码。

  • 使用FLAT锁,然后使用ReentrantLock WRITE锁(执行路径#1)
  • 使用ReentrantLock READ锁,然后使用FLAT锁(执行路径#2)
  • 由2个Java线程并发执行,但执行顺序相反

上面的锁排序死锁标准可以如下所示:

现在,让我们通过示例Java程序来复制此问题,并查看JVM线程转储输出。

示例Java程序

上面的死锁条件是首先从我们的Oracle OSB问题案例中发现的。 然后,我们通过一个简单的Java程序重新创建了它。 您可以在此处 下载我们程序的完整源代码。 该程序只是创建并触发2个工作线程。 它们每个执行不同的执行路径,并尝试以不同的顺序获取共享对象上的锁。 我们还创建了一个死锁检测器线程以进行监视和记录。 现在,在下面找到实现2条不同执行路径的Java类。

package org.ph.javaee.training8;import java.util.concurrent.locks.ReentrantReadWriteLock;/*** A simple thread task representation* @author Pierre-Hugues Charbonneau**/
public class Task {// Object used for FLAT lockprivate final Object sharedObject = new Object();// ReentrantReadWriteLock used for WRITE & READ locksprivate final ReentrantReadWriteLock lock = new ReentrantReadWriteLock();/***  Execution pattern #1*/public void executeTask1() {// 1. Attempt to acquire a ReentrantReadWriteLock READ locklock.readLock().lock();// Wait 2 seconds to simulate some work...try { Thread.sleep(2000);}catch (Throwable any) {}try {              // 2. Attempt to acquire a Flat lock...synchronized (sharedObject) {}}// Remove the READ lockfinally {lock.readLock().unlock();}           System.out.println("executeTask1() :: Work Done!");}/***  Execution pattern #2*/public void executeTask2() {// 1. Attempt to acquire a Flat locksynchronized (sharedObject) {                 // Wait 2 seconds to simulate some work...try { Thread.sleep(2000);}catch (Throwable any) {}// 2. Attempt to acquire a WRITE lock                   lock.writeLock().lock();try {// Do nothing}// Remove the WRITE lockfinally {lock.writeLock().unlock();}}System.out.println("executeTask2() :: Work Done!");}public ReentrantReadWriteLock getReentrantReadWriteLock() {return lock;}
}

一旦触发死锁情况,就会使用JVisualVM生成JVM线程转储。

从Java线程转储示例中可以看到。 JVM没有检测到此死锁条件(例如,不存在“发现一个Java级死锁”),但是很明显,这两个线程处于死锁状态。

根本原因:ReetrantLock READ锁定行为

至此,我们发现的主要解释与ReetrantLock READ锁的用法有关。 读取锁通常不设计为具有所有权概念。 由于没有哪个线程持有读取锁的记录,因此这似乎可以防止HotSpot JVM死锁检测器逻辑检测到涉及读锁的死锁。 从那时起就实现了一些改进,但是我们可以看到JVM仍然无法检测到这种特殊的死锁情况。 现在,如果我们用写锁替换程序中的读锁(执行模式2),那么JVM将最终检测到死锁情况,但是为什么呢?

Found one Java-level deadlock:
=============================
"pool-1-thread-2":waiting for ownable synchronizer 0x272239c0, (a java.util.concurrent.locks.ReentrantReadWriteLock$NonfairSync),which is held by "pool-1-thread-1"
"pool-1-thread-1":waiting to lock monitor 0x025cad3c (object 0x272236d0, a java.lang.Object),which is held by "pool-1-thread-2"Java stack information for the threads listed above:
===================================================
"pool-1-thread-2":at sun.misc.Unsafe.park(Native Method)- parking to wait for  <0x272239c0> (a java.util.concurrent.locks.ReentrantReadWriteLock$NonfairSync)at java.util.concurrent.locks.LockSupport.park(LockSupport.java:186)at java.util.concurrent.locks.AbstractQueuedSynchronizer.
parkAndCheckInterrupt(AbstractQueuedSynchronizer.java:834)at java.util.concurrent.locks.AbstractQueuedSynchronizer.
acquireQueued(AbstractQueuedSynchronizer.java:867)at java.util.concurrent.locks.AbstractQueuedSynchronizer.
acquire(AbstractQueuedSynchronizer.java:1197)at java.util.concurrent.locks.ReentrantReadWriteLock$WriteLock.lock(ReentrantReadWriteLock.java:945)at org.ph.javaee.training8.Task.executeTask2(Task.java:54)- locked <0x272236d0> (a java.lang.Object)at org.ph.javaee.training8.WorkerThread2.run(WorkerThread2.java:29)at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1110)at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:603)at java.lang.Thread.run(Thread.java:722)
"pool-1-thread-1":at org.ph.javaee.training8.Task.executeTask1(Task.java:31)- waiting to lock <0x272236d0> (a java.lang.Object)at org.ph.javaee.training8.WorkerThread1.run(WorkerThread1.java:29)at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1110)at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:603)at java.lang.Thread.run(Thread.java:722)

这是因为JVM跟踪写入锁类似于平面锁。 这意味着HotSpot JVM死锁检测器似乎当前被设计用来检测:

  • 对象监视器上涉及FLAT锁的死锁
  • 死锁涉及与WRITE锁关联的锁定的可拥有同步器

缺少读取锁每线程跟踪似乎可以防止这种情况下的死锁检测,并大大增加了故障排除的复杂性。 我建议您阅读Doug Lea在整个问题上的评论 ,因为早在2005年,人们就开始担心由于某些潜在的锁定开销而可能增加按线程读取保持跟踪的可能性。 如果您怀疑涉及读取锁的隐藏死锁情况,请在下面的故障排除建议中查找:

  • 仔细分析线程调用堆栈跟踪,它可能会揭示某些代码潜在地获取读锁,并阻止其他线程获取写锁。
  • 如果您是代码的所有者,请通过使用lock.getReadLockCount()方法来跟踪读取锁的计数。

我期待着您的反馈,特别是对于具有此类涉及读锁的死锁经验的个人。 最后,在下面的视频中找到通过示例Java程序的执行和监视来解释这些发现的视频。


参考: Java并发性: Java EE支持模式和Java教程博客中,我们的JCG合作伙伴 Pierre-Hugues Charbonneau 隐藏的线程死锁 。

翻译自: https://www.javacodegeeks.com/2013/02/java-concurrency-the-hidden-thread-deadlocks.html

java线程死锁

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/349440.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

空间滤波_第三章 灰度变换与空间滤波-(六)锐化空间滤波器之非锐化掩蔽

知识使人自由&#xff0c;印刷术使知识自由。按照书中的顺序&#xff0c;我们插入一章非微分模式下的锐化的方法&#xff0c;非锐化掩蔽。这种方法在印刷术和出版界已经用了好多年了&#xff0c;具体的过程&#xff1a;模糊原图像从原图像中减去模糊图像&#xff08;产生的差值…

python gui编程 从入门到项目实战_python GUI编程 QT5开发项目实战

目录&#xff1a;├─01-PyQT简介及优势├─02-PyQT5开发环境搭建├─03-PyQT5应该学什么├─04-PyQT5库结构├─05-PyQT5程序基本结构分析├─06-PyQT5-Pycharm活动模板设置├─07-PyQT5程序基本结构-面向对象版本├─08-PyQT5-控件初体验及学习思路├─09-PyQT5-Object-对象的…

五分钟的JShell

这篇文章建立在我的My Java 9顶级功能文章的基础上&#xff0c;通过对这些功能的深入研究。 在这里&#xff0c;我们向您展示如何在五分钟内学习jshell并改善Java 9开发经验。 入门 假设您已经下载并安装了Java 9&#xff0c;则可以通过键入以下内容启动Shell&#xff1a; js…

gsoap初始化释放_通过gsoap使用webservice

一. 按照原来预研究的结果&#xff0c;使用gsoap的方法如下:soapcpp2.exe -C weather.h -I E:\temp\gsoap-2.8\gsoap\import(E:\temp\gsoap-2.8\gsoap\import是我本地的路径)&#xff0c;这样可以生成C文件(soapClient.cpp, soapH.h, soapStub.h, WeatherWebServiceSoap.nsmap)…

go语言io reader_【已解决】go语言中如何使用io的MultiWriter

【背景】折腾&#xff1a;期间&#xff0c;需要去搞懂&#xff1a;如果新建和设置MultiWriter。【折腾过程】1.参考&#xff1a;去看看&#xff1a;2.然后去试试代码&#xff1a;var filenameOnly stringfilenameOnly GetCurFilename()fmt.Println("filenameOnly", …

python声明编码为gbk_Python字符串编码坑彻底详细解决

来源&#xff1a;实习僧 作者&#xff1a;实习僧的何梁 真正完全搞清楚Python的编码问题 我想大家经常被Python的编码问题搞的晕头转向&#xff0c;下面我一头来自实习僧的牛&#xff0c;为您详细解析这个天坑: 请看图&#xff1a; 1、python中一切皆对象&#xff0c;字符对象分…

golang 包含文本_Golang教程之Web篇(七)

首先&#xff0c;大家一起思考一个问题&#xff1a;何为Web编程&#xff1f;严格来说&#xff0c;这只是一个叫法&#xff0c;并没有学术上的定义&#xff0c;但是一般大家都说到web都是指浏览器相关&#xff0c;所以大家一般说的web开发要么是PC Web要么就是手机Web&#xff0…

junit 测试 异常_使用JUnit规则测试预期的异常

junit 测试 异常这篇文章展示了如何使用JUnit测试预期的异常。 让我们从我们要测试的以下类开始&#xff1a; public class Person {private final String name;private final int age;/*** Creates a person with the specified name and age.** param name the name* param …

delphi switch语句例子_Java 14 祭出增强版 switch,真香!!

Java14&#xff1a;栈长&#xff0c;我还有机会吗&#xff1f;栈长&#xff1a;必须有&#xff01;今天说下switch&#xff01;关注Java技术栈的朋友应该都知道&#xff0c;switch 在 JDK 12 中进行增强了&#xff0c;并且在 JDK 12/13 中一直是预览特性&#xff0c;刚出来的时…

呼叫我,或异步REST

本文是使用Spring Boot Java 8进行的异步REST应用程序工作的非常简单的示例。SpringBoot使Web应用程序的开发几乎非常容易&#xff0c;但是为了简化任务&#xff0c;我从Spring存储库中举了一个例子&#xff0c;称为rest- service &#xff0c;将其分叉到我自己的存储库中 &am…

python中break可以用在for和if中吗_Python的for和break循环结构中使用else语句的技巧...

在Python中的while或者for循环之后还可以有else子句&#xff0c;作用是for循环中if条件一直不满足&#xff0c;则最后就执行else语句。 1 2 3 4 5 6 7 8 9 10 11 for iin range(5): if i 1: print in for else: print in else print after for-loop # in for # in else # after…

ldconfig mysql_ldconfig命令介绍

ldconfig是一个动态链接库管理命令&#xff0c;其目的为了让动态链接库为系统所共享。**ldconfig的主要用途&#xff1a;默认搜寻/lilb和/usr/lib&#xff0c;以及配置文件/etc/ld.so.conf内所列的目录下的库文件。搜索出可共享的动态链接库&#xff0c;库文件的格式为&#xf…

sqoop 导入到hive字段全是null_Sqoop 一点通

sqoop 是什么&#xff1f;sqoop 主要用于异构数据&#xff1a;1. 将数据从hadoop&#xff0c;hive 导入、导出到关系型数据库mysql 等;2. 将关系型数据库 mysql 中数据导入、导出到 hadoop 、hve 。sqoop 版本说明sqoop 1 版本主要从1.4.0 到 1.4.7&#xff1b;sqoop 2 版本主要…

php使用pdo操作mysql数据库实例_php使用PDO操作MySQL数据库实例_PHP

本文实例讲述了php使用PDO操作MySQL数据库的方法。分享给大家供大家参考。具体分析如下&#xff1a;PDO是mysql数据库操作的一个公用类,我们不需要进行自定类就可以直接使用pdo来操作数据库,但是在php默认配置中pdo是未开启所以我们必须先在php.ini中开启它才可以使用,这里来详…

雅虎yql_从RSS Feed和YQL创建数据表

雅虎yqlYahoo Query Language&#xff08; YQL &#xff09;是一种查询语言&#xff0c;例如SQL。 使用YQL&#xff0c;我们可以跨Web服务 查询 &#xff0c; 过滤和联接数据。 YQL也可以阅读RSS feed。 响应可以是JSON或XML。 雅虎提供了一个YQL控制台&#xff0c;用于调试…

python入门之函数调用第二关_Python基础语法学习笔记之风变第九关函数

一、初识函数 1、函数的作用 2、函数的组成 函数&#xff08;Function&#xff09;能实现的功能从简单到复杂&#xff0c;各式各样&#xff0c;但其本质是相通的&#xff0c;我们可以看作成三个部分。 3、定义和调用函数 def math(x): y 3*x 5 return y 第1行&#xff1a;def…

流与装饰器

几年前&#xff0c; Streams API随lambda表达式一起在Java 8中引入。 作为一个熟练的Java专家&#xff0c;我尝试在我的一些项目中使用此新功能&#xff0c;例如here和here 。 我不是很喜欢它&#xff0c;然后又回到了好的老房子里。 此外&#xff0c;我创建了装饰库Cactoos来取…

流线动态图python_Node.js Stream(流)

Node.js Stream(流) Stream 是一个抽象接口&#xff0c;Node 中有很多对象实现了这个接口。例如&#xff0c;对http 服务器发起请求的request 对象就是一个 Stream&#xff0c;还有stdout&#xff08;标准输出&#xff09;。 Node.js&#xff0c;Stream 有四种流类型&#xff1…

gacutil不是内部或外部命令_Win7命令提示符输入taskkill提示不是内部或外部命令...

使用win7系统的用户&#xff0c;想在命令提示符下使用taskkill命令删掉进程的时候&#xff0c;却提示taskkill不是内部或外部命令&#xff0c;也不是可运行的程序&#xff0c;遇到这样的问题&#xff0c;这位用户不知道怎么解决。所以给大家带来了解决方法教程&#xff0c;希望…

mysql两台服务器怎么做数据同步_两台mysql服务器实现双机互备配置并测试数据同步...

对于实现两台机子的互备配置&#xff0c;本文作出了详细的介绍&#xff0c;之后的测试数据同步&#xff0c;在10.168.1.44服务器数据库里修改一条数据&#xff0c; 可以看到数据已经同步过来了。反过来&#xff0c;修改10.168.0.126的数据&#xff0c;也可以看到10.168.1.44数据…