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

块与压缩输出

把选好的符号写成压缩块,并安全交给调用者。

这一环节的任务

码字长短不一,应用接收的却是整字节。这个组件选择块的表示,把编码接成字节,暂存尚未交付的部分,再随调用者提供空间逐步交付。

在全局图中定位 ↗

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

  1. 01
    算法精读

    块选择与符号成本

    比较同一份输入的三种块表示,解释何时值得发送新编码。

    ↗
  2. 02
    算法精读

    位输出与字节缓冲

    把长短不齐的码字接成字节,再交给调用者。

    ↗
  3. 03
    算法精读

    共享存储与输出前缀

    理解共用一块内存时,怎样保护尚未读取的符号。

    ↗
  4. 04
    证明思路

    压缩输出的证明思路

    说明从符号到输出的每次写入怎样保留正确含义。

    ↗
ZLIB × LEAN

全局目录

当前位置块与压缩输出