多线程程序中数据竞争故障的动态检测技术研究(PDF 82页)
所属分类:竞争策略
文件大小:4044 KB
下载要求:10 学币或VIP
点击下载第1章:绪论。介绍了论文的研究背景和研究意义以及国内外研究现状,给出
第2章:研究基础。介绍了面向方面编程技术以及目前已有的实现技术,以及
第3章:多线程程序中数据竞争故障动态检测系统框架。总体介绍了本文用于
第4章:多线程程序中程序执行路径跟踪技术研究。将面向方面编程应用于跟
第5章:基于变量状态图与锁集的数据竞争故障动态检测方法。定义了变量集
第6章:实验验证与结果分析。运用多个实验进行对比验证,给出程序结果,
第7章:结束语。对本文的研究工作中的创新与贡献进行了总结,指出了本文
第一章绪论
第七章结束语
第三章多线程程序中数据竞争故障动态检测系统框架
第中唯j『髭火蓐
第二章中的loekset算法,详细的定义了多线程程序产生数据竞争故障的必备条
第二章中详细的介绍了lockset算法,接下来本文使用一个示例来展示传统的
第二章研究基础
第二章讨论了面向方面编程技术可以被用于权限管理、错误处理、程序调试和
第五章基于变量状态图与锁集的数据竞争故障动态检测方法
第六章实验验证与结果分析
第四章多线程程序中程序执行路径跟踪技术研究
表1.1国外研究情况总结
表2.1面向方面编程中的5种通知及其描述
表2.2面向方面编程技术主要应用领域及其描述
表2.3 AOP主要实现技术及其简介
表4.1示例程序签名集合描述
表5.1四种类型访问及其描述
表5.2所示。
表5.2示例中各访问及其类型
表5.3变量的4种状态及其描述
表5.4变量的4种事件类型及其描述
表5.5变量v的访问、事件及其状态迁移
表5.6示例中类Var中的4种方法及其描述
表5.7示例中loekset算法的执行步骤以及变量信息
表6.1类Value的4个方法及其描述
表6.2实验一检测结果对比
表6.3实验=检测结果对比
表6.4实验三检测结果对比
表6.5实验四检测结果对比
..............................
精品资料网 m.cnshu.cn
Copyright © 2004- 粤ICP备10098620号-1
风险管理 应急预案 研发管理 运营管理 内部管理 商业模式 执行力 连锁经营 公司治理 工厂管理 创新管理 家族企业 效率管理 名企案例 企业理念 价值管理 特许经营 瓶颈管理 调查问卷 策划方案 领导力 团队建设 企业变革 企业文化 战略管理 竞争策略 管理知识 危机管理 成本管理 项目管理 发展战略 年度计划 决策管理 企业上市 供应商 组织设计 产品管理 采购管理 品牌管理 企业诊断 企业咨询 商务谈判 物流管理 运作管理 管理制度 行业报告 经营管理 企划方案 MBA 流程管理 目标管理 招标投标 商务礼仪 管理表格 管理技能 管理案例 管理工具 管理手册 职业经理人 商业计划书 董事与股东 可行性报告