多线程售票系统（包含三种常见的线程安全策略）