Ketma-ketlikdagi barqarorlik nima?

Silsilali barqarorlik (Sequential Consistency) - bu tarqalgan tizimlar yoki ko'p ipli dasturlardagi barqarorlik modeli bo'lib, har qanday parallel dastur bajarilishining natijasi shunday bo'lishini kafolatlaydi, go'yo barcha protsessorlar (iplar) operatsiyalari ma'lum bir ketma-ketlikda bajarilgan va har bir protsessor (ip) operatsiyalari dasturda belgilangan tartibda bajarilgan.

Boshqacha aytganda:

1. Ip ichidagi operatsiyalar tartibini saqlash: Bir ip tomonidan boshlagan operatsiyalar boshqa iplar uchun ham aynan shu tartibda ko'rinadi.
2. Yagona global tartib: Barcha iplarning barcha operatsiyalarining yagona, chiziqli, global tartibi mavjud bo'lib, uni barcha iplar hurmat qiladi.

Ushbu model eng kuchli va intuitiv bo'lib, uning amalga oshirilishi sinxronizatsiya qilish va komilator hamda apparat tomonidan operatsiyalarni qayta tartibga solishni oldini olish uchun qimmatga tushishi mumkin.

Misol:

// Ip 1
x = 1;
y = 2;

// Ip 2
// x va y ni o'qish operatsiyalari

Silsilali barqarorlik bilan, agar Ip 1 avval 1 ni x ga yozsa va keyin 2 ni y ga yozsa, Ip 2 hech qachon y ni 2 deb ko'rmaydi, x ni 1 deb ko'rmaguncha. Mumkin bo'lgan ketma-ketliklar:

• 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 bo'lishi mumkin, read(y) 0 bo'lishi mumkin, keyin read(x) = 1, read(y) = 2)

Agar Ip 2 y ni 2 deb ko'rsa ham, x ning hali 0 bo'lishi mumkin emas, agar Ip 1 avval x = 1 yozsa va keyin y = 2 yozsa.