Enabling Programmer-Controlled Combined Memory Consistency for Parallel Code Optimization
Final rept. Oct 2002-Mar 2003
ARMY RESEARCH LAB ABERDEEN PROVING GROUND MD
Pagination or Media Count:
In this report, a novel software technique is presented that provides the capability to guarantee a different memory consistency model for different variables within the same shared memory parallel program. Programmers need only focus on their parallel algorithm and which variables can tolerate the use of old values, while the technique automatically guarantees sequential consistency for all remaining variables and identifies where unnecessary synchronization overhead can be avoided. Program slicing is exploited to address the interactions between variables that can tolerate old values and those that require the most recent value to be read.
- Computer Programming and Software