Skip to content

SMPI: add option to inject a barrier before every collective call, to allow...

Augustin Degomme requested to merge adegomme-master-patch-91657 into master

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

Merge request reports