基于二型模糊逻辑的多核程序数据竞争与死锁检测方法研究

项目名称： 基于二型模糊逻辑的多核程序数据竞争与死锁检测方法研究

项目编号： No.61202029

项目类型： 青年科学基金项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 杨璐

作者单位： 苏州大学

项目金额： 23万元

中文摘要： 随着多核平台的迅速普及，提高多核软件可信性的研究日益受到重视。数据竞争和死锁是影响多核平台上多线程程序可信性的常见缺陷类型，传统方法对于这两类缺陷的检测仍存在不足。本项目从数据竞争和死锁问题的特点出发，关注多核平台上程序运行时的环境状态，提出基于二型模糊逻辑的多线程数据竞争和死锁检测方法。本项目的具体研究内容包括：(1)采用静态分析技术对待检测多线程程序进行预处理，确定潜在缺陷位置和缺陷发生条件；(2)评估运行时的环境因素并确定观察值，对不同观察值序列影响下执行时序的概率分布建模；(3)基于二型模糊逻辑构建待检测多线程程序的时序分析模型，研究模型状态空间优化技术；(4)基于二型模糊逻辑对待检测多线程程序进行缺陷检测。本项目将二型模糊系统理论应用于数据竞争和死锁检测中，以期显著地提高缺陷检测的精确度。该方法是该领域中的一项创新探索，也是对传统方法的一项有益补充。

中文关键词： 二型模糊逻辑；数据竞争；死锁；时序分析；

英文摘要： With the prevalence of multi-core platforms, it attracts more and more attention to improve the reliability of multi-core programs. Common defects, e.g. data race and deadlock, may affect the reliability of multi-threaded programs on multi-core platforms.

英文关键词： Type-2 Fuzzy Logic；Data Race；Deadlock；time sequence analysis；