黄理
- 作品数:2 被引量:8H指数:1
- 供职机构:中国科学技术大学计算机科学与技术学院更多>>
- 发文基金:安徽省自然科学基金高等学校学科创新引智计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于Petri网的多线程程序死锁检测被引量:8
- 2016年
- 针对并发程序中死锁检测困难的问题,基于Petri网对多线程程序进行死锁检测。定义抽象描述多线程程序中锁操作的Petri网模型,在现有基于混合整数规划(MIP)的死锁检测算法基础上,提出改进的MIP算法检测该模型中是否存在死锁。实验结果表明,改进MIP算法能够检测到Petri网模型中的死锁,与标志矩阵算法和可达图相比,处理大规模多线程程序时计算效率更高。
- 黄理顾乃杰曹华雄
- 关键词:多线程程序PETRI网混合整数规划死锁检测
- 高效而精确的锁别名分析方法
- 2016年
- 锁别名分析能够得到锁指针变量的指向信息,有效的锁别名分析可以更好地辅助数据竞争分析和死锁分析.现有锁别名分析往往采用保守的方式处理,进而影响分析结果的准确性.针对这一问题,提出了一种锁别名分析方法,该方法首先使用GCC插件获取SSA形式的中间代码,然后对中间代码进行预处理以获得与锁、函数指针操作相关的语句,最后对预处理后的程序使用本文提出的FP_LOCK算法进行准确的流敏感、上下文敏感分析.实验结果表明该方法能精确地确定锁别名,并且经过预处理后的FP_LOCK算法对分析大程序平均有9.95倍的加速比.
- 陈露顾乃杰黄理杜云开
- 关键词:SSA中间代码上下文敏感