Det traditionella antagandet om minne är att en läsning returnerar värdet som skrivits av den senaste skriften. Men i en delad minne multiprocessor flera processer självständigt och samtidigt skicka läsar och skriver resulterar i en partiell ordning av minnesoperationer. I denna partiella ordning kan definitionen av den senaste skriften vara tvetydig. Modeller för minneskonsistens har tagits fram för att ange vilka värden som kan returneras av en läsning med tanke på att minnesoperationer endast delvis kan beställas. Före detta arbete definierades konsekvensmodeller på ett oberoende sätt. Varje modell följde en uppsättning regler som var skild från reglerna för varje annan modell. I vårt arbete har vi definierat fyra konsekventa egenskaper. Varje delmängd av de fyra egenskaperna ger en uppsättning regler som utgör en konsekvensmodell. Varje konsekvensmodell som tidigare beskrivits i litteraturen kan definieras utifrån våra fyra egenskaper. Därför presenterar vi dessa egenskaper som en orörlig teori om delad minneskonsistens. Vår enhetliga teori ger flera fördelar. För det första hävdar vi att dessa fyra egenskaper fångar den underliggande strukturen av minneskonsistens. Det vill säga, målet med minneskonsistens är att säkerställa vissa deklarativa egenskaper som intuitivt kan förstås av en programmerare, och därmed tillåta honom eller henne att skriva ett korrekt program. Vår enhetliga teori ger en enhetlig, formell definition av alla tidigare beskrivna konsekvensmodeller, och dessutom producerar vissa kombinationer av egenskaper nya modeller som ännu inte har beskrivits. Vi tror att dessa nya modeller kommer att visa sig vara användbara eftersom de bygger på deklarativa egenskaper som programmerare vill bli påtvingade. Slutligen introducerar vi idén om att välja en konsekvent modell som en on-line-aktivitet. Innan vårt arbete, ett delat minne program skulle köras börja avsluta under en enda konsekvent modell. Vår enhetliga teori tillåter konsekvensmodellen att ändras när programmet körs samtidigt som en konsekvent definition av vilka värden som kan returneras av varje läsning.
Det skiljer sig från den rigorösa och formella behandlingen av konsekvensmodeller i akademin REF.
A unified theory of shared memory consistency
{'venue': 'JACM', 'journal': None, 'mag_field_of_study': ['Computer Science']}