ANALYSIS OF INDICATORS OF PACKET SERVICES OF THE NETWORK
Keywords:
OptQuest, Delay, Queue Sampler, Exit.Abstract
Accurate and in-depth analysis of network performance is a complex process. Network functionality can only cover a subset of the ever-changing workloads that processes on the network experience, which can lead to unexplored node states and sub-optimal performance in live traffic. is considered Queuing theory and network calculus techniques can provide tight bounds on performance metrics, but typically require approximations of the state of network components and the traffic arrival order with short and well-executed mathematical functions. As such, they are not immediately applicable to emerging workloads and the new algorithms and protocols developed to handle them. We explore a different approach: using formal methods to analyze network performance. We show that application synthesis techniques can be used to accurately model network components and their queues and automatically generate concise interpretable workloads in response to performance metrics queries. Our approach offers a new point in the field of available tools for network performance analysis: it is more complete than simulation and emulation and can be easily applied to algorithms and protocols expressed in first-order logic. We demonstrate the effectiveness of our approach by analyzing packet scheduling algorithms and a small leaf-spine network and creating compact workloads that may suffer from throughput, fairness, starvation, and latency issues.
References
S. Avallone, S. Guadagno, D. Emma, A. Pescape, and G. Ventre, "D-ITG distributed Internet traffic generator", First International Conference on the Quantitative Evaluation of Systems, 2004.
ZTI Telecom, "IP Traffic - test & measure," http://www.zti-telecom.com.
S. Avallone, "Mtools 1.1," http://www.grid.unina.it/grid/mtools/, 2002.
J. Laine, S. Saaristo, and R. Prior, "Rude & crude," http://rude.sourceforge.net/.
Olimov O. O., Saparbayev R. K. Network traffic queue analysis //Educational Research in Universal Sciences. – 2024. – Т. 3. – №. 2. – p. 311-318.
https://cyberleninka.ru/article/n/analog-to-digital-conversion-process-by-matlab-simulink
Naval Research Laboratory, "Multi-Generator (MGEN)," http://cs.itd.nrl.navy.mil/work/mgen/index.php.
The University of Michigan, "gen_send, gen_recv: a simple uDP traffic generator application," http://www.citi.umich.edu/projects/qbone/generator.html.
T. Lattner, D. Cook, and K. Gibbs, "Jperf,"http://dast.nlanr.net/projects/jperf/.
A. K. Agarwal and W. Wang, "Measuring performance impact of security protocols in wireless local area networks," 2nd International Conference on Broadband Networks, 2005.
T.-Y. Wu, H.-C. Chao, T.-G. Tsuei, and Y.-F. Li, "A measurement study of network efficiency for TWAREN IPv6 backbone," International Journal of Network Management, vol. 15, pp. 411-419, 2005.
K. A. Gotsis, S. K. Goudos, and J. N. Sahalos, "A test lab for the performance analysis of TCP over Ethernet LAN on windows operating system," IEEE Transactions on Education, vol. 48, pp. 318-328, 2005.
A. K. Agarwal, J. S. Gill, and W. Wenye, "An experimental
study on wireless security protocols over mobile IP networks," IEEE 60th Vehicular Technology Conference, 2004. VTC2004-Fall.
Olimboy O. Multiservice network services //Web of Humanities: Journal of Social Science and Humanitarian Research. – 2024. – Т. 2. – №. 2. – p. 101-104.
A. Botta, A. Dainotti, and A. Pescape, "Multiprotocol and multi-platform traffic generation and measurement," INFOCOM 2007 DEMO Session., Anchorage, Alaska, 2007.
