Частичный порядок — различия между версиями
(Новая страница: «'''Частичный порядок''' – транзитивное антирефлексивное антисимметричное отношение. Введ…») |
м (rollbackEdits.php mass rollback) |
||
| (не показано 5 промежуточных версий 4 участников) | |||
| Строка 1: | Строка 1: | ||
| − | '''Частичный порядок''' – транзитивное | + | [[Категория: Параллельное программирование]] |
| + | '''Частичный порядок''' – транзитивное рефлексивное антисимметричное отношение. | ||
Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил: | Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил: | ||
* Посылка сообщений предшествует его приему. | * Посылка сообщений предшествует его приему. | ||
| − | * События, принадлежащие одному потоку, | + | * События, принадлежащие одному потоку, естественным образом упорядочены. |
Текущая версия на 19:12, 4 сентября 2022
Частичный порядок – транзитивное рефлексивное антисимметричное отношение.
Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил:
- Посылка сообщений предшествует его приему.
- События, принадлежащие одному потоку, естественным образом упорядочены.
