Τι είναι η διαδοχική συνέπεια;

Η διαδοχική συνέπεια (Sequential Consistency) είναι ένα μοντέλο συνέπειας σε κατανεμημένα συστήματα ή προγράμματα πολλαπλών νημάτων, που διασφαλίζει ότι το αποτέλεσμα της εκτέλεσης οποιουδήποτε παράλληλου προγράμματος θα είναι όπως αν όλες οι λειτουργίες όλων των επεξεργαστών (νημάτων) είχαν πραγματοποιηθεί σε μια συγκεκριμένη διαδοχική σειρά, και οι λειτουργίες κάθε επεξεργαστή (νήματος) σε αυτή τη διαδοχική σειρά ακολούθησαν τη σειρά με την οποία είχαν οριστεί στο πρόγραμμα.

Με άλλα λόγια:

Διατήρηση της σειράς των λειτουργιών εντός ενός νήματος: Οι λειτουργίες που ξεκινούν από ένα νήμα είναι ορατές σε άλλα νήματα με την ίδια σειρά με την οποία πραγματοποιήθηκαν από αυτό το νήμα.
Μία ενιαία παγκόσμια σειρά: Υπάρχει μια μοναδική, γραμμική, παγκόσμια σειρά εκτέλεσης όλων των λειτουργιών όλων των νημάτων, που σεβούνται όλα τα νήματα.

Αυτό το μοντέλο είναι ένα από τα πιο ισχυρά και διαισθητικά, αλλά η υλοποίησή του μπορεί να είναι δαπανηρή από άποψη απόδοσης λόγω της ανάγκης για συγχρονισμό και πρόληψη αναδιάταξης των λειτουργιών από τον μεταγλωττιστή και το υλικό.

Παράδειγμα:

// Νήμα 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.