added synchronization for gas pumps