Общий порядок сообщений — различия между версиями
(Новая страница: «Категория: Параллельное программирование '''Полный порядок''' - для любых сообщений ''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.