%0 Journal Article
%T 面向监听一致性协议的并发内存竞争记录算法
%A 孙广路
%A 季振洲
%A 张浩
%A 朱素霞
%A 陈德运
%J -
%D 2016
%R 10.7544/issn1000-1239.2016.20150100
%X 内存竞争记录是解决多核程序执行不确定性的关键技术，然而现有点..
%K [片上多核处理器
%K 多核程序
%K 确定性重演
%K 内存竞争记录
%K 内存冲突检测
%K 监听一致性协议
%K chip multiprocessor (CMP)
%K multi-core program
%K deterministic replay
%K memory race recording
%K memory conflict detection
%K snoop-based coherence protocol]
%U http://crad.ict.ac.cn/CN/10.7544/issn1000-1239.2016.20150100