Частичный порядок — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «'''Частичный порядок''' – транзитивное антирефлексивное антисимметричное отношение. Введ…»)
 
Строка 1: Строка 1:
 +
[[Категория: Параллельное программирование]]
 
'''Частичный порядок''' – транзитивное антирефлексивное антисимметричное отношение.
 
'''Частичный порядок''' – транзитивное антирефлексивное антисимметричное отношение.
  

Версия 15:14, 26 июня 2010

Частичный порядок – транзитивное антирефлексивное антисимметричное отношение.

Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил:

  • Посылка сообщений предшествует его приему.
  • События, принадлежащие одному потоку, естесственным образом упорядочены.