[논문 리뷰] Towards Massively Parallel Computations in Algebraic Geometry

Janko Boehm, Wolfram Decker외 4명|arXiv (Cornell University)|2018. 08. 29.

Polynomial and algebraic computation참고 문헌 32인용 수 7

한 줄 요약

이 논문은 기하학적 다항식의 기하학적 계산을 위해 GPI-Space(페트리 넷 기반)를 사용하여 조정과 계산을 분리함으로써 대규모 병렬 계산을 위한 새로운 프레임워크를 제안한다. 이 방법은 병렬적으로 최적의 차수 커버링을 동적으로 선택하여, 순차적 방법에 비해 메모리 사용량과 계산 시간을 크게 감소시키며 초선형적 성능 향상을 달성한다. 이는 일반 유형의 복잡한 표면에서 입증되었다.

ABSTRACT

Introducing parallelism and exploring its use is still a fundamental challenge for the computer algebra community. In high performance numerical simulation, on the other hand, transparent environments for distributed computing which follow the principle of separating coordination and computation have been a success story for many years. In this paper, we explore the potential of using this principle in the context of computer algebra. More precisely, we combine two well-established systems: The mathematics we are interested in is implemented in the computer algebra system Singular, whose focus is on polynomial computations, while the coordination is left to the workflow management system GPI-Space, which relies on Petri nets as its mathematical modeling language, and has been successfully used for coordinating the parallel execution (autoparallelization) of academic codes as well as for commercial software in application areas such as seismic data processing. The result of our efforts is a major step towards a framework for massively parallel computations in the application areas of Singular, specifically in commutative algebra and algebraic geometry. As a first test case for this framework, we have modeled and implemented a hybrid smoothness test for algebraic varieties which combines ideas from Hironaka's celebrated desingularization proof with the classical Jacobian criterion. Applying our implementation to two examples originating from current research in algebraic geometry, one of which cannot be handled by other means, we illustrate the behavior of the smoothness test within our framework, and investigate how the computations scale up to 256 cores.

연구 동기 및 목표

• 순차적 처리의 한계를 넘어서 기하학적 다항식 계산의 확장성을 해결하기 위해.
• 핵심 코드를 수정하지 않고도 컴퓨터 대수 시스템 내에서 투명하고 비침습적인 병렬 처리를 가능하게 하기 위해.
• 특히 페트리 넷을 통한 워크플로우 조정을 통해 분산 계산 모델의 강점을 기하학적 수학 계산에 활용하기 위해.
• 히로나카의 정규화 전략과 야코비안 기준을 융합한 하이브리드 부드러움 테스트를 개발하고 평가하기 위해.
• 실제 연구 문제, 특히 기존 도구로는 해결이 어려운 문제들에 대해 이 프레임워크의 실현 가능성과 성능 이점을 입증하기 위해.

제안 방법

• 분산 환경에서 다수의 독립적인 Singular 컴퓨터 대수 시스템 인스턴스를 조율하기 위해 워크플로우 관리 시스템인 GPI-Space를 사용한다.
• 데이터 및 작업 병렬성을 보장하기 위해 병렬 계산을 페트리 넷으로 모델링하고, 자동 로드 밸런싱과 장애 내성 기능을 제공한다.
• 히로나카의 정규화 전략을 고전적 야코비안 기준과 함께 적용하는 하이브리드 부드러움 테스트를 구현한다.
• 각 코어가 환경 프로젝티브 공간의 다른 아핀 차수를 평가하는 방식으로 최대 256개의 코어를 활용해 대규모 병렬 방식으로 알고리즘을 실행한다.
• 모든 가능한 커버링을 병렬적으로 탐색하여 부드러움 검증에 가장 효율적인 차수 조합을 동적으로 선택한다.
• 실제 단계별 실행 시간을 기반으로 한 합성 시뮬레이션을 사용하여 스케일링 행동을 예측하고 검증한다.

실험 결과

연구 질문

• RQ1 비침습적, 조정 기반 접근 방식이 기하학적 기하학 계산의 기호 계산에서 확장 가능한 병렬 처리를 가능하게 할 수 있는가?
• RQ2 복잡한 기하학적 다양체에서 하이브리드 부드러움 테스트가 순차적 방법에 비해 메모리 효율성과 실행 시간 측면에서 얼마나 뛰어나게 성능을 발휘할 수 있는가?
• RQ3 차수 기반 병렬 알고리즘의 부드러움 테스트 맥락에서 초선형적 성능 향상은 무엇에 기인하는가?
• RQ4 다양체의 기하학적 구조가 병렬 알고리즘의 성능과 로드 밸런싱에 어떤 영향을 미치는가?
• RQ5 페트리 넷 기반 워크플로우 시스템이 기호 계산에서 최적의 계산 경로를 자동으로 탐색할 수 있는가?

주요 결과

• 하이브리드 부드러움 테스트는 표준 프로젝티브 야코비안 기준으로 처리할 경우 머신의 384 GB RAM 제한을 초과하는 수치적 고데오 표면의 부드러움을 성공적으로 계산하였다.
• 내림내림 후 개별 야코비안 계산에서 최대 3.1 GB의 RAM만을 사용하여 높은 메모리 효율성을 입증하였다.
• 256개의 코어에서 알고리즘은 2,460초의 실행 시간을 기록하여 하드웨어 대역폭 향상과 알고리즘 기반 로드 밸런싱로 인해 초선형적 성능 향상을 보였다.
• 16개의 코어에서는 53,000초, 256개의 코어에서는 2,460초가 소요되어 21배 이상의 속도 향상 요인을 기록하였다.
• 알고리즘 행동의 시뮬레이션 결과는 실제 성능과 밀도 있게 일치하여 모델의 예측 능력을 검증하였다.
• 128개의 코어를 초과하면 더 이상 유의미한 성능 향상이 관찰되지 않았으며, 남은 하위차수 수(115개)가 확장성의 이론적 한계를 확인시켰다.