Характеристика актуальности проблемы поиска неисправностей в сетевых вычислительных средах, обеспечения надежности функционирования программного и аппаратного обеспечения. Исследование методики достижения консенсуса среди распределенных процессов.
Протокол консенсуса в асинхронных сетях с неисправностямиПоиск неисправностей в сетевых вычислительных средах, надежность функционирования программного и аппаратного обеспечения является актуальной задачей, для решения которой используются формальные математические модели, позволяющие на этапах проектирования, тестирования и эксплуатации обнаружить и локализовать статические и динамические неисправности, как в структуре сетевой среды, так и в каналах связи [1, 2]. Считается, что протокол t-устойчивый, если он корректно работает при отказе не более чем t процессов до или в течении своего выполнения [4]. Протокол, который может выдержать до t процессов, проявляющих Византийскую неисправность, обладает t-устойчивостью к Византийским неисправностям и иногда называется Византийским протоколом [5]. В работе считается, что система сообщений полностью надежна и что только процессы подвержены неисправностям. Мы также полагаем, что любой процесс может абсолютно надежно определить отправителя любого принимаемого сообщения и что любое сообщение доставляется без изменений и ошибок.
Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность своей работы
