研究僵局–第4部分:修复代码

在这个简短的博客系列的最后BadTransferOperation中,我一直在讨论分析死锁,我将修复BadTransferOperation代码。 如果您看过本系列的其他博客 ,那么您将知道,为了达到这一点,我创建了死锁的演示代码,展示了如何掌握线程转储,然后分析了线程转储,弄清楚发生僵局的位置和方式。 为了节省空间,下面的讨论同时引用了本系列第1部分中的AccountDeadlockDemo类,其中包含完整的代码清单。

教科书中有关死锁的描述通常是这样的:“线程A将获得对象1的锁定,并等待对象2的锁定,而线程B将获得对象2的锁定,同时等待对象1的锁定”。 我以前的博客中显示的堆积,并在下面突出显示,是一个真实的死锁,其他线程,锁和对象陷入了直接,简单,理论上的死锁情况。

Found one Java-level deadlock:
=============================
'Thread-21':waiting to lock monitor 7f97118bd560 (object 7f3366f58, a threads.deadlock.Account),which is held by 'Thread-20'
'Thread-20':waiting to lock monitor 7f97118bc108 (object 7f3366e98, a threads.deadlock.Account),which is held by 'Thread-4'
'Thread-4':waiting to lock monitor 7f9711834360 (object 7f3366e80, a threads.deadlock.Account),which is held by 'Thread-7'
'Thread-7':waiting to lock monitor 7f97118b9708 (object 7f3366eb0, a threads.deadlock.Account),which is held by 'Thread-11'
'Thread-11':waiting to lock monitor 7f97118bd560 (object 7f3366f58, a threads.deadlock.Account),which is held by 'Thread-20'


如果将上面的文本和图像与以下代码相关联,则可以看到Thread-20已锁定其fromAccount对象( fromAccount ),正在等待锁定其toAccount对象(e98)

private void transfer(Account fromAccount, Account toAccount, int transferAmount) throws OverdrawnException {synchronized (fromAccount) {synchronized (toAccount) {fromAccount.withdraw(transferAmount);toAccount.deposit(transferAmount);}}}

不幸的是,由于时序问题, Thread-20无法获得对对象e98的锁定,因为它正在等待Thread-4释放对该对象的锁定。 Thread-4无法释放锁,因为它正在等待Thread-7Thread-7正在等待Thread-11Thread-11正在等待Thread-20释放对对象f58的锁。 这个现实世界的僵局只是教科书描述的一个更复杂的版本。

这段代码的问题是,从下面的代码片段中,您可以看到我正在从Accounts数组中随机选择两个Account对象作为fromAccounttoAccount并将它们锁定。 由于fromAccounttoAccount可以引用accounts数组中的任何对象,这意味着它们以随机顺序被锁定。

Account toAccount = accounts.get(rnd.nextInt(NUM_ACCOUNTS));Account fromAccount = accounts.get(rnd.nextInt(NUM_ACCOUNTS));

因此, 解决方法是对Account对象的锁定方式施加顺序,并且只要顺序一致,任何顺序都可以执行。

private void transfer(Account fromAccount, Account toAccount, int transferAmount) throws OverdrawnException {if (fromAccount.getNumber() > toAccount.getNumber()) {synchronized (fromAccount) {synchronized (toAccount) {fromAccount.withdraw(transferAmount);toAccount.deposit(transferAmount);}}} else {synchronized (toAccount) {synchronized (fromAccount) {fromAccount.withdraw(transferAmount);toAccount.deposit(transferAmount);}}}}

上面的代码显示了此修复程序。 在此代码中,我使用帐号来确保首先锁定具有最高帐号的Account对象,以便永远不会出现以上的死锁情况。

以下代码是此修复程序的完整列表:

public class AvoidsDeadlockDemo {private static final int NUM_ACCOUNTS = 10;private static final int NUM_THREADS = 20;private static final int NUM_ITERATIONS = 100000;private static final int MAX_COLUMNS = 60;static final Random rnd = new Random();List<Account> accounts = new ArrayList<Account>();public static void main(String args[]) {AvoidsDeadlockDemo demo = new AvoidsDeadlockDemo();demo.setUp();demo.run();}void setUp() {for (int i = 0; i < NUM_ACCOUNTS; i++) {Account account = new Account(i, rnd.nextInt(1000));accounts.add(account);}}void run() {for (int i = 0; i < NUM_THREADS; i++) {new BadTransferOperation(i).start();}}class BadTransferOperation extends Thread {int threadNum;BadTransferOperation(int threadNum) {this.threadNum = threadNum;}@Overridepublic void run() {for (int i = 0; i < NUM_ITERATIONS; i++) {Account toAccount = accounts.get(rnd.nextInt(NUM_ACCOUNTS));Account fromAccount = accounts.get(rnd.nextInt(NUM_ACCOUNTS));int amount = rnd.nextInt(1000);if (!toAccount.equals(fromAccount)) {try {transfer(fromAccount, toAccount, amount);System.out.print(".");} catch (OverdrawnException e) {System.out.print("-");}printNewLine(i);}}System.out.println("Thread Complete: " + threadNum);}private void printNewLine(int columnNumber) {if (columnNumber % MAX_COLUMNS == 0) {System.out.print("\n");}}/*** This is the crucial point here. The idea is that to avoid deadlock you need to ensure that threads can't try* to lock the same two accounts in the same order*/private void transfer(Account fromAccount, Account toAccount, int transferAmount) throws OverdrawnException {if (fromAccount.getNumber() > toAccount.getNumber()) {synchronized (fromAccount) {synchronized (toAccount) {fromAccount.withdraw(transferAmount);toAccount.deposit(transferAmount);}}} else {synchronized (toAccount) {synchronized (fromAccount) {fromAccount.withdraw(transferAmount);toAccount.deposit(transferAmount);}}}}}
}

在我的示例代码,死锁的发生是因为时机问题,嵌套的synchronized在我的关键字BadTransferOperation类。 在此代码中, synchronized关键字位于相邻的行上; 但是,最后一点是,值得注意的是, synchronized关键字在代码中的什么位置都没关系(它们不必相邻)。 只要您使用同一线程锁定两个(或更多)不同的监视对象,就会发生排序和死锁。

有关更多信息,请参阅本系列中的其他博客 。

该系列以及其他博客的所有源代码都可以在Github上找到,网址为git://github.com/roghughe/captaindebug.git

参考: 调查死锁-第4部分:来自Captain Debug博客博客的JCG合作伙伴 Roger Hughes 修复代码 。

翻译自: https://www.javacodegeeks.com/2012/11/investigating-deadlocks-part-4-fixing-the-code.html

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

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

相关文章

chrome插件2

转自&#xff1a;http://www.codeceo.com/article/15-chrome-extension.html 1. Web Developer 支持Chrome的Web Developer扩展&#xff0c;允许你通过添加一个小工具栏来使用不同的工具。 官方网站&#xff1a;https://chrome.google.com/webstore/detail/web-developer/bfbam…

java月历组件_vue之手把手教你写日历组件

---恢复内容开始---1.日历组件1.分析功能&#xff1a;日历基本功能&#xff0c;点击事件改变日期&#xff0c;样式的改变1.结构分析&#xff1a;html1.分为上下两个部分2.上面分为左按钮&#xff0c;中间内容展示&#xff0c;右按钮下面分为周几展示和日期展示3.基本结构页面ht…

HTML5和css3

超链接 <a target"页面打开位置" href"链接地址">内容</a>target:_blank 重新打开一个页面target:_self 当前页面打开 1.页面地址&#xff1a; 基础功能&#xff0c;用于进入该链接的页面&#xff1b; 2.锚点&#xff1a; 需要给标签名定义id…

python下载显示文件丢失_Microsoft.PythonTools.resources.dll

我该如何安装从金山毒霸下载的DLL文件&#xff1f;一&#xff1a;1、从金山毒霸下载压缩文件。2、将DLL文件解压到电脑上的某个地方。3、把该文件跟要求使用它的程序放在同一路径上。注意32位程序需要使用32位的DLL文件&#xff0c;64位程序需要使用64位的DLL文件。否则会出现0…

maven project module 依赖项目创建 ---转

一、创建Maven Project 1.右击 --> New --> Other&#xff0c;--> Maven --> Maven Project --> Next 2.如下图&#xff0c;选中Create a simple project --> Next 3.输入Group Id, Artifact Id, Version, Packaging选择pom&#xff0c;因为创建的Maven Pr…

java soot_正确执行3个地址代码的SOOT API

我在运行SOOT API时遇到问题 . 我正在使用java -cp soot-2.5.0.jar soot.Main -f jimple test我遇到以下错误&#xff1a;Exception in thread "main" java.lang.RuntimeException: Could not load classfile: java.io.ObjectInputStream atat soot.coffi.Util.resol…

JSF AJAX请求的会话超时处理

JSF AJAX请求的会话超时处理 当我们使用AJAX行为开发JSF应用程序时&#xff0c;在处理Ajax请求超时场景时可能会遇到问题。 例如&#xff0c;如果您使用的是基于J2EE表单的身份验证&#xff0c;则会话超时后应将正常请求重定向到登录页面。 但是&#xff0c;如果您的请求是AJAX…

linux常见命令搜集

查找根目录下txt和pdf文件 find / \( -name "*.txt" -o -name "*.pdf" \) -print 正则查找根目录下所有的txt和pdf文件 find / -regex ".*\(\.txt|\.pdf\)$"查找所有非txt文本 find . ! -name "*.txt" -print制定搜索深度 find ~ -max…

前端html,css基础总结

0.1、css引入界面的方式: 内联式:通过标签的style属性&#xff0c;在标签上直接写样式。 <div style"width:100px; height:100px; background:red "></div> 嵌入式:通过style标签&#xff0c;在网页上创建嵌入的样式表。 <style type"text/css&q…

知乎python练手的_Python—爬虫之初级实战项目:爬取知乎任一作者的文章练手

爬虫之初级实战项目&#xff1a;爬取知乎任一作者的文章练手在正式上代码之前&#xff0c;先过一遍之前所学知识的框架内容&#xff0c;温故而知新&#xff01;&#xff01;&#xff01;接下来我们直接上代码&#xff0c;一定要手敲代码、手敲代码、手敲代码&#xff01;&#…

java url帮助类_Spring居然还提供了这么好用的URL工具类

1. 前言开发中我们经常会操作 URL&#xff0c;比如提取端口、提取路径以及最常用的提取参数等等。很多时候需要借助于一些第三方类库或者自己编写工具类来实现&#xff0c;今天胖哥给大家介绍一种方法&#xff0c;无需新的类库引入&#xff0c;只要你使用了 Spring Web 模块都可…

Java并发之CyclicBarria的使用(二)

Java并发之CyclicBarria的使用&#xff08;二&#xff09; 一.简介 之前借助于其他大神写过一篇关于CyclicBarria用法的博文&#xff0c;但是内心总是感觉丝丝的愧疚&#xff0c;因为笔者喜欢原创&#xff0c;而不喜欢去转载一些其他的文章&#xff0c;为此笔者自己原创了一个C…

需加装饰——装饰模式

装饰模式指的是在不必改变原类文件和使用继承的情况下&#xff0c;动态地扩展一个对象的功能。它是通过创建一个包装对象&#xff0c;也就是装饰来包裹真实的对象。 类图分析 我们先假设一个业务场景&#xff0c;有三种房子需要装修&#xff0c;分别是公寓&#xff0c;木屋和别…

Java正则表达式教程及示例

当我开始使用Java时&#xff0c;正则表达式对我来说是一场噩梦。 本教程旨在帮助您掌握Java正则表达式&#xff0c;并让我定期返回以刷新我的正则表达式学习。 什么是正则表达式&#xff1f; 正则表达式定义字符串的模式。 正则表达式可用于搜索&#xff0c;编辑或处理文本。…

Vue2.0 --- vue-cli脚手架中全局引入JQ

第一步&#xff1a;安装jQuery npm/cmpn方式安装(默认安装1.7.X版本的JQ) npm/cnpm install jQuery 如果想安装更高版本的JQ那么可以选择在package.json文件下面这个位置添加代码断&#xff08;当前图片安装的是2.2.3版本&#xff0c;如果想安装更高或者其他可以更改版本号&…

python笔记全_Python笔记

一、数据结构和序列1.1、元组&#xff1a;有一种固定长度&#xff0c;不可修改的python对象序列tup 1,2,3 tup : (1,2,3)tup tuple([4,0,2]) tup : (4,0,2)tup[0] 4元组添加元素&#xff1a;tup (["foo",[1,2],True])tup[1].append(3)tup : ("foo",[1,…

java 分布式编译_linux分布式编译distcc和ccache的部署

unset LANGUAGEexport LANG"en"cd /home/kingsoftmkdir distcccd distccrpm包用&#xff1a;rpm -ivh ...bz2包用&#xff1a;tar -xvf ...进入distcc解压后的目录./configure && make && make installmkdir /usr/lib/distccmkdir /usr/lib/distcc/b…

Unity——用UnityEditor拷贝FBX中的AnimationClip

最近有个新需求&#xff0c;要用代码添加动画的事件&#xff0c;但是Unity不能直接修改FBX中的AnimationClip 在Animation窗口中可以看到&#xff0c;AnimationClip是Read-Only状态&#xff0c;用代码修改这个AnimationClip也是不会生效的&#xff0c;包括用代码添加事件 解决方…

sql 分页存储过程

ALTER procedure [dbo].[fenye]pagesize int, --每页显示数量pageCurrent int, --当前页tablename varchar(20), --表名field varchar(20), --显示的列名(eg: id,name)where varchar(20), --筛选条件 (eg: name not null)orderBy varchar(20), --排序的列名&#xff08;eg: id …

使用Hadoop计算共现矩阵

这篇文章继续我们在MapReduce的数据密集型文本处理一书中实现MapReduce算法的系列。 这次&#xff0c;我们将从文本语料库创建单词共现矩阵。 本系列以前的文章是&#xff1a; 使用MapReduce进行数据密集型文本处理 使用MapReduce进行数据密集型文本处理-本地聚合第二部分 共…