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