validationP4E4validated · partial2026-10-19

写入率五轮通过限定E4;交付欠项保留

验收决定与适用范围

文档类型devlog。同一AI按Owner授权依次承担方案、实现、测试与分离复核,无子代理。基线efbd201f,唯一指标ios.process.disk.write_rate。Lead依据已落盘方案、新独占lab16-formal-a01完整五轮、逐轮原件/第二数学/实际44Core三复核及最终分离审核,判定PASS(限定E4 candidate异常偏离、来源一次发表与连续性)。整体验收从29/66增至30/66、剩36,历史已验指标不重测。整机网络发送率尚未开始。

仅适用设备A/目标App A自有Lab固定140秒写场景;不证明NAND物理吞吐精度、Sysmontap私有producer与self API等价、多设备/高热场景或正式分发。软件、开销和诊断只作准备。Owner已允许保留网站/通知/镜像欠项继续,指标结论与交付状态分别报告。

方案、实际实现与偏差

Canonical全过程:写入率方案与实际增量。ARM192新增write独立FIFO6、精确UInt64累计及设备Mach时钟差分、ready锚定1Hz来源一次发表和1.5秒TTL/原生窗;Swift只跳过明确null/not-due,真实missing/重复/大gap断线。读取率tracker和负载引擎字节未改,read/write发表状态隔离。

自有Lab16新增独占32MiB ring,写前F_NOCACHE、256KiB pwrite、1MiB固定缓冲、阶段fsync、关闭后流式SHA;早期fsync失败计数与首errno独立保留,后一次成功不抹掉。self参考为proc_pid_rusage(RUSAGE_INFO_V2).ri_diskio_byteswritten,实际SDK ABI160B/offset152,100Hz Mach绝对等待、超期跳过。工作返回量与系统累计分列,不把实际write量当参考真值。

GUI屏外LazyVStack节点缺失不能推定未选:原一次Disk选择移除后按真实回执恢复,正式前改核实际session-plan的write请求及Disk显示组;此修正在输入冻结前完成。独立开销review迁移时曾误将Read列写成第二Write列,先修固定11列schema再执行真机开销。基准输入/政策键、Mac安装前置与cadence运行器配置失败全部保留;未放宽120分母、误差或资源门。详见方案增量。

新正式五轮

新连接真实59活动/161导出、五新名不存在;125件/46,424,931B源host SHA绑定容量准入。正式prefix为disk-write-20261019-lab16-formal-a01,冻结ARM192、Lab16与全部执行/复核/Core源码pins,每轮前实测600秒冷却,五不同生命/Session,Start/Stop/配方各一次。无重放、拼接或补轮,首失败停规则未触发。

轮新值 / 槽 / 普通未评估 / 普通偏离 / 严重 / 来源违规正参考 / 产品正值执行秒峰RSS字节
1120 / 120 / 1191 / 0 / 0 / 089 / 89161.145126,681,088
2120 / 120 / 1191 / 0 / 0 / 089 / 89151.718128,598,016
3120 / 120 / 1191 / 0 / 0 / 089 / 89157.394123,437,056
4120 / 120 / 1154 / 1 / 0 / 087 / 87160.050131,842,048
5120 / 120 / 1146 / 0 / 0 / 085 / 85158.612125,075,456

每轮固定ready+[15,135)s的120 due机会/120槽。原门为来源/完整≥119、普通≥114、gap≤2秒、连续偏离≤2、严重含尾段0、来源违规0、正参考≥5且产品正值≥1;全部成立。总600新值/600槽/586普通,13未评估及1普通偏离原样保留,严重与来源违规0,最大gap分别为[1.0, 1.0, 1.0, 1.0, 1.0]秒;正参考合计439。端点/内部gap≤30ms、参考包络宽≤max(256KiB/s,15%中点)逐窗成立才可比较,普通/严重外扩分别为max(256KiB/s,15%)/max(512KiB/s,30%);不按产品值挑点或删除转场/尾部。

每轮参考实际点数见下表,完整read/encode/append成本mean/P95≤1ms;最大成本单列,不宣称所有调用≤1ms。

轮参考点数mean msP95 msmax ms
1140000.2562530.3945421.021125
2140000.2583050.3955423.407667
3140000.2589490.3982921.473583
4140000.2536410.3877082.913292
5140000.2601380.3999583.641375

分离复核与证据链

第4轮包含1个普通偏离而非全相容:约469,464B/s差值超过普通262,144B/s门、未超严重524,288B/s门;仍按原分母保留且最长连续1,未因偏离改判未评估。未评估原因逐轮记录在公开机读,不推测唯一producer根因。

逐轮核保留原件/副本SHA、封口、SQLite、Raw/live、CSV/JSONL;独立第二实现以整数/有理数按设备时间括参考端点,不导入产品公式;实际44Core模型/Codable/CSV/JSONL核全部样本。最终再核五唯一生命/Session、固定门、各步finite guard、所有冻结源码与当前原件/副本SHA:160件/188,530,261B。最终审核0.244秒/峰19,234,816B、0手机调用;监督0.284秒/峰19,283,968B,在120秒/192MiB内。工具reviewPassed只作证据,Lead在本页单独作出验收决定。

机读决定:internal/handoff/disk-write-1hz-lab16-final-review-2026-10-19.json。原始选择、真实身份、证书、run/Session与全部失败只留私有attempt。准备归档:方案、实现及失败/准备/逐轮进度。旧机资料核SHA前不清理。

软件、效率及继承风险

包、保全及交付状态

ARM192完整构建、三套ARM闭包/包内Core逐模块、strict签名/实际leaf、DMG独立挂载、标准唯一安装12,931文件/链接与15,131模式核同成立。包为Owner已授权仅本机内部Apple Development,Gatekeeper3、公证暂缓;Developer ID和GPL正式分发门仍开。实际包MacApp/dist/Perfowl-1.0.0-192-arm64-internal.dmg,115,421,818B,SHA256 7571b8fe9760a913b7fbaaaba3ab95996134c1e8f512f1f063e72e5bae59c660;旧191必要回滚私有保留,不另安装。

Lab16仅一次同址Upgrade;旧全Documents2571件/3,567,407,987B升级前后源host SHA核同。旧read六run42件/277,729,718B、新write六准备run42件/11,533,001B分别核SHA后同容器rename保留,删除0、导出原位;真实枚举后才生成五空位收据,不以预计数量替代容量。

文档/知识/总表/Home/归档及本地站点、提交双推结果在本批收尾据实记录。GitLab每批只一次;网站和Webhook缺配置沿用Owner决定partial,不重复催配、不称已发布/已通知。最终提交/远端与产物收据保留私有,不预造成功。下一指标仅ios.device.network.send_rate,须另立公式、来源/独立参考与负载方案后推进;当前尚未开始。

Delivery Update · 2026-10-19 · 活动与空间收尾

新只读检查确认Lab16、实际64活动且五新正式run仍在,全活动封口/released、自有App idle、无pending;0安装/启动/信号/写入,无新容量收据。后续指标须重新保全归位及真实容量准入,不能以本次满容量直接启动。批末空间与本formal增长已记私有收据,全部Raw、失败、引用与回滚保留,删除0;旧机未清理。冻结工具README的0/5是本批软件准备快照,最终状态以本页和机读决定为准。