server-based synchronizer for distributed apps