1 #include "git-compat-util.h"
6 #include "object-file.h"
7 #include "hash-lookup.h"
11 #include "chunk-format.h"
12 #include "pack-bitmap.h"
13 #include "pack-revindex.h"
15 int midx_checksum_valid(struct multi_pack_index
*m
);
16 void clear_midx_files_ext(const char *object_dir
, const char *ext
,
17 unsigned char *keep_hash
);
18 int cmp_idx_or_pack_name(const char *idx_or_pack_name
,
19 const char *idx_name
);
21 const unsigned char *get_midx_checksum(struct multi_pack_index
*m
)
23 return m
->data
+ m
->data_len
- the_hash_algo
->rawsz
;
26 void get_midx_filename(struct strbuf
*out
, const char *object_dir
)
28 strbuf_addf(out
, "%s/pack/multi-pack-index", object_dir
);
31 void get_midx_rev_filename(struct strbuf
*out
, struct multi_pack_index
*m
)
33 get_midx_filename(out
, m
->object_dir
);
34 strbuf_addf(out
, "-%s.rev", hash_to_hex(get_midx_checksum(m
)));
37 static int midx_read_oid_fanout(const unsigned char *chunk_start
,
38 size_t chunk_size
, void *data
)
41 struct multi_pack_index
*m
= data
;
42 m
->chunk_oid_fanout
= (uint32_t *)chunk_start
;
44 if (chunk_size
!= 4 * 256) {
45 error(_("multi-pack-index OID fanout is of the wrong size"));
48 for (i
= 0; i
< 255; i
++) {
49 uint32_t oid_fanout1
= ntohl(m
->chunk_oid_fanout
[i
]);
50 uint32_t oid_fanout2
= ntohl(m
->chunk_oid_fanout
[i
+1]);
52 if (oid_fanout1
> oid_fanout2
) {
53 error(_("oid fanout out of order: fanout[%d] = %"PRIx32
" > %"PRIx32
" = fanout[%d]"),
54 i
, oid_fanout1
, oid_fanout2
, i
+ 1);
58 m
->num_objects
= ntohl(m
->chunk_oid_fanout
[255]);
62 static int midx_read_oid_lookup(const unsigned char *chunk_start
,
63 size_t chunk_size
, void *data
)
65 struct multi_pack_index
*m
= data
;
66 m
->chunk_oid_lookup
= chunk_start
;
68 if (chunk_size
!= st_mult(m
->hash_len
, m
->num_objects
)) {
69 error(_("multi-pack-index OID lookup chunk is the wrong size"));
75 static int midx_read_object_offsets(const unsigned char *chunk_start
,
76 size_t chunk_size
, void *data
)
78 struct multi_pack_index
*m
= data
;
79 m
->chunk_object_offsets
= chunk_start
;
81 if (chunk_size
!= st_mult(m
->num_objects
, MIDX_CHUNK_OFFSET_WIDTH
)) {
82 error(_("multi-pack-index object offset chunk is the wrong size"));
88 #define MIDX_MIN_SIZE (MIDX_HEADER_SIZE + the_hash_algo->rawsz)
90 struct multi_pack_index
*load_multi_pack_index(const char *object_dir
, int local
)
92 struct multi_pack_index
*m
= NULL
;
96 void *midx_map
= NULL
;
97 uint32_t hash_version
;
98 struct strbuf midx_name
= STRBUF_INIT
;
100 const char *cur_pack_name
;
101 struct chunkfile
*cf
= NULL
;
103 get_midx_filename(&midx_name
, object_dir
);
105 fd
= git_open(midx_name
.buf
);
109 if (fstat(fd
, &st
)) {
110 error_errno(_("failed to read %s"), midx_name
.buf
);
114 midx_size
= xsize_t(st
.st_size
);
116 if (midx_size
< MIDX_MIN_SIZE
) {
117 error(_("multi-pack-index file %s is too small"), midx_name
.buf
);
121 strbuf_release(&midx_name
);
123 midx_map
= xmmap(NULL
, midx_size
, PROT_READ
, MAP_PRIVATE
, fd
, 0);
126 FLEX_ALLOC_STR(m
, object_dir
, object_dir
);
128 m
->data_len
= midx_size
;
131 m
->signature
= get_be32(m
->data
);
132 if (m
->signature
!= MIDX_SIGNATURE
)
133 die(_("multi-pack-index signature 0x%08x does not match signature 0x%08x"),
134 m
->signature
, MIDX_SIGNATURE
);
136 m
->version
= m
->data
[MIDX_BYTE_FILE_VERSION
];
137 if (m
->version
!= MIDX_VERSION
)
138 die(_("multi-pack-index version %d not recognized"),
141 hash_version
= m
->data
[MIDX_BYTE_HASH_VERSION
];
142 if (hash_version
!= oid_version(the_hash_algo
)) {
143 error(_("multi-pack-index hash version %u does not match version %u"),
144 hash_version
, oid_version(the_hash_algo
));
147 m
->hash_len
= the_hash_algo
->rawsz
;
149 m
->num_chunks
= m
->data
[MIDX_BYTE_NUM_CHUNKS
];
151 m
->num_packs
= get_be32(m
->data
+ MIDX_BYTE_NUM_PACKS
);
153 m
->preferred_pack_idx
= -1;
155 cf
= init_chunkfile(NULL
);
157 if (read_table_of_contents(cf
, m
->data
, midx_size
,
158 MIDX_HEADER_SIZE
, m
->num_chunks
,
159 MIDX_CHUNK_ALIGNMENT
))
162 if (pair_chunk(cf
, MIDX_CHUNKID_PACKNAMES
, &m
->chunk_pack_names
, &m
->chunk_pack_names_len
))
163 die(_("multi-pack-index required pack-name chunk missing or corrupted"));
164 if (read_chunk(cf
, MIDX_CHUNKID_OIDFANOUT
, midx_read_oid_fanout
, m
))
165 die(_("multi-pack-index required OID fanout chunk missing or corrupted"));
166 if (read_chunk(cf
, MIDX_CHUNKID_OIDLOOKUP
, midx_read_oid_lookup
, m
))
167 die(_("multi-pack-index required OID lookup chunk missing or corrupted"));
168 if (read_chunk(cf
, MIDX_CHUNKID_OBJECTOFFSETS
, midx_read_object_offsets
, m
))
169 die(_("multi-pack-index required object offsets chunk missing or corrupted"));
171 pair_chunk(cf
, MIDX_CHUNKID_LARGEOFFSETS
, &m
->chunk_large_offsets
,
172 &m
->chunk_large_offsets_len
);
173 pair_chunk(cf
, MIDX_CHUNKID_BITMAPPEDPACKS
,
174 (const unsigned char **)&m
->chunk_bitmapped_packs
,
175 &m
->chunk_bitmapped_packs_len
);
177 if (git_env_bool("GIT_TEST_MIDX_READ_RIDX", 1))
178 pair_chunk(cf
, MIDX_CHUNKID_REVINDEX
, &m
->chunk_revindex
,
179 &m
->chunk_revindex_len
);
181 CALLOC_ARRAY(m
->pack_names
, m
->num_packs
);
182 CALLOC_ARRAY(m
->packs
, m
->num_packs
);
184 cur_pack_name
= (const char *)m
->chunk_pack_names
;
185 for (i
= 0; i
< m
->num_packs
; i
++) {
187 size_t avail
= m
->chunk_pack_names_len
-
188 (cur_pack_name
- (const char *)m
->chunk_pack_names
);
190 m
->pack_names
[i
] = cur_pack_name
;
192 end
= memchr(cur_pack_name
, '\0', avail
);
194 die(_("multi-pack-index pack-name chunk is too short"));
195 cur_pack_name
= end
+ 1;
197 if (i
&& strcmp(m
->pack_names
[i
], m
->pack_names
[i
- 1]) <= 0)
198 die(_("multi-pack-index pack names out of order: '%s' before '%s'"),
199 m
->pack_names
[i
- 1],
203 trace2_data_intmax("midx", the_repository
, "load/num_packs", m
->num_packs
);
204 trace2_data_intmax("midx", the_repository
, "load/num_objects", m
->num_objects
);
211 strbuf_release(&midx_name
);
214 munmap(midx_map
, midx_size
);
220 void close_midx(struct multi_pack_index
*m
)
229 munmap((unsigned char *)m
->data
, m
->data_len
);
231 for (i
= 0; i
< m
->num_packs
; i
++) {
233 m
->packs
[i
]->multi_pack_index
= 0;
235 FREE_AND_NULL(m
->packs
);
236 FREE_AND_NULL(m
->pack_names
);
240 int prepare_midx_pack(struct repository
*r
, struct multi_pack_index
*m
, uint32_t pack_int_id
)
242 struct strbuf pack_name
= STRBUF_INIT
;
243 struct packed_git
*p
;
245 if (pack_int_id
>= m
->num_packs
)
246 die(_("bad pack-int-id: %u (%u total packs)"),
247 pack_int_id
, m
->num_packs
);
249 if (m
->packs
[pack_int_id
])
252 strbuf_addf(&pack_name
, "%s/pack/%s", m
->object_dir
,
253 m
->pack_names
[pack_int_id
]);
255 p
= add_packed_git(pack_name
.buf
, pack_name
.len
, m
->local
);
256 strbuf_release(&pack_name
);
261 p
->multi_pack_index
= 1;
262 m
->packs
[pack_int_id
] = p
;
263 install_packed_git(r
, p
);
264 list_add_tail(&p
->mru
, &r
->objects
->packed_git_mru
);
269 #define MIDX_CHUNK_BITMAPPED_PACKS_WIDTH (2 * sizeof(uint32_t))
271 int nth_bitmapped_pack(struct repository
*r
, struct multi_pack_index
*m
,
272 struct bitmapped_pack
*bp
, uint32_t pack_int_id
)
274 if (!m
->chunk_bitmapped_packs
)
275 return error(_("MIDX does not contain the BTMP chunk"));
277 if (prepare_midx_pack(r
, m
, pack_int_id
))
278 return error(_("could not load bitmapped pack %"PRIu32
), pack_int_id
);
280 bp
->p
= m
->packs
[pack_int_id
];
281 bp
->bitmap_pos
= get_be32((char *)m
->chunk_bitmapped_packs
+
282 MIDX_CHUNK_BITMAPPED_PACKS_WIDTH
* pack_int_id
);
283 bp
->bitmap_nr
= get_be32((char *)m
->chunk_bitmapped_packs
+
284 MIDX_CHUNK_BITMAPPED_PACKS_WIDTH
* pack_int_id
+
286 bp
->pack_int_id
= pack_int_id
;
291 int bsearch_midx(const struct object_id
*oid
, struct multi_pack_index
*m
, uint32_t *result
)
293 return bsearch_hash(oid
->hash
, m
->chunk_oid_fanout
, m
->chunk_oid_lookup
,
294 the_hash_algo
->rawsz
, result
);
297 struct object_id
*nth_midxed_object_oid(struct object_id
*oid
,
298 struct multi_pack_index
*m
,
301 if (n
>= m
->num_objects
)
304 oidread(oid
, m
->chunk_oid_lookup
+ st_mult(m
->hash_len
, n
));
308 off_t
nth_midxed_offset(struct multi_pack_index
*m
, uint32_t pos
)
310 const unsigned char *offset_data
;
313 offset_data
= m
->chunk_object_offsets
+ (off_t
)pos
* MIDX_CHUNK_OFFSET_WIDTH
;
314 offset32
= get_be32(offset_data
+ sizeof(uint32_t));
316 if (m
->chunk_large_offsets
&& offset32
& MIDX_LARGE_OFFSET_NEEDED
) {
317 if (sizeof(off_t
) < sizeof(uint64_t))
318 die(_("multi-pack-index stores a 64-bit offset, but off_t is too small"));
320 offset32
^= MIDX_LARGE_OFFSET_NEEDED
;
321 if (offset32
>= m
->chunk_large_offsets_len
/ sizeof(uint64_t))
322 die(_("multi-pack-index large offset out of bounds"));
323 return get_be64(m
->chunk_large_offsets
+ sizeof(uint64_t) * offset32
);
329 uint32_t nth_midxed_pack_int_id(struct multi_pack_index
*m
, uint32_t pos
)
331 return get_be32(m
->chunk_object_offsets
+
332 (off_t
)pos
* MIDX_CHUNK_OFFSET_WIDTH
);
335 int fill_midx_entry(struct repository
*r
,
336 const struct object_id
*oid
,
337 struct pack_entry
*e
,
338 struct multi_pack_index
*m
)
341 uint32_t pack_int_id
;
342 struct packed_git
*p
;
344 if (!bsearch_midx(oid
, m
, &pos
))
347 if (pos
>= m
->num_objects
)
350 pack_int_id
= nth_midxed_pack_int_id(m
, pos
);
352 if (prepare_midx_pack(r
, m
, pack_int_id
))
354 p
= m
->packs
[pack_int_id
];
357 * We are about to tell the caller where they can locate the
358 * requested object. We better make sure the packfile is
359 * still here and can be accessed before supplying that
360 * answer, as it may have been deleted since the MIDX was
363 if (!is_pack_valid(p
))
366 if (oidset_size(&p
->bad_objects
) &&
367 oidset_contains(&p
->bad_objects
, oid
))
370 e
->offset
= nth_midxed_offset(m
, pos
);
376 /* Match "foo.idx" against either "foo.pack" _or_ "foo.idx". */
377 int cmp_idx_or_pack_name(const char *idx_or_pack_name
,
378 const char *idx_name
)
380 /* Skip past any initial matching prefix. */
381 while (*idx_name
&& *idx_name
== *idx_or_pack_name
) {
387 * If we didn't match completely, we may have matched "pack-1234." and
388 * be left with "idx" and "pack" respectively, which is also OK. We do
389 * not have to check for "idx" and "idx", because that would have been
390 * a complete match (and in that case these strcmps will be false, but
391 * we'll correctly return 0 from the final strcmp() below.
393 * Technically this matches "fooidx" and "foopack", but we'd never have
394 * such names in the first place.
396 if (!strcmp(idx_name
, "idx") && !strcmp(idx_or_pack_name
, "pack"))
400 * This not only checks for a complete match, but also orders based on
401 * the first non-identical character, which means our ordering will
402 * match a raw strcmp(). That makes it OK to use this to binary search
403 * a naively-sorted list.
405 return strcmp(idx_or_pack_name
, idx_name
);
408 int midx_locate_pack(struct multi_pack_index
*m
, const char *idx_or_pack_name
,
411 uint32_t first
= 0, last
= m
->num_packs
;
413 while (first
< last
) {
414 uint32_t mid
= first
+ (last
- first
) / 2;
418 current
= m
->pack_names
[mid
];
419 cmp
= cmp_idx_or_pack_name(idx_or_pack_name
, current
);
435 int midx_contains_pack(struct multi_pack_index
*m
, const char *idx_or_pack_name
)
437 return midx_locate_pack(m
, idx_or_pack_name
, NULL
);
440 int midx_preferred_pack(struct multi_pack_index
*m
, uint32_t *pack_int_id
)
442 if (m
->preferred_pack_idx
== -1) {
443 if (load_midx_revindex(m
) < 0) {
444 m
->preferred_pack_idx
= -2;
448 m
->preferred_pack_idx
=
449 nth_midxed_pack_int_id(m
, pack_pos_to_midx(m
, 0));
450 } else if (m
->preferred_pack_idx
== -2)
451 return -1; /* no revindex */
453 *pack_int_id
= m
->preferred_pack_idx
;
457 int prepare_multi_pack_index_one(struct repository
*r
, const char *object_dir
, int local
)
459 struct multi_pack_index
*m
;
460 struct multi_pack_index
*m_search
;
462 prepare_repo_settings(r
);
463 if (!r
->settings
.core_multi_pack_index
)
466 for (m_search
= r
->objects
->multi_pack_index
; m_search
; m_search
= m_search
->next
)
467 if (!strcmp(object_dir
, m_search
->object_dir
))
470 m
= load_multi_pack_index(object_dir
, local
);
473 struct multi_pack_index
*mp
= r
->objects
->multi_pack_index
;
478 r
->objects
->multi_pack_index
= m
;
485 int midx_checksum_valid(struct multi_pack_index
*m
)
487 return hashfile_checksum_valid(m
->data
, m
->data_len
);
490 struct clear_midx_data
{
495 static void clear_midx_file_ext(const char *full_path
, size_t full_path_len UNUSED
,
496 const char *file_name
, void *_data
)
498 struct clear_midx_data
*data
= _data
;
500 if (!(starts_with(file_name
, "multi-pack-index-") &&
501 ends_with(file_name
, data
->ext
)))
503 if (data
->keep
&& !strcmp(data
->keep
, file_name
))
506 if (unlink(full_path
))
507 die_errno(_("failed to remove %s"), full_path
);
510 void clear_midx_files_ext(const char *object_dir
, const char *ext
,
511 unsigned char *keep_hash
)
513 struct clear_midx_data data
;
514 memset(&data
, 0, sizeof(struct clear_midx_data
));
517 data
.keep
= xstrfmt("multi-pack-index-%s%s",
518 hash_to_hex(keep_hash
), ext
);
521 for_each_file_in_pack_dir(object_dir
,
528 void clear_midx_file(struct repository
*r
)
530 struct strbuf midx
= STRBUF_INIT
;
532 get_midx_filename(&midx
, r
->objects
->odb
->path
);
534 if (r
->objects
&& r
->objects
->multi_pack_index
) {
535 close_midx(r
->objects
->multi_pack_index
);
536 r
->objects
->multi_pack_index
= NULL
;
539 if (remove_path(midx
.buf
))
540 die(_("failed to clear multi-pack-index at %s"), midx
.buf
);
542 clear_midx_files_ext(r
->objects
->odb
->path
, ".bitmap", NULL
);
543 clear_midx_files_ext(r
->objects
->odb
->path
, ".rev", NULL
);
545 strbuf_release(&midx
);
548 static int verify_midx_error
;
550 __attribute__((format (printf
, 1, 2)))
551 static void midx_report(const char *fmt
, ...)
554 verify_midx_error
= 1;
556 vfprintf(stderr
, fmt
, ap
);
557 fprintf(stderr
, "\n");
561 struct pair_pos_vs_id
564 uint32_t pack_int_id
;
567 static int compare_pair_pos_vs_id(const void *_a
, const void *_b
)
569 struct pair_pos_vs_id
*a
= (struct pair_pos_vs_id
*)_a
;
570 struct pair_pos_vs_id
*b
= (struct pair_pos_vs_id
*)_b
;
572 return b
->pack_int_id
- a
->pack_int_id
;
576 * Limit calls to display_progress() for performance reasons.
577 * The interval here was arbitrarily chosen.
579 #define SPARSE_PROGRESS_INTERVAL (1 << 12)
580 #define midx_display_sparse_progress(progress, n) \
583 if ((_n & (SPARSE_PROGRESS_INTERVAL - 1)) == 0) \
584 display_progress(progress, _n); \
587 int verify_midx_file(struct repository
*r
, const char *object_dir
, unsigned flags
)
589 struct pair_pos_vs_id
*pairs
= NULL
;
591 struct progress
*progress
= NULL
;
592 struct multi_pack_index
*m
= load_multi_pack_index(object_dir
, 1);
593 verify_midx_error
= 0;
598 struct strbuf filename
= STRBUF_INIT
;
600 get_midx_filename(&filename
, object_dir
);
602 if (!stat(filename
.buf
, &sb
)) {
603 error(_("multi-pack-index file exists, but failed to parse"));
606 strbuf_release(&filename
);
610 if (!midx_checksum_valid(m
))
611 midx_report(_("incorrect checksum"));
613 if (flags
& MIDX_PROGRESS
)
614 progress
= start_delayed_progress(_("Looking for referenced packfiles"),
616 for (i
= 0; i
< m
->num_packs
; i
++) {
617 if (prepare_midx_pack(r
, m
, i
))
618 midx_report("failed to load pack in position %d", i
);
620 display_progress(progress
, i
+ 1);
622 stop_progress(&progress
);
624 if (m
->num_objects
== 0) {
625 midx_report(_("the midx contains no oid"));
627 * Remaining tests assume that we have objects, so we can
633 if (flags
& MIDX_PROGRESS
)
634 progress
= start_sparse_progress(_("Verifying OID order in multi-pack-index"),
636 for (i
= 0; i
< m
->num_objects
- 1; i
++) {
637 struct object_id oid1
, oid2
;
639 nth_midxed_object_oid(&oid1
, m
, i
);
640 nth_midxed_object_oid(&oid2
, m
, i
+ 1);
642 if (oidcmp(&oid1
, &oid2
) >= 0)
643 midx_report(_("oid lookup out of order: oid[%d] = %s >= %s = oid[%d]"),
644 i
, oid_to_hex(&oid1
), oid_to_hex(&oid2
), i
+ 1);
646 midx_display_sparse_progress(progress
, i
+ 1);
648 stop_progress(&progress
);
651 * Create an array mapping each object to its packfile id. Sort it
652 * to group the objects by packfile. Use this permutation to visit
653 * each of the objects and only require 1 packfile to be open at a
656 ALLOC_ARRAY(pairs
, m
->num_objects
);
657 for (i
= 0; i
< m
->num_objects
; i
++) {
659 pairs
[i
].pack_int_id
= nth_midxed_pack_int_id(m
, i
);
662 if (flags
& MIDX_PROGRESS
)
663 progress
= start_sparse_progress(_("Sorting objects by packfile"),
665 display_progress(progress
, 0); /* TODO: Measure QSORT() progress */
666 QSORT(pairs
, m
->num_objects
, compare_pair_pos_vs_id
);
667 stop_progress(&progress
);
669 if (flags
& MIDX_PROGRESS
)
670 progress
= start_sparse_progress(_("Verifying object offsets"), m
->num_objects
);
671 for (i
= 0; i
< m
->num_objects
; i
++) {
672 struct object_id oid
;
674 off_t m_offset
, p_offset
;
676 if (i
> 0 && pairs
[i
-1].pack_int_id
!= pairs
[i
].pack_int_id
&&
677 m
->packs
[pairs
[i
-1].pack_int_id
])
679 close_pack_fd(m
->packs
[pairs
[i
-1].pack_int_id
]);
680 close_pack_index(m
->packs
[pairs
[i
-1].pack_int_id
]);
683 nth_midxed_object_oid(&oid
, m
, pairs
[i
].pos
);
685 if (!fill_midx_entry(r
, &oid
, &e
, m
)) {
686 midx_report(_("failed to load pack entry for oid[%d] = %s"),
687 pairs
[i
].pos
, oid_to_hex(&oid
));
691 if (open_pack_index(e
.p
)) {
692 midx_report(_("failed to load pack-index for packfile %s"),
698 p_offset
= find_pack_entry_one(oid
.hash
, e
.p
);
700 if (m_offset
!= p_offset
)
701 midx_report(_("incorrect object offset for oid[%d] = %s: %"PRIx64
" != %"PRIx64
),
702 pairs
[i
].pos
, oid_to_hex(&oid
), m_offset
, p_offset
);
704 midx_display_sparse_progress(progress
, i
+ 1);
706 stop_progress(&progress
);
712 return verify_midx_error
;