a. Show that the aforementioned pro

a. Show that the aforementioned protocol satisfies all the requirements of stabi- lizing mutual exclusion.
(See [D86] for a proof of correctness but try to do your own analysis first.)
b. Show that the worst-case stabilization time of the aforementioned protocol is
O(n2).
17.4 Figure 17.8 shows a network of four processes. The state s[i] of each process i is either 0 or 1.

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

а. Покажите , что вышеупомянутые протокол удовлетворяет всем требованиям остав- ляющих взаимного исключения.
(См [D86] для доказательства правильности , но попытаться сделать свой собственный анализ в первую очередь.)
Б. Покажите , что в худшем случае стабилизация вышеуказанного протокола является
O (n 2).
17.4 Рисунок 17.8 показывает сеть из четырех процессов. Состояние s [я] каждого процесса я либо 0 , либо 1.

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

а. показывают, что упомянутого протокола удовлетворяет всем требованиям stabi - lizing взаимного отчуждения.(см. [d86] для доказательства правильности, но постараемся сделать свой собственный анализ первого).b) показывают, что худший время стабилизации вышеупомянутого протокола- (N2).17.4 показатель 17,8 показывает сети четырех процессах.государство S [я] каждого процесса я либо 0 или 1.