对涉及到多变量的原子性违例错误的动态检测

搜索高级搜索

原创毕业论文

对涉及到多变量的原子性违例错误的动态检测

作者: 浏览:5次

免费专业论文
政治工作论文
计算机论文
营销专业论文
工程管理论文范文
医药医学论文范文
法律论文范文
生物专业论文
物理教学论文范文
人力资源论文范文
化学教学论文范文
电子专业论文范文
历史专业论文
电气工程论文
社会学专业论文
英语专业论文
行政管理论文范文
语文专业论文
电子商务论文范文
焊工钳工技师论文
社科文学论文
教育论文范文
数学论文范文
物流论文范文
建筑专业论文
食品专业论文
财务管理论文范文
工商管理论文范文
会计专业论文范文
专业论文格式
化工材料专业论文
英语教学专业论文
电子通信论文范文
旅游管理论文范文
环境科学专业论文
经济论文
人力资源论文范文
营销专业论文范文
财务管理论文范文
物流论文范文
财务会计论文范文
数学教育论文范文
数学与应用数学论文
电子商务论文范文
法律专业论文范文
工商管理论文范文
汉语言文学论文
计算机专业论文
教育管理论文范文
现代教育技术论文
小学教育论文范文
机械模具专业论文
报告,总结,申请书
心理学论文范文
学前教育论文范文

收费计算机专业论文范文

收费计算机专业论文
Delphi
ASP
VB
JSP
ASP.NET
VB.NET
java
VC
pb
VS
dreamweaver
c#.net
vf
VC++
计算机论文

毕业论文范文题目：对涉及到多变量的原子性违例错误的动态检测，论文范文关键词：对涉及到多变量的原子性违例错误的动态检测
对涉及到多变量的原子性违例错误的动态检测毕业论文范文介绍开始：
【论文摘要】：随着多核计算机系统的广泛应用,基于多核系统的并发程序的编写变得日益重要。相比单线程的顺序程序而言,分析和检测多线程并发程序中的错误不仅难度高,而且代价大。对于并发程序,因为线程的执行在很大程序上依赖于随机的线程调度机制,执行序列是不确定性的,所以并发程序,相同的输入（略..）条件产生的结果往往也是不确定性的。目前有许多静态或动态分析工具用来自动发现并发程序中的错误。由于其各自检测的错误类型和关注的问题点不同,所以工具分别在某个特定方面具有其代表性。原子性违例是一类常见的并发错误类型,许多相关工作对检测和预防此类错误做出重要贡献。而且,调（此处忽略..）研数据显示在实际错误中多变量的原子性违例错误占原子性违例错误中较大比例,例如在程序中某个对象的多个域需要不被打断地原子性被更新。而在缺乏程序原子性标识和文档说明时,仅仅简单通过程序的数据流与控制流很难检测出程序中涉及到多变量的原子性违例。在本文中,我们提出一种新颖的（略..）基于统计挖掘的方法来检测程序中涉及到多变量的原子性违例,在这种方法下,我们可以不要求在程序中提供相关的程序原子性标识和注释说明。这种方法的核心思想是通过共享变量的不同纬度的多种属性来计算共享变量之间的距离,通过变量间的距离来衡量共享变量的相关度。我们已将这种算法思想（本文此处忽略..）实现,并选择了一系列经典的Java并发基准程序对该工具进行实验评估。实验结果显示我们的方法可以通过动态分析程序的行为特征,有效自动地推测程序中共享变量的相关性,并且使用程序中挖掘到的具有潜藏原子语义的相关联变量对来检测并发程序中可能的多变量原子性违例这类并发错误。

以上为本篇毕业论文范文对涉及到多变量的原子性违例错误的动态检测的介绍部分。

本论文在计算机论文栏目，由论文网(www.zjwd.net)整理,更多论文,请点论文范文查找

相关论文

收费专业论文
汉语言文学论文
物理学论文
自动化专业论文
测控技术专业论文
历史学专业论文
机械模具专业论文
金融专业论文
电子通信专业论文
材料科学专业论文
英语专业论文
会计专业论文
行政管理专业论文
财务管理专业论文
电子商务国贸专业
法律专业论文
教育技术学专业论文
物流专业论文
人力资源专业论文
生物工程专业论文
市场营销专业论文
土木工程专业论文
化学工程专业论文
文化产业管理论文
工商管理专业论文
护理专业论文
数学教育专业论文
数学与应用数学专业
心理学专业论文
信息管理专业论文
工程管理专业论文
工业工程专业论文
制药工程专业论文
电子机电信息论文
现代教育技术专业
新闻专业论文
艺术设计专业论文
采矿专业论文
环境工程专业论文
西班牙语专业论文
热能与动力设计论文
工程力学专业论文
酒店管理专业论文
安全管理专业论文
交通工程专业论文
体育教育专业论文
教育管理专业论文
日语专业论文
德语专业论文
理工科专业论文
轻化工程专业论文
社会工作专业论文
乡镇企业管理
给水排水专业
服装设计专业论文
电视制片管理专业
旅游管理专业论文
物业管理专业论文
信息管理专业论文
包装工程专业论文
印刷工程专业论文
动画专业论文
环境艺术专业论文
信息计算科学专业
物流专业论文范文
人力资源论文范文
营销专业论文范文
工商管理论文范文
汉语言文学论文范文
法律专业论文范文
教育管理论文范文
小学教育论文范文
学前教育论文范文
财务会计论文范文

电子商务论文范文

上一篇：电站机组运行优化指导系统平台设计

下一篇：语音增值业务平台中CCXML支持的设..