Частичный порядок — различия между версиями
(Новая страница: «'''Частичный порядок''' – транзитивное антирефлексивное антисимметричное отношение. Введ…») |
|||
| Строка 1: | Строка 1: | ||
| + | [[Категория: Параллельное программирование]] | ||
'''Частичный порядок''' – транзитивное антирефлексивное антисимметричное отношение. | '''Частичный порядок''' – транзитивное антирефлексивное антисимметричное отношение. | ||
Версия 15:14, 26 июня 2010
Частичный порядок – транзитивное антирефлексивное антисимметричное отношение.
Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил:
- Посылка сообщений предшествует его приему.
- События, принадлежащие одному потоку, естесственным образом упорядочены.
