窗口和内部状态需要分配，也可能在中途分配失败。初始化、重置、复制和结束操作共同决定哪些内容可以保留、哪些必须清理。
在全局图中定位 ↗前 2 章先展开算法、数据布局与优化，最后一章连接证明思路。可以按顺序读，也可以从已经熟悉的阶段进入。
ZLIB × LEAN / 算法精读与验证
状态操作与资源生命周期
开始、复用、复制和结束任务，同时处理分配失败。
开始、复用、复制和结束任务，同时处理分配失败。
窗口和内部状态需要分配，也可能在中途分配失败。初始化、重置、复制和结束操作共同决定哪些内容可以保留、哪些必须清理。
在全局图中定位 ↗前 2 章先展开算法、数据布局与优化，最后一章连接证明思路。可以按顺序读，也可以从已经熟悉的阶段进入。