国家自然科学基金(60970009)

作品数：4被引量：4H指数：1
导出分析报告
相关作者：陈雨亭胡敏牛如美范惊章程更多>>
相关机构：上海交通大学更多>>
相关期刊：《计算机工程》更多>>
相关主题：违例原子性并发程序并发共享变量更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于静态分析的高精度程序日志解析技术被引量：1
《计算机工程》2013年第10期68-71,75,共5页范惊 章程 
国家自然科学基金资助面上项目(60970009);国家自然科学基金资助重点项目(91118004)
针对现有的程序日志解析技术准确率较低的问题,提出一种新的日志解析技术。该技术结合过程间和过程内程序分析,在程序的抽象语法树上进行过程间的方法调用分析,同时利用Java字符串分析技术进行过程内的数据流分析,将两者结合为程序源代...
关键词：控制台日志 日志解析 静态分析 抽象语法树 字符串分析 自动机 
X10并行程序中静态数据竞争检测
《计算机工程》2012年第15期35-38,42,共5页王旭 陈雨亭 
国家自然科学基金资助面上项目(60970009);上海市计算机软件评测重点实验室开放课题基金资助项目(SSTL2011_02)
在多线程程序中,当2个以上线程在没有顺序约束的条件下访问同一个存储单元时,且其中至少有一个为写访问,则可能会发生数据竞争。为此,提出一种针对X10并行程序的静态数据竞争检测算法,包括源访存对计算、可达访存对计算、时钟同步访存...
关键词：X10语言 数据竞争 并行程序分析 静态检测 多线程 
一种基于异常处理的并发程序容错机制被引量：1
《计算机工程》2012年第13期44-47,共4页牛如美 陈雨亭 
国家自然科学基金资助面上项目(60970009)
当前并发程序容错机制处理方式单一、效率较低。为此,提出一种适用于多种并发程序错误处理的容错机制。通过在编译及运行过程中对程序进行异常处理,并在异常发生时根据设置的检查点对程序进行回滚和防错误处理,以实现并发程序容错。实...
关键词：异常处理 容错 并发程序 多线程 原子性违例 回滚 检查点 
基于距离挖掘的多变量原子性违例检测被引量：2
《计算机工程》2012年第13期61-63,74,共4页胡敏 陈雨亭 
国家自然科学基金资助项目(60970009)
针对并发程序错误中涉及到的多变量原子性违例检测问题,提出一种动态检测算法。通过计算共享变量间的距离,推测变量之间的相关性,利用相关联的变量关系检测原子性违例错误,确定原子区域的挖掘方法。实验结果表明,该算法能有效挖掘程序...
关键词：并发 相关性 多变量 共享变量 原子性 错误检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部