Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
Automated Debugging of Fragmented Programs in LuNA System. / Malyshkin, Victor; Vlasenko, Andrey; Michurov, Mihail.
Communications in Computer and Information Science. Том 1750 Springer Science and Business Media Deutschland GmbH, 2022. стр. 266-280 (Communications in Computer and Information Science; Том 1750 CCIS).Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
}
TY - GEN
T1 - Automated Debugging of Fragmented Programs in LuNA System
AU - Malyshkin, Victor
AU - Vlasenko, Andrey
AU - Michurov, Mihail
N1 - This work was carried out under state contract with ICMMG SB RAS 0251-2021-0005.
PY - 2022
Y1 - 2022
N2 - The LuNA system, which was created in ICMMG SB RAS, follows the approach of fragmented programming. The LuNA-program runs in parallel, but the programmer does not specify the behaviour of individual processes or threads when creating it. Instead, the user defines the content of computational fragments that may have dependencies on each other. Then, during the execution of the LuNA-program, the runtime system allocates independent computational fragments and distributes them to computing nodes and cores of the multicomputer.Some properties of the system play significant role, e.g. LuNA is the single assignment language and the execution order of operators in the subprogram body is undefined in general case. That is why LuNA-programs are characterized by specific errors. They are not peculiar neither to sequential programs, nor to parallel in classical technologies (MPI, OpenMP etc.) The paper contains classification of semantic errors that are specific for fragmented programs. The analysis of the various approaches applicability to automated debugging in the LuNA system is given. The paper also describes the operation principle of the tool created by the authors for detecting some popular fragmented program errors. The work of the tool is shown on the example of a test programs with different errors. Since the debugging tool is based on a “post-mortem” analysis, it is important to evaluate overhead. The evaluation results are also given in the paper. The directions of further work are described.
AB - The LuNA system, which was created in ICMMG SB RAS, follows the approach of fragmented programming. The LuNA-program runs in parallel, but the programmer does not specify the behaviour of individual processes or threads when creating it. Instead, the user defines the content of computational fragments that may have dependencies on each other. Then, during the execution of the LuNA-program, the runtime system allocates independent computational fragments and distributes them to computing nodes and cores of the multicomputer.Some properties of the system play significant role, e.g. LuNA is the single assignment language and the execution order of operators in the subprogram body is undefined in general case. That is why LuNA-programs are characterized by specific errors. They are not peculiar neither to sequential programs, nor to parallel in classical technologies (MPI, OpenMP etc.) The paper contains classification of semantic errors that are specific for fragmented programs. The analysis of the various approaches applicability to automated debugging in the LuNA system is given. The paper also describes the operation principle of the tool created by the authors for detecting some popular fragmented program errors. The work of the tool is shown on the example of a test programs with different errors. Since the debugging tool is based on a “post-mortem” analysis, it is important to evaluate overhead. The evaluation results are also given in the paper. The directions of further work are described.
KW - Automated debugging
KW - Fragmented programs
KW - LuNA system
KW - Post-mortem analysis
UR - https://www.scopus.com/inward/record.url?eid=2-s2.0-85146697150&partnerID=40&md5=681de7c7018439188fce7835006954e4
UR - https://www.mendeley.com/catalogue/1e2c76b1-c6f2-37e2-8c1c-0f52b48f7795/
U2 - 10.1007/978-3-031-24145-1_22
DO - 10.1007/978-3-031-24145-1_22
M3 - Conference contribution
SN - 9783031241444
VL - 1750
T3 - Communications in Computer and Information Science
SP - 266
EP - 280
BT - Communications in Computer and Information Science
PB - Springer Science and Business Media Deutschland GmbH
ER -
ID: 45659981