基于硬件签名的循环式内存竞争记录算法

Keywords: [片上多核处理器, 多核程序, 确定性重演, 内存竞争记录, 冲突检测, 硬件签名, chip multiprocessor, multi-core program, deterministic replay, memory race recording, conflict detection, hardware signature]

Full-Text   Cite this paper   Add to My Lib

Abstract:

多核程序的执行存在不确定性，内存竞争记录是实现多核程序确定性..

Full-Text