Причинно-следственное упорядочение, логические часы, репликация конечного автомата: различия между версиями

3. Когда процесс <math>p_i \;</math> освобождает ресурс, он удаляет все экземпляры сообщений <math>( - , p_i, request) \;</math> из своей очереди и отправляет сообщение об освобождении ресурса <math>(T_{m'}, p_i, release) \;</math> всем остальным процессам.

5. Сообщения в очереди отсортированы согласно отношению полного упорядочения <math>\Rightarrow</math> из определения 4. Процесс <math>p_i \;</math> может использовать ресурс в случае, когда: (а) сообщение <math>(T_m, p_i, request) \;</math> оказывается первым в очереди, и (б) процесс <math>p_i \;</math> получил от всех остальных процессов сообщения с временными метками, большими, чем <math>T_m \;</math> (или равными ей – от любого процесса <math>p_j \;</math>, где <math>p_i \prec p_j \;</math>).