An efficient algorithm called batched patch pre-caching (BPP) was proposed, which tightly combined the server scheduling with proxy caching strategies.