bsd-comp.c revision 1.18 1 1.18 christos /* $NetBSD: bsd-comp.c,v 1.18 2008/06/15 16:37:21 christos Exp $ */
2 1.7 christos /* Id: bsd-comp.c,v 1.6 1996/08/28 06:31:58 paulus Exp */
3 1.1 paulus
4 1.1 paulus /* Because this code is derived from the 4.3BSD compress source:
5 1.1 paulus *
6 1.1 paulus *
7 1.1 paulus * Copyright (c) 1985, 1986 The Regents of the University of California.
8 1.1 paulus * All rights reserved.
9 1.1 paulus *
10 1.1 paulus * This code is derived from software contributed to Berkeley by
11 1.1 paulus * James A. Woods, derived from original work by Spencer Thomas
12 1.1 paulus * and Joseph Orost.
13 1.1 paulus *
14 1.1 paulus * Redistribution and use in source and binary forms, with or without
15 1.1 paulus * modification, are permitted provided that the following conditions
16 1.1 paulus * are met:
17 1.1 paulus * 1. Redistributions of source code must retain the above copyright
18 1.1 paulus * notice, this list of conditions and the following disclaimer.
19 1.1 paulus * 2. Redistributions in binary form must reproduce the above copyright
20 1.1 paulus * notice, this list of conditions and the following disclaimer in the
21 1.1 paulus * documentation and/or other materials provided with the distribution.
22 1.12 agc * 3. Neither the name of the University nor the names of its contributors
23 1.1 paulus * may be used to endorse or promote products derived from this software
24 1.1 paulus * without specific prior written permission.
25 1.1 paulus *
26 1.1 paulus * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
27 1.1 paulus * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
28 1.1 paulus * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
29 1.1 paulus * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
30 1.1 paulus * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
31 1.1 paulus * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
32 1.1 paulus * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
33 1.1 paulus * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
34 1.1 paulus * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
35 1.1 paulus * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
36 1.1 paulus * SUCH DAMAGE.
37 1.1 paulus */
38 1.1 paulus
39 1.1 paulus /*
40 1.1 paulus * This version is for use with mbufs on BSD-derived systems.
41 1.1 paulus */
42 1.10 lukem
43 1.10 lukem #include <sys/cdefs.h>
44 1.18 christos __KERNEL_RCSID(0, "$NetBSD: bsd-comp.c,v 1.18 2008/06/15 16:37:21 christos Exp $");
45 1.1 paulus
46 1.1 paulus #include <sys/param.h>
47 1.2 christos #include <sys/systm.h>
48 1.1 paulus #include <sys/mbuf.h>
49 1.1 paulus #include <sys/socket.h>
50 1.1 paulus #include <net/if.h>
51 1.1 paulus #include <net/if_types.h>
52 1.1 paulus #include <net/ppp_defs.h>
53 1.1 paulus #include <net/if_ppp.h>
54 1.1 paulus
55 1.1 paulus #define PACKETPTR struct mbuf *
56 1.1 paulus #include <net/ppp-comp.h>
57 1.1 paulus
58 1.1 paulus #if DO_BSD_COMPRESS
59 1.1 paulus /*
60 1.1 paulus * PPP "BSD compress" compression
61 1.1 paulus * The differences between this compression and the classic BSD LZW
62 1.1 paulus * source are obvious from the requirement that the classic code worked
63 1.1 paulus * with files while this handles arbitrarily long streams that
64 1.1 paulus * are broken into packets. They are:
65 1.1 paulus *
66 1.1 paulus * When the code size expands, a block of junk is not emitted by
67 1.1 paulus * the compressor and not expected by the decompressor.
68 1.1 paulus *
69 1.1 paulus * New codes are not necessarily assigned every time an old
70 1.1 paulus * code is output by the compressor. This is because a packet
71 1.1 paulus * end forces a code to be emitted, but does not imply that a
72 1.1 paulus * new sequence has been seen.
73 1.1 paulus *
74 1.1 paulus * The compression ratio is checked at the first end of a packet
75 1.1 paulus * after the appropriate gap. Besides simplifying and speeding
76 1.1 paulus * things up, this makes it more likely that the transmitter
77 1.1 paulus * and receiver will agree when the dictionary is cleared when
78 1.1 paulus * compression is not going well.
79 1.1 paulus */
80 1.1 paulus
81 1.1 paulus /*
82 1.1 paulus * A dictionary for doing BSD compress.
83 1.1 paulus */
84 1.1 paulus struct bsd_db {
85 1.1 paulus int totlen; /* length of this structure */
86 1.1 paulus u_int hsize; /* size of the hash table */
87 1.1 paulus u_char hshift; /* used in hash function */
88 1.1 paulus u_char n_bits; /* current bits/code */
89 1.1 paulus u_char maxbits;
90 1.1 paulus u_char debug;
91 1.1 paulus u_char unit;
92 1.17 matt uint16_t seqno; /* sequence # of next packet */
93 1.1 paulus u_int hdrlen; /* header length to preallocate */
94 1.1 paulus u_int mru;
95 1.1 paulus u_int maxmaxcode; /* largest valid code */
96 1.1 paulus u_int max_ent; /* largest code in use */
97 1.1 paulus u_int in_count; /* uncompressed bytes, aged */
98 1.1 paulus u_int bytes_out; /* compressed bytes, aged */
99 1.1 paulus u_int ratio; /* recent compression ratio */
100 1.1 paulus u_int checkpoint; /* when to next check the ratio */
101 1.1 paulus u_int clear_count; /* times dictionary cleared */
102 1.1 paulus u_int incomp_count; /* incompressible packets */
103 1.1 paulus u_int incomp_bytes; /* incompressible bytes */
104 1.1 paulus u_int uncomp_count; /* uncompressed packets */
105 1.1 paulus u_int uncomp_bytes; /* uncompressed bytes */
106 1.1 paulus u_int comp_count; /* compressed packets */
107 1.1 paulus u_int comp_bytes; /* compressed bytes */
108 1.17 matt uint16_t *lens; /* array of lengths of codes */
109 1.1 paulus struct bsd_dict {
110 1.1 paulus union { /* hash value */
111 1.17 matt uint32_t fcode;
112 1.1 paulus struct {
113 1.1 paulus #if BYTE_ORDER == LITTLE_ENDIAN
114 1.17 matt uint16_t prefix; /* preceding code */
115 1.1 paulus u_char suffix; /* last character of new code */
116 1.1 paulus u_char pad;
117 1.1 paulus #else
118 1.1 paulus u_char pad;
119 1.1 paulus u_char suffix; /* last character of new code */
120 1.17 matt uint16_t prefix; /* preceding code */
121 1.1 paulus #endif
122 1.1 paulus } hs;
123 1.1 paulus } f;
124 1.17 matt uint16_t codem1; /* output of hash table -1 */
125 1.17 matt uint16_t cptr; /* map code to hash table entry */
126 1.1 paulus } dict[1];
127 1.1 paulus };
128 1.1 paulus
129 1.1 paulus #define BSD_OVHD 2 /* BSD compress overhead/packet */
130 1.1 paulus #define BSD_INIT_BITS BSD_MIN_BITS
131 1.1 paulus
132 1.14 thorpej static void *bsd_comp_alloc(u_char *options, int opt_len);
133 1.14 thorpej static void *bsd_decomp_alloc(u_char *options, int opt_len);
134 1.14 thorpej static void bsd_free(void *state);
135 1.14 thorpej static int bsd_comp_init(void *state, u_char *options, int opt_len,
136 1.14 thorpej int unit, int hdrlen, int debug);
137 1.14 thorpej static int bsd_decomp_init(void *state, u_char *options, int opt_len,
138 1.14 thorpej int unit, int hdrlen, int mru, int debug);
139 1.14 thorpej static int bsd_compress(void *state, struct mbuf **mret,
140 1.14 thorpej struct mbuf *mp, int slen, int maxolen);
141 1.14 thorpej static void bsd_incomp(void *state, struct mbuf *dmsg);
142 1.14 thorpej static int bsd_decompress(void *state, struct mbuf *cmp,
143 1.14 thorpej struct mbuf **dmpp);
144 1.14 thorpej static void bsd_reset(void *state);
145 1.14 thorpej static void bsd_comp_stats(void *state, struct compstat *stats);
146 1.1 paulus
147 1.1 paulus /*
148 1.1 paulus * Procedures exported to if_ppp.c.
149 1.1 paulus */
150 1.1 paulus struct compressor ppp_bsd_compress = {
151 1.1 paulus CI_BSD_COMPRESS, /* compress_proto */
152 1.1 paulus bsd_comp_alloc, /* comp_alloc */
153 1.1 paulus bsd_free, /* comp_free */
154 1.1 paulus bsd_comp_init, /* comp_init */
155 1.1 paulus bsd_reset, /* comp_reset */
156 1.1 paulus bsd_compress, /* compress */
157 1.1 paulus bsd_comp_stats, /* comp_stat */
158 1.1 paulus bsd_decomp_alloc, /* decomp_alloc */
159 1.1 paulus bsd_free, /* decomp_free */
160 1.1 paulus bsd_decomp_init, /* decomp_init */
161 1.1 paulus bsd_reset, /* decomp_reset */
162 1.1 paulus bsd_decompress, /* decompress */
163 1.1 paulus bsd_incomp, /* incomp */
164 1.1 paulus bsd_comp_stats, /* decomp_stat */
165 1.1 paulus };
166 1.1 paulus
167 1.1 paulus /*
168 1.1 paulus * the next two codes should not be changed lightly, as they must not
169 1.1 paulus * lie within the contiguous general code space.
170 1.1 paulus */
171 1.1 paulus #define CLEAR 256 /* table clear output code */
172 1.1 paulus #define FIRST 257 /* first free entry */
173 1.1 paulus #define LAST 255
174 1.1 paulus
175 1.1 paulus #define MAXCODE(b) ((1 << (b)) - 1)
176 1.1 paulus #define BADCODEM1 MAXCODE(BSD_MAX_BITS)
177 1.1 paulus
178 1.17 matt #define BSD_HASH(prefix,suffix,hshift) ((((uint32_t)(suffix)) << (hshift)) \
179 1.17 matt ^ (uint32_t)(prefix))
180 1.17 matt #define BSD_KEY(prefix,suffix) ((((uint32_t)(suffix)) << 16) \
181 1.17 matt + (uint32_t)(prefix))
182 1.1 paulus
183 1.1 paulus #define CHECK_GAP 10000 /* Ratio check interval */
184 1.1 paulus
185 1.1 paulus #define RATIO_SCALE_LOG 8
186 1.1 paulus #define RATIO_SCALE (1<<RATIO_SCALE_LOG)
187 1.1 paulus #define RATIO_MAX (0x7fffffff>>RATIO_SCALE_LOG)
188 1.1 paulus
189 1.14 thorpej static void bsd_clear(struct bsd_db *);
190 1.14 thorpej static int bsd_check(struct bsd_db *);
191 1.14 thorpej static void *bsd_alloc(u_char *, int, int);
192 1.14 thorpej static int bsd_init(struct bsd_db *, u_char *, int, int, int, int,
193 1.14 thorpej int, int);
194 1.2 christos
195 1.1 paulus /*
196 1.1 paulus * clear the dictionary
197 1.1 paulus */
198 1.1 paulus static void
199 1.14 thorpej bsd_clear(struct bsd_db *db)
200 1.1 paulus {
201 1.1 paulus db->clear_count++;
202 1.1 paulus db->max_ent = FIRST-1;
203 1.1 paulus db->n_bits = BSD_INIT_BITS;
204 1.1 paulus db->ratio = 0;
205 1.1 paulus db->bytes_out = 0;
206 1.1 paulus db->in_count = 0;
207 1.1 paulus db->checkpoint = CHECK_GAP;
208 1.1 paulus }
209 1.1 paulus
210 1.1 paulus /*
211 1.1 paulus * If the dictionary is full, then see if it is time to reset it.
212 1.1 paulus *
213 1.1 paulus * Compute the compression ratio using fixed-point arithmetic
214 1.1 paulus * with 8 fractional bits.
215 1.1 paulus *
216 1.1 paulus * Since we have an infinite stream instead of a single file,
217 1.1 paulus * watch only the local compression ratio.
218 1.1 paulus *
219 1.1 paulus * Since both peers must reset the dictionary at the same time even in
220 1.1 paulus * the absence of CLEAR codes (while packets are incompressible), they
221 1.1 paulus * must compute the same ratio.
222 1.1 paulus */
223 1.1 paulus static int /* 1=output CLEAR */
224 1.14 thorpej bsd_check(struct bsd_db *db)
225 1.1 paulus {
226 1.1 paulus u_int new_ratio;
227 1.1 paulus
228 1.1 paulus if (db->in_count >= db->checkpoint) {
229 1.1 paulus /* age the ratio by limiting the size of the counts */
230 1.1 paulus if (db->in_count >= RATIO_MAX
231 1.1 paulus || db->bytes_out >= RATIO_MAX) {
232 1.1 paulus db->in_count -= db->in_count/4;
233 1.1 paulus db->bytes_out -= db->bytes_out/4;
234 1.1 paulus }
235 1.1 paulus
236 1.1 paulus db->checkpoint = db->in_count + CHECK_GAP;
237 1.1 paulus
238 1.1 paulus if (db->max_ent >= db->maxmaxcode) {
239 1.1 paulus /* Reset the dictionary only if the ratio is worse,
240 1.1 paulus * or if it looks as if it has been poisoned
241 1.1 paulus * by incompressible data.
242 1.1 paulus *
243 1.1 paulus * This does not overflow, because
244 1.1 paulus * db->in_count <= RATIO_MAX.
245 1.1 paulus */
246 1.1 paulus new_ratio = db->in_count << RATIO_SCALE_LOG;
247 1.1 paulus if (db->bytes_out != 0)
248 1.1 paulus new_ratio /= db->bytes_out;
249 1.1 paulus
250 1.1 paulus if (new_ratio < db->ratio || new_ratio < 1 * RATIO_SCALE) {
251 1.1 paulus bsd_clear(db);
252 1.1 paulus return 1;
253 1.1 paulus }
254 1.1 paulus db->ratio = new_ratio;
255 1.1 paulus }
256 1.1 paulus }
257 1.1 paulus return 0;
258 1.1 paulus }
259 1.1 paulus
260 1.1 paulus /*
261 1.1 paulus * Return statistics.
262 1.1 paulus */
263 1.1 paulus static void
264 1.14 thorpej bsd_comp_stats(void *state, struct compstat *stats)
265 1.1 paulus {
266 1.1 paulus struct bsd_db *db = (struct bsd_db *) state;
267 1.1 paulus u_int out;
268 1.1 paulus
269 1.1 paulus stats->unc_bytes = db->uncomp_bytes;
270 1.1 paulus stats->unc_packets = db->uncomp_count;
271 1.1 paulus stats->comp_bytes = db->comp_bytes;
272 1.1 paulus stats->comp_packets = db->comp_count;
273 1.1 paulus stats->inc_bytes = db->incomp_bytes;
274 1.1 paulus stats->inc_packets = db->incomp_count;
275 1.1 paulus stats->ratio = db->in_count;
276 1.1 paulus out = db->bytes_out;
277 1.1 paulus if (stats->ratio <= 0x7fffff)
278 1.1 paulus stats->ratio <<= 8;
279 1.1 paulus else
280 1.1 paulus out >>= 8;
281 1.1 paulus if (out != 0)
282 1.1 paulus stats->ratio /= out;
283 1.1 paulus }
284 1.1 paulus
285 1.1 paulus /*
286 1.1 paulus * Reset state, as on a CCP ResetReq.
287 1.1 paulus */
288 1.1 paulus static void
289 1.14 thorpej bsd_reset(void *state)
290 1.1 paulus {
291 1.1 paulus struct bsd_db *db = (struct bsd_db *) state;
292 1.1 paulus
293 1.1 paulus db->seqno = 0;
294 1.1 paulus bsd_clear(db);
295 1.1 paulus db->clear_count = 0;
296 1.1 paulus }
297 1.1 paulus
298 1.1 paulus /*
299 1.1 paulus * Allocate space for a (de) compressor.
300 1.1 paulus */
301 1.1 paulus static void *
302 1.14 thorpej bsd_alloc(u_char *options, int opt_len, int decomp)
303 1.1 paulus {
304 1.1 paulus int bits;
305 1.1 paulus u_int newlen, hsize, hshift, maxmaxcode;
306 1.1 paulus struct bsd_db *db;
307 1.1 paulus
308 1.4 paulus if (opt_len < CILEN_BSD_COMPRESS || options[0] != CI_BSD_COMPRESS
309 1.1 paulus || options[1] != CILEN_BSD_COMPRESS
310 1.1 paulus || BSD_VERSION(options[2]) != BSD_CURRENT_VERSION)
311 1.1 paulus return NULL;
312 1.1 paulus bits = BSD_NBITS(options[2]);
313 1.1 paulus switch (bits) {
314 1.1 paulus case 9: /* needs 82152 for both directions */
315 1.1 paulus case 10: /* needs 84144 */
316 1.1 paulus case 11: /* needs 88240 */
317 1.1 paulus case 12: /* needs 96432 */
318 1.1 paulus hsize = 5003;
319 1.1 paulus hshift = 4;
320 1.1 paulus break;
321 1.1 paulus case 13: /* needs 176784 */
322 1.1 paulus hsize = 9001;
323 1.1 paulus hshift = 5;
324 1.1 paulus break;
325 1.1 paulus case 14: /* needs 353744 */
326 1.1 paulus hsize = 18013;
327 1.1 paulus hshift = 6;
328 1.1 paulus break;
329 1.1 paulus case 15: /* needs 691440 */
330 1.1 paulus hsize = 35023;
331 1.1 paulus hshift = 7;
332 1.1 paulus break;
333 1.1 paulus case 16: /* needs 1366160--far too much, */
334 1.1 paulus /* hsize = 69001; */ /* and 69001 is too big for cptr */
335 1.1 paulus /* hshift = 8; */ /* in struct bsd_db */
336 1.1 paulus /* break; */
337 1.1 paulus default:
338 1.1 paulus return NULL;
339 1.1 paulus }
340 1.1 paulus
341 1.1 paulus maxmaxcode = MAXCODE(bits);
342 1.1 paulus newlen = sizeof(*db) + (hsize-1) * (sizeof(db->dict[0]));
343 1.18 christos db = malloc(newlen, M_DEVBUF, M_NOWAIT|M_ZERO);
344 1.1 paulus if (!db)
345 1.1 paulus return NULL;
346 1.1 paulus
347 1.1 paulus if (!decomp) {
348 1.1 paulus db->lens = NULL;
349 1.1 paulus } else {
350 1.8 thorpej db->lens = malloc((maxmaxcode+1) * sizeof(db->lens[0]),
351 1.8 thorpej M_DEVBUF, M_NOWAIT);
352 1.1 paulus if (!db->lens) {
353 1.8 thorpej free(db, M_DEVBUF);
354 1.1 paulus return NULL;
355 1.1 paulus }
356 1.1 paulus }
357 1.1 paulus
358 1.1 paulus db->totlen = newlen;
359 1.1 paulus db->hsize = hsize;
360 1.1 paulus db->hshift = hshift;
361 1.1 paulus db->maxmaxcode = maxmaxcode;
362 1.1 paulus db->maxbits = bits;
363 1.1 paulus
364 1.1 paulus return (void *) db;
365 1.1 paulus }
366 1.1 paulus
367 1.1 paulus static void
368 1.14 thorpej bsd_free(void *state)
369 1.1 paulus {
370 1.1 paulus struct bsd_db *db = (struct bsd_db *) state;
371 1.1 paulus
372 1.1 paulus if (db->lens)
373 1.8 thorpej free(db->lens, M_DEVBUF);
374 1.8 thorpej free(db, M_DEVBUF);
375 1.1 paulus }
376 1.1 paulus
377 1.1 paulus static void *
378 1.14 thorpej bsd_comp_alloc(u_char *options, int opt_len)
379 1.1 paulus {
380 1.1 paulus return bsd_alloc(options, opt_len, 0);
381 1.1 paulus }
382 1.1 paulus
383 1.1 paulus static void *
384 1.14 thorpej bsd_decomp_alloc(u_char *options, int opt_len)
385 1.1 paulus {
386 1.1 paulus return bsd_alloc(options, opt_len, 1);
387 1.1 paulus }
388 1.1 paulus
389 1.1 paulus /*
390 1.1 paulus * Initialize the database.
391 1.1 paulus */
392 1.1 paulus static int
393 1.14 thorpej bsd_init(struct bsd_db *db, u_char *options, int opt_len, int unit, int hdrlen,
394 1.16 christos int mru, int debug, int decomp)
395 1.1 paulus {
396 1.1 paulus int i;
397 1.1 paulus
398 1.4 paulus if (opt_len < CILEN_BSD_COMPRESS || options[0] != CI_BSD_COMPRESS
399 1.1 paulus || options[1] != CILEN_BSD_COMPRESS
400 1.1 paulus || BSD_VERSION(options[2]) != BSD_CURRENT_VERSION
401 1.1 paulus || BSD_NBITS(options[2]) != db->maxbits
402 1.2 christos || (decomp && db->lens == NULL))
403 1.1 paulus return 0;
404 1.1 paulus
405 1.1 paulus if (decomp) {
406 1.1 paulus i = LAST+1;
407 1.1 paulus while (i != 0)
408 1.1 paulus db->lens[--i] = 1;
409 1.1 paulus }
410 1.1 paulus i = db->hsize;
411 1.1 paulus while (i != 0) {
412 1.1 paulus db->dict[--i].codem1 = BADCODEM1;
413 1.1 paulus db->dict[i].cptr = 0;
414 1.1 paulus }
415 1.1 paulus
416 1.1 paulus db->unit = unit;
417 1.1 paulus db->hdrlen = hdrlen;
418 1.1 paulus db->mru = mru;
419 1.1 paulus #ifndef DEBUG
420 1.1 paulus if (debug)
421 1.1 paulus #endif
422 1.1 paulus db->debug = 1;
423 1.1 paulus
424 1.1 paulus bsd_reset(db);
425 1.1 paulus
426 1.1 paulus return 1;
427 1.1 paulus }
428 1.1 paulus
429 1.1 paulus static int
430 1.14 thorpej bsd_comp_init(void *state, u_char *options, int opt_len, int unit, int hdrlen,
431 1.14 thorpej int debug)
432 1.1 paulus {
433 1.1 paulus return bsd_init((struct bsd_db *) state, options, opt_len,
434 1.1 paulus unit, hdrlen, 0, debug, 0);
435 1.1 paulus }
436 1.1 paulus
437 1.1 paulus static int
438 1.14 thorpej bsd_decomp_init(void *state, u_char *options, int opt_len, int unit, int hdrlen,
439 1.14 thorpej int mru, int debug)
440 1.1 paulus {
441 1.1 paulus return bsd_init((struct bsd_db *) state, options, opt_len,
442 1.1 paulus unit, hdrlen, mru, debug, 1);
443 1.1 paulus }
444 1.1 paulus
445 1.1 paulus
446 1.1 paulus /*
447 1.1 paulus * compress a packet
448 1.1 paulus * One change from the BSD compress command is that when the
449 1.1 paulus * code size expands, we do not output a bunch of padding.
450 1.1 paulus */
451 1.1 paulus int /* new slen */
452 1.14 thorpej bsd_compress(void *state,
453 1.14 thorpej struct mbuf **mret /* return compressed mbuf chain here */,
454 1.14 thorpej struct mbuf *mp /* from here */,
455 1.14 thorpej int slen, int maxolen)
456 1.1 paulus {
457 1.1 paulus struct bsd_db *db = (struct bsd_db *) state;
458 1.1 paulus int hshift = db->hshift;
459 1.1 paulus u_int max_ent = db->max_ent;
460 1.1 paulus u_int n_bits = db->n_bits;
461 1.1 paulus u_int bitno = 32;
462 1.17 matt uint32_t accm = 0, fcode;
463 1.1 paulus struct bsd_dict *dictp;
464 1.1 paulus u_char c;
465 1.1 paulus int hval, disp, ent, ilen;
466 1.1 paulus u_char *rptr, *wptr;
467 1.1 paulus u_char *cp_end;
468 1.1 paulus int olen;
469 1.2 christos struct mbuf *m;
470 1.1 paulus
471 1.1 paulus #define PUTBYTE(v) { \
472 1.1 paulus ++olen; \
473 1.1 paulus if (wptr) { \
474 1.1 paulus *wptr++ = (v); \
475 1.1 paulus if (wptr >= cp_end) { \
476 1.1 paulus m->m_len = wptr - mtod(m, u_char *); \
477 1.1 paulus MGET(m->m_next, M_DONTWAIT, MT_DATA); \
478 1.1 paulus m = m->m_next; \
479 1.1 paulus if (m) { \
480 1.1 paulus m->m_len = 0; \
481 1.1 paulus if (maxolen - olen > MLEN) \
482 1.1 paulus MCLGET(m, M_DONTWAIT); \
483 1.1 paulus wptr = mtod(m, u_char *); \
484 1.1 paulus cp_end = wptr + M_TRAILINGSPACE(m); \
485 1.1 paulus } else \
486 1.1 paulus wptr = NULL; \
487 1.1 paulus } \
488 1.1 paulus } \
489 1.1 paulus }
490 1.1 paulus
491 1.1 paulus #define OUTPUT(ent) { \
492 1.1 paulus bitno -= n_bits; \
493 1.1 paulus accm |= ((ent) << bitno); \
494 1.1 paulus do { \
495 1.1 paulus PUTBYTE(accm >> 24); \
496 1.1 paulus accm <<= 8; \
497 1.1 paulus bitno += 8; \
498 1.1 paulus } while (bitno <= 24); \
499 1.1 paulus }
500 1.1 paulus
501 1.1 paulus /*
502 1.1 paulus * If the protocol is not in the range we're interested in,
503 1.1 paulus * just return without compressing the packet. If it is,
504 1.1 paulus * the protocol becomes the first byte to compress.
505 1.1 paulus */
506 1.1 paulus rptr = mtod(mp, u_char *);
507 1.1 paulus ent = PPP_PROTOCOL(rptr);
508 1.1 paulus if (ent < 0x21 || ent > 0xf9) {
509 1.1 paulus *mret = NULL;
510 1.1 paulus return slen;
511 1.1 paulus }
512 1.1 paulus
513 1.1 paulus /* Don't generate compressed packets which are larger than
514 1.1 paulus the uncompressed packet. */
515 1.1 paulus if (maxolen > slen)
516 1.1 paulus maxolen = slen;
517 1.1 paulus
518 1.1 paulus /* Allocate one mbuf to start with. */
519 1.1 paulus MGET(m, M_DONTWAIT, MT_DATA);
520 1.1 paulus *mret = m;
521 1.1 paulus if (m != NULL) {
522 1.1 paulus m->m_len = 0;
523 1.1 paulus if (maxolen + db->hdrlen > MLEN)
524 1.1 paulus MCLGET(m, M_DONTWAIT);
525 1.1 paulus m->m_data += db->hdrlen;
526 1.1 paulus wptr = mtod(m, u_char *);
527 1.1 paulus cp_end = wptr + M_TRAILINGSPACE(m);
528 1.1 paulus } else
529 1.1 paulus wptr = cp_end = NULL;
530 1.1 paulus
531 1.1 paulus /*
532 1.1 paulus * Copy the PPP header over, changing the protocol,
533 1.1 paulus * and install the 2-byte packet sequence number.
534 1.1 paulus */
535 1.1 paulus if (wptr) {
536 1.1 paulus *wptr++ = PPP_ADDRESS(rptr); /* assumes the ppp header is */
537 1.1 paulus *wptr++ = PPP_CONTROL(rptr); /* all in one mbuf */
538 1.1 paulus *wptr++ = 0; /* change the protocol */
539 1.1 paulus *wptr++ = PPP_COMP;
540 1.1 paulus *wptr++ = db->seqno >> 8;
541 1.1 paulus *wptr++ = db->seqno;
542 1.1 paulus }
543 1.1 paulus ++db->seqno;
544 1.1 paulus
545 1.1 paulus olen = 0;
546 1.1 paulus rptr += PPP_HDRLEN;
547 1.1 paulus slen = mp->m_len - PPP_HDRLEN;
548 1.1 paulus ilen = slen + 1;
549 1.1 paulus for (;;) {
550 1.1 paulus if (slen <= 0) {
551 1.1 paulus mp = mp->m_next;
552 1.1 paulus if (!mp)
553 1.1 paulus break;
554 1.1 paulus rptr = mtod(mp, u_char *);
555 1.1 paulus slen = mp->m_len;
556 1.1 paulus if (!slen)
557 1.1 paulus continue; /* handle 0-length buffers */
558 1.1 paulus ilen += slen;
559 1.1 paulus }
560 1.1 paulus
561 1.1 paulus slen--;
562 1.1 paulus c = *rptr++;
563 1.1 paulus fcode = BSD_KEY(ent, c);
564 1.1 paulus hval = BSD_HASH(ent, c, hshift);
565 1.1 paulus dictp = &db->dict[hval];
566 1.1 paulus
567 1.1 paulus /* Validate and then check the entry. */
568 1.1 paulus if (dictp->codem1 >= max_ent)
569 1.1 paulus goto nomatch;
570 1.1 paulus if (dictp->f.fcode == fcode) {
571 1.1 paulus ent = dictp->codem1+1;
572 1.1 paulus continue; /* found (prefix,suffix) */
573 1.1 paulus }
574 1.1 paulus
575 1.1 paulus /* continue probing until a match or invalid entry */
576 1.1 paulus disp = (hval == 0) ? 1 : hval;
577 1.1 paulus do {
578 1.1 paulus hval += disp;
579 1.1 paulus if (hval >= db->hsize)
580 1.1 paulus hval -= db->hsize;
581 1.1 paulus dictp = &db->dict[hval];
582 1.1 paulus if (dictp->codem1 >= max_ent)
583 1.1 paulus goto nomatch;
584 1.1 paulus } while (dictp->f.fcode != fcode);
585 1.1 paulus ent = dictp->codem1 + 1; /* finally found (prefix,suffix) */
586 1.1 paulus continue;
587 1.1 paulus
588 1.1 paulus nomatch:
589 1.1 paulus OUTPUT(ent); /* output the prefix */
590 1.1 paulus
591 1.1 paulus /* code -> hashtable */
592 1.1 paulus if (max_ent < db->maxmaxcode) {
593 1.1 paulus struct bsd_dict *dictp2;
594 1.1 paulus /* expand code size if needed */
595 1.1 paulus if (max_ent >= MAXCODE(n_bits))
596 1.1 paulus db->n_bits = ++n_bits;
597 1.1 paulus
598 1.1 paulus /* Invalidate old hash table entry using
599 1.1 paulus * this code, and then take it over.
600 1.1 paulus */
601 1.1 paulus dictp2 = &db->dict[max_ent+1];
602 1.1 paulus if (db->dict[dictp2->cptr].codem1 == max_ent)
603 1.1 paulus db->dict[dictp2->cptr].codem1 = BADCODEM1;
604 1.1 paulus dictp2->cptr = hval;
605 1.1 paulus dictp->codem1 = max_ent;
606 1.1 paulus dictp->f.fcode = fcode;
607 1.1 paulus
608 1.1 paulus db->max_ent = ++max_ent;
609 1.1 paulus }
610 1.1 paulus ent = c;
611 1.1 paulus }
612 1.1 paulus
613 1.1 paulus OUTPUT(ent); /* output the last code */
614 1.1 paulus db->bytes_out += olen;
615 1.1 paulus db->in_count += ilen;
616 1.1 paulus if (bitno < 32)
617 1.1 paulus ++db->bytes_out; /* count complete bytes */
618 1.1 paulus
619 1.1 paulus if (bsd_check(db))
620 1.1 paulus OUTPUT(CLEAR); /* do not count the CLEAR */
621 1.1 paulus
622 1.1 paulus /*
623 1.1 paulus * Pad dribble bits of last code with ones.
624 1.1 paulus * Do not emit a completely useless byte of ones.
625 1.1 paulus */
626 1.1 paulus if (bitno != 32)
627 1.1 paulus PUTBYTE((accm | (0xff << (bitno-8))) >> 24);
628 1.1 paulus
629 1.1 paulus if (m != NULL) {
630 1.1 paulus m->m_len = wptr - mtod(m, u_char *);
631 1.1 paulus m->m_next = NULL;
632 1.1 paulus }
633 1.1 paulus
634 1.1 paulus /*
635 1.1 paulus * Increase code size if we would have without the packet
636 1.1 paulus * boundary and as the decompressor will.
637 1.1 paulus */
638 1.1 paulus if (max_ent >= MAXCODE(n_bits) && max_ent < db->maxmaxcode)
639 1.1 paulus db->n_bits++;
640 1.1 paulus
641 1.1 paulus db->uncomp_bytes += ilen;
642 1.1 paulus ++db->uncomp_count;
643 1.1 paulus if (olen + PPP_HDRLEN + BSD_OVHD > maxolen) {
644 1.1 paulus /* throw away the compressed stuff if it is longer than uncompressed */
645 1.1 paulus if (*mret != NULL) {
646 1.1 paulus m_freem(*mret);
647 1.1 paulus *mret = NULL;
648 1.1 paulus }
649 1.1 paulus ++db->incomp_count;
650 1.1 paulus db->incomp_bytes += ilen;
651 1.1 paulus } else {
652 1.1 paulus ++db->comp_count;
653 1.1 paulus db->comp_bytes += olen + BSD_OVHD;
654 1.1 paulus }
655 1.1 paulus
656 1.1 paulus return olen + PPP_HDRLEN + BSD_OVHD;
657 1.1 paulus #undef OUTPUT
658 1.1 paulus #undef PUTBYTE
659 1.1 paulus }
660 1.1 paulus
661 1.1 paulus
662 1.1 paulus /*
663 1.1 paulus * Update the "BSD Compress" dictionary on the receiver for
664 1.1 paulus * incompressible data by pretending to compress the incoming data.
665 1.1 paulus */
666 1.1 paulus static void
667 1.14 thorpej bsd_incomp(void *state, struct mbuf *dmsg)
668 1.1 paulus {
669 1.1 paulus struct bsd_db *db = (struct bsd_db *) state;
670 1.1 paulus u_int hshift = db->hshift;
671 1.1 paulus u_int max_ent = db->max_ent;
672 1.1 paulus u_int n_bits = db->n_bits;
673 1.1 paulus struct bsd_dict *dictp;
674 1.17 matt uint32_t fcode;
675 1.1 paulus u_char c;
676 1.17 matt uint32_t hval, disp;
677 1.1 paulus int slen, ilen;
678 1.1 paulus u_int bitno = 7;
679 1.1 paulus u_char *rptr;
680 1.1 paulus u_int ent;
681 1.1 paulus
682 1.1 paulus /*
683 1.1 paulus * If the protocol is not in the range we're interested in,
684 1.1 paulus * just return without looking at the packet. If it is,
685 1.1 paulus * the protocol becomes the first byte to "compress".
686 1.1 paulus */
687 1.1 paulus rptr = mtod(dmsg, u_char *);
688 1.1 paulus ent = PPP_PROTOCOL(rptr);
689 1.1 paulus if (ent < 0x21 || ent > 0xf9)
690 1.1 paulus return;
691 1.1 paulus
692 1.1 paulus db->seqno++;
693 1.1 paulus ilen = 1; /* count the protocol as 1 byte */
694 1.1 paulus rptr += PPP_HDRLEN;
695 1.1 paulus slen = dmsg->m_len - PPP_HDRLEN;
696 1.1 paulus for (;;) {
697 1.1 paulus if (slen <= 0) {
698 1.1 paulus dmsg = dmsg->m_next;
699 1.1 paulus if (!dmsg)
700 1.1 paulus break;
701 1.1 paulus rptr = mtod(dmsg, u_char *);
702 1.1 paulus slen = dmsg->m_len;
703 1.1 paulus continue;
704 1.1 paulus }
705 1.1 paulus ilen += slen;
706 1.1 paulus
707 1.1 paulus do {
708 1.1 paulus c = *rptr++;
709 1.1 paulus fcode = BSD_KEY(ent, c);
710 1.1 paulus hval = BSD_HASH(ent, c, hshift);
711 1.1 paulus dictp = &db->dict[hval];
712 1.1 paulus
713 1.1 paulus /* validate and then check the entry */
714 1.1 paulus if (dictp->codem1 >= max_ent)
715 1.1 paulus goto nomatch;
716 1.1 paulus if (dictp->f.fcode == fcode) {
717 1.1 paulus ent = dictp->codem1+1;
718 1.1 paulus continue; /* found (prefix,suffix) */
719 1.1 paulus }
720 1.1 paulus
721 1.1 paulus /* continue probing until a match or invalid entry */
722 1.1 paulus disp = (hval == 0) ? 1 : hval;
723 1.1 paulus do {
724 1.1 paulus hval += disp;
725 1.1 paulus if (hval >= db->hsize)
726 1.1 paulus hval -= db->hsize;
727 1.1 paulus dictp = &db->dict[hval];
728 1.1 paulus if (dictp->codem1 >= max_ent)
729 1.1 paulus goto nomatch;
730 1.1 paulus } while (dictp->f.fcode != fcode);
731 1.1 paulus ent = dictp->codem1+1;
732 1.1 paulus continue; /* finally found (prefix,suffix) */
733 1.1 paulus
734 1.1 paulus nomatch: /* output (count) the prefix */
735 1.1 paulus bitno += n_bits;
736 1.1 paulus
737 1.1 paulus /* code -> hashtable */
738 1.1 paulus if (max_ent < db->maxmaxcode) {
739 1.1 paulus struct bsd_dict *dictp2;
740 1.1 paulus /* expand code size if needed */
741 1.1 paulus if (max_ent >= MAXCODE(n_bits))
742 1.1 paulus db->n_bits = ++n_bits;
743 1.1 paulus
744 1.1 paulus /* Invalidate previous hash table entry
745 1.1 paulus * assigned this code, and then take it over.
746 1.1 paulus */
747 1.1 paulus dictp2 = &db->dict[max_ent+1];
748 1.1 paulus if (db->dict[dictp2->cptr].codem1 == max_ent)
749 1.1 paulus db->dict[dictp2->cptr].codem1 = BADCODEM1;
750 1.1 paulus dictp2->cptr = hval;
751 1.1 paulus dictp->codem1 = max_ent;
752 1.1 paulus dictp->f.fcode = fcode;
753 1.1 paulus
754 1.1 paulus db->max_ent = ++max_ent;
755 1.1 paulus db->lens[max_ent] = db->lens[ent]+1;
756 1.1 paulus }
757 1.1 paulus ent = c;
758 1.1 paulus } while (--slen != 0);
759 1.1 paulus }
760 1.1 paulus bitno += n_bits; /* output (count) the last code */
761 1.1 paulus db->bytes_out += bitno/8;
762 1.1 paulus db->in_count += ilen;
763 1.1 paulus (void)bsd_check(db);
764 1.1 paulus
765 1.1 paulus ++db->incomp_count;
766 1.1 paulus db->incomp_bytes += ilen;
767 1.1 paulus ++db->uncomp_count;
768 1.1 paulus db->uncomp_bytes += ilen;
769 1.1 paulus
770 1.1 paulus /* Increase code size if we would have without the packet
771 1.1 paulus * boundary and as the decompressor will.
772 1.1 paulus */
773 1.1 paulus if (max_ent >= MAXCODE(n_bits) && max_ent < db->maxmaxcode)
774 1.1 paulus db->n_bits++;
775 1.1 paulus }
776 1.1 paulus
777 1.1 paulus
778 1.1 paulus /*
779 1.1 paulus * Decompress "BSD Compress".
780 1.1 paulus *
781 1.1 paulus * Because of patent problems, we return DECOMP_ERROR for errors
782 1.1 paulus * found by inspecting the input data and for system problems, but
783 1.1 paulus * DECOMP_FATALERROR for any errors which could possibly be said to
784 1.1 paulus * be being detected "after" decompression. For DECOMP_ERROR,
785 1.1 paulus * we can issue a CCP reset-request; for DECOMP_FATALERROR, we may be
786 1.1 paulus * infringing a patent of Motorola's if we do, so we take CCP down
787 1.1 paulus * instead.
788 1.1 paulus *
789 1.1 paulus * Given that the frame has the correct sequence number and a good FCS,
790 1.1 paulus * errors such as invalid codes in the input most likely indicate a
791 1.1 paulus * bug, so we return DECOMP_FATALERROR for them in order to turn off
792 1.1 paulus * compression, even though they are detected by inspecting the input.
793 1.1 paulus */
794 1.1 paulus int
795 1.14 thorpej bsd_decompress(void *state, struct mbuf *cmp, struct mbuf **dmpp)
796 1.1 paulus {
797 1.1 paulus struct bsd_db *db = (struct bsd_db *) state;
798 1.1 paulus u_int max_ent = db->max_ent;
799 1.17 matt uint32_t accm = 0;
800 1.1 paulus u_int bitno = 32; /* 1st valid bit in accm */
801 1.1 paulus u_int n_bits = db->n_bits;
802 1.1 paulus u_int tgtbitno = 32-n_bits; /* bitno when we have a code */
803 1.1 paulus struct bsd_dict *dictp;
804 1.1 paulus int explen, i, seq, len;
805 1.1 paulus u_int incode, oldcode, finchar;
806 1.1 paulus u_char *p, *rptr, *wptr;
807 1.1 paulus struct mbuf *m, *dmp, *mret;
808 1.1 paulus int adrs, ctrl, ilen;
809 1.1 paulus int space, codelen, extra;
810 1.1 paulus
811 1.1 paulus /*
812 1.1 paulus * Save the address/control from the PPP header
813 1.1 paulus * and then get the sequence number.
814 1.1 paulus */
815 1.1 paulus *dmpp = NULL;
816 1.1 paulus rptr = mtod(cmp, u_char *);
817 1.1 paulus adrs = PPP_ADDRESS(rptr);
818 1.1 paulus ctrl = PPP_CONTROL(rptr);
819 1.1 paulus rptr += PPP_HDRLEN;
820 1.1 paulus len = cmp->m_len - PPP_HDRLEN;
821 1.1 paulus seq = 0;
822 1.1 paulus for (i = 0; i < 2; ++i) {
823 1.1 paulus while (len <= 0) {
824 1.1 paulus cmp = cmp->m_next;
825 1.1 paulus if (cmp == NULL)
826 1.1 paulus return DECOMP_ERROR;
827 1.1 paulus rptr = mtod(cmp, u_char *);
828 1.1 paulus len = cmp->m_len;
829 1.1 paulus }
830 1.1 paulus seq = (seq << 8) + *rptr++;
831 1.1 paulus --len;
832 1.1 paulus }
833 1.1 paulus
834 1.1 paulus /*
835 1.1 paulus * Check the sequence number and give up if it differs from
836 1.1 paulus * the value we're expecting.
837 1.1 paulus */
838 1.1 paulus if (seq != db->seqno) {
839 1.1 paulus if (db->debug)
840 1.6 christos printf("bsd_decomp%d: bad sequence # %d, expected %d\n",
841 1.7 christos db->unit, seq, db->seqno - 1);
842 1.1 paulus return DECOMP_ERROR;
843 1.1 paulus }
844 1.1 paulus ++db->seqno;
845 1.1 paulus
846 1.1 paulus /*
847 1.1 paulus * Allocate one mbuf to start with.
848 1.1 paulus */
849 1.1 paulus MGETHDR(dmp, M_DONTWAIT, MT_DATA);
850 1.1 paulus if (dmp == NULL)
851 1.1 paulus return DECOMP_ERROR;
852 1.1 paulus mret = dmp;
853 1.1 paulus dmp->m_len = 0;
854 1.1 paulus dmp->m_next = NULL;
855 1.1 paulus MCLGET(dmp, M_DONTWAIT);
856 1.1 paulus dmp->m_data += db->hdrlen;
857 1.1 paulus wptr = mtod(dmp, u_char *);
858 1.1 paulus space = M_TRAILINGSPACE(dmp) - PPP_HDRLEN + 1;
859 1.1 paulus
860 1.1 paulus /*
861 1.1 paulus * Fill in the ppp header, but not the last byte of the protocol
862 1.1 paulus * (that comes from the decompressed data).
863 1.1 paulus */
864 1.1 paulus wptr[0] = adrs;
865 1.1 paulus wptr[1] = ctrl;
866 1.1 paulus wptr[2] = 0;
867 1.1 paulus wptr += PPP_HDRLEN - 1;
868 1.1 paulus
869 1.1 paulus ilen = len;
870 1.1 paulus oldcode = CLEAR;
871 1.1 paulus explen = 0;
872 1.1 paulus for (;;) {
873 1.1 paulus if (len == 0) {
874 1.1 paulus cmp = cmp->m_next;
875 1.1 paulus if (!cmp) /* quit at end of message */
876 1.1 paulus break;
877 1.1 paulus rptr = mtod(cmp, u_char *);
878 1.1 paulus len = cmp->m_len;
879 1.1 paulus ilen += len;
880 1.1 paulus continue; /* handle 0-length buffers */
881 1.1 paulus }
882 1.1 paulus
883 1.1 paulus /*
884 1.1 paulus * Accumulate bytes until we have a complete code.
885 1.1 paulus * Then get the next code, relying on the 32-bit,
886 1.1 paulus * unsigned accm to mask the result.
887 1.1 paulus */
888 1.1 paulus bitno -= 8;
889 1.1 paulus accm |= *rptr++ << bitno;
890 1.1 paulus --len;
891 1.1 paulus if (tgtbitno < bitno)
892 1.1 paulus continue;
893 1.1 paulus incode = accm >> tgtbitno;
894 1.1 paulus accm <<= n_bits;
895 1.1 paulus bitno += n_bits;
896 1.1 paulus
897 1.1 paulus if (incode == CLEAR) {
898 1.1 paulus /*
899 1.1 paulus * The dictionary must only be cleared at
900 1.1 paulus * the end of a packet. But there could be an
901 1.1 paulus * empty mbuf at the end.
902 1.1 paulus */
903 1.1 paulus if (len > 0 || cmp->m_next != NULL) {
904 1.1 paulus while ((cmp = cmp->m_next) != NULL)
905 1.1 paulus len += cmp->m_len;
906 1.1 paulus if (len > 0) {
907 1.1 paulus m_freem(mret);
908 1.1 paulus if (db->debug)
909 1.6 christos printf("bsd_decomp%d: bad CLEAR\n", db->unit);
910 1.1 paulus return DECOMP_FATALERROR; /* probably a bug */
911 1.1 paulus }
912 1.1 paulus }
913 1.1 paulus bsd_clear(db);
914 1.1 paulus explen = ilen = 0;
915 1.1 paulus break;
916 1.1 paulus }
917 1.1 paulus
918 1.1 paulus if (incode > max_ent + 2 || incode > db->maxmaxcode
919 1.2 christos || (incode > max_ent && oldcode == CLEAR)) {
920 1.1 paulus m_freem(mret);
921 1.1 paulus if (db->debug) {
922 1.6 christos printf("bsd_decomp%d: bad code 0x%x oldcode=0x%x ",
923 1.7 christos db->unit, incode, oldcode);
924 1.6 christos printf("max_ent=0x%x explen=%d seqno=%d\n",
925 1.7 christos max_ent, explen, db->seqno);
926 1.1 paulus }
927 1.1 paulus return DECOMP_FATALERROR; /* probably a bug */
928 1.1 paulus }
929 1.1 paulus
930 1.1 paulus /* Special case for KwKwK string. */
931 1.1 paulus if (incode > max_ent) {
932 1.1 paulus finchar = oldcode;
933 1.1 paulus extra = 1;
934 1.1 paulus } else {
935 1.1 paulus finchar = incode;
936 1.1 paulus extra = 0;
937 1.1 paulus }
938 1.1 paulus
939 1.1 paulus codelen = db->lens[finchar];
940 1.1 paulus explen += codelen + extra;
941 1.1 paulus if (explen > db->mru + 1) {
942 1.1 paulus m_freem(mret);
943 1.1 paulus if (db->debug) {
944 1.6 christos printf("bsd_decomp%d: ran out of mru\n", db->unit);
945 1.1 paulus #ifdef DEBUG
946 1.1 paulus while ((cmp = cmp->m_next) != NULL)
947 1.1 paulus len += cmp->m_len;
948 1.6 christos printf(" len=%d, finchar=0x%x, codelen=%d, explen=%d\n",
949 1.1 paulus len, finchar, codelen, explen);
950 1.1 paulus #endif
951 1.1 paulus }
952 1.1 paulus return DECOMP_FATALERROR;
953 1.1 paulus }
954 1.1 paulus
955 1.1 paulus /*
956 1.1 paulus * For simplicity, the decoded characters go in a single mbuf,
957 1.1 paulus * so we allocate a single extra cluster mbuf if necessary.
958 1.1 paulus */
959 1.1 paulus if ((space -= codelen + extra) < 0) {
960 1.1 paulus dmp->m_len = wptr - mtod(dmp, u_char *);
961 1.1 paulus MGET(m, M_DONTWAIT, MT_DATA);
962 1.1 paulus if (m == NULL) {
963 1.1 paulus m_freem(mret);
964 1.1 paulus return DECOMP_ERROR;
965 1.1 paulus }
966 1.1 paulus m->m_len = 0;
967 1.1 paulus m->m_next = NULL;
968 1.1 paulus dmp->m_next = m;
969 1.1 paulus MCLGET(m, M_DONTWAIT);
970 1.1 paulus space = M_TRAILINGSPACE(m) - (codelen + extra);
971 1.1 paulus if (space < 0) {
972 1.1 paulus /* now that's what I call *compression*. */
973 1.1 paulus m_freem(mret);
974 1.1 paulus return DECOMP_ERROR;
975 1.1 paulus }
976 1.1 paulus dmp = m;
977 1.1 paulus wptr = mtod(dmp, u_char *);
978 1.1 paulus }
979 1.1 paulus
980 1.1 paulus /*
981 1.1 paulus * Decode this code and install it in the decompressed buffer.
982 1.1 paulus */
983 1.1 paulus p = (wptr += codelen);
984 1.1 paulus while (finchar > LAST) {
985 1.1 paulus dictp = &db->dict[db->dict[finchar].cptr];
986 1.1 paulus #ifdef DEBUG
987 1.1 paulus if (--codelen <= 0 || dictp->codem1 != finchar-1)
988 1.1 paulus goto bad;
989 1.1 paulus #endif
990 1.1 paulus *--p = dictp->f.hs.suffix;
991 1.1 paulus finchar = dictp->f.hs.prefix;
992 1.1 paulus }
993 1.1 paulus *--p = finchar;
994 1.1 paulus
995 1.1 paulus #ifdef DEBUG
996 1.1 paulus if (--codelen != 0)
997 1.6 christos printf("bsd_decomp%d: short by %d after code 0x%x, max_ent=0x%x\n",
998 1.7 christos db->unit, codelen, incode, max_ent);
999 1.1 paulus #endif
1000 1.1 paulus
1001 1.1 paulus if (extra) /* the KwKwK case again */
1002 1.1 paulus *wptr++ = finchar;
1003 1.1 paulus
1004 1.1 paulus /*
1005 1.1 paulus * If not first code in a packet, and
1006 1.1 paulus * if not out of code space, then allocate a new code.
1007 1.1 paulus *
1008 1.1 paulus * Keep the hash table correct so it can be used
1009 1.1 paulus * with uncompressed packets.
1010 1.1 paulus */
1011 1.1 paulus if (oldcode != CLEAR && max_ent < db->maxmaxcode) {
1012 1.1 paulus struct bsd_dict *dictp2;
1013 1.17 matt uint32_t fcode;
1014 1.17 matt uint32_t hval, disp;
1015 1.1 paulus
1016 1.1 paulus fcode = BSD_KEY(oldcode,finchar);
1017 1.1 paulus hval = BSD_HASH(oldcode,finchar,db->hshift);
1018 1.1 paulus dictp = &db->dict[hval];
1019 1.1 paulus
1020 1.1 paulus /* look for a free hash table entry */
1021 1.1 paulus if (dictp->codem1 < max_ent) {
1022 1.1 paulus disp = (hval == 0) ? 1 : hval;
1023 1.1 paulus do {
1024 1.1 paulus hval += disp;
1025 1.1 paulus if (hval >= db->hsize)
1026 1.1 paulus hval -= db->hsize;
1027 1.1 paulus dictp = &db->dict[hval];
1028 1.1 paulus } while (dictp->codem1 < max_ent);
1029 1.1 paulus }
1030 1.1 paulus
1031 1.1 paulus /*
1032 1.1 paulus * Invalidate previous hash table entry
1033 1.1 paulus * assigned this code, and then take it over
1034 1.1 paulus */
1035 1.1 paulus dictp2 = &db->dict[max_ent+1];
1036 1.1 paulus if (db->dict[dictp2->cptr].codem1 == max_ent) {
1037 1.1 paulus db->dict[dictp2->cptr].codem1 = BADCODEM1;
1038 1.1 paulus }
1039 1.1 paulus dictp2->cptr = hval;
1040 1.1 paulus dictp->codem1 = max_ent;
1041 1.1 paulus dictp->f.fcode = fcode;
1042 1.1 paulus
1043 1.1 paulus db->max_ent = ++max_ent;
1044 1.1 paulus db->lens[max_ent] = db->lens[oldcode]+1;
1045 1.1 paulus
1046 1.1 paulus /* Expand code size if needed. */
1047 1.1 paulus if (max_ent >= MAXCODE(n_bits) && max_ent < db->maxmaxcode) {
1048 1.1 paulus db->n_bits = ++n_bits;
1049 1.1 paulus tgtbitno = 32-n_bits;
1050 1.1 paulus }
1051 1.1 paulus }
1052 1.1 paulus oldcode = incode;
1053 1.1 paulus }
1054 1.1 paulus dmp->m_len = wptr - mtod(dmp, u_char *);
1055 1.1 paulus
1056 1.1 paulus /*
1057 1.1 paulus * Keep the checkpoint right so that incompressible packets
1058 1.1 paulus * clear the dictionary at the right times.
1059 1.1 paulus */
1060 1.1 paulus db->bytes_out += ilen;
1061 1.1 paulus db->in_count += explen;
1062 1.1 paulus if (bsd_check(db) && db->debug) {
1063 1.6 christos printf("bsd_decomp%d: peer should have cleared dictionary\n",
1064 1.1 paulus db->unit);
1065 1.1 paulus }
1066 1.1 paulus
1067 1.1 paulus ++db->comp_count;
1068 1.1 paulus db->comp_bytes += ilen + BSD_OVHD;
1069 1.1 paulus ++db->uncomp_count;
1070 1.1 paulus db->uncomp_bytes += explen;
1071 1.1 paulus
1072 1.1 paulus *dmpp = mret;
1073 1.1 paulus return DECOMP_OK;
1074 1.1 paulus
1075 1.1 paulus #ifdef DEBUG
1076 1.1 paulus bad:
1077 1.1 paulus if (codelen <= 0) {
1078 1.6 christos printf("bsd_decomp%d: fell off end of chain ", db->unit);
1079 1.6 christos printf("0x%x at 0x%x by 0x%x, max_ent=0x%x\n",
1080 1.1 paulus incode, finchar, db->dict[finchar].cptr, max_ent);
1081 1.1 paulus } else if (dictp->codem1 != finchar-1) {
1082 1.6 christos printf("bsd_decomp%d: bad code chain 0x%x finchar=0x%x ",
1083 1.1 paulus db->unit, incode, finchar);
1084 1.6 christos printf("oldcode=0x%x cptr=0x%x codem1=0x%x\n", oldcode,
1085 1.1 paulus db->dict[finchar].cptr, dictp->codem1);
1086 1.1 paulus }
1087 1.1 paulus m_freem(mret);
1088 1.1 paulus return DECOMP_FATALERROR;
1089 1.1 paulus #endif /* DEBUG */
1090 1.1 paulus }
1091 1.1 paulus #endif /* DO_BSD_COMPRESS */
1092