%0 Journal Article
%T 虚拟时间及其在数据竞争检测中的应用
%A 禹振
%A 苏小红
%A 王甜甜
%A 马培军
%J 哈尔滨工业大学学报
%P 68-74
%D 2015
%R 10.11918/j.issn.0367-6234.2015.01.011
%X 为将虚拟时间机制应用于数据竞争检测,提出描述虚拟时间3种基本实现形式的统一模型.先建立分布式执行的抽象模型,在此模型下统一描述虚拟时间的3种基本实现形式,即标量时间系统、向量时间系统和矩阵时间系统,并以向量时间系统和矩阵时间系统为例介绍虚拟时间的4种优化技术,最后讨论将虚拟时间应用到共享内存并发系统的数据竞争检测中需要解决的问题以及4个应用实例.结果表明,提出的模型能统一描述虚拟时间的不同实现形式,并能降低基于虚拟时间检测数据竞争的应用难度.
%K 虚拟时间
%K 逻辑时间
%K 向量时钟
%K 并发缺陷
%K 数据竞争
%U http://journal.hit.edu.cn/hitxb_cn/ch/reader/view_abstract.aspx?file_no=20150111&flag=1