Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0f2858) | patch
SMPI: add option to inject a barrier before every collective call, to allow better...
authorAugustin Degomme <26892-adegomme@users.noreply.framagit.org>
Thu, 6 Oct 2022 22:18:04 +0000 (22:18 +0000)
committerAugustin Degomme <26892-adegomme@users.noreply.framagit.org>
Thu, 6 Oct 2022 22:18:04 +0000 (22:18 +0000)
commit755cb53034e37f0fce508150b0cea0203db9cb95
treeea4e2ca9622ce41602569d92108846ed8d047808tree | snapshot
parentf0f2858124626aef785eed4b482ebe723272bd28commit | diff
SMPI: add option to inject a barrier before every collective call, to allow better detection of dangerous patterns in MPI codes, triggering deadlocks more consistently. Activate it in -analyze mode, or with --cfg=smpi/colls-inject-barrier:true
src/smpi/bindings/smpi_pmpi_coll.cpp diff | blob | history
src/smpi/internals/smpi_config.cpp diff | blob | history
src/smpi/smpirun.in diff | blob | history
Clone of SimGrid repository with local patches