多线程调用SCIP求解独立问题实例是否安全？

多线程调用SCIPsolve的安全性 #

完全独立的问题实例场景下，多线程调用SCIPsolve是安全的，仅需满足一个前提：每个线程操作完全独立的SCIP实例对象。
SCIP的核心求解逻辑没有全局共享的可变状态，只要不在多线程之间复用、修改同一个SCIP实例，就不会出现线程冲突、数据竞态之类的安全问题。

两类专用并行接口的适用场景说明 #

• SCIPsolveParallel：该接口的设计目标是多线程协同求解同一个问题实例，内部会实现线程间的剪枝信息、可行解共享，用来降低单个复杂问题的求解时间，不适合独立实例批量求解场景。
• SCIPsolveConcurrent：该接口的作用是在同一进程内启动多套不同配置的求解器，并行求解同一个问题实例，会优先返回最先得到的可行解/最优解，主要用来抵消单问题求解过程中的算法随机性波动，同样不适用于多个独立实例的批量求解。

批量求解独立实例的最佳实践 #

批量跑独立实例时不需要调用上述两个专用并行接口，直接在每个线程里单独完成SCIP实例创建、问题加载、SCIPsolve调用、实例释放的全流程即可，这种方案的资源调度更灵活，并发效率也更高。
如果你使用的是PySCIPOpt等封装接口，遵循同样的规则：每个线程初始化独立的模型对象，不要跨线程共享同一个模型。

内容的提问来源于stack exchange，提问作者DanZee