2005-05-19 18:27:14 +04:00
|
|
|
/*
|
|
|
|
* diff-delta.c: generate a delta between two buffers
|
|
|
|
*
|
|
|
|
* Many parts of this file have been lifted from LibXDiff version 0.10.
|
|
|
|
* http://www.xmailserver.org/xdiff-lib.html
|
|
|
|
*
|
|
|
|
* LibXDiff was written by Davide Libenzi <davidel@xmailserver.org>
|
|
|
|
* Copyright (C) 2003 Davide Libenzi
|
|
|
|
*
|
|
|
|
* Many mods for GIT usage by Nicolas Pitre <nico@cam.org>, (C) 2005.
|
|
|
|
*
|
|
|
|
* This file is free software; you can redistribute it and/or
|
|
|
|
* modify it under the terms of the GNU Lesser General Public
|
|
|
|
* License as published by the Free Software Foundation; either
|
|
|
|
* version 2.1 of the License, or (at your option) any later version.
|
|
|
|
*
|
|
|
|
* Use of this within git automatically means that the LGPL
|
|
|
|
* licensing gets turned into GPLv2 within this project.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <stdlib.h>
|
2006-02-22 04:43:17 +03:00
|
|
|
#include <string.h>
|
|
|
|
#include <zlib.h>
|
2005-05-19 18:27:14 +04:00
|
|
|
#include "delta.h"
|
|
|
|
|
|
|
|
|
|
|
|
/* block size: min = 16, max = 64k, power of 2 */
|
|
|
|
#define BLK_SIZE 16
|
|
|
|
|
|
|
|
#define MIN(a, b) ((a) < (b) ? (a) : (b))
|
|
|
|
|
|
|
|
#define GR_PRIME 0x9e370001
|
2006-02-22 04:43:17 +03:00
|
|
|
#define HASH(v, shift) (((unsigned int)(v) * GR_PRIME) >> (shift))
|
2005-05-19 18:27:14 +04:00
|
|
|
|
2006-02-22 04:43:17 +03:00
|
|
|
struct index {
|
2005-05-19 18:27:14 +04:00
|
|
|
const unsigned char *ptr;
|
2006-02-22 04:43:17 +03:00
|
|
|
unsigned int val;
|
|
|
|
struct index *next;
|
|
|
|
};
|
2005-05-19 18:27:14 +04:00
|
|
|
|
2006-02-22 04:43:17 +03:00
|
|
|
static struct index ** delta_index(const unsigned char *buf,
|
|
|
|
unsigned long bufsize,
|
2006-03-08 22:32:50 +03:00
|
|
|
unsigned long trg_bufsize,
|
2006-02-22 04:43:17 +03:00
|
|
|
unsigned int *hash_shift)
|
2005-05-19 18:27:14 +04:00
|
|
|
{
|
2006-03-08 22:32:50 +03:00
|
|
|
unsigned int i, hsize, hshift, hlimit, entries, *hash_count;
|
2006-02-22 04:43:17 +03:00
|
|
|
const unsigned char *data;
|
|
|
|
struct index *entry, **hash;
|
|
|
|
void *mem;
|
|
|
|
|
|
|
|
/* determine index hash size */
|
2006-03-08 22:32:50 +03:00
|
|
|
entries = bufsize / BLK_SIZE;
|
2006-02-22 04:43:17 +03:00
|
|
|
hsize = entries / 4;
|
2006-03-08 22:32:50 +03:00
|
|
|
for (i = 4; (1 << i) < hsize && i < 31; i++);
|
2006-02-22 04:43:17 +03:00
|
|
|
hsize = 1 << i;
|
|
|
|
hshift = 32 - i;
|
|
|
|
*hash_shift = hshift;
|
|
|
|
|
|
|
|
/* allocate lookup index */
|
|
|
|
mem = malloc(hsize * sizeof(*hash) + entries * sizeof(*entry));
|
|
|
|
if (!mem)
|
|
|
|
return NULL;
|
|
|
|
hash = mem;
|
|
|
|
entry = mem + hsize * sizeof(*hash);
|
|
|
|
memset(hash, 0, hsize * sizeof(*hash));
|
|
|
|
|
2006-03-08 22:32:50 +03:00
|
|
|
/* allocate an array to count hash entries */
|
|
|
|
hash_count = calloc(hsize, sizeof(*hash_count));
|
|
|
|
if (!hash_count) {
|
|
|
|
free(hash);
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* then populate the index */
|
2006-02-22 04:43:17 +03:00
|
|
|
data = buf + entries * BLK_SIZE - BLK_SIZE;
|
|
|
|
while (data >= buf) {
|
2006-03-08 22:32:50 +03:00
|
|
|
unsigned int val = adler32(0, data, BLK_SIZE);
|
2006-02-22 04:43:17 +03:00
|
|
|
i = HASH(val, hshift);
|
|
|
|
entry->ptr = data;
|
|
|
|
entry->val = val;
|
|
|
|
entry->next = hash[i];
|
|
|
|
hash[i] = entry++;
|
2006-03-08 22:32:50 +03:00
|
|
|
hash_count[i]++;
|
2005-05-19 18:27:14 +04:00
|
|
|
data -= BLK_SIZE;
|
2006-02-22 04:43:17 +03:00
|
|
|
}
|
2005-05-19 18:27:14 +04:00
|
|
|
|
2006-03-08 22:32:50 +03:00
|
|
|
/*
|
|
|
|
* Determine a limit on the number of entries in the same hash
|
|
|
|
* bucket. This guard us against patological data sets causing
|
|
|
|
* really bad hash distribution with most entries in the same hash
|
|
|
|
* bucket that would bring us to O(m*n) computing costs (m and n
|
|
|
|
* corresponding to reference and target buffer sizes).
|
|
|
|
*
|
|
|
|
* The more the target buffer is large, the more it is important to
|
|
|
|
* have small entry lists for each hash buckets. With such a limit
|
|
|
|
* the cost is bounded to something more like O(m+n).
|
|
|
|
*/
|
|
|
|
hlimit = (1 << 26) / trg_bufsize;
|
|
|
|
if (hlimit < 4*BLK_SIZE)
|
|
|
|
hlimit = 4*BLK_SIZE;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Now make sure none of the hash buckets has more entries than
|
|
|
|
* we're willing to test. Otherwise we cull the entry list
|
|
|
|
* uniformly to still preserve a good repartition across
|
|
|
|
* the reference buffer.
|
|
|
|
*/
|
|
|
|
for (i = 0; i < hsize; i++) {
|
|
|
|
if (hash_count[i] < hlimit)
|
|
|
|
continue;
|
|
|
|
entry = hash[i];
|
|
|
|
do {
|
|
|
|
struct index *keep = entry;
|
|
|
|
int skip = hash_count[i] / hlimit / 2;
|
|
|
|
do {
|
|
|
|
entry = entry->next;
|
|
|
|
} while(--skip && entry);
|
|
|
|
keep->next = entry;
|
|
|
|
} while(entry);
|
|
|
|
}
|
|
|
|
free(hash_count);
|
|
|
|
|
2006-02-22 04:43:17 +03:00
|
|
|
return hash;
|
2005-05-19 18:27:14 +04:00
|
|
|
}
|
|
|
|
|
2006-02-22 04:41:41 +03:00
|
|
|
/* provide the size of the copy opcode given the block offset and size */
|
2005-05-19 18:27:14 +04:00
|
|
|
#define COPYOP_SIZE(o, s) \
|
|
|
|
(!!(o & 0xff) + !!(o & 0xff00) + !!(o & 0xff0000) + !!(o & 0xff000000) + \
|
|
|
|
!!(s & 0xff) + !!(s & 0xff00) + 1)
|
|
|
|
|
2006-02-22 04:41:41 +03:00
|
|
|
/* the maximum size for any opcode */
|
|
|
|
#define MAX_OP_SIZE COPYOP_SIZE(0xffffffff, 0xffffffff)
|
|
|
|
|
2005-05-19 18:27:14 +04:00
|
|
|
void *diff_delta(void *from_buf, unsigned long from_size,
|
|
|
|
void *to_buf, unsigned long to_size,
|
2005-06-26 06:30:20 +04:00
|
|
|
unsigned long *delta_size,
|
|
|
|
unsigned long max_size)
|
2005-05-19 18:27:14 +04:00
|
|
|
{
|
2006-03-18 06:45:07 +03:00
|
|
|
unsigned int i, outpos, outsize, hash_shift;
|
|
|
|
int inscnt;
|
2006-02-22 04:43:17 +03:00
|
|
|
const unsigned char *ref_data, *ref_top, *data, *top;
|
|
|
|
unsigned char *out;
|
|
|
|
struct index *entry, **hash;
|
2005-05-19 18:27:14 +04:00
|
|
|
|
2006-02-22 04:43:17 +03:00
|
|
|
if (!from_size || !to_size)
|
2005-05-19 18:27:14 +04:00
|
|
|
return NULL;
|
2006-03-08 22:32:50 +03:00
|
|
|
hash = delta_index(from_buf, from_size, to_size, &hash_shift);
|
2006-02-22 04:43:17 +03:00
|
|
|
if (!hash)
|
|
|
|
return NULL;
|
|
|
|
|
2005-05-19 18:27:14 +04:00
|
|
|
outpos = 0;
|
|
|
|
outsize = 8192;
|
2006-02-22 04:41:41 +03:00
|
|
|
if (max_size && outsize >= max_size)
|
|
|
|
outsize = max_size + MAX_OP_SIZE + 1;
|
2005-05-19 18:27:14 +04:00
|
|
|
out = malloc(outsize);
|
|
|
|
if (!out) {
|
2006-02-22 04:43:17 +03:00
|
|
|
free(hash);
|
2005-05-19 18:27:14 +04:00
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
2005-12-15 19:10:32 +03:00
|
|
|
ref_data = from_buf;
|
|
|
|
ref_top = from_buf + from_size;
|
2005-05-19 18:27:14 +04:00
|
|
|
data = to_buf;
|
|
|
|
top = to_buf + to_size;
|
|
|
|
|
|
|
|
/* store reference buffer size */
|
2005-06-29 08:27:45 +04:00
|
|
|
out[outpos++] = from_size;
|
|
|
|
from_size >>= 7;
|
|
|
|
while (from_size) {
|
|
|
|
out[outpos - 1] |= 0x80;
|
|
|
|
out[outpos++] = from_size;
|
|
|
|
from_size >>= 7;
|
|
|
|
}
|
2005-05-19 18:27:14 +04:00
|
|
|
|
|
|
|
/* store target buffer size */
|
2005-06-29 08:27:45 +04:00
|
|
|
out[outpos++] = to_size;
|
|
|
|
to_size >>= 7;
|
|
|
|
while (to_size) {
|
|
|
|
out[outpos - 1] |= 0x80;
|
|
|
|
out[outpos++] = to_size;
|
|
|
|
to_size >>= 7;
|
|
|
|
}
|
2005-05-19 18:27:14 +04:00
|
|
|
|
|
|
|
inscnt = 0;
|
|
|
|
|
2006-02-22 04:43:17 +03:00
|
|
|
while (data < top) {
|
|
|
|
unsigned int moff = 0, msize = 0;
|
2006-03-08 22:32:50 +03:00
|
|
|
if (data + BLK_SIZE <= top) {
|
|
|
|
unsigned int val = adler32(0, data, BLK_SIZE);
|
|
|
|
i = HASH(val, hash_shift);
|
|
|
|
for (entry = hash[i]; entry; entry = entry->next) {
|
|
|
|
const unsigned char *ref = entry->ptr;
|
|
|
|
const unsigned char *src = data;
|
|
|
|
unsigned int ref_size = ref_top - ref;
|
|
|
|
if (entry->val != val)
|
|
|
|
continue;
|
|
|
|
if (ref_size > top - src)
|
|
|
|
ref_size = top - src;
|
|
|
|
if (ref_size > 0x10000)
|
|
|
|
ref_size = 0x10000;
|
|
|
|
if (ref_size <= msize)
|
2006-02-22 04:43:17 +03:00
|
|
|
break;
|
2006-03-08 22:32:50 +03:00
|
|
|
while (ref_size-- && *src++ == *ref)
|
|
|
|
ref++;
|
|
|
|
if (msize < ref - entry->ptr) {
|
|
|
|
/* this is our best match so far */
|
|
|
|
msize = ref - entry->ptr;
|
|
|
|
moff = entry->ptr - ref_data;
|
2005-05-19 18:27:14 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!msize || msize < COPYOP_SIZE(moff, msize)) {
|
|
|
|
if (!inscnt)
|
|
|
|
outpos++;
|
|
|
|
out[outpos++] = *data++;
|
|
|
|
inscnt++;
|
|
|
|
if (inscnt == 0x7f) {
|
|
|
|
out[outpos - inscnt - 1] = inscnt;
|
|
|
|
inscnt = 0;
|
|
|
|
}
|
|
|
|
} else {
|
2006-02-22 04:43:17 +03:00
|
|
|
unsigned char *op;
|
|
|
|
|
2005-05-19 18:27:14 +04:00
|
|
|
if (inscnt) {
|
2006-03-18 06:45:07 +03:00
|
|
|
while (moff && ref_data[moff-1] == data[-1]) {
|
|
|
|
if (msize == 0x10000)
|
|
|
|
break;
|
|
|
|
/* we can match one byte back */
|
|
|
|
msize++;
|
|
|
|
moff--;
|
|
|
|
data--;
|
|
|
|
outpos--;
|
|
|
|
if (--inscnt)
|
|
|
|
continue;
|
|
|
|
outpos--; /* remove count slot */
|
|
|
|
inscnt--; /* make it -1 */
|
|
|
|
break;
|
|
|
|
}
|
2005-05-19 18:27:14 +04:00
|
|
|
out[outpos - inscnt - 1] = inscnt;
|
|
|
|
inscnt = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
data += msize;
|
2006-02-22 04:43:17 +03:00
|
|
|
op = out + outpos++;
|
2005-05-19 18:27:14 +04:00
|
|
|
i = 0x80;
|
|
|
|
|
|
|
|
if (moff & 0xff) { out[outpos++] = moff; i |= 0x01; }
|
|
|
|
moff >>= 8;
|
|
|
|
if (moff & 0xff) { out[outpos++] = moff; i |= 0x02; }
|
|
|
|
moff >>= 8;
|
|
|
|
if (moff & 0xff) { out[outpos++] = moff; i |= 0x04; }
|
|
|
|
moff >>= 8;
|
|
|
|
if (moff & 0xff) { out[outpos++] = moff; i |= 0x08; }
|
|
|
|
|
|
|
|
if (msize & 0xff) { out[outpos++] = msize; i |= 0x10; }
|
|
|
|
msize >>= 8;
|
|
|
|
if (msize & 0xff) { out[outpos++] = msize; i |= 0x20; }
|
|
|
|
|
2006-02-22 04:43:17 +03:00
|
|
|
*op = i;
|
2005-05-19 18:27:14 +04:00
|
|
|
}
|
|
|
|
|
2006-02-22 04:41:41 +03:00
|
|
|
if (outpos >= outsize - MAX_OP_SIZE) {
|
2005-05-19 18:27:14 +04:00
|
|
|
void *tmp = out;
|
|
|
|
outsize = outsize * 3 / 2;
|
2006-02-22 04:41:41 +03:00
|
|
|
if (max_size && outsize >= max_size)
|
|
|
|
outsize = max_size + MAX_OP_SIZE + 1;
|
|
|
|
if (max_size && outpos > max_size)
|
|
|
|
out = NULL;
|
|
|
|
else
|
|
|
|
out = realloc(out, outsize);
|
2005-05-19 18:27:14 +04:00
|
|
|
if (!out) {
|
|
|
|
free(tmp);
|
2006-02-22 04:43:17 +03:00
|
|
|
free(hash);
|
2005-05-19 18:27:14 +04:00
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (inscnt)
|
|
|
|
out[outpos - inscnt - 1] = inscnt;
|
|
|
|
|
2006-02-22 04:43:17 +03:00
|
|
|
free(hash);
|
2005-05-19 18:27:14 +04:00
|
|
|
*delta_size = outpos;
|
|
|
|
return out;
|
|
|
|
}
|