]> git.ipfire.org Git - thirdparty/git.git/blob - pack-write.c
Merge branch 'jc/clarify-revision-range'
[thirdparty/git.git] / pack-write.c
1 #include "cache.h"
2 #include "pack.h"
3 #include "csum-file.h"
4 #include "remote.h"
5
6 void reset_pack_idx_option(struct pack_idx_option *opts)
7 {
8 memset(opts, 0, sizeof(*opts));
9 opts->version = 2;
10 opts->off32_limit = 0x7fffffff;
11 }
12
13 static int sha1_compare(const void *_a, const void *_b)
14 {
15 struct pack_idx_entry *a = *(struct pack_idx_entry **)_a;
16 struct pack_idx_entry *b = *(struct pack_idx_entry **)_b;
17 return oidcmp(&a->oid, &b->oid);
18 }
19
20 static int cmp_uint32(const void *a_, const void *b_)
21 {
22 uint32_t a = *((uint32_t *)a_);
23 uint32_t b = *((uint32_t *)b_);
24
25 return (a < b) ? -1 : (a != b);
26 }
27
28 static int need_large_offset(off_t offset, const struct pack_idx_option *opts)
29 {
30 uint32_t ofsval;
31
32 if ((offset >> 31) || (opts->off32_limit < offset))
33 return 1;
34 if (!opts->anomaly_nr)
35 return 0;
36 ofsval = offset;
37 return !!bsearch(&ofsval, opts->anomaly, opts->anomaly_nr,
38 sizeof(ofsval), cmp_uint32);
39 }
40
41 /*
42 * The *sha1 contains the pack content SHA1 hash.
43 * The objects array passed in will be sorted by SHA1 on exit.
44 */
45 const char *write_idx_file(const char *index_name, struct pack_idx_entry **objects,
46 int nr_objects, const struct pack_idx_option *opts,
47 const unsigned char *sha1)
48 {
49 struct hashfile *f;
50 struct pack_idx_entry **sorted_by_sha, **list, **last;
51 off_t last_obj_offset = 0;
52 int i, fd;
53 uint32_t index_version;
54
55 if (nr_objects) {
56 sorted_by_sha = objects;
57 list = sorted_by_sha;
58 last = sorted_by_sha + nr_objects;
59 for (i = 0; i < nr_objects; ++i) {
60 if (objects[i]->offset > last_obj_offset)
61 last_obj_offset = objects[i]->offset;
62 }
63 QSORT(sorted_by_sha, nr_objects, sha1_compare);
64 }
65 else
66 sorted_by_sha = list = last = NULL;
67
68 if (opts->flags & WRITE_IDX_VERIFY) {
69 assert(index_name);
70 f = hashfd_check(index_name);
71 } else {
72 if (!index_name) {
73 struct strbuf tmp_file = STRBUF_INIT;
74 fd = odb_mkstemp(&tmp_file, "pack/tmp_idx_XXXXXX");
75 index_name = strbuf_detach(&tmp_file, NULL);
76 } else {
77 unlink(index_name);
78 fd = open(index_name, O_CREAT|O_EXCL|O_WRONLY, 0600);
79 if (fd < 0)
80 die_errno("unable to create '%s'", index_name);
81 }
82 f = hashfd(fd, index_name);
83 }
84
85 /* if last object's offset is >= 2^31 we should use index V2 */
86 index_version = need_large_offset(last_obj_offset, opts) ? 2 : opts->version;
87
88 /* index versions 2 and above need a header */
89 if (index_version >= 2) {
90 struct pack_idx_header hdr;
91 hdr.idx_signature = htonl(PACK_IDX_SIGNATURE);
92 hdr.idx_version = htonl(index_version);
93 hashwrite(f, &hdr, sizeof(hdr));
94 }
95
96 /*
97 * Write the first-level table (the list is sorted,
98 * but we use a 256-entry lookup to be able to avoid
99 * having to do eight extra binary search iterations).
100 */
101 for (i = 0; i < 256; i++) {
102 struct pack_idx_entry **next = list;
103 while (next < last) {
104 struct pack_idx_entry *obj = *next;
105 if (obj->oid.hash[0] != i)
106 break;
107 next++;
108 }
109 hashwrite_be32(f, next - sorted_by_sha);
110 list = next;
111 }
112
113 /*
114 * Write the actual SHA1 entries..
115 */
116 list = sorted_by_sha;
117 for (i = 0; i < nr_objects; i++) {
118 struct pack_idx_entry *obj = *list++;
119 if (index_version < 2)
120 hashwrite_be32(f, obj->offset);
121 hashwrite(f, obj->oid.hash, the_hash_algo->rawsz);
122 if ((opts->flags & WRITE_IDX_STRICT) &&
123 (i && oideq(&list[-2]->oid, &obj->oid)))
124 die("The same object %s appears twice in the pack",
125 oid_to_hex(&obj->oid));
126 }
127
128 if (index_version >= 2) {
129 unsigned int nr_large_offset = 0;
130
131 /* write the crc32 table */
132 list = sorted_by_sha;
133 for (i = 0; i < nr_objects; i++) {
134 struct pack_idx_entry *obj = *list++;
135 hashwrite_be32(f, obj->crc32);
136 }
137
138 /* write the 32-bit offset table */
139 list = sorted_by_sha;
140 for (i = 0; i < nr_objects; i++) {
141 struct pack_idx_entry *obj = *list++;
142 uint32_t offset;
143
144 offset = (need_large_offset(obj->offset, opts)
145 ? (0x80000000 | nr_large_offset++)
146 : obj->offset);
147 hashwrite_be32(f, offset);
148 }
149
150 /* write the large offset table */
151 list = sorted_by_sha;
152 while (nr_large_offset) {
153 struct pack_idx_entry *obj = *list++;
154 uint64_t offset = obj->offset;
155
156 if (!need_large_offset(offset, opts))
157 continue;
158 hashwrite_be64(f, offset);
159 nr_large_offset--;
160 }
161 }
162
163 hashwrite(f, sha1, the_hash_algo->rawsz);
164 finalize_hashfile(f, NULL, CSUM_HASH_IN_STREAM | CSUM_CLOSE |
165 ((opts->flags & WRITE_IDX_VERIFY)
166 ? 0 : CSUM_FSYNC));
167 return index_name;
168 }
169
170 static int pack_order_cmp(const void *va, const void *vb, void *ctx)
171 {
172 struct pack_idx_entry **objects = ctx;
173
174 off_t oa = objects[*(uint32_t*)va]->offset;
175 off_t ob = objects[*(uint32_t*)vb]->offset;
176
177 if (oa < ob)
178 return -1;
179 if (oa > ob)
180 return 1;
181 return 0;
182 }
183
184 static void write_rev_header(struct hashfile *f)
185 {
186 uint32_t oid_version;
187 switch (hash_algo_by_ptr(the_hash_algo)) {
188 case GIT_HASH_SHA1:
189 oid_version = 1;
190 break;
191 case GIT_HASH_SHA256:
192 oid_version = 2;
193 break;
194 default:
195 die("write_rev_header: unknown hash version");
196 }
197
198 hashwrite_be32(f, RIDX_SIGNATURE);
199 hashwrite_be32(f, RIDX_VERSION);
200 hashwrite_be32(f, oid_version);
201 }
202
203 static void write_rev_index_positions(struct hashfile *f,
204 uint32_t *pack_order,
205 uint32_t nr_objects)
206 {
207 uint32_t i;
208 for (i = 0; i < nr_objects; i++)
209 hashwrite_be32(f, pack_order[i]);
210 }
211
212 static void write_rev_trailer(struct hashfile *f, const unsigned char *hash)
213 {
214 hashwrite(f, hash, the_hash_algo->rawsz);
215 }
216
217 const char *write_rev_file(const char *rev_name,
218 struct pack_idx_entry **objects,
219 uint32_t nr_objects,
220 const unsigned char *hash,
221 unsigned flags)
222 {
223 uint32_t *pack_order;
224 uint32_t i;
225 const char *ret;
226
227 ALLOC_ARRAY(pack_order, nr_objects);
228 for (i = 0; i < nr_objects; i++)
229 pack_order[i] = i;
230 QSORT_S(pack_order, nr_objects, pack_order_cmp, objects);
231
232 ret = write_rev_file_order(rev_name, pack_order, nr_objects, hash,
233 flags);
234
235 free(pack_order);
236
237 return ret;
238 }
239
240 const char *write_rev_file_order(const char *rev_name,
241 uint32_t *pack_order,
242 uint32_t nr_objects,
243 const unsigned char *hash,
244 unsigned flags)
245 {
246 struct hashfile *f;
247 int fd;
248
249 if ((flags & WRITE_REV) && (flags & WRITE_REV_VERIFY))
250 die(_("cannot both write and verify reverse index"));
251
252 if (flags & WRITE_REV) {
253 if (!rev_name) {
254 struct strbuf tmp_file = STRBUF_INIT;
255 fd = odb_mkstemp(&tmp_file, "pack/tmp_rev_XXXXXX");
256 rev_name = strbuf_detach(&tmp_file, NULL);
257 } else {
258 unlink(rev_name);
259 fd = open(rev_name, O_CREAT|O_EXCL|O_WRONLY, 0600);
260 if (fd < 0)
261 die_errno("unable to create '%s'", rev_name);
262 }
263 f = hashfd(fd, rev_name);
264 } else if (flags & WRITE_REV_VERIFY) {
265 struct stat statbuf;
266 if (stat(rev_name, &statbuf)) {
267 if (errno == ENOENT) {
268 /* .rev files are optional */
269 return NULL;
270 } else
271 die_errno(_("could not stat: %s"), rev_name);
272 }
273 f = hashfd_check(rev_name);
274 } else
275 return NULL;
276
277 write_rev_header(f);
278
279 write_rev_index_positions(f, pack_order, nr_objects);
280 write_rev_trailer(f, hash);
281
282 if (rev_name && adjust_shared_perm(rev_name) < 0)
283 die(_("failed to make %s readable"), rev_name);
284
285 finalize_hashfile(f, NULL, CSUM_HASH_IN_STREAM | CSUM_CLOSE |
286 ((flags & WRITE_IDX_VERIFY) ? 0 : CSUM_FSYNC));
287
288 return rev_name;
289 }
290
291 off_t write_pack_header(struct hashfile *f, uint32_t nr_entries)
292 {
293 struct pack_header hdr;
294
295 hdr.hdr_signature = htonl(PACK_SIGNATURE);
296 hdr.hdr_version = htonl(PACK_VERSION);
297 hdr.hdr_entries = htonl(nr_entries);
298 hashwrite(f, &hdr, sizeof(hdr));
299 return sizeof(hdr);
300 }
301
302 /*
303 * Update pack header with object_count and compute new SHA1 for pack data
304 * associated to pack_fd, and write that SHA1 at the end. That new SHA1
305 * is also returned in new_pack_sha1.
306 *
307 * If partial_pack_sha1 is non null, then the SHA1 of the existing pack
308 * (without the header update) is computed and validated against the
309 * one provided in partial_pack_sha1. The validation is performed at
310 * partial_pack_offset bytes in the pack file. The SHA1 of the remaining
311 * data (i.e. from partial_pack_offset to the end) is then computed and
312 * returned in partial_pack_sha1.
313 *
314 * Note that new_pack_sha1 is updated last, so both new_pack_sha1 and
315 * partial_pack_sha1 can refer to the same buffer if the caller is not
316 * interested in the resulting SHA1 of pack data above partial_pack_offset.
317 */
318 void fixup_pack_header_footer(int pack_fd,
319 unsigned char *new_pack_hash,
320 const char *pack_name,
321 uint32_t object_count,
322 unsigned char *partial_pack_hash,
323 off_t partial_pack_offset)
324 {
325 int aligned_sz, buf_sz = 8 * 1024;
326 git_hash_ctx old_hash_ctx, new_hash_ctx;
327 struct pack_header hdr;
328 char *buf;
329 ssize_t read_result;
330
331 the_hash_algo->init_fn(&old_hash_ctx);
332 the_hash_algo->init_fn(&new_hash_ctx);
333
334 if (lseek(pack_fd, 0, SEEK_SET) != 0)
335 die_errno("Failed seeking to start of '%s'", pack_name);
336 read_result = read_in_full(pack_fd, &hdr, sizeof(hdr));
337 if (read_result < 0)
338 die_errno("Unable to reread header of '%s'", pack_name);
339 else if (read_result != sizeof(hdr))
340 die_errno("Unexpected short read for header of '%s'",
341 pack_name);
342 if (lseek(pack_fd, 0, SEEK_SET) != 0)
343 die_errno("Failed seeking to start of '%s'", pack_name);
344 the_hash_algo->update_fn(&old_hash_ctx, &hdr, sizeof(hdr));
345 hdr.hdr_entries = htonl(object_count);
346 the_hash_algo->update_fn(&new_hash_ctx, &hdr, sizeof(hdr));
347 write_or_die(pack_fd, &hdr, sizeof(hdr));
348 partial_pack_offset -= sizeof(hdr);
349
350 buf = xmalloc(buf_sz);
351 aligned_sz = buf_sz - sizeof(hdr);
352 for (;;) {
353 ssize_t m, n;
354 m = (partial_pack_hash && partial_pack_offset < aligned_sz) ?
355 partial_pack_offset : aligned_sz;
356 n = xread(pack_fd, buf, m);
357 if (!n)
358 break;
359 if (n < 0)
360 die_errno("Failed to checksum '%s'", pack_name);
361 the_hash_algo->update_fn(&new_hash_ctx, buf, n);
362
363 aligned_sz -= n;
364 if (!aligned_sz)
365 aligned_sz = buf_sz;
366
367 if (!partial_pack_hash)
368 continue;
369
370 the_hash_algo->update_fn(&old_hash_ctx, buf, n);
371 partial_pack_offset -= n;
372 if (partial_pack_offset == 0) {
373 unsigned char hash[GIT_MAX_RAWSZ];
374 the_hash_algo->final_fn(hash, &old_hash_ctx);
375 if (!hasheq(hash, partial_pack_hash))
376 die("Unexpected checksum for %s "
377 "(disk corruption?)", pack_name);
378 /*
379 * Now let's compute the SHA1 of the remainder of the
380 * pack, which also means making partial_pack_offset
381 * big enough not to matter anymore.
382 */
383 the_hash_algo->init_fn(&old_hash_ctx);
384 partial_pack_offset = ~partial_pack_offset;
385 partial_pack_offset -= MSB(partial_pack_offset, 1);
386 }
387 }
388 free(buf);
389
390 if (partial_pack_hash)
391 the_hash_algo->final_fn(partial_pack_hash, &old_hash_ctx);
392 the_hash_algo->final_fn(new_pack_hash, &new_hash_ctx);
393 write_or_die(pack_fd, new_pack_hash, the_hash_algo->rawsz);
394 fsync_or_die(pack_fd, pack_name);
395 }
396
397 char *index_pack_lockfile(int ip_out, int *is_well_formed)
398 {
399 char packname[GIT_MAX_HEXSZ + 6];
400 const int len = the_hash_algo->hexsz + 6;
401
402 /*
403 * The first thing we expect from index-pack's output
404 * is "pack\t%40s\n" or "keep\t%40s\n" (46 bytes) where
405 * %40s is the newly created pack SHA1 name. In the "keep"
406 * case, we need it to remove the corresponding .keep file
407 * later on. If we don't get that then tough luck with it.
408 */
409 if (read_in_full(ip_out, packname, len) == len && packname[len-1] == '\n') {
410 const char *name;
411
412 if (is_well_formed)
413 *is_well_formed = 1;
414 packname[len-1] = 0;
415 if (skip_prefix(packname, "keep\t", &name))
416 return xstrfmt("%s/pack/pack-%s.keep",
417 get_object_directory(), name);
418 return NULL;
419 }
420 if (is_well_formed)
421 *is_well_formed = 0;
422 return NULL;
423 }
424
425 /*
426 * The per-object header is a pretty dense thing, which is
427 * - first byte: low four bits are "size", then three bits of "type",
428 * and the high bit is "size continues".
429 * - each byte afterwards: low seven bits are size continuation,
430 * with the high bit being "size continues"
431 */
432 int encode_in_pack_object_header(unsigned char *hdr, int hdr_len,
433 enum object_type type, uintmax_t size)
434 {
435 int n = 1;
436 unsigned char c;
437
438 if (type < OBJ_COMMIT || type > OBJ_REF_DELTA)
439 die("bad type %d", type);
440
441 c = (type << 4) | (size & 15);
442 size >>= 4;
443 while (size) {
444 if (n == hdr_len)
445 die("object size is too enormous to format");
446 *hdr++ = c | 0x80;
447 c = size & 0x7f;
448 size >>= 7;
449 n++;
450 }
451 *hdr = c;
452 return n;
453 }
454
455 struct hashfile *create_tmp_packfile(char **pack_tmp_name)
456 {
457 struct strbuf tmpname = STRBUF_INIT;
458 int fd;
459
460 fd = odb_mkstemp(&tmpname, "pack/tmp_pack_XXXXXX");
461 *pack_tmp_name = strbuf_detach(&tmpname, NULL);
462 return hashfd(fd, *pack_tmp_name);
463 }
464
465 void finish_tmp_packfile(struct strbuf *name_buffer,
466 const char *pack_tmp_name,
467 struct pack_idx_entry **written_list,
468 uint32_t nr_written,
469 struct pack_idx_option *pack_idx_opts,
470 unsigned char hash[])
471 {
472 const char *idx_tmp_name, *rev_tmp_name = NULL;
473 int basename_len = name_buffer->len;
474
475 if (adjust_shared_perm(pack_tmp_name))
476 die_errno("unable to make temporary pack file readable");
477
478 idx_tmp_name = write_idx_file(NULL, written_list, nr_written,
479 pack_idx_opts, hash);
480 if (adjust_shared_perm(idx_tmp_name))
481 die_errno("unable to make temporary index file readable");
482
483 rev_tmp_name = write_rev_file(NULL, written_list, nr_written, hash,
484 pack_idx_opts->flags);
485
486 strbuf_addf(name_buffer, "%s.pack", hash_to_hex(hash));
487
488 if (rename(pack_tmp_name, name_buffer->buf))
489 die_errno("unable to rename temporary pack file");
490
491 strbuf_setlen(name_buffer, basename_len);
492
493 strbuf_addf(name_buffer, "%s.idx", hash_to_hex(hash));
494 if (rename(idx_tmp_name, name_buffer->buf))
495 die_errno("unable to rename temporary index file");
496
497 strbuf_setlen(name_buffer, basename_len);
498
499 if (rev_tmp_name) {
500 strbuf_addf(name_buffer, "%s.rev", hash_to_hex(hash));
501 if (rename(rev_tmp_name, name_buffer->buf))
502 die_errno("unable to rename temporary reverse-index file");
503 }
504
505 strbuf_setlen(name_buffer, basename_len);
506
507 free((void *)idx_tmp_name);
508 }
509
510 void write_promisor_file(const char *promisor_name, struct ref **sought, int nr_sought)
511 {
512 int i, err;
513 FILE *output = xfopen(promisor_name, "w");
514
515 for (i = 0; i < nr_sought; i++)
516 fprintf(output, "%s %s\n", oid_to_hex(&sought[i]->old_oid),
517 sought[i]->name);
518
519 err = ferror(output);
520 err |= fclose(output);
521 if (err)
522 die(_("could not write '%s' promisor file"), promisor_name);
523 }