[论文解读] QParallel: Explicit Parallelism for Programming Quantum Computers

Thomas Häner, Vadym Kliuchnikov+3 more|arXiv (Cornell University)|Oct 7, 2022

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

QParallel 是一种基于 Q# 的语言扩展，支持在量子编程中显式表达并行性，以解决隐式并行性中的歧义，并支持细粒度的时空权衡。通过允许程序员显式标记并行区域，它将电路深度最多减少为原来的 1/q，同时通过消除关键路径上的串行依赖关系提升性能，如在多控制 Toffoli 门和量子加法器等基准测试中所展示的那样。

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.

研究动机与目标

• 解决当前量子编程语言中隐式并行性存在的歧义和控制不足问题。
• 使程序员能够显式管理并行执行，以影响量子电路编译中的时空权衡。
• 通过防止量子比特重用来创建不必要的串行依赖关系，减少电路深度并提升性能。
• 通过显式且适合编译器的并行性，支持包含数千个量子比特和数百万个门的大规模量子程序。
• 通过使用性能分析和可视化工具，引导程序员识别性能关键子程序，从而优化量子算法。

提出的方法

• 设计一种基于 Q# 的语言扩展，受 OpenMP 启发，通过新增语法显式声明并行区域。
• 将该扩展与 Q# 现有的资源估算和追踪基础设施集成，以支持性能分析。
• 使用与 speedscope 兼容的火焰图可视化技术，识别量子程序中的关键路径和性能瓶颈。
• 修改 Q# 跟踪器，使其以 speedscope 可消费的格式输出性能数据，用于执行时间线的可视化。
• 将该语言扩展应用于真实世界的量子算法（例如多控制 Toffoli 门、量子加法器），以测量电路深度的减少和性能提升。
• 引入一种工具，用于分析资源使用情况，并突出显示关键路径上的子程序，以指导程序员在何处应用显式并行性。

实验结果

研究问题

• RQ1 与隐式并行性相比，量子编程中的显式并行性在减少电路深度和提升性能方面有何效果？
• RQ2 显式并行性在何种程度上可避免因量子比特重用而导致的量子电路中不必要的串行依赖？
• RQ3 当程序员对代码库了解有限时，基于可视化的工具在识别适合并行化的性能关键子程序方面有多有效？
• RQ4 在大规模量子程序中，通过程序员控制的并行区域，时空权衡的优化程度如何？
• RQ5 显式并行性对高门数和高量子比特需求的量子电路的资源估算和编译过程有何影响？

主要发现

• 通过在关键路径上消除串行依赖，QParallel 将多控制 Toffoli 门的 T-深度从 43 个周期减少到 7 个周期。
• 通过将 N 个加法器按每批 q 个完全并行处理，QParallel 将电路的 T-深度降低了 q 倍，显著减少了深度。
• QParallel 与 speedscope 的集成使得关键路径可视化成为可能，揭示了隐式并行性常因量子比特重用而导致低深度操作被串行执行。
• 用于识别关键子程序的工具帮助程序员精准定位高影响力区域进行并行化，即使对代码库了解有限也有效。
• QParallel 通过赋予程序员对哪些代码段并行执行的显式控制，实现了更可预测和可控的时空权衡。
• 该方法具有通用性，可扩展至其他支持可配置量子比特管理的量子编程语言，如 OpenQASM 3 和 QCOR。