Heather Hower
Method for memory consistency among heterogeneous computer components
Hower, Heather; Hill, Mark; Wood, David; Gaster, Benedict; Hechtman, Blake; Beckmann, Bradford
Authors
Mark Hill
David Wood
Benedict Gaster Benedict.Gaster@uwe.ac.uk
Associate Professor in Physical Computing
Blake Hechtman
Bradford Beckmann
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.
Inventors Derek R. HOWER, Mark D. Hill, David Wood, Steven K. Reinhardt, Benedict R. Gaster, Blake A. Hechtman, Bradford M. Beckmann,
Publication Date | Nov 13, 2014 |
---|---|
Keywords | weak memory models |
Public URL | https://uwe-repository.worktribe.com/output/807807 |
Publisher URL | http://www.google.com.pg/patents/US20140337587 |
Additional Information | Patent Applicant : Benedict R. Gaster |
You might also like
Insights into how digital luthiers approach design
(2024)
Presentation / Conference Contribution
Studying how digital luthiers choose their tools
(2022)
Presentation / Conference Contribution
Survival of the synthesis—GPU accelerating evolutionary sound matching
(2022)
Journal Article
Bespoke anywhere
(2021)
Presentation / Conference Contribution
Audio Anywhere with Faust
(2020)
Presentation / Conference Contribution
Downloadable Citations
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search