在 Z3 nix 版本中使用 OpenMP 的优势
Advantages of using OpenMP in Z3 nix version
我发现 Z3 可以使用 --noomp 从源代码构建，所以它 link 不支持 OpenMP。
使用 OpenMP 有什么好处。如果我使用标志 --noomp 求解过程会变慢吗？
谢谢
如果您从同一进程中的多个线程使用 Z3，请使用 OpenMP。否则，Z3 在没有 OpenMP 的情况下会更快。当您启用 OpenMP 时，它会使用锁来保护潜在的共享内存，但是如果您从不使用不同的线程（注意，同一上下文中的所有操作都应该在同一线程上进行，或者至少是序列化的），那么这些锁就是纯粹的开销。
我发现 Z3 可以使用 --noomp 从源代码构建，所以它 link 不支持 OpenMP。
使用 OpenMP 有什么好处。如果我使用标志 --noomp 求解过程会变慢吗？
谢谢
如果您从同一进程中的多个线程使用 Z3，请使用 OpenMP。否则，Z3 在没有 OpenMP 的情况下会更快。当您启用 OpenMP 时，它会使用锁来保护潜在的共享内存，但是如果您从不使用不同的线程（注意，同一上下文中的所有操作都应该在同一线程上进行，或者至少是序列化的），那么这些锁就是纯粹的开销。