Applications often divide a large task into input and output batches. When input or output space runs out, stream state remembers the progress so a later call can continue with new buffers. Zlib and gzip headers and trailers belong to the same task.
Locate this topic on the global map ↗The first 2 chapters explain algorithms, data layouts, and optimizations. The final chapter connects the proof argument. Read in order or enter from a familiar stage.
- 01IMPLEMENTATION DETAIL↗
Suspension and resumed calls
Continue one decoding task across small output buffers and input batches.
- 02IMPLEMENTATION DETAIL↗
Wrappers, dictionaries, and integrity
Interpret headers, trailers, dictionary requests, and integrity information.
- 03PROOF ARGUMENT↗
The cross-call proof argument
Explain how pausing and resuming preserve completed work and correct output.