Общий порядок сообщений — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «Категория: Параллельное программирование '''Полный порядок''' - для любых сообщений ''x'' и '…»)
 
Строка 1: Строка 1:
 
[[Категория: Параллельное программирование]]
 
[[Категория: Параллельное программирование]]
'''Полный порядок''' - для любых сообщений ''x'' и ''y'' и любых потоков ''P'' и ''Q'' если ''x'' принято ''P'' перед ''y'', то ''y'' не может быть принято перед ''x'' в ''Q''.
+
'''Полный порядок''' - для любых сообщений ''x'' и ''y'' и любых потоков ''P'' и ''Q'' если ''x'' принято в ''P'' перед ''y'', то ''y'' не может быть принято перед ''x'' в ''Q''.

Версия 21:25, 12 июня 2018

Полный порядок - для любых сообщений x и y и любых потоков P и Q если x принято в P перед y, то y не может быть принято перед x в Q.