We further develop methods for synchronization and flow control that guarantee
deadlock-free communication, both of which are essential to communication performance.
We demonstrate that communication analysis and pattern-based code replacement
around collectives and other code regions of benchmarks allow the elimination
flow control in a safe but conservative manner.