Proved resource allocation algorithm in Parlay multi-service environment