[논문 리뷰] Efficient Modular Arithmetic for SIMD Devices

Wilke Trei|arXiv (Cornell University)|2013. 10. 10.

Numerical Methods and Algorithms인용 수 3

한 줄 요약

이 논문은 OpenCL를 사용하여 SIMD 장치, 특히 GPU에서 효율적인 모듈로 산술을 위한 알고리즘 최적화를 제시한다. 단일 데스크톱 시스템과 소비자용 GPU를 사용하여 192비트 모듈로 곱셈을 초당 30억 건 이상 수행하는 데 성공하였으며, 정수 인수 분해를 위한 타원곡선 방법(ECM)과 같은 암호학적 워크로드를 크게 가속화하였다.

ABSTRACT

This paper describes several new improvements of modular arithmetic and how to exploit them in order to gain more efficient implementations of commonly used algorithms, especially in cryptographic applications. We further present a new record for modular multiplications per second on a single desktop computer as well as a new record for the ECM factoring algorithm. This new results allow building personal computers which can handle more than 3 billion modular multiplications per second for a 192 bit module at moderate costs using modern graphic cards.

연구 동기 및 목표

• SIMD 아키텍처에서 모듈로 산술의 효율성을 향상시키고, 특히 암호학적 응용을 위한 것이다.
• GPU 기반 모듈로 산술에서 발생하는 성능 저하 요인, 예를 들어 분기 분열과 메모리 압력 문제를 해결하기 위한 것이다.
• 소비자용 GPU를 사용한 단일 데스크톱 시스템에서 모듈로 곱셈 처리량 기록을 경신하기 위한 것이다.
• GPU에서 저수준 산술과 메모리 접근 패턴을 최적화하여 고처리량 ECM 인수 분해를 가능하게 하기 위한 것이다.

제안 방법

• GPU 스트림 코어를 대상으로 하여 고도로 병렬화된 모듈로 산술 커널을 OpenCL로 구현한다.
• 다중 정밀도 모듈로 산술에서 임계 경로 지연을 줄이기 위해 새로운 캐리-선택 어댑터 설계를 적용한다.
• 레지스터 사용을 최적화하고 스레드 간 동기화를 피하여 SIMD 유닛에서 최대 병렬성을 확보한다.
• 데이터 종속성을 최소화하고 명령 수준 병렬성을 향상시키기 위해 모듈로 감소 기법을 도입한다.
• AMD GPU에서 스레드당 124레지스터 모델을 사용하여 주의 깊은 임시 공간 관리로 최대 510비트 산술을 지원한다.
• 192비트 모듈러스를 위해 몽고메리 감소와 최적화된 워드 수준 연산을 조합한 하이브리드 접근 방식을 활용한다.

실험 결과

연구 질문

• RQ1 SIMD GPU 아키텍처에서 고처리량 실행을 위해 모듈로 산술을 어떻게 최적화할 수 있는가?
• RQ2 GPU 기반 모듈로 곱셈에서 발생하는 주요 성능 저하 요인은 무엇이며, 이를 어떻게 완화할 수 있는가?
• RQ3 모듈로 감소 및 캐리 전파에 대한 알고리즘적 개선이 소비자용 GPU에서 처리량을 얼마나 향상시킬 수 있는가?
• RQ4 소비자용 GPU를 사용한 단일 데스크톱 시스템이 192비트 모듈로 곱셈을 초당 30억 건 이상 수행할 수 있는가?
• RQ5 레지스터 수와 메모리 계층 구조와 같은 아키텍처적 특징이 GPU에서 모듈로 산술 커널 성능에 미치는 영향은 어떠한가?

주요 결과

• 저자들은 AMD 레이디언 HD 5870 GPU에서 192비트 모듈로 곱셈을 분당 8억 4620만 건 이상 수행하여 새로운 기록을 수립하였다.
• 기본 구현 대비 코드 변경을 최소화하면서도 처리량이 11.2% 향상된 최적화된 구현을 달성하였다.
• 단일 시스템에 두 대의 AMD 레이디언 HD 5870 GPU를 사용하여 처리량이 약 30억 건의 모듈로 곱셈/초에 도달하였다.
• 시스템 비용은 두 대의 700달러 GPU와 주변 기기 포함하여 2000달러 이하였으며, 고성능 인수 분해를 접근 가능하게 하였다.
• 이전 시스템 대비 성능 대 비용 비율에서 2.64배 높은 성능을 기록하였다.
• 단일 GPU에서 192비트 모듈러스에 대해 10억 건 이상의 모듈로 곱셈/초를 돌파할 수 있으며, 향후 확장 가능성도 보유하고 있다.