Continuing these arguments, one can

Continuing these arguments, one can easily conclude that process 0 receives a white token when processes 1 . . n − 1 are all passive and none of them sent a message. This is a stable condition since processes 1 . . n − 1 cannot receive a message anymore. This corresponds to the termination of the computation. If some process i (i ≠ 0) activates process 0 in the mean time, then process 0 will eventually turn passive and initiate a new round of token circulation until it receives a white token. ◾

Note 1: Since the underlying algorithm is guaranteed to terminate, the termination- detection algorithm will also terminate.

Результаты (русский) 2:

Продолжая эти рассуждения, можно легко сделать вывод , что процесс 0 получает белый маркер , когда процессы 1. , п - 1 все пассивные и ни один из них не было отправлено сообщение. Это устойчивое состояние , так как процессы 1. , п - 1 не может получить сообщение больше. Это соответствует окончанию вычислений. Если какой - то процесс I (I ≠ 0) активизирует процесс 0 в то же время, то процесс 0 будет в конечном итоге превратить пассивными и начать новый раунд маркера обращения , пока не получит белый маркер. ◾

Примечание 1: Поскольку базовый алгоритм гарантирует прекратить, алгоритм обнаружения termination- также будет прекращено.

Результаты (русский) 3:

продолжение этих аргументов, легко сделать вывод, что процесс 0 получает белый знак, когда процессы 1.. N - 1 все пассивной, и ни один из них не прислал сообщение.это в стабильном состоянии, поскольку процессы 1.. n - 1 не может получить сообщение больше.это означает прекращение вычислений.если некоторые процесса я i ≠ 0) активирует процесс 0 в это время, то процесс 0 в конечном итоге очередь пассивной и начать новый раунд символическую циркуляцию до тех пор, пока не получит белый знак.◾примечание 1: поскольку основные алгоритм гарантирует прекратить, прекращения - обнаружение алгоритм также будет прекращено.