Маънои пайвастагии пайдарпайӣ чист?

Силсилавий мувофиқлик (Sequential Consistency) — бу тарқатилган тизимлар ёки кўп иш парчаларли дастурлардаги мувофиқлик модели бўлиб, ҳар қандай параллел дастурнинг ижроси натижаси шундай бўлишини кафолатлайдки, барча процессорлар (иш парчалари) операциялари муайян бир тартибда бажарилган бўлиб, ва ҳар бир процессор (иш парчаси) операциялари ушбу тартибда, дастурда белгиланган тартибда, амалга оширилган бўлади.

Бошқа сўз билан:

1. Иш парчаси ичидаги операциялар тартибини сақлаш: Бир иш парчаси томонидан бошланган операциялар бошқа иш парчалари учун ҳам шу тартибда кўринади.
2. Ягона глобал тартиб: Барча иш парчалари операцияларининг бир, линей, глобал, ягона тартиби мавжуд бўлиб, барча иш парчалари уни ҳурмат қилади.

Ушбу модел энг кучли ва интуитив бўлиб, уни амалга ошириш иш самарадорлиги жиҳатидан қийин бўлиши мумкин, чунки синхронлаштириш ва компилятор ҳамда аппарат томонидан операцияларни қайта тартиблашни олдини олиш зарур.

Масалан:

// Иш парчаси 1
x = 1;
y = 2;

// Иш парчаси 2
// Ўқиш операциялари

Силсилавий мувофиқлик билан, агар иш парчаси 1 аввал 1ни xга ёзса, кейин 2ни yга ёзса, у ҳолда иш парчаси 2 ҳеч қачон y 2 деб кўрмайди, x 1 деб кўрганча. Мумкин бўлган силсила ижроси:

• 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 бўлиши мумкин, read(y) 0 бўлиши мумкин, кейин read(x) = 1, read(y) = 2)

Ҳеч қачон иш парчаси 2 yни 2 деб кўрса ҳам, x ҳали 0 бўлиши мумкин эмас, агар иш парчаси 1 аввал x = 1 ёзса, кейин y = 2 ёзса.