From c7459b393f4c6610f7d24cb52ead224dfa4239a8 Mon Sep 17 00:00:00 2001 From: Wanderingss <1624155937@qq.com> Date: Tue, 13 Oct 2026 17:12:36 +0800 Subject: [PATCH] =?UTF-8?q?docs(N34):=20=E7=BD=91=E7=BB=9C=E4=B8=8D?= =?UTF-8?q?=E7=A8=B3=E6=A0=B9=E5=9B=A0=E5=A4=8D=E7=9B=98=E6=80=BB=E8=A7=88?= =?UTF-8?q?=EF=BC=88=E6=AF=94=E5=96=BB=E7=89=88=EF=BC=89+=20=E5=85=A8?= =?UTF-8?q?=E6=99=AF=E5=9B=BE=20SVG=20=E7=94=9F=E6=88=90=E5=99=A8?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - 新增 网络不稳根因总览.md:七个误会(传达室比喻+机制+证据出处)→ 环↔拆法↔落点对照表 → E13 僵尸会话 Mermaid 时序图 → 一句话总结 - 新增 tools/arch_diagram/gen_net_instability_svg.py(draw-diagram 规范, 纯标准库)与产物 docs/images/网络不稳根因总览.svg(headless Edge 目检两轮) - N34 README:实施状态表补全阶段 1.5/2/3 与 E6 插桩行(原「阶段 2/3 未开始」陈旧口径修正);挂复盘总览为第一入口;§5.56 改紧邻写法 - 门禁:check_doc_links --sections-strict 本批 4 文件通过 --- docs/images/网络不稳根因总览.svg | 155 +++++++++++ docs/网络/N34-自愈审计/README.md | 16 +- docs/网络/N34-自愈审计/网络不稳根因总览.md | 119 ++++++++ tools/arch_diagram/gen_net_instability_svg.py | 260 ++++++++++++++++++ 4 files changed, 546 insertions(+), 4 deletions(-) create mode 100644 docs/images/网络不稳根因总览.svg create mode 100644 docs/网络/N34-自愈审计/网络不稳根因总览.md create mode 100644 tools/arch_diagram/gen_net_instability_svg.py diff --git a/docs/images/网络不稳根因总览.svg b/docs/images/网络不稳根因总览.svg new file mode 100644 index 00000000..6d1ec059 --- /dev/null +++ b/docs/images/网络不稳根因总览.svg @@ -0,0 +1,155 @@ + + +为什么网络「一直不稳」——七个误会与逐个拆掉(N34 复盘) +左列 = 根因(比喻 + 机制);右列 = N34 阶段 0~3 的对应拆法;环与环叠加才构成「玄学」 + +① 门铃会丢 +Trap 22:丢中断 + +症状:UI 复连永久拒连、FTP 第 29 轮自己死掉,全程不报一个错 + +机制:快速复连时 INT# 门铃哑火,netTask 只靠门铃干活 → 状态静默滞留 + +100ms 巡逻对账 + +单一 reconciler:判据读驱动状态缓存(E2 背书 18.1µs),分级去抖 + +门铃丢了不要紧,每 100ms 亲自数一遍人头 + + +拆掉 + +② 门铃总闸看一眼就清零 +Trap 25 B3 + +症状:别的 Socket 的 CONNECT/DISCONNECT 从此永久失踪 + +机制:全局中断寄存器整体读即清,open/relisten 丢弃式读一遍=拔全楼门铃线 + +总闸唯一读者 + +F-NET-7:全局寄存器唯一读者=net_poll;open/relisten 只清本 Socket SINT + +查自己门铃时,不许拔别人家的线 + + +拆掉 + +③ 柜台和货梯是同一台 +单连接模型 + +症状:会话 EOF 之后端口「连接被拒」 + +机制:监听 fd == 数据 fd,应用在 EOF 时 net_close = 把柜台连电梯一起拆 + +送客走正门 + +铁律:EOF 不得 close 监听 fd;新 API net_drop_conn(拆会话保柜台) + +net_drop_conn = 优雅 FIN + 本地拆除 + relisten,幂等 + + +拆掉 + +④ 三个临时工都在修电梯 +多所有者 relisten + +症状:重建风暴、慢消费者的 EOF 被吞、新客户端数据被旧会话吸收 + +机制:accept/recv/pending 三处都重建监听,谁先看到断连谁动手互相踩脚 + +修电梯的只剩一个人 + +重建收敛到唯一所有者(net_listener + reconciler),其余位置只置事实不动手 + +不变量 II:唯一周期重建决策者(消费者即时重建三处保留,P2a 实测) + + +拆掉 + +⑤ 传达员被按在椅子上 +队头阻塞 + +症状:FTP banner 迟到 25~30 s(E-02 实测),netTask 频繁冻结半秒 + +机制:30 s 阻塞收 + 500 ms 盲等忙等,而 netTask 是全楼唯一传达员 + +传达员永不离开传达室 + +忙等统一为 net_sock_reset_sync 有界排渣(600 ms 硬上限),阻塞消息化 + +阶段 1.5:net_recv 默认非阻塞 + net_recv_nb + 60 s tripwire 日志 + + +拆掉 + +⑥ 僵尸客人赖着不走 +E13:网卡闪断 + +症状:设备网络「莫名死了」、新连接被拒——在和幽灵做生意 + +机制:PC 网卡闪断,内核悄悄撕掉 socket 不发 FIN,芯片侧仍 ESTABLISHED 占死柜台 + +查岗处理幽灵 + +keepalive 60/5/3(E11 实测 ≈30 s 判死)+ 芯片 TIMEOUT → QUARANTINE → 重建 + +自愈 30~90 s,不需要冷启动(E13 台架收口:用户判断正确) + + +拆掉 + +⑦ 只会礼貌送客不会轰人 +close 无 RST(手册定案) + +症状:FIN_WAIT_2 长尾,监听恢复受限于对端 close(E-02 定案) + +机制:芯片 close 只发 FIN;对端内核存活但应用挂死 = 回 ACK 却不起身 + +知道他不轰人,就别指望他轰人 + +定案写入 Trap 07:兜底靠查岗(keepalive/TIMEOUT),不靠 RST + +net_drop_conn 本地拆除 + reconciler 形态③④ 认领僵尸态 + + +拆掉 + +⑧ 垃圾不清越扫越脏 +残渣风暴态 + +症状:同一份固件故障率 2%~54% 摆动(E8 实测),看起来像「玄学」 + +机制:迟到 DISCONNECT 锁存 / 半死 Socket / 粘滞中断位,被带进下一条连接 + +开张前把垃圾扫干净 + +sock_reset 标准排渣:读空 RX → CLOSE → 排空事件 → 确认落地(byte0=00H) + +M3 矛盾态门 + M5 drain-until-quiescent(风暴态免疫) + + +拆掉 + + + + + + + + + + + + + + +叠加累积 → 越扫越脏 + +七环叠加 =「玄学不稳」 +随机 · 无错误日志 · 时好时坏——每个环节单看都「正常工作」 + +逐环拆掉 = 稳(N34 阶段 0~3 已实施) +不依赖门铃 · 唯一主人 · 永不冻结 · 100ms 对账 · 开张前排渣——台架回归全绿 +证据链:docs/问题记录/CH395F_Trap_Records.md(Trap 07/09/14/17/22/23/25) · docs/网络/N34-自愈审计/实验方案.md(E1~E13) · 修复落地见 docs/网络/N34-自愈审计/实施方案.md + diff --git a/docs/网络/N34-自愈审计/README.md b/docs/网络/N34-自愈审计/README.md index d3b96f4b..762025d2 100644 --- a/docs/网络/N34-自愈审计/README.md +++ b/docs/网络/N34-自愈审计/README.md @@ -10,17 +10,25 @@ ## 实施状态(2026-10-13 更新) +> 想先要"为什么一直不稳"的人话版(比喻 + 全景图):先读 +> `docs/网络/N34-自愈审计/网络不稳根因总览.md`。 + | 提交 | 内容 | 结果 | |---|---|---| | `9ac9879` | P0 止血包(M1+M2+M4-lite) | 台架验证(E7b/E8) | | `ae17d36` | M3 矛盾态可疑门(风暴态免疫,资产门版) | E9/E9b 全绿 | | `4c0a0af` | **阶段 0** 零风险清理 9 条 | E10:0/20 + 20/20 + 20/20 + 11/11 | | `b8c6a3d` | **阶段 1** API 面收口(对账⑤ + 删 3 API + time_sync/lftpd) | E10:全绿回归(详见实验方案 E10) | +| `13a4a40` `d346e4e` | KeepAlive 转正(`docs/芯片手册/CH395F.md` §5.56)+ **阶段 1.5** recv 语义主流化 | E11/E12 台架 | +| `f7f1793` `83a7072` | **阶段 2** ch395f 五原语(只加不接线)+ E2/E3/E4 定案 | Phase 15 套件 20/20 | +| `6394853` `f51c083` | **阶段 3** net 层收敛:单一 reconciler + 忙等统一 + 镜像降级 + E-02 收口(`net_drop_conn`) | 终版回归全绿(Trap 22/23/25、E-02 双 PASS、104、对时、integrity 15/15) | +| `123d80a` | E6 插桩 `NET_U15_PROBE`(默认关,零成本) | 24h 挂机进行中(阶段 3 项 4 门禁) | -阶段 0/1 已完成并转正;阶段 2/3(驱动原语 / net 层收敛)未开始。阶段 1 实施 -过程中的一条关键台架发现已留痕(实验方案 E10):**`net_listener_armed` 必须 -放行 ESTABLISHED**——单连接模型的"待 accept"电平,漏放行时 i104(200ms 周期) -抢不过对账② 的 ~400ms 去抖而整场饿死(18/18 FAIL → 修复后 18/18 PASS,127s→8.3s)。 +阶段 0~3 已完成并转正;在途仅 **E6 挂机**(裁决项 4 U15 内化做不做)与延后项 +(relisten 沉降段统一,见实施方案 §5.2)。阶段 1 实施过程中的一条关键台架发现 +已留痕(实验方案 E10):**`net_listener_armed` 必须放行 ESTABLISHED**——单连接模型 +的"待 accept"电平,漏放行时 i104(200ms 周期)抢不过对账② 的 ~400ms 去抖而整场 +饿死(18/18 FAIL → 修复后 18/18 PASS,127s→8.3s)。 ## 0. 结论先行(直接回答本次审计的问题) diff --git a/docs/网络/N34-自愈审计/网络不稳根因总览.md b/docs/网络/N34-自愈审计/网络不稳根因总览.md new file mode 100644 index 00000000..8f872543 --- /dev/null +++ b/docs/网络/N34-自愈审计/网络不稳根因总览.md @@ -0,0 +1,119 @@ +# 为什么网络「一直不稳」——七个误会与逐个拆掉(N34 复盘总览) + +> 定位:本文是 N34 自愈审计的**人类可读复盘总览**——把散在 Trap 记录、实验台账、 +> 实施方案里的根因,用一个贯穿比喻串成一条因果链,并逐环给出已落地的拆法与证据出处。 +> 技术细节与行号证据一律指向本目录其余文档与 `docs/问题记录/CH395F_Trap_Records.md`, +> 此处不重复。适合新成员第一遍读,也适合对外解释"我们的网络为什么曾经时好时坏"。 + +**一句话回答**:不稳从来不是"网断了",而是**一个会丢门铃、只会礼貌送客的芯片**, +配上一套**靠门铃驱动、人人插手重建、唯一传达员还会被按在椅子上半分钟**的软件—— +每个环节单看都"正常工作",叠起来就是随机、无日志、时好时坏的"玄学"。 + +## 0. 角色表 + +把 CH395F 芯片想成一个**外国籍传达室大爷**:他会收发信件(TCP 栈),但**门铃会坏** +(中断会丢)、**只会礼貌送客不会轰人**(close 无 RST)。netTask 是**全楼唯一能进传达室 +的传达员**(所有 CH395F 事件只在 `net_poll` 集中读清)。FTP、对时、UI 推流、IEC104 +是**楼里等信的住户**(各自监听一个端口,但共用这一个传达员)。 + +## 1. 七个误会(叠加才成为"玄学") + +### ① 门铃会丢(Trap 22:丢中断) + +快速复连时芯片本应"按门铃"(INT# 拉低)通知有新来访/客人离开,但门铃**会哑**—— +人已经站在屋里,铃没响。传达员只靠门铃干活,于是本层状态**静默滞留**:端口其实 +死了,日志里**一个错都不报**。当年"待机后 UI 复连 2/10 永久拒连、FTP 第 29 轮自己 +死掉"就是它——不是断网,是**没人报信**。裸机芯片台架(剥离 OS/net/FTP)独立复现, +证明这是芯片天性,不是固件 bug(见 `docs/网络/N34-自愈审计/README.md` 结论 1)。 + +### ② 门铃总闸是"看一眼就清零"(Trap 25 B3) + +全局中断寄存器是**一整排灯,读一次全部熄灭**。历史上 open/relisten 里有两处 +"丢弃式读一遍"——等于**查自己门铃时把全楼别的住户的门铃线也拔了**,别人的 +CONNECT/DISCONNECT 从此永久失踪。这是"自家制造的丢中断"放大器。 + +### ③ 柜台和货梯是同一台(单连接模型) + +监听 fd 就是数据 fd——**商店柜台平时兼货运电梯**。住户看到"客人走了"(EOF)习惯性 +`net_close` → **把柜台连电梯一起拆了** → 端口"连接被拒"。而芯片侧其实已自动恢复 +(auto_relisten),应用这一刀纯属帮倒忙。注意:单连接复用本身**不是**错误(主流硬 +TCP 栈全部同形),错的是住户不懂模型就动手。 + +### ④ 三个临时工都在修电梯(多所有者 relisten) + +accept、recv、pending 三处都会"顺手重建监听",谁先看到断连谁动手 → 互相踩脚: +重建风暴、慢消费者还没读完的 EOF 被吞、新客户端数据被旧会话静默吸收。修得越多越乱。 + +### ⑤ 传达员被按在椅子上(队头阻塞) + +一个挂起的对时客户端不发数据 → 旧代码 **30 秒阻塞收**;而 netTask 是**全楼唯一 +传达员**——这 30 秒里 FTP 的开门请求、UI 的连接请求全部排队冻结(E-02 实测 FTP +banner 迟到 25~30 s)。各处还有 500 ms 盲等忙等,传达员频繁"冻结半秒"。 + +### ⑥ 僵尸客人赖着不走(E13:网卡闪断) + +PC 网卡闪断一下 → PC 内核**悄悄把自己的连接记录撕了**(不发 FIN),芯片那头还认为 +"客人正在屋里聊天"(ESTABLISHED)。单连接模型下**唯一的柜台被这个不存在的客人永久 +占用**,真客人来了只得到"连接被拒"。当时看起来像"设备网络莫名死了",其实是 +**和幽灵做生意**。 + +### ⑦ 大爷只会礼貌送客,不会轰人(close 无 RST,手册定案) + +芯片的 close 只发 FIN("您请回吧")。对面**内核活着但程序挂死**时——内核礼貌回 +ACK,但客人**就是不起身**——芯片永远站在门口等(FIN_WAIT_2 长尾,E-02 定案:监听 +恢复受限于对端 close)。它**没有"轰出去"(RST)这个动作**——手册全文 RST 只出现在 +listen 占用与多连接两处。这是芯片天性。 + +### ⑧ 垃圾不清,越扫越脏(残渣风暴态) + +上面每一条的残骸(迟到的 DISCONNECT 锁存、半死 Socket、粘滞中断位)都会**带进下 +一条连接**。所以故障率不是常数:残渣少时 2%,堆起来能摆到 54%(E8 实测)——同一份 +固件时好时坏,看起来像"玄学"。 + +## 2. 全景图 + +![七个误会与逐个拆掉](../../images/网络不稳根因总览.svg) + +## 3. 僵尸会话时间线(误会⑥ 的完整一生) + +```mermaid +sequenceDiagram + participant PC as PC(网卡+内核) + participant CH as CH395F(大爷) + participant NT as netTask(传达员) + Note over PC,CH: 会话正常通信(ESTABLISHED) + Note over PC: 网卡闪断(驱动重启/电源管理) + PC--)CH: 内核撕掉 socket,不发 FIN(静默) + Note over CH: 仍认为 ESTABLISHED,唯一柜台被幽灵占用 + Note over NT: 新连接到达 → 连接被拒(端口"死了") + CH->>PC: keepalive 探测(空闲 60s 起,每 5s,共 3 次) + PC--xCH: 无人认领 → 探测无响应 + CH->>NT: TIM_OUT 中断(≈30~90 s) + NT->>CH: QUARANTINE:sock_reset 排渣(读空→CLOSE→排空→确认) + NT->>CH: relisten → LISTEN + Note over NT: 端口恢复,新客人正常进门 +``` + +## 4. 环 → 拆法 → 落点(对照表) + +| 环 | 拆法(已落地) | 证据/落点 | +|---|---|---| +| ① 丢中断 | 单一 reconciler:100 ms 巡逻对账五种形态,判据读驱动状态缓存 | Trap 22;实验方案 E2(回读 18.1 µs 背书);实施方案 阶段 3 项 1 | +| ② 总闸读清 | 全局寄存器唯一读者=net_poll(F-NET-7);open/relisten 只清本 Socket SINT | Trap 25 B3;实施方案 阶段 0/2 | +| ③ 拆柜台 | 铁律"EOF 不得 close 监听 fd" + 新 API `net_drop_conn`(拆会话保监听) | 生命周期设计说明 §10.10;实验方案 E-02 | +| ④ 多所有者 | 重建收敛唯一所有者(net_listener + reconciler),其余只置事实不动手 | README 结论 4(不变量 II);实施方案 阶段 3 项 1 | +| ⑤ 队头阻塞 | 忙等统一 `net_sock_reset_sync` 有界排渣(600 ms 硬顶);recv 非阻塞消息化 | 实验方案 E-02(banner 39 ms);阶段 1.5 | +| ⑥ 僵尸会话 | keepalive 60/5/3 + 芯片 TIMEOUT → QUARANTINE → 重建(30~90 s 自愈) | 实验方案 E11/E13(用户判断"不该依赖冷启动"被证实) | +| ⑦ 无 RST | 定案入 Trap 07:兜底靠查岗不靠 RST;`net_drop_conn` 本地拆除 + 对账③④ 认领 | Trap 07 定案更正;实验方案 E-02 收口 | +| ⑧ 残渣风暴 | `sock_reset` 标准排渣(读空→CLOSE→排空事件→byte0=00H 确认)+ M3 矛盾态门 | Trap 23/25;实施方案 M3/M5(E8/E9 风暴态免疫) | + +## 5. 一句话总结 + +原来的"不稳" = 芯片天性(丢门铃、无 RST)× 软件形态(靠门铃驱动、人人插手、 +唯一传达员会冻结)× 残渣复利(脏态带进下条连接)。N34 做的事不是修某一个 bug, +而是把每一环改成**不依赖门铃(100 ms 对账)、只有一个主人(单所有者)、永远不冻结 +(有界排渣+消息化)、开张前扫垃圾(sock_reset)**——所以现在的"稳"是结构性的。 + +> 遗留观察项:E6 正在挂机量化"RX 非空但 readable=0"(RECV_OK 中断丢失的数据面 +> 形态)在生产是否真实发生(`NET_U15_PROBE`,实验方案 E6 节)——命中>0 则上层 +> 32 轮盲收内化进 net 层(阶段 3 项 4);=0 则保留现状登记观察。 diff --git a/tools/arch_diagram/gen_net_instability_svg.py b/tools/arch_diagram/gen_net_instability_svg.py new file mode 100644 index 00000000..ee775945 --- /dev/null +++ b/tools/arch_diagram/gen_net_instability_svg.py @@ -0,0 +1,260 @@ +#!/usr/bin/env python3 +# -*- coding: utf-8 -*- +"""生成 docs/images/网络不稳根因总览.svg —— N34 复盘配图(纯标准库)。 + +布局:左列 = 七个误会(问题环,玫红),右列 = 对应拆法(绿),行间水平箭头; +左列环间竖向细箭头 = "叠加累积";底部两个总结盒。 +为什么不用 Mermaid:双列对齐 + 水平映射箭头需要精确布局。 + +用法(仓库根目录,任意 python3): + python tools/arch_diagram/gen_net_instability_svg.py +输出: + docs/images/网络不稳根因总览.svg +改内容时:编辑本文件顶部的 RINGS / SUMMARY 数据后重跑即可。 +""" +import html +import os + +ROOT = os.path.dirname(os.path.dirname(os.path.dirname(os.path.abspath(__file__)))) +OUT = os.path.join(ROOT, "docs", "images", "网络不稳根因总览.svg") + +# ----------------------------- 画布与尺寸参数 ----------------------------- +W = 1560 +PAD = 26 +TITLE_FONT = 20 +SUB_FONT = 13 +BAND_TITLE_FONT = 15 +BAND_SUB_FONT = 11.5 +CHIP_FONT = 13 + +CHIP_H = 34 # 芯片盒高 +CHIP_GAP = 10 # 芯片水平间距 +CHIP_ROW_GAP = 8 # 芯片行间距 +CHIP_PAD = 14 # 芯片内左右留白 +BAND_PAD_X = 16 # 框内左右留白 +BAND_TITLE_H = 32 # 框内标题区高 +BAND_PAD_BOTTOM = 12 +COL_GAP = 128 # 左右列间距(放映射箭头) +ROW_V_GAP = 40 # 行间距(放"叠加"竖向箭头) +TITLE_H = 78 # 顶部标题区高 +SUM_H = 78 # 底部总结盒高 + +FONT = "Microsoft YaHei, Segoe UI, PingFang SC, sans-serif" +C_PROB = "#e11d48" # 问题列(玫红) +C_PROB_BG = "#fff1f2" +C_FIX = "#16a34a" # 拆法列(绿) +C_FIX_BG = "#f0fdf4" +C_GRAY = "#94a3b8" + +# ----------------------------- 数据(改这里) ----------------------------- +# (问题标题, 问题副标, [问题芯片], 拆法标题, [拆法芯片]) +RINGS = [ + ("① 门铃会丢", "Trap 22:丢中断", + ["症状:UI 复连永久拒连、FTP 第 29 轮自己死掉,全程不报一个错", + "机制:快速复连时 INT# 门铃哑火,netTask 只靠门铃干活 → 状态静默滞留"], + "100ms 巡逻对账", + ["单一 reconciler:判据读驱动状态缓存(E2 背书 18.1µs),分级去抖", + "门铃丢了不要紧,每 100ms 亲自数一遍人头"]), + ("② 门铃总闸看一眼就清零", "Trap 25 B3", + ["症状:别的 Socket 的 CONNECT/DISCONNECT 从此永久失踪", + "机制:全局中断寄存器整体读即清,open/relisten 丢弃式读一遍=拔全楼门铃线"], + "总闸唯一读者", + ["F-NET-7:全局寄存器唯一读者=net_poll;open/relisten 只清本 Socket SINT", + "查自己门铃时,不许拔别人家的线"]), + ("③ 柜台和货梯是同一台", "单连接模型", + ["症状:会话 EOF 之后端口「连接被拒」", + "机制:监听 fd == 数据 fd,应用在 EOF 时 net_close = 把柜台连电梯一起拆"], + "送客走正门", + ["铁律:EOF 不得 close 监听 fd;新 API net_drop_conn(拆会话保柜台)", + "net_drop_conn = 优雅 FIN + 本地拆除 + relisten,幂等"]), + ("④ 三个临时工都在修电梯", "多所有者 relisten", + ["症状:重建风暴、慢消费者的 EOF 被吞、新客户端数据被旧会话吸收", + "机制:accept/recv/pending 三处都重建监听,谁先看到断连谁动手互相踩脚"], + "修电梯的只剩一个人", + ["重建收敛到唯一所有者(net_listener + reconciler),其余位置只置事实不动手", + "不变量 II:唯一周期重建决策者(消费者即时重建三处保留,P2a 实测)"]), + ("⑤ 传达员被按在椅子上", "队头阻塞", + ["症状:FTP banner 迟到 25~30 s(E-02 实测),netTask 频繁冻结半秒", + "机制:30 s 阻塞收 + 500 ms 盲等忙等,而 netTask 是全楼唯一传达员"], + "传达员永不离开传达室", + ["忙等统一为 net_sock_reset_sync 有界排渣(600 ms 硬上限),阻塞消息化", + "阶段 1.5:net_recv 默认非阻塞 + net_recv_nb + 60 s tripwire 日志"]), + ("⑥ 僵尸客人赖着不走", "E13:网卡闪断", + ["症状:设备网络「莫名死了」、新连接被拒——在和幽灵做生意", + "机制:PC 网卡闪断,内核悄悄撕掉 socket 不发 FIN,芯片侧仍 ESTABLISHED 占死柜台"], + "查岗处理幽灵", + ["keepalive 60/5/3(E11 实测 ≈30 s 判死)+ 芯片 TIMEOUT → QUARANTINE → 重建", + "自愈 30~90 s,不需要冷启动(E13 台架收口:用户判断正确)"]), + ("⑦ 只会礼貌送客不会轰人", "close 无 RST(手册定案)", + ["症状:FIN_WAIT_2 长尾,监听恢复受限于对端 close(E-02 定案)", + "机制:芯片 close 只发 FIN;对端内核存活但应用挂死 = 回 ACK 却不起身"], + "知道他不轰人,就别指望他轰人", + ["定案写入 Trap 07:兜底靠查岗(keepalive/TIMEOUT),不靠 RST", + "net_drop_conn 本地拆除 + reconciler 形态③④ 认领僵尸态"]), + ("⑧ 垃圾不清越扫越脏", "残渣风暴态", + ["症状:同一份固件故障率 2%~54% 摆动(E8 实测),看起来像「玄学」", + "机制:迟到 DISCONNECT 锁存 / 半死 Socket / 粘滞中断位,被带进下一条连接"], + "开张前把垃圾扫干净", + ["sock_reset 标准排渣:读空 RX → CLOSE → 排空事件 → 确认落地(byte0=00H)", + "M3 矛盾态门 + M5 drain-until-quiescent(风暴态免疫)"]), +] + +SUM_LEFT = ["七环叠加 =「玄学不稳」", + "随机 · 无错误日志 · 时好时坏——每个环节单看都「正常工作」"] +SUM_RIGHT = ["逐环拆掉 = 稳(N34 阶段 0~3 已实施)", + "不依赖门铃 · 唯一主人 · 永不冻结 · 100ms 对账 · 开张前排渣——台架回归全绿"] + +FOOT = ("证据链:docs/问题记录/CH395F_Trap_Records.md(Trap 07/09/14/17/22/23/25) · " + "docs/网络/N34-自愈审计/实验方案.md(E1~E13) · 修复落地见 docs/网络/N34-自愈审计/实施方案.md") + + +# ----------------------------- 工具函数 ----------------------------- +def esc(s): + return html.escape(s, quote=True) + + +def text_w(s, fs): + """粗略估算文本像素宽:CJK/全角/圈码/箭头 ≈ 1.0em,其余 ≈ 0.58em(宁大勿小)。""" + w = 0.0 + for ch in s: + w += fs * (1.0 if ord(ch) >= 0x2460 else 0.58) + return w + + +def chip_w(label): + return text_w(label, CHIP_FONT) + 2 * CHIP_PAD + + +def wrap_chips(chips, avail): + rows, cur, cur_w = [], [], 0.0 + for c in chips: + cw = chip_w(c) + need = cw if not cur else cur_w + CHIP_GAP + cw + if cur and need > avail: + rows.append(cur) + cur, cur_w = [c], cw + else: + cur.append(c) + cur_w = need + if cur: + rows.append(cur) + return rows + + +def band_h(rows): + return BAND_TITLE_H + len(rows) * CHIP_H + (len(rows) - 1) * CHIP_ROW_GAP + BAND_PAD_BOTTOM + + +# ----------------------------- 生成 ----------------------------- +def draw_band(out, title, sub, chips, bx, by, bw, bh, color, bg): + add = out.append + add('' % (bx, by, bw, bh, bg, color)) + add('%s' + % (bx + BAND_PAD_X, by + 22, BAND_TITLE_FONT, color, esc(title))) + if sub: + tw = text_w(title, BAND_TITLE_FONT) + add('%s' + % (bx + BAND_PAD_X + tw + 10, by + 22, BAND_SUB_FONT, esc(sub))) + cy = by + BAND_TITLE_H + for row in chips: + cx = bx + BAND_PAD_X + for c in row: + cw = chip_w(c) + add('' % (cx, cy, cw, CHIP_H, color)) + add('%s' + % (cx + cw / 2, cy + CHIP_H / 2 + CHIP_FONT * 0.35, CHIP_FONT, esc(c))) + cx += cw + CHIP_GAP + cy += CHIP_H + CHIP_ROW_GAP + + +def build(): + out = [] + add = out.append + + lw = (W - 2 * PAD - COL_GAP) // 2 + rw = W - 2 * PAD - COL_GAP - lw + avail_l = lw - 2 * BAND_PAD_X + avail_r = rw - 2 * BAND_PAD_X + + # 预排:每行高度 = 左右两框较高者 + placed = [] + y = TITLE_H + for (pt, ps, pc, ft, fc) in RINGS: + lrows = wrap_chips(pc, avail_l) + rrows = wrap_chips(fc, avail_r) + h = max(band_h(lrows), band_h(rrows)) + placed.append((pt, ps, lrows, ft, rrows, y, h)) + y += h + ROW_V_GAP + sum_y = y - ROW_V_GAP + 26 + total_h = sum_y + SUM_H + 46 + + add('' % (W, total_h)) + add('%s' + % (PAD, 40, TITLE_FONT, esc("为什么网络「一直不稳」——七个误会与逐个拆掉(N34 复盘)"))) + add('%s' + % (PAD, 62, SUB_FONT, + esc("左列 = 根因(比喻 + 机制);右列 = N34 阶段 0~3 的对应拆法;环与环叠加才构成「玄学」"))) + + for (pt, ps, lrows, ft, rrows, by, h) in placed: + draw_band(out, pt, ps, lrows, PAD, by, lw, h, C_PROB, C_PROB_BG) + draw_band(out, ft, "", rrows, PAD + lw + COL_GAP, by, rw, h, C_FIX, C_FIX_BG) + # 水平映射箭头(问题 → 拆法) + ay = by + h / 2 + x0 = PAD + lw + 6 + x1 = PAD + lw + COL_GAP - 10 + add('' + % (x0, ay, x1, ay, C_GRAY)) + add('' % (x1, ay, C_GRAY)) + add('%s' + % (PAD + lw + COL_GAP / 2, ay - 8, esc("拆掉"))) + + # 左列环间竖向箭头(叠加累积) + for i in range(len(placed) - 1): + y0 = placed[i][5] + placed[i][6] + 5 + y1 = placed[i + 1][5] - 7 + ax = PAD + 60 + add('' % (ax, y0, ax, y1, C_PROB)) + add('' % (ax, y1, C_PROB)) + add('%s' + % (PAD - 14, placed[3][5] + placed[3][6] / 2, C_PROB, PAD - 14, + placed[3][5] + placed[3][6] / 2, esc("叠加累积 → 越扫越脏"))) + + # 底部总结盒 + add('' % (PAD, sum_y, lw, SUM_H, C_PROB_BG, C_PROB)) + add('%s' + % (PAD + BAND_PAD_X, sum_y + 28, C_PROB, esc(SUM_LEFT[0]))) + add('%s' + % (PAD + BAND_PAD_X, sum_y + 52, esc(SUM_LEFT[1]))) + rx = PAD + lw + COL_GAP + add('' % (rx, sum_y, rw, SUM_H, C_FIX_BG, C_FIX)) + add('%s' + % (rx + BAND_PAD_X, sum_y + 28, C_FIX, esc(SUM_RIGHT[0]))) + add('%s' + % (rx + BAND_PAD_X, sum_y + 52, esc(SUM_RIGHT[1]))) + + add('%s' + % (PAD, total_h - 16, esc(FOOT))) + + svg = ('\n%s\n\n' + % (W, total_h, W, total_h, FONT, "\n".join(out))) + return svg, total_h + + +def main(): + svg, h = build() + os.makedirs(os.path.dirname(OUT), exist_ok=True) + with open(OUT, "w", encoding="utf-8", newline="\n") as f: + f.write(svg) + import xml.etree.ElementTree as ET + ET.fromstring(svg) + print("OK %d bytes, canvas %dx%d -> %s" % (len(svg.encode("utf-8")), W, h, OUT)) + + +if __name__ == "__main__": + main()