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