diff options
author | Eric Andersen <andersen@codepoet.org> | 2003-10-23 06:52:01 +0000 |
---|---|---|
committer | Eric Andersen <andersen@codepoet.org> | 2003-10-23 06:52:01 +0000 |
commit | 5fa4db29f78c9817c34b215c03e80f6a34b83ac9 (patch) | |
tree | 962979f720b1725b1441d8e2c16b5178a1d06a6a | |
parent | 2053a8c74747fcbfb7f4836ee71d6775ac7c4a25 (diff) | |
download | busybox-w32-5fa4db29f78c9817c34b215c03e80f6a34b83ac9.tar.gz busybox-w32-5fa4db29f78c9817c34b215c03e80f6a34b83ac9.tar.bz2 busybox-w32-5fa4db29f78c9817c34b215c03e80f6a34b83ac9.zip |
Another bzip2 update and speedup from Manuel Novoa III, with some
additional changes (primarily lots of comments) from Rob Landley.
-rw-r--r-- | archival/libunarchive/decompress_bunzip2.c | 490 |
1 files changed, 267 insertions, 223 deletions
diff --git a/archival/libunarchive/decompress_bunzip2.c b/archival/libunarchive/decompress_bunzip2.c index b4bcb0b49..f00c43913 100644 --- a/archival/libunarchive/decompress_bunzip2.c +++ b/archival/libunarchive/decompress_bunzip2.c | |||
@@ -10,6 +10,36 @@ | |||
10 | LGPL (http://www.gnu.org/copyleft/lgpl.html | 10 | LGPL (http://www.gnu.org/copyleft/lgpl.html |
11 | */ | 11 | */ |
12 | 12 | ||
13 | /* | ||
14 | Size and speed optimizations by Manuel Novoa III (mjn3@codepoet.org). | ||
15 | |||
16 | More efficient reading of huffman codes, a streamlined read_bunzip() | ||
17 | function, and various other tweaks. In (limited) tests, approximately | ||
18 | 20% faster than bzcat on x86 and about 10% faster on arm. | ||
19 | |||
20 | Note that about 2/3 of the time is spent in read_unzip() reversing | ||
21 | the Burrows-Wheeler transformation. Much of that time is delay | ||
22 | resulting from cache misses. | ||
23 | |||
24 | I would ask that anyone benefiting from this work, especially those | ||
25 | using it in commercial products, consider making a donation to my local | ||
26 | non-profit hospice organization in the name of the woman I loved, who | ||
27 | passed away Feb. 12, 2003. | ||
28 | |||
29 | In memory of Toni W. Hagan | ||
30 | |||
31 | Hospice of Acadiana, Inc. | ||
32 | 2600 Johnston St., Suite 200 | ||
33 | Lafayette, LA 70503-3240 | ||
34 | |||
35 | Phone (337) 232-1234 or 1-800-738-2226 | ||
36 | Fax (337) 232-1297 | ||
37 | |||
38 | http://www.hospiceacadiana.com/ | ||
39 | |||
40 | Manuel | ||
41 | */ | ||
42 | |||
13 | #include <setjmp.h> | 43 | #include <setjmp.h> |
14 | #include <stdio.h> | 44 | #include <stdio.h> |
15 | #include <stdlib.h> | 45 | #include <stdlib.h> |
@@ -38,39 +68,31 @@ | |||
38 | /* Other housekeeping constants */ | 68 | /* Other housekeeping constants */ |
39 | #define IOBUF_SIZE 4096 | 69 | #define IOBUF_SIZE 4096 |
40 | 70 | ||
41 | static char * const bunzip_errors[]={NULL,"Bad file checksum","Not bzip data", | ||
42 | "Unexpected input EOF","Unexpected output EOF","Data error", | ||
43 | "Out of memory","Obsolete (pre 0.9.5) bzip format not supported."}; | ||
44 | |||
45 | /* This is what we know about each huffman coding group */ | 71 | /* This is what we know about each huffman coding group */ |
46 | struct group_data { | 72 | struct group_data { |
47 | /* We have an extra slot at the end of limit[] for a sentinal value. */ | 73 | /* We have an extra slot at the end of limit[] for a sentinal value. */ |
48 | int limit[MAX_HUFCODE_BITS+1],base[MAX_HUFCODE_BITS],permute[MAX_SYMBOLS]; | 74 | int limit[MAX_HUFCODE_BITS+1],base[MAX_HUFCODE_BITS],permute[MAX_SYMBOLS]; |
49 | char minLen, maxLen; | 75 | int minLen, maxLen; |
50 | }; | 76 | }; |
51 | 77 | ||
52 | /* Structure holding all the housekeeping data, including IO buffers and | 78 | /* Structure holding all the housekeeping data, including IO buffers and |
53 | memory that persists between calls to bunzip */ | 79 | memory that persists between calls to bunzip */ |
54 | typedef struct { | 80 | typedef struct { |
55 | /* For I/O error handling */ | 81 | /* State for interrupting output loop */ |
56 | jmp_buf jmpbuf; | 82 | int writeCopies,writePos,writeRunCountdown,writeCount,writeCurrent; |
57 | /* Input stream, input buffer, input bit buffer */ | 83 | /* I/O tracking data (file handles, buffers, positions, etc.) */ |
58 | int in_fd,inbufCount,inbufPos; | 84 | int in_fd,out_fd,inbufCount,inbufPos /*,outbufPos*/; |
59 | unsigned char *inbuf; | 85 | unsigned char *inbuf /*,*outbuf*/; |
60 | unsigned int inbufBitCount, inbufBits; | 86 | unsigned int inbufBitCount, inbufBits; |
61 | /* Output buffer */ | ||
62 | char outbuf[IOBUF_SIZE]; | ||
63 | int outbufPos; | ||
64 | /* The CRC values stored in the block header and calculated from the data */ | 87 | /* The CRC values stored in the block header and calculated from the data */ |
65 | unsigned int crc32Table[256],headerCRC, dataCRC, totalCRC; | 88 | unsigned int crc32Table[256],headerCRC, totalCRC, writeCRC; |
66 | /* Intermediate buffer and its size (in bytes) */ | 89 | /* Intermediate buffer and its size (in bytes) */ |
67 | unsigned int *dbuf, dbufSize; | 90 | unsigned int *dbuf, dbufSize; |
68 | /* State for interrupting output loop */ | ||
69 | int writePos,writeRun,writeCount,writeCurrent; | ||
70 | |||
71 | /* These things are a bit too big to go on the stack */ | 91 | /* These things are a bit too big to go on the stack */ |
72 | unsigned char selectors[32768]; /* nSelectors=15 bits */ | 92 | unsigned char selectors[32768]; /* nSelectors=15 bits */ |
73 | struct group_data groups[MAX_GROUPS]; /* huffman coding tables */ | 93 | struct group_data groups[MAX_GROUPS]; /* huffman coding tables */ |
94 | /* For I/O error handling */ | ||
95 | jmp_buf jmpbuf; | ||
74 | } bunzip_data; | 96 | } bunzip_data; |
75 | 97 | ||
76 | /* Return the next nnn bits of input. All reads from the compressed input | 98 | /* Return the next nnn bits of input. All reads from the compressed input |
@@ -106,39 +128,29 @@ static unsigned int get_bits(bunzip_data *bd, char bits_wanted) | |||
106 | return bits; | 128 | return bits; |
107 | } | 129 | } |
108 | 130 | ||
109 | /* At certain times, it pays to have an optimized inline version of | 131 | /* Unpacks the next block and sets up for the inverse burrows-wheeler step. */ |
110 | * get_bits() which gets a single bit. */ | ||
111 | #define GET_A_BIT(bd) \ | ||
112 | ((bd->inbufBitCount > 0) \ | ||
113 | ? ((unsigned int)(((bd)->inbufBits >> --(bd)->inbufBitCount) & 1)) \ | ||
114 | : get_bits((bd), 1)) | ||
115 | |||
116 | |||
117 | /* Decompress a block of text to into intermediate buffer */ | ||
118 | 132 | ||
119 | extern int read_bunzip_data(bunzip_data *bd) | 133 | static int get_next_block(bunzip_data *bd) |
120 | { | 134 | { |
121 | struct group_data *hufGroup; | 135 | struct group_data *hufGroup; |
122 | int dbufCount,nextSym,dbufSize,origPtr,groupCount,*base,*limit,selector, | 136 | int dbufCount,nextSym,dbufSize,groupCount,*base,*limit,selector, |
123 | i,j,k,t,runPos,symCount,symTotal,nSelectors,byteCount[256]; | 137 | i,j,k,t,runPos,symCount,symTotal,nSelectors,byteCount[256]; |
124 | unsigned char uc, symToByte[256], mtfSymbol[256], *selectors; | 138 | unsigned char uc, symToByte[256], mtfSymbol[256], *selectors; |
125 | unsigned int *dbuf; | 139 | unsigned int *dbuf,origPtr; |
126 | |||
127 | /* Read in header signature (borrowing mtfSymbol for temp space). */ | ||
128 | for(i=0;i<6;i++) mtfSymbol[i]=get_bits(bd,8); | ||
129 | mtfSymbol[6]=0; | ||
130 | /* Read CRC (which is stored big endian). */ | ||
131 | bd->headerCRC=get_bits(bd,32); | ||
132 | /* Is this the last block (with CRC for file)? */ | ||
133 | if(!strcmp(mtfSymbol,"\x17\x72\x45\x38\x50\x90")) | ||
134 | return RETVAL_LAST_BLOCK; | ||
135 | /* If it's not a valid data block, barf. */ | ||
136 | if(strcmp(mtfSymbol,"\x31\x41\x59\x26\x53\x59")) | ||
137 | return RETVAL_NOT_BZIP_DATA; | ||
138 | 140 | ||
139 | dbuf=bd->dbuf; | 141 | dbuf=bd->dbuf; |
140 | dbufSize=bd->dbufSize; | 142 | dbufSize=bd->dbufSize; |
141 | selectors=bd->selectors; | 143 | selectors=bd->selectors; |
144 | /* Reset longjmp I/O error handling */ | ||
145 | i=setjmp(bd->jmpbuf); | ||
146 | if(i) return i; | ||
147 | /* Read in header signature and CRC, then validate signature. | ||
148 | (last block signature means CRC is for whole file, return now) */ | ||
149 | i = get_bits(bd,24); | ||
150 | j = get_bits(bd,24); | ||
151 | bd->headerCRC=get_bits(bd,32); | ||
152 | if ((i == 0x177245) && (j == 0x385090)) return RETVAL_LAST_BLOCK; | ||
153 | if ((i != 0x314159) || (j != 0x265359)) return RETVAL_NOT_BZIP_DATA; | ||
142 | /* We can add support for blockRandomised if anybody complains. There was | 154 | /* We can add support for blockRandomised if anybody complains. There was |
143 | some code for this in busybox 1.0.0-pre3, but nobody ever noticed that | 155 | some code for this in busybox 1.0.0-pre3, but nobody ever noticed that |
144 | it didn't actually work. */ | 156 | it didn't actually work. */ |
@@ -150,10 +162,6 @@ extern int read_bunzip_data(bunzip_data *bd) | |||
150 | values were present. We make a translation table to convert the symbols | 162 | values were present. We make a translation table to convert the symbols |
151 | back to the corresponding bytes. */ | 163 | back to the corresponding bytes. */ |
152 | t=get_bits(bd, 16); | 164 | t=get_bits(bd, 16); |
153 | #if 0 | ||
154 | /* I don't believe this is necessary. Rob? */ | ||
155 | memset(symToByte,0,256); | ||
156 | #endif | ||
157 | symTotal=0; | 165 | symTotal=0; |
158 | for (i=0;i<16;i++) { | 166 | for (i=0;i<16;i++) { |
159 | if(t&(1<<(15-i))) { | 167 | if(t&(1<<(15-i))) { |
@@ -167,7 +175,8 @@ extern int read_bunzip_data(bunzip_data *bd) | |||
167 | if (groupCount<2 || groupCount>MAX_GROUPS) return RETVAL_DATA_ERROR; | 175 | if (groupCount<2 || groupCount>MAX_GROUPS) return RETVAL_DATA_ERROR; |
168 | /* nSelectors: Every GROUP_SIZE many symbols we select a new huffman coding | 176 | /* nSelectors: Every GROUP_SIZE many symbols we select a new huffman coding |
169 | group. Read in the group selector list, which is stored as MTF encoded | 177 | group. Read in the group selector list, which is stored as MTF encoded |
170 | bit runs. */ | 178 | bit runs. (MTF=Move To Front, as each value is used it's moved to the |
179 | start of the list.) */ | ||
171 | if(!(nSelectors=get_bits(bd, 15))) return RETVAL_DATA_ERROR; | 180 | if(!(nSelectors=get_bits(bd, 15))) return RETVAL_DATA_ERROR; |
172 | for(i=0; i<groupCount; i++) mtfSymbol[i] = i; | 181 | for(i=0; i<groupCount; i++) mtfSymbol[i] = i; |
173 | for(i=0; i<nSelectors; i++) { | 182 | for(i=0; i<nSelectors; i++) { |
@@ -175,13 +184,7 @@ extern int read_bunzip_data(bunzip_data *bd) | |||
175 | for(j=0;get_bits(bd,1);j++) if (j>=groupCount) return RETVAL_DATA_ERROR; | 184 | for(j=0;get_bits(bd,1);j++) if (j>=groupCount) return RETVAL_DATA_ERROR; |
176 | /* Decode MTF to get the next selector */ | 185 | /* Decode MTF to get the next selector */ |
177 | uc = mtfSymbol[j]; | 186 | uc = mtfSymbol[j]; |
178 | /* A very small amount of data to move, so memmove is overkill | 187 | for(;j;j--) mtfSymbol[j] = mtfSymbol[j-1]; |
179 | * and bigger at least in my tests. */ | ||
180 | k = j; | ||
181 | while (k) { | ||
182 | mtfSymbol[k] = mtfSymbol[k-1]; | ||
183 | --k; | ||
184 | } | ||
185 | mtfSymbol[0]=selectors[i]=uc; | 188 | mtfSymbol[0]=selectors[i]=uc; |
186 | } | 189 | } |
187 | /* Read the huffman coding tables for each group, which code for symTotal | 190 | /* Read the huffman coding tables for each group, which code for symTotal |
@@ -190,16 +193,30 @@ extern int read_bunzip_data(bunzip_data *bd) | |||
190 | for (j=0; j<groupCount; j++) { | 193 | for (j=0; j<groupCount; j++) { |
191 | unsigned char length[MAX_SYMBOLS],temp[MAX_HUFCODE_BITS+1]; | 194 | unsigned char length[MAX_SYMBOLS],temp[MAX_HUFCODE_BITS+1]; |
192 | int minLen, maxLen, pp; | 195 | int minLen, maxLen, pp; |
193 | /* Read lengths */ | 196 | /* Read huffman code lengths for each symbol. They're stored in |
194 | t=get_bits(bd, 5) - 1; /* This lets us avoid a test in the loop. */ | 197 | a way similar to mtf; record a starting value for the first symbol, |
198 | and an offset from the previous value for everys symbol after that. | ||
199 | (Subtracting 1 before the loop and then adding it back at the end is | ||
200 | an optimization that makes the test inside the loop simpler: symbol | ||
201 | length 0 becomes negative, so an unsigned inequality catches it.) */ | ||
202 | t=get_bits(bd, 5)-1; | ||
195 | for (i = 0; i < symCount; i++) { | 203 | for (i = 0; i < symCount; i++) { |
196 | for(;;) { | 204 | for(;;) { |
197 | if (((unsigned)t) > (MAX_HUFCODE_BITS-1)) return RETVAL_DATA_ERROR; | 205 | if (((unsigned)t) > (MAX_HUFCODE_BITS-1)) |
198 | if(!get_bits(bd, 1)) break; | 206 | return RETVAL_DATA_ERROR; |
199 | /* We can avoid an if/else with a little arithmetic. */ | 207 | /* If first bit is 0, stop. Else second bit indicates whether |
200 | t += (1 - 2*get_bits(bd, 1)); /* 0 -> t++ ; 1 -> t-- */ | 208 | to increment or decrement the value. Optimization: grab 2 |
209 | bits and unget the second if the first was 0. */ | ||
210 | k = get_bits(bd,2); | ||
211 | if (k < 2) { | ||
212 | bd->inbufBitCount++; | ||
213 | break; | ||
214 | } | ||
215 | /* Add one if second bit 1, else subtract 1. Avoids if/else */ | ||
216 | t+=(((k+1)&2)-1); | ||
201 | } | 217 | } |
202 | length[i] = t + 1; /* Correct for the initial -1 adjustment. */ | 218 | /* Correct for the initial -1, to get the final symbol length */ |
219 | length[i]=t+1; | ||
203 | } | 220 | } |
204 | /* Find largest and smallest lengths in this group */ | 221 | /* Find largest and smallest lengths in this group */ |
205 | minLen=maxLen=length[0]; | 222 | minLen=maxLen=length[0]; |
@@ -214,11 +231,8 @@ extern int read_bunzip_data(bunzip_data *bd) | |||
214 | * value of a huffman symbol of a given length when using permute[]. | 231 | * value of a huffman symbol of a given length when using permute[]. |
215 | * | 232 | * |
216 | * limit[] indicates the largest numerical value a symbol with a given | 233 | * limit[] indicates the largest numerical value a symbol with a given |
217 | * number of bits can have. It lets us know when to stop reading. | 234 | * number of bits can have. This is how the huffman codes can vary in |
218 | * | 235 | * length: each code with a value>limit[length] needs another bit. |
219 | * To use these, keep reading bits until value<=limit[bitcount] or | ||
220 | * you've read over 20 bits (error). Then the decoded symbol | ||
221 | * equals permute[hufcode_value-base[hufcode_bitcount]]. | ||
222 | */ | 236 | */ |
223 | hufGroup=bd->groups+j; | 237 | hufGroup=bd->groups+j; |
224 | hufGroup->minLen = minLen; | 238 | hufGroup->minLen = minLen; |
@@ -228,22 +242,29 @@ extern int read_bunzip_data(bunzip_data *bd) | |||
228 | entry. We do this again when using them (during symbol decoding).*/ | 242 | entry. We do this again when using them (during symbol decoding).*/ |
229 | base=hufGroup->base-1; | 243 | base=hufGroup->base-1; |
230 | limit=hufGroup->limit-1; | 244 | limit=hufGroup->limit-1; |
231 | /* Calculate permute[] */ | 245 | /* Calculate permute[]. Concurently, initialize temp[] and limit[]. */ |
232 | pp = 0; | 246 | pp=0; |
233 | for(i=minLen;i<=maxLen;i++) | 247 | for(i=minLen;i<=maxLen;i++) { |
248 | temp[i]=limit[i]=0; | ||
234 | for(t=0;t<symCount;t++) | 249 | for(t=0;t<symCount;t++) |
235 | if(length[t]==i) hufGroup->permute[pp++] = t; | 250 | if(length[t]==i) hufGroup->permute[pp++] = t; |
236 | /* Count cumulative symbols coded for at each bit length */ | 251 | } |
237 | for (i=minLen;i<=maxLen;i++) temp[i]=limit[i]=0; | 252 | /* Count symbols coded for at each bit length */ |
238 | for (i=0;i<symCount;i++) temp[length[i]]++; | 253 | for (i=0;i<symCount;i++) temp[length[i]]++; |
239 | /* Calculate limit[] (the largest symbol-coding value at each bit | 254 | /* Calculate limit[] (the largest symbol-coding value at each bit |
240 | * length, which is (previous limit<<1)+symbols at this level), and | 255 | * length, which is (previous limit<<1)+symbols at this level), and |
241 | * base[] (number of symbols to ignore at each bit length, which is | 256 | * base[] (number of symbols to ignore at each bit length, which is |
242 | * limit-cumulative count of symbols coded for already). */ | 257 | * limit minus the cumulative count of symbols coded for already). */ |
243 | pp=t=0; | 258 | pp=t=0; |
244 | for (i=minLen; i<maxLen; i++) { | 259 | for (i=minLen; i<maxLen; i++) { |
245 | pp+=temp[i]; | 260 | pp+=temp[i]; |
246 | limit[i]=pp-1; | 261 | /* We read the largest possible symbol size and then unget bits |
262 | after determining how many we need, and those extra bits could | ||
263 | be set to anything. (They're noise from future symbols.) At | ||
264 | each level we're really only interested in the first few bits, | ||
265 | so here we set all the trailing to-be-ignored bits to 1 so they | ||
266 | don't affect the value>limit[length] comparison. */ | ||
267 | limit[i]= (pp << (maxLen - i)) - 1; | ||
247 | pp<<=1; | 268 | pp<<=1; |
248 | base[i+1]=pp-(t+=temp[i]); | 269 | base[i+1]=pp-(t+=temp[i]); |
249 | } | 270 | } |
@@ -255,10 +276,12 @@ extern int read_bunzip_data(bunzip_data *bd) | |||
255 | block's huffman coded symbols from the file and undo the huffman coding | 276 | block's huffman coded symbols from the file and undo the huffman coding |
256 | and run length encoding, saving the result into dbuf[dbufCount++]=uc */ | 277 | and run length encoding, saving the result into dbuf[dbufCount++]=uc */ |
257 | 278 | ||
258 | /* Initialize symbol occurrence counters and symbol mtf table */ | 279 | /* Initialize symbol occurrence counters and symbol Move To Front table */ |
259 | memset(byteCount,0,256*sizeof(int)); | 280 | for(i=0;i<256;i++) { |
260 | for(i=0;i<256;i++) mtfSymbol[i]=(unsigned char)i; | 281 | byteCount[i] = 0; |
261 | /* Loop through compressed symbols */ | 282 | mtfSymbol[i]=(unsigned char)i; |
283 | } | ||
284 | /* Loop through compressed symbols. */ | ||
262 | runPos=dbufCount=symCount=selector=0; | 285 | runPos=dbufCount=symCount=selector=0; |
263 | for(;;) { | 286 | for(;;) { |
264 | /* Determine which huffman coding group to use. */ | 287 | /* Determine which huffman coding group to use. */ |
@@ -269,17 +292,41 @@ extern int read_bunzip_data(bunzip_data *bd) | |||
269 | base=hufGroup->base-1; | 292 | base=hufGroup->base-1; |
270 | limit=hufGroup->limit-1; | 293 | limit=hufGroup->limit-1; |
271 | } | 294 | } |
272 | /* Read next huffman-coded symbol */ | 295 | /* Read next huffman-coded symbol. */ |
273 | i = hufGroup->minLen; | 296 | /* Note: It is far cheaper to read maxLen bits and back up than it is |
274 | j=get_bits(bd, i); | 297 | to read minLen bits and then an additional bit at a time, testing |
275 | while (j > limit[i]) { /* The sentinal allows us to avoid testing i. */ | 298 | as we go. Because there is a trailing last block (with file CRC), |
276 | j = (j << 1) | GET_A_BIT(bd); | 299 | there is no danger of the overread causing an unexpected EOF for a |
277 | ++i; | 300 | valid compressed file. As a further optimization, we do the read |
278 | } | 301 | inline (falling back to a call to get_bits if the buffer runs |
279 | /* Huffman decode nextSym (with bounds checking) */ | 302 | dry). The following (up to got_huff_bits:) is equivalent to |
280 | if ((i > hufGroup->maxLen) || (((unsigned)(j-=base[i])) >= MAX_SYMBOLS)) return RETVAL_DATA_ERROR; | 303 | j=get_bits(bd,hufGroup->maxLen); |
304 | */ | ||
305 | while (bd->inbufBitCount<hufGroup->maxLen) { | ||
306 | if(bd->inbufPos==bd->inbufCount) { | ||
307 | j = get_bits(bd,hufGroup->maxLen); | ||
308 | goto got_huff_bits; | ||
309 | } | ||
310 | bd->inbufBits=(bd->inbufBits<<8)|bd->inbuf[bd->inbufPos++]; | ||
311 | bd->inbufBitCount+=8; | ||
312 | }; | ||
313 | bd->inbufBitCount-=hufGroup->maxLen; | ||
314 | j = (bd->inbufBits>>bd->inbufBitCount)&((1<<hufGroup->maxLen)-1); | ||
315 | got_huff_bits: | ||
316 | /* Figure how how many bits are in next symbol and unget extras */ | ||
317 | i=hufGroup->minLen; | ||
318 | while(j>limit[i]) ++i; | ||
319 | bd->inbufBitCount += (hufGroup->maxLen - i); | ||
320 | /* Huffman decode value to get nextSym (with bounds checking) */ | ||
321 | if ((i > hufGroup->maxLen) | ||
322 | || (((unsigned)(j=(j>>(hufGroup->maxLen-i))-base[i])) | ||
323 | >= MAX_SYMBOLS)) | ||
324 | return RETVAL_DATA_ERROR; | ||
281 | nextSym = hufGroup->permute[j]; | 325 | nextSym = hufGroup->permute[j]; |
282 | /* If this is a repeated run, loop collecting data */ | 326 | /* We have now decoded the symbol, which indicates either a new literal |
327 | byte, or a repeated run of the most recent literal byte. First, | ||
328 | check if nextSym indicates a repeated run, and if so loop collecting | ||
329 | how many times to repeat the last literal. */ | ||
283 | if (((unsigned)nextSym) <= SYMBOL_RUNB) { /* RUNA or RUNB */ | 330 | if (((unsigned)nextSym) <= SYMBOL_RUNB) { /* RUNA or RUNB */ |
284 | /* If this is the start of a new run, zero out counter */ | 331 | /* If this is the start of a new run, zero out counter */ |
285 | if(!runPos) { | 332 | if(!runPos) { |
@@ -311,19 +358,20 @@ extern int read_bunzip_data(bunzip_data *bd) | |||
311 | } | 358 | } |
312 | /* Is this the terminating symbol? */ | 359 | /* Is this the terminating symbol? */ |
313 | if(nextSym>symTotal) break; | 360 | if(nextSym>symTotal) break; |
314 | /* At this point, the symbol we just decoded indicates a new literal | 361 | /* At this point, nextSym indicates a new literal character. Subtract |
315 | character. Subtract one to get the position in the MTF array | 362 | one to get the position in the MTF array at which this literal is |
316 | at which this literal is currently to be found. (Note that the | 363 | currently to be found. (Note that the result can't be -1 or 0, |
317 | result can't be -1 or 0, because 0 and 1 are RUNA and RUNB. | 364 | because 0 and 1 are RUNA and RUNB. But another instance of the |
318 | Another instance of the first symbol in the mtf array, position 0, | 365 | first symbol in the mtf array, position 0, would have been handled |
319 | would have been handled as part of a run.) */ | 366 | as part of a run above. Therefore 1 unused mtf position minus |
367 | 2 non-literal nextSym values equals -1.) */ | ||
320 | if(dbufCount>=dbufSize) return RETVAL_DATA_ERROR; | 368 | if(dbufCount>=dbufSize) return RETVAL_DATA_ERROR; |
321 | i = nextSym - 1; | 369 | i = nextSym - 1; |
322 | uc = mtfSymbol[i]; | 370 | uc = mtfSymbol[i]; |
323 | /* Since we typically expect to move only a small number of symbols, | 371 | /* Adjust the MTF array. Since we typically expect to move only a |
324 | * and are bound by 256 in any case, using memmove here would | 372 | * small number of symbols, and are bound by 256 in any case, using |
325 | * typically be slower due to function call overhead and other | 373 | * memmove here would typically be bigger and slower due to function |
326 | * assorted setup costs. */ | 374 | * call overhead and other assorted setup costs. */ |
327 | do { | 375 | do { |
328 | mtfSymbol[i] = mtfSymbol[i-1]; | 376 | mtfSymbol[i] = mtfSymbol[i-1]; |
329 | } while (--i); | 377 | } while (--i); |
@@ -333,14 +381,12 @@ extern int read_bunzip_data(bunzip_data *bd) | |||
333 | byteCount[uc]++; | 381 | byteCount[uc]++; |
334 | dbuf[dbufCount++] = (unsigned int)uc; | 382 | dbuf[dbufCount++] = (unsigned int)uc; |
335 | } | 383 | } |
336 | /* At this point, we've finished reading huffman-coded symbols and | 384 | /* At this point, we've read all the huffman-coded symbols (and repeated |
337 | compressed runs from the input stream. There are dbufCount many of | 385 | runs) for this block from the input stream, and decoded them into the |
338 | them in dbuf[]. Now undo the Burrows-Wheeler transform on dbuf. | 386 | intermediate buffer. There are dbufCount many decoded bytes in dbuf[]. |
387 | Now undo the Burrows-Wheeler transform on dbuf. | ||
339 | See http://dogma.net/markn/articles/bwt/bwt.htm | 388 | See http://dogma.net/markn/articles/bwt/bwt.htm |
340 | */ | 389 | */ |
341 | |||
342 | /* Now we know what dbufCount is, do a better sanity check on origPtr. */ | ||
343 | if (((unsigned)origPtr)>=dbufCount) return RETVAL_DATA_ERROR; | ||
344 | /* Turn byteCount into cumulative occurrence counts of 0 to n-1. */ | 390 | /* Turn byteCount into cumulative occurrence counts of 0 to n-1. */ |
345 | j=0; | 391 | j=0; |
346 | for(i=0;i<256;i++) { | 392 | for(i=0;i<256;i++) { |
@@ -350,144 +396,137 @@ extern int read_bunzip_data(bunzip_data *bd) | |||
350 | } | 396 | } |
351 | /* Figure out what order dbuf would be in if we sorted it. */ | 397 | /* Figure out what order dbuf would be in if we sorted it. */ |
352 | for (i=0;i<dbufCount;i++) { | 398 | for (i=0;i<dbufCount;i++) { |
353 | uc = (unsigned char)(dbuf[i] & 0xff); | 399 | uc=(unsigned char)(dbuf[i] & 0xff); |
354 | dbuf[byteCount[uc]] |= (i << 8); | 400 | dbuf[byteCount[uc]] |= (i << 8); |
355 | byteCount[uc]++; | 401 | byteCount[uc]++; |
356 | } | 402 | } |
357 | /* blockRandomised support would go here. */ | ||
358 | |||
359 | /* Using i as position, j as previous character, t as current character, | ||
360 | and uc as run count */ | ||
361 | bd->dataCRC = 0xffffffffL; | ||
362 | /* Decode first byte by hand to initialize "previous" byte. Note that it | 403 | /* Decode first byte by hand to initialize "previous" byte. Note that it |
363 | doesn't get output, and if the first three characters are identical | 404 | doesn't get output, and if the first three characters are identical |
364 | it doesn't qualify as a run (hence uc=255, which will either wrap | 405 | it doesn't qualify as a run (hence writeRunCountdown=5). */ |
365 | to 1 or get reset). */ | ||
366 | if(dbufCount) { | 406 | if(dbufCount) { |
407 | if(origPtr>=dbufCount) return RETVAL_DATA_ERROR; | ||
367 | bd->writePos=dbuf[origPtr]; | 408 | bd->writePos=dbuf[origPtr]; |
368 | bd->writeCurrent=(unsigned char)(bd->writePos&0xff); | 409 | bd->writeCurrent=(unsigned char)(bd->writePos&0xff); |
369 | bd->writePos>>=8; | 410 | bd->writePos>>=8; |
370 | bd->writeRun=-1; | 411 | bd->writeRunCountdown=5; |
371 | } | 412 | } |
372 | bd->writeCount=dbufCount; | 413 | bd->writeCount=dbufCount; |
373 | 414 | ||
374 | return RETVAL_OK; | 415 | return RETVAL_OK; |
375 | } | 416 | } |
376 | 417 | ||
377 | /* Flush output buffer to disk */ | ||
378 | extern void flush_bunzip_outbuf(bunzip_data *bd, int out_fd) | ||
379 | { | ||
380 | if(bd->outbufPos) { | ||
381 | if(write(out_fd, bd->outbuf, bd->outbufPos) != bd->outbufPos) | ||
382 | longjmp(bd->jmpbuf,RETVAL_UNEXPECTED_OUTPUT_EOF); | ||
383 | bd->outbufPos=0; | ||
384 | } | ||
385 | } | ||
386 | |||
387 | |||
388 | /* Undo burrows-wheeler transform on intermediate buffer to produce output. | 418 | /* Undo burrows-wheeler transform on intermediate buffer to produce output. |
389 | If !len, write up to len bytes of data to buf. Otherwise write to out_fd. | 419 | If start_bunzip was initialized with out_fd=-1, then up to len bytes of |
390 | Returns len ? bytes written : RETVAL_OK. Notice all errors negative #'s. */ | 420 | data are written to outbuf. Return value is number of bytes written or |
391 | extern int write_bunzip_data(bunzip_data *bd, int out_fd, char *outbuf, int len) | 421 | error (all errors are negative numbers). If out_fd!=-1, outbuf and len |
422 | are ignored, data is written to out_fd and return is RETVAL_OK or error. | ||
423 | */ | ||
424 | |||
425 | extern int read_bunzip(bunzip_data *bd, char *outbuf, int len) | ||
392 | { | 426 | { |
393 | unsigned int *dbuf=bd->dbuf; | 427 | const unsigned int *dbuf; |
394 | int count,pos,current, run,copies,outbyte,previous,gotcount=0; | 428 | int pos,current,previous,gotcount; |
395 | 429 | ||
396 | for(;;) { | 430 | /* If last read was short due to end of file, return last block now */ |
397 | /* If last read was short due to end of file, return last block now */ | 431 | if(bd->writeCount<0) return bd->writeCount; |
398 | if(bd->writeCount<0) return bd->writeCount; | 432 | |
399 | /* If we need to refill dbuf, do it. */ | 433 | gotcount = 0; |
400 | if(!bd->writeCount) { | 434 | dbuf=bd->dbuf; |
401 | int i=read_bunzip_data(bd); | 435 | pos=bd->writePos; |
402 | if(i) { | 436 | current=bd->writeCurrent; |
403 | if(i==RETVAL_LAST_BLOCK) { | 437 | |
404 | bd->writeCount=i; | 438 | /* We will always have pending decoded data to write into the output |
405 | return gotcount; | 439 | buffer unless this is the very first call (in which case we haven't |
406 | } else return i; | 440 | huffman-decoded a block into the intermediate buffer yet). */ |
441 | |||
442 | if (bd->writeCopies) { | ||
443 | /* Inside the loop, writeCopies means extra copies (beyond 1) */ | ||
444 | --bd->writeCopies; | ||
445 | /* Loop outputting bytes */ | ||
446 | for(;;) { | ||
447 | /* If the output buffer is full, snapshot state and return */ | ||
448 | if(gotcount >= len) { | ||
449 | bd->writePos=pos; | ||
450 | bd->writeCurrent=current; | ||
451 | bd->writeCopies++; | ||
452 | return len; | ||
407 | } | 453 | } |
408 | } | 454 | /* Write next byte into output buffer, updating CRC */ |
409 | /* Loop generating output */ | 455 | outbuf[gotcount++] = current; |
410 | count=bd->writeCount; | 456 | bd->writeCRC=(((bd->writeCRC)<<8) |
411 | pos=bd->writePos; | 457 | ^bd->crc32Table[((bd->writeCRC)>>24)^current]); |
412 | current=bd->writeCurrent; | 458 | /* Loop now if we're outputting multiple copies of this byte */ |
413 | run=bd->writeRun; | 459 | if (bd->writeCopies) { |
414 | while(count) { | 460 | --bd->writeCopies; |
415 | /* If somebody (like busybox tar) wants a certain number of bytes of | 461 | continue; |
416 | data from memory instead of written to a file, humor them */ | 462 | } |
417 | if(len && bd->outbufPos>=len) goto dataus_interruptus; | 463 | decode_next_byte: |
418 | count--; | 464 | if (!bd->writeCount--) break; |
419 | /* Follow sequence vector to undo Burrows-Wheeler transform */ | 465 | /* Follow sequence vector to undo Burrows-Wheeler transform */ |
420 | previous=current; | 466 | previous=current; |
421 | pos=dbuf[pos]; | 467 | pos=dbuf[pos]; |
422 | current=pos&0xff; | 468 | current=pos&0xff; |
423 | pos>>=8; | 469 | pos>>=8; |
424 | /* Whenever we see 3 consecutive copies of the same byte, | 470 | /* After 3 consecutive copies of the same byte, the 4th is a repeat |
425 | the 4th is a repeat count */ | 471 | count. We count down from 4 instead |
426 | if(run++==3) { | 472 | * of counting up because testing for non-zero is faster */ |
427 | copies=current; | 473 | if(--bd->writeRunCountdown) { |
428 | outbyte=previous; | 474 | if(current!=previous) bd->writeRunCountdown=4; |
429 | current=-1; | ||
430 | } else { | 475 | } else { |
431 | copies=1; | 476 | /* We have a repeated run, this byte indicates the count */ |
432 | outbyte=current; | 477 | bd->writeCopies=current; |
433 | } | 478 | current=previous; |
434 | /* Output bytes to buffer, flushing to file if necessary */ | 479 | bd->writeRunCountdown=5; |
435 | while(copies--) { | 480 | /* Sometimes there are just 3 bytes (run length 0) */ |
436 | if(bd->outbufPos == IOBUF_SIZE) flush_bunzip_outbuf(bd,out_fd); | 481 | if(!bd->writeCopies) goto decode_next_byte; |
437 | bd->outbuf[bd->outbufPos++] = outbyte; | 482 | /* Subtract the 1 copy we'd output anyway to get extras */ |
438 | bd->dataCRC = (bd->dataCRC << 8) | 483 | --bd->writeCopies; |
439 | ^ bd->crc32Table[(bd->dataCRC >> 24) ^ outbyte]; | ||
440 | } | 484 | } |
441 | if(current!=previous) run=0; | ||
442 | } | 485 | } |
443 | /* Decompression of this block completed successfully */ | 486 | /* Decompression of this block completed successfully */ |
444 | bd->dataCRC=~(bd->dataCRC); | 487 | bd->writeCRC=~bd->writeCRC; |
445 | bd->totalCRC=((bd->totalCRC << 1) | (bd->totalCRC >> 31)) ^ bd->dataCRC; | 488 | bd->totalCRC=((bd->totalCRC<<1) | (bd->totalCRC>>31)) ^ bd->writeCRC; |
446 | /* If this block had a CRC error, force file level CRC error. */ | 489 | /* If this block had a CRC error, force file level CRC error. */ |
447 | if(bd->dataCRC!=bd->headerCRC) { | 490 | if(bd->writeCRC!=bd->headerCRC) { |
448 | bd->totalCRC=bd->headerCRC+1; | 491 | bd->totalCRC=bd->headerCRC+1; |
449 | return RETVAL_LAST_BLOCK; | 492 | return RETVAL_LAST_BLOCK; |
450 | } | 493 | } |
451 | dataus_interruptus: | ||
452 | bd->writeCount=count; | ||
453 | if(len) { | ||
454 | gotcount+=bd->outbufPos; | ||
455 | memcpy(outbuf,bd->outbuf,len); | ||
456 | /* If we got enough data, checkpoint loop state and return */ | ||
457 | if((len-=bd->outbufPos)<1) { | ||
458 | bd->outbufPos-=len; | ||
459 | if(bd->outbufPos) | ||
460 | memmove(bd->outbuf,bd->outbuf+len,bd->outbufPos); | ||
461 | bd->writePos=pos; | ||
462 | bd->writeCurrent=current; | ||
463 | bd->writeRun=run; | ||
464 | return gotcount; | ||
465 | } | ||
466 | } | ||
467 | } | 494 | } |
495 | |||
496 | /* Refill the intermediate buffer by huffman-decoding next block of input */ | ||
497 | /* (previous is just a convenient unused temp variable here) */ | ||
498 | previous=get_next_block(bd); | ||
499 | if(previous) { | ||
500 | bd->writeCount=previous; | ||
501 | return (previous!=RETVAL_LAST_BLOCK) ? previous : gotcount; | ||
502 | } | ||
503 | bd->writeCRC=0xffffffffUL; | ||
504 | pos=bd->writePos; | ||
505 | current=bd->writeCurrent; | ||
506 | goto decode_next_byte; | ||
468 | } | 507 | } |
469 | 508 | ||
470 | /* Allocate the structure, read file header. If !len, src_fd contains | 509 | /* Allocate the structure, read file header. If in_fd==-1, inbuf must contain |
471 | filehandle to read from. Else inbuf contains data. */ | 510 | a complete bunzip file (len bytes long). If in_fd!=-1, inbuf and len are |
472 | extern int start_bunzip(bunzip_data **bdp, int src_fd, char *inbuf, int len) | 511 | ignored, and data is read from file handle into temporary buffer. */ |
512 | extern int start_bunzip(bunzip_data **bdp, int in_fd, char *inbuf, int len) | ||
473 | { | 513 | { |
474 | bunzip_data *bd; | 514 | bunzip_data *bd; |
475 | unsigned int i,j,c; | 515 | unsigned int i,j,c; |
516 | const unsigned int BZh0=(((unsigned int)'B')<<24)+(((unsigned int)'Z')<<16) | ||
517 | +(((unsigned int)'h')<<8)+(unsigned int)'0'; | ||
476 | 518 | ||
477 | /* Figure out how much data to allocate */ | 519 | /* Figure out how much data to allocate */ |
478 | i=sizeof(bunzip_data); | 520 | i=sizeof(bunzip_data); |
479 | if(!len) i+=IOBUF_SIZE; | 521 | if(in_fd!=-1) i+=IOBUF_SIZE; |
480 | /* Allocate bunzip_data. Most fields initialize to zero. */ | 522 | /* Allocate bunzip_data. Most fields initialize to zero. */ |
481 | if(!(bd=*bdp=malloc(i))) return RETVAL_OUT_OF_MEMORY; | 523 | if(!(bd=*bdp=malloc(i))) return RETVAL_OUT_OF_MEMORY; |
482 | memset(bd,0,sizeof(bunzip_data)); | 524 | memset(bd,0,sizeof(bunzip_data)); |
483 | if(len) { | 525 | /* Setup input buffer */ |
526 | if(-1==(bd->in_fd=in_fd)) { | ||
484 | bd->inbuf=inbuf; | 527 | bd->inbuf=inbuf; |
485 | bd->inbufCount=len; | 528 | bd->inbufCount=len; |
486 | bd->in_fd=-1; | 529 | } else bd->inbuf=(unsigned char *)(bd+1); |
487 | } else { | ||
488 | bd->inbuf=(char *)(bd+1); | ||
489 | bd->in_fd=src_fd; | ||
490 | } | ||
491 | /* Init the CRC32 table (big endian) */ | 530 | /* Init the CRC32 table (big endian) */ |
492 | for(i=0;i<256;i++) { | 531 | for(i=0;i<256;i++) { |
493 | c=i<<24; | 532 | c=i<<24; |
@@ -498,55 +537,60 @@ extern int start_bunzip(bunzip_data **bdp, int src_fd, char *inbuf, int len) | |||
498 | /* Setup for I/O error handling via longjmp */ | 537 | /* Setup for I/O error handling via longjmp */ |
499 | i=setjmp(bd->jmpbuf); | 538 | i=setjmp(bd->jmpbuf); |
500 | if(i) return i; | 539 | if(i) return i; |
501 | /* Ensure that file starts with "BZh" */ | 540 | |
502 | for(i=0;i<3;i++) if(get_bits(bd,8)!="BZh"[i]) return RETVAL_NOT_BZIP_DATA; | 541 | /* Ensure that file starts with "BZh['1'-'9']." */ |
503 | /* Next byte ascii '1'-'9', indicates block size in units of 100k of | 542 | i = get_bits(bd,32); |
543 | if (((unsigned int)(i-BZh0-1)) >= 9) return RETVAL_NOT_BZIP_DATA; | ||
544 | |||
545 | /* Fourth byte (ascii '1'-'9'), indicates block size in units of 100k of | ||
504 | uncompressed data. Allocate intermediate buffer for block. */ | 546 | uncompressed data. Allocate intermediate buffer for block. */ |
505 | i=get_bits(bd,8); | 547 | bd->dbufSize=100000*(i-BZh0); |
506 | if (i<'1' || i>'9') return RETVAL_NOT_BZIP_DATA; | 548 | |
507 | bd->dbufSize=100000*(i-'0'); | ||
508 | if(!(bd->dbuf=malloc(bd->dbufSize * sizeof(int)))) | 549 | if(!(bd->dbuf=malloc(bd->dbufSize * sizeof(int)))) |
509 | return RETVAL_OUT_OF_MEMORY; | 550 | return RETVAL_OUT_OF_MEMORY; |
510 | return RETVAL_OK; | 551 | return RETVAL_OK; |
511 | } | 552 | } |
512 | 553 | ||
513 | extern char *uncompressStream(int src_fd, int dst_fd) | 554 | /* Example usage: decompress src_fd to dst_fd. (Stops at end of bzip data, |
555 | not end of file.) */ | ||
556 | extern int uncompressStream(int src_fd, int dst_fd) | ||
514 | { | 557 | { |
558 | char *outbuf; | ||
515 | bunzip_data *bd; | 559 | bunzip_data *bd; |
516 | int i; | 560 | int i; |
517 | 561 | ||
562 | if(!(outbuf=malloc(IOBUF_SIZE))) return RETVAL_OUT_OF_MEMORY; | ||
518 | if(!(i=start_bunzip(&bd,src_fd,0,0))) { | 563 | if(!(i=start_bunzip(&bd,src_fd,0,0))) { |
519 | i=write_bunzip_data(bd,dst_fd,0,0); | 564 | for(;;) { |
520 | if(i==RETVAL_LAST_BLOCK && bd->headerCRC==bd->totalCRC) i=RETVAL_OK; | 565 | if((i=read_bunzip(bd,outbuf,IOBUF_SIZE)) <= 0) break; |
566 | if(i!=write(dst_fd,outbuf,i)) { | ||
567 | i=RETVAL_UNEXPECTED_OUTPUT_EOF; | ||
568 | break; | ||
569 | } | ||
570 | } | ||
521 | } | 571 | } |
522 | flush_bunzip_outbuf(bd,dst_fd); | 572 | /* Check CRC and release memory */ |
573 | if(i==RETVAL_LAST_BLOCK && bd->headerCRC==bd->totalCRC) i=RETVAL_OK; | ||
523 | if(bd->dbuf) free(bd->dbuf); | 574 | if(bd->dbuf) free(bd->dbuf); |
524 | free(bd); | 575 | free(bd); |
525 | return bunzip_errors[-i]; | 576 | free(outbuf); |
577 | return i; | ||
526 | } | 578 | } |
527 | 579 | ||
528 | /* This new version is not yet properly integrated with tar */ | 580 | #ifdef TESTING |
529 | extern ssize_t read_bz2(int fd, void *buf, size_t count) | ||
530 | { | ||
531 | #warning FIXME | ||
532 | return(0); | ||
533 | } | ||
534 | 581 | ||
535 | extern void BZ2_bzReadOpen(int fd, void *unused, int nUnused) | 582 | static char * const bunzip_errors[]={NULL,"Bad file checksum","Not bzip data", |
536 | { | 583 | "Unexpected input EOF","Unexpected output EOF","Data error", |
537 | #warning FIXME | 584 | "Out of memory","Obsolete (pre 0.9.5) bzip format not supported."}; |
538 | return; | ||
539 | } | ||
540 | extern void BZ2_bzReadClose(void) | ||
541 | { | ||
542 | #warning FIXME | ||
543 | } | ||
544 | 585 | ||
545 | #if 0 | ||
546 | /* Dumb little test thing, decompress stdin to stdout */ | 586 | /* Dumb little test thing, decompress stdin to stdout */ |
547 | int main(int argc, char *argv[]) | 587 | int main(int argc, char *argv[]) |
548 | { | 588 | { |
549 | char *c=uncompressStream(0,1); | 589 | int i=uncompressStream(0,1); |
550 | fprintf(stderr,"\n%s\n", c ? c : "Completed OK"); | 590 | char c; |
591 | |||
592 | if(i) fprintf(stderr,"%s\n", bunzip_errors[-i]); | ||
593 | else if(read(0,&c,1)) fprintf(stderr,"Trailing garbage ignored\n"); | ||
594 | return -i; | ||
551 | } | 595 | } |
552 | #endif | 596 | #endif |