Synchronous update-alternatives