加入了新的available_spots函数的模块(模块功能的正确性尚未验证)