Spin promela GPU

Question

我對使用Promela進行模型檢查的Spin進行了評估，但處理時間對我來說是一個問題。 我已經看到，我可以使用多核來改善計算，但GPU/Cuda支持如何加速計算？我可以這樣做嗎？

問候 阿德里安

Answer 1

GPU支持不包括在旋轉，而是一個活躍的研究領域。大多數速度太慢的SPIN問題也足以超過GPU上的本地內存。因此，需要使用CPU內存來存儲探索的狀態空間，然後存儲帶寬，GPU會增加任何計算速度。但是，如果你的狀態空間很小，那麼GPU可能適合使用;然而，Spin不包括這種支持。