Efficient dynamic verification algorithms for MPI applications

Update Item Information
Publication Type dissertation
School or College College of Engineering
Department Computing
Author Vakkalanka, Sarvani
Title Efficient dynamic verification algorithms for MPI applications
Date 2010
Description The Message Passing Interface (MPI) Application Programming Interface (API) is widely used in almost all high performance College of Engineering; applications. Yet, conventional debugging tools for MPI suffer from two serious drawbacks: they cannot prevent the exponentially growing number of redundant schedules from being explored; and they cannot prevent the processes from being locked into a small subset of schedules, unfortunately often reaching the potentially buggy schedules only when programs are ported to new platforms.
Type Text
Publisher University of Utah
Subject Dynamic verification; MPI; Testing
Subject LCSH Computer programs - Verification
Dissertation Institution University of Utah
Dissertation Name PhD
Language eng
Rights Management ©Sarvani Vakkalanka
Format Medium application/pdf
Format Extent 4,338,514 bytes
Source Original in Marriott Library Special Collections, QA3.5 2010 .V34
ARK ark:/87278/s65b0h15
Setname ir_etd
ID 192934
Reference URL https://collections.lib.utah.edu/ark:/87278/s65b0h15