[논문 리뷰] Quality Up in Polynomial Homotopy Continuation by Multithreaded Path Tracking

Jan Verschelde, Genady Yoffe|arXiv (Cornell University)|2011. 09. 02.

Polynomial and algebraic computation참고 문헌 12인용 수 4

한 줄 요약

이 논문은 다중 코어를 활용해 쌍중정수 산술의 계산 비용을 상쇄함으로써 해의 정밀도를 향상시키는 다중 스레드 경로 추적기의 다항호모토피 연속 기법을 제시한다. 다항식 평가와 뉴턴 반복에서의 병렬성을 활용함으로써 상당한 속도 향상과 정밀도 향상을 달성하였으며, 차수 20의 다항식에 대해 8코어에서 최대 7.57배의 속도 향상을 입증하였다. 이는 특이점과 불안정한 조건을 가진 시스템에서 필수적인 고정밀도 해를 가능하게 한다.

ABSTRACT

Speedup measures how much faster we can solve the same problem using many cores. If we can afford to keep the execution time fixed, then quality up measures how much better the solution will be computed using many cores. In this paper we describe our multithreaded implementation to track one solution path defined by a polynomial homotopy. Limiting quality to accuracy and confusing accuracy with precision, we strive to offset the cost of multiprecision arithmetic running multithreaded code on many cores.

연구 동기 및 목표

• 다항호모토피 연속에서 다중정밀도 산술의 높은 계산 비용을 해결한다. 특히 고정밀도 해에 대해 중점을 둔다.
• 쌍중정수 산술의 성능 오버헤드를 상쇄하기 위해 다수의 코어를 활용하여 해의 정밀도를 향상시킨다.
• 다항식 평가가 계산을 지배하는 시스템, 특히 고차수 또는 불안정한 조건을 가진 문제에 대해 경로 추적을 최적화한다.
• 정칙화를 통한 고립된 특이점의 효율적 계산을 가능하게 하며, 이는 고정밀도 도함수와 다중 스레딩을 필요로 한다.
• 다중 스레딩이 최적의 속도 향상과 정밀도 향상을 제공하는 차원과 차수의 임계값을 설정한다.

제안 방법

• 공유 메모리 다중코어 시스템에서 pthreads를 사용해 다중 스레드 경로 추적기를 구현하여 다항식 평가 및 뉴턴 반복 단계를 병렬화한다.
• 쌍중정수 산술(QD-2.3.9)을 사용해 고정밀도 해를 달성하며, 이를 병렬성으로 상쇄할 수 있는 비용으로 간주한다.
• 자기적 미분 기법을 적용해 자코비안 행렬에 필요한 모든 도함수를 효율적으로 계산함으로써 도함수 평가 비용을 감소시킨다.
• 스피엘펜닝의 예제를 활용한 재귀적 단항식 곱셈 계산 기법을 적용해 희박한 다항식의 평가를 빠르게 한다.
• 계속성 파라미터 t를 특수 변수로 취급해 오버헤드를 줄이며, 일반 변수로 취급하는 것에 비해 성능을 약 3배 향상시켰다.
• 선형 외삽을 사용해 정밀도 향상 요소를 추정하며, 이는 고정된 실행 시간 내에서 p개 코어에서의 정확한 소수 자릿수와 1개 코어에서의 소수 자릿수 비율로 정의된다.

실험 결과

연구 질문

• RQ1 다항호모토피 연속에서 다수의 코어를 사용해 고정밀도 해를 계산할 때 정밀도 향상 요소는 어느 정도 달성될 수 있는가?
• RQ2 다중 스레딩이 쌍중정수 산술을 사용한 경로 추적에서 최적의 속도 향상을 제공하는 문제의 차원과 차수는 무엇인가?
• RQ3 고차수 다항식에 대해 다중 스레드 다항식 평가의 성능은 기존 단일 스레드 평가에 비해 어떻게 비교되는가?
• RQ4 다중 스레딩이 뉴턴 방법의 경로 추적에서 고정밀도 산술의 계산 부담을 효과적으로 줄일 수 있는가?
• RQ5 다중 스레드 환경에서 다항식 및 도함수 평가 최적화가 전체 경로 추적 성능 향상에 얼마나 기여하는가?

주요 결과

• 차수 20의 40차원 시스템에서 다중 스레드 경로 추적기는 8코어에서 7.567배의 속도 향상을 기록하여 뛰어난 확장성을 보였다.
• 차수 10의 20차원 시스템에서 8스레드로 7.327배의 속도 향상을 달성하였으며, 이는 고차수 다항식이 병렬성으로 더 많은 이점을 얻음을 시사한다.
• 20x20 시스템에서 차수 5 다항식에 대해 새로운 다항식 평가 알고리즘이 실행 시간을 8.59배 감소시켰으며, t 처리 오버헤드를 고려한 순수 속도 향상은 2.85배였다.
• 40x40 시스템에서 차수 20 다항식에 대해 새로운 평가 방법은 이전 방법 대비 15.56배의 속도 향상을 기록하였으며, t 처리 비용을 보정한 순수 속도 향상은 5.19배였다.
• 정밀도 향상 요소는 코어 수에 대해 선형으로 추정되었으며, 최적 조건에서 p개 코어에서 p의 정밀도 향상 요소를 달성할 수 있는 잠재력이 있었다.
• 속도 향상이 양호한 임계 차원은 다항식 차수에 따라 증가하며, 저차수 시스템에서는 가우스 소거법 비용이 더 중요해지기 때문이다.