Частичный порядок — различия между версиями
DrozdovVA (обсуждение | вклад) |
|||
(не показана 1 промежуточная версия 1 участника) | |||
Строка 4: | Строка 4: | ||
Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил: | Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил: | ||
* Посылка сообщений предшествует его приему. | * Посылка сообщений предшествует его приему. | ||
− | * События, принадлежащие одному потоку, | + | * События, принадлежащие одному потоку, естественным образом упорядочены. |
Версия 12:34, 18 июня 2012
Частичный порядок – транзитивное антирефлексивное антисимметричное отношение.
Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил:
- Посылка сообщений предшествует его приему.
- События, принадлежащие одному потоку, естественным образом упорядочены.