Semantisches Browsen
Aus International Center for Computational Logic
The widely used Message Passing Interface … The widely used Message Passing Interface (MPI) with its multitude of communication functions is prone to usage errors. Runtime error detection tools aid in the removal of these errors. We develop MUST as one such tool that provides a wide variety of automatic correctness checks. Its correctness checks can be run in a distributed mode, except for its deadlock detection. This limitation applies to a wide range of tools that either use centralized detection algorithms or a timeout approach. In order to provide scalable and distributed deadlock detection with detailed insight into deadlock situations, we propose a model for MPI blocking conditions that we use to formulate a distributed algorithm. This algorithm implements scalable MPI deadlock detection in MUST. Stress tests at up to 4,096 processes demonstrate the scalability of our approach. Finally, overhead results for a complex benchmark suite demonstrate an average runtime increase of 34% at 2,048 processes.untime increase of 34% at 2,048 processes. +
@inproceedings{HSNPBM2013,
author = {Tobias Hilbrich and Bronis R. de Supinski and Wolfgang E. Nagel
and Joachim Protze and Christel Baier and Matthias S.
M{\"{u}}ller},
title = {Distributed wait state tracking for runtime {MPI} deadlock
detection},
booktitle = {Proc. of the International Conference for High Performance
Computing, Networking, Storage and Analysis (SC)},
publisher = {ACM},
year = {2013},
pages = {16:1--12},
doi = {10.1145/2503210.2503237}
}
author = {Tobias Hilbrich and Bronis R. de Supinski and Wolfgang E. Nagel
and Joachim Protze and Christel Baier and Matthias S.
M{\"{u}}ller},
title = {Distributed wait state tracking for runtime {MPI} deadlock
detection},
booktitle = {Proc. of the International Conference for High Performance
Computing, Networking, Storage and Analysis (SC)},
publisher = {ACM},
year = {2013},
pages = {16:1--12},
doi = {10.1145/2503210.2503237}
}
Proc. of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC) +
Hilbrich +
Tobias +
Tobias Hilbrich, Bronis R. de Supinski, Wo … Tobias Hilbrich, Bronis R. de Supinski, Wolfgang E. Nagel, Joachim Protze, Christel Baier, Matthias S. Müller<br/> '''[[Inproceedings1891207442|<b>Distributed wait state tracking for runtime MPI deadlock detection</b>]]''' <br/>__NOTOC__<i>Proc. of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC)</i>, 16:1--12, 2013. ACM<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings1891207442|Details]]edings1891207442|Details]] +
Tobias Hilbrich, Bronis R. de Supinski, Wo … Tobias Hilbrich, Bronis R. de Supinski, Wolfgang E. Nagel, Joachim Protze, Christel Baier, Matthias S. Müller<br/> '''[[Inproceedings1891207442/en|<b>Distributed wait state tracking for runtime MPI deadlock detection</b>]]''' <br/>__NOTOC__<i>Proc. of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC)</i>, 16:1--12, 2013. ACM<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings1891207442|Details]]edings1891207442|Details]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Distributed wait state tracking for runtime MPI deadlock detection +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
5. März 2025, 13:41:20 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Distributed wait state tracking for runtime MPI deadlock detection +, Distributed wait state tracking for runtime MPI deadlock detection +, Distributed wait state tracking for runtime MPI deadlock detection +, Distributed wait state tracking for runtime MPI deadlock detection +, Distributed wait state tracking for runtime MPI deadlock detection +, Distributed wait state tracking for runtime MPI deadlock detection +, Distributed wait state tracking for runtime MPI deadlock detection +, Distributed wait state tracking for runtime MPI deadlock detection +, Distributed wait state tracking for runtime MPI deadlock detection + und Distributed wait state tracking for runtime MPI deadlock detection +