期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
一种Java并发程序死锁动态检测的新方法 被引量:1
1
作者 毛澄映 卢炎生 +1 位作者 张金隆 卢超 《小型微型计算机系统》 CSCD 北大核心 2008年第12期2258-2261,共4页
死锁是并发程序中最为常见的一类错误,直到现在并没有得到很好地解决.本文以Java并发程序为例,重点研究针对资源死锁较为有效的动态检测算法:根据并发程序的动态执行追踪信息,分析出加锁控制依赖关系,再根据死锁所应满足的条件在该依赖... 死锁是并发程序中最为常见的一类错误,直到现在并没有得到很好地解决.本文以Java并发程序为例,重点研究针对资源死锁较为有效的动态检测算法:根据并发程序的动态执行追踪信息,分析出加锁控制依赖关系,再根据死锁所应满足的条件在该依赖关系集上作适量演算便得到潜在死锁关系对.进一步地,结合线程间控制流图所反映的部分静态依赖关系,剔除假性死锁关系对,提高了计算结果的精度.该算法显著的特点是简单易于实现,且无需构造锁树或锁图等图形表示. 展开更多
关键词 执行追踪信息 加锁控制依赖 线程间控制流图 动态检测
下载PDF
数字电视接收终端实时数据库的实现
2
作者 陈晓春 周祖成 罗建平 《电视技术》 北大核心 2003年第8期43-45,共3页
介绍了专用于数字电视接收终端的嵌入式数据库系统,描述了基于主内存数据库的数据检索、物理配置、事务管理机制和并发控制等关键技术,并根据数字电视接收终端的实时环境要求设计了相应的事务调度算法和加锁控制技术。
关键词 数字电视接收终端 实时数据库 机顶盒 主内存数据库 嵌入式数据库 数据检索 事务管理机制 并发控制 加锁控制
下载PDF
An Interruptable Lock and Unlock Algorithm
3
作者 吴建国 刘明业 +1 位作者 姚领众 宋瀚涛 《Journal of Beijing Institute of Technology》 EI CAS 1997年第3期287-291,共5页
Generally, Lock and Unlock statements are primitives that should be wholly imple- mented,i.e.,the test of lock state and the operation of locking must be executed continuously without being interrupted. Different f... Generally, Lock and Unlock statements are primitives that should be wholly imple- mented,i.e.,the test of lock state and the operation of locking must be executed continuously without being interrupted. Different from nmormal lock operations, the lock and Unlock algorithm Presented in this paper can be interrupted anywhere by other processes The value of the algorithm in the implementation of concurrent control and mutually-exclusive operations was elucidated with one application of the algorithm in a heterogeneous datedbase united system. 展开更多
关键词 locking algorithm mutually-exclusive operation concurrent control
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部