面向监听一致性协议的并发内存竞争记录算法

DOI: 10.7544/issn1000-1239.2016.20150100

Keywords: [片上多核处理器, 多核程序, 确定性重演, 内存竞争记录, 内存冲突检测, 监听一致性协议, chip multiprocessor (CMP), multi-core program, deterministic replay, memory race recording, memory conflict detection, snoop-based coherence protocol]

Full-Text   Cite this paper   Add to My Lib

Abstract:

内存竞争记录是解决多核程序执行不确定性的关键技术，然而现有点..

Full-Text