VPS 安全超售研究 · 进展汇报(v0.4)

日期 2026-10-13。数字口径见全文稿与 research_plan.md;异常与返工批次如实归档(不静默剔除)。

三支柱速览

识别 Identify

需求被配额截断即不可观测

预测 Predict

容量由相位结构决定,而非平均利用率

行动 Actuate

无回归精密控制把密度推上去

战役状态

平台已有证据进行中状态
BeroHost 嵌套床Phase 1 海量复测(膝点 50 / 截断 90 cycle / 三风暴 24 等 304 轮)Phase 1 收尾(packing→shaping→mem→disk→qp),随后返工 159 任务运行中
物理机 8259CL多规模膝点 / 细膝点 4 轮 / 同步 3 轮 / 售卖 / 混合相位 / Phase C 首批master 链:qp2b → fpr2 → 对决 14 局 → 反相编排 → 混合占用 → 金丝雀运行中
生产遥测两台宿主匿名只读(60s 170 样本 + 5min 轻量)HK 采集卡在主机密钥变化,待确认后恢复暂停

关键图

图 2 膝点:1–3 台邻居 P99 2.4–4.5 ms,第 4 台塌陷 21–28 ms
图 16 售卖容量:同负载、相位结构决定 3×–5× 容量差(阈值化口径)
图 21 密度律:N*≈C/(ρκ) 与混合相位三点实测(φ=0.25/0.50/0.75)
图 17 膝点 50 轮复测:4 台档 48/48 轮全部 >20 ms
图 18 截断 90 cycle:少报 2×,松绑 100% 违约
图 19 三风暴 24 轮:HTTP 均值 2.93 ms、零超时
图 14 物理机多规模膝点:共享池在饱和点断崖、隔离压平
图 15 相位时间线 + 3 轮簇间隔复现(对齐组全部精确 60 s)
图 10 保护包络:三风暴综合验证(4 预实验 + 24 复测)

评审处置清单(模拟评审 Major 5–8)

条目处置状态
P0 理论/语义§3.3.1 反例修正(运行段均值/认证地板/非可辨识构造);§5.3 配额≠瞬时峰值;伪代码+校准协议入 5.3.1完成
P0 公平对照worstcase(配额保守)+ ours_p(暂停)入对决;混合占用三估计器消融;14 局重跑执行中
P1 QoE唤醒停顿金丝雀(4 配置);内存闸门 A/B 在 BeroHost 队列;IO 尾延迟在 ioctl 臂执行中
P1 统计口径P5 措辞修正;轮聚类;二项上界(24/28 轮 = 11.7%/10.1%);P99 主指标/P999 诊断完成
P1 物理机归因3× 明确为相位结构容量比(非算法增益);算法优势由对决 oracle 对照完成
Minor 结构章节重排(物理机→8、资源效率→9、结论→11);SMT/NUMA 隔离声明;参考文献清单;REPRODUCE.md完成

下一步

  1. 物理机 master 链落袋:为准入对决出"同约束安全接纳数 vs oracle"核心对照图(图 20)。
  2. BeroHost 返工批次(v3knee/v3cen/v3syn)与 Phase 2 完成后刷新全部统计与轮级置信区间。
  3. 密度律补充轮次与 C5 反相编排数据回填第 8 章(图 21)。
  4. Phase C(KSM/FPR/zram/微周期/自适应 IO)数据落地 → 第 9 章资源效率模块。
  5. HK 轻量采集待确认主机密钥后恢复;英文稿镜像与参考文献核校同步推进。