Kas yra sekveninė nuoseklumas?

Sekos nuoseklumo modelis (Sequential Consistency) yra nuoseklumo modelis paskirstytose sistemose arba daugiaprocesoriniuose arba daugiagijų programuose, garantuojantis, kad bet kurios paralelinės programos vykdymo rezultatas bus toks, tarsi visi procesorių (srautų) operacijos būtų atliktos tam tikra nuosekline tvarka, ir kiekvieno proceso (srauto) operacijos šioje nuoseklioje tvarkoje seka taip, kaip jos buvo nurodytos programoje.

Kitaip tariant:

1. Operacijų tvarkos išlaikymas sraute: Operacijos, inicijuotos vieno srauto, matomos kitų srautų tokia pačia tvarka, kokia jos buvo atliktos šio srauto.
2. Vieninga globali tvarka: Egzistuoja viena bendra, globali, linijinė visų srautų operacijų vykdymo tvarka, kurios laikosi visi srautai.

Šis modelis yra vienas iš stipriausių ir intuityviausiai suprantamų, tačiau jo įgyvendinimas gali būti brangus iš našumo perspektyvos dėl sinchronizacijos ir operacijų perrikiavimo prevencijos kompiuterio ir aparatūros lygmenyje.

Pavyzdys:

// Srautas 1
x = 1;
y = 2;

// Srautas 2
// Skaitymo operacijos x ir y

Nuoseklio nuoseklumo atveju, jei Srautas 1 pirmiausia įrašo 1 į x, o tada 2 į y, tai Srautas 2 niekada nematys y lygus 2 iki tol, kol nematys x lygus 1. Galimi nuoseklūs vykdymai:

• 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) gali būti 0, read(y) gali būti 0, tada read(x) = 1, read(y) = 2)

Nėra galimas scenarijus, kai Srautas 2 mato y = 2, bet tuo pačiu x vis dar yra 0, jei Srautas 1 pirmiausia įrašo x = 1, o po to y = 2.