Further Work on a Causally Consistent Reversible Debugger for MPI Applications

Abstract

Tagasipööratavad silurid, mis lubavad kasutajal liikuda tagurpidi programmi töövoos, saavad olla kasulikud programmi seest vigade leidmisel. Tagasipööratavusest võib aga veel rohkem kasu olla paralleelarvutustusi teostavate programmide silumisel, kuna nendes võivad esineda näiteks trügimised (ingl race condition) või tupikud (ingl deadlock), mis sageli ei ilmne igal käivitusel. Loodud silur on tehtud MPI (ingl Message Passing Interface) programmide jaoks, mis on praegune paralleelarvutuse standard. Tagasipööratavus implementeeritakse Linuxi keskkonnas kasutades kontrollpunkti ja taastamise meetodeid kasutajaruumis. Käesolevas töös antakse ülevaade kontrollpunktide loomise ja nendest taastamise meetoditest, ning kirjeldatakse edasiarendusi Martensi eelnevalt valminud magistritöö “Causally Consistent Reversible Debugger for MPI Applications”[1] rakenduses.