多线程程序中数据竞争故障的动态检测技术研究(PDF 82页)

第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实验四检测结果对比
..............................