国家自然科学基金(60970009)
- 作品数：4 被引量：5H指数：2
- 相关作者：陈雨亭胡敏牛如美范惊章程更多>>
- 相关机构：上海交通大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- A Case Study of Using SOFL to Specify A Concurrent Software System
- ＜正＞SOFL[1][2],a formal engineering method which was designed by integrating different notations and techniques...
- Yuting Chen School of Electronic
- 文献传递
- X10并行程序中静态数据竞争检测
- 2012年
- 在多线程程序中,当2个以上线程在没有顺序约束的条件下访问同一个存储单元时,且其中至少有一个为写访问,则可能会发生数据竞争。为此,提出一种针对X10并行程序的静态数据竞争检测算法,包括源访存对计算、可达访存对计算、时钟同步访存对计算和逃逸访存对计算4个阶段。通过在WALA框架中分析构建程序的调用图,计算源访存对集合,检测出内存访存中可能发生数据竞争的无序对。实验结果表明,该算法可以在不显著增加X10并行程序总体运行时间的情况下,达到比较理想的数据竞争检测效果。
- 王旭陈雨亭
- 关键词：数据竞争多线程
- 一种基于异常处理的并发程序容错机制被引量：2
- 2012年
- 当前并发程序容错机制处理方式单一、效率较低。为此,提出一种适用于多种并发程序错误处理的容错机制。通过在编译及运行过程中对程序进行异常处理,并在异常发生时根据设置的检查点对程序进行回滚和防错误处理,以实现并发程序容错。实验结果表明,该容错机制可有效检测并发程序中的错误,在不增加程序总体运行时间的情况下达到比较理想的容错效果。
- 牛如美陈雨亭
- 关键词：异常处理容错并发程序回滚
- 基于静态分析的高精度程序日志解析技术被引量：1
- 2013年
- 针对现有的程序日志解析技术准确率较低的问题,提出一种新的日志解析技术。该技术结合过程间和过程内程序分析,在程序的抽象语法树上进行过程间的方法调用分析,同时利用Java字符串分析技术进行过程内的数据流分析,将两者结合为程序源代码中的日志点构造自动机,并以自动机来匹配程序日志。实验结果表明,与现有的日志解析技术相比,该方法能够明显提高日志解析的精度。
- 范惊章程
- 关键词：抽象语法树自动机
- A Bidirectional Graph Transformation Approach to Analysis of Concurrent Software Models
- ＜正＞The application of model driven software development still faces strong challenges.One challenge we focus o...
- Yuting Chen School of Electronic
- 关键词：BIG
- 文献传递
- 基于距离挖掘的多变量原子性违例检测被引量：2
- 2012年
- 针对并发程序错误中涉及到的多变量原子性违例检测问题,提出一种动态检测算法。通过计算共享变量间的距离,推测变量之间的相关性,利用相关联的变量关系检测原子性违例错误,确定原子区域的挖掘方法。实验结果表明,该算法能有效挖掘程序中的相关变量,并检测程序中涉及到的多变量原子性违例错误。
- 胡敏陈雨亭
- 关键词：并发多变量共享变量原子性
