[논문 리뷰] QParallel: Explicit Parallelism for Programming Quantum Computers

Thomas Häner, Vadym Kliuchnikov외 3명|arXiv (Cornell University)|2022. 10. 07.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

QParallel는 암시적 병렬성의 모호성과 공간-시간 트레이드오프를 위한 세밀한 제어를 해결하기 위해 Q# 기반의 언어 확장으로, 명시적 병렬성을 가능하게 한다. 프로그래머가 병렬 영역을 명시적으로 표시함으로써, 회로 깊이를 최대 q 배까지 줄이고, 핵심 경로에서의 순차적 종속성을 제거함으로써 성능을 향상시킨다. 다중 제어 NOT 게이트와 양자 가산기와 같은 벤치마크에서 이를 입증하였다.

ABSTRACT

We present a language extension for parallel quantum programming to (1) remove ambiguities concerning parallelism in current quantum programming languages and (2) facilitate space-time tradeoff investigations in quantum computing. While the focus of similar libraries in the domain of classical computing (OpenMP, OpenACC, etc.) is to divide a computation into multiple threads, the main goal of QParallel is to keep the compiler and the runtime system from introducing parallelism-inhibiting dependencies, e.g., through reuse of qubits in automatic qubit management. We describe the syntax and semantics of the proposed language extension, implement a prototype based on Q#, and present several examples and use cases to illustrate its performance benefits. Moreover, we introduce a tool that guides programmers in the placement of parallel regions by identifying the subroutines that profit most from parallelization, which is especially useful if the programmer's knowledge of the source code is limited. Support for QParallel can be added to any multithreading library and language extension, including OpenMP and OpenACC.

연구 동기 및 목표

• 현재의 양자 프로그래밍 언어에서 암시적 병렬성의 모호성과 제어 부족 문제를 해결한다.
• 프로그래머가 병렬 실행을 명시적으로 관리할 수 있도록 하여, 양자 회로 컴파일 과정에서 공간-시간 트레이드오프에 영향을 줄 수 있도록 한다.
• 큐비트 재사용이 의도하지 않은 순차적 종속성을 유도하지 않도록 하여, 회로 깊이를 줄이고 성능을 향상시킨다.
• 명시적이고 컴파일러 友好的한 병렬성을 통해 수천 개의 큐비트와 수백만 개의 게이트를 포함하는 대규모 양자 프로그램을 지원한다.
• 프로파일링 및 시각화 도구를 통해 프로그래머가 성능에 영향을 미치는 하위 서브루틴을 식별할 수 있도록 한다.

제안 방법

• OpenMP를 영감으로 삼아 Q# 기반의 언어 확장을 설계하여, 새로운 문법을 사용해 병렬 영역을 명시적으로 선언할 수 있도록 한다.
• 기존의 자원 추정 및 추적 인fra를 Q#과 통합하여 성능 분 析를 가능하게 한다.
• speedscope 호환 플레임 그래프 시각화를 사용해 양자 프로그램의 핵심 경로와 성능 저하 요인을 식별한다.
• Q# 트레이서를 수정하여 speedscope에서 사용 가능한 형식으로 성능 데이터를 출력함으로써 실행 타임라인의 시각화를 가능하게 한다.
• 실제 양자 알고리즘(예: 다중 제어 NOT, 양자 가산기)에 언어 확장을 적용하여 깊이 감소와 성능 향상을 측정한다.
• 자원 사용을 분 析하고 핵심 경로 상의 서브루틴을 강조하는 도구를 도입하여, 명시적 병렬화를 적용할 위치를 안내한다.

실험 결과

연구 질문

• RQ1 명시적 병렬성은 암시적 병렬성과 비교해 양자 프로그래밍에서 회로 깊이를 어떻게 줄이고 성능을 향상시킬 수 있는가?
• RQ2 명시적 병렬성은 큐비트 재사용으로 인한 의도하지 않은 순차적 종속성이 양자 회로에서 발생하는 것을 어떻게 방지하는가?
• RQ3 프로그래머가 코드베이스에 대해 제한된 지식을 가진 상황에서, 시각화 기반 도구가 성능에 영향을 미치는 하위 서브루틴을 식별하는 데 얼마나 효과적인가?
• RQ4 대규모 양자 프로그램에서 프로그래머가 제어하는 병렬 영역을 통해 공간-시간 트레이드오프를 얼마나 최적화할 수 있는가?
• RQ5 명시적 병렬성은 고게이트 수와 큐비트 요구량이 높은 양자 회로의 자원 추정 및 컴파일 과정에 어떻게 영향을 미치는가?

주요 결과

• QParallel의 명시적 병렬성은 핵심 경로에서 순차적 종속성을 제거함으로써 다중 제어 NOT 게이트의 T-depth를 43 사이클에서 7 사이클로 줄였다.
• N개의 가산기를 q개의 완전히 병렬화된 가산기로 블록 처리함으로써 QParallel는 회로의 T-depth를 q 배 줄여 상당한 깊이 감소를 입증했다.
• QParallel를 speedscope와 통합함으로써 핵심 경로의 시각화가 가능해졌고, 이로 인해 암시적 병렬성이 큐비트 재사용으로 인해 낮은 깊이의 연산들이 순차적으로 실행되는 경향이 있음을 밝혀냈다.
• 핵심 서브루틴을 식별하는 도구는 프로그래머가 코드베이스에 대한 지식이 제한된 상태에서도 높은 영향을 미치는 영역을 정확히 파악하는 데 도움이 되었다.
• 프로그래머가 병렬로 실행할 부분을 명시적으로 제어할 수 있도록 함으로써 QParallel는 더 예측 가능하고 제어 가능한 공간-시간 트레이드오프를 가능하게 한다.
• 이 접근법은 일반화 가능하며, OpenQASM 3 및 QCOR와 같이 구성 가능한 큐비트 관리 기능을 가진 다른 양자 프로그래밍 언어로도 확장할 수 있다.