Probabilistic analysis of a network resource allocation algorithm