Accelerating distributed protocols with clock synchronization