Частичный порядок — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
 
Строка 1: Строка 1:
 
[[Категория: Параллельное программирование]]
 
[[Категория: Параллельное программирование]]
'''Частичный порядок''' – транзитивное антирефлексивное антисимметричное отношение.
+
'''Частичный порядок''' – транзитивное рефлексивное антисимметричное отношение.
  
 
Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил:
 
Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил:
 
* Посылка сообщений предшествует его приему.
 
* Посылка сообщений предшествует его приему.
 
* События, принадлежащие одному потоку, естественным образом упорядочены.
 
* События, принадлежащие одному потоку, естественным образом упорядочены.

Текущая версия на 00:05, 11 сентября 2021

Частичный порядок – транзитивное рефлексивное антисимметричное отношение.

Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил:

  • Посылка сообщений предшествует его приему.
  • События, принадлежащие одному потоку, естественным образом упорядочены.