专利名称:MECHANISM FOR FACILITATING DYNAMIC
AND EFFICIENT MANAGEMENT OF
INSTRUCTION ATOMICITY VIOLATIONS INSOFTWARE PROGRAMS AT COMPUTINGSYSTEMS
发明人:DAUTENHAHN, Nathan,GOTTSCHLICH,
Justin E.,POKAM, Gilles A.,PEREIRA, CristianoL.,HU, Shiliang,DANNE, Klaus,KASSA, Rolf
申请号:EP13877966.5申请日:20130315公开号:EP2972878B1公开日:20180926
摘要:A mechanism is described for facilitating dynamic and efficient management ofinstruction atomicity violations in software programs according to one embodiment. Amethod of embodiments, as described herein, includes receiving, at a replay logic from arecording system, a recording of a first software thread running a first macro instruction,and a second software thread running a second macro instruction. The first softwarethread and the second software thread are executed by a first core and a second core,respectively, of a processor at a computing device. The recording system may recordinterleavings between the first and second macro instructions. The method includescorrectly replaying the recording of the interleavings of the first and second macroinstructions precisely as they occurred. The correctly replaying may include replaying alocal memory state of the first and second macro instructions and a global memory state
of the first and second software threads.
申请人:INTEL CORP
地址:US
国籍:US
代理机构:Rummler, Felix
更多信息请下载全文后查看
因篇幅问题不能全部显示,请点此查看更多更全内容