07-EFT.WP.Core.Threads v1.0 | 第9章 跨卷绑定与到达时

目录 ／ 文档-技术白皮书 ／ 07-EFT.WP.Core.Threads v1.0

第9章 跨卷绑定与到达时

I. 范围与目标

• 将并发卷的时序语义与《Core.DataSpec》的路径与到达时锚点对齐，给出 T_arr 的统一数据形制、计算口径与验证流程。
• 定义公设 P79-*、最小方程 S79-*、运行流程 Mx-9，并落地 I70-9 中的跨卷绑定接口：bind_to_parameters、bind_to_equations、enforce_arrival_time_convention。
• 面向三类场景（批/在线/流），给出以 T_arr 为基准的超时、调度与时钟校准策略，确保 hb、timeout、retry 与 SLO 的一致性。

II. 术语与锚点（跨卷复用）

1. 路径与测度：gamma(ell)、ell、d ell、L_gamma = ( ∫_gamma 1 d ell )。
2. 到达时两口径
   • 常量外提：T_arr = ( 1 / c_ref ) * ( ∫_gamma n_eff d ell )。
   • 一般口径：T_arr = ( ∫_gamma ( n_eff / c_ref ) d ell )。
3. 时钟与时序：tau_mono（单调时钟）、ts（UTC）、hb（happens-before）。
4. 并发对象：G=(V,E)、chan、eid、pid_thr、K_thr。
5. 计量对接：unit(T_arr)="s"、dim(T_arr)="T"；不确定度 u(x)、扩展不确定度 U = k * u_c（复用《Core.Metrology》）。

III. 公设 P79（口径、时序与校准）

• P79-1（口径一致）：任何到达时数据与推导结果必须同时给出两口径，并产出差异
  delta_form = | ( 1 / c_ref ) * ( ∫_gamma n_eff d ell ) - ( ∫_gamma ( n_eff / c_ref ) d ell ) |。
• P79-2（路径闭合）：若 gamma 分段拼接为 {gamma_k}，则 T_arr(gamma) = ∑_k T_arr(gamma_k)，ell 非降且段间连续。
• P79-3（时钟分工）：性能统计与超时评估以 tau_mono；跨节点对齐与审计以 ts，并通过 T_arr 约束跨节点偏差。
• P79-4（因果守恒）：若 eid_a hb eid_b，则校准后的时间戳满足 ts_a_cal <= ts_b_cal + epsilon_hb。
• P79-5（量纲守恒）：check_dim( T_arr - ( ∫ n_eff d ell ) / c_ref ) = 0 必过；字段 unit(x)/dim(x) 必与方程一致。
• P79-6（配额不扰）：T_arr 采集与校准程序的资源消耗纳入 R_cpu/R_mem/R_io 与 quota，禁止因观测导致背压反转。
• P79-7（审计可追）：Trace = [source -> method -> artifact] 必完整，hash_sha256(blob) 与 signature 必提供。

IV. 最小方程 S79（估计、组合与校准）

• S79-1（两口径定义）
  T_arr = ( 1 / c_ref ) * ( ∫_gamma n_eff d ell ) = ( ∫_gamma ( n_eff / c_ref ) d ell )（理想一致）。
• S79-2（段式组合）
  T_arr(gamma) = ∑_{k=1..m} ( ∫_{gamma_k} ( n_eff / c_ref ) d ell )，其中 gamma = ⊕_k gamma_k。
• S79-3（不确定度合成）
  u^2(T_arr) approx ( ∂T_arr/∂c_ref )^2 u^2(c_ref) + ∑ ( ∂T_arr/∂n_eff_k )^2 u^2(n_eff_k ) + ∑ u^2_intk。
• S79-4（到达时与观测差）
  设跨节点观察量 Delta_ts = ts_recv - ts_emit，则相对偏差
  Delta_skew = Delta_ts - T_arr，用于 ts 校准与因果修复。
• S79-5（超时预算下界）
  timeout >= T_arr + J + P99(service)，其中 J 为链路抖动预算。
• S79-6（关键路径约束）
  T_make(G) >= ∑( w on crit(G) ) + ∑( c on crit(G) )，其中边代价 c(e) 可用 T_arr(e) 近似。

V. 数据形制与模式（与《Core.DataSpec》对齐）

1. 主键与索引
   pk = [pid, ts_emit, ts_recv]；二级索引：idx_1=[sid_src,sid_dst]、idx_2=[gid,eid]。
2. 关键字段（示例）
   • pid、sid_src、sid_dst、gid、eid、method ∈ {"active_probe","passive_trace"}。
   • ts_emit、ts_recv、tau_emit、tau_recv。
   • gamma_spec（序列化路径）、ell_seq（非降）、L_gamma、CRS。
   • n_eff_model、c_ref、T_arr_calc_const、T_arr_calc_general、delta_form、u(T_arr)。
   • m ∈ {0,1}、q_score ∈ [0,1]、Trace、signature。
3. 单位/量纲
   unit(T_arr)="s"、unit(ell)="m"、unit(c_ref)="m s^-1"、dim(T_arr)="T"。
4. 完整性约束
   ts_emit <= ts_recv + epsilon_clock；ell_seq 非降；abs(delta_form) <= tol_form。

VI. 接口绑定（I70-9 落地）

1. 绑定到参数与方程
   • bind_to_parameters(ds, params=["c_ref","n_eff_model"]) -> bool：验证 unit/dim 与默认值来源。
   • bind_to_equations(eqn_refs=["S79-1","S79-3"]) -> bool：将数据字段映射至方程项并记录证据链。
2. 到达时约束执行
   enforce_arrival_time_convention(trace) 执行流程：
   • 解析 gamma_spec 与 ell_seq，生成规范路径。
   • 并行计算两口径 T_arr_calc_const 与 T_arr_calc_general。
   • 计算 delta_form 与 u(T_arr) 并写入 Trace。
   • 依据 Delta_skew = ( ts_recv - ts_emit ) - T_arr 更新 ts_cal，修复 hb。
   • 将 timeout、retry、rate_limit 策略回写执行环境。

VII. 策略联动（超时、调度、限流）

• 超时与重试
  以 S79-5 给出下界；结合第5章上界 W_retry <= timeout * (retries + 1) + J_total，在 timeout 搜索区间选取稳健解。
• 调度与并发度
  对边 e 以 T_arr(e) 近似传输代价 c(e)，对 crit(G) 进行 K_thr 与亲和性优化，优先压缩 ∑ c(e)。
• 限流与背压
  若 P99(Delta_skew) 异常升高，优先降低入口 rps，并调高通道 cap 或调整 bp 策略（见第7章）。

VIII. 校准与审计流程 Mx-9

• 采集：对每条链路记录 {ts_emit, ts_recv, tau_emit, tau_recv, gamma_spec, ell_seq, CRS}。
• 计算：按两口径生成 T_arr_calc_const/general 与 delta_form；评估 u(T_arr)。
• 校准：计算 Delta_skew，得到校准时戳 ts_cal 并验证 hb。
• 契约：执行断言集（见 IX），失败则触发降级与限流。
• 上报：以结构化指标与日志输出 T_arr、Delta_skew、delta_form、u(T_arr) 与告警状态。
• 存档：更新 manifest、Trace、signature，并冻结版本 schema_version。

IX. 合同与断言模板（与 I70-8 对接）

• 口径一致
  {"type":"arrival_form_consistency","tol_form_ms":0.1} 要求 delta_form <= tol_form。
• 因果与校准
  {"type":"hb_after_cal","epsilon_ms":1.0} 保证 hb 在 epsilon_ms 内成立。
• 超时下界
  {"type":"timeout_floor","expr":"timeout >= T_arr + J + P99_service"}。
• 数据完整性
  {"type":"ell_monotonic","field":"ell_seq","strict":true}。

X. 典型用例

• 在线服务链
  以 T_arr 校准跨 AZ 的 ts，设置 timeout = T_arr + P99(service) + J，对 crit(G) 边做就近调度。
• 事件流处理
  以 T_arr 对齐 producer/consumer 的水位线，保证 hb 与窗口聚合的跨节点一致性。
• 批处理窗口
  以 max(T_arr) 作为跨站点数据归并的迟到界，设置 deadline = SLA - max(T_arr) - safety_margin。

XI. 故障语义与补偿

• 测量丢失：m=0 的记录不得用于校准；以邻近窗口的 median(T_arr) 进行插补并标注 approx independence。
• 模型漂移：若 drift(n_eff_model) > tau，强制重估 n_eff 并重新计算 T_arr。
• 去重与幂等：跨域重试采用 idemp_key；以 Delta_t_dedup >= max(T_arr) 设置去重窗口，避免乱序二次计费/执行。

XII. 观测与报告（与第8章联动）

1. 指标
   • arrival.t_arr_ms_bucket{link}、arrival.delta_form_ms{link}、arrival.skew_ms{link}。
   • 触发条件：Burn_rate 升高且伴随 skew_ms 飙升，进入回滚闸门。
2. 日志
   记录 {"eid", "gid", "gamma_spec_hash", "T_arr", "delta_form", "u_T_arr", "Delta_skew"}，敏感标识经 mask_fields。

XIII. 实现备忘（开发要点）

• 统一数值路径：所有积分以同一 gamma(ell) 与 d ell 表达，避免路径离散差异造成虚假 delta_form。
• 桶边界对齐：t_arr_ms_bucket 与延迟直方图使用同一桶族，确保 Pxx 可比较。
• 性能开销：将 T_arr 计算置于低频控制环；高频路径仅使用近端缓存与上次 u(T_arr)。

XIV. 参考编号与跨卷链接

• 方程：S79-1...S79-6；公设：P79-1...P79-7；流程：Mx-9；实现绑定：I70-9。
• 跨卷引用：“见 配套白皮书《能量丝》 第3章 S/P/M/I…”，以及《Core.DataSpec》第10章的 T_arr 数据集示例与路径字段规范。

XV. 交付物与验收

• T_arr 数据模式与清单、两口径实现与校验脚本、delta_form 与 u(T_arr) 报表。
• 校准与因果验证流水线（Mx-9）以及 assert_thread_contract 的断言套件。
• 上线运行手册：阈值库（tol_form、epsilon_hb、J）、回滚闸门与观测指标仪表板链接。