面向多线程程序的并行运行时验证

目录

声明

缩略词

第一章 绪论

1.1 研究背景和意义

1.2 国内外研究现状

1.3 研究内容和论文结构

第二章 相关知识

2.1 运行时验证

2.2 并行与多线程编程

2.3 LLVM与Clang编译器

2.4 本章总结

第三章 面向多线程程序内存安全性的运行时验证

3.1 算法原理

3.2 有锁哈希表

3.3 无锁可扩充哈希表

3.4 哈希表与验证算法的整合

3.5 本章总结

第四章 基于形式化规约的并行运行时验证

4.1多监控器的串行验证算法原理

4.2多监控器的并行验证算法原理

4.3 无锁队列

4.4 并行验证与代码插桩的整合

4.5 本章总结

第五章 工具实现

5.1 多线程程序内存安全性的运行时验证工具实现

5.2 基于形式化规约的并行运行时验证工具实现

5.3 本章总结

第六章 实验分析

6.1 多线程程序内存安全性的运行时验证

6.2 基于形式化规约的并行运行时验证

6.3 本章总结

第七章 总结与展望

7.1 论文总结

7.2 工作展望

参考文献

致谢

在学期间的研究成果及发表的学术论文