期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
19
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于线程同步与妥协处理机制的多线程技术
被引量:
2
1
作者
张雷
王悦
雷玉常
《辽宁工程技术大学学报(自然科学版)》
CAS
北大核心
2012年第5期654-658,共5页
为了充分利用CPU,节省系统开支,优化程序结构,多线程技术是许多程序开发中主要采用的技术。但是由于多线程这种技术的并发执行的特性导致许多资源利用、数据维护等方面的问题出现,死锁、数据混乱也随之产生。线程同步与妥协处理机制可...
为了充分利用CPU,节省系统开支,优化程序结构,多线程技术是许多程序开发中主要采用的技术。但是由于多线程这种技术的并发执行的特性导致许多资源利用、数据维护等方面的问题出现,死锁、数据混乱也随之产生。线程同步与妥协处理机制可以较好的解决多线程使用过程中产生的问题。实验中采用了这两种方法后数据混乱、死锁等问题的出现几率大大降低。实验结论表明上面两种方法的使用可以很好的控制死锁、数据混乱的出现,具有良好的使用价值。
展开更多
关键词
死锁
数据混乱
线程同步
妥协处理机制
死锁状态
解锁
死锁线程
多线程
下载PDF
职称材料
基于Java的多线程实现技术
被引量:
3
2
作者
王志和
王新辉
《湖南人文科技学院学报》
2005年第5期65-67,共3页
多线程是现代操作系统中出现的概念。阐述了多线程的概念以及对线程的状态、创建和控制方法,对避免死锁的方法作了深入的探讨。
关键词
多线程
线程同步
死锁
下载PDF
职称材料
Web服务器应用程序中的线程池方案
被引量:
2
3
作者
张银霞
刘娜娜
李晶
《齐齐哈尔大学学报(自然科学版)》
2004年第2期47-49,共3页
本文介绍了Web服务器应用程序中的线程池解决方案,并分析了使用线程池的危险及有效解决方法。
关键词
WEB服务器
应用程序
线程池
死锁
线程泄漏
请求过载
下载PDF
职称材料
Java语言多线程技术
被引量:
2
4
作者
郭艳
刘福江
《现代计算机》
2002年第2期20-22,41,共4页
本文从线程的概念及特点、多线程和多进程的区别以及死锁等基本原理出发,论述Java语言中的多线程机制——线程调度模式、同步互斥机制以及内置多线程功能,并对线程的状态、创建和控制方法以及避免死锁的方法作了深入的探讨。
关键词
JAVA语言
面向对象
程序设计语言
多线程技术
下载PDF
职称材料
钢丝螺套在电子设备中的应用及装配技术
被引量:
3
5
作者
刘秀利
《机械》
2012年第S1期21-24,共4页
钢丝螺套具有外形尺寸紧凑、强度好、耐磨性好等优点,是电子设备中弥补铝合金结构件螺纹强度不足、修复螺纹的常用方法。结合实际工作中的体会和经验,简要介绍了钢丝螺套的分类和安装作用原理,详细论述了钢丝螺套选用方案、钢丝螺套底...
钢丝螺套具有外形尺寸紧凑、强度好、耐磨性好等优点,是电子设备中弥补铝合金结构件螺纹强度不足、修复螺纹的常用方法。结合实际工作中的体会和经验,简要介绍了钢丝螺套的分类和安装作用原理,详细论述了钢丝螺套选用方案、钢丝螺套底孔加工及螺套装配过程中的控制要点,最后列举了工程中遇到的各类装配和应用问题,着重针对实际工程中经常出现的钢丝螺套不易安装、使用中随螺钉脱出、与螺钉卡死等常见问题给出详细原因分析和解决措施。
展开更多
关键词
钢丝螺套
装配
卡死
下载PDF
职称材料
一种Java并发程序死锁动态检测的新方法
被引量:
1
6
作者
毛澄映
卢炎生
+1 位作者
张金隆
卢超
《小型微型计算机系统》
CSCD
北大核心
2008年第12期2258-2261,共4页
死锁是并发程序中最为常见的一类错误,直到现在并没有得到很好地解决.本文以Java并发程序为例,重点研究针对资源死锁较为有效的动态检测算法:根据并发程序的动态执行追踪信息,分析出加锁控制依赖关系,再根据死锁所应满足的条件在该依赖...
死锁是并发程序中最为常见的一类错误,直到现在并没有得到很好地解决.本文以Java并发程序为例,重点研究针对资源死锁较为有效的动态检测算法:根据并发程序的动态执行追踪信息,分析出加锁控制依赖关系,再根据死锁所应满足的条件在该依赖关系集上作适量演算便得到潜在死锁关系对.进一步地,结合线程间控制流图所反映的部分静态依赖关系,剔除假性死锁关系对,提高了计算结果的精度.该算法显著的特点是简单易于实现,且无需构造锁树或锁图等图形表示.
展开更多
关键词
死锁
执行追踪信息
加锁控制依赖
线程间控制流图
动态检测
下载PDF
职称材料
频谱分析仪软件之高效率多线程设计
7
作者
马风军
刘宝东
《中国仪器仪表》
2012年第6期70-72,共3页
多线程设计是现代软件设计的一个重点,在便携式频谱分析仪软件设计中有着更加严格的要求。本文针对便携式频谱分析仪高性能、低功耗指标需求,充分挖掘多线程程序设计的优点,提出了一种优化设计方案。该方案考虑"硬件优先,测量优先&...
多线程设计是现代软件设计的一个重点,在便携式频谱分析仪软件设计中有着更加严格的要求。本文针对便携式频谱分析仪高性能、低功耗指标需求,充分挖掘多线程程序设计的优点,提出了一种优化设计方案。该方案考虑"硬件优先,测量优先"的原则,权衡各线程在频谱分析仪软件中密切协作关系,从高效运行、节能、多线程协作与消除副作用4个方面进行了详细阐述。
展开更多
关键词
频谱分析仪
多线程
死锁
下载PDF
职称材料
Java并发机制研究
被引量:
5
8
作者
徐绍忠
王 乘
刘小虎
《计算机工程》
CAS
CSCD
北大核心
2002年第4期73-75,共3页
针对高质量Java多线程并发程序设计,结合实例分析研究了Java多线程同步机制、通信机制以及并发机制的扩展,给出了防止死锁现象的编程策略,有助于解决实际编程中的并发问题。
关键词
多线程
并发机制
死锁
JAVA语言
程序设计
下载PDF
职称材料
浅谈Java多线程机制
9
作者
牛承珍
刘云峰
《山西科技》
2006年第5期41-41,48,共2页
针对高可靠、高质量Java并行多任务程序设计,分析了Java多线程的创建、调度、同步机制及死锁,探讨了多线程程序的设计。
关键词
JAVA
线程
多线程
同步机制
死锁
下载PDF
职称材料
Java多线程程序设计方法
10
作者
刘冬杰
《中山大学学报论丛》
1997年第3期56-59,共4页
基于Java语言的多线程的特征,介绍了Java多线程的实现方法。
关键词
多线程
同步线程
死锁
JAVA
下载PDF
职称材料
多线程技术及其在Java ME中的应用研究
11
作者
徐金宝
《电脑知识与技术》
2008年第12Z期2525-2527,共3页
多线程技术是提高程序并发性和效率的重要手段,在网络应用、数据库应用软件、因特网以及嵌入式系统的开发中得到广泛的应用。深入分析多线程及其同步机制、死锁问题,并将多线程技术运用到JavaME开发中的图像平滑移动、低层界面设计、无...
多线程技术是提高程序并发性和效率的重要手段,在网络应用、数据库应用软件、因特网以及嵌入式系统的开发中得到广泛的应用。深入分析多线程及其同步机制、死锁问题,并将多线程技术运用到JavaME开发中的图像平滑移动、低层界面设计、无线消息接收、竞技游戏、移动电子商务开发实践中,并分析开发中会出现的死锁问题,对开发高效率的JavaME应用程序具有重要意义。
展开更多
关键词
线程
同步
死锁
JAVA
ME
下载PDF
职称材料
基于高效线程池的技术研究与设计
被引量:
3
12
作者
朱翔
《长沙铁道学院学报》
CSCD
北大核心
2003年第4期58-62,共5页
在对象池扩展设计模式的基础上,设计了高效线程池.研究了线程池中的死锁问题、线程分配问题、线程泄漏问题,提出了相应的解决方案,实现了线程池的策略管理与线程的高效复用,提高了系统效率.
关键词
设计模式
对象池
线程池
线程死锁
线程分配
线程泄漏
下载PDF
职称材料
城轨交通Check方式调度监督系统的设计与实现
被引量:
1
13
作者
郑宇轩
陈永生
+1 位作者
郭玉臣
邹雷兵
《铁道学报》
EI
CAS
CSCD
北大核心
2002年第1期5-9,共5页
针对轨道交通信号系统的特点 ,提出了一种基于 Check方式的城市轨道交通调度监督系统。结合上海明珠线调度监督系统 ,介绍了系统数据库的事务处理和并发控制 ,给出了几种优化系统的措施 ,以及系统的软件结构和系统功能。
关键词
调度监督系统
城市
CHECK方式
轨道交通
CAN总线
事务处理
死锁
内存表
多线程
下载PDF
职称材料
基于Elastos线程同步机制的死锁检测技术研究
14
作者
张捷
陈榕
《计算机科学》
CSCD
北大核心
2008年第12期258-261,共4页
Elastos是基于构件的操作系统,构件对象的行为模式决定了内核底层机制的实现。在Elastos中,进程对象、线程对象以及线程的同步对象等都是构件对象。介绍了Elastos的CAR构件技术及与之相应的线程同步机制,在此基础上分析了一类资源死锁...
Elastos是基于构件的操作系统,构件对象的行为模式决定了内核底层机制的实现。在Elastos中,进程对象、线程对象以及线程的同步对象等都是构件对象。介绍了Elastos的CAR构件技术及与之相应的线程同步机制,在此基础上分析了一类资源死锁产生的可能原因;结合Elastos本身的相关特点,讨论了实现死锁检测技术的各个环节,综合考虑了可靠性、正确性及效率方面的要求,给出了一个可行的死锁检测算法。通过实际验证,此算法可以得到正确的结果。
展开更多
关键词
ELASTOS
构件对象
线程同步
死锁检测
下载PDF
职称材料
基于Petri网的多线程程序死锁检测
被引量:
8
15
作者
黄理
顾乃杰
曹华雄
《计算机工程》
CAS
CSCD
北大核心
2016年第4期1-6,共6页
针对并发程序中死锁检测困难的问题,基于Petri网对多线程程序进行死锁检测。定义抽象描述多线程程序中锁操作的Petri网模型,在现有基于混合整数规划(MIP)的死锁检测算法基础上,提出改进的MIP算法检测该模型中是否存在死锁。实验结果表明...
针对并发程序中死锁检测困难的问题,基于Petri网对多线程程序进行死锁检测。定义抽象描述多线程程序中锁操作的Petri网模型,在现有基于混合整数规划(MIP)的死锁检测算法基础上,提出改进的MIP算法检测该模型中是否存在死锁。实验结果表明,改进MIP算法能够检测到Petri网模型中的死锁,与标志矩阵算法和可达图相比,处理大规模多线程程序时计算效率更高。
展开更多
关键词
多线程程序
锁操作
PETRI网
混合整数规划
死锁检测
下载PDF
职称材料
基于SUIF2的静态死锁检测方法研究
16
作者
郝闯
张志祥
张静波
《计算机与数字工程》
2012年第7期69-72,共4页
死锁是并发程序中常见的错误之一,且由于并发程序运行的不确定性使得死锁难以检测。针对该问题,通过对C多线程程序死锁的分析,提出了一种基于SUIF2的静态死锁检测方法,设计了基于SUIF2的C多线程程序静态死锁检测的框架结构和锁集分析算...
死锁是并发程序中常见的错误之一,且由于并发程序运行的不确定性使得死锁难以检测。针对该问题,通过对C多线程程序死锁的分析,提出了一种基于SUIF2的静态死锁检测方法,设计了基于SUIF2的C多线程程序静态死锁检测的框架结构和锁集分析算法。最后通过一个实例说明了该检测方法的有效性。
展开更多
关键词
死锁
多线程程序
SUIF2
锁集分析
死锁检测
下载PDF
职称材料
论Delphi中的线程处理
17
作者
高永青
丁树江
+1 位作者
杨宏亮
袁林英
《山东电子》
2000年第2期10-11,14,共3页
本文详细地介绍了线程在Delphi中的实现原理和编写方法,并给出了用Delphi5.0编写的一个实际例子。
关键词
WIN32
线程处理
DELPHI
下载PDF
职称材料
Check方式轨道交通调度监督系统的设计与实现
18
作者
郑宇轩
陈永生
《计算机工程与应用》
CSCD
北大核心
2001年第24期144-147,共4页
针对轨道交通信号系统的特点,文章提出了一种基于Check方式的城市轨道交通调度监督系统。结合上海明珠线调度监督系统,介绍了系统数据库的事务处理和并发控制,给出了几种优化系统的措施,以及系统的软件结构和系统功能。
关键词
城市轨道交通
列车运行
计算机
CHECK方式
行车调度监督系统
下载PDF
职称材料
浅谈C#线程同步的几种方法
被引量:
1
19
作者
凌建辉
《信息与电脑(理论版)》
2009年第11期128-128,共1页
在编程时,合理有效的掌握几种进程同步的方法,灵活运用其中的线程同步方法,可以很大程度上提高程序的运行效率,提高对并行程序的理解。
关键词
线程
同步
死锁
原文传递
题名
基于线程同步与妥协处理机制的多线程技术
被引量:
2
1
作者
张雷
王悦
雷玉常
机构
广东科贸职业学院广东广州
重庆工业自动化仪表研究所
出处
《辽宁工程技术大学学报(自然科学版)》
CAS
北大核心
2012年第5期654-658,共5页
基金
中央高校基金资助项目(2011ZM0080)
文摘
为了充分利用CPU,节省系统开支,优化程序结构,多线程技术是许多程序开发中主要采用的技术。但是由于多线程这种技术的并发执行的特性导致许多资源利用、数据维护等方面的问题出现,死锁、数据混乱也随之产生。线程同步与妥协处理机制可以较好的解决多线程使用过程中产生的问题。实验中采用了这两种方法后数据混乱、死锁等问题的出现几率大大降低。实验结论表明上面两种方法的使用可以很好的控制死锁、数据混乱的出现,具有良好的使用价值。
关键词
死锁
数据混乱
线程同步
妥协处理机制
死锁状态
解锁
死锁线程
多线程
Keywords
deadlock
data confusion
thread
synchronization
thread
handling mechanism compromise
deadlock
state
unlock
deadlock
thread
multi
thread
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于Java的多线程实现技术
被引量:
3
2
作者
王志和
王新辉
机构
湖南人文科技学院数学系
湖南人文科技学院计算机系
出处
《湖南人文科技学院学报》
2005年第5期65-67,共3页
文摘
多线程是现代操作系统中出现的概念。阐述了多线程的概念以及对线程的状态、创建和控制方法,对避免死锁的方法作了深入的探讨。
关键词
多线程
线程同步
死锁
Keywords
multi
thread
thread
synchronization
deadlock
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Web服务器应用程序中的线程池方案
被引量:
2
3
作者
张银霞
刘娜娜
李晶
机构
齐齐哈尔大学计算中心
出处
《齐齐哈尔大学学报(自然科学版)》
2004年第2期47-49,共3页
文摘
本文介绍了Web服务器应用程序中的线程池解决方案,并分析了使用线程池的危险及有效解决方法。
关键词
WEB服务器
应用程序
线程池
死锁
线程泄漏
请求过载
Keywords
Web Server application program
thread
pools
deadlock
thread
leakage
request overload
分类号
TP393.0 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
Java语言多线程技术
被引量:
2
4
作者
郭艳
刘福江
机构
中国地质大学信息工程学院
出处
《现代计算机》
2002年第2期20-22,41,共4页
文摘
本文从线程的概念及特点、多线程和多进程的区别以及死锁等基本原理出发,论述Java语言中的多线程机制——线程调度模式、同步互斥机制以及内置多线程功能,并对线程的状态、创建和控制方法以及避免死锁的方法作了深入的探讨。
关键词
JAVA语言
面向对象
程序设计语言
多线程技术
Keywords
Java
thread
Multi
thread
ing
Synchronization Mechanism
deadlock
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
钢丝螺套在电子设备中的应用及装配技术
被引量:
3
5
作者
刘秀利
机构
中国电子科技集团公司第十研究所
出处
《机械》
2012年第S1期21-24,共4页
文摘
钢丝螺套具有外形尺寸紧凑、强度好、耐磨性好等优点,是电子设备中弥补铝合金结构件螺纹强度不足、修复螺纹的常用方法。结合实际工作中的体会和经验,简要介绍了钢丝螺套的分类和安装作用原理,详细论述了钢丝螺套选用方案、钢丝螺套底孔加工及螺套装配过程中的控制要点,最后列举了工程中遇到的各类装配和应用问题,着重针对实际工程中经常出现的钢丝螺套不易安装、使用中随螺钉脱出、与螺钉卡死等常见问题给出详细原因分析和解决措施。
关键词
钢丝螺套
装配
卡死
Keywords
wire
thread
insert
assembling
deadlock
ing
分类号
TH11 [机械工程—机械设计及理论]
下载PDF
职称材料
题名
一种Java并发程序死锁动态检测的新方法
被引量:
1
6
作者
毛澄映
卢炎生
张金隆
卢超
机构
华中科技大学计算机科学与技术学院
江西财经大学软件学院
华中科技大学管理学院
出处
《小型微型计算机系统》
CSCD
北大核心
2008年第12期2258-2261,共4页
基金
国家自然科学基金项目(70571025)资助
教育部高等学校博士点基金项目(20060487005)资助
+3 种基金
湖北省自然科学基金项目(2005ABA266)资助
江西省教育厅科学技术研究项目(赣高教技字[2007]-267)资助
中国博士后科学基金项目(20070410946)资助
江西财经大学校级青年课题资助
文摘
死锁是并发程序中最为常见的一类错误,直到现在并没有得到很好地解决.本文以Java并发程序为例,重点研究针对资源死锁较为有效的动态检测算法:根据并发程序的动态执行追踪信息,分析出加锁控制依赖关系,再根据死锁所应满足的条件在该依赖关系集上作适量演算便得到潜在死锁关系对.进一步地,结合线程间控制流图所反映的部分静态依赖关系,剔除假性死锁关系对,提高了计算结果的精度.该算法显著的特点是简单易于实现,且无需构造锁树或锁图等图形表示.
关键词
死锁
执行追踪信息
加锁控制依赖
线程间控制流图
动态检测
Keywords
deadlock
execution trace information
locking control dependency
inter-
thread
control flow graph (ITCFG)
dynamic detection
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
频谱分析仪软件之高效率多线程设计
7
作者
马风军
刘宝东
机构
中国电子科技集团公司四十一研究所
出处
《中国仪器仪表》
2012年第6期70-72,共3页
文摘
多线程设计是现代软件设计的一个重点,在便携式频谱分析仪软件设计中有着更加严格的要求。本文针对便携式频谱分析仪高性能、低功耗指标需求,充分挖掘多线程程序设计的优点,提出了一种优化设计方案。该方案考虑"硬件优先,测量优先"的原则,权衡各线程在频谱分析仪软件中密切协作关系,从高效运行、节能、多线程协作与消除副作用4个方面进行了详细阐述。
关键词
频谱分析仪
多线程
死锁
Keywords
Spectrum analyzer Multi-
thread
ing
deadlock
分类号
TH83 [机械工程—精密仪器及机械]
下载PDF
职称材料
题名
Java并发机制研究
被引量:
5
8
作者
徐绍忠
王 乘
刘小虎
机构
华中科技大学力学系工程计算与仿真研究所
出处
《计算机工程》
CAS
CSCD
北大核心
2002年第4期73-75,共3页
文摘
针对高质量Java多线程并发程序设计,结合实例分析研究了Java多线程同步机制、通信机制以及并发机制的扩展,给出了防止死锁现象的编程策略,有助于解决实际编程中的并发问题。
关键词
多线程
并发机制
死锁
JAVA语言
程序设计
Keywords
Multi-
thread
Concurrent mechanism
deadlock
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
TP311.1 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
浅谈Java多线程机制
9
作者
牛承珍
刘云峰
机构
山西工程职业技术学院
太原理工大学计算机与软件学院
出处
《山西科技》
2006年第5期41-41,48,共2页
文摘
针对高可靠、高质量Java并行多任务程序设计,分析了Java多线程的创建、调度、同步机制及死锁,探讨了多线程程序的设计。
关键词
JAVA
线程
多线程
同步机制
死锁
Keywords
Java
multi-
thread
ing
synchronized mechanism
deadlock
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
Java多线程程序设计方法
10
作者
刘冬杰
机构
华南师范大学计算与信息中心
出处
《中山大学学报论丛》
1997年第3期56-59,共4页
文摘
基于Java语言的多线程的特征,介绍了Java多线程的实现方法。
关键词
多线程
同步线程
死锁
JAVA
Keywords
multi
thread
synchronized
thread
deadlock
Java
分类号
G64 [文化科学—高等教育学]
下载PDF
职称材料
题名
多线程技术及其在Java ME中的应用研究
11
作者
徐金宝
机构
南京工程学院计算机工程学院
出处
《电脑知识与技术》
2008年第12Z期2525-2527,共3页
基金
南京工程学院科研基金项目(KXJ08071)
文摘
多线程技术是提高程序并发性和效率的重要手段,在网络应用、数据库应用软件、因特网以及嵌入式系统的开发中得到广泛的应用。深入分析多线程及其同步机制、死锁问题,并将多线程技术运用到JavaME开发中的图像平滑移动、低层界面设计、无线消息接收、竞技游戏、移动电子商务开发实践中,并分析开发中会出现的死锁问题,对开发高效率的JavaME应用程序具有重要意义。
关键词
线程
同步
死锁
JAVA
ME
Keywords
thread
synchronized
deadlock
Java ME
分类号
TP312.1 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于高效线程池的技术研究与设计
被引量:
3
12
作者
朱翔
机构
中南大学信息科学与工程学院
出处
《长沙铁道学院学报》
CSCD
北大核心
2003年第4期58-62,共5页
文摘
在对象池扩展设计模式的基础上,设计了高效线程池.研究了线程池中的死锁问题、线程分配问题、线程泄漏问题,提出了相应的解决方案,实现了线程池的策略管理与线程的高效复用,提高了系统效率.
关键词
设计模式
对象池
线程池
线程死锁
线程分配
线程泄漏
Keywords
design pattern
object pool
thread
pool
thread deadlock
thread
distribution
thread
leak
分类号
TP311.11 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
城轨交通Check方式调度监督系统的设计与实现
被引量:
1
13
作者
郑宇轩
陈永生
郭玉臣
邹雷兵
机构
同济大学电子与信息工程学院
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2002年第1期5-9,共5页
基金
国家"973"项目 (G1 9980 30 4 1 9- 1 )
文摘
针对轨道交通信号系统的特点 ,提出了一种基于 Check方式的城市轨道交通调度监督系统。结合上海明珠线调度监督系统 ,介绍了系统数据库的事务处理和并发控制 ,给出了几种优化系统的措施 ,以及系统的软件结构和系统功能。
关键词
调度监督系统
城市
CHECK方式
轨道交通
CAN总线
事务处理
死锁
内存表
多线程
Keywords
supervision system
Check mode
CAN bus
transaction management
deadlock
InMemory table
multi
thread
分类号
U491.227 [交通运输工程—交通运输规划与管理]
U284.5 [交通运输工程—交通信息工程及控制]
下载PDF
职称材料
题名
基于Elastos线程同步机制的死锁检测技术研究
14
作者
张捷
陈榕
机构
同济大学基础软件工程中心
安徽师范大学
出处
《计算机科学》
CSCD
北大核心
2008年第12期258-261,共4页
基金
国家“863”计划资助项目(2001AA113400)
安徽高校省级自然科学研究重点项目(编号:KJ2008A104)
文摘
Elastos是基于构件的操作系统,构件对象的行为模式决定了内核底层机制的实现。在Elastos中,进程对象、线程对象以及线程的同步对象等都是构件对象。介绍了Elastos的CAR构件技术及与之相应的线程同步机制,在此基础上分析了一类资源死锁产生的可能原因;结合Elastos本身的相关特点,讨论了实现死锁检测技术的各个环节,综合考虑了可靠性、正确性及效率方面的要求,给出了一个可行的死锁检测算法。通过实际验证,此算法可以得到正确的结果。
关键词
ELASTOS
构件对象
线程同步
死锁检测
Keywords
Elastos,Component object,
thread
synchronization,
deadlock
detection
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于Petri网的多线程程序死锁检测
被引量:
8
15
作者
黄理
顾乃杰
曹华雄
机构
中国科学技术大学计算机科学与技术学院
中国科学技术大学安徽省计算与通信软件重点实验室
中国科学技术大学先进技术研究院
出处
《计算机工程》
CAS
CSCD
北大核心
2016年第4期1-6,共6页
基金
安徽省自然科学基金资助项目"基于GPU集群的深度神经网络并行部署和优化策略研究"(1408085MKL06)
文摘
针对并发程序中死锁检测困难的问题,基于Petri网对多线程程序进行死锁检测。定义抽象描述多线程程序中锁操作的Petri网模型,在现有基于混合整数规划(MIP)的死锁检测算法基础上,提出改进的MIP算法检测该模型中是否存在死锁。实验结果表明,改进MIP算法能够检测到Petri网模型中的死锁,与标志矩阵算法和可达图相比,处理大规模多线程程序时计算效率更高。
关键词
多线程程序
锁操作
PETRI网
混合整数规划
死锁检测
Keywords
multi-
thread
ed program
lock operation
Petri net
Mixed Integer Programming (MIP)
deadlock
detection
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于SUIF2的静态死锁检测方法研究
16
作者
郝闯
张志祥
张静波
机构
海军工程大学电子工程学院计算机工程系
中国人民解放军
出处
《计算机与数字工程》
2012年第7期69-72,共4页
文摘
死锁是并发程序中常见的错误之一,且由于并发程序运行的不确定性使得死锁难以检测。针对该问题,通过对C多线程程序死锁的分析,提出了一种基于SUIF2的静态死锁检测方法,设计了基于SUIF2的C多线程程序静态死锁检测的框架结构和锁集分析算法。最后通过一个实例说明了该检测方法的有效性。
关键词
死锁
多线程程序
SUIF2
锁集分析
死锁检测
Keywords
deadlock
multi-
thread
ed program
SUIF2
lockset analysis
deadlock
detection
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
论Delphi中的线程处理
17
作者
高永青
丁树江
杨宏亮
袁林英
机构
山东省电子产品监督检验所
出处
《山东电子》
2000年第2期10-11,14,共3页
文摘
本文详细地介绍了线程在Delphi中的实现原理和编写方法,并给出了用Delphi5.0编写的一个实际例子。
关键词
WIN32
线程处理
DELPHI
Keywords
Process
thread
Critical section
deadlock
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Check方式轨道交通调度监督系统的设计与实现
18
作者
郑宇轩
陈永生
机构
同济大学电子信息学院
出处
《计算机工程与应用》
CSCD
北大核心
2001年第24期144-147,共4页
基金
国家973项目(编号:G1998030419-1)
文摘
针对轨道交通信号系统的特点,文章提出了一种基于Check方式的城市轨道交通调度监督系统。结合上海明珠线调度监督系统,介绍了系统数据库的事务处理和并发控制,给出了几种优化系统的措施,以及系统的软件结构和系统功能。
关键词
城市轨道交通
列车运行
计算机
CHECK方式
行车调度监督系统
Keywords
Supervision system,Check mode,Can Area Network,Transaction management ,
deadlock
,InMemory table,Mul-ti-
thread
分类号
U284.59 [交通运输工程—交通信息工程及控制]
U491.227 [交通运输工程—交通运输规划与管理]
下载PDF
职称材料
题名
浅谈C#线程同步的几种方法
被引量:
1
19
作者
凌建辉
机构
盐城工学院教务处教务一科
出处
《信息与电脑(理论版)》
2009年第11期128-128,共1页
文摘
在编程时,合理有效的掌握几种进程同步的方法,灵活运用其中的线程同步方法,可以很大程度上提高程序的运行效率,提高对并行程序的理解。
关键词
线程
同步
死锁
Keywords
thread
synchronization
deadlock
分类号
TP312.1 [自动化与计算机技术—计算机软件与理论]
原文传递
题名
作者
出处
发文年
被引量
操作
1
基于线程同步与妥协处理机制的多线程技术
张雷
王悦
雷玉常
《辽宁工程技术大学学报(自然科学版)》
CAS
北大核心
2012
2
下载PDF
职称材料
2
基于Java的多线程实现技术
王志和
王新辉
《湖南人文科技学院学报》
2005
3
下载PDF
职称材料
3
Web服务器应用程序中的线程池方案
张银霞
刘娜娜
李晶
《齐齐哈尔大学学报(自然科学版)》
2004
2
下载PDF
职称材料
4
Java语言多线程技术
郭艳
刘福江
《现代计算机》
2002
2
下载PDF
职称材料
5
钢丝螺套在电子设备中的应用及装配技术
刘秀利
《机械》
2012
3
下载PDF
职称材料
6
一种Java并发程序死锁动态检测的新方法
毛澄映
卢炎生
张金隆
卢超
《小型微型计算机系统》
CSCD
北大核心
2008
1
下载PDF
职称材料
7
频谱分析仪软件之高效率多线程设计
马风军
刘宝东
《中国仪器仪表》
2012
0
下载PDF
职称材料
8
Java并发机制研究
徐绍忠
王 乘
刘小虎
《计算机工程》
CAS
CSCD
北大核心
2002
5
下载PDF
职称材料
9
浅谈Java多线程机制
牛承珍
刘云峰
《山西科技》
2006
0
下载PDF
职称材料
10
Java多线程程序设计方法
刘冬杰
《中山大学学报论丛》
1997
0
下载PDF
职称材料
11
多线程技术及其在Java ME中的应用研究
徐金宝
《电脑知识与技术》
2008
0
下载PDF
职称材料
12
基于高效线程池的技术研究与设计
朱翔
《长沙铁道学院学报》
CSCD
北大核心
2003
3
下载PDF
职称材料
13
城轨交通Check方式调度监督系统的设计与实现
郑宇轩
陈永生
郭玉臣
邹雷兵
《铁道学报》
EI
CAS
CSCD
北大核心
2002
1
下载PDF
职称材料
14
基于Elastos线程同步机制的死锁检测技术研究
张捷
陈榕
《计算机科学》
CSCD
北大核心
2008
0
下载PDF
职称材料
15
基于Petri网的多线程程序死锁检测
黄理
顾乃杰
曹华雄
《计算机工程》
CAS
CSCD
北大核心
2016
8
下载PDF
职称材料
16
基于SUIF2的静态死锁检测方法研究
郝闯
张志祥
张静波
《计算机与数字工程》
2012
0
下载PDF
职称材料
17
论Delphi中的线程处理
高永青
丁树江
杨宏亮
袁林英
《山东电子》
2000
0
下载PDF
职称材料
18
Check方式轨道交通调度监督系统的设计与实现
郑宇轩
陈永生
《计算机工程与应用》
CSCD
北大核心
2001
0
下载PDF
职称材料
19
浅谈C#线程同步的几种方法
凌建辉
《信息与电脑(理论版)》
2009
1
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部