Mis on järjepidevuse järjepidevus?

Jadualise vastavus (Sequential Consistency) on vastavusmudel jaotatud süsteemides või mitmeprotsessori või mitme niidiga programmides, mis tagab, et iga paralleelprogrammi täitmise tulemus on selline, nagu kõik protsessorite (voogude) operatsioonid oleksid tehtud kindlas järjestuses ning iga protsessori (voo) operatsioonid selles järjestuses järgiksid programmi määratud järjekorda.

Teisisõnu:

1. Operatsioonide järjekorra säilitamine voos: Operatsioonid, mille üks voog algatab, on nähtavad teistele voogudele samas järjekorras, nagu need olid tehtud selle voogu.
2. Ühine globaalne järjekord: Eksisteerib üks ühine, globaalne, lineaarne kõigi voogude operatsioonide täitmise järjekord, mida järgivad kõik vood.

See mudel on üks tugevamaid ja intuitiivsemalt mõistetavaid, kuid selle rakendamine võib olla kulukas jõudluse seisukohast, kuna nõuab sünkroniseerimist ja operatsioonide ümberkorraldamise vältimist riistvara ja tarkvara tasandil.

Näide:

// Voog 1
x = 1;
y = 2;

// Voog 2
// Operatsioonid x ja y lugemine

Kui on jadase vastavus, siis kui Voog 1 esmalt kirjutab 1 x-i, ja seejärel 2 y-sse, siis Voog 2 ei näe kunagi y väärtust 2 enne, kui ta näeb x väärtust 1. Võimalikud jadad täitmise:

• 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) võib olla 0, read(y) võib olla 0, siis read(x) = 1, read(y) = 2)

Võimalik stsenaarium, kus Voog 2 näeb y = 2, kuid samal ajal x on endiselt 0, on välistatud, kui Voog 1 esmalt kirjutab x = 1, ja seejärel y = 2.