The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Aug. 27, 2019
Filed:
Oct. 19, 2016
Intel Corporation, Santa Clara, CA (US);
Nathan D. Dautenhahn, Champaign, IL (US);
Justin Gottschlich, Fort Collins, CO (US);
Gilles Pokam, Livermore, CA (US);
Cristiano Pereira, Groveland, CA (US);
Shiliang Hu, San Jose, CA (US);
Klaus Danne, Braunschweig, DE;
Rolf Kassa, Braunschweig, DE;
INTEL CORPORATION, Santa Clara, CA (US);
Abstract
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.