跳到正文
ZLIB × LEAN / 算法精读与验证

流式状态与封装

理解同一任务为什么需要多次调用,以及暂停后怎样继续。

这一环节的任务

应用常把大任务拆成多批输入和输出。输入暂时不够,或本轮输出空间用完时,流状态记住处理到哪里;下一次换了缓冲区仍能继续。zlib 与 gzip 的头尾信息也沿同一个任务处理。

在全局图中定位 ↗

前 2 章先展开算法、数据布局与优化,最后一章连接证明思路。可以按顺序读,也可以从已经熟悉的阶段进入。

  1. 01
    算法精读

    暂停状态与调用接续

    用小输出缓冲区和分批输入,继续同一个解压任务。

    ↗
  2. 02
    算法精读

    封装、字典与完整性检查

    识别压缩数据的头尾、字典请求和完整性信息。

    ↗
  3. 03
    证明思路

    跨调用的证明思路

    说明暂停再继续怎样保留已经完成的工作和正确输出。

    ↗
ZLIB × LEAN

全局目录

当前位置流式状态与封装