Nədir ardıcıl uyğunluq?

Silsilə uyğunluğu (Sequential Consistency) paylanmış sistemlər və ya çox ipli proqramlar daxilində uyğunluq modelidir və hər hansı bir paralel proqramın icrasının nəticəsinin, bütün prosessorların (ipların) əməliyyatlarının müəyyən bir silsilə ardıcıllığında həyata keçirildiyi kimi və hər bir prosessorun (ipın) əməliyyatlarının bu silsilə ardıcıllığında proqramda göstərildiyi kimi olmasını təmin edir.

Başqa sözlə:

1. İp daxilində əməliyyatların ardıcıllığını qoruma: Bir ip tərəfindən başlanmış əməliyyatlar digər iplər üçün də eyni ardıcıllıqda görünür.
2. Yeganə qlobal ardıcıllıq: Bütün iplərin bütün əməliyyatlarının tək, xətisiz, qlobal ardıcıllığı mövcuddur və bütün iplər buna hörmət edir.

Bu model ən güclü və intuitivdir, lakin onun həyata keçirilməsi performans baxımından baha başa gələ bilər, çünki sinxronizasiya və kompilyator və hardware tərəfindən əməliyyatların yenidən sıralanmasının qarşısını almaq lazımdır.

Nümunə:

// İp 1
x = 1;
y = 2;

// İp 2
// Oxuma əməliyyatları

Silsilə uyğunluğu ilə, əgər İp 1 əvvəlcə 1-i x-ə yazırsa və sonra 2-ni y-ə, onda İp 2 heç vaxt y-nin 2 olduğunu görməz, x-in 1 olduğunu görməzdən əvvəl. Mümkün silsilə icralar:

• 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) 0 ola bilər, read(y) 0 ola bilər, sonra read(x) = 1, read(y) = 2)

Əgər İp 2 y-ni 2 kimi görsə də, x-in hələ 0 olması mümkün deyil, əgər İp 1 əvvəlcə x = 1 yazıb və sonra y = 2 yazıbsa.