Kas ir secīgu konsekvence?

Secinājuma secīgums (Sequential Consistency) ir secīguma modelis izplatītās sistēmās vai daudzprocesoru vai daudz pavedienu programmās, kas garantē, ka jebkuras paralēlas programmas izpildes rezultāts būs tāds, it kā visi procesoru (plūsmu) operācijas būtu veiktas noteiktā secīgā kārtībā, un katra procesa (plūsmas) operācijas šajā secīgajā kārtībā seko tādā pašā secībā, kādā tās tika norādītas programmā.

Citiem vārdiem:

1. Operāciju secības saglabāšana plūsmā: Operācijas, kuras iniciē viena plūsma, ir redzamas citām plūsmām tajā pašā secībā, kādā tās tika veiktas šajā plūsmā.
2. Vienota globāla secība: Pastāv viena kopēja, globāla, līnijiska visu plūsmu operāciju izpildes secība, kuras ievēro visas plūsmas.

Šis modelis ir viens no visstiprākajiem un intuitīvāk saprotamajiem, taču tā īstenošana var būt dārga no veiktspējas viedokļa, jo nepieciešama sinhronizācija un operāciju pārkārtošanas novēršana ar procesora un aparatūras palīdzību.

Piemērs:

// Plūsma 1
x = 1;
y = 2;

// Plūsma 2
// Lasīšanas operācijas x un y

Ja ir secīgā secīguma modelis, tad, ja Plūsma 1 vispirms ieraksta 1 x, un pēc tam 2 y, tad Plūsma 2 nekad neredzēs y vienādu ar 2 pirms neredzēs x vienādu ar 1. Iespējami secīgi izpildījumi:

• 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) var būt 0, read(y) var būt 0, tad read(x) = 1, read(y) = 2)

Nav iespējams scenārijs, kurā Plūsma 2 redz y = 2, bet tajā pašā laikā x joprojām ir 0, ja Plūsma 1 vispirms ieraksta x = 1, un pēc tam y = 2.