Sekventiel konsistens

Sekventiel konsistens er en model for konsistens , hvor resultatet af enhver udførelse er det samme, som hvis operationerne for alle processorer blev udført i en eller anden sekventiel rækkefølge, og operationerne for hver enkelt processor optrådte i denne rækkefølge i den rækkefølge, der er bestemt af dets program.

Først identificeret af Lamport i 1979. Den klassiske formulering indebærer en sammenligning af multiprocessorsystemer med enkeltprocessor, det vil sige sekventielt koordinerede multiprocessorsystemer, sådanne systemer kaldes i, som når alle operationer fra alle processorer bestilles i én sekvens (forudsat at hver enkelt processors operationer er placeret i denne fælles sekvens i samme rækkefølge, som de udføres på en separat seriel processor), vil resultatet af at udføre en sådan sekvens være det samme, som hvis denne sekvens blev udført på en enkelt seriel processor.

Litteratur