t4301: verify that merge-tree fails on missing blob objects
[git/gitster.git] / pack-write.c
blobb19ddf15b284868acd7ad9123aed8fba10d08d30
1 #include "git-compat-util.h"
2 #include "environment.h"
3 #include "gettext.h"
4 #include "hex.h"
5 #include "pack.h"
6 #include "csum-file.h"
7 #include "remote.h"
8 #include "chunk-format.h"
9 #include "pack-mtimes.h"
10 #include "oidmap.h"
11 #include "pack-objects.h"
12 #include "pack-revindex.h"
13 #include "path.h"
14 #include "strbuf.h"
16 void reset_pack_idx_option(struct pack_idx_option *opts)
18 memset(opts, 0, sizeof(*opts));
19 opts->version = 2;
20 opts->off32_limit = 0x7fffffff;
23 static int sha1_compare(const void *_a, const void *_b)
25 struct pack_idx_entry *a = *(struct pack_idx_entry **)_a;
26 struct pack_idx_entry *b = *(struct pack_idx_entry **)_b;
27 return oidcmp(&a->oid, &b->oid);
30 static int cmp_uint32(const void *a_, const void *b_)
32 uint32_t a = *((uint32_t *)a_);
33 uint32_t b = *((uint32_t *)b_);
35 return (a < b) ? -1 : (a != b);
38 static int need_large_offset(off_t offset, const struct pack_idx_option *opts)
40 uint32_t ofsval;
42 if ((offset >> 31) || (opts->off32_limit < offset))
43 return 1;
44 if (!opts->anomaly_nr)
45 return 0;
46 ofsval = offset;
47 return !!bsearch(&ofsval, opts->anomaly, opts->anomaly_nr,
48 sizeof(ofsval), cmp_uint32);
52 * The *sha1 contains the pack content SHA1 hash.
53 * The objects array passed in will be sorted by SHA1 on exit.
55 const char *write_idx_file(const char *index_name, struct pack_idx_entry **objects,
56 int nr_objects, const struct pack_idx_option *opts,
57 const unsigned char *sha1)
59 struct hashfile *f;
60 struct pack_idx_entry **sorted_by_sha, **list, **last;
61 off_t last_obj_offset = 0;
62 int i, fd;
63 uint32_t index_version;
65 if (nr_objects) {
66 sorted_by_sha = objects;
67 list = sorted_by_sha;
68 last = sorted_by_sha + nr_objects;
69 for (i = 0; i < nr_objects; ++i) {
70 if (objects[i]->offset > last_obj_offset)
71 last_obj_offset = objects[i]->offset;
73 QSORT(sorted_by_sha, nr_objects, sha1_compare);
75 else
76 sorted_by_sha = list = last = NULL;
78 if (opts->flags & WRITE_IDX_VERIFY) {
79 assert(index_name);
80 f = hashfd_check(index_name);
81 } else {
82 if (!index_name) {
83 struct strbuf tmp_file = STRBUF_INIT;
84 fd = odb_mkstemp(&tmp_file, "pack/tmp_idx_XXXXXX");
85 index_name = strbuf_detach(&tmp_file, NULL);
86 } else {
87 unlink(index_name);
88 fd = xopen(index_name, O_CREAT|O_EXCL|O_WRONLY, 0600);
90 f = hashfd(fd, index_name);
93 /* if last object's offset is >= 2^31 we should use index V2 */
94 index_version = need_large_offset(last_obj_offset, opts) ? 2 : opts->version;
96 /* index versions 2 and above need a header */
97 if (index_version >= 2) {
98 struct pack_idx_header hdr;
99 hdr.idx_signature = htonl(PACK_IDX_SIGNATURE);
100 hdr.idx_version = htonl(index_version);
101 hashwrite(f, &hdr, sizeof(hdr));
105 * Write the first-level table (the list is sorted,
106 * but we use a 256-entry lookup to be able to avoid
107 * having to do eight extra binary search iterations).
109 for (i = 0; i < 256; i++) {
110 struct pack_idx_entry **next = list;
111 while (next < last) {
112 struct pack_idx_entry *obj = *next;
113 if (obj->oid.hash[0] != i)
114 break;
115 next++;
117 hashwrite_be32(f, next - sorted_by_sha);
118 list = next;
122 * Write the actual SHA1 entries..
124 list = sorted_by_sha;
125 for (i = 0; i < nr_objects; i++) {
126 struct pack_idx_entry *obj = *list++;
127 if (index_version < 2)
128 hashwrite_be32(f, obj->offset);
129 hashwrite(f, obj->oid.hash, the_hash_algo->rawsz);
130 if ((opts->flags & WRITE_IDX_STRICT) &&
131 (i && oideq(&list[-2]->oid, &obj->oid)))
132 die("The same object %s appears twice in the pack",
133 oid_to_hex(&obj->oid));
136 if (index_version >= 2) {
137 unsigned int nr_large_offset = 0;
139 /* write the crc32 table */
140 list = sorted_by_sha;
141 for (i = 0; i < nr_objects; i++) {
142 struct pack_idx_entry *obj = *list++;
143 hashwrite_be32(f, obj->crc32);
146 /* write the 32-bit offset table */
147 list = sorted_by_sha;
148 for (i = 0; i < nr_objects; i++) {
149 struct pack_idx_entry *obj = *list++;
150 uint32_t offset;
152 offset = (need_large_offset(obj->offset, opts)
153 ? (0x80000000 | nr_large_offset++)
154 : obj->offset);
155 hashwrite_be32(f, offset);
158 /* write the large offset table */
159 list = sorted_by_sha;
160 while (nr_large_offset) {
161 struct pack_idx_entry *obj = *list++;
162 uint64_t offset = obj->offset;
164 if (!need_large_offset(offset, opts))
165 continue;
166 hashwrite_be64(f, offset);
167 nr_large_offset--;
171 hashwrite(f, sha1, the_hash_algo->rawsz);
172 finalize_hashfile(f, NULL, FSYNC_COMPONENT_PACK_METADATA,
173 CSUM_HASH_IN_STREAM | CSUM_CLOSE |
174 ((opts->flags & WRITE_IDX_VERIFY) ? 0 : CSUM_FSYNC));
175 return index_name;
178 static int pack_order_cmp(const void *va, const void *vb, void *ctx)
180 struct pack_idx_entry **objects = ctx;
182 off_t oa = objects[*(uint32_t*)va]->offset;
183 off_t ob = objects[*(uint32_t*)vb]->offset;
185 if (oa < ob)
186 return -1;
187 if (oa > ob)
188 return 1;
189 return 0;
192 static void write_rev_header(struct hashfile *f)
194 hashwrite_be32(f, RIDX_SIGNATURE);
195 hashwrite_be32(f, RIDX_VERSION);
196 hashwrite_be32(f, oid_version(the_hash_algo));
199 static void write_rev_index_positions(struct hashfile *f,
200 uint32_t *pack_order,
201 uint32_t nr_objects)
203 uint32_t i;
204 for (i = 0; i < nr_objects; i++)
205 hashwrite_be32(f, pack_order[i]);
208 static void write_rev_trailer(struct hashfile *f, const unsigned char *hash)
210 hashwrite(f, hash, the_hash_algo->rawsz);
213 const char *write_rev_file(const char *rev_name,
214 struct pack_idx_entry **objects,
215 uint32_t nr_objects,
216 const unsigned char *hash,
217 unsigned flags)
219 uint32_t *pack_order;
220 uint32_t i;
221 const char *ret;
223 if (!(flags & WRITE_REV) && !(flags & WRITE_REV_VERIFY))
224 return NULL;
226 ALLOC_ARRAY(pack_order, nr_objects);
227 for (i = 0; i < nr_objects; i++)
228 pack_order[i] = i;
229 QSORT_S(pack_order, nr_objects, pack_order_cmp, objects);
231 ret = write_rev_file_order(rev_name, pack_order, nr_objects, hash,
232 flags);
234 free(pack_order);
236 return ret;
239 const char *write_rev_file_order(const char *rev_name,
240 uint32_t *pack_order,
241 uint32_t nr_objects,
242 const unsigned char *hash,
243 unsigned flags)
245 struct hashfile *f;
246 int fd;
248 if ((flags & WRITE_REV) && (flags & WRITE_REV_VERIFY))
249 die(_("cannot both write and verify reverse index"));
251 if (flags & WRITE_REV) {
252 if (!rev_name) {
253 struct strbuf tmp_file = STRBUF_INIT;
254 fd = odb_mkstemp(&tmp_file, "pack/tmp_rev_XXXXXX");
255 rev_name = strbuf_detach(&tmp_file, NULL);
256 } else {
257 unlink(rev_name);
258 fd = xopen(rev_name, O_CREAT|O_EXCL|O_WRONLY, 0600);
260 f = hashfd(fd, rev_name);
261 } else if (flags & WRITE_REV_VERIFY) {
262 struct stat statbuf;
263 if (stat(rev_name, &statbuf)) {
264 if (errno == ENOENT) {
265 /* .rev files are optional */
266 return NULL;
267 } else
268 die_errno(_("could not stat: %s"), rev_name);
270 f = hashfd_check(rev_name);
271 } else
272 return NULL;
274 write_rev_header(f);
276 write_rev_index_positions(f, pack_order, nr_objects);
277 write_rev_trailer(f, hash);
279 if (rev_name && adjust_shared_perm(rev_name) < 0)
280 die(_("failed to make %s readable"), rev_name);
282 finalize_hashfile(f, NULL, FSYNC_COMPONENT_PACK_METADATA,
283 CSUM_HASH_IN_STREAM | CSUM_CLOSE |
284 ((flags & WRITE_IDX_VERIFY) ? 0 : CSUM_FSYNC));
286 return rev_name;
289 static void write_mtimes_header(struct hashfile *f)
291 hashwrite_be32(f, MTIMES_SIGNATURE);
292 hashwrite_be32(f, MTIMES_VERSION);
293 hashwrite_be32(f, oid_version(the_hash_algo));
297 * Writes the object mtimes of "objects" for use in a .mtimes file.
298 * Note that objects must be in lexicographic (index) order, which is
299 * the expected ordering of these values in the .mtimes file.
301 static void write_mtimes_objects(struct hashfile *f,
302 struct packing_data *to_pack,
303 struct pack_idx_entry **objects,
304 uint32_t nr_objects)
306 uint32_t i;
307 for (i = 0; i < nr_objects; i++) {
308 struct object_entry *e = (struct object_entry*)objects[i];
309 hashwrite_be32(f, oe_cruft_mtime(to_pack, e));
313 static void write_mtimes_trailer(struct hashfile *f, const unsigned char *hash)
315 hashwrite(f, hash, the_hash_algo->rawsz);
318 static char *write_mtimes_file(struct packing_data *to_pack,
319 struct pack_idx_entry **objects,
320 uint32_t nr_objects,
321 const unsigned char *hash)
323 struct strbuf tmp_file = STRBUF_INIT;
324 char *mtimes_name;
325 struct hashfile *f;
326 int fd;
328 if (!to_pack)
329 BUG("cannot call write_mtimes_file with NULL packing_data");
331 fd = odb_mkstemp(&tmp_file, "pack/tmp_mtimes_XXXXXX");
332 mtimes_name = strbuf_detach(&tmp_file, NULL);
333 f = hashfd(fd, mtimes_name);
335 write_mtimes_header(f);
336 write_mtimes_objects(f, to_pack, objects, nr_objects);
337 write_mtimes_trailer(f, hash);
339 if (adjust_shared_perm(mtimes_name) < 0)
340 die(_("failed to make %s readable"), mtimes_name);
342 finalize_hashfile(f, NULL, FSYNC_COMPONENT_PACK_METADATA,
343 CSUM_HASH_IN_STREAM | CSUM_CLOSE | CSUM_FSYNC);
345 return mtimes_name;
348 off_t write_pack_header(struct hashfile *f, uint32_t nr_entries)
350 struct pack_header hdr;
352 hdr.hdr_signature = htonl(PACK_SIGNATURE);
353 hdr.hdr_version = htonl(PACK_VERSION);
354 hdr.hdr_entries = htonl(nr_entries);
355 hashwrite(f, &hdr, sizeof(hdr));
356 return sizeof(hdr);
360 * Update pack header with object_count and compute new SHA1 for pack data
361 * associated to pack_fd, and write that SHA1 at the end. That new SHA1
362 * is also returned in new_pack_sha1.
364 * If partial_pack_sha1 is non null, then the SHA1 of the existing pack
365 * (without the header update) is computed and validated against the
366 * one provided in partial_pack_sha1. The validation is performed at
367 * partial_pack_offset bytes in the pack file. The SHA1 of the remaining
368 * data (i.e. from partial_pack_offset to the end) is then computed and
369 * returned in partial_pack_sha1.
371 * Note that new_pack_sha1 is updated last, so both new_pack_sha1 and
372 * partial_pack_sha1 can refer to the same buffer if the caller is not
373 * interested in the resulting SHA1 of pack data above partial_pack_offset.
375 void fixup_pack_header_footer(int pack_fd,
376 unsigned char *new_pack_hash,
377 const char *pack_name,
378 uint32_t object_count,
379 unsigned char *partial_pack_hash,
380 off_t partial_pack_offset)
382 int aligned_sz, buf_sz = 8 * 1024;
383 git_hash_ctx old_hash_ctx, new_hash_ctx;
384 struct pack_header hdr;
385 char *buf;
386 ssize_t read_result;
388 the_hash_algo->init_fn(&old_hash_ctx);
389 the_hash_algo->init_fn(&new_hash_ctx);
391 if (lseek(pack_fd, 0, SEEK_SET) != 0)
392 die_errno("Failed seeking to start of '%s'", pack_name);
393 read_result = read_in_full(pack_fd, &hdr, sizeof(hdr));
394 if (read_result < 0)
395 die_errno("Unable to reread header of '%s'", pack_name);
396 else if (read_result != sizeof(hdr))
397 die_errno("Unexpected short read for header of '%s'",
398 pack_name);
399 if (lseek(pack_fd, 0, SEEK_SET) != 0)
400 die_errno("Failed seeking to start of '%s'", pack_name);
401 the_hash_algo->update_fn(&old_hash_ctx, &hdr, sizeof(hdr));
402 hdr.hdr_entries = htonl(object_count);
403 the_hash_algo->update_fn(&new_hash_ctx, &hdr, sizeof(hdr));
404 write_or_die(pack_fd, &hdr, sizeof(hdr));
405 partial_pack_offset -= sizeof(hdr);
407 buf = xmalloc(buf_sz);
408 aligned_sz = buf_sz - sizeof(hdr);
409 for (;;) {
410 ssize_t m, n;
411 m = (partial_pack_hash && partial_pack_offset < aligned_sz) ?
412 partial_pack_offset : aligned_sz;
413 n = xread(pack_fd, buf, m);
414 if (!n)
415 break;
416 if (n < 0)
417 die_errno("Failed to checksum '%s'", pack_name);
418 the_hash_algo->update_fn(&new_hash_ctx, buf, n);
420 aligned_sz -= n;
421 if (!aligned_sz)
422 aligned_sz = buf_sz;
424 if (!partial_pack_hash)
425 continue;
427 the_hash_algo->update_fn(&old_hash_ctx, buf, n);
428 partial_pack_offset -= n;
429 if (partial_pack_offset == 0) {
430 unsigned char hash[GIT_MAX_RAWSZ];
431 the_hash_algo->final_fn(hash, &old_hash_ctx);
432 if (!hasheq(hash, partial_pack_hash))
433 die("Unexpected checksum for %s "
434 "(disk corruption?)", pack_name);
436 * Now let's compute the SHA1 of the remainder of the
437 * pack, which also means making partial_pack_offset
438 * big enough not to matter anymore.
440 the_hash_algo->init_fn(&old_hash_ctx);
441 partial_pack_offset = ~partial_pack_offset;
442 partial_pack_offset -= MSB(partial_pack_offset, 1);
445 free(buf);
447 if (partial_pack_hash)
448 the_hash_algo->final_fn(partial_pack_hash, &old_hash_ctx);
449 the_hash_algo->final_fn(new_pack_hash, &new_hash_ctx);
450 write_or_die(pack_fd, new_pack_hash, the_hash_algo->rawsz);
451 fsync_component_or_die(FSYNC_COMPONENT_PACK, pack_fd, pack_name);
454 char *index_pack_lockfile(int ip_out, int *is_well_formed)
456 char packname[GIT_MAX_HEXSZ + 6];
457 const int len = the_hash_algo->hexsz + 6;
460 * The first thing we expect from index-pack's output
461 * is "pack\t%40s\n" or "keep\t%40s\n" (46 bytes) where
462 * %40s is the newly created pack SHA1 name. In the "keep"
463 * case, we need it to remove the corresponding .keep file
464 * later on. If we don't get that then tough luck with it.
466 if (read_in_full(ip_out, packname, len) == len && packname[len-1] == '\n') {
467 const char *name;
469 if (is_well_formed)
470 *is_well_formed = 1;
471 packname[len-1] = 0;
472 if (skip_prefix(packname, "keep\t", &name))
473 return xstrfmt("%s/pack/pack-%s.keep",
474 get_object_directory(), name);
475 return NULL;
477 if (is_well_formed)
478 *is_well_formed = 0;
479 return NULL;
483 * The per-object header is a pretty dense thing, which is
484 * - first byte: low four bits are "size", then three bits of "type",
485 * and the high bit is "size continues".
486 * - each byte afterwards: low seven bits are size continuation,
487 * with the high bit being "size continues"
489 int encode_in_pack_object_header(unsigned char *hdr, int hdr_len,
490 enum object_type type, uintmax_t size)
492 int n = 1;
493 unsigned char c;
495 if (type < OBJ_COMMIT || type > OBJ_REF_DELTA)
496 die("bad type %d", type);
498 c = (type << 4) | (size & 15);
499 size >>= 4;
500 while (size) {
501 if (n == hdr_len)
502 die("object size is too enormous to format");
503 *hdr++ = c | 0x80;
504 c = size & 0x7f;
505 size >>= 7;
506 n++;
508 *hdr = c;
509 return n;
512 struct hashfile *create_tmp_packfile(char **pack_tmp_name)
514 struct strbuf tmpname = STRBUF_INIT;
515 int fd;
517 fd = odb_mkstemp(&tmpname, "pack/tmp_pack_XXXXXX");
518 *pack_tmp_name = strbuf_detach(&tmpname, NULL);
519 return hashfd(fd, *pack_tmp_name);
522 static void rename_tmp_packfile(struct strbuf *name_prefix, const char *source,
523 const char *ext)
525 size_t name_prefix_len = name_prefix->len;
527 strbuf_addstr(name_prefix, ext);
528 if (rename(source, name_prefix->buf))
529 die_errno("unable to rename temporary file to '%s'",
530 name_prefix->buf);
531 strbuf_setlen(name_prefix, name_prefix_len);
534 void rename_tmp_packfile_idx(struct strbuf *name_buffer,
535 char **idx_tmp_name)
537 rename_tmp_packfile(name_buffer, *idx_tmp_name, "idx");
540 void stage_tmp_packfiles(struct strbuf *name_buffer,
541 const char *pack_tmp_name,
542 struct pack_idx_entry **written_list,
543 uint32_t nr_written,
544 struct packing_data *to_pack,
545 struct pack_idx_option *pack_idx_opts,
546 unsigned char hash[],
547 char **idx_tmp_name)
549 const char *rev_tmp_name = NULL;
550 char *mtimes_tmp_name = NULL;
552 if (adjust_shared_perm(pack_tmp_name))
553 die_errno("unable to make temporary pack file readable");
555 *idx_tmp_name = (char *)write_idx_file(NULL, written_list, nr_written,
556 pack_idx_opts, hash);
557 if (adjust_shared_perm(*idx_tmp_name))
558 die_errno("unable to make temporary index file readable");
560 rev_tmp_name = write_rev_file(NULL, written_list, nr_written, hash,
561 pack_idx_opts->flags);
563 if (pack_idx_opts->flags & WRITE_MTIMES) {
564 mtimes_tmp_name = write_mtimes_file(to_pack, written_list,
565 nr_written,
566 hash);
569 rename_tmp_packfile(name_buffer, pack_tmp_name, "pack");
570 if (rev_tmp_name)
571 rename_tmp_packfile(name_buffer, rev_tmp_name, "rev");
572 if (mtimes_tmp_name)
573 rename_tmp_packfile(name_buffer, mtimes_tmp_name, "mtimes");
575 free((char *)rev_tmp_name);
576 free(mtimes_tmp_name);
579 void write_promisor_file(const char *promisor_name, struct ref **sought, int nr_sought)
581 int i, err;
582 FILE *output = xfopen(promisor_name, "w");
584 for (i = 0; i < nr_sought; i++)
585 fprintf(output, "%s %s\n", oid_to_hex(&sought[i]->old_oid),
586 sought[i]->name);
588 err = ferror(output);
589 err |= fclose(output);
590 if (err)
591 die(_("could not write '%s' promisor file"), promisor_name);