[论文解读] IPA in the Loop: Control Design for Throughput Regulation in Computer Processors

Xinwei Chen, Y. Wardi+1 more|arXiv (Cornell University)|Apr 10, 2016

Parallel Computing and Optimization Techniques参考文献 12被引用 3

一句话总结

本文提出了一种基于IPA的自适应积分控制律，用于在多核处理器中实现实时吞吐量调节，利用无穷小扰动分析（IPA）估计梯度反馈并动态调整控制增益。该方法在英特尔Haswell处理器上实现，其性能优于周期级仿真结果，在多种配置下平均吞吐量偏差均在目标速率的±30 MIPS以内。

ABSTRACT

A new technique for performance regulation in event-driven systems, recently proposed by the authors, consists of an adaptive-gain integral control. The gain is adjusted in the control loop by a real-time estimation of the derivative of the plant-function with respect to the control input. This estimation is carried out by Infinitesimal Perturbation Analysis (IPA). The main motivation comes from applications to throughput regulation in computer processors, where to-date, testing and assessment of the proposed control technique has been assessed by simulation. The purpose of this paper is to report on its implementation on a machine, namely an Intel Haswell microprocessor, and compare its performance to that obtained from cycle-level, full system simulation environment. The intrinsic contribution of the paper to the Workshop on Discrete Event System is in describing the process of taking an IPA-based design and simulation to a concrete implementation, thereby providing a bridge between theory and applications.

研究动机与目标

• 弥合事件驱动系统中理论控制设计与实际实现之间的差距，尤其针对计算机处理器的吞吐量调节。
• 评估基于IPA的自适应积分控制律在物理硬件环境中的性能，并与周期级仿真进行对比。
• 证明在多核处理器环境中，基于IPA导出的梯度估计实现低复杂度、实时控制的可行性和鲁棒性。
• 验证该控制技术在实际部署中尽管存在计算近似，仍能保持稳定性和准确性。

提出的方法

• 该控制律采用带有自适应增益 $ A_n $ 的离散时间积分器，通过IPA估计的导数 $ L_n'(u_n) $ 的倒数进行更新，该导数量化了吞吐量对时钟频率的敏感性。
• 被控对象模型将多核处理器表示为离散事件系统，吞吐量 $ y_n $ 定义为控制周期 $ C_n $ 内的每周期指令数。
• 应用IPA通过低成本、基于路径的规则估计 $ \partial y_n / \partial u_n $，实现实时梯度计算，无需无偏性。
• 控制环路通过 $ u_n = u_{n-1} + A_n e_{n-1} $ 递归更新时钟频率 $ u_n $，其中 $ e_n = r - y_n $ 为与目标吞吐量 $ r $ 的误差。
• 系统在英特尔Haswell处理器上实现，对不同工作负载（Barnes、Water-ns）随时间监控吞吐量与时钟频率。
• 控制周期长度由指令批次决定，吞吐量计算为 $ N / d_N(\tau) $，其中 $ d_N $ 为最后一条指令的离开时间。

实验结果

研究问题

• RQ1 基于IPA的自适应积分控制律是否能在真实多核处理器中实现稳定且精确的吞吐量调节？
• RQ2 IPA闭环控制技术在硬件实现与周期级仿真之间的性能表现如何比较？
• RQ3 即使使用有偏但复杂度低的IPA导数，是否仍能在实时系统中实现鲁棒且精确的控制？
• RQ4 系统级因素（如核心级与聚合吞吐量调节）对控制性能有何影响？

主要发现

• 在英特尔Haswell处理器上的硬件实现性能优于Manifold周期级仿真环境。
• 对于1,200 MIPS的目标吞吐量，Barnes工作负载在硬件上表现出-33.5 MIPS的平均吞吐量偏差，而仿真中偏差更大。
• Water-ns工作负载在1,200 MIPS目标下于硬件上表现出-56.8 MIPS的偏差，表明偏差较高，但仍处于实时控制可接受范围内。
• 在所有测试目标（1,200、1,000、800 MIPS）下，硬件实现的偏差始终小于或与仿真相当，表明对实际近似具有鲁棒性。
• 尽管实现中存在粗略近似，该控制系统仍保持稳定与收敛，验证了低复杂度设计原则。
• 结果证实，即使IPA梯度估计存在偏差，仍能支持计算开销极小的有效实时控制。