Loading...

Perl E08：解包能复跑，与断电能恢复是两张验收单

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

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

交付有两个容易混淆的方向：素材包能否离开工作树解开后复跑，报表目标在故障后能否保持有效。前者由第 00 篇素材目录中的完整包承担，要求工具源码、隔离 Text::CSV、合成输入、金标、RUN.md、VERSIONS.md、证据和测试都进包，并在全新目录实跑 prove -r；第 37 篇的 MakeMaker distribution 则是另一份安装练习。两者不能互相替代。

正常写入路径下，report-file demo.tsv DEST 退出 0，STDOUT SAVED\n，目标是完整金标。反例用 invalid.tsv 重试：状态 2、STDOUT 空、STDERR line 1: invalid record\n，旧金标可再次打开核对。rename 失败时旧产物仍保留；但这些运行是在操作系统正常工作的场景。真断电后的目录项持久性和重启恢复 NOT_RUN，无文件与目录 fsync 协议就不能对硬件掉电给出保证。也没有真实云端安装、其他平台重试证据。

图：制品复跑与断电恢复的不同步骤

1
2
3

可复跑：发布包 -> 摘要核验 -> 解压 -> prove -> 输出与金标
可恢复：写出 -> 数据同步 -> 目录同步 -> 故障注入 -> 重启核验
             后一条在本系列尚未实施，不能打勾

练习：把临时文件放在另一块挂载卷，再 rename 覆盖目标，能否照搬本机同目录原子替换结论？不能；跨设备 rename 不保证成功，需专门设计并测平台策略。已执行与 NOT_RUN 项分别记录在 examples/perl-language/evidence/E01-E08.md，参考 Perl 5.38.2 pod/perlfunc.pod 的 rename 及 pod/perlport.pod。

旧代码迁移的恢复边界也单独留证。course-legacy.pl 先跑全局路径、全局文件句柄和二参数 open 的 legacy 计数，再跑显式路径参数、词法文件句柄和三参数 open 的迁移版本；两者计数相同，TAP 还分别断言“隐式全局依赖被参数替代”“二参数 open 被三参数 open 替代”“全局文件句柄被词法文件句柄替代”。这只能证明小样本迁移前后行为一致，不证明任意旧脚本都可自动迁移。

Author: magicliang

Link: https://magicliang.github.io/2026/10/06/Perl-E08-%E5%88%86%E5%8F%91%E4%B8%8E%E6%81%A2%E5%A4%8D%E4%BF%9D%E8%AF%81%E8%BE%B9%E7%95%8C/

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

Related Articles

Perl 24：让 --help 从工具自身的 POD 解释失败状态

脚本长到有五个子命令后，光给出一串参数名不够。调用者需要知道 UTF-8 输入的四列、空结果状态、服务名规范化和报表是否写文件；如果帮助只说明“按日志统计”，运维程序可能把空查询与解析失败当成一回事。 CLI 在 __END__ 后保留 NAME、SYNOPSIS、DESCRIPTION 三段 POD；--help 由随 Perl 安装的 Pod::Usage 2.03 读取同一文件生成文本。实际运行 perl examples/perl-language/bin/logtool.pl --help：STDOUT 从 NAME 开始并列出 report-csv FILE 与空集的状态 0 等契约，STDERR 空、退出码 0。起初直接要求 verbose 2 时，环境里的 perldoc 命令提示没有安装 perl-doc 包，虽有输出却污染 STDERR；改为 -noperldoc => 1 后用内置解析器生成同一份 POD，不靠关闭警告假装无故障。反例 --help unexpected 不会静默忽略多余参数：STDOUT 空，累计版本的 STDERR 是 usage...

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 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 35：锁文件不应该随报表一起替换

两个进程同时打开旧报表再在旧 inode 上加锁，随后若其中一个执行 rename，另一个可能继续锁着已经脱离目标路径的 inode。save_report 因此锁定稳定的 DESTINATION.lock 旁路文件；持锁期间写临时文件并替换，退出时关闭锁句柄，却不删除锁文件。两个协作进程分别报告 SAVED\n、状态 0，最后的目标只与两个完整的报表金标之一相同；测试不假设哪个进程最后取得锁。这不是全局互斥。反例持有 DESTINATION.lock 的排他锁，同时用普通 open '>' 覆写报表为 BYPASS\n；它仍可成功。Perl 5.38.2 pod/perlfunc.pod 的 flock 也注明锁通常是 advisory：不遵守协议的写入者不会被自动阻止。测试再由协作命令恢复金标，确认锁文件本身未被替换。锁范围覆盖单次写入和 rename，不涵盖读取输入；每个进程先独立解析全部记录。对抗目录、符号链接或分布式文件系统的竞态与锁语义仍未测。练习：为了“清理临时文件”，顺便 unlink DESTINATION.lock 会怎样？下一进程可能锁住新建的另一...

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 16：只在本次匹配成功的分支使用捕获

消息 id=abc-01 能拆成 id 和 abc-01；消息 id= 不能变成一条没有值却被接受的记录。正则既要覆盖整个字段，又必须让后续代码只在匹配成功的分支使用捕获结果。用一个成功匹配后的 $1 再去检查失败匹配，是把上一次状态误当成这一次数据。实验 perl examples/perl-language/experiments/16-20-patterns.pl 16 运行锚定在 \A、\z 的 (?<key>[a-z]+)=(?<value>[a-z0-9-]+)：STDOUT 是 accepted:id:abc-01 与 rejected:id= 两行，STDERR 空，退出码 0。代码仅在 if ($message =~ /.../) 成功时读取 $+{key}、$+{value}。这是一段消息子语法的实验，不是说整行 TSV 都该换成一条大正则。日志字段数、时间和等级仍遵守之前的解析契约。图：消息子语法的匹配与捕获分支 123原始合成行 -> 固定四列 -> message 字符串 ...

Loading Database