Формальні методи автоматизації проектування паралельних програм
DOI:
https://doi.org/10.15407/dopovidi2020.06.015Ключові слова:
автоматизоване проектування, алгебра алгоритмів, графічний прискорювач, паралельні обчислення, переписування термів, формальні методиАнотація
Запропоновані формальні методи та інструментальні засоби автоматизованого проектування та синтезу паралельних програм. Розроблені засоби використовують мову, яка ґрунтується на системах алгоритмічних алгебр Глушкова і орієнтована на високорівневе та природно-лінгвістичне подання алгоритмів, а також застосовують техніку переписувальних правил для трансформації програм. Особливістю розробленого інструментарію є також використання методу проектування синтаксично правильних схем алгоритмів, який виключає можливість виникнення помилок у процесі побудови специфікацій алгоритмів та програм. Підхід проілюстровано на розробці паралельної програми чисельного інтегрування задачі N тіл, призна ченої для виконання на графічному прискорювачі.
Завантаження
Посилання
Doroshenko, A., & Shevchenko, R. (2006). A rewriting framework for rule-based programming dynamic applications. Fundamenta Informaticae, 72(1-3), pp. 95-108.
Andon, P. I., Doroshenko, A. Yu., Zhereb, K. A., & Yatsenko, O. A. (2018). Algebra-algorithmic models and methods of parallel programming. Kyiv: Akademperiodyka. https://doi.org/10.15407/akademperiodyka.367.192
Doroshenko, A. Yu., & Yatsenko, O. A. (2020). Formal and adaptive methods for automation of parallel programs construction. (unpublished manuscript)
Butler, R. W. (2001). What is formal methods? Retrieved from http://shemesh.larc.nasa.gov/fm/fm-what.html
Flener, P. (2002). Achievements and prospects of program synthesis. In A. C. Kakas & F. Sadri (Eds.). Computational Logic: Logic Programming and Beyond. LNCS (Vol. 2407, pp. 310-346). Berlin: Springer. https://doi.org/10.1007/3-540-45628-7_13
Gulwani, S. (2010). Dimensions in program synthesis. Proc. of the 12th Int. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (pp. 13-24). New York: ACM. https://doi.org/10.1145/1836089.1836091
Nvidia CUDA technology (n.d.). Retrieved from http://www.nvidia.com/cuda
Prusov, V. & Doroshenko, A. (2018). Computational techniques for modeling atmospheric processes. Hershey, PA: IGI Global. https://doi.org/10.4018/978-1-5225-2636-0
Aarseth, S. J. (2003). Gravitational N-body simulations: Tools and algorithms. Cambridge: Cambridge University Press.
Makino, J., & Aarseth, S. J. (1992). On a Hermite integrator with Ahmad-Cohen. Publications of the Astronomical Society of Japan, 44, pp. 141-151.
##submission.downloads##
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Авторське право (c) 2023 Доповіді Національної академії наук України
Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial 4.0 International License.
