Mi az a szekvenciális konzisztencia?

Szekvenciális konzisztencia (Sequential Consistency) egy konzisztencia modell elosztott rendszerekben vagy több szálú programokban, amely garantálja, hogy bármilyen párhuzamos program végrehajtásának eredménye olyan lesz, mintha minden processzor (szál) összes műveletét egy meghatározott szekvenciális sorrendben hajtották volna végre, és minden processzor (szál) műveletei ebben a szekvenciális sorrendben követik egymást, a programban megadott sorrend szerint.

Más szóval:

1. A műveletek sorrendjének fenntartása a szálon belül: Egy szál által kezdeményezett műveletek más szálak számára ugyanabban a sorrendben láthatók, ahogyan ezeket a szál végrehajtotta.
2. Egyetlen globális sorrend: Létezik egy egyedi, lineáris, globális végrehajtási sorrend minden szál összes műveletére, amit minden szál tiszteletben tart.

Ez a modell az egyik legerősebb és leginkább intuitív, de a megvalósítása költséges lehet a teljesítmény szempontjából, mivel szinkronizációt igényel és megakadályozza a műveletek újrarendezését a fordító és a hardver által.

Példa:

// Szál 1
x = 1;
y = 2;

// Szál 2
// Olvasási műveletek x és y

Szekvenciális konzisztencia esetén, ha Szál 1 először 1-et ír az x-be, majd 2-t az y-ba, akkor Szál 2 soha nem fogja látni az y értékét 2-nek, mielőtt az x értéke 1 lenne. Lehetséges szekvenciális végrehajtások:

• x = 1; y = 2; read(x); read(y); (read(x) = 1, read(y) = 2)
• x = 1; read(x); y = 2; read(y); (read(x) = 1, read(y) = 2)
• read(x); x = 1; read(y); y = 2; (read(x) lehet 0, read(y) lehet 0, majd read(x) = 1, read(y) = 2)

Nem lehetséges, hogy Szál 2 látja az y-t 2-nek, de az x még 0, ha Szál 1 először írja az x = 1-et, majd az y = 2-t.