Made the types used in the sum_buf and sum_struct structures consistent
[rsync/rsync.git] / match.c
... / ...
CommitLineData
1/*
2 Copyright (C) Andrew Tridgell 1996
3 Copyright (C) Paul Mackerras 1996
4
5 This program is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation; either version 2 of the License, or
8 (at your option) any later version.
9
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
14
15 You should have received a copy of the GNU General Public License
16 along with this program; if not, write to the Free Software
17 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
18*/
19
20#include "rsync.h"
21
22extern int verbose;
23extern int am_server;
24extern int do_progress;
25
26typedef unsigned short tag;
27
28#define TABLESIZE (1<<16)
29#define NULL_TAG (-1)
30
31static int false_alarms;
32static int tag_hits;
33static int matches;
34static int64 data_transfer;
35
36static int total_false_alarms;
37static int total_tag_hits;
38static int total_matches;
39
40extern struct stats stats;
41
42struct target {
43 tag t;
44 int i;
45};
46
47static struct target *targets;
48
49static int *tag_table;
50
51#define gettag2(s1,s2) (((s1) + (s2)) & 0xFFFF)
52#define gettag(sum) gettag2((sum)&0xFFFF,(sum)>>16)
53
54static int compare_targets(struct target *t1,struct target *t2)
55{
56 return (int)t1->t - (int)t2->t;
57}
58
59
60static void build_hash_table(struct sum_struct *s)
61{
62 int i;
63
64 if (!tag_table)
65 tag_table = new_array(int, TABLESIZE);
66
67 targets = new_array(struct target, s->count);
68 if (!tag_table || !targets)
69 out_of_memory("build_hash_table");
70
71 for (i = 0; i < (int)s->count; i++) {
72 targets[i].i = i;
73 targets[i].t = gettag(s->sums[i].sum1);
74 }
75
76 qsort(targets,s->count,sizeof(targets[0]),(int (*)())compare_targets);
77
78 for (i = 0; i < TABLESIZE; i++)
79 tag_table[i] = NULL_TAG;
80
81 for (i = s->count-1; i >= 0; i--)
82 tag_table[targets[i].t] = i;
83}
84
85
86static OFF_T last_match;
87
88
89/**
90 * Transmit a literal and/or match token.
91 *
92 * This delightfully-named function is called either when we find a
93 * match and need to transmit all the unmatched data leading up to it,
94 * or when we get bored of accumulating literal data and just need to
95 * transmit it. As a result of this second case, it is called even if
96 * we have not matched at all!
97 *
98 * @param i If >0, the number of a matched token. If 0, indicates we
99 * have only literal data.
100 **/
101static void matched(int f,struct sum_struct *s,struct map_struct *buf,
102 OFF_T offset,int i)
103{
104 OFF_T n = offset - last_match;
105 OFF_T j;
106
107 if (verbose > 2 && i >= 0)
108 rprintf(FINFO,"match at %.0f last_match=%.0f j=%d len=%u n=%.0f\n",
109 (double)offset,(double)last_match,i,s->sums[i].len,(double)n);
110
111 send_token(f,i,buf,last_match,n,i<0?0:s->sums[i].len);
112 data_transfer += n;
113
114 if (i >= 0) {
115 stats.matched_data += s->sums[i].len;
116 n += s->sums[i].len;
117 }
118
119 for (j = 0; j < n; j += CHUNK_SIZE) {
120 int n1 = MIN(CHUNK_SIZE,n-j);
121 sum_update(map_ptr(buf,last_match+j,n1),n1);
122 }
123
124
125 if (i >= 0)
126 last_match = offset + s->sums[i].len;
127 else
128 last_match = offset;
129
130 if (buf && do_progress) {
131 show_progress(last_match, buf->file_size);
132
133 if (i == -1) end_progress(buf->file_size);
134 }
135}
136
137
138static void hash_search(int f,struct sum_struct *s,
139 struct map_struct *buf, OFF_T len)
140{
141 OFF_T offset, end;
142 int j,k, last_i;
143 char sum2[SUM_LENGTH];
144 uint32 s1, s2, sum;
145 schar *map;
146
147 /* last_i is used to encourage adjacent matches, allowing the RLL coding of the
148 output to work more efficiently */
149 last_i = -1;
150
151 if (verbose > 2)
152 rprintf(FINFO,"hash search b=%ld len=%.0f\n",
153 (long) s->blength, (double)len);
154
155 k = MIN(len, (OFF_T)s->blength);
156
157 map = (schar *)map_ptr(buf,0,k);
158
159 sum = get_checksum1((char *)map, k);
160 s1 = sum & 0xFFFF;
161 s2 = sum >> 16;
162 if (verbose > 3)
163 rprintf(FINFO, "sum=%.8x k=%d\n", sum, k);
164
165 offset = 0;
166
167 end = len + 1 - s->sums[s->count-1].len;
168
169 if (verbose > 3)
170 rprintf(FINFO, "hash search s->blength=%ld len=%.0f count=%ld\n",
171 (long) s->blength, (double) len, (long) s->count);
172
173 do {
174 tag t = gettag2(s1,s2);
175 int done_csum2 = 0;
176
177 j = tag_table[t];
178 if (verbose > 4)
179 rprintf(FINFO,"offset=%.0f sum=%08x\n",(double)offset,sum);
180
181 if (j == NULL_TAG) {
182 goto null_tag;
183 }
184
185 sum = (s1 & 0xffff) | (s2 << 16);
186 tag_hits++;
187 for (; j < (int) s->count && targets[j].t == t; j++) {
188 unsigned int l;
189 int i = targets[j].i;
190
191 if (sum != s->sums[i].sum1) continue;
192
193 /* also make sure the two blocks are the same length */
194 l = MIN((OFF_T)s->blength, len-offset);
195 if (l != s->sums[i].len) continue;
196
197 if (verbose > 3)
198 rprintf(FINFO,"potential match at %.0f target=%d %d sum=%08x\n",
199 (double)offset,j,i,sum);
200
201 if (!done_csum2) {
202 map = (schar *)map_ptr(buf,offset,l);
203 get_checksum2((char *)map,l,sum2);
204 done_csum2 = 1;
205 }
206
207 if (memcmp(sum2,s->sums[i].sum2,s->s2length) != 0) {
208 false_alarms++;
209 continue;
210 }
211
212 /* we've found a match, but now check to see
213 * if last_i can hint at a better match */
214 for (j++; j < (int) s->count && targets[j].t == t; j++) {
215 int i2 = targets[j].i;
216 if (i2 == last_i + 1) {
217 if (sum != s->sums[i2].sum1) break;
218 if (memcmp(sum2,s->sums[i2].sum2,s->s2length) != 0) break;
219 /* we've found an adjacent match - the RLL coder
220 * will be happy */
221 i = i2;
222 break;
223 }
224 }
225
226 last_i = i;
227
228 matched(f,s,buf,offset,i);
229 offset += s->sums[i].len - 1;
230 k = MIN((OFF_T)s->blength, len-offset);
231 map = (schar *)map_ptr(buf,offset,k);
232 sum = get_checksum1((char *)map, k);
233 s1 = sum & 0xFFFF;
234 s2 = sum >> 16;
235 matches++;
236 break;
237 }
238
239 null_tag:
240 /* Trim off the first byte from the checksum */
241 map = (schar *)map_ptr(buf,offset,k+1);
242 s1 -= map[0] + CHAR_OFFSET;
243 s2 -= k * (map[0]+CHAR_OFFSET);
244
245 /* Add on the next byte (if there is one) to the checksum */
246 if (k < (len-offset)) {
247 s1 += (map[k]+CHAR_OFFSET);
248 s2 += s1;
249 } else {
250 --k;
251 }
252
253 /* By matching early we avoid re-reading the
254 data 3 times in the case where a token
255 match comes a long way after last
256 match. The 3 reads are caused by the
257 running match, the checksum update and the
258 literal send. */
259 if (offset > last_match
260 && offset-last_match >= CHUNK_SIZE+s->blength
261 && end-offset > CHUNK_SIZE) {
262 matched(f,s,buf,offset - s->blength, -2);
263 }
264 } while (++offset < end);
265
266 matched(f,s,buf,len,-1);
267 map_ptr(buf,len-1,1);
268}
269
270
271/**
272 * Scan through a origin file, looking for sections that match
273 * checksums from the generator, and transmit either literal or token
274 * data.
275 *
276 * Also calculates the MD4 checksum of the whole file, using the md
277 * accumulator. This is transmitted with the file as protection
278 * against corruption on the wire.
279 *
280 * @param s Checksums received from the generator. If <tt>s->count ==
281 * 0</tt>, then there are actually no checksums for this file.
282 *
283 * @param len Length of the file to send.
284 **/
285void match_sums(int f, struct sum_struct *s, struct map_struct *buf, OFF_T len)
286{
287 char file_sum[MD4_SUM_LENGTH];
288 extern int write_batch;
289
290 last_match = 0;
291 false_alarms = 0;
292 tag_hits = 0;
293 matches = 0;
294 data_transfer = 0;
295
296 sum_init();
297
298 if (len > 0 && s->count>0) {
299 build_hash_table(s);
300
301 if (verbose > 2)
302 rprintf(FINFO,"built hash table\n");
303
304 hash_search(f,s,buf,len);
305
306 if (verbose > 2)
307 rprintf(FINFO,"done hash search\n");
308 } else {
309 OFF_T j;
310 /* by doing this in pieces we avoid too many seeks */
311 for (j = 0; j < len-CHUNK_SIZE; j += CHUNK_SIZE) {
312 int n1 = MIN(CHUNK_SIZE,(len-CHUNK_SIZE)-j);
313 matched(f,s,buf,j+n1,-2);
314 }
315 matched(f,s,buf,len,-1);
316 }
317
318 sum_end(file_sum);
319
320 if (verbose > 2)
321 rprintf(FINFO,"sending file_sum\n");
322 write_buf(f,file_sum,MD4_SUM_LENGTH);
323 if (write_batch)
324 write_batch_delta_file(file_sum, MD4_SUM_LENGTH);
325
326 if (targets) {
327 free(targets);
328 targets=NULL;
329 }
330
331 if (verbose > 2)
332 rprintf(FINFO, "false_alarms=%d tag_hits=%d matches=%d\n",
333 false_alarms, tag_hits, matches);
334
335 total_tag_hits += tag_hits;
336 total_false_alarms += false_alarms;
337 total_matches += matches;
338 stats.literal_data += data_transfer;
339}
340
341void match_report(void)
342{
343 if (verbose <= 1)
344 return;
345
346 rprintf(FINFO,
347 "total: matches=%d tag_hits=%d false_alarms=%d data=%.0f\n",
348 total_matches,total_tag_hits,
349 total_false_alarms,
350 (double)stats.literal_data);
351}