如何在32位Windows XP上使用Z3

Question

最近，我尝试在32位windows xp上使用z3，当我使用java api加载z3dll时，它抛出错误信息如下： WindowsError：[错误998]对内存位置的访问无效。

我注意到，由于线程本地存储，Z3不支持Windows XP。我想知道有没有办法让z3适应windows xp。

Answer 1

是的，有办法，但可能需要付出相当大的努力。线程本地存储用于跟踪每个线程的内存分配大小，否则这些大小必须被锁定，即。它会慢得多。如果您不需要任何多线程，您当然可以删除该部分（请参阅memory_manager.cpp）。但是，在此之后不能保证没有任何其他XP特定问题;我们不再在XP上测试任何东西了。

另请注意，对XP的支持已在全球范围内结束（所有Microsoft，而不仅仅是Z3）。

Answer 2

我刚刚在memory_manager.cpp中禁用了'_USE_THREAD_LOCAL'宏的if语句并重建。它工作正常，现在可以在Windows XP上加载。