Spin promela GPU

Question

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

向禤浩焯致敬

Answer 1

Spin中没有包含对GPU的支持，但这是一个活跃的研究领域。大多数慢到需要加速的旋转问题也足够大，足以超过GPU上的本地内存。因此，需要使用CPU内存来存储探索的状态空间，然后内存带宽、CPU <==>、GPU、swamp任何计算速度都会增加。然而，如果你的状态空间很小，那么GPU可能可以使用；然而，Spin不包括这样的支持。