bsd-comp.c revision 1.12 1 1.12 agc /* $NetBSD: bsd-comp.c,v 1.12 2003/08/07 16:32:48 agc 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.12 agc __KERNEL_RCSID(0, "$NetBSD: bsd-comp.c,v 1.12 2003/08/07 16:32:48 agc 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.1 paulus u_int16_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.1 paulus u_int16_t *lens; /* array of lengths of codes */
109 1.1 paulus struct bsd_dict {
110 1.1 paulus union { /* hash value */
111 1.1 paulus u_int32_t fcode;
112 1.1 paulus struct {
113 1.1 paulus #if BYTE_ORDER == LITTLE_ENDIAN
114 1.1 paulus u_int16_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.1 paulus u_int16_t prefix; /* preceding code */
121 1.1 paulus #endif
122 1.1 paulus } hs;
123 1.1 paulus } f;
124 1.1 paulus u_int16_t codem1; /* output of hash table -1 */
125 1.1 paulus u_int16_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.1 paulus static void *bsd_comp_alloc __P((u_char *options, int opt_len));
133 1.1 paulus static void *bsd_decomp_alloc __P((u_char *options, int opt_len));
134 1.1 paulus static void bsd_free __P((void *state));
135 1.1 paulus static int bsd_comp_init __P((void *state, u_char *options, int opt_len,
136 1.1 paulus int unit, int hdrlen, int debug));
137 1.1 paulus static int bsd_decomp_init __P((void *state, u_char *options, int opt_len,
138 1.1 paulus int unit, int hdrlen, int mru, int debug));
139 1.1 paulus static int bsd_compress __P((void *state, struct mbuf **mret,
140 1.1 paulus struct mbuf *mp, int slen, int maxolen));
141 1.1 paulus static void bsd_incomp __P((void *state, struct mbuf *dmsg));
142 1.1 paulus static int bsd_decompress __P((void *state, struct mbuf *cmp,
143 1.1 paulus struct mbuf **dmpp));
144 1.1 paulus static void bsd_reset __P((void *state));
145 1.1 paulus static void bsd_comp_stats __P((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.1 paulus #define BSD_HASH(prefix,suffix,hshift) ((((u_int32_t)(suffix)) << (hshift)) \
179 1.1 paulus ^ (u_int32_t)(prefix))
180 1.1 paulus #define BSD_KEY(prefix,suffix) ((((u_int32_t)(suffix)) << 16) \
181 1.1 paulus + (u_int32_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.2 christos static void bsd_clear __P((struct bsd_db *));
190 1.2 christos static int bsd_check __P((struct bsd_db *));
191 1.2 christos static void *bsd_alloc __P((u_char *, int, int));
192 1.2 christos static int bsd_init __P((struct bsd_db *, u_char *, int, int, int, int,
193 1.2 christos 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.1 paulus bsd_clear(db)
200 1.1 paulus struct bsd_db *db;
201 1.1 paulus {
202 1.1 paulus db->clear_count++;
203 1.1 paulus db->max_ent = FIRST-1;
204 1.1 paulus db->n_bits = BSD_INIT_BITS;
205 1.1 paulus db->ratio = 0;
206 1.1 paulus db->bytes_out = 0;
207 1.1 paulus db->in_count = 0;
208 1.1 paulus db->checkpoint = CHECK_GAP;
209 1.1 paulus }
210 1.1 paulus
211 1.1 paulus /*
212 1.1 paulus * If the dictionary is full, then see if it is time to reset it.
213 1.1 paulus *
214 1.1 paulus * Compute the compression ratio using fixed-point arithmetic
215 1.1 paulus * with 8 fractional bits.
216 1.1 paulus *
217 1.1 paulus * Since we have an infinite stream instead of a single file,
218 1.1 paulus * watch only the local compression ratio.
219 1.1 paulus *
220 1.1 paulus * Since both peers must reset the dictionary at the same time even in
221 1.1 paulus * the absence of CLEAR codes (while packets are incompressible), they
222 1.1 paulus * must compute the same ratio.
223 1.1 paulus */
224 1.1 paulus static int /* 1=output CLEAR */
225 1.1 paulus bsd_check(db)
226 1.1 paulus struct bsd_db *db;
227 1.1 paulus {
228 1.1 paulus u_int new_ratio;
229 1.1 paulus
230 1.1 paulus if (db->in_count >= db->checkpoint) {
231 1.1 paulus /* age the ratio by limiting the size of the counts */
232 1.1 paulus if (db->in_count >= RATIO_MAX
233 1.1 paulus || db->bytes_out >= RATIO_MAX) {
234 1.1 paulus db->in_count -= db->in_count/4;
235 1.1 paulus db->bytes_out -= db->bytes_out/4;
236 1.1 paulus }
237 1.1 paulus
238 1.1 paulus db->checkpoint = db->in_count + CHECK_GAP;
239 1.1 paulus
240 1.1 paulus if (db->max_ent >= db->maxmaxcode) {
241 1.1 paulus /* Reset the dictionary only if the ratio is worse,
242 1.1 paulus * or if it looks as if it has been poisoned
243 1.1 paulus * by incompressible data.
244 1.1 paulus *
245 1.1 paulus * This does not overflow, because
246 1.1 paulus * db->in_count <= RATIO_MAX.
247 1.1 paulus */
248 1.1 paulus new_ratio = db->in_count << RATIO_SCALE_LOG;
249 1.1 paulus if (db->bytes_out != 0)
250 1.1 paulus new_ratio /= db->bytes_out;
251 1.1 paulus
252 1.1 paulus if (new_ratio < db->ratio || new_ratio < 1 * RATIO_SCALE) {
253 1.1 paulus bsd_clear(db);
254 1.1 paulus return 1;
255 1.1 paulus }
256 1.1 paulus db->ratio = new_ratio;
257 1.1 paulus }
258 1.1 paulus }
259 1.1 paulus return 0;
260 1.1 paulus }
261 1.1 paulus
262 1.1 paulus /*
263 1.1 paulus * Return statistics.
264 1.1 paulus */
265 1.1 paulus static void
266 1.1 paulus bsd_comp_stats(state, stats)
267 1.1 paulus void *state;
268 1.1 paulus struct compstat *stats;
269 1.1 paulus {
270 1.1 paulus struct bsd_db *db = (struct bsd_db *) state;
271 1.1 paulus u_int out;
272 1.1 paulus
273 1.1 paulus stats->unc_bytes = db->uncomp_bytes;
274 1.1 paulus stats->unc_packets = db->uncomp_count;
275 1.1 paulus stats->comp_bytes = db->comp_bytes;
276 1.1 paulus stats->comp_packets = db->comp_count;
277 1.1 paulus stats->inc_bytes = db->incomp_bytes;
278 1.1 paulus stats->inc_packets = db->incomp_count;
279 1.1 paulus stats->ratio = db->in_count;
280 1.1 paulus out = db->bytes_out;
281 1.1 paulus if (stats->ratio <= 0x7fffff)
282 1.1 paulus stats->ratio <<= 8;
283 1.1 paulus else
284 1.1 paulus out >>= 8;
285 1.1 paulus if (out != 0)
286 1.1 paulus stats->ratio /= out;
287 1.1 paulus }
288 1.1 paulus
289 1.1 paulus /*
290 1.1 paulus * Reset state, as on a CCP ResetReq.
291 1.1 paulus */
292 1.1 paulus static void
293 1.1 paulus bsd_reset(state)
294 1.1 paulus void *state;
295 1.1 paulus {
296 1.1 paulus struct bsd_db *db = (struct bsd_db *) state;
297 1.1 paulus
298 1.1 paulus db->seqno = 0;
299 1.1 paulus bsd_clear(db);
300 1.1 paulus db->clear_count = 0;
301 1.1 paulus }
302 1.1 paulus
303 1.1 paulus /*
304 1.1 paulus * Allocate space for a (de) compressor.
305 1.1 paulus */
306 1.1 paulus static void *
307 1.1 paulus bsd_alloc(options, opt_len, decomp)
308 1.1 paulus u_char *options;
309 1.1 paulus int opt_len, decomp;
310 1.1 paulus {
311 1.1 paulus int bits;
312 1.1 paulus u_int newlen, hsize, hshift, maxmaxcode;
313 1.1 paulus struct bsd_db *db;
314 1.1 paulus
315 1.4 paulus if (opt_len < CILEN_BSD_COMPRESS || options[0] != CI_BSD_COMPRESS
316 1.1 paulus || options[1] != CILEN_BSD_COMPRESS
317 1.1 paulus || BSD_VERSION(options[2]) != BSD_CURRENT_VERSION)
318 1.1 paulus return NULL;
319 1.1 paulus bits = BSD_NBITS(options[2]);
320 1.1 paulus switch (bits) {
321 1.1 paulus case 9: /* needs 82152 for both directions */
322 1.1 paulus case 10: /* needs 84144 */
323 1.1 paulus case 11: /* needs 88240 */
324 1.1 paulus case 12: /* needs 96432 */
325 1.1 paulus hsize = 5003;
326 1.1 paulus hshift = 4;
327 1.1 paulus break;
328 1.1 paulus case 13: /* needs 176784 */
329 1.1 paulus hsize = 9001;
330 1.1 paulus hshift = 5;
331 1.1 paulus break;
332 1.1 paulus case 14: /* needs 353744 */
333 1.1 paulus hsize = 18013;
334 1.1 paulus hshift = 6;
335 1.1 paulus break;
336 1.1 paulus case 15: /* needs 691440 */
337 1.1 paulus hsize = 35023;
338 1.1 paulus hshift = 7;
339 1.1 paulus break;
340 1.1 paulus case 16: /* needs 1366160--far too much, */
341 1.1 paulus /* hsize = 69001; */ /* and 69001 is too big for cptr */
342 1.1 paulus /* hshift = 8; */ /* in struct bsd_db */
343 1.1 paulus /* break; */
344 1.1 paulus default:
345 1.1 paulus return NULL;
346 1.1 paulus }
347 1.1 paulus
348 1.1 paulus maxmaxcode = MAXCODE(bits);
349 1.1 paulus newlen = sizeof(*db) + (hsize-1) * (sizeof(db->dict[0]));
350 1.8 thorpej db = malloc(newlen, M_DEVBUF, M_NOWAIT);
351 1.1 paulus if (!db)
352 1.1 paulus return NULL;
353 1.9 thorpej memset(db, 0, sizeof(*db) - sizeof(db->dict));
354 1.1 paulus
355 1.1 paulus if (!decomp) {
356 1.1 paulus db->lens = NULL;
357 1.1 paulus } else {
358 1.8 thorpej db->lens = malloc((maxmaxcode+1) * sizeof(db->lens[0]),
359 1.8 thorpej M_DEVBUF, M_NOWAIT);
360 1.1 paulus if (!db->lens) {
361 1.8 thorpej free(db, M_DEVBUF);
362 1.1 paulus return NULL;
363 1.1 paulus }
364 1.1 paulus }
365 1.1 paulus
366 1.1 paulus db->totlen = newlen;
367 1.1 paulus db->hsize = hsize;
368 1.1 paulus db->hshift = hshift;
369 1.1 paulus db->maxmaxcode = maxmaxcode;
370 1.1 paulus db->maxbits = bits;
371 1.1 paulus
372 1.1 paulus return (void *) db;
373 1.1 paulus }
374 1.1 paulus
375 1.1 paulus static void
376 1.1 paulus bsd_free(state)
377 1.1 paulus void *state;
378 1.1 paulus {
379 1.1 paulus struct bsd_db *db = (struct bsd_db *) state;
380 1.1 paulus
381 1.1 paulus if (db->lens)
382 1.8 thorpej free(db->lens, M_DEVBUF);
383 1.8 thorpej free(db, M_DEVBUF);
384 1.1 paulus }
385 1.1 paulus
386 1.1 paulus static void *
387 1.1 paulus bsd_comp_alloc(options, opt_len)
388 1.1 paulus u_char *options;
389 1.1 paulus int opt_len;
390 1.1 paulus {
391 1.1 paulus return bsd_alloc(options, opt_len, 0);
392 1.1 paulus }
393 1.1 paulus
394 1.1 paulus static void *
395 1.1 paulus bsd_decomp_alloc(options, opt_len)
396 1.1 paulus u_char *options;
397 1.1 paulus int opt_len;
398 1.1 paulus {
399 1.1 paulus return bsd_alloc(options, opt_len, 1);
400 1.1 paulus }
401 1.1 paulus
402 1.1 paulus /*
403 1.1 paulus * Initialize the database.
404 1.1 paulus */
405 1.1 paulus static int
406 1.1 paulus bsd_init(db, options, opt_len, unit, hdrlen, mru, debug, decomp)
407 1.1 paulus struct bsd_db *db;
408 1.1 paulus u_char *options;
409 1.1 paulus int opt_len, unit, hdrlen, mru, debug, decomp;
410 1.1 paulus {
411 1.1 paulus int i;
412 1.1 paulus
413 1.4 paulus if (opt_len < CILEN_BSD_COMPRESS || options[0] != CI_BSD_COMPRESS
414 1.1 paulus || options[1] != CILEN_BSD_COMPRESS
415 1.1 paulus || BSD_VERSION(options[2]) != BSD_CURRENT_VERSION
416 1.1 paulus || BSD_NBITS(options[2]) != db->maxbits
417 1.2 christos || (decomp && db->lens == NULL))
418 1.1 paulus return 0;
419 1.1 paulus
420 1.1 paulus if (decomp) {
421 1.1 paulus i = LAST+1;
422 1.1 paulus while (i != 0)
423 1.1 paulus db->lens[--i] = 1;
424 1.1 paulus }
425 1.1 paulus i = db->hsize;
426 1.1 paulus while (i != 0) {
427 1.1 paulus db->dict[--i].codem1 = BADCODEM1;
428 1.1 paulus db->dict[i].cptr = 0;
429 1.1 paulus }
430 1.1 paulus
431 1.1 paulus db->unit = unit;
432 1.1 paulus db->hdrlen = hdrlen;
433 1.1 paulus db->mru = mru;
434 1.1 paulus #ifndef DEBUG
435 1.1 paulus if (debug)
436 1.1 paulus #endif
437 1.1 paulus db->debug = 1;
438 1.1 paulus
439 1.1 paulus bsd_reset(db);
440 1.1 paulus
441 1.1 paulus return 1;
442 1.1 paulus }
443 1.1 paulus
444 1.1 paulus static int
445 1.1 paulus bsd_comp_init(state, options, opt_len, unit, hdrlen, debug)
446 1.1 paulus void *state;
447 1.1 paulus u_char *options;
448 1.1 paulus int opt_len, unit, hdrlen, debug;
449 1.1 paulus {
450 1.1 paulus return bsd_init((struct bsd_db *) state, options, opt_len,
451 1.1 paulus unit, hdrlen, 0, debug, 0);
452 1.1 paulus }
453 1.1 paulus
454 1.1 paulus static int
455 1.1 paulus bsd_decomp_init(state, options, opt_len, unit, hdrlen, mru, debug)
456 1.1 paulus void *state;
457 1.1 paulus u_char *options;
458 1.1 paulus int opt_len, unit, hdrlen, mru, debug;
459 1.1 paulus {
460 1.1 paulus return bsd_init((struct bsd_db *) state, options, opt_len,
461 1.1 paulus unit, hdrlen, mru, debug, 1);
462 1.1 paulus }
463 1.1 paulus
464 1.1 paulus
465 1.1 paulus /*
466 1.1 paulus * compress a packet
467 1.1 paulus * One change from the BSD compress command is that when the
468 1.1 paulus * code size expands, we do not output a bunch of padding.
469 1.1 paulus */
470 1.1 paulus int /* new slen */
471 1.1 paulus bsd_compress(state, mret, mp, slen, maxolen)
472 1.1 paulus void *state;
473 1.1 paulus struct mbuf **mret; /* return compressed mbuf chain here */
474 1.1 paulus struct mbuf *mp; /* from here */
475 1.1 paulus int slen; /* uncompressed length */
476 1.1 paulus int maxolen; /* max compressed length */
477 1.1 paulus {
478 1.1 paulus struct bsd_db *db = (struct bsd_db *) state;
479 1.1 paulus int hshift = db->hshift;
480 1.1 paulus u_int max_ent = db->max_ent;
481 1.1 paulus u_int n_bits = db->n_bits;
482 1.1 paulus u_int bitno = 32;
483 1.1 paulus u_int32_t accm = 0, fcode;
484 1.1 paulus struct bsd_dict *dictp;
485 1.1 paulus u_char c;
486 1.1 paulus int hval, disp, ent, ilen;
487 1.1 paulus u_char *rptr, *wptr;
488 1.1 paulus u_char *cp_end;
489 1.1 paulus int olen;
490 1.2 christos struct mbuf *m;
491 1.1 paulus
492 1.1 paulus #define PUTBYTE(v) { \
493 1.1 paulus ++olen; \
494 1.1 paulus if (wptr) { \
495 1.1 paulus *wptr++ = (v); \
496 1.1 paulus if (wptr >= cp_end) { \
497 1.1 paulus m->m_len = wptr - mtod(m, u_char *); \
498 1.1 paulus MGET(m->m_next, M_DONTWAIT, MT_DATA); \
499 1.1 paulus m = m->m_next; \
500 1.1 paulus if (m) { \
501 1.1 paulus m->m_len = 0; \
502 1.1 paulus if (maxolen - olen > MLEN) \
503 1.1 paulus MCLGET(m, M_DONTWAIT); \
504 1.1 paulus wptr = mtod(m, u_char *); \
505 1.1 paulus cp_end = wptr + M_TRAILINGSPACE(m); \
506 1.1 paulus } else \
507 1.1 paulus wptr = NULL; \
508 1.1 paulus } \
509 1.1 paulus } \
510 1.1 paulus }
511 1.1 paulus
512 1.1 paulus #define OUTPUT(ent) { \
513 1.1 paulus bitno -= n_bits; \
514 1.1 paulus accm |= ((ent) << bitno); \
515 1.1 paulus do { \
516 1.1 paulus PUTBYTE(accm >> 24); \
517 1.1 paulus accm <<= 8; \
518 1.1 paulus bitno += 8; \
519 1.1 paulus } while (bitno <= 24); \
520 1.1 paulus }
521 1.1 paulus
522 1.1 paulus /*
523 1.1 paulus * If the protocol is not in the range we're interested in,
524 1.1 paulus * just return without compressing the packet. If it is,
525 1.1 paulus * the protocol becomes the first byte to compress.
526 1.1 paulus */
527 1.1 paulus rptr = mtod(mp, u_char *);
528 1.1 paulus ent = PPP_PROTOCOL(rptr);
529 1.1 paulus if (ent < 0x21 || ent > 0xf9) {
530 1.1 paulus *mret = NULL;
531 1.1 paulus return slen;
532 1.1 paulus }
533 1.1 paulus
534 1.1 paulus /* Don't generate compressed packets which are larger than
535 1.1 paulus the uncompressed packet. */
536 1.1 paulus if (maxolen > slen)
537 1.1 paulus maxolen = slen;
538 1.1 paulus
539 1.1 paulus /* Allocate one mbuf to start with. */
540 1.1 paulus MGET(m, M_DONTWAIT, MT_DATA);
541 1.1 paulus *mret = m;
542 1.1 paulus if (m != NULL) {
543 1.1 paulus m->m_len = 0;
544 1.1 paulus if (maxolen + db->hdrlen > MLEN)
545 1.1 paulus MCLGET(m, M_DONTWAIT);
546 1.1 paulus m->m_data += db->hdrlen;
547 1.1 paulus wptr = mtod(m, u_char *);
548 1.1 paulus cp_end = wptr + M_TRAILINGSPACE(m);
549 1.1 paulus } else
550 1.1 paulus wptr = cp_end = NULL;
551 1.1 paulus
552 1.1 paulus /*
553 1.1 paulus * Copy the PPP header over, changing the protocol,
554 1.1 paulus * and install the 2-byte packet sequence number.
555 1.1 paulus */
556 1.1 paulus if (wptr) {
557 1.1 paulus *wptr++ = PPP_ADDRESS(rptr); /* assumes the ppp header is */
558 1.1 paulus *wptr++ = PPP_CONTROL(rptr); /* all in one mbuf */
559 1.1 paulus *wptr++ = 0; /* change the protocol */
560 1.1 paulus *wptr++ = PPP_COMP;
561 1.1 paulus *wptr++ = db->seqno >> 8;
562 1.1 paulus *wptr++ = db->seqno;
563 1.1 paulus }
564 1.1 paulus ++db->seqno;
565 1.1 paulus
566 1.1 paulus olen = 0;
567 1.1 paulus rptr += PPP_HDRLEN;
568 1.1 paulus slen = mp->m_len - PPP_HDRLEN;
569 1.1 paulus ilen = slen + 1;
570 1.1 paulus for (;;) {
571 1.1 paulus if (slen <= 0) {
572 1.1 paulus mp = mp->m_next;
573 1.1 paulus if (!mp)
574 1.1 paulus break;
575 1.1 paulus rptr = mtod(mp, u_char *);
576 1.1 paulus slen = mp->m_len;
577 1.1 paulus if (!slen)
578 1.1 paulus continue; /* handle 0-length buffers */
579 1.1 paulus ilen += slen;
580 1.1 paulus }
581 1.1 paulus
582 1.1 paulus slen--;
583 1.1 paulus c = *rptr++;
584 1.1 paulus fcode = BSD_KEY(ent, c);
585 1.1 paulus hval = BSD_HASH(ent, c, hshift);
586 1.1 paulus dictp = &db->dict[hval];
587 1.1 paulus
588 1.1 paulus /* Validate and then check the entry. */
589 1.1 paulus if (dictp->codem1 >= max_ent)
590 1.1 paulus goto nomatch;
591 1.1 paulus if (dictp->f.fcode == fcode) {
592 1.1 paulus ent = dictp->codem1+1;
593 1.1 paulus continue; /* found (prefix,suffix) */
594 1.1 paulus }
595 1.1 paulus
596 1.1 paulus /* continue probing until a match or invalid entry */
597 1.1 paulus disp = (hval == 0) ? 1 : hval;
598 1.1 paulus do {
599 1.1 paulus hval += disp;
600 1.1 paulus if (hval >= db->hsize)
601 1.1 paulus hval -= db->hsize;
602 1.1 paulus dictp = &db->dict[hval];
603 1.1 paulus if (dictp->codem1 >= max_ent)
604 1.1 paulus goto nomatch;
605 1.1 paulus } while (dictp->f.fcode != fcode);
606 1.1 paulus ent = dictp->codem1 + 1; /* finally found (prefix,suffix) */
607 1.1 paulus continue;
608 1.1 paulus
609 1.1 paulus nomatch:
610 1.1 paulus OUTPUT(ent); /* output the prefix */
611 1.1 paulus
612 1.1 paulus /* code -> hashtable */
613 1.1 paulus if (max_ent < db->maxmaxcode) {
614 1.1 paulus struct bsd_dict *dictp2;
615 1.1 paulus /* expand code size if needed */
616 1.1 paulus if (max_ent >= MAXCODE(n_bits))
617 1.1 paulus db->n_bits = ++n_bits;
618 1.1 paulus
619 1.1 paulus /* Invalidate old hash table entry using
620 1.1 paulus * this code, and then take it over.
621 1.1 paulus */
622 1.1 paulus dictp2 = &db->dict[max_ent+1];
623 1.1 paulus if (db->dict[dictp2->cptr].codem1 == max_ent)
624 1.1 paulus db->dict[dictp2->cptr].codem1 = BADCODEM1;
625 1.1 paulus dictp2->cptr = hval;
626 1.1 paulus dictp->codem1 = max_ent;
627 1.1 paulus dictp->f.fcode = fcode;
628 1.1 paulus
629 1.1 paulus db->max_ent = ++max_ent;
630 1.1 paulus }
631 1.1 paulus ent = c;
632 1.1 paulus }
633 1.1 paulus
634 1.1 paulus OUTPUT(ent); /* output the last code */
635 1.1 paulus db->bytes_out += olen;
636 1.1 paulus db->in_count += ilen;
637 1.1 paulus if (bitno < 32)
638 1.1 paulus ++db->bytes_out; /* count complete bytes */
639 1.1 paulus
640 1.1 paulus if (bsd_check(db))
641 1.1 paulus OUTPUT(CLEAR); /* do not count the CLEAR */
642 1.1 paulus
643 1.1 paulus /*
644 1.1 paulus * Pad dribble bits of last code with ones.
645 1.1 paulus * Do not emit a completely useless byte of ones.
646 1.1 paulus */
647 1.1 paulus if (bitno != 32)
648 1.1 paulus PUTBYTE((accm | (0xff << (bitno-8))) >> 24);
649 1.1 paulus
650 1.1 paulus if (m != NULL) {
651 1.1 paulus m->m_len = wptr - mtod(m, u_char *);
652 1.1 paulus m->m_next = NULL;
653 1.1 paulus }
654 1.1 paulus
655 1.1 paulus /*
656 1.1 paulus * Increase code size if we would have without the packet
657 1.1 paulus * boundary and as the decompressor will.
658 1.1 paulus */
659 1.1 paulus if (max_ent >= MAXCODE(n_bits) && max_ent < db->maxmaxcode)
660 1.1 paulus db->n_bits++;
661 1.1 paulus
662 1.1 paulus db->uncomp_bytes += ilen;
663 1.1 paulus ++db->uncomp_count;
664 1.1 paulus if (olen + PPP_HDRLEN + BSD_OVHD > maxolen) {
665 1.1 paulus /* throw away the compressed stuff if it is longer than uncompressed */
666 1.1 paulus if (*mret != NULL) {
667 1.1 paulus m_freem(*mret);
668 1.1 paulus *mret = NULL;
669 1.1 paulus }
670 1.1 paulus ++db->incomp_count;
671 1.1 paulus db->incomp_bytes += ilen;
672 1.1 paulus } else {
673 1.1 paulus ++db->comp_count;
674 1.1 paulus db->comp_bytes += olen + BSD_OVHD;
675 1.1 paulus }
676 1.1 paulus
677 1.1 paulus return olen + PPP_HDRLEN + BSD_OVHD;
678 1.1 paulus #undef OUTPUT
679 1.1 paulus #undef PUTBYTE
680 1.1 paulus }
681 1.1 paulus
682 1.1 paulus
683 1.1 paulus /*
684 1.1 paulus * Update the "BSD Compress" dictionary on the receiver for
685 1.1 paulus * incompressible data by pretending to compress the incoming data.
686 1.1 paulus */
687 1.1 paulus static void
688 1.1 paulus bsd_incomp(state, dmsg)
689 1.1 paulus void *state;
690 1.1 paulus struct mbuf *dmsg;
691 1.1 paulus {
692 1.1 paulus struct bsd_db *db = (struct bsd_db *) state;
693 1.1 paulus u_int hshift = db->hshift;
694 1.1 paulus u_int max_ent = db->max_ent;
695 1.1 paulus u_int n_bits = db->n_bits;
696 1.1 paulus struct bsd_dict *dictp;
697 1.1 paulus u_int32_t fcode;
698 1.1 paulus u_char c;
699 1.1 paulus u_int32_t hval, disp;
700 1.1 paulus int slen, ilen;
701 1.1 paulus u_int bitno = 7;
702 1.1 paulus u_char *rptr;
703 1.1 paulus u_int ent;
704 1.1 paulus
705 1.1 paulus /*
706 1.1 paulus * If the protocol is not in the range we're interested in,
707 1.1 paulus * just return without looking at the packet. If it is,
708 1.1 paulus * the protocol becomes the first byte to "compress".
709 1.1 paulus */
710 1.1 paulus rptr = mtod(dmsg, u_char *);
711 1.1 paulus ent = PPP_PROTOCOL(rptr);
712 1.1 paulus if (ent < 0x21 || ent > 0xf9)
713 1.1 paulus return;
714 1.1 paulus
715 1.1 paulus db->seqno++;
716 1.1 paulus ilen = 1; /* count the protocol as 1 byte */
717 1.1 paulus rptr += PPP_HDRLEN;
718 1.1 paulus slen = dmsg->m_len - PPP_HDRLEN;
719 1.1 paulus for (;;) {
720 1.1 paulus if (slen <= 0) {
721 1.1 paulus dmsg = dmsg->m_next;
722 1.1 paulus if (!dmsg)
723 1.1 paulus break;
724 1.1 paulus rptr = mtod(dmsg, u_char *);
725 1.1 paulus slen = dmsg->m_len;
726 1.1 paulus continue;
727 1.1 paulus }
728 1.1 paulus ilen += slen;
729 1.1 paulus
730 1.1 paulus do {
731 1.1 paulus c = *rptr++;
732 1.1 paulus fcode = BSD_KEY(ent, c);
733 1.1 paulus hval = BSD_HASH(ent, c, hshift);
734 1.1 paulus dictp = &db->dict[hval];
735 1.1 paulus
736 1.1 paulus /* validate and then check the entry */
737 1.1 paulus if (dictp->codem1 >= max_ent)
738 1.1 paulus goto nomatch;
739 1.1 paulus if (dictp->f.fcode == fcode) {
740 1.1 paulus ent = dictp->codem1+1;
741 1.1 paulus continue; /* found (prefix,suffix) */
742 1.1 paulus }
743 1.1 paulus
744 1.1 paulus /* continue probing until a match or invalid entry */
745 1.1 paulus disp = (hval == 0) ? 1 : hval;
746 1.1 paulus do {
747 1.1 paulus hval += disp;
748 1.1 paulus if (hval >= db->hsize)
749 1.1 paulus hval -= db->hsize;
750 1.1 paulus dictp = &db->dict[hval];
751 1.1 paulus if (dictp->codem1 >= max_ent)
752 1.1 paulus goto nomatch;
753 1.1 paulus } while (dictp->f.fcode != fcode);
754 1.1 paulus ent = dictp->codem1+1;
755 1.1 paulus continue; /* finally found (prefix,suffix) */
756 1.1 paulus
757 1.1 paulus nomatch: /* output (count) the prefix */
758 1.1 paulus bitno += n_bits;
759 1.1 paulus
760 1.1 paulus /* code -> hashtable */
761 1.1 paulus if (max_ent < db->maxmaxcode) {
762 1.1 paulus struct bsd_dict *dictp2;
763 1.1 paulus /* expand code size if needed */
764 1.1 paulus if (max_ent >= MAXCODE(n_bits))
765 1.1 paulus db->n_bits = ++n_bits;
766 1.1 paulus
767 1.1 paulus /* Invalidate previous hash table entry
768 1.1 paulus * assigned this code, and then take it over.
769 1.1 paulus */
770 1.1 paulus dictp2 = &db->dict[max_ent+1];
771 1.1 paulus if (db->dict[dictp2->cptr].codem1 == max_ent)
772 1.1 paulus db->dict[dictp2->cptr].codem1 = BADCODEM1;
773 1.1 paulus dictp2->cptr = hval;
774 1.1 paulus dictp->codem1 = max_ent;
775 1.1 paulus dictp->f.fcode = fcode;
776 1.1 paulus
777 1.1 paulus db->max_ent = ++max_ent;
778 1.1 paulus db->lens[max_ent] = db->lens[ent]+1;
779 1.1 paulus }
780 1.1 paulus ent = c;
781 1.1 paulus } while (--slen != 0);
782 1.1 paulus }
783 1.1 paulus bitno += n_bits; /* output (count) the last code */
784 1.1 paulus db->bytes_out += bitno/8;
785 1.1 paulus db->in_count += ilen;
786 1.1 paulus (void)bsd_check(db);
787 1.1 paulus
788 1.1 paulus ++db->incomp_count;
789 1.1 paulus db->incomp_bytes += ilen;
790 1.1 paulus ++db->uncomp_count;
791 1.1 paulus db->uncomp_bytes += ilen;
792 1.1 paulus
793 1.1 paulus /* Increase code size if we would have without the packet
794 1.1 paulus * boundary and as the decompressor will.
795 1.1 paulus */
796 1.1 paulus if (max_ent >= MAXCODE(n_bits) && max_ent < db->maxmaxcode)
797 1.1 paulus db->n_bits++;
798 1.1 paulus }
799 1.1 paulus
800 1.1 paulus
801 1.1 paulus /*
802 1.1 paulus * Decompress "BSD Compress".
803 1.1 paulus *
804 1.1 paulus * Because of patent problems, we return DECOMP_ERROR for errors
805 1.1 paulus * found by inspecting the input data and for system problems, but
806 1.1 paulus * DECOMP_FATALERROR for any errors which could possibly be said to
807 1.1 paulus * be being detected "after" decompression. For DECOMP_ERROR,
808 1.1 paulus * we can issue a CCP reset-request; for DECOMP_FATALERROR, we may be
809 1.1 paulus * infringing a patent of Motorola's if we do, so we take CCP down
810 1.1 paulus * instead.
811 1.1 paulus *
812 1.1 paulus * Given that the frame has the correct sequence number and a good FCS,
813 1.1 paulus * errors such as invalid codes in the input most likely indicate a
814 1.1 paulus * bug, so we return DECOMP_FATALERROR for them in order to turn off
815 1.1 paulus * compression, even though they are detected by inspecting the input.
816 1.1 paulus */
817 1.1 paulus int
818 1.1 paulus bsd_decompress(state, cmp, dmpp)
819 1.1 paulus void *state;
820 1.1 paulus struct mbuf *cmp, **dmpp;
821 1.1 paulus {
822 1.1 paulus struct bsd_db *db = (struct bsd_db *) state;
823 1.1 paulus u_int max_ent = db->max_ent;
824 1.1 paulus u_int32_t accm = 0;
825 1.1 paulus u_int bitno = 32; /* 1st valid bit in accm */
826 1.1 paulus u_int n_bits = db->n_bits;
827 1.1 paulus u_int tgtbitno = 32-n_bits; /* bitno when we have a code */
828 1.1 paulus struct bsd_dict *dictp;
829 1.1 paulus int explen, i, seq, len;
830 1.1 paulus u_int incode, oldcode, finchar;
831 1.1 paulus u_char *p, *rptr, *wptr;
832 1.1 paulus struct mbuf *m, *dmp, *mret;
833 1.1 paulus int adrs, ctrl, ilen;
834 1.1 paulus int space, codelen, extra;
835 1.1 paulus
836 1.1 paulus /*
837 1.1 paulus * Save the address/control from the PPP header
838 1.1 paulus * and then get the sequence number.
839 1.1 paulus */
840 1.1 paulus *dmpp = NULL;
841 1.1 paulus rptr = mtod(cmp, u_char *);
842 1.1 paulus adrs = PPP_ADDRESS(rptr);
843 1.1 paulus ctrl = PPP_CONTROL(rptr);
844 1.1 paulus rptr += PPP_HDRLEN;
845 1.1 paulus len = cmp->m_len - PPP_HDRLEN;
846 1.1 paulus seq = 0;
847 1.1 paulus for (i = 0; i < 2; ++i) {
848 1.1 paulus while (len <= 0) {
849 1.1 paulus cmp = cmp->m_next;
850 1.1 paulus if (cmp == NULL)
851 1.1 paulus return DECOMP_ERROR;
852 1.1 paulus rptr = mtod(cmp, u_char *);
853 1.1 paulus len = cmp->m_len;
854 1.1 paulus }
855 1.1 paulus seq = (seq << 8) + *rptr++;
856 1.1 paulus --len;
857 1.1 paulus }
858 1.1 paulus
859 1.1 paulus /*
860 1.1 paulus * Check the sequence number and give up if it differs from
861 1.1 paulus * the value we're expecting.
862 1.1 paulus */
863 1.1 paulus if (seq != db->seqno) {
864 1.1 paulus if (db->debug)
865 1.6 christos printf("bsd_decomp%d: bad sequence # %d, expected %d\n",
866 1.7 christos db->unit, seq, db->seqno - 1);
867 1.1 paulus return DECOMP_ERROR;
868 1.1 paulus }
869 1.1 paulus ++db->seqno;
870 1.1 paulus
871 1.1 paulus /*
872 1.1 paulus * Allocate one mbuf to start with.
873 1.1 paulus */
874 1.1 paulus MGETHDR(dmp, M_DONTWAIT, MT_DATA);
875 1.1 paulus if (dmp == NULL)
876 1.1 paulus return DECOMP_ERROR;
877 1.1 paulus mret = dmp;
878 1.1 paulus dmp->m_len = 0;
879 1.1 paulus dmp->m_next = NULL;
880 1.1 paulus MCLGET(dmp, M_DONTWAIT);
881 1.1 paulus dmp->m_data += db->hdrlen;
882 1.1 paulus wptr = mtod(dmp, u_char *);
883 1.1 paulus space = M_TRAILINGSPACE(dmp) - PPP_HDRLEN + 1;
884 1.1 paulus
885 1.1 paulus /*
886 1.1 paulus * Fill in the ppp header, but not the last byte of the protocol
887 1.1 paulus * (that comes from the decompressed data).
888 1.1 paulus */
889 1.1 paulus wptr[0] = adrs;
890 1.1 paulus wptr[1] = ctrl;
891 1.1 paulus wptr[2] = 0;
892 1.1 paulus wptr += PPP_HDRLEN - 1;
893 1.1 paulus
894 1.1 paulus ilen = len;
895 1.1 paulus oldcode = CLEAR;
896 1.1 paulus explen = 0;
897 1.1 paulus for (;;) {
898 1.1 paulus if (len == 0) {
899 1.1 paulus cmp = cmp->m_next;
900 1.1 paulus if (!cmp) /* quit at end of message */
901 1.1 paulus break;
902 1.1 paulus rptr = mtod(cmp, u_char *);
903 1.1 paulus len = cmp->m_len;
904 1.1 paulus ilen += len;
905 1.1 paulus continue; /* handle 0-length buffers */
906 1.1 paulus }
907 1.1 paulus
908 1.1 paulus /*
909 1.1 paulus * Accumulate bytes until we have a complete code.
910 1.1 paulus * Then get the next code, relying on the 32-bit,
911 1.1 paulus * unsigned accm to mask the result.
912 1.1 paulus */
913 1.1 paulus bitno -= 8;
914 1.1 paulus accm |= *rptr++ << bitno;
915 1.1 paulus --len;
916 1.1 paulus if (tgtbitno < bitno)
917 1.1 paulus continue;
918 1.1 paulus incode = accm >> tgtbitno;
919 1.1 paulus accm <<= n_bits;
920 1.1 paulus bitno += n_bits;
921 1.1 paulus
922 1.1 paulus if (incode == CLEAR) {
923 1.1 paulus /*
924 1.1 paulus * The dictionary must only be cleared at
925 1.1 paulus * the end of a packet. But there could be an
926 1.1 paulus * empty mbuf at the end.
927 1.1 paulus */
928 1.1 paulus if (len > 0 || cmp->m_next != NULL) {
929 1.1 paulus while ((cmp = cmp->m_next) != NULL)
930 1.1 paulus len += cmp->m_len;
931 1.1 paulus if (len > 0) {
932 1.1 paulus m_freem(mret);
933 1.1 paulus if (db->debug)
934 1.6 christos printf("bsd_decomp%d: bad CLEAR\n", db->unit);
935 1.1 paulus return DECOMP_FATALERROR; /* probably a bug */
936 1.1 paulus }
937 1.1 paulus }
938 1.1 paulus bsd_clear(db);
939 1.1 paulus explen = ilen = 0;
940 1.1 paulus break;
941 1.1 paulus }
942 1.1 paulus
943 1.1 paulus if (incode > max_ent + 2 || incode > db->maxmaxcode
944 1.2 christos || (incode > max_ent && oldcode == CLEAR)) {
945 1.1 paulus m_freem(mret);
946 1.1 paulus if (db->debug) {
947 1.6 christos printf("bsd_decomp%d: bad code 0x%x oldcode=0x%x ",
948 1.7 christos db->unit, incode, oldcode);
949 1.6 christos printf("max_ent=0x%x explen=%d seqno=%d\n",
950 1.7 christos max_ent, explen, db->seqno);
951 1.1 paulus }
952 1.1 paulus return DECOMP_FATALERROR; /* probably a bug */
953 1.1 paulus }
954 1.1 paulus
955 1.1 paulus /* Special case for KwKwK string. */
956 1.1 paulus if (incode > max_ent) {
957 1.1 paulus finchar = oldcode;
958 1.1 paulus extra = 1;
959 1.1 paulus } else {
960 1.1 paulus finchar = incode;
961 1.1 paulus extra = 0;
962 1.1 paulus }
963 1.1 paulus
964 1.1 paulus codelen = db->lens[finchar];
965 1.1 paulus explen += codelen + extra;
966 1.1 paulus if (explen > db->mru + 1) {
967 1.1 paulus m_freem(mret);
968 1.1 paulus if (db->debug) {
969 1.6 christos printf("bsd_decomp%d: ran out of mru\n", db->unit);
970 1.1 paulus #ifdef DEBUG
971 1.1 paulus while ((cmp = cmp->m_next) != NULL)
972 1.1 paulus len += cmp->m_len;
973 1.6 christos printf(" len=%d, finchar=0x%x, codelen=%d, explen=%d\n",
974 1.1 paulus len, finchar, codelen, explen);
975 1.1 paulus #endif
976 1.1 paulus }
977 1.1 paulus return DECOMP_FATALERROR;
978 1.1 paulus }
979 1.1 paulus
980 1.1 paulus /*
981 1.1 paulus * For simplicity, the decoded characters go in a single mbuf,
982 1.1 paulus * so we allocate a single extra cluster mbuf if necessary.
983 1.1 paulus */
984 1.1 paulus if ((space -= codelen + extra) < 0) {
985 1.1 paulus dmp->m_len = wptr - mtod(dmp, u_char *);
986 1.1 paulus MGET(m, M_DONTWAIT, MT_DATA);
987 1.1 paulus if (m == NULL) {
988 1.1 paulus m_freem(mret);
989 1.1 paulus return DECOMP_ERROR;
990 1.1 paulus }
991 1.1 paulus m->m_len = 0;
992 1.1 paulus m->m_next = NULL;
993 1.1 paulus dmp->m_next = m;
994 1.1 paulus MCLGET(m, M_DONTWAIT);
995 1.1 paulus space = M_TRAILINGSPACE(m) - (codelen + extra);
996 1.1 paulus if (space < 0) {
997 1.1 paulus /* now that's what I call *compression*. */
998 1.1 paulus m_freem(mret);
999 1.1 paulus return DECOMP_ERROR;
1000 1.1 paulus }
1001 1.1 paulus dmp = m;
1002 1.1 paulus wptr = mtod(dmp, u_char *);
1003 1.1 paulus }
1004 1.1 paulus
1005 1.1 paulus /*
1006 1.1 paulus * Decode this code and install it in the decompressed buffer.
1007 1.1 paulus */
1008 1.1 paulus p = (wptr += codelen);
1009 1.1 paulus while (finchar > LAST) {
1010 1.1 paulus dictp = &db->dict[db->dict[finchar].cptr];
1011 1.1 paulus #ifdef DEBUG
1012 1.1 paulus if (--codelen <= 0 || dictp->codem1 != finchar-1)
1013 1.1 paulus goto bad;
1014 1.1 paulus #endif
1015 1.1 paulus *--p = dictp->f.hs.suffix;
1016 1.1 paulus finchar = dictp->f.hs.prefix;
1017 1.1 paulus }
1018 1.1 paulus *--p = finchar;
1019 1.1 paulus
1020 1.1 paulus #ifdef DEBUG
1021 1.1 paulus if (--codelen != 0)
1022 1.6 christos printf("bsd_decomp%d: short by %d after code 0x%x, max_ent=0x%x\n",
1023 1.7 christos db->unit, codelen, incode, max_ent);
1024 1.1 paulus #endif
1025 1.1 paulus
1026 1.1 paulus if (extra) /* the KwKwK case again */
1027 1.1 paulus *wptr++ = finchar;
1028 1.1 paulus
1029 1.1 paulus /*
1030 1.1 paulus * If not first code in a packet, and
1031 1.1 paulus * if not out of code space, then allocate a new code.
1032 1.1 paulus *
1033 1.1 paulus * Keep the hash table correct so it can be used
1034 1.1 paulus * with uncompressed packets.
1035 1.1 paulus */
1036 1.1 paulus if (oldcode != CLEAR && max_ent < db->maxmaxcode) {
1037 1.1 paulus struct bsd_dict *dictp2;
1038 1.1 paulus u_int32_t fcode;
1039 1.1 paulus u_int32_t hval, disp;
1040 1.1 paulus
1041 1.1 paulus fcode = BSD_KEY(oldcode,finchar);
1042 1.1 paulus hval = BSD_HASH(oldcode,finchar,db->hshift);
1043 1.1 paulus dictp = &db->dict[hval];
1044 1.1 paulus
1045 1.1 paulus /* look for a free hash table entry */
1046 1.1 paulus if (dictp->codem1 < max_ent) {
1047 1.1 paulus disp = (hval == 0) ? 1 : hval;
1048 1.1 paulus do {
1049 1.1 paulus hval += disp;
1050 1.1 paulus if (hval >= db->hsize)
1051 1.1 paulus hval -= db->hsize;
1052 1.1 paulus dictp = &db->dict[hval];
1053 1.1 paulus } while (dictp->codem1 < max_ent);
1054 1.1 paulus }
1055 1.1 paulus
1056 1.1 paulus /*
1057 1.1 paulus * Invalidate previous hash table entry
1058 1.1 paulus * assigned this code, and then take it over
1059 1.1 paulus */
1060 1.1 paulus dictp2 = &db->dict[max_ent+1];
1061 1.1 paulus if (db->dict[dictp2->cptr].codem1 == max_ent) {
1062 1.1 paulus db->dict[dictp2->cptr].codem1 = BADCODEM1;
1063 1.1 paulus }
1064 1.1 paulus dictp2->cptr = hval;
1065 1.1 paulus dictp->codem1 = max_ent;
1066 1.1 paulus dictp->f.fcode = fcode;
1067 1.1 paulus
1068 1.1 paulus db->max_ent = ++max_ent;
1069 1.1 paulus db->lens[max_ent] = db->lens[oldcode]+1;
1070 1.1 paulus
1071 1.1 paulus /* Expand code size if needed. */
1072 1.1 paulus if (max_ent >= MAXCODE(n_bits) && max_ent < db->maxmaxcode) {
1073 1.1 paulus db->n_bits = ++n_bits;
1074 1.1 paulus tgtbitno = 32-n_bits;
1075 1.1 paulus }
1076 1.1 paulus }
1077 1.1 paulus oldcode = incode;
1078 1.1 paulus }
1079 1.1 paulus dmp->m_len = wptr - mtod(dmp, u_char *);
1080 1.1 paulus
1081 1.1 paulus /*
1082 1.1 paulus * Keep the checkpoint right so that incompressible packets
1083 1.1 paulus * clear the dictionary at the right times.
1084 1.1 paulus */
1085 1.1 paulus db->bytes_out += ilen;
1086 1.1 paulus db->in_count += explen;
1087 1.1 paulus if (bsd_check(db) && db->debug) {
1088 1.6 christos printf("bsd_decomp%d: peer should have cleared dictionary\n",
1089 1.1 paulus db->unit);
1090 1.1 paulus }
1091 1.1 paulus
1092 1.1 paulus ++db->comp_count;
1093 1.1 paulus db->comp_bytes += ilen + BSD_OVHD;
1094 1.1 paulus ++db->uncomp_count;
1095 1.1 paulus db->uncomp_bytes += explen;
1096 1.1 paulus
1097 1.1 paulus *dmpp = mret;
1098 1.1 paulus return DECOMP_OK;
1099 1.1 paulus
1100 1.1 paulus #ifdef DEBUG
1101 1.1 paulus bad:
1102 1.1 paulus if (codelen <= 0) {
1103 1.6 christos printf("bsd_decomp%d: fell off end of chain ", db->unit);
1104 1.6 christos printf("0x%x at 0x%x by 0x%x, max_ent=0x%x\n",
1105 1.1 paulus incode, finchar, db->dict[finchar].cptr, max_ent);
1106 1.1 paulus } else if (dictp->codem1 != finchar-1) {
1107 1.6 christos printf("bsd_decomp%d: bad code chain 0x%x finchar=0x%x ",
1108 1.1 paulus db->unit, incode, finchar);
1109 1.6 christos printf("oldcode=0x%x cptr=0x%x codem1=0x%x\n", oldcode,
1110 1.1 paulus db->dict[finchar].cptr, dictp->codem1);
1111 1.1 paulus }
1112 1.1 paulus m_freem(mret);
1113 1.1 paulus return DECOMP_FATALERROR;
1114 1.1 paulus #endif /* DEBUG */
1115 1.1 paulus }
1116 1.1 paulus #endif /* DO_BSD_COMPRESS */
1117