Последовательная согласованность — модель согласованности, в которой результат любого выполнения такой же, как в случае если бы операции всех процессоров были выполнены в некотором последовательном порядке, и операции каждого отдельного процессора появлялись в этой последовательности в порядке определённом его программой.
Впервые определена Лэмпортом в 1979 году. В классической формулировке подразумевается сравнение многопроцессорных систем с однопроцессорными, то есть, последовательно согласованными многопроцессорными системами называют такие системы, в которых при упорядочивании всех операций со всех процессоров в какую-то одну последовательность (при условии, что операции каждого отдельного процессора располагаются в этой общей последовательности в том же порядке, в котором они выполняются на отдельном последовательном процессоре), результат выполнения такой последовательности будет такой же, как если бы эта последовательность выполнялась на одном последовательном процессоре.
Литература Одинцов И. О. Профессиональное программирование. Системный подход. 2-е изд. — СПб.: БХВ-Петербург, 2004. Leslie Lamport, «How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs», IEEE Trans. Comput. C-28,9 (Sept. 1979), 690—691.
Категория:Теоретические основы баз данных Категория:Архитектура распределённых вычислений Категория:Управление памятью