[논문 리뷰] ParFORM: Parallel Version of the Symbolic Manipulation Program FORM

M. Tentyukov, D. Fliegner외 5명|ArXiv.org|2004. 07. 30.

Parallel Computing and Optimization Techniques참고 문헌 2인용 수 8

한 줄 요약

ParFORM는 양자장론에서 거대한 대수적 표현을 처리하는 데 속도를 높이기 위해 설계된 기호 연산 프로그램 FORM의 병렬화된 버전이다. MPI를 활용한 마스터-슬레이브 아키텍처를 통해 다중 프로세서 시스템에서 거의 선형적인 성능 향상을 달성하여, 4-루프 파인만 도형 축소와 같은 복잡한 계산의 벽계 시간을 월에서 주로 단축시킨다.

ABSTRACT

After an introduction to the sequential version of FORM and the mechanisms behind, we report on the status of our project of parallelization. We have now a parallel version of FORM running on Cluster- and SMP-architectures. This version can be used to run arbitrary FORM programs in parallel.

연구 동기 및 목표

• 양자장론에서 대규모 기호 연산을 효율적으로 병렬 실행할 수 있도록 하는 것.
• 수십억 개의 항을 처리할 때 순차적 FORM의 성능 저하 문제를 해결하는 것.
• 기존 FORM 프로그램에 수정이 필요 없는 투명한 병렬화 계층을 개발하는 것.
• 계산이 매우 집약적인 물리 응용 분야에서 SMP 및 클러스터 아키텍처에서 고성능 향상을 달성하는 것.
• 4-루프 적분 축소를 위한 BAICER 패키지와 같은 실제 응용 프로그램을 지원하는 것.

제안 방법

• 마스터는 입력 항을 슬레이브 프로세서에 분배하고, 정렬된 출력 스트림을 병합하는 마스터-슬레이브 병렬화 모델을 채택했다.
• 공유 메모리(SMP) 및 분산 메모리(클러스터) 아키텍처를 모두 지원하기 위해 MPI를 메시지 전달 수 Mittel로 사용했다.
• FORM이 국소 항 연산을 내재적으로 지원함에 따라 각 항을 프로세서 간에 독립적으로 처리할 수 있도록 활용했다.
• 기존 FORM 프로그램이 병렬 모드에서 수정 없이 실행 가능하도록 후행 호환성을 유지했다.
• 사용 가능한 프로세서에 따라 입력 항을 균일하게 분배하여 유휴 시간을 최소화함으로써 동적 로드 밸런싱을 구현했다.
• 스피드업 측정을 이중 프로세서 성능 기준으로 정규화하여 확장성과 효율성을 평가했다.

실험 결과

연구 질문

• RQ1 FORM의 내부 아키텍처는 국소 항 연산만 지원하지만, 이는 확장 가능한 병렬 실행을 자연스럽게 확장할 수 있는가?
• RQ2 기존 FORM 프로그램을 수정 없이 병렬로 실행할 수 있는 정도는 어느 정도이며, 프로세서 수가 증가함에 따라 성능은 어떻게 스케일링되는가?
• RQ3 현대의 SMP 및 클러스터 시스템에서 실제 고에너지 물리 계산에 대해 어느 정도의 스피드업을 달성할 수 있는가?
• RQ4 메시지 전달 및 데이터 분배의 오버헤드가 프로세서 수가 증가함에 따라 성능에 어떤 영향을 미치는가?
• RQ5 ParFORM는 이전에는 불가능시였던 계산, 예를 들어 4-루프 파인만 도형 축소를 실질적인 벽계 시간 내에 수행할 수 있는가?

주요 결과

• Compaq-AlphaServer(8개의 EV67 프로세서)에서 ParFORM는 8개 프로세서까지 거의 선형적인 스피드업을 달성하여 거대한 기호 표현에 대해 강력한 확장성을 입증했다.
• SGI Altix 3700 서버(32개의 Itanium2 프로세서)에서 ParFORM는 16개 프로세서에서 스피드업 10을 달성하여 1년이 걸리는 계산을 1개월 이내로 단축시켰다.
• 16개 프로세서를 초과해도 스피드업이 유의미하게 유지되었으며, 32개 프로세서에서 12배의 스피드업을 기록하여 효과적인 로드 분배와 낮은 통신 오버헤드를 확인했다.
• 32-프로세서 머신에서 두 개의 동시 작업이 가능했으며, 각각 스피드업 10을 달성하여 생산 수준의 물리 워크플로우에서의 실용성을 입증했다.
• 실제 응용 분야인 4-루프 적분 축소를 위한 BAICER 패키지는 ParFORM 덕분에 비로소 가능해졌으며, 이는 고에너지 물리 연구에 미친 영향을 강조한다.
• 기존 FORM 프로그램에 대한 코드 수정 없이도 병렬 모드에서 실행 가능했으며, 이는 ParFORM 설계의 투명성과 후행 호환성을 확인한다.