Synchronization elimination in the deposit model

The deposit message passing model is an effective target for communication code generated by data parallel compilers. This model separates data transfer from control, so the deposit model requires additional control communication to ensure that the memory on the remote node is ready to be overwritten. This control communication is generally provided by barrier synchronization. In some cases, the barrier is redundant and the synchronization can be piggy-backed on previous communication steps. This paper presents a data flow algorithm that determines which control barriers are redundant and can be eliminated.