Модель распределённой сети, в которой хосты могут выполнять функцию коммутации сообщений
https://doi.org/10.15514/ISPRAS-2025-37(4)-1
Аннотация
В работе строится абстрактная модель распределенной сети, содержащей только хосты и коммутаторы, которая позволяет оценить классы задач, которые необходимо решать в такой сети, принимая во внимание, в том числе, нефункциональные параметры. Предполагается, что хосты предлагают пакеты определенных услуг (сервисов) и сообщения (запросы) между хостами пересылаются через промежуточные узлы по правилам коммутации. Правило определяет, каким соседним узлам пересылается принятое узлом сообщение в зависимости от того, откуда оно пришло, и от вектора параметров в его заголовке. Соответственно, настройка узлов определяет множество путей от хоста к хосту, по которым будут пересылаться пакеты. Ситуация моделируется с использованием графа, вершинами которого являются хосты и коммутаторы, а ребра соответствуют физическим связям между ними. Обычно предполагается, что в такой сети хосты только принимают, обрабатывают и посылают информацию другим хостам, но не занимаются коммутацией сообщений, эта функция возлагается на другие узлы – коммутаторы, но мы предполагаем, что при современных технологиях хост также может выполнять функции коммутации сообщений, то есть такой хост (как и коммутатор) содержит систему правил коммутации, указывающих, куда отправляется полученное сообщение, если почему-либо данный хост не может обработать данный запрос/сообщение. Предлагается модель сети, в которой функцию коммутации сообщений выполняет не только каждый коммутатор, но и каждый хост. Обсуждаются проблемы, связанные с нефункциональными параметрами распределенной сети, а именно, достижимость/недостижимость хостов, зацикливание сообщений, перегрузка сети сообщениями, немасштабируемость. Обсуждается возможность оптимизации рассматриваемых параметров сети на основе использования информации об услугах/сервисах, представляемых каждым из хостов, и алгоритмы самонастройки распределенной сети, оптимизирующие параметры сети, передачу сообщений по настроенной сети и инкрементальную (повторную частичную) настройку сети, не нарушающую функционирование сети.
Ключевые слова
Об авторах
Игорь Борисович БУРДОНОВРоссия
Доктор физико-математических наук, главный научный сотрудник ИСП РАН. Научные интересы: формальные спецификации, генерация тестов, технология компиляции, системы реального времени, операционные системы, объектно-ориентированное программирование, сетевые протоколы, процессы разработки программного обеспечения.
Нина Владимировна ЕВТУШЕНКО
Россия
Доктор технических наук, профессор, главный научный сотрудник ИСП РАН, до 1991 года работала научным сотрудником в Сибирском физико-техническом институте. С 1991 г. работала в ТГУ профессором, зав. кафедрой, зав. лабораторией по компьютерным наукам. Её исследовательские интересы включают формальные методы, теорию автоматов, распределённые системы, протоколы и тестирование программного обеспечения.
Александр Сергеевич КОСАЧЕВ
Россия
Кандидат физико-математических наук, ведущий научный сотрудник ИСП РАН. Научные интересы: формальные спецификации, генерация тестов, технология компиляции, системы реального времени, операционные системы, объектно-ориентированное программирование, сетевые протоколы, процессы разработки программного обеспечения.
Вера Николаевна ПОНОМАРЕНКО
Россия
Кандидат физико-математических наук, старший научный сотрудник ИСП РАН. Научные интересы: формальные спецификации, генерация тестов, системы реального времени, операционные системы, объектно-ориентированное программирование, сетевые протоколы, процессы разработки программного обеспечения
Список литературы
1. М.С.Э. Танненбаум. Распределенные системы, Москва, ДМК Пресс, 2021.
2. Г.И. Радченко. Распределенные вычислительные системы. Челябинск, 2012.
3. Sezer. S, Scott-Hayward. S, Chouhan P.K., Fraser B., Lake D., Finnegan J., Viljoen N., Miller M. and Rao N. Are we ready for sdn? Implementation challenges for software-defined networks IEEE Communications Magazine, 2013, 51 (7), pp. 36-43.
4. Mohammed, A. H., Khaleefah, R. M., k. Hussein, M., and Amjad Abdulateef, I. A review software defined networking for internet of things. In 2020 International Congress on Human-Computer Interaction, Optimization and Robotic Applications (HORA), 2020, pp. 1–8.
5. OpenNetworkingFoundation (2012). Software-defined networking: The new norm for networks. ONF White Paper. 2012.
6. Burdonov, I.; Kossachev, A.; Yevtushenko, N.; López, J.; Kushik, N. and Zeghlache, D. (2021). Preventive Model-based Verification and Repairing for SDN Requests. In Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE, ISBN 978-989-758-508-1 ISSN 2184-4895, pp. 421-428. DOI: 10.5220/0010494504210428.
7. Igor Burdonov, Nina Yevtushenko and Alexander Kossatchev. Implementing a virtual network on the SDN data plane. Proceedings 2020 IEEE East-West Design & Test Symposium (EWDTS). 2020, pp. 279- 283.
8. Бурдонов И.Б., Евтушенко Н.В., Косачев А.С. Реализация распределенных и параллельных вычислений в сети SDN. Труды института системного программирования. 2022, т. 34, № 3, с. 159- 172.
9. Оре О. Теория графов. М.: Наука, 1968, с. 59, 68.
Рецензия
Для цитирования:
БУРДОНОВ И.Б., ЕВТУШЕНКО Н.В., КОСАЧЕВ А.С., ПОНОМАРЕНКО В.Н. Модель распределённой сети, в которой хосты могут выполнять функцию коммутации сообщений. Труды Института системного программирования РАН. 2025;37(4):7-30. https://doi.org/10.15514/ISPRAS-2025-37(4)-1
For citation:
BURDONOV I.B., YEVTUSHENKO N.V., KOSSATCHEV A.S., PONOMARENKO V.N. A Distributed Network Model in which Hosts Can Perform Message Switching Functions. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2025;37(4):7-30. (In Russ.) https://doi.org/10.15514/ISPRAS-2025-37(4)-1