Проблемы организации вычислений в многомашинных вычислительных системах с программно-управляемой сбое- и отказоустойчивостью. Часть III
Опубликовано: 17.08.2021
Авторы: Ашарина И.В.
Опубликовано в выпуске: #8(116)/2021
DOI: 10.18698/2308-6033-2021-8-2106
Раздел: Авиационная и ракетно-космическая техника | Рубрика: Инновационные технологии в аэрокосмической деятельности
В трех частях работы проведен анализ существующих подходов и методов организации сбое- и отказоустойчивых вычислений в распределенных многомашинных вычислительных системах (РМВС), определен и обоснован перечень задач, подлежащих решению. Рассмотрены области применения сбое- и отказоустойчивых систем управления сложными сетевыми и распределенными объектами. В части III, завершающей исследование проблем организации сбое- и отказоустойчивости в РМВС, выполненное в частях I и II данной работы, рассмотрены вопросы, связанные с диагностированием кратных неисправностей. Приведены особенности обеспечения отказоустойчивости в системах, имеющих широковещательные каналы связи и каналы связи «точка-к-точке».
Литература
[1] Ашарина И.В. Проблемы организации вычислений в многомашинных вычислительных системах с программно-управляемой сбое- и отказоустойчивостью. Часть II. Инженерный журнал: наука и инновации, 2021, вып. 7. http://dx.doi.org/10.18698/2308-6033-2021-7-2097
[2] Ведешенков В.А. Об использовании избыточных хорд k-отказоустойчивого графа для устранения влияния отказавших компонент. Автомат. и телемех., 2003, № 4, c. 114–122.
[3] Каравай М.Ф. Инвариантно-групповой подход к исследованию k-отказоустойчивых структур. Автомат. и телемех., 2000, № 1, c. 144–156.
[4] Ведешенков В.А. О путевом методе системного диагностирования цифровых систем со структурой симметричного двудольного графа. Автомат. и телемех., 2014, № 9, c. 133–143.
[5] Preparata F.P., Metze G., Chien R.J. On connection assignment problem of diagnosable systems. IEEE Trans. El. Comput., 1967, vol. EC-16, no. 12, pp. 848–854.
[6] Ведешенков В.А., Курако Е.А., Лебедев В.Н. О диагностируемости цифровых систем со структурой минимального квазиполного графа размера 7 × 7. Автомат. и телемех., 2016, № 3, c. 152–165.
[7] Каравай М.Ф., Пархоменко П.П., Подлазов В.С. Комбинаторные методы построения двудольных однородных минимальных квазиполных графов (симметричных блок-схем). Автомат. и телемех., 2009, № 2, c. 153–170.
[8] Ведешенков В.А. Организация диагностирования цифровых систем со структурой симметричного двудольного графа. Проблемы управления, 2009, № 6, c. 59–67.
[9] Ведешенков В.А. Подход к мультиагентной организации системного диагностирования цифровых систем со структурой симметричного двудольного графа. Автомат. и телемех., 2009, № 11, c. 161–171.
[10] Barsi F., Grandoni F., Maestrini P. A theory of diagnosability of digital systems. IEEE Trans. Comput., 1976, vol. C-25, no. 6, pp. 585–593.
[11] Ведешенков В.А. Путевой метод самодиагностирования цифровых систем. Автомат. и телемех., 2005, № 3, c. 154–168.
[12] Пархоменко П.П. Определение технического состояния многопроцессорных вычислительных систем путем анализа графа синдромов. Автомат. и телемех., 1999, № 5, c. 126–134.
[13] Ведешенков В.А., Нестеров А.М. О двух методах дешифрации результатов диагностирования цифровых систем. Электронное моделирование, 1981, т. 3, № 2, c. 53–58.
[14] Каравай М.Ф., Подлазов В.С. Распределенный полный коммутатор как “идеальная” системная сеть для многопроцессорных вычислительных систем. Управление большими системами, 2011, вып. 34, c. 92–116.
[15] Imbs D., Mostefaoui A., Perrin M., Raynal M. Set-constrained delivery broadcast: definition, abstraction power, and computability limits. In: Bellavista P., Garg V.K., eds. Proceedings of the 19th International Conference on Distributed Computing and Networking, ICDCN 2018. Varanasi, India, January 4−7, 2018, pp. 7:1−7:10. ACM, 2018. DOI: 10.1145/3154273.3154296
[16] Auvolat A., Raynal M., Taïani F. Byzantine-Tolerant Set-Constrained Delivery Broadcast. Proceedings of the 23rd International Conference on Principles of Distributed Systems, OPODIS–2019. December 17–19, 2019, University of Neuchâtel, Neuchâtel, Switzerland. Leibniz, Leibniz International Proceedings in Informatics, 2019, article no. 16. DOI: 10.4230/LIPIcs.OPODIS.2019.16
[17] Гришин В.Ю., Лобанов А.В., Сиренко В.Г. Взаимное информационное согласование в многомашинных вычислительных системах с обнаружением и идентификацией кратных враждебных неисправностей. Автомат. и телемех., 2003, № 4, с. 123–132.
[18] Лобанов А.В. Взаимное информационное согласование с обнаружением и идентификацией враждебных неисправностей в неполносвязных многомашинных вычислительных системах. Автомат. и телемех., 2003, № 6, c. 175–185.
[19] Pease M., Shostak R., Lamport L. Reaching agreement in the presence of faults. J. ACM., 1980, vol. 27, no. 2, pp. 228–234.
[20] Lamport L., Shostak R., Pease M. The byzantine generals problem. ACM Trans. Progr. Lang. Syst., 1982, vol. 4, no. 3, pp. 382–401.
[21] Ашарина И.В., Лобанов А.В., Мищенко И.Г. Взаимное информационное согласование в неполносвязных многомашинных вычислительных системах. Автомат. и телемех., 2003, № 5, c. 190–198.
[22] Dolev D., Dwork C., Stockmeyer L. On the minimal synchronics needed for distributed consensus. Proc. 24th Ann. Symp. on Foundations of Computer Science. November 7–9, 1983, IEEE, Tucson, USA. IEEE, 1983, рр. 393–402.
[23] Лобанов А.В., Сиренко В.Г. Проблема отказоустойчивости в сетецент-рических информационно-управляющих системах. Образовательные ресурсы и технологии, 2014, № 2 (5), c. 115–121.