论文标题

基于SDC的量子控制体系结构的基于SDC的资源约束计划

SDC-based Resource Constrained Scheduling for Quantum Control Architectures

论文作者

Nane, Razvan

论文摘要

指令调度是后端编译器中的一个关键转换,它对算法进行了不合时宜的描述,并将时间插槽分配给算法指令,以便在考虑目标处理器限制的同时,可以尽可能有效地执行它们,例如可用的计算单位量。例如,对于超导量子处理器,这些限制包括可用于播放波形以驱动量子旋转或量子位之间连接的模拟仪器的数量。当前的小型量子处理器仅包含几个量子位;因此,尽管不可扩展,但可行的速度是可行的。因此,对于NISQ和NISQ设备之外,预计经典的仪器共享将在未来的量子控制体系中设计,其中几个量子位连接到仪器,并使用多重量来激活一次执行相同量子操作的Qubits。现有的量子调度算法要么依赖于尺寸不佳的ILP公式,要么使用基于启发式的算法(例如列表调度计划),这些算法的时间表不足以处理量子要求,例如在指令之间使用相对的时间定时约束来处理量子要求,而在指令之间进行了相对的时间限制,这些情况可能会在将复杂的指导分解为当地的指令并保留固定的时间时可能会发生固定的时间,以确保固定的定时性。在本文中,我们提出了一种基于SDC公式的新型资源约束调度算法,该算法是可重构计算中使用的最新算法。我们根据列表调度程序对其进行评估,并描述所提出方法的好处。我们发现,基于SDC的调度不仅能够找到更好的时间表,而且还可以建模灵活的相对时间限制。

Instruction scheduling is a key transformation in backend compilers that take an untimed description of an algorithm and assigns time slots to the algorithm's instructions so that they can be executed as efficiently as possible while taking into account the target processor limitations, such as the amount of computational units available. For example, for a superconducting quantum processor these restrictions include the amount of analogue instruments available to play the waveforms to drive the qubit rotations or on-chip connectivity between qubits. Current small-scale quantum processors contain only a few qubits; therefore, it is feasible to drive qubits individually albeit not scalable. Consequently, for NISQ and beyond NISQ devices, it is expected that classical instrument sharing to be designed in the future quantum control architectures where several qubits are connected to an instrument and multiplexing is used to activate only the qubits performing the same quantum operation at a time. Existing quantum scheduling algorithms either rely on ILP formulations, which do not scale well, or use heuristic based algorithms such as list scheduling which are not versatile enough to deal with quantum requirements such as scheduling with exact relative timing constraints between instructions, situation that might occur when decomposing complex instructions into native ones and requiring to keep a fixed timing between the primitive ones to guarantee correctness. In this paper, we propose a novel resource constrained scheduling algorithm that is based on the SDC formulation, which is the state-of-the-art algorithm used in the reconfigurable computing. We evaluate it against a list scheduler and describe the benefits of the proposed approach. We find that the SDC-based scheduling is not only able to find better schedules but also model flexible relative timing constraints.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源