多线程推理