导读:本文包含了静态锁论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:静态,数据流,路径,敏感,论文。
静态锁论文文献综述
刘浩[1]（2013）在《ESP静态锁分析工具的Java实现》一文中研究指出如今，随着计算机硬件的多核化的发展，并发程序的使用越来远广泛。然而并发程序引入了数据竞争和死锁的问题，给软件测试、软件调试和程序分析等领域带来了新的挑战。数据竞争和死锁的检测需要锁分析的支持，然而传统的分析工具对大型程序的锁分析难以兼顾高效性和准确性。比如RacerX能高效地分析大型程序中的锁使用情况，但是分析结果存在很多误报，又比如KLEE能准确地分析程序中的锁使用情况，但是由于存在状态爆炸的问题而难以分析大型程序。本文介绍了兼具高效性和准确性的ESP静态锁分析算法，它采用了结合Lockset分析和PropSim分析的技术。ESP算法首先用基于数据流的路径不敏感的Lockset分析方法快速地扫描目标程序，对锁的使用情况进行全面地了解，并筛选出复杂的锁相关函数，然后用路径敏感的PropSim分析对复杂的函数进行精确地分析和验证，达到减少误报率的目的。我们用Java实现了ESP锁分析工具，用于对大型程序进行高效和准确的锁分析，它能直接报告可能存在锁安全错误的函数，它的分析结果还能用于死锁和数据竞争的检测。对MySQL、Apache、OpenLDAP和Pbzip2等并发程序的实验，验证了ESP锁分析工具的高效性和准确性，它对每个函数的平均分析时间少于0.3秒，误报率控制在16%左右。ESP还发现并报告了Pbzip2的一个锁安全错误的函数。(本文来源于《上海交通大学》期刊2013-01-01）
静态锁论文开题报告
静态锁论文参考文献
[1].刘浩.ESP静态锁分析工具的Java实现[D].上海交通大学.2013
论文知识图
