3. 确定性网络关键机制与可验证特征提取
机载确定性网络要证明“确定性”，不能停留在机制名称的罗列上，而必须把每一种机制映射为可观测、可度量、可判定的指标。本节围绕时间同步、时间感知调度、流量整形、帧抢占、冗余传输和路径控制六类机制，说明它们各自改变了什么、在哪个位置留下可测痕迹，以及如何从这些痕迹中提取时延、抖动、丢包、带宽和同步精度等验证指标。
一、机制与可验证特征的映射关系
确定性网络的核心思路是：用时间同步建立统一时间基准，用调度和整形控制发送时刻与突发，用抢占压缩高优先级帧的排队等待，用冗余和路径控制提升可靠性。每一种机制都对应一组“可被测量”的物理量。例如，时间同步机制最终体现为节点间时钟偏差；时间感知调度体现为门控窗口与帧发送时刻的吻合度；流量整形体现为输出速率与突发上限；帧抢占体现为高优先级帧的剩余传输时间；冗余传输体现为副本到达时间差与去重后的丢包率；路径控制体现为路径切换时延与路径间时延差。
因此，特征提取的第一步不是直接测指标，而是先建立“机制—作用点—可观测信号—指标”的映射链。只有明确信号在哪里产生、由谁采集、以什么时间基准记录，后续的时延和抖动才有意义。
二、时间同步：从报文时间戳到同步精度
时间同步是所有时间敏感机制的前提。以 IEEE 802.1AS/gPTP 为例，主时钟周期性发送 Sync 报文，并在可能的情况下携带硬件时间戳；从时钟记录本地接收时刻，再通过 Follow_Up 或 Pdelay 机制计算链路时延和偏移。可验证特征不是“同步是否成功”这一布尔量，而是主从节点之间的时钟偏差序列。
实际提取时，可在从时钟侧记录每次同步后的 offsetFromMaster 值，形成时间序列。若示例中主从偏差在 ±200 ns 内波动，且连续 10 分钟无跳变，则可认为同步精度满足亚微秒级要求。若偏差出现周期性锯齿，往往说明路径不对称或时间戳点不在 PHY 附近；若偏差缓慢漂移，则可能是晶振频偏未被补偿。同步精度指标应同时给出最大值、均值和标准差，而不是只给一个瞬时值。
三、时间感知调度与流量整形：时延、抖动与带宽的联合提取
时间感知调度（TAS，802.1Qbv）通过门控列表控制每个队列在特定时间窗口内开放。它的可验证特征是“帧实际发送时刻”与“门控窗口开启时刻”的偏差。假设某交换机端口配置了 1 ms 周期、200 μs 保护带，关键流量窗口为 0～300 μs。若在 1000 个周期内测得关键帧发送时刻落在窗口内的比例为 100%，且窗口内发送抖动小于 5 μs，则调度机制按预期工作。
流量整形（CBS，802.1Qav）则通过信用值累积和发送消耗限制突发。它的可验证特征是输出速率曲线和队列深度。若某类流量配置 idleSlope 为 20 Mbps、sendSlope 为 -80 Mbps，则长时间平均输出不应超过 20 Mbps，短时突发受信用上限约束。提取带宽指标时，应区分“承诺带宽”和“峰值带宽”：前者看长时间平均，后者看短窗口内的最大出队速率。
时延和抖动必须与调度、整形联合分析。端到端时延可分解为发送端排队时延、链路传输时延、交换机转发时延和接收端重组时延。抖动则主要来自排队时延的变化。若抖动突然增大，应优先检查门控窗口是否被低优先级流量侵占，或整形信用是否被耗尽。
四、帧抢占：压缩高优先级帧的等待时间
帧抢占（802.1Qbu/802.3br）允许高优先级帧打断正在传输的低优先级帧。它的可验证特征是抢占发生次数、被抢占帧的剩余长度以及高优先级帧的额外等待时间。假设一条 100 Mbps 链路上，一个 1500 字节的低优先级帧正在发送，剩余 800 字节；此时高优先级帧到达，若不抢占需等待约 64 μs，若抢占则只需等待分片边界和 mCRC 开销，约数微秒。
提取该指标时，可在 MAC 层记录分片计数和抢占事件。若抢占频繁发生但高优先级帧时延没有明显下降，说明分片粒度或保护带设置不合理；若被抢占帧重组失败率上升，则需检查 mCRC 校验和分片缓存。帧抢占的验证重点不是“是否支持”，而是“抢占后高优先级帧时延是否稳定收敛”。
五、冗余传输与路径控制：丢包、副本时差与切换时延
冗余传输（FRER，802.1CB）通过序列号和双路径复制提升可靠性。它的可验证特征包括：接收端去重前的副本到达时间差、去重后的丢包率、以及单路径故障时的存活情况。示例中，若两条路径时延差为 300 μs，接收端去重窗口设置为 500 μs，则副本可被正确合并；若时延差超过去重窗口，副本会被丢弃，冗余失效。
路径控制的可验证特征是路径切换时延和各路径的时延差。当主路径故障时，流量应切换到备用路径。切换时延包括故障检测时间、转发表更新时间和重新收敛时间。若示例中故障检测为 3 ms、切换为 1 ms，则总恢复时间约 4 ms。该指标必须与业务容忍中断时间对比，才能判断路径控制是否合格。
六、可验证特征提取的落地要点
把上述机制转化为可验证指标，需要统一三个前提：第一，所有采集点使用同一时间基准，否则时延和抖动无法比较；第二，明确测量边界，是端口到端口、端到端还是芯片内部；第三，区分“机制配置值”和“实际观测值”，前者是输入，后者才是验证依据。
实际提取时，建议按“机制—信号—指标—判据”四列组织记录。例如：时间同步对应 offsetFromMaster，判据为最大值小于 1 μs；TAS 对应窗口内发送偏差，判据为抖动小于 5 μs；FRER 对应去重后丢包率，判据为单路径故障下仍为 0。这样，后续的测试用例、数据采集脚本和结果判定都能直接引用同一套特征定义，避免机制分析与指标验证脱节。