documentation: add some commas where they are helpful
[git.git] / packfile.c
blob9cc0a2e37a83dd38c2fe1b26d34cfb5fea983bc7
1 #include "git-compat-util.h"
2 #include "environment.h"
3 #include "gettext.h"
4 #include "hex.h"
5 #include "list.h"
6 #include "pack.h"
7 #include "repository.h"
8 #include "dir.h"
9 #include "mergesort.h"
10 #include "packfile.h"
11 #include "delta.h"
12 #include "streaming.h"
13 #include "hash-lookup.h"
14 #include "commit.h"
15 #include "object.h"
16 #include "tag.h"
17 #include "trace.h"
18 #include "tree-walk.h"
19 #include "tree.h"
20 #include "object-file.h"
21 #include "object-store-ll.h"
22 #include "midx.h"
23 #include "commit-graph.h"
24 #include "pack-revindex.h"
25 #include "promisor-remote.h"
27 char *odb_pack_name(struct strbuf *buf,
28 const unsigned char *hash,
29 const char *ext)
31 strbuf_reset(buf);
32 strbuf_addf(buf, "%s/pack/pack-%s.%s", get_object_directory(),
33 hash_to_hex(hash), ext);
34 return buf->buf;
37 char *sha1_pack_name(const unsigned char *sha1)
39 static struct strbuf buf = STRBUF_INIT;
40 return odb_pack_name(&buf, sha1, "pack");
43 char *sha1_pack_index_name(const unsigned char *sha1)
45 static struct strbuf buf = STRBUF_INIT;
46 return odb_pack_name(&buf, sha1, "idx");
49 static unsigned int pack_used_ctr;
50 static unsigned int pack_mmap_calls;
51 static unsigned int peak_pack_open_windows;
52 static unsigned int pack_open_windows;
53 static unsigned int pack_open_fds;
54 static unsigned int pack_max_fds;
55 static size_t peak_pack_mapped;
56 static size_t pack_mapped;
58 #define SZ_FMT PRIuMAX
59 static inline uintmax_t sz_fmt(size_t s) { return s; }
61 void pack_report(void)
63 fprintf(stderr,
64 "pack_report: getpagesize() = %10" SZ_FMT "\n"
65 "pack_report: core.packedGitWindowSize = %10" SZ_FMT "\n"
66 "pack_report: core.packedGitLimit = %10" SZ_FMT "\n",
67 sz_fmt(getpagesize()),
68 sz_fmt(packed_git_window_size),
69 sz_fmt(packed_git_limit));
70 fprintf(stderr,
71 "pack_report: pack_used_ctr = %10u\n"
72 "pack_report: pack_mmap_calls = %10u\n"
73 "pack_report: pack_open_windows = %10u / %10u\n"
74 "pack_report: pack_mapped = "
75 "%10" SZ_FMT " / %10" SZ_FMT "\n",
76 pack_used_ctr,
77 pack_mmap_calls,
78 pack_open_windows, peak_pack_open_windows,
79 sz_fmt(pack_mapped), sz_fmt(peak_pack_mapped));
83 * Open and mmap the index file at path, perform a couple of
84 * consistency checks, then record its information to p. Return 0 on
85 * success.
87 static int check_packed_git_idx(const char *path, struct packed_git *p)
89 void *idx_map;
90 size_t idx_size;
91 int fd = git_open(path), ret;
92 struct stat st;
93 const unsigned int hashsz = the_hash_algo->rawsz;
95 if (fd < 0)
96 return -1;
97 if (fstat(fd, &st)) {
98 close(fd);
99 return -1;
101 idx_size = xsize_t(st.st_size);
102 if (idx_size < 4 * 256 + hashsz + hashsz) {
103 close(fd);
104 return error("index file %s is too small", path);
106 idx_map = xmmap(NULL, idx_size, PROT_READ, MAP_PRIVATE, fd, 0);
107 close(fd);
109 ret = load_idx(path, hashsz, idx_map, idx_size, p);
111 if (ret)
112 munmap(idx_map, idx_size);
114 return ret;
117 int load_idx(const char *path, const unsigned int hashsz, void *idx_map,
118 size_t idx_size, struct packed_git *p)
120 struct pack_idx_header *hdr = idx_map;
121 uint32_t version, nr, i, *index;
123 if (idx_size < 4 * 256 + hashsz + hashsz)
124 return error("index file %s is too small", path);
125 if (!idx_map)
126 return error("empty data");
128 if (hdr->idx_signature == htonl(PACK_IDX_SIGNATURE)) {
129 version = ntohl(hdr->idx_version);
130 if (version < 2 || version > 2)
131 return error("index file %s is version %"PRIu32
132 " and is not supported by this binary"
133 " (try upgrading GIT to a newer version)",
134 path, version);
135 } else
136 version = 1;
138 nr = 0;
139 index = idx_map;
140 if (version > 1)
141 index += 2; /* skip index header */
142 for (i = 0; i < 256; i++) {
143 uint32_t n = ntohl(index[i]);
144 if (n < nr)
145 return error("non-monotonic index %s", path);
146 nr = n;
149 if (version == 1) {
151 * Total size:
152 * - 256 index entries 4 bytes each
153 * - 24-byte entries * nr (object ID + 4-byte offset)
154 * - hash of the packfile
155 * - file checksum
157 if (idx_size != st_add(4 * 256 + hashsz + hashsz, st_mult(nr, hashsz + 4)))
158 return error("wrong index v1 file size in %s", path);
159 } else if (version == 2) {
161 * Minimum size:
162 * - 8 bytes of header
163 * - 256 index entries 4 bytes each
164 * - object ID entry * nr
165 * - 4-byte crc entry * nr
166 * - 4-byte offset entry * nr
167 * - hash of the packfile
168 * - file checksum
169 * And after the 4-byte offset table might be a
170 * variable sized table containing 8-byte entries
171 * for offsets larger than 2^31.
173 size_t min_size = st_add(8 + 4*256 + hashsz + hashsz, st_mult(nr, hashsz + 4 + 4));
174 size_t max_size = min_size;
175 if (nr)
176 max_size = st_add(max_size, st_mult(nr - 1, 8));
177 if (idx_size < min_size || idx_size > max_size)
178 return error("wrong index v2 file size in %s", path);
179 if (idx_size != min_size &&
181 * make sure we can deal with large pack offsets.
182 * 31-bit signed offset won't be enough, neither
183 * 32-bit unsigned one will be.
185 (sizeof(off_t) <= 4))
186 return error("pack too large for current definition of off_t in %s", path);
187 p->crc_offset = st_add(8 + 4 * 256, st_mult(nr, hashsz));
190 p->index_version = version;
191 p->index_data = idx_map;
192 p->index_size = idx_size;
193 p->num_objects = nr;
194 return 0;
197 int open_pack_index(struct packed_git *p)
199 char *idx_name;
200 size_t len;
201 int ret;
203 if (p->index_data)
204 return 0;
206 if (!strip_suffix(p->pack_name, ".pack", &len))
207 BUG("pack_name does not end in .pack");
208 idx_name = xstrfmt("%.*s.idx", (int)len, p->pack_name);
209 ret = check_packed_git_idx(idx_name, p);
210 free(idx_name);
211 return ret;
214 uint32_t get_pack_fanout(struct packed_git *p, uint32_t value)
216 const uint32_t *level1_ofs = p->index_data;
218 if (!level1_ofs) {
219 if (open_pack_index(p))
220 return 0;
221 level1_ofs = p->index_data;
224 if (p->index_version > 1) {
225 level1_ofs += 2;
228 return ntohl(level1_ofs[value]);
231 static struct packed_git *alloc_packed_git(int extra)
233 struct packed_git *p = xmalloc(st_add(sizeof(*p), extra));
234 memset(p, 0, sizeof(*p));
235 p->pack_fd = -1;
236 return p;
239 struct packed_git *parse_pack_index(unsigned char *sha1, const char *idx_path)
241 const char *path = sha1_pack_name(sha1);
242 size_t alloc = st_add(strlen(path), 1);
243 struct packed_git *p = alloc_packed_git(alloc);
245 memcpy(p->pack_name, path, alloc); /* includes NUL */
246 hashcpy(p->hash, sha1);
247 if (check_packed_git_idx(idx_path, p)) {
248 free(p);
249 return NULL;
252 return p;
255 static void scan_windows(struct packed_git *p,
256 struct packed_git **lru_p,
257 struct pack_window **lru_w,
258 struct pack_window **lru_l)
260 struct pack_window *w, *w_l;
262 for (w_l = NULL, w = p->windows; w; w = w->next) {
263 if (!w->inuse_cnt) {
264 if (!*lru_w || w->last_used < (*lru_w)->last_used) {
265 *lru_p = p;
266 *lru_w = w;
267 *lru_l = w_l;
270 w_l = w;
274 static int unuse_one_window(struct packed_git *current)
276 struct packed_git *p, *lru_p = NULL;
277 struct pack_window *lru_w = NULL, *lru_l = NULL;
279 if (current)
280 scan_windows(current, &lru_p, &lru_w, &lru_l);
281 for (p = the_repository->objects->packed_git; p; p = p->next)
282 scan_windows(p, &lru_p, &lru_w, &lru_l);
283 if (lru_p) {
284 munmap(lru_w->base, lru_w->len);
285 pack_mapped -= lru_w->len;
286 if (lru_l)
287 lru_l->next = lru_w->next;
288 else
289 lru_p->windows = lru_w->next;
290 free(lru_w);
291 pack_open_windows--;
292 return 1;
294 return 0;
297 void close_pack_windows(struct packed_git *p)
299 while (p->windows) {
300 struct pack_window *w = p->windows;
302 if (w->inuse_cnt)
303 die("pack '%s' still has open windows to it",
304 p->pack_name);
305 munmap(w->base, w->len);
306 pack_mapped -= w->len;
307 pack_open_windows--;
308 p->windows = w->next;
309 free(w);
313 int close_pack_fd(struct packed_git *p)
315 if (p->pack_fd < 0)
316 return 0;
318 close(p->pack_fd);
319 pack_open_fds--;
320 p->pack_fd = -1;
322 return 1;
325 void close_pack_index(struct packed_git *p)
327 if (p->index_data) {
328 munmap((void *)p->index_data, p->index_size);
329 p->index_data = NULL;
333 static void close_pack_revindex(struct packed_git *p)
335 if (!p->revindex_map)
336 return;
338 munmap((void *)p->revindex_map, p->revindex_size);
339 p->revindex_map = NULL;
340 p->revindex_data = NULL;
343 static void close_pack_mtimes(struct packed_git *p)
345 if (!p->mtimes_map)
346 return;
348 munmap((void *)p->mtimes_map, p->mtimes_size);
349 p->mtimes_map = NULL;
352 void close_pack(struct packed_git *p)
354 close_pack_windows(p);
355 close_pack_fd(p);
356 close_pack_index(p);
357 close_pack_revindex(p);
358 close_pack_mtimes(p);
359 oidset_clear(&p->bad_objects);
362 void close_object_store(struct raw_object_store *o)
364 struct packed_git *p;
366 for (p = o->packed_git; p; p = p->next)
367 if (p->do_not_close)
368 BUG("want to close pack marked 'do-not-close'");
369 else
370 close_pack(p);
372 if (o->multi_pack_index) {
373 close_midx(o->multi_pack_index);
374 o->multi_pack_index = NULL;
377 close_commit_graph(o);
380 void unlink_pack_path(const char *pack_name, int force_delete)
382 static const char *exts[] = {".idx", ".pack", ".rev", ".keep", ".bitmap", ".promisor", ".mtimes"};
383 int i;
384 struct strbuf buf = STRBUF_INIT;
385 size_t plen;
387 strbuf_addstr(&buf, pack_name);
388 strip_suffix_mem(buf.buf, &buf.len, ".pack");
389 plen = buf.len;
391 if (!force_delete) {
392 strbuf_addstr(&buf, ".keep");
393 if (!access(buf.buf, F_OK)) {
394 strbuf_release(&buf);
395 return;
399 for (i = 0; i < ARRAY_SIZE(exts); i++) {
400 strbuf_setlen(&buf, plen);
401 strbuf_addstr(&buf, exts[i]);
402 unlink(buf.buf);
405 strbuf_release(&buf);
409 * The LRU pack is the one with the oldest MRU window, preferring packs
410 * with no used windows, or the oldest mtime if it has no windows allocated.
412 static void find_lru_pack(struct packed_git *p, struct packed_git **lru_p, struct pack_window **mru_w, int *accept_windows_inuse)
414 struct pack_window *w, *this_mru_w;
415 int has_windows_inuse = 0;
418 * Reject this pack if it has windows and the previously selected
419 * one does not. If this pack does not have windows, reject
420 * it if the pack file is newer than the previously selected one.
422 if (*lru_p && !*mru_w && (p->windows || p->mtime > (*lru_p)->mtime))
423 return;
425 for (w = this_mru_w = p->windows; w; w = w->next) {
427 * Reject this pack if any of its windows are in use,
428 * but the previously selected pack did not have any
429 * inuse windows. Otherwise, record that this pack
430 * has windows in use.
432 if (w->inuse_cnt) {
433 if (*accept_windows_inuse)
434 has_windows_inuse = 1;
435 else
436 return;
439 if (w->last_used > this_mru_w->last_used)
440 this_mru_w = w;
443 * Reject this pack if it has windows that have been
444 * used more recently than the previously selected pack.
445 * If the previously selected pack had windows inuse and
446 * we have not encountered a window in this pack that is
447 * inuse, skip this check since we prefer a pack with no
448 * inuse windows to one that has inuse windows.
450 if (*mru_w && *accept_windows_inuse == has_windows_inuse &&
451 this_mru_w->last_used > (*mru_w)->last_used)
452 return;
456 * Select this pack.
458 *mru_w = this_mru_w;
459 *lru_p = p;
460 *accept_windows_inuse = has_windows_inuse;
463 static int close_one_pack(void)
465 struct packed_git *p, *lru_p = NULL;
466 struct pack_window *mru_w = NULL;
467 int accept_windows_inuse = 1;
469 for (p = the_repository->objects->packed_git; p; p = p->next) {
470 if (p->pack_fd == -1)
471 continue;
472 find_lru_pack(p, &lru_p, &mru_w, &accept_windows_inuse);
475 if (lru_p)
476 return close_pack_fd(lru_p);
478 return 0;
481 static unsigned int get_max_fd_limit(void)
483 #ifdef RLIMIT_NOFILE
485 struct rlimit lim;
487 if (!getrlimit(RLIMIT_NOFILE, &lim))
488 return lim.rlim_cur;
490 #endif
492 #ifdef _SC_OPEN_MAX
494 long open_max = sysconf(_SC_OPEN_MAX);
495 if (0 < open_max)
496 return open_max;
498 * Otherwise, we got -1 for one of the two
499 * reasons:
501 * (1) sysconf() did not understand _SC_OPEN_MAX
502 * and signaled an error with -1; or
503 * (2) sysconf() said there is no limit.
505 * We _could_ clear errno before calling sysconf() to
506 * tell these two cases apart and return a huge number
507 * in the latter case to let the caller cap it to a
508 * value that is not so selfish, but letting the
509 * fallback OPEN_MAX codepath take care of these cases
510 * is a lot simpler.
513 #endif
515 #ifdef OPEN_MAX
516 return OPEN_MAX;
517 #else
518 return 1; /* see the caller ;-) */
519 #endif
522 const char *pack_basename(struct packed_git *p)
524 const char *ret = strrchr(p->pack_name, '/');
525 if (ret)
526 ret = ret + 1; /* skip past slash */
527 else
528 ret = p->pack_name; /* we only have a base */
529 return ret;
533 * Do not call this directly as this leaks p->pack_fd on error return;
534 * call open_packed_git() instead.
536 static int open_packed_git_1(struct packed_git *p)
538 struct stat st;
539 struct pack_header hdr;
540 unsigned char hash[GIT_MAX_RAWSZ];
541 unsigned char *idx_hash;
542 ssize_t read_result;
543 const unsigned hashsz = the_hash_algo->rawsz;
545 if (open_pack_index(p))
546 return error("packfile %s index unavailable", p->pack_name);
548 if (!pack_max_fds) {
549 unsigned int max_fds = get_max_fd_limit();
551 /* Save 3 for stdin/stdout/stderr, 22 for work */
552 if (25 < max_fds)
553 pack_max_fds = max_fds - 25;
554 else
555 pack_max_fds = 1;
558 while (pack_max_fds <= pack_open_fds && close_one_pack())
559 ; /* nothing */
561 p->pack_fd = git_open(p->pack_name);
562 if (p->pack_fd < 0 || fstat(p->pack_fd, &st))
563 return -1;
564 pack_open_fds++;
566 /* If we created the struct before we had the pack we lack size. */
567 if (!p->pack_size) {
568 if (!S_ISREG(st.st_mode))
569 return error("packfile %s not a regular file", p->pack_name);
570 p->pack_size = st.st_size;
571 } else if (p->pack_size != st.st_size)
572 return error("packfile %s size changed", p->pack_name);
574 /* Verify we recognize this pack file format. */
575 read_result = read_in_full(p->pack_fd, &hdr, sizeof(hdr));
576 if (read_result < 0)
577 return error_errno("error reading from %s", p->pack_name);
578 if (read_result != sizeof(hdr))
579 return error("file %s is far too short to be a packfile", p->pack_name);
580 if (hdr.hdr_signature != htonl(PACK_SIGNATURE))
581 return error("file %s is not a GIT packfile", p->pack_name);
582 if (!pack_version_ok(hdr.hdr_version))
583 return error("packfile %s is version %"PRIu32" and not"
584 " supported (try upgrading GIT to a newer version)",
585 p->pack_name, ntohl(hdr.hdr_version));
587 /* Verify the pack matches its index. */
588 if (p->num_objects != ntohl(hdr.hdr_entries))
589 return error("packfile %s claims to have %"PRIu32" objects"
590 " while index indicates %"PRIu32" objects",
591 p->pack_name, ntohl(hdr.hdr_entries),
592 p->num_objects);
593 read_result = pread_in_full(p->pack_fd, hash, hashsz,
594 p->pack_size - hashsz);
595 if (read_result < 0)
596 return error_errno("error reading from %s", p->pack_name);
597 if (read_result != hashsz)
598 return error("packfile %s signature is unavailable", p->pack_name);
599 idx_hash = ((unsigned char *)p->index_data) + p->index_size - hashsz * 2;
600 if (!hasheq(hash, idx_hash))
601 return error("packfile %s does not match index", p->pack_name);
602 return 0;
605 static int open_packed_git(struct packed_git *p)
607 if (!open_packed_git_1(p))
608 return 0;
609 close_pack_fd(p);
610 return -1;
613 static int in_window(struct pack_window *win, off_t offset)
615 /* We must promise at least one full hash after the
616 * offset is available from this window, otherwise the offset
617 * is not actually in this window and a different window (which
618 * has that one hash excess) must be used. This is to support
619 * the object header and delta base parsing routines below.
621 off_t win_off = win->offset;
622 return win_off <= offset
623 && (offset + the_hash_algo->rawsz) <= (win_off + win->len);
626 unsigned char *use_pack(struct packed_git *p,
627 struct pack_window **w_cursor,
628 off_t offset,
629 unsigned long *left)
631 struct pack_window *win = *w_cursor;
633 /* Since packfiles end in a hash of their content and it's
634 * pointless to ask for an offset into the middle of that
635 * hash, and the in_window function above wouldn't match
636 * don't allow an offset too close to the end of the file.
638 if (!p->pack_size && p->pack_fd == -1 && open_packed_git(p))
639 die("packfile %s cannot be accessed", p->pack_name);
640 if (offset > (p->pack_size - the_hash_algo->rawsz))
641 die("offset beyond end of packfile (truncated pack?)");
642 if (offset < 0)
643 die(_("offset before end of packfile (broken .idx?)"));
645 if (!win || !in_window(win, offset)) {
646 if (win)
647 win->inuse_cnt--;
648 for (win = p->windows; win; win = win->next) {
649 if (in_window(win, offset))
650 break;
652 if (!win) {
653 size_t window_align = packed_git_window_size / 2;
654 off_t len;
656 if (p->pack_fd == -1 && open_packed_git(p))
657 die("packfile %s cannot be accessed", p->pack_name);
659 CALLOC_ARRAY(win, 1);
660 win->offset = (offset / window_align) * window_align;
661 len = p->pack_size - win->offset;
662 if (len > packed_git_window_size)
663 len = packed_git_window_size;
664 win->len = (size_t)len;
665 pack_mapped += win->len;
666 while (packed_git_limit < pack_mapped
667 && unuse_one_window(p))
668 ; /* nothing */
669 win->base = xmmap_gently(NULL, win->len,
670 PROT_READ, MAP_PRIVATE,
671 p->pack_fd, win->offset);
672 if (win->base == MAP_FAILED)
673 die_errno(_("packfile %s cannot be mapped%s"),
674 p->pack_name, mmap_os_err());
675 if (!win->offset && win->len == p->pack_size
676 && !p->do_not_close)
677 close_pack_fd(p);
678 pack_mmap_calls++;
679 pack_open_windows++;
680 if (pack_mapped > peak_pack_mapped)
681 peak_pack_mapped = pack_mapped;
682 if (pack_open_windows > peak_pack_open_windows)
683 peak_pack_open_windows = pack_open_windows;
684 win->next = p->windows;
685 p->windows = win;
688 if (win != *w_cursor) {
689 win->last_used = pack_used_ctr++;
690 win->inuse_cnt++;
691 *w_cursor = win;
693 offset -= win->offset;
694 if (left)
695 *left = win->len - xsize_t(offset);
696 return win->base + offset;
699 void unuse_pack(struct pack_window **w_cursor)
701 struct pack_window *w = *w_cursor;
702 if (w) {
703 w->inuse_cnt--;
704 *w_cursor = NULL;
708 struct packed_git *add_packed_git(const char *path, size_t path_len, int local)
710 struct stat st;
711 size_t alloc;
712 struct packed_git *p;
715 * Make sure a corresponding .pack file exists and that
716 * the index looks sane.
718 if (!strip_suffix_mem(path, &path_len, ".idx"))
719 return NULL;
722 * ".promisor" is long enough to hold any suffix we're adding (and
723 * the use xsnprintf double-checks that)
725 alloc = st_add3(path_len, strlen(".promisor"), 1);
726 p = alloc_packed_git(alloc);
727 memcpy(p->pack_name, path, path_len);
729 xsnprintf(p->pack_name + path_len, alloc - path_len, ".keep");
730 if (!access(p->pack_name, F_OK))
731 p->pack_keep = 1;
733 xsnprintf(p->pack_name + path_len, alloc - path_len, ".promisor");
734 if (!access(p->pack_name, F_OK))
735 p->pack_promisor = 1;
737 xsnprintf(p->pack_name + path_len, alloc - path_len, ".mtimes");
738 if (!access(p->pack_name, F_OK))
739 p->is_cruft = 1;
741 xsnprintf(p->pack_name + path_len, alloc - path_len, ".pack");
742 if (stat(p->pack_name, &st) || !S_ISREG(st.st_mode)) {
743 free(p);
744 return NULL;
747 /* ok, it looks sane as far as we can check without
748 * actually mapping the pack file.
750 p->pack_size = st.st_size;
751 p->pack_local = local;
752 p->mtime = st.st_mtime;
753 if (path_len < the_hash_algo->hexsz ||
754 get_hash_hex(path + path_len - the_hash_algo->hexsz, p->hash))
755 hashclr(p->hash);
756 return p;
759 void install_packed_git(struct repository *r, struct packed_git *pack)
761 if (pack->pack_fd != -1)
762 pack_open_fds++;
764 pack->next = r->objects->packed_git;
765 r->objects->packed_git = pack;
767 hashmap_entry_init(&pack->packmap_ent, strhash(pack->pack_name));
768 hashmap_add(&r->objects->pack_map, &pack->packmap_ent);
771 void (*report_garbage)(unsigned seen_bits, const char *path);
773 static void report_helper(const struct string_list *list,
774 int seen_bits, int first, int last)
776 if (seen_bits == (PACKDIR_FILE_PACK|PACKDIR_FILE_IDX))
777 return;
779 for (; first < last; first++)
780 report_garbage(seen_bits, list->items[first].string);
783 static void report_pack_garbage(struct string_list *list)
785 int i, baselen = -1, first = 0, seen_bits = 0;
787 if (!report_garbage)
788 return;
790 string_list_sort(list);
792 for (i = 0; i < list->nr; i++) {
793 const char *path = list->items[i].string;
794 if (baselen != -1 &&
795 strncmp(path, list->items[first].string, baselen)) {
796 report_helper(list, seen_bits, first, i);
797 baselen = -1;
798 seen_bits = 0;
800 if (baselen == -1) {
801 const char *dot = strrchr(path, '.');
802 if (!dot) {
803 report_garbage(PACKDIR_FILE_GARBAGE, path);
804 continue;
806 baselen = dot - path + 1;
807 first = i;
809 if (!strcmp(path + baselen, "pack"))
810 seen_bits |= 1;
811 else if (!strcmp(path + baselen, "idx"))
812 seen_bits |= 2;
814 report_helper(list, seen_bits, first, list->nr);
817 void for_each_file_in_pack_dir(const char *objdir,
818 each_file_in_pack_dir_fn fn,
819 void *data)
821 struct strbuf path = STRBUF_INIT;
822 size_t dirnamelen;
823 DIR *dir;
824 struct dirent *de;
826 strbuf_addstr(&path, objdir);
827 strbuf_addstr(&path, "/pack");
828 dir = opendir(path.buf);
829 if (!dir) {
830 if (errno != ENOENT)
831 error_errno("unable to open object pack directory: %s",
832 path.buf);
833 strbuf_release(&path);
834 return;
836 strbuf_addch(&path, '/');
837 dirnamelen = path.len;
838 while ((de = readdir_skip_dot_and_dotdot(dir)) != NULL) {
839 strbuf_setlen(&path, dirnamelen);
840 strbuf_addstr(&path, de->d_name);
842 fn(path.buf, path.len, de->d_name, data);
845 closedir(dir);
846 strbuf_release(&path);
849 struct prepare_pack_data {
850 struct repository *r;
851 struct string_list *garbage;
852 int local;
853 struct multi_pack_index *m;
856 static void prepare_pack(const char *full_name, size_t full_name_len,
857 const char *file_name, void *_data)
859 struct prepare_pack_data *data = (struct prepare_pack_data *)_data;
860 struct packed_git *p;
861 size_t base_len = full_name_len;
863 if (strip_suffix_mem(full_name, &base_len, ".idx") &&
864 !(data->m && midx_contains_pack(data->m, file_name))) {
865 struct hashmap_entry hent;
866 char *pack_name = xstrfmt("%.*s.pack", (int)base_len, full_name);
867 unsigned int hash = strhash(pack_name);
868 hashmap_entry_init(&hent, hash);
870 /* Don't reopen a pack we already have. */
871 if (!hashmap_get(&data->r->objects->pack_map, &hent, pack_name)) {
872 p = add_packed_git(full_name, full_name_len, data->local);
873 if (p)
874 install_packed_git(data->r, p);
876 free(pack_name);
879 if (!report_garbage)
880 return;
882 if (!strcmp(file_name, "multi-pack-index"))
883 return;
884 if (starts_with(file_name, "multi-pack-index") &&
885 (ends_with(file_name, ".bitmap") || ends_with(file_name, ".rev")))
886 return;
887 if (ends_with(file_name, ".idx") ||
888 ends_with(file_name, ".rev") ||
889 ends_with(file_name, ".pack") ||
890 ends_with(file_name, ".bitmap") ||
891 ends_with(file_name, ".keep") ||
892 ends_with(file_name, ".promisor") ||
893 ends_with(file_name, ".mtimes"))
894 string_list_append(data->garbage, full_name);
895 else
896 report_garbage(PACKDIR_FILE_GARBAGE, full_name);
899 static void prepare_packed_git_one(struct repository *r, char *objdir, int local)
901 struct prepare_pack_data data;
902 struct string_list garbage = STRING_LIST_INIT_DUP;
904 data.m = r->objects->multi_pack_index;
906 /* look for the multi-pack-index for this object directory */
907 while (data.m && strcmp(data.m->object_dir, objdir))
908 data.m = data.m->next;
910 data.r = r;
911 data.garbage = &garbage;
912 data.local = local;
914 for_each_file_in_pack_dir(objdir, prepare_pack, &data);
916 report_pack_garbage(data.garbage);
917 string_list_clear(data.garbage, 0);
920 static void prepare_packed_git(struct repository *r);
922 * Give a fast, rough count of the number of objects in the repository. This
923 * ignores loose objects completely. If you have a lot of them, then either
924 * you should repack because your performance will be awful, or they are
925 * all unreachable objects about to be pruned, in which case they're not really
926 * interesting as a measure of repo size in the first place.
928 unsigned long repo_approximate_object_count(struct repository *r)
930 if (!r->objects->approximate_object_count_valid) {
931 unsigned long count;
932 struct multi_pack_index *m;
933 struct packed_git *p;
935 prepare_packed_git(r);
936 count = 0;
937 for (m = get_multi_pack_index(r); m; m = m->next)
938 count += m->num_objects;
939 for (p = r->objects->packed_git; p; p = p->next) {
940 if (open_pack_index(p))
941 continue;
942 count += p->num_objects;
944 r->objects->approximate_object_count = count;
945 r->objects->approximate_object_count_valid = 1;
947 return r->objects->approximate_object_count;
950 DEFINE_LIST_SORT(static, sort_packs, struct packed_git, next);
952 static int sort_pack(const struct packed_git *a, const struct packed_git *b)
954 int st;
957 * Local packs tend to contain objects specific to our
958 * variant of the project than remote ones. In addition,
959 * remote ones could be on a network mounted filesystem.
960 * Favor local ones for these reasons.
962 st = a->pack_local - b->pack_local;
963 if (st)
964 return -st;
967 * Younger packs tend to contain more recent objects,
968 * and more recent objects tend to get accessed more
969 * often.
971 if (a->mtime < b->mtime)
972 return 1;
973 else if (a->mtime == b->mtime)
974 return 0;
975 return -1;
978 static void rearrange_packed_git(struct repository *r)
980 sort_packs(&r->objects->packed_git, sort_pack);
983 static void prepare_packed_git_mru(struct repository *r)
985 struct packed_git *p;
987 INIT_LIST_HEAD(&r->objects->packed_git_mru);
989 for (p = r->objects->packed_git; p; p = p->next)
990 list_add_tail(&p->mru, &r->objects->packed_git_mru);
993 static void prepare_packed_git(struct repository *r)
995 struct object_directory *odb;
997 if (r->objects->packed_git_initialized)
998 return;
1000 prepare_alt_odb(r);
1001 for (odb = r->objects->odb; odb; odb = odb->next) {
1002 int local = (odb == r->objects->odb);
1003 prepare_multi_pack_index_one(r, odb->path, local);
1004 prepare_packed_git_one(r, odb->path, local);
1006 rearrange_packed_git(r);
1008 prepare_packed_git_mru(r);
1009 r->objects->packed_git_initialized = 1;
1012 void reprepare_packed_git(struct repository *r)
1014 struct object_directory *odb;
1016 obj_read_lock();
1019 * Reprepare alt odbs, in case the alternates file was modified
1020 * during the course of this process. This only _adds_ odbs to
1021 * the linked list, so existing odbs will continue to exist for
1022 * the lifetime of the process.
1024 r->objects->loaded_alternates = 0;
1025 prepare_alt_odb(r);
1027 for (odb = r->objects->odb; odb; odb = odb->next)
1028 odb_clear_loose_cache(odb);
1030 r->objects->approximate_object_count_valid = 0;
1031 r->objects->packed_git_initialized = 0;
1032 prepare_packed_git(r);
1033 obj_read_unlock();
1036 struct packed_git *get_packed_git(struct repository *r)
1038 prepare_packed_git(r);
1039 return r->objects->packed_git;
1042 struct multi_pack_index *get_multi_pack_index(struct repository *r)
1044 prepare_packed_git(r);
1045 return r->objects->multi_pack_index;
1048 struct multi_pack_index *get_local_multi_pack_index(struct repository *r)
1050 struct multi_pack_index *m = get_multi_pack_index(r);
1052 /* no need to iterate; we always put the local one first (if any) */
1053 if (m && m->local)
1054 return m;
1056 return NULL;
1059 struct packed_git *get_all_packs(struct repository *r)
1061 struct multi_pack_index *m;
1063 prepare_packed_git(r);
1064 for (m = r->objects->multi_pack_index; m; m = m->next) {
1065 uint32_t i;
1066 for (i = 0; i < m->num_packs; i++)
1067 prepare_midx_pack(r, m, i);
1070 return r->objects->packed_git;
1073 struct list_head *get_packed_git_mru(struct repository *r)
1075 prepare_packed_git(r);
1076 return &r->objects->packed_git_mru;
1079 unsigned long unpack_object_header_buffer(const unsigned char *buf,
1080 unsigned long len, enum object_type *type, unsigned long *sizep)
1082 unsigned shift;
1083 size_t size, c;
1084 unsigned long used = 0;
1086 c = buf[used++];
1087 *type = (c >> 4) & 7;
1088 size = c & 15;
1089 shift = 4;
1090 while (c & 0x80) {
1091 if (len <= used || (bitsizeof(long) - 7) < shift) {
1092 error("bad object header");
1093 size = used = 0;
1094 break;
1096 c = buf[used++];
1097 size = st_add(size, st_left_shift(c & 0x7f, shift));
1098 shift += 7;
1100 *sizep = cast_size_t_to_ulong(size);
1101 return used;
1104 unsigned long get_size_from_delta(struct packed_git *p,
1105 struct pack_window **w_curs,
1106 off_t curpos)
1108 const unsigned char *data;
1109 unsigned char delta_head[20], *in;
1110 git_zstream stream;
1111 int st;
1113 memset(&stream, 0, sizeof(stream));
1114 stream.next_out = delta_head;
1115 stream.avail_out = sizeof(delta_head);
1117 git_inflate_init(&stream);
1118 do {
1119 in = use_pack(p, w_curs, curpos, &stream.avail_in);
1120 stream.next_in = in;
1122 * Note: the window section returned by use_pack() must be
1123 * available throughout git_inflate()'s unlocked execution. To
1124 * ensure no other thread will modify the window in the
1125 * meantime, we rely on the packed_window.inuse_cnt. This
1126 * counter is incremented before window reading and checked
1127 * before window disposal.
1129 * Other worrying sections could be the call to close_pack_fd(),
1130 * which can close packs even with in-use windows, and to
1131 * reprepare_packed_git(). Regarding the former, mmap doc says:
1132 * "closing the file descriptor does not unmap the region". And
1133 * for the latter, it won't re-open already available packs.
1135 obj_read_unlock();
1136 st = git_inflate(&stream, Z_FINISH);
1137 obj_read_lock();
1138 curpos += stream.next_in - in;
1139 } while ((st == Z_OK || st == Z_BUF_ERROR) &&
1140 stream.total_out < sizeof(delta_head));
1141 git_inflate_end(&stream);
1142 if ((st != Z_STREAM_END) && stream.total_out != sizeof(delta_head)) {
1143 error("delta data unpack-initial failed");
1144 return 0;
1147 /* Examine the initial part of the delta to figure out
1148 * the result size.
1150 data = delta_head;
1152 /* ignore base size */
1153 get_delta_hdr_size(&data, delta_head+sizeof(delta_head));
1155 /* Read the result size */
1156 return get_delta_hdr_size(&data, delta_head+sizeof(delta_head));
1159 int unpack_object_header(struct packed_git *p,
1160 struct pack_window **w_curs,
1161 off_t *curpos,
1162 unsigned long *sizep)
1164 unsigned char *base;
1165 unsigned long left;
1166 unsigned long used;
1167 enum object_type type;
1169 /* use_pack() assures us we have [base, base + 20) available
1170 * as a range that we can look at. (Its actually the hash
1171 * size that is assured.) With our object header encoding
1172 * the maximum deflated object size is 2^137, which is just
1173 * insane, so we know won't exceed what we have been given.
1175 base = use_pack(p, w_curs, *curpos, &left);
1176 used = unpack_object_header_buffer(base, left, &type, sizep);
1177 if (!used) {
1178 type = OBJ_BAD;
1179 } else
1180 *curpos += used;
1182 return type;
1185 void mark_bad_packed_object(struct packed_git *p, const struct object_id *oid)
1187 oidset_insert(&p->bad_objects, oid);
1190 const struct packed_git *has_packed_and_bad(struct repository *r,
1191 const struct object_id *oid)
1193 struct packed_git *p;
1195 for (p = r->objects->packed_git; p; p = p->next)
1196 if (oidset_contains(&p->bad_objects, oid))
1197 return p;
1198 return NULL;
1201 off_t get_delta_base(struct packed_git *p,
1202 struct pack_window **w_curs,
1203 off_t *curpos,
1204 enum object_type type,
1205 off_t delta_obj_offset)
1207 unsigned char *base_info = use_pack(p, w_curs, *curpos, NULL);
1208 off_t base_offset;
1210 /* use_pack() assured us we have [base_info, base_info + 20)
1211 * as a range that we can look at without walking off the
1212 * end of the mapped window. Its actually the hash size
1213 * that is assured. An OFS_DELTA longer than the hash size
1214 * is stupid, as then a REF_DELTA would be smaller to store.
1216 if (type == OBJ_OFS_DELTA) {
1217 unsigned used = 0;
1218 unsigned char c = base_info[used++];
1219 base_offset = c & 127;
1220 while (c & 128) {
1221 base_offset += 1;
1222 if (!base_offset || MSB(base_offset, 7))
1223 return 0; /* overflow */
1224 c = base_info[used++];
1225 base_offset = (base_offset << 7) + (c & 127);
1227 base_offset = delta_obj_offset - base_offset;
1228 if (base_offset <= 0 || base_offset >= delta_obj_offset)
1229 return 0; /* out of bound */
1230 *curpos += used;
1231 } else if (type == OBJ_REF_DELTA) {
1232 /* The base entry _must_ be in the same pack */
1233 base_offset = find_pack_entry_one(base_info, p);
1234 *curpos += the_hash_algo->rawsz;
1235 } else
1236 die("I am totally screwed");
1237 return base_offset;
1241 * Like get_delta_base above, but we return the sha1 instead of the pack
1242 * offset. This means it is cheaper for REF deltas (we do not have to do
1243 * the final object lookup), but more expensive for OFS deltas (we
1244 * have to load the revidx to convert the offset back into a sha1).
1246 static int get_delta_base_oid(struct packed_git *p,
1247 struct pack_window **w_curs,
1248 off_t curpos,
1249 struct object_id *oid,
1250 enum object_type type,
1251 off_t delta_obj_offset)
1253 if (type == OBJ_REF_DELTA) {
1254 unsigned char *base = use_pack(p, w_curs, curpos, NULL);
1255 oidread(oid, base);
1256 return 0;
1257 } else if (type == OBJ_OFS_DELTA) {
1258 uint32_t base_pos;
1259 off_t base_offset = get_delta_base(p, w_curs, &curpos,
1260 type, delta_obj_offset);
1262 if (!base_offset)
1263 return -1;
1265 if (offset_to_pack_pos(p, base_offset, &base_pos) < 0)
1266 return -1;
1268 return nth_packed_object_id(oid, p,
1269 pack_pos_to_index(p, base_pos));
1270 } else
1271 return -1;
1274 static int retry_bad_packed_offset(struct repository *r,
1275 struct packed_git *p,
1276 off_t obj_offset)
1278 int type;
1279 uint32_t pos;
1280 struct object_id oid;
1281 if (offset_to_pack_pos(p, obj_offset, &pos) < 0)
1282 return OBJ_BAD;
1283 nth_packed_object_id(&oid, p, pack_pos_to_index(p, pos));
1284 mark_bad_packed_object(p, &oid);
1285 type = oid_object_info(r, &oid, NULL);
1286 if (type <= OBJ_NONE)
1287 return OBJ_BAD;
1288 return type;
1291 #define POI_STACK_PREALLOC 64
1293 static enum object_type packed_to_object_type(struct repository *r,
1294 struct packed_git *p,
1295 off_t obj_offset,
1296 enum object_type type,
1297 struct pack_window **w_curs,
1298 off_t curpos)
1300 off_t small_poi_stack[POI_STACK_PREALLOC];
1301 off_t *poi_stack = small_poi_stack;
1302 int poi_stack_nr = 0, poi_stack_alloc = POI_STACK_PREALLOC;
1304 while (type == OBJ_OFS_DELTA || type == OBJ_REF_DELTA) {
1305 off_t base_offset;
1306 unsigned long size;
1307 /* Push the object we're going to leave behind */
1308 if (poi_stack_nr >= poi_stack_alloc && poi_stack == small_poi_stack) {
1309 poi_stack_alloc = alloc_nr(poi_stack_nr);
1310 ALLOC_ARRAY(poi_stack, poi_stack_alloc);
1311 COPY_ARRAY(poi_stack, small_poi_stack, poi_stack_nr);
1312 } else {
1313 ALLOC_GROW(poi_stack, poi_stack_nr+1, poi_stack_alloc);
1315 poi_stack[poi_stack_nr++] = obj_offset;
1316 /* If parsing the base offset fails, just unwind */
1317 base_offset = get_delta_base(p, w_curs, &curpos, type, obj_offset);
1318 if (!base_offset)
1319 goto unwind;
1320 curpos = obj_offset = base_offset;
1321 type = unpack_object_header(p, w_curs, &curpos, &size);
1322 if (type <= OBJ_NONE) {
1323 /* If getting the base itself fails, we first
1324 * retry the base, otherwise unwind */
1325 type = retry_bad_packed_offset(r, p, base_offset);
1326 if (type > OBJ_NONE)
1327 goto out;
1328 goto unwind;
1332 switch (type) {
1333 case OBJ_BAD:
1334 case OBJ_COMMIT:
1335 case OBJ_TREE:
1336 case OBJ_BLOB:
1337 case OBJ_TAG:
1338 break;
1339 default:
1340 error("unknown object type %i at offset %"PRIuMAX" in %s",
1341 type, (uintmax_t)obj_offset, p->pack_name);
1342 type = OBJ_BAD;
1345 out:
1346 if (poi_stack != small_poi_stack)
1347 free(poi_stack);
1348 return type;
1350 unwind:
1351 while (poi_stack_nr) {
1352 obj_offset = poi_stack[--poi_stack_nr];
1353 type = retry_bad_packed_offset(r, p, obj_offset);
1354 if (type > OBJ_NONE)
1355 goto out;
1357 type = OBJ_BAD;
1358 goto out;
1361 static struct hashmap delta_base_cache;
1362 static size_t delta_base_cached;
1364 static LIST_HEAD(delta_base_cache_lru);
1366 struct delta_base_cache_key {
1367 struct packed_git *p;
1368 off_t base_offset;
1371 struct delta_base_cache_entry {
1372 struct hashmap_entry ent;
1373 struct delta_base_cache_key key;
1374 struct list_head lru;
1375 void *data;
1376 unsigned long size;
1377 enum object_type type;
1380 static unsigned int pack_entry_hash(struct packed_git *p, off_t base_offset)
1382 unsigned int hash;
1384 hash = (unsigned int)(intptr_t)p + (unsigned int)base_offset;
1385 hash += (hash >> 8) + (hash >> 16);
1386 return hash;
1389 static struct delta_base_cache_entry *
1390 get_delta_base_cache_entry(struct packed_git *p, off_t base_offset)
1392 struct hashmap_entry entry, *e;
1393 struct delta_base_cache_key key;
1395 if (!delta_base_cache.cmpfn)
1396 return NULL;
1398 hashmap_entry_init(&entry, pack_entry_hash(p, base_offset));
1399 key.p = p;
1400 key.base_offset = base_offset;
1401 e = hashmap_get(&delta_base_cache, &entry, &key);
1402 return e ? container_of(e, struct delta_base_cache_entry, ent) : NULL;
1405 static int delta_base_cache_key_eq(const struct delta_base_cache_key *a,
1406 const struct delta_base_cache_key *b)
1408 return a->p == b->p && a->base_offset == b->base_offset;
1411 static int delta_base_cache_hash_cmp(const void *cmp_data UNUSED,
1412 const struct hashmap_entry *va,
1413 const struct hashmap_entry *vb,
1414 const void *vkey)
1416 const struct delta_base_cache_entry *a, *b;
1417 const struct delta_base_cache_key *key = vkey;
1419 a = container_of(va, const struct delta_base_cache_entry, ent);
1420 b = container_of(vb, const struct delta_base_cache_entry, ent);
1422 if (key)
1423 return !delta_base_cache_key_eq(&a->key, key);
1424 else
1425 return !delta_base_cache_key_eq(&a->key, &b->key);
1428 static int in_delta_base_cache(struct packed_git *p, off_t base_offset)
1430 return !!get_delta_base_cache_entry(p, base_offset);
1434 * Remove the entry from the cache, but do _not_ free the associated
1435 * entry data. The caller takes ownership of the "data" buffer, and
1436 * should copy out any fields it wants before detaching.
1438 static void detach_delta_base_cache_entry(struct delta_base_cache_entry *ent)
1440 hashmap_remove(&delta_base_cache, &ent->ent, &ent->key);
1441 list_del(&ent->lru);
1442 delta_base_cached -= ent->size;
1443 free(ent);
1446 static void *cache_or_unpack_entry(struct repository *r, struct packed_git *p,
1447 off_t base_offset, unsigned long *base_size,
1448 enum object_type *type)
1450 struct delta_base_cache_entry *ent;
1452 ent = get_delta_base_cache_entry(p, base_offset);
1453 if (!ent)
1454 return unpack_entry(r, p, base_offset, type, base_size);
1456 if (type)
1457 *type = ent->type;
1458 if (base_size)
1459 *base_size = ent->size;
1460 return xmemdupz(ent->data, ent->size);
1463 static inline void release_delta_base_cache(struct delta_base_cache_entry *ent)
1465 free(ent->data);
1466 detach_delta_base_cache_entry(ent);
1469 void clear_delta_base_cache(void)
1471 struct list_head *lru, *tmp;
1472 list_for_each_safe(lru, tmp, &delta_base_cache_lru) {
1473 struct delta_base_cache_entry *entry =
1474 list_entry(lru, struct delta_base_cache_entry, lru);
1475 release_delta_base_cache(entry);
1479 static void add_delta_base_cache(struct packed_git *p, off_t base_offset,
1480 void *base, unsigned long base_size, enum object_type type)
1482 struct delta_base_cache_entry *ent;
1483 struct list_head *lru, *tmp;
1486 * Check required to avoid redundant entries when more than one thread
1487 * is unpacking the same object, in unpack_entry() (since its phases I
1488 * and III might run concurrently across multiple threads).
1490 if (in_delta_base_cache(p, base_offset)) {
1491 free(base);
1492 return;
1495 delta_base_cached += base_size;
1497 list_for_each_safe(lru, tmp, &delta_base_cache_lru) {
1498 struct delta_base_cache_entry *f =
1499 list_entry(lru, struct delta_base_cache_entry, lru);
1500 if (delta_base_cached <= delta_base_cache_limit)
1501 break;
1502 release_delta_base_cache(f);
1505 ent = xmalloc(sizeof(*ent));
1506 ent->key.p = p;
1507 ent->key.base_offset = base_offset;
1508 ent->type = type;
1509 ent->data = base;
1510 ent->size = base_size;
1511 list_add_tail(&ent->lru, &delta_base_cache_lru);
1513 if (!delta_base_cache.cmpfn)
1514 hashmap_init(&delta_base_cache, delta_base_cache_hash_cmp, NULL, 0);
1515 hashmap_entry_init(&ent->ent, pack_entry_hash(p, base_offset));
1516 hashmap_add(&delta_base_cache, &ent->ent);
1519 int packed_object_info(struct repository *r, struct packed_git *p,
1520 off_t obj_offset, struct object_info *oi)
1522 struct pack_window *w_curs = NULL;
1523 unsigned long size;
1524 off_t curpos = obj_offset;
1525 enum object_type type;
1528 * We always get the representation type, but only convert it to
1529 * a "real" type later if the caller is interested.
1531 if (oi->contentp) {
1532 *oi->contentp = cache_or_unpack_entry(r, p, obj_offset, oi->sizep,
1533 &type);
1534 if (!*oi->contentp)
1535 type = OBJ_BAD;
1536 } else {
1537 type = unpack_object_header(p, &w_curs, &curpos, &size);
1540 if (!oi->contentp && oi->sizep) {
1541 if (type == OBJ_OFS_DELTA || type == OBJ_REF_DELTA) {
1542 off_t tmp_pos = curpos;
1543 off_t base_offset = get_delta_base(p, &w_curs, &tmp_pos,
1544 type, obj_offset);
1545 if (!base_offset) {
1546 type = OBJ_BAD;
1547 goto out;
1549 *oi->sizep = get_size_from_delta(p, &w_curs, tmp_pos);
1550 if (*oi->sizep == 0) {
1551 type = OBJ_BAD;
1552 goto out;
1554 } else {
1555 *oi->sizep = size;
1559 if (oi->disk_sizep) {
1560 uint32_t pos;
1561 if (offset_to_pack_pos(p, obj_offset, &pos) < 0) {
1562 error("could not find object at offset %"PRIuMAX" "
1563 "in pack %s", (uintmax_t)obj_offset, p->pack_name);
1564 type = OBJ_BAD;
1565 goto out;
1568 *oi->disk_sizep = pack_pos_to_offset(p, pos + 1) - obj_offset;
1571 if (oi->typep || oi->type_name) {
1572 enum object_type ptot;
1573 ptot = packed_to_object_type(r, p, obj_offset,
1574 type, &w_curs, curpos);
1575 if (oi->typep)
1576 *oi->typep = ptot;
1577 if (oi->type_name) {
1578 const char *tn = type_name(ptot);
1579 if (tn)
1580 strbuf_addstr(oi->type_name, tn);
1582 if (ptot < 0) {
1583 type = OBJ_BAD;
1584 goto out;
1588 if (oi->delta_base_oid) {
1589 if (type == OBJ_OFS_DELTA || type == OBJ_REF_DELTA) {
1590 if (get_delta_base_oid(p, &w_curs, curpos,
1591 oi->delta_base_oid,
1592 type, obj_offset) < 0) {
1593 type = OBJ_BAD;
1594 goto out;
1596 } else
1597 oidclr(oi->delta_base_oid);
1600 oi->whence = in_delta_base_cache(p, obj_offset) ? OI_DBCACHED :
1601 OI_PACKED;
1603 out:
1604 unuse_pack(&w_curs);
1605 return type;
1608 static void *unpack_compressed_entry(struct packed_git *p,
1609 struct pack_window **w_curs,
1610 off_t curpos,
1611 unsigned long size)
1613 int st;
1614 git_zstream stream;
1615 unsigned char *buffer, *in;
1617 buffer = xmallocz_gently(size);
1618 if (!buffer)
1619 return NULL;
1620 memset(&stream, 0, sizeof(stream));
1621 stream.next_out = buffer;
1622 stream.avail_out = size + 1;
1624 git_inflate_init(&stream);
1625 do {
1626 in = use_pack(p, w_curs, curpos, &stream.avail_in);
1627 stream.next_in = in;
1629 * Note: we must ensure the window section returned by
1630 * use_pack() will be available throughout git_inflate()'s
1631 * unlocked execution. Please refer to the comment at
1632 * get_size_from_delta() to see how this is done.
1634 obj_read_unlock();
1635 st = git_inflate(&stream, Z_FINISH);
1636 obj_read_lock();
1637 if (!stream.avail_out)
1638 break; /* the payload is larger than it should be */
1639 curpos += stream.next_in - in;
1640 } while (st == Z_OK || st == Z_BUF_ERROR);
1641 git_inflate_end(&stream);
1642 if ((st != Z_STREAM_END) || stream.total_out != size) {
1643 free(buffer);
1644 return NULL;
1647 /* versions of zlib can clobber unconsumed portion of outbuf */
1648 buffer[size] = '\0';
1650 return buffer;
1653 static void write_pack_access_log(struct packed_git *p, off_t obj_offset)
1655 static struct trace_key pack_access = TRACE_KEY_INIT(PACK_ACCESS);
1656 trace_printf_key(&pack_access, "%s %"PRIuMAX"\n",
1657 p->pack_name, (uintmax_t)obj_offset);
1660 int do_check_packed_object_crc;
1662 #define UNPACK_ENTRY_STACK_PREALLOC 64
1663 struct unpack_entry_stack_ent {
1664 off_t obj_offset;
1665 off_t curpos;
1666 unsigned long size;
1669 void *unpack_entry(struct repository *r, struct packed_git *p, off_t obj_offset,
1670 enum object_type *final_type, unsigned long *final_size)
1672 struct pack_window *w_curs = NULL;
1673 off_t curpos = obj_offset;
1674 void *data = NULL;
1675 unsigned long size;
1676 enum object_type type;
1677 struct unpack_entry_stack_ent small_delta_stack[UNPACK_ENTRY_STACK_PREALLOC];
1678 struct unpack_entry_stack_ent *delta_stack = small_delta_stack;
1679 int delta_stack_nr = 0, delta_stack_alloc = UNPACK_ENTRY_STACK_PREALLOC;
1680 int base_from_cache = 0;
1682 write_pack_access_log(p, obj_offset);
1684 /* PHASE 1: drill down to the innermost base object */
1685 for (;;) {
1686 off_t base_offset;
1687 int i;
1688 struct delta_base_cache_entry *ent;
1690 ent = get_delta_base_cache_entry(p, curpos);
1691 if (ent) {
1692 type = ent->type;
1693 data = ent->data;
1694 size = ent->size;
1695 detach_delta_base_cache_entry(ent);
1696 base_from_cache = 1;
1697 break;
1700 if (do_check_packed_object_crc && p->index_version > 1) {
1701 uint32_t pack_pos, index_pos;
1702 off_t len;
1704 if (offset_to_pack_pos(p, obj_offset, &pack_pos) < 0) {
1705 error("could not find object at offset %"PRIuMAX" in pack %s",
1706 (uintmax_t)obj_offset, p->pack_name);
1707 data = NULL;
1708 goto out;
1711 len = pack_pos_to_offset(p, pack_pos + 1) - obj_offset;
1712 index_pos = pack_pos_to_index(p, pack_pos);
1713 if (check_pack_crc(p, &w_curs, obj_offset, len, index_pos)) {
1714 struct object_id oid;
1715 nth_packed_object_id(&oid, p, index_pos);
1716 error("bad packed object CRC for %s",
1717 oid_to_hex(&oid));
1718 mark_bad_packed_object(p, &oid);
1719 data = NULL;
1720 goto out;
1724 type = unpack_object_header(p, &w_curs, &curpos, &size);
1725 if (type != OBJ_OFS_DELTA && type != OBJ_REF_DELTA)
1726 break;
1728 base_offset = get_delta_base(p, &w_curs, &curpos, type, obj_offset);
1729 if (!base_offset) {
1730 error("failed to validate delta base reference "
1731 "at offset %"PRIuMAX" from %s",
1732 (uintmax_t)curpos, p->pack_name);
1733 /* bail to phase 2, in hopes of recovery */
1734 data = NULL;
1735 break;
1738 /* push object, proceed to base */
1739 if (delta_stack_nr >= delta_stack_alloc
1740 && delta_stack == small_delta_stack) {
1741 delta_stack_alloc = alloc_nr(delta_stack_nr);
1742 ALLOC_ARRAY(delta_stack, delta_stack_alloc);
1743 COPY_ARRAY(delta_stack, small_delta_stack,
1744 delta_stack_nr);
1745 } else {
1746 ALLOC_GROW(delta_stack, delta_stack_nr+1, delta_stack_alloc);
1748 i = delta_stack_nr++;
1749 delta_stack[i].obj_offset = obj_offset;
1750 delta_stack[i].curpos = curpos;
1751 delta_stack[i].size = size;
1753 curpos = obj_offset = base_offset;
1756 /* PHASE 2: handle the base */
1757 switch (type) {
1758 case OBJ_OFS_DELTA:
1759 case OBJ_REF_DELTA:
1760 if (data)
1761 BUG("unpack_entry: left loop at a valid delta");
1762 break;
1763 case OBJ_COMMIT:
1764 case OBJ_TREE:
1765 case OBJ_BLOB:
1766 case OBJ_TAG:
1767 if (!base_from_cache)
1768 data = unpack_compressed_entry(p, &w_curs, curpos, size);
1769 break;
1770 default:
1771 data = NULL;
1772 error("unknown object type %i at offset %"PRIuMAX" in %s",
1773 type, (uintmax_t)obj_offset, p->pack_name);
1776 /* PHASE 3: apply deltas in order */
1778 /* invariants:
1779 * 'data' holds the base data, or NULL if there was corruption
1781 while (delta_stack_nr) {
1782 void *delta_data;
1783 void *base = data;
1784 void *external_base = NULL;
1785 unsigned long delta_size, base_size = size;
1786 int i;
1787 off_t base_obj_offset = obj_offset;
1789 data = NULL;
1791 if (!base) {
1793 * We're probably in deep shit, but let's try to fetch
1794 * the required base anyway from another pack or loose.
1795 * This is costly but should happen only in the presence
1796 * of a corrupted pack, and is better than failing outright.
1798 uint32_t pos;
1799 struct object_id base_oid;
1800 if (!(offset_to_pack_pos(p, obj_offset, &pos))) {
1801 struct object_info oi = OBJECT_INFO_INIT;
1803 nth_packed_object_id(&base_oid, p,
1804 pack_pos_to_index(p, pos));
1805 error("failed to read delta base object %s"
1806 " at offset %"PRIuMAX" from %s",
1807 oid_to_hex(&base_oid), (uintmax_t)obj_offset,
1808 p->pack_name);
1809 mark_bad_packed_object(p, &base_oid);
1811 oi.typep = &type;
1812 oi.sizep = &base_size;
1813 oi.contentp = &base;
1814 if (oid_object_info_extended(r, &base_oid, &oi, 0) < 0)
1815 base = NULL;
1817 external_base = base;
1821 i = --delta_stack_nr;
1822 obj_offset = delta_stack[i].obj_offset;
1823 curpos = delta_stack[i].curpos;
1824 delta_size = delta_stack[i].size;
1826 if (!base)
1827 continue;
1829 delta_data = unpack_compressed_entry(p, &w_curs, curpos, delta_size);
1831 if (!delta_data) {
1832 error("failed to unpack compressed delta "
1833 "at offset %"PRIuMAX" from %s",
1834 (uintmax_t)curpos, p->pack_name);
1835 data = NULL;
1836 } else {
1837 data = patch_delta(base, base_size, delta_data,
1838 delta_size, &size);
1841 * We could not apply the delta; warn the user, but
1842 * keep going. Our failure will be noticed either in
1843 * the next iteration of the loop, or if this is the
1844 * final delta, in the caller when we return NULL.
1845 * Those code paths will take care of making a more
1846 * explicit warning and retrying with another copy of
1847 * the object.
1849 if (!data)
1850 error("failed to apply delta");
1854 * We delay adding `base` to the cache until the end of the loop
1855 * because unpack_compressed_entry() momentarily releases the
1856 * obj_read_mutex, giving another thread the chance to access
1857 * the cache. Therefore, if `base` was already there, this other
1858 * thread could free() it (e.g. to make space for another entry)
1859 * before we are done using it.
1861 if (!external_base)
1862 add_delta_base_cache(p, base_obj_offset, base, base_size, type);
1864 free(delta_data);
1865 free(external_base);
1868 if (final_type)
1869 *final_type = type;
1870 if (final_size)
1871 *final_size = size;
1873 out:
1874 unuse_pack(&w_curs);
1876 if (delta_stack != small_delta_stack)
1877 free(delta_stack);
1879 return data;
1882 int bsearch_pack(const struct object_id *oid, const struct packed_git *p, uint32_t *result)
1884 const unsigned char *index_fanout = p->index_data;
1885 const unsigned char *index_lookup;
1886 const unsigned int hashsz = the_hash_algo->rawsz;
1887 int index_lookup_width;
1889 if (!index_fanout)
1890 BUG("bsearch_pack called without a valid pack-index");
1892 index_lookup = index_fanout + 4 * 256;
1893 if (p->index_version == 1) {
1894 index_lookup_width = hashsz + 4;
1895 index_lookup += 4;
1896 } else {
1897 index_lookup_width = hashsz;
1898 index_fanout += 8;
1899 index_lookup += 8;
1902 return bsearch_hash(oid->hash, (const uint32_t*)index_fanout,
1903 index_lookup, index_lookup_width, result);
1906 int nth_packed_object_id(struct object_id *oid,
1907 struct packed_git *p,
1908 uint32_t n)
1910 const unsigned char *index = p->index_data;
1911 const unsigned int hashsz = the_hash_algo->rawsz;
1912 if (!index) {
1913 if (open_pack_index(p))
1914 return -1;
1915 index = p->index_data;
1917 if (n >= p->num_objects)
1918 return -1;
1919 index += 4 * 256;
1920 if (p->index_version == 1) {
1921 oidread(oid, index + st_add(st_mult(hashsz + 4, n), 4));
1922 } else {
1923 index += 8;
1924 oidread(oid, index + st_mult(hashsz, n));
1926 return 0;
1929 void check_pack_index_ptr(const struct packed_git *p, const void *vptr)
1931 const unsigned char *ptr = vptr;
1932 const unsigned char *start = p->index_data;
1933 const unsigned char *end = start + p->index_size;
1934 if (ptr < start)
1935 die(_("offset before start of pack index for %s (corrupt index?)"),
1936 p->pack_name);
1937 /* No need to check for underflow; .idx files must be at least 8 bytes */
1938 if (ptr >= end - 8)
1939 die(_("offset beyond end of pack index for %s (truncated index?)"),
1940 p->pack_name);
1943 off_t nth_packed_object_offset(const struct packed_git *p, uint32_t n)
1945 const unsigned char *index = p->index_data;
1946 const unsigned int hashsz = the_hash_algo->rawsz;
1947 index += 4 * 256;
1948 if (p->index_version == 1) {
1949 return ntohl(*((uint32_t *)(index + st_mult(hashsz + 4, n))));
1950 } else {
1951 uint32_t off;
1952 index += st_add(8, st_mult(p->num_objects, hashsz + 4));
1953 off = ntohl(*((uint32_t *)(index + st_mult(4, n))));
1954 if (!(off & 0x80000000))
1955 return off;
1956 index += st_add(st_mult(p->num_objects, 4),
1957 st_mult(off & 0x7fffffff, 8));
1958 check_pack_index_ptr(p, index);
1959 return get_be64(index);
1963 off_t find_pack_entry_one(const unsigned char *sha1,
1964 struct packed_git *p)
1966 const unsigned char *index = p->index_data;
1967 struct object_id oid;
1968 uint32_t result;
1970 if (!index) {
1971 if (open_pack_index(p))
1972 return 0;
1975 hashcpy(oid.hash, sha1);
1976 if (bsearch_pack(&oid, p, &result))
1977 return nth_packed_object_offset(p, result);
1978 return 0;
1981 int is_pack_valid(struct packed_git *p)
1983 /* An already open pack is known to be valid. */
1984 if (p->pack_fd != -1)
1985 return 1;
1987 /* If the pack has one window completely covering the
1988 * file size, the pack is known to be valid even if
1989 * the descriptor is not currently open.
1991 if (p->windows) {
1992 struct pack_window *w = p->windows;
1994 if (!w->offset && w->len == p->pack_size)
1995 return 1;
1998 /* Force the pack to open to prove its valid. */
1999 return !open_packed_git(p);
2002 struct packed_git *find_sha1_pack(const unsigned char *sha1,
2003 struct packed_git *packs)
2005 struct packed_git *p;
2007 for (p = packs; p; p = p->next) {
2008 if (find_pack_entry_one(sha1, p))
2009 return p;
2011 return NULL;
2015 static int fill_pack_entry(const struct object_id *oid,
2016 struct pack_entry *e,
2017 struct packed_git *p)
2019 off_t offset;
2021 if (oidset_size(&p->bad_objects) &&
2022 oidset_contains(&p->bad_objects, oid))
2023 return 0;
2025 offset = find_pack_entry_one(oid->hash, p);
2026 if (!offset)
2027 return 0;
2030 * We are about to tell the caller where they can locate the
2031 * requested object. We better make sure the packfile is
2032 * still here and can be accessed before supplying that
2033 * answer, as it may have been deleted since the index was
2034 * loaded!
2036 if (!is_pack_valid(p))
2037 return 0;
2038 e->offset = offset;
2039 e->p = p;
2040 return 1;
2043 int find_pack_entry(struct repository *r, const struct object_id *oid, struct pack_entry *e)
2045 struct list_head *pos;
2046 struct multi_pack_index *m;
2048 prepare_packed_git(r);
2049 if (!r->objects->packed_git && !r->objects->multi_pack_index)
2050 return 0;
2052 for (m = r->objects->multi_pack_index; m; m = m->next) {
2053 if (fill_midx_entry(r, oid, e, m))
2054 return 1;
2057 list_for_each(pos, &r->objects->packed_git_mru) {
2058 struct packed_git *p = list_entry(pos, struct packed_git, mru);
2059 if (!p->multi_pack_index && fill_pack_entry(oid, e, p)) {
2060 list_move(&p->mru, &r->objects->packed_git_mru);
2061 return 1;
2064 return 0;
2067 static void maybe_invalidate_kept_pack_cache(struct repository *r,
2068 unsigned flags)
2070 if (!r->objects->kept_pack_cache.packs)
2071 return;
2072 if (r->objects->kept_pack_cache.flags == flags)
2073 return;
2074 FREE_AND_NULL(r->objects->kept_pack_cache.packs);
2075 r->objects->kept_pack_cache.flags = 0;
2078 static struct packed_git **kept_pack_cache(struct repository *r, unsigned flags)
2080 maybe_invalidate_kept_pack_cache(r, flags);
2082 if (!r->objects->kept_pack_cache.packs) {
2083 struct packed_git **packs = NULL;
2084 size_t nr = 0, alloc = 0;
2085 struct packed_git *p;
2088 * We want "all" packs here, because we need to cover ones that
2089 * are used by a midx, as well. We need to look in every one of
2090 * them (instead of the midx itself) to cover duplicates. It's
2091 * possible that an object is found in two packs that the midx
2092 * covers, one kept and one not kept, but the midx returns only
2093 * the non-kept version.
2095 for (p = get_all_packs(r); p; p = p->next) {
2096 if ((p->pack_keep && (flags & ON_DISK_KEEP_PACKS)) ||
2097 (p->pack_keep_in_core && (flags & IN_CORE_KEEP_PACKS))) {
2098 ALLOC_GROW(packs, nr + 1, alloc);
2099 packs[nr++] = p;
2102 ALLOC_GROW(packs, nr + 1, alloc);
2103 packs[nr] = NULL;
2105 r->objects->kept_pack_cache.packs = packs;
2106 r->objects->kept_pack_cache.flags = flags;
2109 return r->objects->kept_pack_cache.packs;
2112 int find_kept_pack_entry(struct repository *r,
2113 const struct object_id *oid,
2114 unsigned flags,
2115 struct pack_entry *e)
2117 struct packed_git **cache;
2119 for (cache = kept_pack_cache(r, flags); *cache; cache++) {
2120 struct packed_git *p = *cache;
2121 if (fill_pack_entry(oid, e, p))
2122 return 1;
2125 return 0;
2128 int has_object_pack(const struct object_id *oid)
2130 struct pack_entry e;
2131 return find_pack_entry(the_repository, oid, &e);
2134 int has_object_kept_pack(const struct object_id *oid, unsigned flags)
2136 struct pack_entry e;
2137 return find_kept_pack_entry(the_repository, oid, flags, &e);
2140 int has_pack_index(const unsigned char *sha1)
2142 struct stat st;
2143 if (stat(sha1_pack_index_name(sha1), &st))
2144 return 0;
2145 return 1;
2148 int for_each_object_in_pack(struct packed_git *p,
2149 each_packed_object_fn cb, void *data,
2150 enum for_each_object_flags flags)
2152 uint32_t i;
2153 int r = 0;
2155 if (flags & FOR_EACH_OBJECT_PACK_ORDER) {
2156 if (load_pack_revindex(the_repository, p))
2157 return -1;
2160 for (i = 0; i < p->num_objects; i++) {
2161 uint32_t index_pos;
2162 struct object_id oid;
2165 * We are iterating "i" from 0 up to num_objects, but its
2166 * meaning may be different, depending on the requested output
2167 * order:
2169 * - in object-name order, it is the same as the index order
2170 * used by nth_packed_object_id(), so we can pass it
2171 * directly
2173 * - in pack-order, it is pack position, which we must
2174 * convert to an index position in order to get the oid.
2176 if (flags & FOR_EACH_OBJECT_PACK_ORDER)
2177 index_pos = pack_pos_to_index(p, i);
2178 else
2179 index_pos = i;
2181 if (nth_packed_object_id(&oid, p, index_pos) < 0)
2182 return error("unable to get sha1 of object %u in %s",
2183 index_pos, p->pack_name);
2185 r = cb(&oid, p, index_pos, data);
2186 if (r)
2187 break;
2189 return r;
2192 int for_each_packed_object(each_packed_object_fn cb, void *data,
2193 enum for_each_object_flags flags)
2195 struct packed_git *p;
2196 int r = 0;
2197 int pack_errors = 0;
2199 prepare_packed_git(the_repository);
2200 for (p = get_all_packs(the_repository); p; p = p->next) {
2201 if ((flags & FOR_EACH_OBJECT_LOCAL_ONLY) && !p->pack_local)
2202 continue;
2203 if ((flags & FOR_EACH_OBJECT_PROMISOR_ONLY) &&
2204 !p->pack_promisor)
2205 continue;
2206 if ((flags & FOR_EACH_OBJECT_SKIP_IN_CORE_KEPT_PACKS) &&
2207 p->pack_keep_in_core)
2208 continue;
2209 if ((flags & FOR_EACH_OBJECT_SKIP_ON_DISK_KEPT_PACKS) &&
2210 p->pack_keep)
2211 continue;
2212 if (open_pack_index(p)) {
2213 pack_errors = 1;
2214 continue;
2216 r = for_each_object_in_pack(p, cb, data, flags);
2217 if (r)
2218 break;
2220 return r ? r : pack_errors;
2223 static int add_promisor_object(const struct object_id *oid,
2224 struct packed_git *pack UNUSED,
2225 uint32_t pos UNUSED,
2226 void *set_)
2228 struct oidset *set = set_;
2229 struct object *obj;
2230 int we_parsed_object;
2232 obj = lookup_object(the_repository, oid);
2233 if (obj && obj->parsed) {
2234 we_parsed_object = 0;
2235 } else {
2236 we_parsed_object = 1;
2237 obj = parse_object(the_repository, oid);
2240 if (!obj)
2241 return 1;
2243 oidset_insert(set, oid);
2246 * If this is a tree, commit, or tag, the objects it refers
2247 * to are also promisor objects. (Blobs refer to no objects->)
2249 if (obj->type == OBJ_TREE) {
2250 struct tree *tree = (struct tree *)obj;
2251 struct tree_desc desc;
2252 struct name_entry entry;
2253 if (init_tree_desc_gently(&desc, tree->buffer, tree->size, 0))
2255 * Error messages are given when packs are
2256 * verified, so do not print any here.
2258 return 0;
2259 while (tree_entry_gently(&desc, &entry))
2260 oidset_insert(set, &entry.oid);
2261 if (we_parsed_object)
2262 free_tree_buffer(tree);
2263 } else if (obj->type == OBJ_COMMIT) {
2264 struct commit *commit = (struct commit *) obj;
2265 struct commit_list *parents = commit->parents;
2267 oidset_insert(set, get_commit_tree_oid(commit));
2268 for (; parents; parents = parents->next)
2269 oidset_insert(set, &parents->item->object.oid);
2270 } else if (obj->type == OBJ_TAG) {
2271 struct tag *tag = (struct tag *) obj;
2272 oidset_insert(set, get_tagged_oid(tag));
2274 return 0;
2277 int is_promisor_object(const struct object_id *oid)
2279 static struct oidset promisor_objects;
2280 static int promisor_objects_prepared;
2282 if (!promisor_objects_prepared) {
2283 if (repo_has_promisor_remote(the_repository)) {
2284 for_each_packed_object(add_promisor_object,
2285 &promisor_objects,
2286 FOR_EACH_OBJECT_PROMISOR_ONLY |
2287 FOR_EACH_OBJECT_PACK_ORDER);
2289 promisor_objects_prepared = 1;
2291 return oidset_contains(&promisor_objects, oid);