虚拟时间及其在数据竞争检测中的应用
CSTR:
作者:
作者单位:

(哈尔滨工业大学 计算机科学与技术学院, 150001 哈尔滨)

作者简介:

禹振(1987—),男,博士研究生; 苏小红(1966—),女,教授,博士生导师; 马培军(1963—),男,教授,博士生导师.

通讯作者:

禹振,yuzhen-3301@aliyun.com.

中图分类号:

TP311

基金项目:

国家自然科学基金(61173021;61202092).


Virtual time and its application to data race detection
Author:
Affiliation:

(School of Computer Science and Technology, Harbin Institute of Technology, 150001 Harbin, China)

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    为将虚拟时间机制应用于数据竞争检测,提出描述虚拟时间3种基本实现形式的统一模型. 先建立分布式执行的抽象模型,在此模型下统一描述虚拟时间的3种基本实现形式,即标量时间系统、向量时间系统和矩阵时间系统,并以向量时间系统和矩阵时间系统为例介绍虚拟时间的4种优化技术,最后讨论将虚拟时间应用到共享内存并发系统的数据竞争检测中需要解决的问题以及4个应用实例. 结果表明,提出的模型能统一描述虚拟时间的不同实现形式,并能降低基于虚拟时间检测数据竞争的应用难度.

    Abstract:

    Aiming at applying virtual time mechanism to data race detection, a model is proposed to uniformly describe different implementation forms of virtual time. We firstly establish an abstract model for a distributed execution. Based on this model, we give a unified description on virtual time’s three basic implementation forms: scalar time system, vector time system and matrix time system. Furthermore, we take vector time system and matrix time system for examples to illustrate four optimization techniques for virtual time. At last, we discuss the problems to be solved when applying virtual time to data races detection in shared-memory concurrent systems and four application examples. The model proposed in this paper unifies different implementation forms of virtual time and reduces the difficulty of applying virtual time to data race detection.

    参考文献
    相似文献
    引证文献
引用本文

禹振,苏小红,王甜甜,马培军.虚拟时间及其在数据竞争检测中的应用[J].哈尔滨工业大学学报,2015,47(1):68. DOI:10.11918/j. issn.0367-6234.2015.01.011

复制
分享
相关视频

文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2014-04-03
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2015-01-22
  • 出版日期:
文章二维码