Метод оптимізації параметрів паралельних обчислень
DOI:
https://doi.org/10.25140/2411-5363-2023-3(33)-130-140Ключові слова:
паралельні обчислення, імітаційне моделювання, мережа Петрі, еволюційний алгоритмАнотація
На швидкодію паралельних алгоритмів сильно впливають параметри, що визначають характеристики підзадач та механізми їх взаємодії, а також обчислювальні ресурси, які використовуються для виконання програми. Тесту-вання паралельних алгоритмів в реальних умовах є ресурсовитратним, з огляду на це у роботі пропонується метод оптимізації параметрів паралельних обчислень на основі Петрі-об’єктного моделювання та еволюційного алгоритму. У якості прикладу застосування методу побудована та досліджена модель паралельного алгоритму імітації дис-кретно-подійної системи.
Посилання
International Organization for Standardization. (2004). Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation. (ISO/IEC 15909-1:2004). Retrieved from https://www.iso.org/standard/38225.html.
de Boer, F.S., Grabe, I., Jaghoori, M.M., Stam, A., Yi, W. (2009). Modeling and analysis of thread pools in an industrial communication platform. International Conference on Formal Engineering Methods ICFEM 2009: Formal Methods and Software Engineering. Lecture Notes in Computer Science, (5885), 367-386. DOI: 10.1007/978-3-642-10373-5_19.
Kavi, K., Moshtaghi, A., Chen, Dj. (2002). Modeling Multithreaded Applications Using Petri Nets. International Journal of Parallel Programming, 30(5), 353–371. DOI: 10.1023/A:1019917329895.
Katayama, T., Nakamura, H., Kita, Y. (2014). Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net. Journal of Robotics, Networking and Artificial Life, 1(3), 207-211. DOI: 10.2991/jrnal.2014.1.2.3.
Giebas, D., Wojszczyk, R. (2020). Deadlocks Detection in Multithreaded Applications Based on Source Code Analysis. Applied Sciences, 10(2), 532. DOI: 10.3390/app10020532.
Gold, R. (2004). Petri Nets in Software Engineering. Arbeitsberichte – Working Papers, (5), Fach-hochschule Ingolstadt – University of Applied Sciences, Ingolstadt. URL: https://nbn-resolv-ing.de/urn:nbn:de:bvb:573-203.
Owe O., Yu I.C. (2014). Deadlock detection of active objects with synchronous and asynchronous method calls. Norsk Informatikkonferanse (NIK). Halden, Norway. URL: http://ojs.bibsys.no/in-dex.php/NIK/article/view/19.
Software Verify LTD. (2023). Deadlock Detection and Thread Monitoring. Retrieved from https://www.softwareverify.com/products/#threads.
Liao, H. (2013). Concurrency Bugs in Multithreaded Software: Modeling and Analyzing Using Petri Nets. Discrete Event Dynamic Systems, 23(2), 157–195. DOI: 10.1007/s10626-012-0139-x.
Xiang, D., (2017). Detecting Data Inconsistency Based on the Un-folding Technique of Petri Nets. IEEE Transactions on Industrial Informatics, 13(6), 2995-3005. DOI: 10.1109/TII.2017.2698640.
Xu, Z. (2020). PVcon: Localizing Hidden Concurrency Errors With Prediction and Verification, IEEE Access, 8, 165373-165386. 0.1109/ACCESS.2020.3022992.
Stetsenko, I.V. (2010). System Modeling. Cherkasy: ChDTU.
Stetsenko, I.V., Pavlov, O.A., Dyfuchyna, O. (2021) Parallel algorithm development and testing using Petri-object simulation. International Journal of Parallel, Emergent and Distributed Systems, 36(6), 549-564. DOI: 10.1080/17445760.2021.1955113.
Dyfuchyna, O. (2023). Parallel Program Simulation (PPS). Retrieved from https://github.com/sashadif/PPS
Jenkov J. (2015). JMH - Java Microbenchmark Harness. Retrieved from https://jenkov.com/tutori-als/java-performance/jmh.html
Stetsenko, I.V., Pavlov, O.A., Dyfuchyna, O. (2020). Thread Pool parameters tuning using simula-tion. Advances in Intelligent Systems and Computing, 938, 78-89. DOI: 10.1007/978-3-030-16621-2_8.
##submission.downloads##
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial 4.0 International License.
