Talk:LZW compression: Difference between revisions

Content added Content deleted
m (→‎C example problem: added a bemused comment.)
Line 3: Line 3:
The task currently does not actually specify the LZW algorithm to be implemented. Instead, it defers to whatever is currently present in the Wikipedia presentation of the algorithm. This has left some compatibility details unspecified. (As near as I can tell, none of the implementations here include support for these issues.) But the task page is also back-linked from wikipedia, and someone should take responsibility for mentioning these things:
The task currently does not actually specify the LZW algorithm to be implemented. Instead, it defers to whatever is currently present in the Wikipedia presentation of the algorithm. This has left some compatibility details unspecified. (As near as I can tell, none of the implementations here include support for these issues.) But the task page is also back-linked from wikipedia, and someone should take responsibility for mentioning these things:


(1) One consequence is that the implementations do not include the LZW bitpacking algorithm. Instead, they represent the numbers which would be fed to that algorithm. The bitpacking algorithm shifts indices into position to take advantage of all guaranteed zeros in the representation of the previous index. (This probably suggests a little-endian representation of the indices.)
(1) One consequence is that the implementations do not include the LZW bitpacking algorithm. Instead, they represent the numbers which would be fed to that algorithm. The bitpacking algorithm shifts indices into position to take advantage of all guaranteed zeros in the representation of the previous index. (GIF uses little-endian representation -- low order bits first, TIFF and PDF use big-endian representation -- high order bits first.)


(2) Another consequence is that the implementations tend to not include the LZW clear code. LZW may limit the size of the dictionary (12 bit indices in the GIF standard, apparently 32 bit indices in the LZW file format, though I haven't investigated that closely enough to be sure). When the dictionary size is reached, the encoder emits the clear code (0x100 for the usual ANSI LZW dictionary) and reverts the dictionary to its original state. (And, of course, the decoder must do the same at that point.)
(2) Another consequence is that the implementations tend to not include the LZW clear code (in the context of the compress file format, this is referred to as LZC -- basically all versions of compress skipped past code 0x100 and the documentation on that file format used this starting point for the dictionary as the distinction between LZW and LZC -- image file format specifications do the same but still call the format LZW). LZC may limit the size of the dictionary (12 bit indices in image file formats, typically 16 bit indices in the compress file format (which used a file name extension of ".Z"). When the dictionary size is reached, the encoder emits the clear code (0x100 for the usual ANSI LZW dictionary) and reverts the dictionary to its original state. (And, of course, the decoder must do the same at that point.) Though, if the dictionary size is known it's also possible to simply clear the dictionary when it gets full (and some versions of compress apparently did work this way). Note also that this was a non-issue when file sizes were small -- this was retrofitted into the algorithm when large file sizes became an issue.


(3) Another issue is that the LZW file format begins with a three byte sequence (0x1F 0x9d bitwidth where only the low five bits of bitwidth are significant). Again, not represented in this task.
(3) Another issue is that the LZW file format begins with a three byte sequence (0x1F 0x9d XX where (c notation) XX&0x1F was the dictionary size limit and XX&0x80 is true if clear codes are emitted.


(At the time I am writing this, this is an first draft describing these issues. I (or someone) should probably track down a historically valid LZW implementation and verify the correctness of the description of this description.)
(At the time I am writing this, this is an second draft describing these issues. This version is, reasonably accurate should be reviewed by someone with more of an emphasis on grammatical issues. Maybe me after enough time has passed to be baffled by how I wrote it. And then maybe reviewed again for technical accuracy. Note also that further down on this page is some example code that does bit packing,)


==Task and example==
==Task and example==