Последовательная консистентность

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Последовательная консистентность — модель консистентности, в которой результат любого выполнения такой же, как в случае если бы операции всех процессоров были выполнены в некотором последовательном порядке, и операции каждого отдельного процессора появлялись в этой последовательности в порядке определенном его программой. Впервые она была определена Лэмпортом в 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.