1 |
|
2 |
|
3 |
|
4 |
|
5 |
|
6 |
|
7 |
Network Working Group P. Deutsch |
8 |
Request for Comments: 1951 Aladdin Enterprises |
9 |
Category: Informational May 1996 |
10 |
|
11 |
|
12 |
DEFLATE Compressed Data Format Specification version 1.3 |
13 |
|
14 |
Status of This Memo |
15 |
|
16 |
This memo provides information for the Internet community. This memo |
17 |
does not specify an Internet standard of any kind. Distribution of |
18 |
this memo is unlimited. |
19 |
|
20 |
IESG Note: |
21 |
|
22 |
The IESG takes no position on the validity of any Intellectual |
23 |
Property Rights statements contained in this document. |
24 |
|
25 |
Notices |
26 |
|
27 |
Copyright (c) 1996 L. Peter Deutsch |
28 |
|
29 |
Permission is granted to copy and distribute this document for any |
30 |
purpose and without charge, including translations into other |
31 |
languages and incorporation into compilations, provided that the |
32 |
copyright notice and this notice are preserved, and that any |
33 |
substantive changes or deletions from the original are clearly |
34 |
marked. |
35 |
|
36 |
A pointer to the latest version of this and related documentation in |
37 |
HTML format can be found at the URL |
38 |
<ftp://ftp.uu.net/graphics/png/documents/zlib/zdoc-index.html>. |
39 |
|
40 |
Abstract |
41 |
|
42 |
This specification defines a lossless compressed data format that |
43 |
compresses data using a combination of the LZ77 algorithm and Huffman |
44 |
coding, with efficiency comparable to the best currently available |
45 |
general-purpose compression methods. The data can be produced or |
46 |
consumed, even for an arbitrarily long sequentially presented input |
47 |
data stream, using only an a priori bounded amount of intermediate |
48 |
storage. The format can be implemented readily in a manner not |
49 |
covered by patents. |
50 |
|
51 |
|
52 |
|
53 |
|
54 |
|
55 |
|
56 |
|
57 |
|
58 |
Deutsch Informational [Page 1] |
59 |
|
60 |
RFC 1951 DEFLATE Compressed Data Format Specification May 1996 |
61 |
|
62 |
|
63 |
Table of Contents |
64 |
|
65 |
1. Introduction ................................................... 2 |
66 |
1.1. Purpose ................................................... 2 |
67 |
1.2. Intended audience ......................................... 3 |
68 |
1.3. Scope ..................................................... 3 |
69 |
1.4. Compliance ................................................ 3 |
70 |
1.5. Definitions of terms and conventions used ................ 3 |
71 |
1.6. Changes from previous versions ............................ 4 |
72 |
2. Compressed representation overview ............................. 4 |
73 |
3. Detailed specification ......................................... 5 |
74 |
3.1. Overall conventions ....................................... 5 |
75 |
3.1.1. Packing into bytes .................................. 5 |
76 |
3.2. Compressed block format ................................... 6 |
77 |
3.2.1. Synopsis of prefix and Huffman coding ............... 6 |
78 |
3.2.2. Use of Huffman coding in the "deflate" format ....... 7 |
79 |
3.2.3. Details of block format ............................. 9 |
80 |
3.2.4. Non-compressed blocks (BTYPE=00) ................... 11 |
81 |
3.2.5. Compressed blocks (length and distance codes) ...... 11 |
82 |
3.2.6. Compression with fixed Huffman codes (BTYPE=01) .... 12 |
83 |
3.2.7. Compression with dynamic Huffman codes (BTYPE=10) .. 13 |
84 |
3.3. Compliance ............................................... 14 |
85 |
4. Compression algorithm details ................................. 14 |
86 |
5. References .................................................... 16 |
87 |
6. Security Considerations ....................................... 16 |
88 |
7. Source code ................................................... 16 |
89 |
8. Acknowledgements .............................................. 16 |
90 |
9. Author's Address .............................................. 17 |
91 |
|
92 |
1. Introduction |
93 |
|
94 |
1.1. Purpose |
95 |
|
96 |
The purpose of this specification is to define a lossless |
97 |
compressed data format that: |
98 |
* Is independent of CPU type, operating system, file system, |
99 |
and character set, and hence can be used for interchange; |
100 |
* Can be produced or consumed, even for an arbitrarily long |
101 |
sequentially presented input data stream, using only an a |
102 |
priori bounded amount of intermediate storage, and hence |
103 |
can be used in data communications or similar structures |
104 |
such as Unix filters; |
105 |
* Compresses data with efficiency comparable to the best |
106 |
currently available general-purpose compression methods, |
107 |
and in particular considerably better than the "compress" |
108 |
program; |
109 |
* Can be implemented readily in a manner not covered by |
110 |
patents, and hence can be practiced freely; |
111 |
|
112 |
|
113 |
|
114 |
Deutsch Informational [Page 2] |
115 |
|
116 |
RFC 1951 DEFLATE Compressed Data Format Specification May 1996 |
117 |
|
118 |
|
119 |
* Is compatible with the file format produced by the current |
120 |
widely used gzip utility, in that conforming decompressors |
121 |
will be able to read data produced by the existing gzip |
122 |
compressor. |
123 |
|
124 |
The data format defined by this specification does not attempt to: |
125 |
|
126 |
* Allow random access to compressed data; |
127 |
* Compress specialized data (e.g., raster graphics) as well |
128 |
as the best currently available specialized algorithms. |
129 |
|
130 |
A simple counting argument shows that no lossless compression |
131 |
algorithm can compress every possible input data set. For the |
132 |
format defined here, the worst case expansion is 5 bytes per 32K- |
133 |
byte block, i.e., a size increase of 0.015% for large data sets. |
134 |
English text usually compresses by a factor of 2.5 to 3; |
135 |
executable files usually compress somewhat less; graphical data |
136 |
such as raster images may compress much more. |
137 |
|
138 |
1.2. Intended audience |
139 |
|
140 |
This specification is intended for use by implementors of software |
141 |
to compress data into "deflate" format and/or decompress data from |
142 |
"deflate" format. |
143 |
|
144 |
The text of the specification assumes a basic background in |
145 |
programming at the level of bits and other primitive data |
146 |
representations. Familiarity with the technique of Huffman coding |
147 |
is helpful but not required. |
148 |
|
149 |
1.3. Scope |
150 |
|
151 |
The specification specifies a method for representing a sequence |
152 |
of bytes as a (usually shorter) sequence of bits, and a method for |
153 |
packing the latter bit sequence into bytes. |
154 |
|
155 |
1.4. Compliance |
156 |
|
157 |
Unless otherwise indicated below, a compliant decompressor must be |
158 |
able to accept and decompress any data set that conforms to all |
159 |
the specifications presented here; a compliant compressor must |
160 |
produce data sets that conform to all the specifications presented |
161 |
here. |
162 |
|
163 |
1.5. Definitions of terms and conventions used |
164 |
|
165 |
Byte: 8 bits stored or transmitted as a unit (same as an octet). |
166 |
For this specification, a byte is exactly 8 bits, even on machines |
167 |
|
168 |
|
169 |
|
170 |
Deutsch Informational [Page 3] |
171 |
|
172 |
RFC 1951 DEFLATE Compressed Data Format Specification May 1996 |
173 |
|
174 |
|
175 |
which store a character on a number of bits different from eight. |
176 |
See below, for the numbering of bits within a byte. |
177 |
|
178 |
String: a sequence of arbitrary bytes. |
179 |
|
180 |
1.6. Changes from previous versions |
181 |
|
182 |
There have been no technical changes to the deflate format since |
183 |
version 1.1 of this specification. In version 1.2, some |
184 |
terminology was changed. Version 1.3 is a conversion of the |
185 |
specification to RFC style. |
186 |
|
187 |
2. Compressed representation overview |
188 |
|
189 |
A compressed data set consists of a series of blocks, corresponding |
190 |
to successive blocks of input data. The block sizes are arbitrary, |
191 |
except that non-compressible blocks are limited to 65,535 bytes. |
192 |
|
193 |
Each block is compressed using a combination of the LZ77 algorithm |
194 |
and Huffman coding. The Huffman trees for each block are independent |
195 |
of those for previous or subsequent blocks; the LZ77 algorithm may |
196 |
use a reference to a duplicated string occurring in a previous block, |
197 |
up to 32K input bytes before. |
198 |
|
199 |
Each block consists of two parts: a pair of Huffman code trees that |
200 |
describe the representation of the compressed data part, and a |
201 |
compressed data part. (The Huffman trees themselves are compressed |
202 |
using Huffman encoding.) The compressed data consists of a series of |
203 |
elements of two types: literal bytes (of strings that have not been |
204 |
detected as duplicated within the previous 32K input bytes), and |
205 |
pointers to duplicated strings, where a pointer is represented as a |
206 |
pair <length, backward distance>. The representation used in the |
207 |
"deflate" format limits distances to 32K bytes and lengths to 258 |
208 |
bytes, but does not limit the size of a block, except for |
209 |
uncompressible blocks, which are limited as noted above. |
210 |
|
211 |
Each type of value (literals, distances, and lengths) in the |
212 |
compressed data is represented using a Huffman code, using one code |
213 |
tree for literals and lengths and a separate code tree for distances. |
214 |
The code trees for each block appear in a compact form just before |
215 |
the compressed data for that block. |
216 |
|
217 |
|
218 |
|
219 |
|
220 |
|
221 |
|
222 |
|
223 |
|
224 |
|
225 |
|
226 |
Deutsch Informational [Page 4] |
227 |
|
228 |
RFC 1951 DEFLATE Compressed Data Format Specification May 1996 |
229 |
|
230 |
|
231 |
3. Detailed specification |
232 |
|
233 |
3.1. Overall conventions In the diagrams below, a box like this: |
234 |
|
235 |
+---+ |
236 |
| | <-- the vertical bars might be missing |
237 |
+---+ |
238 |
|
239 |
represents one byte; a box like this: |
240 |
|
241 |
+==============+ |
242 |
| | |
243 |
+==============+ |
244 |
|
245 |
represents a variable number of bytes. |
246 |
|
247 |
Bytes stored within a computer do not have a "bit order", since |
248 |
they are always treated as a unit. However, a byte considered as |
249 |
an integer between 0 and 255 does have a most- and least- |
250 |
significant bit, and since we write numbers with the most- |
251 |
significant digit on the left, we also write bytes with the most- |
252 |
significant bit on the left. In the diagrams below, we number the |
253 |
bits of a byte so that bit 0 is the least-significant bit, i.e., |
254 |
the bits are numbered: |
255 |
|
256 |
+--------+ |
257 |
|76543210| |
258 |
+--------+ |
259 |
|
260 |
Within a computer, a number may occupy multiple bytes. All |
261 |
multi-byte numbers in the format described here are stored with |
262 |
the least-significant byte first (at the lower memory address). |
263 |
For example, the decimal number 520 is stored as: |
264 |
|
265 |
0 1 |
266 |
+--------+--------+ |
267 |
|00001000|00000010| |
268 |
+--------+--------+ |
269 |
^ ^ |
270 |
| | |
271 |
| + more significant byte = 2 x 256 |
272 |
+ less significant byte = 8 |
273 |
|
274 |
3.1.1. Packing into bytes |
275 |
|
276 |
This document does not address the issue of the order in which |
277 |
bits of a byte are transmitted on a bit-sequential medium, |
278 |
since the final data format described here is byte- rather than |
279 |
|
280 |
|
281 |
|
282 |
Deutsch Informational [Page 5] |
283 |
|
284 |
RFC 1951 DEFLATE Compressed Data Format Specification May 1996 |
285 |
|
286 |
|
287 |
bit-oriented. However, we describe the compressed block format |
288 |
in below, as a sequence of data elements of various bit |
289 |
lengths, not a sequence of bytes. We must therefore specify |
290 |
how to pack these data elements into bytes to form the final |
291 |
compressed byte sequence: |
292 |
|
293 |
* Data elements are packed into bytes in order of |
294 |
increasing bit number within the byte, i.e., starting |
295 |
with the least-significant bit of the byte. |
296 |
* Data elements other than Huffman codes are packed |
297 |
starting with the least-significant bit of the data |
298 |
element. |
299 |
* Huffman codes are packed starting with the most- |
300 |
significant bit of the code. |
301 |
|
302 |
In other words, if one were to print out the compressed data as |
303 |
a sequence of bytes, starting with the first byte at the |
304 |
*right* margin and proceeding to the *left*, with the most- |
305 |
significant bit of each byte on the left as usual, one would be |
306 |
able to parse the result from right to left, with fixed-width |
307 |
elements in the correct MSB-to-LSB order and Huffman codes in |
308 |
bit-reversed order (i.e., with the first bit of the code in the |
309 |
relative LSB position). |
310 |
|
311 |
3.2. Compressed block format |
312 |
|
313 |
3.2.1. Synopsis of prefix and Huffman coding |
314 |
|
315 |
Prefix coding represents symbols from an a priori known |
316 |
alphabet by bit sequences (codes), one code for each symbol, in |
317 |
a manner such that different symbols may be represented by bit |
318 |
sequences of different lengths, but a parser can always parse |
319 |
an encoded string unambiguously symbol-by-symbol. |
320 |
|
321 |
We define a prefix code in terms of a binary tree in which the |
322 |
two edges descending from each non-leaf node are labeled 0 and |
323 |
1 and in which the leaf nodes correspond one-for-one with (are |
324 |
labeled with) the symbols of the alphabet; then the code for a |
325 |
symbol is the sequence of 0's and 1's on the edges leading from |
326 |
the root to the leaf labeled with that symbol. For example: |
327 |
|
328 |
|
329 |
|
330 |
|
331 |
|
332 |
|
333 |
|
334 |
|
335 |
|
336 |
|
337 |
|
338 |
Deutsch Informational [Page 6] |
339 |
|
340 |
RFC 1951 DEFLATE Compressed Data Format Specification May 1996 |
341 |
|
342 |
|
343 |
/\ Symbol Code |
344 |
0 1 ------ ---- |
345 |
/ \ A 00 |
346 |
/\ B B 1 |
347 |
0 1 C 011 |
348 |
/ \ D 010 |
349 |
A /\ |
350 |
0 1 |
351 |
/ \ |
352 |
D C |
353 |
|
354 |
A parser can decode the next symbol from an encoded input |
355 |
stream by walking down the tree from the root, at each step |
356 |
choosing the edge corresponding to the next input bit. |
357 |
|
358 |
Given an alphabet with known symbol frequencies, the Huffman |
359 |
algorithm allows the construction of an optimal prefix code |
360 |
(one which represents strings with those symbol frequencies |
361 |
using the fewest bits of any possible prefix codes for that |
362 |
alphabet). Such a code is called a Huffman code. (See |
363 |
reference [1] in Chapter 5, references for additional |
364 |
information on Huffman codes.) |
365 |
|
366 |
Note that in the "deflate" format, the Huffman codes for the |
367 |
various alphabets must not exceed certain maximum code lengths. |
368 |
This constraint complicates the algorithm for computing code |
369 |
lengths from symbol frequencies. Again, see Chapter 5, |
370 |
references for details. |
371 |
|
372 |
3.2.2. Use of Huffman coding in the "deflate" format |
373 |
|
374 |
The Huffman codes used for each alphabet in the "deflate" |
375 |
format have two additional rules: |
376 |
|
377 |
* All codes of a given bit length have lexicographically |
378 |
consecutive values, in the same order as the symbols |
379 |
they represent; |
380 |
|
381 |
* Shorter codes lexicographically precede longer codes. |
382 |
|
383 |
|
384 |
|
385 |
|
386 |
|
387 |
|
388 |
|
389 |
|
390 |
|
391 |
|
392 |
|
393 |
|
394 |
Deutsch Informational [Page 7] |
395 |
|
396 |
RFC 1951 DEFLATE Compressed Data Format Specification May 1996 |
397 |
|
398 |
|
399 |
We could recode the example above to follow this rule as |
400 |
follows, assuming that the order of the alphabet is ABCD: |
401 |
|
402 |
Symbol Code |
403 |
------ ---- |
404 |
A 10 |
405 |
B 0 |
406 |
C 110 |
407 |
D 111 |
408 |
|
409 |
I.e., 0 precedes 10 which precedes 11x, and 110 and 111 are |
410 |
lexicographically consecutive. |
411 |
|
412 |
Given this rule, we can define the Huffman code for an alphabet |
413 |
just by giving the bit lengths of the codes for each symbol of |
414 |
the alphabet in order; this is sufficient to determine the |
415 |
actual codes. In our example, the code is completely defined |
416 |
by the sequence of bit lengths (2, 1, 3, 3). The following |
417 |
algorithm generates the codes as integers, intended to be read |
418 |
from most- to least-significant bit. The code lengths are |
419 |
initially in tree[I].Len; the codes are produced in |
420 |
tree[I].Code. |
421 |
|
422 |
1) Count the number of codes for each code length. Let |
423 |
bl_count[N] be the number of codes of length N, N >= 1. |
424 |
|
425 |
2) Find the numerical value of the smallest code for each |
426 |
code length: |
427 |
|
428 |
code = 0; |
429 |
bl_count[0] = 0; |
430 |
for (bits = 1; bits <= MAX_BITS; bits++) { |
431 |
code = (code + bl_count[bits-1]) << 1; |
432 |
next_code[bits] = code; |
433 |
} |
434 |
|
435 |
3) Assign numerical values to all codes, using consecutive |
436 |
values for all codes of the same length with the base |
437 |
values determined at step 2. Codes that are never used |
438 |
(which have a bit length of zero) must not be assigned a |
439 |
value. |
440 |
|
441 |
for (n = 0; n <= max_code; n++) { |
442 |
len = tree[n].Len; |
443 |
if (len != 0) { |
444 |
tree[n].Code = next_code[len]; |
445 |
next_code[len]++; |
446 |
} |
447 |
|
448 |
|
449 |
|
450 |
Deutsch Informational [Page 8] |
451 |
|
452 |
RFC 1951 DEFLATE Compressed Data Format Specification May 1996 |
453 |
|
454 |
|
455 |
} |
456 |
|
457 |
Example: |
458 |
|
459 |
Consider the alphabet ABCDEFGH, with bit lengths (3, 3, 3, 3, |
460 |
3, 2, 4, 4). After step 1, we have: |
461 |
|
462 |
N bl_count[N] |
463 |
- ----------- |
464 |
2 1 |
465 |
3 5 |
466 |
4 2 |
467 |
|
468 |
Step 2 computes the following next_code values: |
469 |
|
470 |
N next_code[N] |
471 |
- ------------ |
472 |
1 0 |
473 |
2 0 |
474 |
3 2 |
475 |
4 14 |
476 |
|
477 |
Step 3 produces the following code values: |
478 |
|
479 |
Symbol Length Code |
480 |
------ ------ ---- |
481 |
A 3 010 |
482 |
B 3 011 |
483 |
C 3 100 |
484 |
D 3 101 |
485 |
E 3 110 |
486 |
F 2 00 |
487 |
G 4 1110 |
488 |
H 4 1111 |
489 |
|
490 |
3.2.3. Details of block format |
491 |
|
492 |
Each block of compressed data begins with 3 header bits |
493 |
containing the following data: |
494 |
|
495 |
first bit BFINAL |
496 |
next 2 bits BTYPE |
497 |
|
498 |
Note that the header bits do not necessarily begin on a byte |
499 |
boundary, since a block does not necessarily occupy an integral |
500 |
number of bytes. |
501 |
|
502 |
|
503 |
|
504 |
|
505 |
|
506 |
Deutsch Informational [Page 9] |
507 |
|
508 |
RFC 1951 DEFLATE Compressed Data Format Specification May 1996 |
509 |
|
510 |
|
511 |
BFINAL is set if and only if this is the last block of the data |
512 |
set. |
513 |
|
514 |
BTYPE specifies how the data are compressed, as follows: |
515 |
|
516 |
00 - no compression |
517 |
01 - compressed with fixed Huffman codes |
518 |
10 - compressed with dynamic Huffman codes |
519 |
11 - reserved (error) |
520 |
|
521 |
The only difference between the two compressed cases is how the |
522 |
Huffman codes for the literal/length and distance alphabets are |
523 |
defined. |
524 |
|
525 |
In all cases, the decoding algorithm for the actual data is as |
526 |
follows: |
527 |
|
528 |
do |
529 |
read block header from input stream. |
530 |
if stored with no compression |
531 |
skip any remaining bits in current partially |
532 |
processed byte |
533 |
read LEN and NLEN (see next section) |
534 |
copy LEN bytes of data to output |
535 |
otherwise |
536 |
if compressed with dynamic Huffman codes |
537 |
read representation of code trees (see |
538 |
subsection below) |
539 |
loop (until end of block code recognized) |
540 |
decode literal/length value from input stream |
541 |
if value < 256 |
542 |
copy value (literal byte) to output stream |
543 |
otherwise |
544 |
if value = end of block (256) |
545 |
break from loop |
546 |
otherwise (value = 257..285) |
547 |
decode distance from input stream |
548 |
|
549 |
move backwards distance bytes in the output |
550 |
stream, and copy length bytes from this |
551 |
position to the output stream. |
552 |
end loop |
553 |
while not last block |
554 |
|
555 |
Note that a duplicated string reference may refer to a string |
556 |
in a previous block; i.e., the backward distance may cross one |
557 |
or more block boundaries. However a distance cannot refer past |
558 |
the beginning of the output stream. (An application using a |
559 |
|
560 |
|
561 |
|
562 |
Deutsch Informational [Page 10] |
563 |
|
564 |
RFC 1951 DEFLATE Compressed Data Format Specification May 1996 |
565 |
|
566 |
|
567 |
preset dictionary might discard part of the output stream; a |
568 |
distance can refer to that part of the output stream anyway) |
569 |
Note also that the referenced string may overlap the current |
570 |
position; for example, if the last 2 bytes decoded have values |
571 |
X and Y, a string reference with <length = 5, distance = 2> |
572 |
adds X,Y,X,Y,X to the output stream. |
573 |
|
574 |
We now specify each compression method in turn. |
575 |
|
576 |
3.2.4. Non-compressed blocks (BTYPE=00) |
577 |
|
578 |
Any bits of input up to the next byte boundary are ignored. |
579 |
The rest of the block consists of the following information: |
580 |
|
581 |
0 1 2 3 4... |
582 |
+---+---+---+---+================================+ |
583 |
| LEN | NLEN |... LEN bytes of literal data...| |
584 |
+---+---+---+---+================================+ |
585 |
|
586 |
LEN is the number of data bytes in the block. NLEN is the |
587 |
one's complement of LEN. |
588 |
|
589 |
3.2.5. Compressed blocks (length and distance codes) |
590 |
|
591 |
As noted above, encoded data blocks in the "deflate" format |
592 |
consist of sequences of symbols drawn from three conceptually |
593 |
distinct alphabets: either literal bytes, from the alphabet of |
594 |
byte values (0..255), or <length, backward distance> pairs, |
595 |
where the length is drawn from (3..258) and the distance is |
596 |
drawn from (1..32,768). In fact, the literal and length |
597 |
alphabets are merged into a single alphabet (0..285), where |
598 |
values 0..255 represent literal bytes, the value 256 indicates |
599 |
end-of-block, and values 257..285 represent length codes |
600 |
(possibly in conjunction with extra bits following the symbol |
601 |
code) as follows: |
602 |
|
603 |
|
604 |
|
605 |
|
606 |
|
607 |
|
608 |
|
609 |
|
610 |
|
611 |
|
612 |
|
613 |
|
614 |
|
615 |
|
616 |
|
617 |
|
618 |
Deutsch Informational [Page 11] |
619 |
|
620 |
RFC 1951 DEFLATE Compressed Data Format Specification May 1996 |
621 |
|
622 |
|
623 |
Extra Extra Extra |
624 |
Code Bits Length(s) Code Bits Lengths Code Bits Length(s) |
625 |
---- ---- ------ ---- ---- ------- ---- ---- ------- |
626 |
257 0 3 267 1 15,16 277 4 67-82 |
627 |
258 0 4 268 1 17,18 278 4 83-98 |
628 |
259 0 5 269 2 19-22 279 4 99-114 |
629 |
260 0 6 270 2 23-26 280 4 115-130 |
630 |
261 0 7 271 2 27-30 281 5 131-162 |
631 |
262 0 8 272 2 31-34 282 5 163-194 |
632 |
263 0 9 273 3 35-42 283 5 195-226 |
633 |
264 0 10 274 3 43-50 284 5 227-257 |
634 |
265 1 11,12 275 3 51-58 285 0 258 |
635 |
266 1 13,14 276 3 59-66 |
636 |
|
637 |
The extra bits should be interpreted as a machine integer |
638 |
stored with the most-significant bit first, e.g., bits 1110 |
639 |
represent the value 14. |
640 |
|
641 |
Extra Extra Extra |
642 |
Code Bits Dist Code Bits Dist Code Bits Distance |
643 |
---- ---- ---- ---- ---- ------ ---- ---- -------- |
644 |
0 0 1 10 4 33-48 20 9 1025-1536 |
645 |
1 0 2 11 4 49-64 21 9 1537-2048 |
646 |
2 0 3 12 5 65-96 22 10 2049-3072 |
647 |
3 0 4 13 5 97-128 23 10 3073-4096 |
648 |
4 1 5,6 14 6 129-192 24 11 4097-6144 |
649 |
5 1 7,8 15 6 193-256 25 11 6145-8192 |
650 |
6 2 9-12 16 7 257-384 26 12 8193-12288 |
651 |
7 2 13-16 17 7 385-512 27 12 12289-16384 |
652 |
8 3 17-24 18 8 513-768 28 13 16385-24576 |
653 |
9 3 25-32 19 8 769-1024 29 13 24577-32768 |
654 |
|
655 |
3.2.6. Compression with fixed Huffman codes (BTYPE=01) |
656 |
|
657 |
The Huffman codes for the two alphabets are fixed, and are not |
658 |
represented explicitly in the data. The Huffman code lengths |
659 |
for the literal/length alphabet are: |
660 |
|
661 |
Lit Value Bits Codes |
662 |
--------- ---- ----- |
663 |
0 - 143 8 00110000 through |
664 |
10111111 |
665 |
144 - 255 9 110010000 through |
666 |
111111111 |
667 |
256 - 279 7 0000000 through |
668 |
0010111 |
669 |
280 - 287 8 11000000 through |
670 |
11000111 |
671 |
|
672 |
|
673 |
|
674 |
Deutsch Informational [Page 12] |
675 |
|
676 |
RFC 1951 DEFLATE Compressed Data Format Specification May 1996 |
677 |
|
678 |
|
679 |
The code lengths are sufficient to generate the actual codes, |
680 |
as described above; we show the codes in the table for added |
681 |
clarity. Literal/length values 286-287 will never actually |
682 |
occur in the compressed data, but participate in the code |
683 |
construction. |
684 |
|
685 |
Distance codes 0-31 are represented by (fixed-length) 5-bit |
686 |
codes, with possible additional bits as shown in the table |
687 |
shown in Paragraph 3.2.5, above. Note that distance codes 30- |
688 |
31 will never actually occur in the compressed data. |
689 |
|
690 |
3.2.7. Compression with dynamic Huffman codes (BTYPE=10) |
691 |
|
692 |
The Huffman codes for the two alphabets appear in the block |
693 |
immediately after the header bits and before the actual |
694 |
compressed data, first the literal/length code and then the |
695 |
distance code. Each code is defined by a sequence of code |
696 |
lengths, as discussed in Paragraph 3.2.2, above. For even |
697 |
greater compactness, the code length sequences themselves are |
698 |
compressed using a Huffman code. The alphabet for code lengths |
699 |
is as follows: |
700 |
|
701 |
0 - 15: Represent code lengths of 0 - 15 |
702 |
16: Copy the previous code length 3 - 6 times. |
703 |
The next 2 bits indicate repeat length |
704 |
(0 = 3, ... , 3 = 6) |
705 |
Example: Codes 8, 16 (+2 bits 11), |
706 |
16 (+2 bits 10) will expand to |
707 |
12 code lengths of 8 (1 + 6 + 5) |
708 |
17: Repeat a code length of 0 for 3 - 10 times. |
709 |
(3 bits of length) |
710 |
18: Repeat a code length of 0 for 11 - 138 times |
711 |
(7 bits of length) |
712 |
|
713 |
A code length of 0 indicates that the corresponding symbol in |
714 |
the literal/length or distance alphabet will not occur in the |
715 |
block, and should not participate in the Huffman code |
716 |
construction algorithm given earlier. If only one distance |
717 |
code is used, it is encoded using one bit, not zero bits; in |
718 |
this case there is a single code length of one, with one unused |
719 |
code. One distance code of zero bits means that there are no |
720 |
distance codes used at all (the data is all literals). |
721 |
|
722 |
We can now define the format of the block: |
723 |
|
724 |
5 Bits: HLIT, # of Literal/Length codes - 257 (257 - 286) |
725 |
5 Bits: HDIST, # of Distance codes - 1 (1 - 32) |
726 |
4 Bits: HCLEN, # of Code Length codes - 4 (4 - 19) |
727 |
|
728 |
|
729 |
|
730 |
Deutsch Informational [Page 13] |
731 |
|
732 |
RFC 1951 DEFLATE Compressed Data Format Specification May 1996 |
733 |
|
734 |
|
735 |
(HCLEN + 4) x 3 bits: code lengths for the code length |
736 |
alphabet given just above, in the order: 16, 17, 18, |
737 |
0, 8, 7, 9, 6, 10, 5, 11, 4, 12, 3, 13, 2, 14, 1, 15 |
738 |
|
739 |
These code lengths are interpreted as 3-bit integers |
740 |
(0-7); as above, a code length of 0 means the |
741 |
corresponding symbol (literal/length or distance code |
742 |
length) is not used. |
743 |
|
744 |
HLIT + 257 code lengths for the literal/length alphabet, |
745 |
encoded using the code length Huffman code |
746 |
|
747 |
HDIST + 1 code lengths for the distance alphabet, |
748 |
encoded using the code length Huffman code |
749 |
|
750 |
The actual compressed data of the block, |
751 |
encoded using the literal/length and distance Huffman |
752 |
codes |
753 |
|
754 |
The literal/length symbol 256 (end of data), |
755 |
encoded using the literal/length Huffman code |
756 |
|
757 |
The code length repeat codes can cross from HLIT + 257 to the |
758 |
HDIST + 1 code lengths. In other words, all code lengths form |
759 |
a single sequence of HLIT + HDIST + 258 values. |
760 |
|
761 |
3.3. Compliance |
762 |
|
763 |
A compressor may limit further the ranges of values specified in |
764 |
the previous section and still be compliant; for example, it may |
765 |
limit the range of backward pointers to some value smaller than |
766 |
32K. Similarly, a compressor may limit the size of blocks so that |
767 |
a compressible block fits in memory. |
768 |
|
769 |
A compliant decompressor must accept the full range of possible |
770 |
values defined in the previous section, and must accept blocks of |
771 |
arbitrary size. |
772 |
|
773 |
4. Compression algorithm details |
774 |
|
775 |
While it is the intent of this document to define the "deflate" |
776 |
compressed data format without reference to any particular |
777 |
compression algorithm, the format is related to the compressed |
778 |
formats produced by LZ77 (Lempel-Ziv 1977, see reference [2] below); |
779 |
since many variations of LZ77 are patented, it is strongly |
780 |
recommended that the implementor of a compressor follow the general |
781 |
algorithm presented here, which is known not to be patented per se. |
782 |
The material in this section is not part of the definition of the |
783 |
|
784 |
|
785 |
|
786 |
Deutsch Informational [Page 14] |
787 |
|
788 |
RFC 1951 DEFLATE Compressed Data Format Specification May 1996 |
789 |
|
790 |
|
791 |
specification per se, and a compressor need not follow it in order to |
792 |
be compliant. |
793 |
|
794 |
The compressor terminates a block when it determines that starting a |
795 |
new block with fresh trees would be useful, or when the block size |
796 |
fills up the compressor's block buffer. |
797 |
|
798 |
The compressor uses a chained hash table to find duplicated strings, |
799 |
using a hash function that operates on 3-byte sequences. At any |
800 |
given point during compression, let XYZ be the next 3 input bytes to |
801 |
be examined (not necessarily all different, of course). First, the |
802 |
compressor examines the hash chain for XYZ. If the chain is empty, |
803 |
the compressor simply writes out X as a literal byte and advances one |
804 |
byte in the input. If the hash chain is not empty, indicating that |
805 |
the sequence XYZ (or, if we are unlucky, some other 3 bytes with the |
806 |
same hash function value) has occurred recently, the compressor |
807 |
compares all strings on the XYZ hash chain with the actual input data |
808 |
sequence starting at the current point, and selects the longest |
809 |
match. |
810 |
|
811 |
The compressor searches the hash chains starting with the most recent |
812 |
strings, to favor small distances and thus take advantage of the |
813 |
Huffman encoding. The hash chains are singly linked. There are no |
814 |
deletions from the hash chains; the algorithm simply discards matches |
815 |
that are too old. To avoid a worst-case situation, very long hash |
816 |
chains are arbitrarily truncated at a certain length, determined by a |
817 |
run-time parameter. |
818 |
|
819 |
To improve overall compression, the compressor optionally defers the |
820 |
selection of matches ("lazy matching"): after a match of length N has |
821 |
been found, the compressor searches for a longer match starting at |
822 |
the next input byte. If it finds a longer match, it truncates the |
823 |
previous match to a length of one (thus producing a single literal |
824 |
byte) and then emits the longer match. Otherwise, it emits the |
825 |
original match, and, as described above, advances N bytes before |
826 |
continuing. |
827 |
|
828 |
Run-time parameters also control this "lazy match" procedure. If |
829 |
compression ratio is most important, the compressor attempts a |
830 |
complete second search regardless of the length of the first match. |
831 |
In the normal case, if the current match is "long enough", the |
832 |
compressor reduces the search for a longer match, thus speeding up |
833 |
the process. If speed is most important, the compressor inserts new |
834 |
strings in the hash table only when no match was found, or when the |
835 |
match is not "too long". This degrades the compression ratio but |
836 |
saves time since there are both fewer insertions and fewer searches. |
837 |
|
838 |
|
839 |
|
840 |
|
841 |
|
842 |
Deutsch Informational [Page 15] |
843 |
|
844 |
RFC 1951 DEFLATE Compressed Data Format Specification May 1996 |
845 |
|
846 |
|
847 |
5. References |
848 |
|
849 |
[1] Huffman, D. A., "A Method for the Construction of Minimum |
850 |
Redundancy Codes", Proceedings of the Institute of Radio |
851 |
Engineers, September 1952, Volume 40, Number 9, pp. 1098-1101. |
852 |
|
853 |
[2] Ziv J., Lempel A., "A Universal Algorithm for Sequential Data |
854 |
Compression", IEEE Transactions on Information Theory, Vol. 23, |
855 |
No. 3, pp. 337-343. |
856 |
|
857 |
[3] Gailly, J.-L., and Adler, M., ZLIB documentation and sources, |
858 |
available in ftp://ftp.uu.net/pub/archiving/zip/doc/ |
859 |
|
860 |
[4] Gailly, J.-L., and Adler, M., GZIP documentation and sources, |
861 |
available as gzip-*.tar in ftp://prep.ai.mit.edu/pub/gnu/ |
862 |
|
863 |
[5] Schwartz, E. S., and Kallick, B. "Generating a canonical prefix |
864 |
encoding." Comm. ACM, 7,3 (Mar. 1964), pp. 166-169. |
865 |
|
866 |
[6] Hirschberg and Lelewer, "Efficient decoding of prefix codes," |
867 |
Comm. ACM, 33,4, April 1990, pp. 449-459. |
868 |
|
869 |
6. Security Considerations |
870 |
|
871 |
Any data compression method involves the reduction of redundancy in |
872 |
the data. Consequently, any corruption of the data is likely to have |
873 |
severe effects and be difficult to correct. Uncompressed text, on |
874 |
the other hand, will probably still be readable despite the presence |
875 |
of some corrupted bytes. |
876 |
|
877 |
It is recommended that systems using this data format provide some |
878 |
means of validating the integrity of the compressed data. See |
879 |
reference [3], for example. |
880 |
|
881 |
7. Source code |
882 |
|
883 |
Source code for a C language implementation of a "deflate" compliant |
884 |
compressor and decompressor is available within the zlib package at |
885 |
ftp://ftp.uu.net/pub/archiving/zip/zlib/. |
886 |
|
887 |
8. Acknowledgements |
888 |
|
889 |
Trademarks cited in this document are the property of their |
890 |
respective owners. |
891 |
|
892 |
Phil Katz designed the deflate format. Jean-Loup Gailly and Mark |
893 |
Adler wrote the related software described in this specification. |
894 |
Glenn Randers-Pehrson converted this document to RFC and HTML format. |
895 |
|
896 |
|
897 |
|
898 |
Deutsch Informational [Page 16] |
899 |
|
900 |
RFC 1951 DEFLATE Compressed Data Format Specification May 1996 |
901 |
|
902 |
|
903 |
9. Author's Address |
904 |
|
905 |
L. Peter Deutsch |
906 |
Aladdin Enterprises |
907 |
203 Santa Margarita Ave. |
908 |
Menlo Park, CA 94025 |
909 |
|
910 |
Phone: (415) 322-0103 (AM only) |
911 |
FAX: (415) 322-1734 |
912 |
EMail: <ghost@aladdin.com> |
913 |
|
914 |
Questions about the technical content of this specification can be |
915 |
sent by email to: |
916 |
|
917 |
Jean-Loup Gailly <gzip@prep.ai.mit.edu> and |
918 |
Mark Adler <madler@alumni.caltech.edu> |
919 |
|
920 |
Editorial comments on this specification can be sent by email to: |
921 |
|
922 |
L. Peter Deutsch <ghost@aladdin.com> and |
923 |
Glenn Randers-Pehrson <randeg@alumni.rpi.edu> |
924 |
|
925 |
|
926 |
|
927 |
|
928 |
|
929 |
|
930 |
|
931 |
|
932 |
|
933 |
|
934 |
|
935 |
|
936 |
|
937 |
|
938 |
|
939 |
|
940 |
|
941 |
|
942 |
|
943 |
|
944 |
|
945 |
|
946 |
|
947 |
|
948 |
|
949 |
|
950 |
|
951 |
|
952 |
|
953 |
|
954 |
Deutsch Informational [Page 17] |
955 |
|