스핀 프로 메라 GPU

Question

모델 검사를 위해 Promela를 사용하여 스핀을 측정하고 있지만 처리 시간이 문제입니다. 멀티 코어를 사용하여 계산을 향상시킬 수 있지만 계산 속도를 높이기 위해 GPU/Cuda 지원은 어떻게해야합니까? 이걸 내가 할 수 있을까?

관련

Answer 1

GPU 지원 스핀에 포함되어 있지만, 연구의 활성 영역입니다되지 아드리안. 속도를 높이기에 충분히 느린 대부분의 SPIN 문제는 GPU의 로컬 메모리를 초과 할만큼 충분히 큽니다. 결과적으로 CPU 메모리는 탐색 된 상태 공간을 저장 한 다음 메모리 대역폭 인 CPU < ==> GPU를 사용하여 계산 속도가 증가합니다. 그러나 주 공간이 작 으면 GPU를 사용하는 것이 좋습니다. 그러나 Spin에는 이러한 지원이 포함되지 않습니다.