Частичный порядок — различия между версиями
м (переименовал «Параллельное программирование: Частичный порядок» в «Частичный порядок») |
|||
(не показана 1 промежуточная версия 1 участника) | |||
Строка 1: | Строка 1: | ||
[[Категория: Параллельное программирование]] | [[Категория: Параллельное программирование]] | ||
− | '''Частичный порядок''' – транзитивное | + | '''Частичный порядок''' – транзитивное рефлексивное антисимметричное отношение. |
Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил: | Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил: | ||
* Посылка сообщений предшествует его приему. | * Посылка сообщений предшествует его приему. | ||
− | * События, принадлежащие одному потоку, | + | * События, принадлежащие одному потоку, естественным образом упорядочены. |
Версия 00:05, 11 сентября 2021
Частичный порядок – транзитивное рефлексивное антисимметричное отношение.
Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил:
- Посылка сообщений предшествует его приему.
- События, принадлежащие одному потоку, естественным образом упорядочены.