旋转 promela GPU

Question

我正在使用 Promela 评估 Spin 进行模型检查，但处理时间对我来说是个问题。 我已经看到我可以使用多核来改进计算但是 GPU/Cuda 支持来加速计算呢？我可以这样做吗？

问候 阿德里安

Answer 1

GPU 支持不包含在 Spin 中，但它是一个活跃的研究领域。大多数慢到足以寻求加速的 SPIN 问题也大到超过 GPU 上的本地内存。因此，需要使用 CPU 内存来存储探索的状态空间，然后内存带宽、CPU GPU 淹没了任何计算速度的增加。但是，如果您的状态空间很小，那么 GPU 可能适合使用；然而，Spin 不包含此类支持。