arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2307.14280cs.NI
收藏

可微编程与网络演算:延迟约束下的配置综合

Differentiable Programming & Network Calculus: Configuration Synthesis under Delay Constraints

Fabien Geyer, Steffen Bondorf

AI总结:

本文提出微分网络演算,将网络演算扩展为可对延迟上界求导,从而利用梯度优化在数秒内综合路由与优先级配置,比现有方法快数个数量级。

摘要:

随着确定性网络行为标准的出现,在延迟约束下综合网络设计成为自然的下一个待解决任务。网络演算(NC)已成为验证工业网络的关键方法,因为它能计算经形式验证的端到端延迟上界。然而,NC框架中的分析被设计为一次仅约束一个流的延迟。尝试使用经典分析来推导网络配置已表明,这种方法不适合实际使用场景。考虑寻找延迟最优的路由配置:必须为每个路由备选方案创建一个模型,然后约束每个流的延迟,最后将上界与给定约束进行比较。为克服这一三步过程,我们引入了微分网络演算。我们扩展了NC,使其能够针对广泛的网络参数(如流路径或优先级)对延迟上界进行微分。这使NC能够利用一类利用延迟上界梯度的高效非线性优化技术。我们在路由和优先级分配问题上的数值评估表明,我们的新方法能在数秒内综合出流路径和优先级,比现有方法快几个数量级。

英文摘要:

With the advent of standards for deterministic network behavior, synthesizing network designs under delay constraints becomes the natural next task to tackle. Network Calculus (NC) has become a key method for validating industrial networks, as it computes formally verified end-to-end delay bounds. However, analyses from the NC framework have been designed to bound the delay of one flow at a time. Attempts to use classical analyses to derive a network configuration have shown that this approach is poorly suited to practical use cases. Consider finding a delay-optimal routing configuration: one model had to be created for each routing alternative, then each flow delay had to be bounded, and then the bounds had to be compared to the given constraints. To overcome this three-step process, we introduce Differential Network Calculus. We extend NC to allow the differentiation of delay bounds w.r.t. to a wide range of network parameters - such as flow paths or priority. This opens up NC to a class of efficient nonlinear optimization techniques that exploit the gradient of the delay bound. Our numerical evaluation on the routing and priority assignment problem shows that our novel method can synthesize flow paths and priorities in a matter of seconds, outperforming existing methods by several orders of magnitude.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑