Intel Corporation

Nathan D Dautenhahn

Justin E Gottschlich

Gilles A Pokam

Shiliang Hu

Cristiano L Pereira

Rolf Kassa

Klaus Danne

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.

Mechanism for facilitating dynamic and efficient management of instruction atomicity volations in software programs at computing systems

Mechanism for facilitating dynamic and efficient management of instruction atomicity violations in software programs at computing systems

Growing community of inventors

Champaign, IL, United States of America

Nathan D Dautenhahn