Relaxed Barrier Synchronization for the BSP Model of Computation on Message-Passing Architectures