Кіріспе
Таратылған есептеуде, қорқытқыш алгоритмі – бұл таратылған компьютерлік процестер тобынан координаторды немесе жетекшіні динамикалық түрде сайлау әдісі. Іс жүзінде жұмыс істейтін процестердің арасында ең жоғары процестер идентификаторына ие процестер координатор ретінде таңдалады.
Қауіпсіздік
Көшбасшы сайлау протоколдарының күтілетін қауіпсіздік қасиеті – әрбір қатесіз процесс бір процессті сайлайды немесе мүлдем ешқайсысын сайламайды. Барлық процестер көшбасшыны сайлауда көшбасшы ретінде таңдалған процеске келісуі керек екенін ескеру қажет. Bully алгоритмі осы қасиетті қанағаттандырады (белгіленген жүйелік модельде), және ешбір уақытта топтағы екі процесс кімнің көшбасшы екендігі туралы қарама-қайшы пікірде болмайды, сайлау кезінен басқа. Бұл рас, себебі әйтпесе, екі процесс бар еді, және олар екеуі де топқа Координатор (жеңіс) хабарын жіберген болар еді. Бұл дегеніміз, олар бір-біріне жеңіс туралы хабарламалар жіберген болуы керек. Бірақ мұндай жағдайға жол берілмейді, өйткені жеңіс хабарын жібермес бұрын, олардың арасында сайлау хабарламалары алмасылған болар еді, және екеуінің арасындағы төменгі процесс ID-сіне ие процесс ешқашан жеңіс хабарын жібермес еді. Бұл қарама-қайшылық тудырады, сондықтан жүйеде кез келген уақытта екі көшбасшы бар деген бастапқы болжамымыз жалған, және бұл Bully алгоритмінің қауіпсіз екенін көрсетеді.
a conflicting view of who the leader is, except during an election. This is true because if it weren't, there are two processes and such that both sent the Coordinator (victory) message to the group. This means and must also have sent each other victory messages. But this cannot happen, since before sending the victory message, Election messages would have been exchanged between the two, and the process with a lower process ID among the two would never send out victory messages. We have a contradiction, and hence our initial assumption that there are two leaders in the system at any given time is false, and that shows that the bully algorithm is safe.
Тіршілік
Сонымен қатар, синхронды, апаттан қалпына келтіру моделінде тірі қалу да қамтамасыз етіледі. Егер болашақ лидер «Жауап» (Тірі) хабарын жібергеннен кейін, бірақ «Координатор» (Жеңіс) хабарын жібермес бұрын сәтсіздікке ұшыраса, төменгі ID процестерде белгіленген уақыт ішінде қалпына келмесе, олардың бірі ақырында лидер болады (кейбір басқа процестер құлаған жағдайда да). Егер сәтсіздікке ұшыраған процесс уақытында қалпына келсе, ол топтың барлығына «Координатор» (Жеңіс) хабарын жібереді.
Желілік жолақты пайдалану
Баули алгоритмінің хабарламалары белгілі (таныс, өзгермейтін) өлшемде болғанда, ең төменгі ID-сы бар процесс сайлауды бастағанда топта ең көп хабар алмасылады. Бұл процесс (N-1) сайлау хабарламасын жібереді, келесі жоғары ID (N-2) хабарлама жібереді, және осылай жалғасады, нәтижесінде сайлау хабарламалары пайда болады. Сонымен қатар, «Тірімін» хабарламалары мен координатор хабарламалары да бар, сондықтан ең нашар жағдайда алмасылған хабарлардың жалпы саны .