US10652020B2 - Switching Data Sources During Rolling Upgrade of a Leader-Based Distributed Service with Minimal Disruptions