Causally Consistent Reversible Debugger for MPI Applications

dc.contributor.advisorVainikko, Eero, juhendaja
dc.contributor.advisorKuhn, Stefan Hermann, juhendaja
dc.contributor.authorMartens, Ott-Kaarel
dc.contributor.otherTartu Ülikool. Loodus- ja täppisteaduste valdkondet
dc.contributor.otherTartu Ülikool. Arvutiteaduse instituutet
dc.date.accessioned2023-09-01T07:11:15Z
dc.date.available2023-09-01T07:11:15Z
dc.date.issued2022
dc.description.abstractWriting programs for parallel computation is a process significantly more difficult than programming for sequential execution. Debugger tools are of use in multiple stages of software development including implementation, analysis and maintenance. Some sophisticated debuggers offer – in complement to generic debugging commands – reversible debugging commands, providing the ability to progress backwards in the program execution in some form. MPI (Message Passing Interface) is a widely used standard for developing parallel programs. In this thesis, the implementation of a causally debugger for MPI applications offering reversible debugging commands while being capable of maintaining causal consistency is presented. The debugger utilises a distributed independent checkpointing mechanism to record the execution of the MPI application and coordinated restore mechanism to support reversible debugging of the MPI application. To the best of the author’s knowledge, this is the first debugger for MPI implementing this kind of checkpointing mechanism to enable reversible debugging. The produced tool demonstrates the viability of this checkpoint-restore mechanism to enable reversible debugging for parallel computation.et
dc.identifier.urihttps://hdl.handle.net/10062/91934
dc.language.isoenget
dc.publisherTartu Ülikoolet
dc.rightsopenAccesset
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectReverse debugginget
dc.subjectMPIet
dc.subjectdistributed debugginget
dc.subjectcheckpointinget
dc.subjectparallel programminget
dc.subjectreversibilityet
dc.subject.othermagistritöödet
dc.subject.otherinformaatikaet
dc.subject.otherinfotehnoloogiaet
dc.subject.otherinformaticset
dc.subject.otherinfotechnologyet
dc.titleCausally Consistent Reversible Debugger for MPI Applicationset
dc.typeThesiset

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
MSc_Thesis_Ott_Kaarel_Martens.pdf
Size:
847.89 KB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description: