[논문 리뷰] A computation of D(9) using FPGA Supercomputing

Lennart Van Hirtum, Patrick De Causmaecker외 5명|arXiv (Cornell University)|2023. 04. 06.

Particle physics theoretical and experimental studies인용 수 7

한 줄 요약

이 논문은 Noctua 2 슈퍼클러스터에 맞춤형 FPGA 가속기를 사용하여 9번째 Dedekind 수 D(9) = 286386577668298411128469151667598498812366의 최초 계산을 제시한다. 이 방법은 단조 불리안 함수의 동치류를 활용하여 계산 복잡도를 감소시키며, 오류 검출 메커니즘을 갖춘 병렬화된 FPGA 처리를 통해 정확성을 확보한다. 이는 다중 일致성 검증과 이후 독립적인 프리프린트 확인을 통해 검증되었다.

ABSTRACT

This preprint makes the claim of having computed the $9^{th}$ Dedekind Number. This was done by building an efficient FPGA Accelerator for the core operation of the process, and parallelizing it on the Noctua 2 Supercluster at Paderborn University. The resulting value is 286386577668298411128469151667598498812366. This value can be verified in two steps. We have made the data file containing the 490M results available, each of which can be verified separately on CPU, and the whole file sums to our proposed value.

연구 동기 및 목표

• D(9)를 계산하는 것. 이는 이중 지수 복잡도로 인해 여전히 알려진 바 중 가장 큰 Dedekind 수이기 때문이다.
• 단조 불리안 함수의 동치류를 통한 대칭성 감소를 통해 브루트 포스 순열의 계산 불가능성을 극복하는 것.
• 핵심 PCoeff 계산을 위한 고성능 FPGA 가속기를 설계하고 배포하여 슈퍼클러스터에서 확장 가능한 병렬 처리를 가능하게 하는 것.
• 모듈러 산술 검사, 데이터 무결성 모니터링, CPU 기반 결과와의 교차 검증을 포함한 다중 검증 레이어를 통해 정확성을 확보하는 것.
• 독립적 검증을 위한 검증 가능하고 오픈소스 구현 및 데이터셋을 제공하는 것.

제안 방법

• 계산은 PCoeff 공식의 재작성된 버전을 사용하여, D(n)에서 R(n)으로 항의 수를 감소시켜 효율성을 크게 향상시킨다.
• 시스템은 4억 9,000만 개의 상위 수준 반체인(α)을 15,000개의 작업으로 분할하여, PCIe 데이터 전송을 통해 FPGA에서 병렬 처리한다.
• 각 α에 대해, FPGA는 모든 5,040개의 순열(γ)을 계산하고, 연결자 수 Cα,γ를 계산한 후, 모든 순열에 대해 2^Cα,γ의 합을 구해 PCoeff를 계산한다.
• FPGA 커널은 128비트 및 192비트 정수 산술을 최적화하였으며, PCIe 데이터 손상 여부를 식별하기 위해 '유효한 순열 수'를 통한 고유 오류 검출 메커니즘을 구현하였다.
• 시스템은 체크섬 메커니즘을 포함한다: 4억 9,000만 개의 중간 결과를 모두 합하면 D(8)이 되며, 이는 알려진 값과 일치하여 데이터 무결성이 확인된다.
• SEU로 인한 비트 플립 위험을 줄이기 위해, 결과의 이중 확인 및 오류 발생 시 우선순위 결정 기법을 사용하는 두 번째 독립 실행을 수행하였다.

실험 결과

연구 질문

• RQ1 FPGA 기반 병렬 처리를 통해 D(9) 계산이 타당한 시간 및 메모리 제약 내에서 수행될 수 있는가?
• RQ2 PCoeff 공식에 대해 동치류 R(n)를 통한 대칭성 감소를 어떻게 효과적으로 적용하여 계산 복잡도를 감소시킬 수 있는가?
• RQ3 대규모 FPGA 기반 슈퍼컴퓨팅에서 주요 오류 원인은 무엇이며, 이를 어떻게 감지하고 완화할 수 있는가?
• RQ4 맞춤형 FPGA 가속기가 하드웨어 수준의 비트 플립 및 PCIe 전송 버그에도 불구하고 D(9)를 신뢰성 있게 계산할 수 있는 충분한 처리량과 정확도를 달성할 수 있는가?
• RQ5 이러한 대규모 계산의 정확성은 어떻게 독립적이고 투명하게 검증할 수 있는가?

주요 결과

• 9번째 Dedekind 수는 D(9) = 286386577668298411128469151667598498812366로 계산되었으며, 4억 9,000만 개의 중간 결과 합과 다중 일치성 검증을 통해 확인되었다.
• FPGA 기반 계산은 각 FPGA당 초당 약 150만 건의 PCoeff 평가를 기록하여, 약 47,000 FPGA 시간 내에 4억 9,000만 개의 α 값 처리를 달성하였다.
• 이전에 알려지지 않은 PCIe 라이브러리 버그로 인해 약 2,300개의 작업에서 데이터 손상이 발생하였으며, '유효한 순열 수' 검증을 통해 감지되었고, 중복 검증을 통해 수정되었다.
• 모듈러 검사 D(9) ≡ 6 mod 210를 통과하여, 128/192비트 산술 중 정수 오버플로우가 발생하지 않았음을 확인하였다.
• Korshunov 추정 공식은 D(9) ≈ 1.15×10^41를 예측하였으며, 실제 값과 요비의 2배 이내이므로 계산 결과가 기대되는 범위 내에 있음을 시사한다.
• 2023년 4월 4일에 발표된 독립적인 프리프린트가 동일한 결과를 확인하여 계산의 정확성을 검증하였다.