Какво е последователна последователност?

Последователна съгласуваност (Sequential Consistency) е модел на съгласуваност в разпределени системи или многопоточни програми, който гарантира, че резултатът от изпълнението на всяка паралелна програма ще бъде такъв, сякаш всички операции на всички процесори (нишки) са изпълнени в определен последователен ред, и операциите на всеки отделен процесор (нишка) в този последователен ред следват реда, в който са зададени в програмата.

С други думи:

1. Запазване на реда на операциите вътре в нишката: Операциите, инициирани от една нишка, са видими за другите нишки в същия ред, в който са били изпълнени от тази нишка.
2. Единен глобален ред: Съществува един, линейно, глобално, уникално изпълнение на всички операции на всички нишки, което всички спазват.

Този модел е един от най-силните и интуитивни, но неговата реализация може да бъде скъпа по отношение на производителността поради необходимостта от синхронизация и предотвратяване на пренареждането на операциите от компилатора и хардуера.

Пример:

// Нишка 1
x = 1;
y = 2;

// Нишка 2
// Операции за четене на x и y

При последователна съгласуваност, ако Нишка 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.