摘要：# python multiprocessing库使用记录 需求是想并行调用形式化分析工具proverif，同时发起对多个query的分析（378个）。实验室有40核心80线程的服务器（双cpu，至强gold 5218R*2)。 观察到单个命令在分析时内存占用不大，且只使用单核心执行，因此考虑同时调 阅读全文