Loading...

Perl 32：报表的顺序必须进入字节契约

Created2026-10-06|Updated2026-10-18|Perl

|Word Count:489|Reading Time:1mins|Post Views:

LogTool::Course::Aggregator 按等级累计计数时，内部可以用散列；但报表协议不能暴露散列遍历顺序。当前 Course 入口固定 TOTAL 在第一行，出现过的等级按 rows 返回的排序行输出，行尾是 LF，字段隔符是 TAB，最后显式编码为 UTF-8。fixtures/course.tsv 通过 import 后有 4 条 accepted 记录，报表金标是 TOTAL<TAB>4、ERROR<TAB>1、INFO<TAB>2、WARN<TAB>1，每行后跟 LF。未出现的等级不输出零计数行，只有 TOTAL 总是存在。

examples/perl-language/bin/logtool report --input accepted.jsonl 不另造一套统计规则：它读取 JSON Lines，向 LogTool::Course::Aggregator 逐条 add，再把 TOTAL 与排序后的 rows 拼成 TSV 字符串。tools/replay.pl --case all 的 report case 逐字节比对该金标，并记录 stdout SHA-256：系统 Perl 5.34 与精确 5.38.2 复跑均得到同一个报表 SHA-256 505cc75323483dc3a7dcece7815c7bbc80623b5f06bab0ca2a892f7f265fde52。

图：JSON Lines 聚合成确定性报表字节

1
2
3

accepted JSONL -> read_jsonl -> Aggregator->add
                                  |
                                  +-> TOTAL + sorted rows -> encode UTF-8 -> STDOUT / --output

守恒反例也进入 replay：bad-json 不能生成部分报表，missing-file 不能假装空输入成功，input-output-alias 不能把输入文件也当输出目标。旧报表保护由 tools/replay.pl 的 bad-json case 写入 OLD 后复查；文件发布细节再由 cli-faults.py 和工程测试覆盖 close、rename、目录输出、缺父目录等边界。这里的结论只到“报表字节顺序和失败不覆盖旧目标已复跑”，不宣称断电持久化。

练习：若输入本来没有 DEBUG，还需要写 DEBUG<TAB>0 吗？依本工具金标不需要；要改这个决定，就必须改数据契约、replay 金标和报表出口，不能只给其中一个命令补行。复跑证据见 completion/evidence/semantics/*replay-all.*；参考 Perl 5.38.2 pod/perlfunc.pod 的 sort、rename，以及 pod/perlunicode.pod 的编码边界。

Author: magicliang

Link: https://magicliang.github.io/2026/10/06/Perl-32-%E7%A1%AE%E5%AE%9A%E6%80%A7%E6%8A%A5%E8%A1%A8%E4%B8%8E%E5%AD%97%E8%8A%82%E9%87%91%E6%A0%87/

Copyright Notice: All articles on this blog are licensed under CC BY-NC-SA 4.0 unless otherwise stated.

Related Articles

Perl 36：拒绝超大文件，不等于已经是流式解析器

当前 read_records 读取整个文件并保留数组，report_rows 再遍历数组计数。若对任意大文件沿用这个设计，内存会随记录数增长。本工具在打开文件后先检查大小，并逐行累计已读字节：超过 1_048_576 字节就拒绝，不发布任何结果。测试合成一份恰好 1_048_577 字节的普通文件，执行 import 的 STDOUT 空、STDERR input exceeds 1048576 bytes\n、退出 2；三条金标输入则照常完成。限额是输入策略，不是渐进复杂度证明。 readline 仍可能在检查累计量之前一次分配整条长行；文件还可能在 -s 检查后被其他进程增长。现在只把这个上限用于受控、稳定的普通合成文件，不宣称对敌对流或并发改写输入给出严格峰值内存上界。若真的需要持续处理流，必须改变存储模型和验证顺序，还应说明输出排序是否允许单遍完成。这里也没有用一次小样本耗时宣称常数空间或线性复杂度。练习：只加 die if @records > 1000，能限制一条巨长 message 引起的内存风险吗？不能；条数上限不等于字节上限。生成拒绝样本的语句、金标以...

Perl 28：读到 undef 还不能宣告输入结束

对三行样本执行 import，读完、解析、关闭后输出 IMPORTED\t3\n。但“打开成功”不保证“读取成功”：在本机 Linux，open my $input, '<:raw', '.../fixtures' 对目录可成功，第一次 <$input> 随后返回 undef，$! 是 Is a directory。原来的 while (<$input>) 把这一回当 EOF，甚至可能输出 IMPORTED\t0。这不是解析错误，而是 I/O 错误被错误地翻译为有效空文件。现在逐次 readline 前清 $!；若返回 undef，先检查 $!，有错误则停止并诊断，只有没有错误才视为 EOF。读完仍检查 close，不能将关闭失败当作成功。针对目录的反例实测 STDOUT 0 字节、STDERR cannot read input: Is a directory\n、退出 2；普通合成文件正例返回 0、STDERR 0 字节。目录的这一行为只在冻结 Linux 环境测过，别的平台不能由此推定。 123456$! = 0;my $bytes = &l...

Perl 33：先写临时文件，最后才触碰有效报表

如果 report-file 一开始就以 > 打开已有目标，任何后续解析、写入、关闭错误都可能只留下截断文件。当前流程先把输入完全读完、校验并编码，再在目标同一目录写独占临时文件；print 和 close 都确认成功后才 rename 覆盖目标。只有 rename 返回成功，CLI 才发出 SAVED\n。之前生成的有效目标不会在“输入刚报错”时被打开。图：临时文件检查完成后替换目标 12345校验输入 -> 生成全部字节 -> 同目录新文件 -> 检查 print/close | 失败：删临时文件，旧目标不变 | 成功：rename 替换旧目标 t/32-36-safe-report.t 首先写入 golden/report.txt，再用 invalid.tsv 重试：命...

Perl 原定 E03：SQLite 事务和绑定参数要一起验证

DBI 把连接、预处理、绑定参数和事务边界分成不同层。DBI->connect('dbi:SQLite:dbname=:memory:', ...) 得到数据库句柄；begin_work 关闭自动提交直到 commit 或 rollback；? 占位符由驱动绑定值，不把字符串拼进 SQL。只证明 SELECT 1 能跑，不足以覆盖课程里的工程用法。累计实验 examples/perl-language/experiments/course-sqlite.pl 创建内存表 events(level, message)。第一段事务插入 INFO/kept 后 commit，第二段插入 ERROR/rollback 后 rollback；最后 SELECT COUNT(*) 只剩一行，按绑定参数查询 level = ? 返回 kept。t/course-dependencies.t 同样断言回滚行消失、参数化查询返回预期计数。 123456my $payload = q{x' OR 1=1 --};$dbh->do('INSERT ...

Perl 01：作用域是解析边界，warnings 不是校验器

同一行日志里有服务名 api，解析函数里也可能临时使用 service。如果读取、解析、筛选都读写同一个包变量，后一次处理就可能改变前一次的状态。my 给每个词法作用域一个局部名字，use strict; use warnings; 则让未声明名字早暴露，并显示可疑转换；它们并不自动保证输入符合日志格式。 examples/perl-language/experiments/01-scope.pl 在外层声明 $service = 'api'，内层再声明一个 $service = 'worker'。运行 perl examples/perl-language/experiments/01-scope.pl，STDOUT 为 inside=worker、outside=api 两行，STDERR 空，退出码 0。输出证明了这两个声明的遮蔽范围；它没有证明任何输入已经通过字段校验。正式工具的 LogTool::read_records 让文件句柄、行号、@fields 和输出记录局限在一次调用中，返回数组引用，不把当前行留在包级变量里。反例运行 perl -we 'use stri...

Perl 41：引用生命周期与析构边界

原定第 31 章要求把引用计数、循环引用、析构和关键写入的显式 close 分开。Perl 传统对象只是被 bless 过的引用；对象何时销毁，取决于引用何时归零。experiments/course-lifecycle.pl 定义 CourseLifecycle::Node，在 DESTROY 中记录节点名。单个节点离开作用域后，计数从 0 变成 1，说明普通引用归零会触发析构。第二个场景创建 cycle-left 和 cycle-right，两者互相保存强引用。离开词法作用域后，外部变量没了，但两个对象仍互相引用，DESTROY 计数不增加。这个反例不是内存 profiler，也不证明泄漏规模；它只说明“离开作用域”与“引用计数归零”不是同一件事。若对象持有文件、锁或临时路径，把释放责任只放在 DESTROY 里，就可能被引用环拖住。第三个场景把其中一条边改成 Scalar::Util::weaken。弱引用不增加引用计数；作用域结束后两个节点都能销毁，计数增加到 3。这个实验给出的是本机 Perl 5.34/5.38 兼容的核心模块行为，不扩展到所有引用图，也不把弱引用...

Loading Database