代码风格:能让工具管的,就别用人管
让工具管格式、人管意图——实测一个纯格式化提交会劫走 86 行文件里 21 行的 blame 归属(`git diff -w` 只能救回 2 行),而它改动前后的机器码 162 条指令逐字节相同。
让工具管格式、人管意图——实测一个纯格式化提交会劫走 86 行文件里 21 行的 blame 归属(`git diff -w` 只能救回 2 行),而它改动前后的机器码 162 条指令逐字节相同。
实测 6 个纯函数、30 条断言拿到 100% 行覆盖、92.86% 分支覆盖,但 11 个人为植入的缺陷只杀掉 7 个(63.6%);补 3 个测试后覆盖率只涨 0.47 个百分点,变异杀死率涨 27.3 个百分点(10/11)。
实测:本机 ARP 表在 /24 里学到 69 个邻居;一次失败解析发出两条间隔 17 微秒的 who-has 后邻居状态变 Unreachable;9000 字节 MTU 的边界是 8972 能过、8973 报"需要拆分数据包但是设置 DF";12 秒混杂抓包里出现 0 个 802.1Q 帧和 4 个 255.255.255.255 广播。
实测:本机 40 条 IPv4 路由里 21 条是 /32,五个子网广播地址由"IP & ~掩码"手算后与内核路由逐条对上;ICMP 差错报文被内核截到 576 字节(正好等于 netsh 里的"最小 MTU");突发 1000 个 UDP 包只生成 194 条端口不可达;ttl=1 的探测在本机拿到的是 type=0 回包,抓包里 0 条 type=11。
本机 Npcap 实测:1 字节应用数据在回环上是 45 字节帧、在 9000 MTU 链路上封装成 9000 字节帧(MSS 8960);一次完整 TCP 生命周期只用 9 帧 452 微秒;非管理员权限也能直接调 wpcap.dll 抓包。
实测:本机 TIME_WAIT 只停留 119–120 秒(不是资料里常见的 240 秒);backlog=5 时 40 条 SYN 里只有 5 条拿到 SYN/ACK,另外 35 条被 RST,而应用要等 2.03–2.07 秒才收到 10061;服务端带着未读数据 close 会让对端拿到 10054 而不是 EOF,且两侧都不产生 TIME_WAIT;每请求新建连接的成本是复用的 5.9 倍;保活探测实测周期 3.01 秒、对端 19 微秒内用 SACK 确认那 1 个字节。
实测:申请 1 字节也占 4096 字节,粒度 65536 只管基址对齐;一个空进程 107 个区域、提交 9.8MB 却"仅保留"4136.8MB;32MB 匿名内存提交时缺页 0 次,冷触碰 1147 纳秒/页、热触碰 12 纳秒/页(95 倍);malloc(1) 实付 18.1 字节,free 20 万块后仍多占 1.71MB。
实测:主线程栈的已提交窗口 20480 字节、下面紧一页 PAGE_GUARD,递归 200 层后窗口变 839680 字节、缺页计数 +205,护栏页跟着往下跑;一次纤程切换 42.8 纳秒、100 万次内核上下文计数只 +11;Sleep(0) 每次让出恰好 1 次上下文切换(0.90–1.11 次/调用)。