Последовательная консистентность (вариант: последовательная согласованность) — модель консистентности, в которой результат любого выполнения такой же, как в случае если бы операции всех процессоров были выполнены в некотором последовательном порядке, и операции каждого отдельного процессора появлялись в этой последовательности в порядке определенном его программой. Впервые она была определена Лэмпортом в 1979 году.
В данной формулировке подразумевается сравнение многопроцессорных систем с однопроцессорными. То есть, последовательно консистентными многопроцессорными системами называют такие системы, в которых при упорядочивании всех операций со всех процессоров в какую-то одну последовательность (при условии, что операции каждого отдельного процессора располагаются в этой общей последовательности в том же порядке, в котором они выполняются на отдельном последовательном процессоре), результат выполнения такой последовательности будет такой же, как если бы эта последовательность выполнялась на одном последовательном процессоре.
Это заготовка статьи по кибернетике. Вы можете помочь проекту, дополнив её. |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .