Abstract
The updated methodology for task knowledge based development (tkb-development) of parallel programs includes our updated methods for tkb-construction of non-parallel program systems (nps) and automatic parallelizing. TKB-system of parallel program systems construction (pps-construction) consists of five components: the pps-construction task knowledge base, the tkb-constructor of parallel programs with automatic parallelizer embedded, the tkb-constructor of runtime support and graphic tools. PPS-construction system produces pps to be run in a specified runtime environment. The foundations of updated methodology for pps-construction, task knowledge representation language OBRAZ, automatic parallelizing method MPM and cooperative problem solver (CPS) based on digital twins are presented in short.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Dijkstra, E.: Structured programming. Software engineering techniques. NATO Science Committee, (edited by J. N. Burton and B. Randell), pp. 89–93 (1969)
Wirth, N.: Program development by stepwise refinement. Commun. ACM 14(4), 221–227 (1971). https://dl.acm.org/doi/10.1145/362575.362577. Accessed 15 June 2021
Luker, P., Burns, A.: Program generators and generation software. Comp. J. 29, 315–321 (1986)
Ilyin, V.: The program generating system. Nauka, Moscow (1989). https://www.elibrary.ru/item.asp?id=24889586. Accessed 15 June 2021
Ilyin, A., Ilyin, V.: S-modeling of tasks and construction of programs. Institute of Informatics Problems, Russian Academy of Sciences, Moscow (2012). https://www.elibrary.ru/item.asp?id=25816802. Accessed 15 June 2021
Imam, S., Sarkar, V.: Integrating task parallelism with actors. In: The ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2012, pp. 753–772. ACM, New York (2012)
Grasso, I., Pellegrini, S., Cosenza, B. et al.: A uniform approach for programming distributed heterogeneous computing systems. J. Parallel Distrib. Comput. 74(12), 3228–3239 (2014). https://www.sciencedirect.com/science/article/pii/S0743731514001440. Accessed 15 June 2021
Meil, D.: The search for unlimited productivity. Commun. ACM 64(6), 10–11 (2021). https://cacm.acm.org/magazines/2021/6/252830-the-search-for-unlimited-productivity/fulltext. Accessed 15 June 2021
Specialized parallel languages and extensions of existing languages. Parallel.ru (2021). https://parallel.ru/tech/tech_dev/par_lang.html. Accessed 15 June 2021
Jo, C., George, K., Teague, K.: Parallelizing translator for an object-oriented parallel programming language. In: The Tenth Annual International Phoenix Conference on Computers and Communications, Scottsdale, AZ, USA, 27–30 March 1991, pp. 265–271. IEEE (1991). https://ieeexplore.ieee.org/document/113821. Accessed 15 June 2021
Takehiko, N., Suda, R.: APTCC : auto parallelizing translator from C to CUDA. In: International Conference on Computational Science, ICCS 2011, Procedia Computer Science, vol. 4, pp. 352–361. Elsevier (2011). https://www.sciencedirect.com/science/article/pii/S1877050911000950?via%3Dihub. Accessed 15 June 2021
Butler, R., Gropp, W., Lusk, E.: A scalable process-management environment for parallel programs. In: Dongarra, J., Kacsuk, P., Podhorszki, N. (eds.) Recent Advances in Parallel Virtual Machine and Message Passing Interface, EuroPVM/MPI 2000. LNCS, vol. 1908, pp. 168–175. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-45255-9_25, https://link.springer.com/chapter/10.1007/3-540-45255-9_25. Accessed 15 June 2021
Ikeda, T., Yuen, S.: A reversible runtime environment for parallel programs. In: Lanese, I., Rawski, M. (eds.) Reversible Computation, RC 2020. LNCS, vol. 12227, pp. 272–279. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-52482-1_18, https://link.springer.com/content/pdf/10.1007%2F978-3-030-52482-1_18.pdf. Accessed 15 June 2021
Sweger, K.: 1130 Scientific subroutine package (1130-CM-02X): Programmer's manual. IBM (1967). http://media.ibm1130.org/1130-006-ocr.pdf. Accessed 15 June 2021
Arushanyan, O., Volchenskova, N.: Providing internet access to the numerical analysis library of the research computer center of Moscow State University. Comput. Methods Program. 1(2), 1–8 (2000). https://www.elibrary.ru/item.asp?id=1271758. Accessed 15 June 2021
Ilyin, V.: A methodology for knowledge based engineering of parallel program systems. In: Forsyth, G., Moonis, A. (eds.) The Eighth International Conference «Industrial and Engineering Applications of Artificial Intelligence and Expert Systems», IEA/AIE 95, Melbourne, Australia, 6–8 June, 1995, pp. 805–809. Gordon and Breach (1995)
Ilyin, V.: The model of the cooperative problem solver based on digital twins. Syst. Means Inform. 29(2), 172–179 (2019). https://www.elibrary.ru/item.asp?id=41273564. Accessed 15 June 2021
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Ilyin, A.V., Ilyin, V.D. (2021). Updated Methodology for Task Knowledge Based Development of Parallel Programs. In: Silhavy, R., Silhavy, P., Prokopova, Z. (eds) Data Science and Intelligent Systems. CoMeSySo 2021. Lecture Notes in Networks and Systems, vol 231. Springer, Cham. https://doi.org/10.1007/978-3-030-90321-3_25
Download citation
DOI: https://doi.org/10.1007/978-3-030-90321-3_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-90320-6
Online ISBN: 978-3-030-90321-3
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)