Atitit.线程 死锁 跑飞 的检测与自动解除 与手动解除死锁 java c# .net php javascript.

Atitit.线程 死锁 跑飞 的检测与自动解除 与手动解除死锁 java c# .net php javascript.

1. 现象::主程序卡住无反应,多行任务不往下执行 1

2. 原因::使用jv jprofile查看线程,原来俩个线程死锁了。。 1

3. Java的缺点,默认不能自动解除死锁 1

4. 自动检测与解除死锁::使用看门狗watchdog 2

4.1. 死锁检测算法(太麻烦,不推荐) 2

4.2. 硬件看门狗 2

4.3. 软件看门狗的实现--TIMER 2

4.4. LINUX的watchdog 2

5. 解除死锁策略 3

5.1. 程序复位 3

5.2.      撤消线程,剥夺资源。 3

5.3. 进程回退策略, 3

6. 任务恢复---事务重做 3

7. 手动解除死锁 3

8. Watchdog原理and实现 4

9. Java的watchdog设计思路 4

10. 简单的会产生死锁现象的例子, 5

11. 参考 5

1. 现象::主程序卡住无反应,多行任务不往下执行

程序的跑飞,而陷入死循环,程序的正常运行被打断, 系统无法继续工作,会造成整个系统的陷入停滞状态,

2. 原因::使用jv jprofile查看线程,原来俩个线程死锁了。。

3. Java的缺点,默认不能自动解除死锁

不像数据库,许多数据库都可以自动解除死锁,然后安排事务重做。。

Java的语言级别无此功能,只能自己在类库级别实现次功能了。。

作者:: 老哇的爪子 Attilax 艾龙,  EMAIL:[email protected]

转载请注明来源: http://blog.csdn.net/attilax

4. 自动检测与解除死锁::使用看门狗watchdog

死锁检测与恢复是指系统设有专门的机构,当死锁发生时,该机构能够检测到死锁发生的位置和原因,并能通过外力破坏死锁发生的必要条件,从而使得并发进程从死锁状态中恢复出来。

4.1. 死锁检测算法(太麻烦,不推荐)

4.2. 硬件看门狗

专门用于监测程序运行状态的芯片

4.3. 软件看门狗的实现--TIMER

4.4. LINUX的watchdog

Linux 自带了一个 watchdog 的实现,用于监视系统的运行,包括一个内核 watchdog module 和一个用户空间的 watchdog 程序。[1]

内核 watchdog 模块通过 /dev/watchdog 这个字符设备与用户空间通信。用户空间程序一旦打开 /dev/watchdog 设备,就会导致在内核中启动一个 1分钟的定时器,此后,用户空间程序需要保证在 1分钟之内向这个设备写入数据,每次写操作会导致重新设定定时器。如果用户空间程序在 1分钟之内没有写操作,定时器到期会导致一次系统 reboot 操作。[1]

看门狗,又叫 watchdog timer,是一个定时器电路, 一般有一个输入,叫喂狗, 正常工作的时候,每隔一段时间输出一个信号到喂狗端,给 WDT 清零,如果超过规定时间不喂狗(一般在程序跑飞时),WDT 定时超过,就会给出一个复位信号到 复位. 防止 死机. 看门狗的作用就是防止程序发生死循环或者说程序跑飞。

5. 解除死锁策略

5.1. 程序复位

(1)最简单,最常用的方法就是进行系统的重新启动,不过这种方法代价很大,它意味着在这之前所有的进程已经完成的计算工作都将付之东流,包括参与死锁的那些进程,以及未参与死锁的进程。

5.2.      撤消线程,剥夺资源。

终止参与死锁的进程,收回它们占有的资源,从而解除死锁。这时又分两种情况:一次性撤消参与死锁的全部进程,剥夺全部资源;或者逐步撤消参与死锁的进程,逐步收回死锁进程占有的资源。一般来说,选择逐步撤消的进程时要按照一定的原则进行,目的是撤消那些代价最小的进程,比如按进程的优先级确定进程的代价;考虑进程运行时的代价和与此进程相关的外部作业的代价等因素。

5.3. 进程回退策略,

即让参与死锁的进程回退到没有发生死锁前某一点处,并由此点处继续执行,以求再次执行时不再发生死锁。虽然这是个较理想的办法,但是操作起来系统开销极大,要有堆栈这样的机构记录进程的每一步变化,以便今后的回退,有时这是无法做到的。

6. 任务恢复---事务重做

进程回退策略,即让参与死锁的进程回退到没有发生死锁前某一点处,并由此点处继续执行,以求再次执行时不再发生死锁。虽然这是个较理想的办法,但是操作起来系统开销极大,要有堆栈这样的机构记录进程的每一步变化,以便今后的回退,有时这是无法做到的

7. 手动解除死锁

包装系统thread ,每当启动线程的时候儿,向线程注册表格插入线程..退出的时候儿clr...

要是死锁兰,马clr,能查询,在手动clr...

8. Watchdog原理and实现

看门狗的应用,使系统可以在无人状态下实现连续工作,其工作原理是:看门狗芯片和系统的一个I/O引脚相连(纯软件中通过一个变量相连),该I/O引脚通过程序控制它定时地往看门狗的这个引脚上送入高电平(或低电平,软件中是送入一个变量值),这一程序语句是分散地放在系统其他控制语句中间的,一旦系统由于干扰造成程序跑飞后而陷入某一程序段进入死循环状态时,写看门狗引脚的程序便不能被执行,这个时候,看门狗电路就会由于得不到系统送来的信号,便在它和系统复位引脚相连的引脚上送出一个复位信号,使系统发生复位,即程序从程序存储器的起始位置开始执行,这样便实现了系统的自动复位.

在系统运行以后也就启动了看门狗的计数器,看门狗就开始自动计数,如果到了一定的时间还不去清看门狗,那么看门狗计数器就会溢出从而引起看门狗中断,造成系统复位。所以在使用有看门狗的芯片时要注意清看门狗。

硬件看门狗是利用了一个定时器,来监控主程序的运行,也就是说在主程序的运行过程中,我们要在定时时间到之前对定时器进行复位如果出现死循环,或者说PC指针不能回来。那么定时时间到后就会使系统复位

软件看门狗技术的原理和这差不多,只不过是用软件的方法实现,我们还是以51系列来讲,我们知道在51系统中有两个定时器,我们就可以用这两个定时器来对主程序的运行进行监控。我们可以对T0设定一定的定时时间,当产生定时中断的时候对一个变量进行赋值,而这个变量在主程序运行的开始已经有了一个初值,在这里我们要设定的定时值要小于主程序的运行时间,这样在主程序的尾部对变量的值进行判断,如果值发生了预期的变化,就说明T0中断正常,如果没有发生变化则使程序复位。对于T1我们用来监控主程序的运行,我们给T1设定一定的定时时间,在主程序中对其进行复位,如果不能在一定的时间里对其进行复位,T1 的定时中断就会使系统复位。在这里T1的定时时间要设的大于主程序的运行时间,给主程序留有一定的的裕量。而T1的中断正常与否我们再由T0定时中断子程序来监视。这样就构成了一个循环,T0监视T1,T1监视主程序,主程序又来监视T0,从而保证系统的稳定运行。

9. Java的watchdog设计思路

系统软件"看门狗"的设计思路:

1.看门狗定时器T0的设置。在初始化程序块中设置T0的工作方式,并开启中断(timer事件)和计数功能。

2.计算主控程序循环一次的耗时。考虑系统各功能模块及其循环次数,本系统主控制程序的运行时间约为30。系统设置"看门狗"定时器T0定时60s

3.主控程序的每次循环都将刷新T0的初值。如程序进入"死循环"而T0的初值在60s内未被刷新,这时"看门狗"定时器T0将溢出并申请中断。

3.设计T0溢出所对应的中断服务程序。此子程序只须一条指令,即在T0对应的中断向量地址(000BH)(JAVA中是一个线程的引用),写入复位,对任务重新进行初始化并获得正确的执行顺序

10. 简单的会产生死锁现象的例子,

参考Java出现死锁了? - 推酷.htm

11. 参考

atitit 提升数据库死锁处理总结 - attilax的专栏 - 博客频道 - CSDN.NET.htm

watchdog_百度百科.htm

java 死锁产生原因及解锁 - hijiankang的专栏 - 博客频道 - CSDN.NET.htm

时间: 2024-10-21 17:26:04

Atitit.线程 死锁 跑飞 的检测与自动解除 与手动解除死锁 java c# .net php javascript.的相关文章

atitit.线程死锁 卡住无反应 的原因in cmd调用的解决方案  v3 q39

atitit.线程死锁 卡住无反应 的原因in cmd调用的解决方案  v3 q39 1. 问题::线程死锁  卡住无反应1 1.1. 分类:: cmd调用,  net io  , file  io 调用, multi thread调用same var的时候儿..1 1.2. 原因readLine()是阻塞方法1 1.3. 调用same var1 2. 解决之道::2 2.1. 使用了cmd /k走死锁兰...改成个/c佐ok兰..2 2.2. Watchdog2 3. Ref3 1. 问题::

死锁的产生与检测

产生死锁 在操作系统中,我们可能接触过两个进程争抢资源,互不相让,然后产生了死锁,这时候,我们可以用银行家算法来分配资源.下面,我们先模拟产生死锁: #region 试图产生死锁的代码 // static void T1(Program p) //{ // //主线程占有了mainRes并试图访问workerRes; // lock (p.mainRes) // { // Thread.Sleep(10);// // lock (p.workerRes) //死锁 // { // Console

嵌入式程序跑飞源头定位方法

在调试嵌入式程序时经常会遇到程序"莫名其妙"的跑飞,而这类问题一般仿真是不容易找到问题源的.今天灵光一闪,我想到了一个方法可以帮助我们定位问题源,而在实际的使用后,发现这个方法的确可行,也帮助我解决了问题. 先总结一下造成嵌入式程序跑飞的原因: 1. 内存操作错误,如alloc/memset/memcpy等使用错误: 2. 指针使用错误,如使用了空指针: 3. 数组操作错误,如数组越界: 现在开始讲解定位该类问题的方法,以裸机程序为例,带有操作系统的程序方法类似 裸机程序大体的结构如下

使用ffmepg的lib库调试,debug版本下调试无问题,但release版本会出现跑飞的现象

如题(“使用ffmepg的lib库调试,debug版本下调试无问题,但release版本会出现跑飞的现象”). 今天使用ffmpeg进行宿放和颜色格式转换,很简单的代码,却折腾了我一天,这里说来就气啊,全是一顿的蛋疼,这里记下来,防止以后再蛋疼.呵呵 开始的时候,我以为是我的代码问题,然后我把我的代码很多地方都注释了,发现debug没问题,release还是不断跑飞,啥原因? 于是我从新建了一个测试工程,很简单,就调用一句话. 整个工程的代码如下: 1 // ffmpegtest.cpp : 定

MSP430程序跑飞原因

MSP430单片机的程序有时候容易出现跑飞的情况,导致运行不正常.常见原因总结如下: 没有设置停止看门狗,也没有及时喂狗 没有定义中断函数,但又开启了对应的中断,发生中断时,找不到中断函数入口 供电电压不稳,或IO管脚输入过大电压,导致内部数据受到干扰 内存溢出,比如使用sprintf之类的函数很容易出现这种问题 本文由PurpleSword(jzj1993)原创,转载请注明 原文网址 http://blog.csdn.net/jzj1993 没有设置停止看门狗,也没有及时喂狗

atitit.复合变量,也就是类似$$a的变量的原理与实现 java c#.net php js

atitit.复合变量,也就是类似$$a的变量的原理与实现 java c#.net php js 1.1. 复合变量,也就是类似$$a的变量,它会进行两次的解释. 1 1.2. 数据库里面的复合变量1 1.3. 为什么只有php实现了符合变量,因为他的美元符号2 1.4. 符合变量的本质其实就是指针了2 2. 使用java实现符合变量2 2.1. invoke2 2.2. 实现2 3. 参考4 1.1. 复合变量,也就是类似$$a的变量,它会进行两次的解释. 这给PHP带来了非常灵活的动态特性.

atitit.GUI图片非规则按钮跟动态图片切换的实现模式总结java .net c# c++ web html js

atitit.GUI图片非规则按钮跟动态图片切换的实现模式总结java .net c# c++ web html js 1. 图片按钮的效果总结 1 1.1. 按钮图片自动缩放的. 1 1.2. 不要边框,如果用自定义图片做按钮背景可以设为 false. 2 1.3. 异形按钮 2 1.4. 不绘制焦点 2 1.5. 鼠标经过时的图标 2 1.6. 选中时的图标 2 1.7. 禁用时显示的图标 2 1.8. 可能需要按钮半透明效果 2 2. 图片按钮的实现 2 2.1. 优先模式:button控

Atitit.android js 的键盘按键检测Back键Home键和Menu键事件

1. onKeyDown @Override public boolean onKeyDown(int keyCode, KeyEvent event) { if (keyCode == KeyEvent.KEYCODE_MENU) { // 在这里做你想做的事情 // super.openOptionsMenu();  // 调用这个,就可以弹出菜单 webView.loadUrl("javascript:KEYCODE_MENU_handle()"); } return true;

检测任意日期字符串是否属于当天的java实现方案

有时候我们会遇到很多形式的日期判断,甚至是并不常见的日期形式,比如20161212之类的日期,下面就此来进行代码是否处于当天的日期校验的代码实现来做一个整理. 1 public static boolean isToday(String str, String formatStr) throws Exception{ 2 SimpleDateFormat format = new SimpleDateFormat(formatStr); 3 Date date = null; 4 try { 5