Preview

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

Advanced search

Implementation of distributed and parallel computing in the SDN network

https://doi.org/10.15514/ISPRAS-2022-34(3)-11

Abstract

The paper discusses the execution of a program of tasks on the SDN data plane, modeled by a finite connected undirected graph of physical connections; the execution is understood in the sense of the object-oriented programming paradigm as consisting of objects and messages that objects can exchange. Objects are implemented in hosts. Several different objects can be implemented in one host and the same object can be implemented in several hosts. Messages between objects implemented in different hosts are transmitted in packets which are routed by switches based on identifiers assigned to packets that is on a set of values of some packet parameters in the packet header. Two problems are tackled in the work: 1) minimizing the number of identifiers, 2) setting up switches to implement the paths that packets should take place. These tasks are solved in two cases: A) a packet intended for some object must get into exactly one host in which this object is implemented, B) a packet can get into several hosts, but the desired object must be implemented in one and only one of them. It is shown that problem 1 in case A is equivalent to the set covering problem, and the minimum number of identifiers in the worst case is min{ n, m } where n is the number of objects, and m is the number of hosts implementing objects. In case B, the problem is a special modification of the set covering problem, the hypothesis is proposed that the minimum number of identifiers in the worst case is min{ ëlb(n + 1)û, m }. So far, an upper bound is O( min { ln (min { nm }) × ln ( nm ) } ). To solve problem 2 in cases A and B, algorithms for switches’ setting are proposed which have the complexityO( m ) and O( k m ), , respectively, where m is the number of the edges of the graph of physical connections and k is the number of the required packet identifiers.

About the Authors

Igor Borisovich BURDONOV
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Doctor of Physical and Mathematical Sciences, a Leading Researcher



Nina Vladimirovna YEVTUSHENKO
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Doctor of Technical Sciences, Professor, a Leading Researcher



Alexander Sergeevitch KOSSATCHEV
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Candidate of Physical and Mathematical Sciences, Leading Researcher



References

1. Н.Н. Кузюрин. Обобщенные покрытия и их аппроксимации. Труды ИСП РАН, том 6, 2004 г., стр. 85-100 / N.N. Kuzyurin. Generalized covers and their approximations. Trudy ISP RAN/Proc. ISP RAS, vol. 6, 2004, pp. 85-100 (in Russian).

2. Н.Н. Кузюрин. О сложности построения асимптотически оптимальных покрытий и упаковок. Доклады Академии наук, том 363, no. 1., 1998 г., стр. 11-13 / N. N. Kuzyurin, On the complexity of asymptotically optimal coverings and packing. Doklady Mathematics, vol. 58, no. 3, 1998, pp, 345-346.

3. А.В. Еремеев, Л.А. Заозерская, А.А. Колоколов. Задача о покрытии множества: сложность, алгоритмы, экспериментальные исследования, Дискретный анализ и исследование операций, том 7, вып. 2, 2000 г., стр. 22-46 / A.V. Eremeev, L.A. Zaozerskaya, A.A. Kolokolov. The set covering problem: complexity, algorithms, and experimental investigations. Discrete Analysis and Operations Research, vol. 7, issue 2, 2000, pp. 22-46 (in Russian).

4. D. Lazarev. On MAX Monotonous XSAT, Exact Cover by Sets of Subsets and Parallel Computations in Software-Defined Network. Moscow Journal of Combinatorics and Number Theory, 2023 (in print).

5. И.Б. Бурдонов, Н.В. Евтушенко, А.С. Косачев. Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети. Труды ИСП РАН, том 30, вып. 6, 2018 г., стр. 69-88. DOI: 10.15514/ISPRAS-2018-30(6)-4 / I.B. Burdonov, N.V. Yevtushenko, A.S. Kossatchev. Testing switch rules in software defined networks. Trudy ISP RAN/Proc. ISP RAS, vol. 30, issue 6, 2018, pp. 69-88 (in Russian).

6. I. Burdonov, A. Kossachev et al. Preventive Model-based Verification and Repairing for SDN Requests. In Proc. of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering 2021, pp. 421-428.


Review

For citations:


BURDONOV I.B., YEVTUSHENKO N.V., KOSSATCHEV A.S. Implementation of distributed and parallel computing in the SDN network. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2022;34(3):159-172. (In Russ.) https://doi.org/10.15514/ISPRAS-2022-34(3)-11



Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)