黄理

作品数：2被引量：8H指数：1
导出分析报告
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文主题：混合整数规划多线程程序死锁检测PETRI网别名分析更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机系统应用》《计算机工程》更多>>
所获基金：安徽省自然科学基金高等学校学科创新引智计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Petri网的多线程程序死锁检测被引量：8
《计算机工程》2016年第4期1-6,共6页黄理 顾乃杰 曹华雄 
安徽省自然科学基金资助项目"基于GPU集群的深度神经网络并行部署和优化策略研究"(1408085MKL06)
针对并发程序中死锁检测困难的问题,基于Petri网对多线程程序进行死锁检测。定义抽象描述多线程程序中锁操作的Petri网模型,在现有基于混合整数规划(MIP)的死锁检测算法基础上,提出改进的MIP算法检测该模型中是否存在死锁。实验结果表明...
关键词：多线程程序 锁操作 PETRI网 混合整数规划 死锁检测 
高效而精确的锁别名分析方法
《计算机系统应用》2016年第2期212-218,共7页陈露 顾乃杰 黄理 杜云开 
安徽省自然科学基金(1408085MKL06);高等学校学科创新引智计划(B07033)
锁别名分析能够得到锁指针变量的指向信息,有效的锁别名分析可以更好地辅助数据竞争分析和死锁分析.现有锁别名分析往往采用保守的方式处理,进而影响分析结果的准确性.针对这一问题,提出了一种锁别名分析方法,该方法首先使用GCC插件获取...
关键词：锁别名分析 SSA 中间代码 FP_LOCK 流敏感 上下文敏感 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部