A Distributed Algorithm for Efficient and Scalable Resource Booking Management