虚拟时间及其在数据竞争检测中的应用

来源 :哈尔滨工业大学学报 | 被引量 : 0次 | 上传用户:henrychan168
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为将虚拟时间机制应用于数据竞争检测,提出描述虚拟时间3种基本实现形式的统一模型.先建立分布式执行的抽象模型,在此模型下统一描述虚拟时间的3种基本实现形式,即标量时间系统、向量时间系统和矩阵时间系统,并以向量时间系统和矩阵时间系统为例介绍虚拟时间的4种优化技术,最后讨论将虚拟时间应用到共享内存并发系统的数据竞争检测中需要解决的问题以及4个应用实例.结果表明,提出的模型能统一描述虚拟时间的不同实现形式,并能降低基于虚拟时间检测数据竞争的应用难度.
其他文献
当前,沙湾县四道河子镇聚力农机专业合作社正大力推广澳棉生产经营模式。通过众创、众包、众扶、众筹等方式将分散在不特定主体处的科技研发资源、人力资源、物力财力等生产
针对基于三相四开关容错逆变器的电力牵引传动系统,提出牵引电机的间接定子量控制方案.采用间接定子量算法生成参考电压矢量,以固定逆变器开关频率和减小电磁转矩脉动;通过含
为进一步提高托里县粮食综合生产能力。在积温不足3000℃的近山区引进种植新型玉米品种.探索其适应性、丰产性,为近山低温区域丰富种植空间、调整种植结构提供依据。
棉花试验区选在133团1连2轮6—2号地,前茬棉花。土壤pH值8.4,有机质含量1.38%,碱解氮38.6毫克/千克,速效磷26.5毫克/千克,速效钾301毫克/千克,土壤质地为壤土。
针对电主轴控制性能改善的迫切需求,在经典的直接转矩控制(direct torque control,DTC)中融入空间矢量脉宽调制(space vector pulse width modulation,SVPWM)控制技术,给出其改善