Merge branch 'jk/symbolic-ref-maint'
[git] / builtin / unpack-objects.c
1 #include "builtin.h"
2 #include "cache.h"
3 #include "object.h"
4 #include "delta.h"
5 #include "pack.h"
6 #include "blob.h"
7 #include "commit.h"
8 #include "tag.h"
9 #include "tree.h"
10 #include "tree-walk.h"
11 #include "progress.h"
12 #include "decorate.h"
13 #include "fsck.h"
14
15 static int dry_run, quiet, recover, has_errors, strict;
16 static const char unpack_usage[] = "git unpack-objects [-n] [-q] [-r] [--strict]";
17
18 /* We always read in 4kB chunks. */
19 static unsigned char buffer[4096];
20 static unsigned int offset, len;
21 static off_t consumed_bytes;
22 static git_SHA_CTX ctx;
23 static struct fsck_options fsck_options = FSCK_OPTIONS_STRICT;
24
25 /*
26  * When running under --strict mode, objects whose reachability are
27  * suspect are kept in core without getting written in the object
28  * store.
29  */
30 struct obj_buffer {
31         char *buffer;
32         unsigned long size;
33 };
34
35 static struct decoration obj_decorate;
36
37 static struct obj_buffer *lookup_object_buffer(struct object *base)
38 {
39         return lookup_decoration(&obj_decorate, base);
40 }
41
42 static void add_object_buffer(struct object *object, char *buffer, unsigned long size)
43 {
44         struct obj_buffer *obj;
45         obj = xcalloc(1, sizeof(struct obj_buffer));
46         obj->buffer = buffer;
47         obj->size = size;
48         if (add_decoration(&obj_decorate, object, obj))
49                 die("object %s tried to add buffer twice!", oid_to_hex(&object->oid));
50 }
51
52 /*
53  * Make sure at least "min" bytes are available in the buffer, and
54  * return the pointer to the buffer.
55  */
56 static void *fill(int min)
57 {
58         if (min <= len)
59                 return buffer + offset;
60         if (min > sizeof(buffer))
61                 die("cannot fill %d bytes", min);
62         if (offset) {
63                 git_SHA1_Update(&ctx, buffer, offset);
64                 memmove(buffer, buffer + offset, len);
65                 offset = 0;
66         }
67         do {
68                 ssize_t ret = xread(0, buffer + len, sizeof(buffer) - len);
69                 if (ret <= 0) {
70                         if (!ret)
71                                 die("early EOF");
72                         die_errno("read error on input");
73                 }
74                 len += ret;
75         } while (len < min);
76         return buffer;
77 }
78
79 static void use(int bytes)
80 {
81         if (bytes > len)
82                 die("used more bytes than were available");
83         len -= bytes;
84         offset += bytes;
85
86         /* make sure off_t is sufficiently large not to wrap */
87         if (signed_add_overflows(consumed_bytes, bytes))
88                 die("pack too large for current definition of off_t");
89         consumed_bytes += bytes;
90 }
91
92 static void *get_data(unsigned long size)
93 {
94         git_zstream stream;
95         void *buf = xmallocz(size);
96
97         memset(&stream, 0, sizeof(stream));
98
99         stream.next_out = buf;
100         stream.avail_out = size;
101         stream.next_in = fill(1);
102         stream.avail_in = len;
103         git_inflate_init(&stream);
104
105         for (;;) {
106                 int ret = git_inflate(&stream, 0);
107                 use(len - stream.avail_in);
108                 if (stream.total_out == size && ret == Z_STREAM_END)
109                         break;
110                 if (ret != Z_OK) {
111                         error("inflate returned %d", ret);
112                         free(buf);
113                         buf = NULL;
114                         if (!recover)
115                                 exit(1);
116                         has_errors = 1;
117                         break;
118                 }
119                 stream.next_in = fill(1);
120                 stream.avail_in = len;
121         }
122         git_inflate_end(&stream);
123         return buf;
124 }
125
126 struct delta_info {
127         unsigned char base_sha1[20];
128         unsigned nr;
129         off_t base_offset;
130         unsigned long size;
131         void *delta;
132         struct delta_info *next;
133 };
134
135 static struct delta_info *delta_list;
136
137 static void add_delta_to_list(unsigned nr, unsigned const char *base_sha1,
138                               off_t base_offset,
139                               void *delta, unsigned long size)
140 {
141         struct delta_info *info = xmalloc(sizeof(*info));
142
143         hashcpy(info->base_sha1, base_sha1);
144         info->base_offset = base_offset;
145         info->size = size;
146         info->delta = delta;
147         info->nr = nr;
148         info->next = delta_list;
149         delta_list = info;
150 }
151
152 struct obj_info {
153         off_t offset;
154         unsigned char sha1[20];
155         struct object *obj;
156 };
157
158 #define FLAG_OPEN (1u<<20)
159 #define FLAG_WRITTEN (1u<<21)
160
161 static struct obj_info *obj_list;
162 static unsigned nr_objects;
163
164 /*
165  * Called only from check_object() after it verified this object
166  * is Ok.
167  */
168 static void write_cached_object(struct object *obj, struct obj_buffer *obj_buf)
169 {
170         unsigned char sha1[20];
171
172         if (write_sha1_file(obj_buf->buffer, obj_buf->size, typename(obj->type), sha1) < 0)
173                 die("failed to write object %s", oid_to_hex(&obj->oid));
174         obj->flags |= FLAG_WRITTEN;
175 }
176
177 /*
178  * At the very end of the processing, write_rest() scans the objects
179  * that have reachability requirements and calls this function.
180  * Verify its reachability and validity recursively and write it out.
181  */
182 static int check_object(struct object *obj, int type, void *data, struct fsck_options *options)
183 {
184         struct obj_buffer *obj_buf;
185
186         if (!obj)
187                 return 1;
188
189         if (obj->flags & FLAG_WRITTEN)
190                 return 0;
191
192         if (type != OBJ_ANY && obj->type != type)
193                 die("object type mismatch");
194
195         if (!(obj->flags & FLAG_OPEN)) {
196                 unsigned long size;
197                 int type = sha1_object_info(obj->oid.hash, &size);
198                 if (type != obj->type || type <= 0)
199                         die("object of unexpected type");
200                 obj->flags |= FLAG_WRITTEN;
201                 return 0;
202         }
203
204         obj_buf = lookup_object_buffer(obj);
205         if (!obj_buf)
206                 die("Whoops! Cannot find object '%s'", oid_to_hex(&obj->oid));
207         if (fsck_object(obj, obj_buf->buffer, obj_buf->size, &fsck_options))
208                 die("Error in object");
209         fsck_options.walk = check_object;
210         if (fsck_walk(obj, NULL, &fsck_options))
211                 die("Error on reachable objects of %s", oid_to_hex(&obj->oid));
212         write_cached_object(obj, obj_buf);
213         return 0;
214 }
215
216 static void write_rest(void)
217 {
218         unsigned i;
219         for (i = 0; i < nr_objects; i++) {
220                 if (obj_list[i].obj)
221                         check_object(obj_list[i].obj, OBJ_ANY, NULL, NULL);
222         }
223 }
224
225 static void added_object(unsigned nr, enum object_type type,
226                          void *data, unsigned long size);
227
228 /*
229  * Write out nr-th object from the list, now we know the contents
230  * of it.  Under --strict, this buffers structured objects in-core,
231  * to be checked at the end.
232  */
233 static void write_object(unsigned nr, enum object_type type,
234                          void *buf, unsigned long size)
235 {
236         if (!strict) {
237                 if (write_sha1_file(buf, size, typename(type), obj_list[nr].sha1) < 0)
238                         die("failed to write object");
239                 added_object(nr, type, buf, size);
240                 free(buf);
241                 obj_list[nr].obj = NULL;
242         } else if (type == OBJ_BLOB) {
243                 struct blob *blob;
244                 if (write_sha1_file(buf, size, typename(type), obj_list[nr].sha1) < 0)
245                         die("failed to write object");
246                 added_object(nr, type, buf, size);
247                 free(buf);
248
249                 blob = lookup_blob(obj_list[nr].sha1);
250                 if (blob)
251                         blob->object.flags |= FLAG_WRITTEN;
252                 else
253                         die("invalid blob object");
254                 obj_list[nr].obj = NULL;
255         } else {
256                 struct object *obj;
257                 int eaten;
258                 hash_sha1_file(buf, size, typename(type), obj_list[nr].sha1);
259                 added_object(nr, type, buf, size);
260                 obj = parse_object_buffer(obj_list[nr].sha1, type, size, buf, &eaten);
261                 if (!obj)
262                         die("invalid %s", typename(type));
263                 add_object_buffer(obj, buf, size);
264                 obj->flags |= FLAG_OPEN;
265                 obj_list[nr].obj = obj;
266         }
267 }
268
269 static void resolve_delta(unsigned nr, enum object_type type,
270                           void *base, unsigned long base_size,
271                           void *delta, unsigned long delta_size)
272 {
273         void *result;
274         unsigned long result_size;
275
276         result = patch_delta(base, base_size,
277                              delta, delta_size,
278                              &result_size);
279         if (!result)
280                 die("failed to apply delta");
281         free(delta);
282         write_object(nr, type, result, result_size);
283 }
284
285 /*
286  * We now know the contents of an object (which is nr-th in the pack);
287  * resolve all the deltified objects that are based on it.
288  */
289 static void added_object(unsigned nr, enum object_type type,
290                          void *data, unsigned long size)
291 {
292         struct delta_info **p = &delta_list;
293         struct delta_info *info;
294
295         while ((info = *p) != NULL) {
296                 if (!hashcmp(info->base_sha1, obj_list[nr].sha1) ||
297                     info->base_offset == obj_list[nr].offset) {
298                         *p = info->next;
299                         p = &delta_list;
300                         resolve_delta(info->nr, type, data, size,
301                                       info->delta, info->size);
302                         free(info);
303                         continue;
304                 }
305                 p = &info->next;
306         }
307 }
308
309 static void unpack_non_delta_entry(enum object_type type, unsigned long size,
310                                    unsigned nr)
311 {
312         void *buf = get_data(size);
313
314         if (!dry_run && buf)
315                 write_object(nr, type, buf, size);
316         else
317                 free(buf);
318 }
319
320 static int resolve_against_held(unsigned nr, const unsigned char *base,
321                                 void *delta_data, unsigned long delta_size)
322 {
323         struct object *obj;
324         struct obj_buffer *obj_buffer;
325         obj = lookup_object(base);
326         if (!obj)
327                 return 0;
328         obj_buffer = lookup_object_buffer(obj);
329         if (!obj_buffer)
330                 return 0;
331         resolve_delta(nr, obj->type, obj_buffer->buffer,
332                       obj_buffer->size, delta_data, delta_size);
333         return 1;
334 }
335
336 static void unpack_delta_entry(enum object_type type, unsigned long delta_size,
337                                unsigned nr)
338 {
339         void *delta_data, *base;
340         unsigned long base_size;
341         unsigned char base_sha1[20];
342
343         if (type == OBJ_REF_DELTA) {
344                 hashcpy(base_sha1, fill(20));
345                 use(20);
346                 delta_data = get_data(delta_size);
347                 if (dry_run || !delta_data) {
348                         free(delta_data);
349                         return;
350                 }
351                 if (has_sha1_file(base_sha1))
352                         ; /* Ok we have this one */
353                 else if (resolve_against_held(nr, base_sha1,
354                                               delta_data, delta_size))
355                         return; /* we are done */
356                 else {
357                         /* cannot resolve yet --- queue it */
358                         hashcpy(obj_list[nr].sha1, null_sha1);
359                         add_delta_to_list(nr, base_sha1, 0, delta_data, delta_size);
360                         return;
361                 }
362         } else {
363                 unsigned base_found = 0;
364                 unsigned char *pack, c;
365                 off_t base_offset;
366                 unsigned lo, mid, hi;
367
368                 pack = fill(1);
369                 c = *pack;
370                 use(1);
371                 base_offset = c & 127;
372                 while (c & 128) {
373                         base_offset += 1;
374                         if (!base_offset || MSB(base_offset, 7))
375                                 die("offset value overflow for delta base object");
376                         pack = fill(1);
377                         c = *pack;
378                         use(1);
379                         base_offset = (base_offset << 7) + (c & 127);
380                 }
381                 base_offset = obj_list[nr].offset - base_offset;
382                 if (base_offset <= 0 || base_offset >= obj_list[nr].offset)
383                         die("offset value out of bound for delta base object");
384
385                 delta_data = get_data(delta_size);
386                 if (dry_run || !delta_data) {
387                         free(delta_data);
388                         return;
389                 }
390                 lo = 0;
391                 hi = nr;
392                 while (lo < hi) {
393                         mid = (lo + hi)/2;
394                         if (base_offset < obj_list[mid].offset) {
395                                 hi = mid;
396                         } else if (base_offset > obj_list[mid].offset) {
397                                 lo = mid + 1;
398                         } else {
399                                 hashcpy(base_sha1, obj_list[mid].sha1);
400                                 base_found = !is_null_sha1(base_sha1);
401                                 break;
402                         }
403                 }
404                 if (!base_found) {
405                         /*
406                          * The delta base object is itself a delta that
407                          * has not been resolved yet.
408                          */
409                         hashcpy(obj_list[nr].sha1, null_sha1);
410                         add_delta_to_list(nr, null_sha1, base_offset, delta_data, delta_size);
411                         return;
412                 }
413         }
414
415         if (resolve_against_held(nr, base_sha1, delta_data, delta_size))
416                 return;
417
418         base = read_sha1_file(base_sha1, &type, &base_size);
419         if (!base) {
420                 error("failed to read delta-pack base object %s",
421                       sha1_to_hex(base_sha1));
422                 if (!recover)
423                         exit(1);
424                 has_errors = 1;
425                 return;
426         }
427         resolve_delta(nr, type, base, base_size, delta_data, delta_size);
428         free(base);
429 }
430
431 static void unpack_one(unsigned nr)
432 {
433         unsigned shift;
434         unsigned char *pack;
435         unsigned long size, c;
436         enum object_type type;
437
438         obj_list[nr].offset = consumed_bytes;
439
440         pack = fill(1);
441         c = *pack;
442         use(1);
443         type = (c >> 4) & 7;
444         size = (c & 15);
445         shift = 4;
446         while (c & 0x80) {
447                 pack = fill(1);
448                 c = *pack;
449                 use(1);
450                 size += (c & 0x7f) << shift;
451                 shift += 7;
452         }
453
454         switch (type) {
455         case OBJ_COMMIT:
456         case OBJ_TREE:
457         case OBJ_BLOB:
458         case OBJ_TAG:
459                 unpack_non_delta_entry(type, size, nr);
460                 return;
461         case OBJ_REF_DELTA:
462         case OBJ_OFS_DELTA:
463                 unpack_delta_entry(type, size, nr);
464                 return;
465         default:
466                 error("bad object type %d", type);
467                 has_errors = 1;
468                 if (recover)
469                         return;
470                 exit(1);
471         }
472 }
473
474 static void unpack_all(void)
475 {
476         int i;
477         struct progress *progress = NULL;
478         struct pack_header *hdr = fill(sizeof(struct pack_header));
479
480         nr_objects = ntohl(hdr->hdr_entries);
481
482         if (ntohl(hdr->hdr_signature) != PACK_SIGNATURE)
483                 die("bad pack file");
484         if (!pack_version_ok(hdr->hdr_version))
485                 die("unknown pack file version %"PRIu32,
486                         ntohl(hdr->hdr_version));
487         use(sizeof(struct pack_header));
488
489         if (!quiet)
490                 progress = start_progress(_("Unpacking objects"), nr_objects);
491         obj_list = xcalloc(nr_objects, sizeof(*obj_list));
492         for (i = 0; i < nr_objects; i++) {
493                 unpack_one(i);
494                 display_progress(progress, i + 1);
495         }
496         stop_progress(&progress);
497
498         if (delta_list)
499                 die("unresolved deltas left after unpacking");
500 }
501
502 int cmd_unpack_objects(int argc, const char **argv, const char *prefix)
503 {
504         int i;
505         unsigned char sha1[20];
506
507         check_replace_refs = 0;
508
509         git_config(git_default_config, NULL);
510
511         quiet = !isatty(2);
512
513         for (i = 1 ; i < argc; i++) {
514                 const char *arg = argv[i];
515
516                 if (*arg == '-') {
517                         if (!strcmp(arg, "-n")) {
518                                 dry_run = 1;
519                                 continue;
520                         }
521                         if (!strcmp(arg, "-q")) {
522                                 quiet = 1;
523                                 continue;
524                         }
525                         if (!strcmp(arg, "-r")) {
526                                 recover = 1;
527                                 continue;
528                         }
529                         if (!strcmp(arg, "--strict")) {
530                                 strict = 1;
531                                 continue;
532                         }
533                         if (skip_prefix(arg, "--strict=", &arg)) {
534                                 strict = 1;
535                                 fsck_set_msg_types(&fsck_options, arg);
536                                 continue;
537                         }
538                         if (starts_with(arg, "--pack_header=")) {
539                                 struct pack_header *hdr;
540                                 char *c;
541
542                                 hdr = (struct pack_header *)buffer;
543                                 hdr->hdr_signature = htonl(PACK_SIGNATURE);
544                                 hdr->hdr_version = htonl(strtoul(arg + 14, &c, 10));
545                                 if (*c != ',')
546                                         die("bad %s", arg);
547                                 hdr->hdr_entries = htonl(strtoul(c + 1, &c, 10));
548                                 if (*c)
549                                         die("bad %s", arg);
550                                 len = sizeof(*hdr);
551                                 continue;
552                         }
553                         usage(unpack_usage);
554                 }
555
556                 /* We don't take any non-flag arguments now.. Maybe some day */
557                 usage(unpack_usage);
558         }
559         git_SHA1_Init(&ctx);
560         unpack_all();
561         git_SHA1_Update(&ctx, buffer, offset);
562         git_SHA1_Final(sha1, &ctx);
563         if (strict)
564                 write_rest();
565         if (hashcmp(fill(20), sha1))
566                 die("final sha1 did not match");
567         use(20);
568
569         /* Write the last part of the buffer to stdout */
570         while (len) {
571                 int ret = xwrite(1, buffer + offset, len);
572                 if (ret <= 0)
573                         break;
574                 len -= ret;
575                 offset += ret;
576         }
577
578         /* All done */
579         return has_errors;
580 }