redis_reservation python implementation