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 -