延迟不是性能指标，而是契约：云边端确定性时延保障的研究议程

摘要：本文讨论云边端协同系统中的确定性时延保障课题。传统系统研究以平均延迟、尾延迟为指标，但在工业控制、远程驾驶、实时协作等场景中，端到端时延需要被表述为可验证的契约。本文界定该课题的边界，提出三个研究议程：资源隔离与调度、跨域时钟与故障模型、以及形式化验证与运行时监控。

关键词：确定性时延；云边端协同；资源隔离；形式化验证；尾延迟

1 引言

云计算解决了弹性，边缘计算解决了距离，但二者组合后产生了一个新问题：端到端时延不再由单一节点决定，而由计算、网络、排队、调度、时钟同步共同决定。平均延迟下降并不等于确定性提升。一个系统可能平均延迟 10 毫秒，但每十分钟出现一次 500 毫秒的抖动。对于控制系统，这次抖动就是事故。

因此，本文主张将时延从“性能指标”重新表述为“契约”：系统对外承诺一个上界，并需要提供证据证明该上界在给定故障模型下成立。

2 课题界定

确定性时延保障包含三个要素：有界性、可验证性、可恢复性。有界性指端到端时延不超过给定阈值；可验证性指该上界能被形式化方法或测量方法证明；可恢复性指在节点故障、网络拥塞、时钟漂移后，系统能回到承诺状态。

与实时系统不同，云边端场景的规模、异构性和故障模式更复杂。与普通云系统不同，它不能仅依赖过度配置来换取确定性。

3 研究议程

（1）资源隔离与调度。容器与微服务共享内核，导致尾延迟难以控制。需要研究轻量级隔离机制、确定性调度器、以及网络与计算的联合调度。关键问题：在提高确定性的同时，如何避免利用率崩塌？

（2）跨域时钟与故障模型。云、边、端可能属于不同管理域，时钟不同步会破坏时延上界的证明。需要研究可证明的时钟同步协议、故障检测器、以及跨域信任模型。

（3）形式化验证与运行时监控。静态验证可以证明调度算法满足上界，但难以覆盖运行时状态。运行时监控可以检测违约，但难以提前预防。二者需要结合：用形式化方法生成监控条件，用监控数据反哺验证模型。

4 验证方法

该课题的验证不能只靠仿真。需要构建跨云边端的试验床，注入网络抖动、节点故障、时钟漂移。评估指标应包括：违约频率、违约持续时间、恢复时间、以及利用率。形式化验证可使用模型检验、定理证明、或时序逻辑。测量方法应公开原始轨迹，以便复现。

5 开放问题

确定性与利用率之间存在根本张力。是否存在一个可证明的折中边界？在多租户环境中，一个租户的确定性是否以其他租户的不确定性为代价？跨域场景下，谁来承担契约责任？这些问题既是技术问题，也是治理问题。

6 结论

将时延视为契约，会改变系统设计的目标函数。它要求研究者不仅优化平均值，还要构造可验证的上界，并在故障模型中保持该上界。这是一个尚未成熟的课题，但它的工程后果非常直接。