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:
Jun. 07, 2016
Filed:
May. 12, 2014
Advanced Micro Devices, Inc., Sunnyvale, CA (US);
Derek R. Hower, Seattle, WA (US);
Mark D. Hill, Madison, WI (US);
David Wood, Madison, WI (US);
Steven K. Reinhardt, Vancouver, WA (US);
Benedict R. Gaster, Santa Cruz, CA (US);
Blake A. Hechtman, Durham, NC (US);
Bradford M. Beckmann, Redmond, WA (US);
ADVANCED MICRO DEVICES, INC., Sunnyvale, CA (US);
Abstract
A method, computer program product, and system is described that determines the correctness of using memory operations in a computing device with heterogeneous computer components. Embodiments include an optimizer based on the characteristics of a Sequential Consistency for Heterogeneous-Race-Free (SC for HRF) model that analyzes a program and determines the correctness of the ordering of events in the program. HRF models include combinations of the properties: scope order, scope inclusion, and scope transitivity. The optimizer can determine when a program is heterogeneous-race-free in accordance with an SC for HRF memory consistency model. For example, the optimizer can analyze a portion of program code, respect the properties of the SC for HRF model, and determine whether a value produced by a store memory event will be a candidate for a value observed by a load memory event. In addition, the optimizer can determine whether reordering of events is possible.