Loading...

Perl 14：稳定报表不能依赖哈希遍历顺序

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

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

四条已接受 Course 记录的等级分别包含 INFO、WARN、INFO、ERROR。计数放进哈希很自然，但键的遍历顺序不是报表协议。perldata 的 hash initializer 提醒：写入顺序不保证取出顺序。依赖 keys %counts 偶然排列出来的一次输出，会在另一个哈希种子、另一个进程或代码变更后使同一份数据产生不同报表。

当前 Course 入口不再走旧 LogTool::report，而是在 examples/perl-language/bin/logtool 的 report 命令中创建 LogTool::Course::Aggregator，调用 $aggregator->rows 取已经排序的行。tools/replay.pl --case all 对 fixtures/course.tsv 的完整链路断言报表字节必须等于：

TOTAL	4
ERROR	1
INFO	2
WARN	1

这个顺序与输入顺序无关：输入第一条是 INFO，第二条是 WARN，第四条是 ERROR；报表仍按等级名排序。course-engineering.t 还断言对象聚合器与函数聚合器等价、第二个聚合器实例不共享计数、rows 返回调用者拥有的副本。排序机制来自实现与这些断言，不来自某次哈希种子的幸运排列。

空结果还有一个细节：report 面对空 JSON Lines 会输出 TOTAL<TAB>0<LF>，不像 query 的无匹配结果可以是空 JSON Lines。两者是两个命令的不同契约。本章验证的是确定性文字和字节顺序，并没有声称报表目标文件遇到写入失败仍安全，也没有验证断电后的落盘保证。文件写入、rename、锁和故障矩阵由 32、38、39 继续限定。

练习：若有人把聚合器里的排序改成裸 keys %counts，一次成功运行能否证明报表仍确定？不能；比较金标可能抓到差异，但判断是否遵守协议要先审查排序是否被明确编码。复跑证据见 completion/evidence/semantics/*replay-all.*；参考 Perl 5.38.2 pod/perldata.pod（hash initializer）、pod/perlfunc.pod（keys 与 sort）。

Author: magicliang

Link: https://magicliang.github.io/2026/10/06/Perl-14-%E7%A8%B3%E5%AE%9A%E7%9A%84%E6%8A%A5%E8%A1%A8%E9%94%AE%E9%A1%BA%E5%BA%8F/

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

Perl 5 确定性输出

Related Articles

Perl 07：给 $_[0] 赋值可能改掉调用者

数据规范化需要把一个服务名转成另一种写法，但把“返回规范值”误写成“修改第一个参数”，调用者原先的记录就被污染了。在没有 signatures 的传统子程序里，@_ 的元素可能是调用参数的别名；这不等同于一个完全独立的形参数组。 examples/perl-language/experiments/07-arguments.pl 用一个可写的变量调用 mutate_argument($service)，子程序写 $_[0] = 'worker'。实测 STDOUT 第一行 after-alias=worker；第二个函数先用 my ($service) = @_ 接收值，再把局部变量改成 cache，返回 local=cache，外面的值仍是 after-copy=worker。该演示只展示了可写标量变量作为实参的情况；如果传不可写常量，修改可能直接报错。局部复制也不是深拷贝：实参若是可变对象的引用，复制后的引用仍能改动同一目标。因此日志工具把调用契约写到数据结构边界：format_record($record) 接收记录引用，只读取固定字段；read_records($pat...

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 32：报表的顺序必须进入字节契约

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 c...

Perl 原定 E07：SV、AV、HV 与 op tree 只能作诊断证据

Perl 代码里的标量、数组引用和哈希引用，在解释器内部分别会落到 SV、AV、HV 等结构；表达式会编译成 op tree。B 和 Devel::Peek 能把这些诊断信息打印出来，但它们不是跨版本 API。课程可以用它们解释“为什么引用只是指向内部值的句柄”，不能把某一行 dump 当成业务契约。累计实验 examples/perl-language/experiments/course-internals.pl 用 B::svref_2object 查看 INFO、[1,2]、{INFO=>2}，得到 PV、AV、HV 一类名称；再用子进程执行 Devel::Peek::Dump 保存真实输出，检查其中含 PV 与 REFCNT。另一个子进程运行 B::Concise -exec 解释 my ($x, $y) = (1, 2); print $x + $y，证据文件保存完整 op tree。 123454 <$> const(IV 1) s5 <$> const(IV 2) s6 <0> padrange[$x:1,2; $...

Perl E04：三个坏样本只是警报，不是复杂度证明

第 19 篇把 \A(a+)+\z 和 \Aa+\z 放在短输入末尾追加 X 的拒绝场景中对照。选修复跑仅取 6、8、10 个 a：两个模式都拒绝，程序打印组合分割数 32、128、512。这个数来自数学上的 2 ** (size - 1)，不是 Perl 引擎实测尝试次数、耗时曲线，更不能由一次执行推出任意长输入的复杂度。对抗样本被刻意限在 10 个 a 以内。另一个反例更可直接观测：在 aXb a.b 中把动态字面数据 a.b 不加引号地插入正则，. 会匹配 X，得到 unquoted=aXb；使用 \Q$needle\E 才得到 literal=a.b。动态模式若来自用户输入，不应该无条件当作正则语法。正例是受限样本全部拒绝且程序有界完成，反例是未经转义时误匹配，两者在 experiments/16-20-patterns.pl 分别可重跑。练习：为了“证明”回溯严重性，把输入从 10 个 a 改成 100 万个再计时是否合理？不合理：执行可能没有受控时间边界，单次耗时也不构成复杂度证明。想论证引擎行为，需要版本明确、隔离资源、设计输入规模和重复测量，避免把推导的分割数...

Perl 15：查询不到记录，不等于输入无效

Course 合成输入先经 import 变成 accepted/rejected 两份 JSON Lines。查询只读 accepted：不带条件的 query 输出全部四条；--level WARN 只输出 WARN；--min-duration 0 输出 duration 为数字且大于等于 0 的三条，排除 duration_ms:null；--contains '.*' 只匹配消息里真的含有点星两个字符的 ERROR 记录。查询条件为空、查询结果为空、输入无效，是三个不同状态。 examples/perl-language/bin/logtool 的查询路径先用 read_jsonl($input) 校验所有 JSON Lines，再构造 make_filter(%conditions)。level 只能是 INFO/WARN/ERROR；min-duration 必须是无前导零的非负整数；contains 是字面包含，不当作正则。tools/replay.pl --case all 覆盖 query-all、query-zero、literal-pattern、inva...

Loading Database