您的当前位置:首页MECHANISM FOR FACILITATING DYNAMIC AND EFFICIENT M

MECHANISM FOR FACILITATING DYNAMIC AND EFFICIENT M

2022-03-29 来源:爱问旅游网
专利内容由知识产权出版社提供

专利名称: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

更多信息请下载全文后查看

因篇幅问题不能全部显示,请点此查看更多更全内容