Optimistic Management of Concurrency: A Probabilistic Study of the Pilgrim Protocol -- A