A Markov Model for Evaluating Synchronization Algorithms