A Simple Mechanism for Efficient Barrier Synchronization in MIMD Machines