并发程序原子图挖掘及违背检测.pdf

并发程序原子图挖掘及违背检测
EXTRACTING ATOMICITY GRAPH AND DETECTING
GENERAL ATOMICITY VIOLATION





姓 名：朱一清
学 号：1090379005
班 级：B0903791
专 业：计算机软件与理论
导 师：赵建军教授
答辩日期：2012 年 5 月 23 日



上 海 交 通 大 学 软 件 学 院
2012 年 1 月
上海交通大学工学硕士学位论文 并发程序原子图挖掘及违背检测
A Dissertation Submitted to Shanghai Jiao Tong University
for the Degree of Master in Science



EXTRACTING ATOMICITY GRAPH AND DETECTING
GENERAL ATOMICITY VIOLATION







Author: Yiqing Zhu
Advisor: Prof. Jianjun Zhao
Specialty: Computer Software and Theory




School of Software
Shanghai Jiao Tong University
January 27, 2012
上海交通大学工学硕士学位论文 并发程序原子图挖掘及违背检测
上海交通大学
学位论文原创性声明

本人郑重声明：所呈交的学位论文，是本人在导师的指导下，
独立进行研究工作所取得的成果。除文中已经注明引用的内容外，
本论文不包含任何其他个人或集体已经发表或撰写过的作品成果。
对本文的研究做出重要贡献的个人和集体，均已在文中以明确方
式标明。本人完全意识到本声明的法律结果由本人承担。



学位论文作者签名：

日期： 年 月 日
上海交通大学工学硕士学位论文 并发程序原子图挖掘及违背检测

上海交通大学
学位论文版权使用授权书

本学位论文作者完全了解学校有关保留、使用学位论文的规
定，同意学校保留并向国家有关部门或机构送交论文的复印件和
电子版，允许论文被查阅和借阅。本人授权上海交通大学可以将
本学位论文的全部或部分内容编入有关数据库进行检索，可以采
用影印、缩印或扫描等复制手段保存和汇编本学位论文。