4488
правок
Причинно-следственное упорядочение, логические часы, репликация конечного автомата: различия между версиями
Перейти к навигации
Перейти к поиску
Причинно-следственное упорядочение, логические часы, репликация конечного автомата (посмотреть исходный код)
Версия от 22:32, 25 марта 2017
, 25 марта 2017→Постановка задачи
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 28: | Строка 28: | ||
Определение 2. Два различных события a b называются одновременными, если a | '''Определение 2'''. Два различных события a b называются ''одновременными'', если <math>a \nrightarrow b</math> и <math>b \nrightarrow a</math>. | ||
| Строка 36: | Строка 36: | ||
Определение 3. Часы | '''Определение 3'''. Часы <math>C_i \;</math> для процесса <math>p_i \;</math> представляют собой функцию, которая назначает число <math>C_i \langle a \rangle \;</math> любому событию <math>a \;</math> в этом процессе. Полная система часов представлена функцией C, которая назначает любому событию <math>b \;</math> число <math>C \langle b \rangle \;</math>, где <math>C \langle b \rangle = C_j \langle b \rangle</math>, если <math>b \;</math> является событием в процессе <math>p_j \;</math>. Система часов должна удовлетворять следующему условию: | ||
для любых событий a и b, если <math>a \to b</math>, то <math>C \langle a \rangle < C \langle b \rangle</math>. | |||