რა არის თანმიმდევრული კონსისტენცია?

მიმდევრული შესაბამისობა (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.