Vi föreslår en ny semantik för delade-minne parallella program som ger starka garantier även i närvaro av data races. Vår lokala data ras frihet egendom garanterar att alla data-race-fria delar av program uppvisar semantik. Vi tillhandahåller en enkel operativ semantik och en likvärdig axiomatisk modell, och utvärderar en implementering för OCaml programmeringsspråk. Vår utvärdering visar att det är möjligt att balansera en begriplig minnesmodell med en rimlig (inga overhead på x86,~0,6% på ARM) sekventiell prestandaavräkning i ett vanligt programmeringsspråk.
REF har nyligen föreslagit en minnesmodell som ger en egenskap som kallas lokal data ras frihet, vilket garanterar att alla data-race-fria delar av ett program fortfarande har sekventiell konsistens semantik.
Bounding data races in space and time
{'venue': 'PLDI 2018', 'journal': None, 'mag_field_of_study': ['Computer Science']}