从最小记账实验到完整有界工作队列，说明join与empty的差别、预期失败结果、停止信号以及TaskGroup管理消费者退出。