Sekventiell konsistens

Sekventiell konsistens är en modell av konsistens där resultatet av varje exekvering är detsamma som om operationerna för alla processorer utfördes i någon sekventiell ordning, och operationerna för varje enskild processor dök upp i denna sekvens i den ordning som bestäms av dess program.

Identifierades först av Lamport 1979. Den klassiska formuleringen innebär en jämförelse av multiprocessorsystem med enprocessor, det vill säga sekventiellt koordinerade multiprocessorsystem, sådana system anropas i vilka, när man beställer alla operationer från alla processorer i en sekvens (förutsatt att operationerna för varje enskild processor är placerad i denna gemensamma sekvens i samma ordning som de exekveras på en separat seriell processor), blir resultatet av att exekvera en sådan sekvens detsamma som om denna sekvens exekveras på en enda seriell processor.

Litteratur