发明名称 MECHANISM FOR FACILITATING DYNAMIC AND EFFICIENT MANAGEMENT OF INSTRUCTION ATOMICITY VOLATIONS IN SOFTWARE PROGRAMS AT COMPUTING SYSTEMS
摘要 A mechanism is described for facilitating dynamic and efficient management of instruction atomicity violations in software programs according to one embodiment. A method of embodiments, as described herein, includes receiving, at a replay logic from a recording 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 software thread 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 record interleavings between the first and second macro instructions. The method includes correctly replaying the recording of the interleavings of the first and second macro instructions precisely as they occurred. The correctly replaying may include replaying a local memory state of the first and second macro instructions and a global memory state of the first and second software threads.
申请公布号 US2014281705(A1) 申请公布日期 2014.09.18
申请号 US201313977690 申请日期 2013.03.15
申请人 Dautenhahn Nathan D.;Gottschlich Justin E.;Pokam Gilles;Pereira Cristiano L.;Hu Shiliang;Danne Klaus 发明人 Dautenhahn Nathan D.;Gottschlich Justin E.;Pokam Gilles;Pereira Cristiano L.;Hu Shiliang;Danne Klaus
分类号 G06F11/14 主分类号 G06F11/14
代理机构 代理人
主权项 1. An apparatus for facilitating management of instruction violations, comprising: replay logic to receive a recording, from a recording system, of a first software thread running a first macro instruction, and a second software thread running a second macro instruction, wherein the first software thread and the second software thread are executed by a first core and a second core, respectively, of a processor at a computing device, wherein the recording system to record interleavings between the first and second macro instructions; and the replay logic is further to correctly replay the recording of the interleavings of the first and second macro instructions precisely as they occurred, wherein correctly replaying includes replaying a local memory state of the first and second macro instructions and a global memory state of the first and second software threads.
地址 Champaign IL US