1 #include "git-compat-util.h"
10 #include "object-file.h"
11 #include "object-store-ll.h"
12 #include "hash-lookup.h"
16 #include "run-command.h"
17 #include "repository.h"
18 #include "chunk-format.h"
20 #include "pack-bitmap.h"
23 #include "list-objects.h"
25 #define MIDX_SIGNATURE 0x4d494458 /* "MIDX" */
26 #define MIDX_VERSION 1
27 #define MIDX_BYTE_FILE_VERSION 4
28 #define MIDX_BYTE_HASH_VERSION 5
29 #define MIDX_BYTE_NUM_CHUNKS 6
30 #define MIDX_BYTE_NUM_PACKS 8
31 #define MIDX_HEADER_SIZE 12
32 #define MIDX_MIN_SIZE (MIDX_HEADER_SIZE + the_hash_algo->rawsz)
34 #define MIDX_CHUNK_ALIGNMENT 4
35 #define MIDX_CHUNKID_PACKNAMES 0x504e414d /* "PNAM" */
36 #define MIDX_CHUNKID_BITMAPPEDPACKS 0x42544d50 /* "BTMP" */
37 #define MIDX_CHUNKID_OIDFANOUT 0x4f494446 /* "OIDF" */
38 #define MIDX_CHUNKID_OIDLOOKUP 0x4f49444c /* "OIDL" */
39 #define MIDX_CHUNKID_OBJECTOFFSETS 0x4f4f4646 /* "OOFF" */
40 #define MIDX_CHUNKID_LARGEOFFSETS 0x4c4f4646 /* "LOFF" */
41 #define MIDX_CHUNKID_REVINDEX 0x52494458 /* "RIDX" */
42 #define MIDX_CHUNK_FANOUT_SIZE (sizeof(uint32_t) * 256)
43 #define MIDX_CHUNK_OFFSET_WIDTH (2 * sizeof(uint32_t))
44 #define MIDX_CHUNK_LARGE_OFFSET_WIDTH (sizeof(uint64_t))
45 #define MIDX_CHUNK_BITMAPPED_PACKS_WIDTH (2 * sizeof(uint32_t))
46 #define MIDX_LARGE_OFFSET_NEEDED 0x80000000
48 #define PACK_EXPIRED UINT_MAX
50 const unsigned char *get_midx_checksum(struct multi_pack_index
*m
)
52 return m
->data
+ m
->data_len
- the_hash_algo
->rawsz
;
55 void get_midx_filename(struct strbuf
*out
, const char *object_dir
)
57 strbuf_addf(out
, "%s/pack/multi-pack-index", object_dir
);
60 void get_midx_rev_filename(struct strbuf
*out
, struct multi_pack_index
*m
)
62 get_midx_filename(out
, m
->object_dir
);
63 strbuf_addf(out
, "-%s.rev", hash_to_hex(get_midx_checksum(m
)));
66 static int midx_read_oid_fanout(const unsigned char *chunk_start
,
67 size_t chunk_size
, void *data
)
70 struct multi_pack_index
*m
= data
;
71 m
->chunk_oid_fanout
= (uint32_t *)chunk_start
;
73 if (chunk_size
!= 4 * 256) {
74 error(_("multi-pack-index OID fanout is of the wrong size"));
77 for (i
= 0; i
< 255; i
++) {
78 uint32_t oid_fanout1
= ntohl(m
->chunk_oid_fanout
[i
]);
79 uint32_t oid_fanout2
= ntohl(m
->chunk_oid_fanout
[i
+1]);
81 if (oid_fanout1
> oid_fanout2
) {
82 error(_("oid fanout out of order: fanout[%d] = %"PRIx32
" > %"PRIx32
" = fanout[%d]"),
83 i
, oid_fanout1
, oid_fanout2
, i
+ 1);
87 m
->num_objects
= ntohl(m
->chunk_oid_fanout
[255]);
91 static int midx_read_oid_lookup(const unsigned char *chunk_start
,
92 size_t chunk_size
, void *data
)
94 struct multi_pack_index
*m
= data
;
95 m
->chunk_oid_lookup
= chunk_start
;
97 if (chunk_size
!= st_mult(m
->hash_len
, m
->num_objects
)) {
98 error(_("multi-pack-index OID lookup chunk is the wrong size"));
104 static int midx_read_object_offsets(const unsigned char *chunk_start
,
105 size_t chunk_size
, void *data
)
107 struct multi_pack_index
*m
= data
;
108 m
->chunk_object_offsets
= chunk_start
;
110 if (chunk_size
!= st_mult(m
->num_objects
, MIDX_CHUNK_OFFSET_WIDTH
)) {
111 error(_("multi-pack-index object offset chunk is the wrong size"));
117 struct multi_pack_index
*load_multi_pack_index(const char *object_dir
, int local
)
119 struct multi_pack_index
*m
= NULL
;
123 void *midx_map
= NULL
;
124 uint32_t hash_version
;
125 struct strbuf midx_name
= STRBUF_INIT
;
127 const char *cur_pack_name
;
128 struct chunkfile
*cf
= NULL
;
130 get_midx_filename(&midx_name
, object_dir
);
132 fd
= git_open(midx_name
.buf
);
136 if (fstat(fd
, &st
)) {
137 error_errno(_("failed to read %s"), midx_name
.buf
);
141 midx_size
= xsize_t(st
.st_size
);
143 if (midx_size
< MIDX_MIN_SIZE
) {
144 error(_("multi-pack-index file %s is too small"), midx_name
.buf
);
148 strbuf_release(&midx_name
);
150 midx_map
= xmmap(NULL
, midx_size
, PROT_READ
, MAP_PRIVATE
, fd
, 0);
153 FLEX_ALLOC_STR(m
, object_dir
, object_dir
);
155 m
->data_len
= midx_size
;
158 m
->signature
= get_be32(m
->data
);
159 if (m
->signature
!= MIDX_SIGNATURE
)
160 die(_("multi-pack-index signature 0x%08x does not match signature 0x%08x"),
161 m
->signature
, MIDX_SIGNATURE
);
163 m
->version
= m
->data
[MIDX_BYTE_FILE_VERSION
];
164 if (m
->version
!= MIDX_VERSION
)
165 die(_("multi-pack-index version %d not recognized"),
168 hash_version
= m
->data
[MIDX_BYTE_HASH_VERSION
];
169 if (hash_version
!= oid_version(the_hash_algo
)) {
170 error(_("multi-pack-index hash version %u does not match version %u"),
171 hash_version
, oid_version(the_hash_algo
));
174 m
->hash_len
= the_hash_algo
->rawsz
;
176 m
->num_chunks
= m
->data
[MIDX_BYTE_NUM_CHUNKS
];
178 m
->num_packs
= get_be32(m
->data
+ MIDX_BYTE_NUM_PACKS
);
180 cf
= init_chunkfile(NULL
);
182 if (read_table_of_contents(cf
, m
->data
, midx_size
,
183 MIDX_HEADER_SIZE
, m
->num_chunks
,
184 MIDX_CHUNK_ALIGNMENT
))
187 if (pair_chunk(cf
, MIDX_CHUNKID_PACKNAMES
, &m
->chunk_pack_names
, &m
->chunk_pack_names_len
))
188 die(_("multi-pack-index required pack-name chunk missing or corrupted"));
189 if (read_chunk(cf
, MIDX_CHUNKID_OIDFANOUT
, midx_read_oid_fanout
, m
))
190 die(_("multi-pack-index required OID fanout chunk missing or corrupted"));
191 if (read_chunk(cf
, MIDX_CHUNKID_OIDLOOKUP
, midx_read_oid_lookup
, m
))
192 die(_("multi-pack-index required OID lookup chunk missing or corrupted"));
193 if (read_chunk(cf
, MIDX_CHUNKID_OBJECTOFFSETS
, midx_read_object_offsets
, m
))
194 die(_("multi-pack-index required object offsets chunk missing or corrupted"));
196 pair_chunk(cf
, MIDX_CHUNKID_LARGEOFFSETS
, &m
->chunk_large_offsets
,
197 &m
->chunk_large_offsets_len
);
198 pair_chunk(cf
, MIDX_CHUNKID_BITMAPPEDPACKS
,
199 (const unsigned char **)&m
->chunk_bitmapped_packs
,
200 &m
->chunk_bitmapped_packs_len
);
202 if (git_env_bool("GIT_TEST_MIDX_READ_RIDX", 1))
203 pair_chunk(cf
, MIDX_CHUNKID_REVINDEX
, &m
->chunk_revindex
,
204 &m
->chunk_revindex_len
);
206 CALLOC_ARRAY(m
->pack_names
, m
->num_packs
);
207 CALLOC_ARRAY(m
->packs
, m
->num_packs
);
209 cur_pack_name
= (const char *)m
->chunk_pack_names
;
210 for (i
= 0; i
< m
->num_packs
; i
++) {
212 size_t avail
= m
->chunk_pack_names_len
-
213 (cur_pack_name
- (const char *)m
->chunk_pack_names
);
215 m
->pack_names
[i
] = cur_pack_name
;
217 end
= memchr(cur_pack_name
, '\0', avail
);
219 die(_("multi-pack-index pack-name chunk is too short"));
220 cur_pack_name
= end
+ 1;
222 if (i
&& strcmp(m
->pack_names
[i
], m
->pack_names
[i
- 1]) <= 0)
223 die(_("multi-pack-index pack names out of order: '%s' before '%s'"),
224 m
->pack_names
[i
- 1],
228 trace2_data_intmax("midx", the_repository
, "load/num_packs", m
->num_packs
);
229 trace2_data_intmax("midx", the_repository
, "load/num_objects", m
->num_objects
);
236 strbuf_release(&midx_name
);
239 munmap(midx_map
, midx_size
);
245 void close_midx(struct multi_pack_index
*m
)
254 munmap((unsigned char *)m
->data
, m
->data_len
);
256 for (i
= 0; i
< m
->num_packs
; i
++) {
258 m
->packs
[i
]->multi_pack_index
= 0;
260 FREE_AND_NULL(m
->packs
);
261 FREE_AND_NULL(m
->pack_names
);
265 int prepare_midx_pack(struct repository
*r
, struct multi_pack_index
*m
, uint32_t pack_int_id
)
267 struct strbuf pack_name
= STRBUF_INIT
;
268 struct packed_git
*p
;
270 if (pack_int_id
>= m
->num_packs
)
271 die(_("bad pack-int-id: %u (%u total packs)"),
272 pack_int_id
, m
->num_packs
);
274 if (m
->packs
[pack_int_id
])
277 strbuf_addf(&pack_name
, "%s/pack/%s", m
->object_dir
,
278 m
->pack_names
[pack_int_id
]);
280 p
= add_packed_git(pack_name
.buf
, pack_name
.len
, m
->local
);
281 strbuf_release(&pack_name
);
286 p
->multi_pack_index
= 1;
287 m
->packs
[pack_int_id
] = p
;
288 install_packed_git(r
, p
);
289 list_add_tail(&p
->mru
, &r
->objects
->packed_git_mru
);
294 int nth_bitmapped_pack(struct repository
*r
, struct multi_pack_index
*m
,
295 struct bitmapped_pack
*bp
, uint32_t pack_int_id
)
297 if (!m
->chunk_bitmapped_packs
)
298 return error(_("MIDX does not contain the BTMP chunk"));
300 if (prepare_midx_pack(r
, m
, pack_int_id
))
301 return error(_("could not load bitmapped pack %"PRIu32
), pack_int_id
);
303 bp
->p
= m
->packs
[pack_int_id
];
304 bp
->bitmap_pos
= get_be32((char *)m
->chunk_bitmapped_packs
+
305 MIDX_CHUNK_BITMAPPED_PACKS_WIDTH
* pack_int_id
);
306 bp
->bitmap_nr
= get_be32((char *)m
->chunk_bitmapped_packs
+
307 MIDX_CHUNK_BITMAPPED_PACKS_WIDTH
* pack_int_id
+
309 bp
->pack_int_id
= pack_int_id
;
314 int bsearch_midx(const struct object_id
*oid
, struct multi_pack_index
*m
, uint32_t *result
)
316 return bsearch_hash(oid
->hash
, m
->chunk_oid_fanout
, m
->chunk_oid_lookup
,
317 the_hash_algo
->rawsz
, result
);
320 struct object_id
*nth_midxed_object_oid(struct object_id
*oid
,
321 struct multi_pack_index
*m
,
324 if (n
>= m
->num_objects
)
327 oidread(oid
, m
->chunk_oid_lookup
+ st_mult(m
->hash_len
, n
));
331 off_t
nth_midxed_offset(struct multi_pack_index
*m
, uint32_t pos
)
333 const unsigned char *offset_data
;
336 offset_data
= m
->chunk_object_offsets
+ (off_t
)pos
* MIDX_CHUNK_OFFSET_WIDTH
;
337 offset32
= get_be32(offset_data
+ sizeof(uint32_t));
339 if (m
->chunk_large_offsets
&& offset32
& MIDX_LARGE_OFFSET_NEEDED
) {
340 if (sizeof(off_t
) < sizeof(uint64_t))
341 die(_("multi-pack-index stores a 64-bit offset, but off_t is too small"));
343 offset32
^= MIDX_LARGE_OFFSET_NEEDED
;
344 if (offset32
>= m
->chunk_large_offsets_len
/ sizeof(uint64_t))
345 die(_("multi-pack-index large offset out of bounds"));
346 return get_be64(m
->chunk_large_offsets
+ sizeof(uint64_t) * offset32
);
352 uint32_t nth_midxed_pack_int_id(struct multi_pack_index
*m
, uint32_t pos
)
354 return get_be32(m
->chunk_object_offsets
+
355 (off_t
)pos
* MIDX_CHUNK_OFFSET_WIDTH
);
358 int fill_midx_entry(struct repository
*r
,
359 const struct object_id
*oid
,
360 struct pack_entry
*e
,
361 struct multi_pack_index
*m
)
364 uint32_t pack_int_id
;
365 struct packed_git
*p
;
367 if (!bsearch_midx(oid
, m
, &pos
))
370 if (pos
>= m
->num_objects
)
373 pack_int_id
= nth_midxed_pack_int_id(m
, pos
);
375 if (prepare_midx_pack(r
, m
, pack_int_id
))
377 p
= m
->packs
[pack_int_id
];
380 * We are about to tell the caller where they can locate the
381 * requested object. We better make sure the packfile is
382 * still here and can be accessed before supplying that
383 * answer, as it may have been deleted since the MIDX was
386 if (!is_pack_valid(p
))
389 if (oidset_size(&p
->bad_objects
) &&
390 oidset_contains(&p
->bad_objects
, oid
))
393 e
->offset
= nth_midxed_offset(m
, pos
);
399 /* Match "foo.idx" against either "foo.pack" _or_ "foo.idx". */
400 static int cmp_idx_or_pack_name(const char *idx_or_pack_name
,
401 const char *idx_name
)
403 /* Skip past any initial matching prefix. */
404 while (*idx_name
&& *idx_name
== *idx_or_pack_name
) {
410 * If we didn't match completely, we may have matched "pack-1234." and
411 * be left with "idx" and "pack" respectively, which is also OK. We do
412 * not have to check for "idx" and "idx", because that would have been
413 * a complete match (and in that case these strcmps will be false, but
414 * we'll correctly return 0 from the final strcmp() below.
416 * Technically this matches "fooidx" and "foopack", but we'd never have
417 * such names in the first place.
419 if (!strcmp(idx_name
, "idx") && !strcmp(idx_or_pack_name
, "pack"))
423 * This not only checks for a complete match, but also orders based on
424 * the first non-identical character, which means our ordering will
425 * match a raw strcmp(). That makes it OK to use this to binary search
426 * a naively-sorted list.
428 return strcmp(idx_or_pack_name
, idx_name
);
431 int midx_contains_pack(struct multi_pack_index
*m
, const char *idx_or_pack_name
)
433 uint32_t first
= 0, last
= m
->num_packs
;
435 while (first
< last
) {
436 uint32_t mid
= first
+ (last
- first
) / 2;
440 current
= m
->pack_names
[mid
];
441 cmp
= cmp_idx_or_pack_name(idx_or_pack_name
, current
);
454 int prepare_multi_pack_index_one(struct repository
*r
, const char *object_dir
, int local
)
456 struct multi_pack_index
*m
;
457 struct multi_pack_index
*m_search
;
459 prepare_repo_settings(r
);
460 if (!r
->settings
.core_multi_pack_index
)
463 for (m_search
= r
->objects
->multi_pack_index
; m_search
; m_search
= m_search
->next
)
464 if (!strcmp(object_dir
, m_search
->object_dir
))
467 m
= load_multi_pack_index(object_dir
, local
);
470 struct multi_pack_index
*mp
= r
->objects
->multi_pack_index
;
475 r
->objects
->multi_pack_index
= m
;
482 static size_t write_midx_header(struct hashfile
*f
,
483 unsigned char num_chunks
,
486 hashwrite_be32(f
, MIDX_SIGNATURE
);
487 hashwrite_u8(f
, MIDX_VERSION
);
488 hashwrite_u8(f
, oid_version(the_hash_algo
));
489 hashwrite_u8(f
, num_chunks
);
490 hashwrite_u8(f
, 0); /* unused */
491 hashwrite_be32(f
, num_packs
);
493 return MIDX_HEADER_SIZE
;
496 #define BITMAP_POS_UNKNOWN (~((uint32_t)0))
499 uint32_t orig_pack_int_id
;
501 struct packed_git
*p
;
506 unsigned expired
: 1;
509 static void fill_pack_info(struct pack_info
*info
,
510 struct packed_git
*p
, const char *pack_name
,
511 uint32_t orig_pack_int_id
)
513 memset(info
, 0, sizeof(struct pack_info
));
515 info
->orig_pack_int_id
= orig_pack_int_id
;
516 info
->pack_name
= xstrdup(pack_name
);
518 info
->bitmap_pos
= BITMAP_POS_UNKNOWN
;
521 static int pack_info_compare(const void *_a
, const void *_b
)
523 struct pack_info
*a
= (struct pack_info
*)_a
;
524 struct pack_info
*b
= (struct pack_info
*)_b
;
525 return strcmp(a
->pack_name
, b
->pack_name
);
528 static int idx_or_pack_name_cmp(const void *_va
, const void *_vb
)
530 const char *pack_name
= _va
;
531 const struct pack_info
*compar
= _vb
;
533 return cmp_idx_or_pack_name(pack_name
, compar
->pack_name
);
536 struct write_midx_context
{
537 struct pack_info
*info
;
540 struct multi_pack_index
*m
;
541 struct progress
*progress
;
542 unsigned pack_paths_checked
;
544 struct pack_midx_entry
*entries
;
548 uint32_t *pack_order
;
549 unsigned large_offsets_needed
:1;
550 uint32_t num_large_offsets
;
552 int preferred_pack_idx
;
554 struct string_list
*to_include
;
557 static void add_pack_to_midx(const char *full_path
, size_t full_path_len
,
558 const char *file_name
, void *data
)
560 struct write_midx_context
*ctx
= data
;
561 struct packed_git
*p
;
563 if (ends_with(file_name
, ".idx")) {
564 display_progress(ctx
->progress
, ++ctx
->pack_paths_checked
);
566 * Note that at most one of ctx->m and ctx->to_include are set,
567 * so we are testing midx_contains_pack() and
568 * string_list_has_string() independently (guarded by the
569 * appropriate NULL checks).
571 * We could support passing to_include while reusing an existing
572 * MIDX, but don't currently since the reuse process drags
573 * forward all packs from an existing MIDX (without checking
574 * whether or not they appear in the to_include list).
576 * If we added support for that, these next two conditional
577 * should be performed independently (likely checking
578 * to_include before the existing MIDX).
580 if (ctx
->m
&& midx_contains_pack(ctx
->m
, file_name
))
582 else if (ctx
->to_include
&&
583 !string_list_has_string(ctx
->to_include
, file_name
))
586 ALLOC_GROW(ctx
->info
, ctx
->nr
+ 1, ctx
->alloc
);
588 p
= add_packed_git(full_path
, full_path_len
, 0);
590 warning(_("failed to add packfile '%s'"),
595 if (open_pack_index(p
)) {
596 warning(_("failed to open pack-index '%s'"),
603 fill_pack_info(&ctx
->info
[ctx
->nr
], p
, file_name
, ctx
->nr
);
608 struct pack_midx_entry
{
609 struct object_id oid
;
610 uint32_t pack_int_id
;
613 unsigned preferred
: 1;
616 static int midx_oid_compare(const void *_a
, const void *_b
)
618 const struct pack_midx_entry
*a
= (const struct pack_midx_entry
*)_a
;
619 const struct pack_midx_entry
*b
= (const struct pack_midx_entry
*)_b
;
620 int cmp
= oidcmp(&a
->oid
, &b
->oid
);
625 /* Sort objects in a preferred pack first when multiple copies exist. */
626 if (a
->preferred
> b
->preferred
)
628 if (a
->preferred
< b
->preferred
)
631 if (a
->pack_mtime
> b
->pack_mtime
)
633 else if (a
->pack_mtime
< b
->pack_mtime
)
636 return a
->pack_int_id
- b
->pack_int_id
;
639 static int nth_midxed_pack_midx_entry(struct multi_pack_index
*m
,
640 struct pack_midx_entry
*e
,
643 if (pos
>= m
->num_objects
)
646 nth_midxed_object_oid(&e
->oid
, m
, pos
);
647 e
->pack_int_id
= nth_midxed_pack_int_id(m
, pos
);
648 e
->offset
= nth_midxed_offset(m
, pos
);
650 /* consider objects in midx to be from "old" packs */
655 static void fill_pack_entry(uint32_t pack_int_id
,
656 struct packed_git
*p
,
658 struct pack_midx_entry
*entry
,
661 if (nth_packed_object_id(&entry
->oid
, p
, cur_object
) < 0)
662 die(_("failed to locate object %d in packfile"), cur_object
);
664 entry
->pack_int_id
= pack_int_id
;
665 entry
->pack_mtime
= p
->mtime
;
667 entry
->offset
= nth_packed_object_offset(p
, cur_object
);
668 entry
->preferred
= !!preferred
;
672 struct pack_midx_entry
*entries
;
676 static void midx_fanout_grow(struct midx_fanout
*fanout
, size_t nr
)
679 BUG("negative growth in midx_fanout_grow() (%"PRIuMAX
" < %"PRIuMAX
")",
680 (uintmax_t)nr
, (uintmax_t)fanout
->nr
);
681 ALLOC_GROW(fanout
->entries
, nr
, fanout
->alloc
);
684 static void midx_fanout_sort(struct midx_fanout
*fanout
)
686 QSORT(fanout
->entries
, fanout
->nr
, midx_oid_compare
);
689 static void midx_fanout_add_midx_fanout(struct midx_fanout
*fanout
,
690 struct multi_pack_index
*m
,
694 uint32_t start
= 0, end
;
698 start
= ntohl(m
->chunk_oid_fanout
[cur_fanout
- 1]);
699 end
= ntohl(m
->chunk_oid_fanout
[cur_fanout
]);
701 for (cur_object
= start
; cur_object
< end
; cur_object
++) {
702 if ((preferred_pack
> -1) &&
703 (preferred_pack
== nth_midxed_pack_int_id(m
, cur_object
))) {
705 * Objects from preferred packs are added
711 midx_fanout_grow(fanout
, fanout
->nr
+ 1);
712 nth_midxed_pack_midx_entry(m
,
713 &fanout
->entries
[fanout
->nr
],
715 fanout
->entries
[fanout
->nr
].preferred
= 0;
720 static void midx_fanout_add_pack_fanout(struct midx_fanout
*fanout
,
721 struct pack_info
*info
,
726 struct packed_git
*pack
= info
[cur_pack
].p
;
727 uint32_t start
= 0, end
;
731 start
= get_pack_fanout(pack
, cur_fanout
- 1);
732 end
= get_pack_fanout(pack
, cur_fanout
);
734 for (cur_object
= start
; cur_object
< end
; cur_object
++) {
735 midx_fanout_grow(fanout
, fanout
->nr
+ 1);
736 fill_pack_entry(cur_pack
,
739 &fanout
->entries
[fanout
->nr
],
746 * It is possible to artificially get into a state where there are many
747 * duplicate copies of objects. That can create high memory pressure if
748 * we are to create a list of all objects before de-duplication. To reduce
749 * this memory pressure without a significant performance drop, automatically
750 * group objects by the first byte of their object id. Use the IDX fanout
751 * tables to group the data, copy to a local array, then sort.
753 * Copy only the de-duplicated entries (selected by most-recent modified time
754 * of a packfile containing the object).
756 static struct pack_midx_entry
*get_sorted_entries(struct multi_pack_index
*m
,
757 struct pack_info
*info
,
762 uint32_t cur_fanout
, cur_pack
, cur_object
;
763 size_t alloc_objects
, total_objects
= 0;
764 struct midx_fanout fanout
= { 0 };
765 struct pack_midx_entry
*deduplicated_entries
= NULL
;
766 uint32_t start_pack
= m
? m
->num_packs
: 0;
768 for (cur_pack
= start_pack
; cur_pack
< nr_packs
; cur_pack
++)
769 total_objects
= st_add(total_objects
,
770 info
[cur_pack
].p
->num_objects
);
773 * As we de-duplicate by fanout value, we expect the fanout
774 * slices to be evenly distributed, with some noise. Hence,
775 * allocate slightly more than one 256th.
777 alloc_objects
= fanout
.alloc
= total_objects
> 3200 ? total_objects
/ 200 : 16;
779 ALLOC_ARRAY(fanout
.entries
, fanout
.alloc
);
780 ALLOC_ARRAY(deduplicated_entries
, alloc_objects
);
783 for (cur_fanout
= 0; cur_fanout
< 256; cur_fanout
++) {
787 midx_fanout_add_midx_fanout(&fanout
, m
, cur_fanout
,
790 for (cur_pack
= start_pack
; cur_pack
< nr_packs
; cur_pack
++) {
791 int preferred
= cur_pack
== preferred_pack
;
792 midx_fanout_add_pack_fanout(&fanout
,
794 preferred
, cur_fanout
);
797 if (-1 < preferred_pack
&& preferred_pack
< start_pack
)
798 midx_fanout_add_pack_fanout(&fanout
, info
,
802 midx_fanout_sort(&fanout
);
805 * The batch is now sorted by OID and then mtime (descending).
806 * Take only the first duplicate.
808 for (cur_object
= 0; cur_object
< fanout
.nr
; cur_object
++) {
809 if (cur_object
&& oideq(&fanout
.entries
[cur_object
- 1].oid
,
810 &fanout
.entries
[cur_object
].oid
))
813 ALLOC_GROW(deduplicated_entries
, st_add(*nr_objects
, 1),
815 memcpy(&deduplicated_entries
[*nr_objects
],
816 &fanout
.entries
[cur_object
],
817 sizeof(struct pack_midx_entry
));
822 free(fanout
.entries
);
823 return deduplicated_entries
;
826 static int write_midx_pack_names(struct hashfile
*f
, void *data
)
828 struct write_midx_context
*ctx
= data
;
830 unsigned char padding
[MIDX_CHUNK_ALIGNMENT
];
833 for (i
= 0; i
< ctx
->nr
; i
++) {
836 if (ctx
->info
[i
].expired
)
839 if (i
&& strcmp(ctx
->info
[i
].pack_name
, ctx
->info
[i
- 1].pack_name
) <= 0)
840 BUG("incorrect pack-file order: %s before %s",
841 ctx
->info
[i
- 1].pack_name
,
842 ctx
->info
[i
].pack_name
);
844 writelen
= strlen(ctx
->info
[i
].pack_name
) + 1;
845 hashwrite(f
, ctx
->info
[i
].pack_name
, writelen
);
849 /* add padding to be aligned */
850 i
= MIDX_CHUNK_ALIGNMENT
- (written
% MIDX_CHUNK_ALIGNMENT
);
851 if (i
< MIDX_CHUNK_ALIGNMENT
) {
852 memset(padding
, 0, sizeof(padding
));
853 hashwrite(f
, padding
, i
);
859 static int write_midx_bitmapped_packs(struct hashfile
*f
, void *data
)
861 struct write_midx_context
*ctx
= data
;
864 for (i
= 0; i
< ctx
->nr
; i
++) {
865 struct pack_info
*pack
= &ctx
->info
[i
];
869 if (pack
->bitmap_pos
== BITMAP_POS_UNKNOWN
&& pack
->bitmap_nr
)
870 BUG("pack '%s' has no bitmap position, but has %d bitmapped object(s)",
871 pack
->pack_name
, pack
->bitmap_nr
);
873 hashwrite_be32(f
, pack
->bitmap_pos
);
874 hashwrite_be32(f
, pack
->bitmap_nr
);
879 static int write_midx_oid_fanout(struct hashfile
*f
,
882 struct write_midx_context
*ctx
= data
;
883 struct pack_midx_entry
*list
= ctx
->entries
;
884 struct pack_midx_entry
*last
= ctx
->entries
+ ctx
->entries_nr
;
889 * Write the first-level table (the list is sorted,
890 * but we use a 256-entry lookup to be able to avoid
891 * having to do eight extra binary search iterations).
893 for (i
= 0; i
< 256; i
++) {
894 struct pack_midx_entry
*next
= list
;
896 while (next
< last
&& next
->oid
.hash
[0] == i
) {
901 hashwrite_be32(f
, count
);
908 static int write_midx_oid_lookup(struct hashfile
*f
,
911 struct write_midx_context
*ctx
= data
;
912 unsigned char hash_len
= the_hash_algo
->rawsz
;
913 struct pack_midx_entry
*list
= ctx
->entries
;
916 for (i
= 0; i
< ctx
->entries_nr
; i
++) {
917 struct pack_midx_entry
*obj
= list
++;
919 if (i
< ctx
->entries_nr
- 1) {
920 struct pack_midx_entry
*next
= list
;
921 if (oidcmp(&obj
->oid
, &next
->oid
) >= 0)
922 BUG("OIDs not in order: %s >= %s",
923 oid_to_hex(&obj
->oid
),
924 oid_to_hex(&next
->oid
));
927 hashwrite(f
, obj
->oid
.hash
, (int)hash_len
);
933 static int write_midx_object_offsets(struct hashfile
*f
,
936 struct write_midx_context
*ctx
= data
;
937 struct pack_midx_entry
*list
= ctx
->entries
;
938 uint32_t i
, nr_large_offset
= 0;
940 for (i
= 0; i
< ctx
->entries_nr
; i
++) {
941 struct pack_midx_entry
*obj
= list
++;
943 if (ctx
->pack_perm
[obj
->pack_int_id
] == PACK_EXPIRED
)
944 BUG("object %s is in an expired pack with int-id %d",
945 oid_to_hex(&obj
->oid
),
948 hashwrite_be32(f
, ctx
->pack_perm
[obj
->pack_int_id
]);
950 if (ctx
->large_offsets_needed
&& obj
->offset
>> 31)
951 hashwrite_be32(f
, MIDX_LARGE_OFFSET_NEEDED
| nr_large_offset
++);
952 else if (!ctx
->large_offsets_needed
&& obj
->offset
>> 32)
953 BUG("object %s requires a large offset (%"PRIx64
") but the MIDX is not writing large offsets!",
954 oid_to_hex(&obj
->oid
),
957 hashwrite_be32(f
, (uint32_t)obj
->offset
);
963 static int write_midx_large_offsets(struct hashfile
*f
,
966 struct write_midx_context
*ctx
= data
;
967 struct pack_midx_entry
*list
= ctx
->entries
;
968 struct pack_midx_entry
*end
= ctx
->entries
+ ctx
->entries_nr
;
969 uint32_t nr_large_offset
= ctx
->num_large_offsets
;
971 while (nr_large_offset
) {
972 struct pack_midx_entry
*obj
;
976 BUG("too many large-offset objects");
979 offset
= obj
->offset
;
984 hashwrite_be64(f
, offset
);
992 static int write_midx_revindex(struct hashfile
*f
,
995 struct write_midx_context
*ctx
= data
;
998 for (i
= 0; i
< ctx
->entries_nr
; i
++)
999 hashwrite_be32(f
, ctx
->pack_order
[i
]);
1004 struct midx_pack_order_data
{
1010 static int midx_pack_order_cmp(const void *va
, const void *vb
)
1012 const struct midx_pack_order_data
*a
= va
, *b
= vb
;
1013 if (a
->pack
< b
->pack
)
1015 else if (a
->pack
> b
->pack
)
1017 else if (a
->offset
< b
->offset
)
1019 else if (a
->offset
> b
->offset
)
1025 static uint32_t *midx_pack_order(struct write_midx_context
*ctx
)
1027 struct midx_pack_order_data
*data
;
1028 uint32_t *pack_order
;
1031 trace2_region_enter("midx", "midx_pack_order", the_repository
);
1033 ALLOC_ARRAY(data
, ctx
->entries_nr
);
1034 for (i
= 0; i
< ctx
->entries_nr
; i
++) {
1035 struct pack_midx_entry
*e
= &ctx
->entries
[i
];
1037 data
[i
].pack
= ctx
->pack_perm
[e
->pack_int_id
];
1039 data
[i
].pack
|= (1U << 31);
1040 data
[i
].offset
= e
->offset
;
1043 QSORT(data
, ctx
->entries_nr
, midx_pack_order_cmp
);
1045 ALLOC_ARRAY(pack_order
, ctx
->entries_nr
);
1046 for (i
= 0; i
< ctx
->entries_nr
; i
++) {
1047 struct pack_midx_entry
*e
= &ctx
->entries
[data
[i
].nr
];
1048 struct pack_info
*pack
= &ctx
->info
[ctx
->pack_perm
[e
->pack_int_id
]];
1049 if (pack
->bitmap_pos
== BITMAP_POS_UNKNOWN
)
1050 pack
->bitmap_pos
= i
;
1052 pack_order
[i
] = data
[i
].nr
;
1054 for (i
= 0; i
< ctx
->nr
; i
++) {
1055 struct pack_info
*pack
= &ctx
->info
[ctx
->pack_perm
[i
]];
1056 if (pack
->bitmap_pos
== BITMAP_POS_UNKNOWN
)
1057 pack
->bitmap_pos
= 0;
1061 trace2_region_leave("midx", "midx_pack_order", the_repository
);
1066 static void write_midx_reverse_index(char *midx_name
, unsigned char *midx_hash
,
1067 struct write_midx_context
*ctx
)
1069 struct strbuf buf
= STRBUF_INIT
;
1070 const char *tmp_file
;
1072 trace2_region_enter("midx", "write_midx_reverse_index", the_repository
);
1074 strbuf_addf(&buf
, "%s-%s.rev", midx_name
, hash_to_hex(midx_hash
));
1076 tmp_file
= write_rev_file_order(NULL
, ctx
->pack_order
, ctx
->entries_nr
,
1077 midx_hash
, WRITE_REV
);
1079 if (finalize_object_file(tmp_file
, buf
.buf
))
1080 die(_("cannot store reverse index file"));
1082 strbuf_release(&buf
);
1084 trace2_region_leave("midx", "write_midx_reverse_index", the_repository
);
1087 static void clear_midx_files_ext(const char *object_dir
, const char *ext
,
1088 unsigned char *keep_hash
);
1090 static int midx_checksum_valid(struct multi_pack_index
*m
)
1092 return hashfile_checksum_valid(m
->data
, m
->data_len
);
1095 static void prepare_midx_packing_data(struct packing_data
*pdata
,
1096 struct write_midx_context
*ctx
)
1100 trace2_region_enter("midx", "prepare_midx_packing_data", the_repository
);
1102 memset(pdata
, 0, sizeof(struct packing_data
));
1103 prepare_packing_data(the_repository
, pdata
);
1105 for (i
= 0; i
< ctx
->entries_nr
; i
++) {
1106 struct pack_midx_entry
*from
= &ctx
->entries
[ctx
->pack_order
[i
]];
1107 struct object_entry
*to
= packlist_alloc(pdata
, &from
->oid
);
1109 oe_set_in_pack(pdata
, to
,
1110 ctx
->info
[ctx
->pack_perm
[from
->pack_int_id
]].p
);
1113 trace2_region_leave("midx", "prepare_midx_packing_data", the_repository
);
1116 static int add_ref_to_pending(const char *refname
,
1117 const struct object_id
*oid
,
1118 int flag
, void *cb_data
)
1120 struct rev_info
*revs
= (struct rev_info
*)cb_data
;
1121 struct object_id peeled
;
1122 struct object
*object
;
1124 if ((flag
& REF_ISSYMREF
) && (flag
& REF_ISBROKEN
)) {
1125 warning("symbolic ref is dangling: %s", refname
);
1129 if (!peel_iterated_oid(oid
, &peeled
))
1132 object
= parse_object_or_die(oid
, refname
);
1133 if (object
->type
!= OBJ_COMMIT
)
1136 add_pending_object(revs
, object
, "");
1137 if (bitmap_is_preferred_refname(revs
->repo
, refname
))
1138 object
->flags
|= NEEDS_BITMAP
;
1142 struct bitmap_commit_cb
{
1143 struct commit
**commits
;
1144 size_t commits_nr
, commits_alloc
;
1146 struct write_midx_context
*ctx
;
1149 static const struct object_id
*bitmap_oid_access(size_t index
,
1150 const void *_entries
)
1152 const struct pack_midx_entry
*entries
= _entries
;
1153 return &entries
[index
].oid
;
1156 static void bitmap_show_commit(struct commit
*commit
, void *_data
)
1158 struct bitmap_commit_cb
*data
= _data
;
1159 int pos
= oid_pos(&commit
->object
.oid
, data
->ctx
->entries
,
1160 data
->ctx
->entries_nr
,
1165 ALLOC_GROW(data
->commits
, data
->commits_nr
+ 1, data
->commits_alloc
);
1166 data
->commits
[data
->commits_nr
++] = commit
;
1169 static int read_refs_snapshot(const char *refs_snapshot
,
1170 struct rev_info
*revs
)
1172 struct strbuf buf
= STRBUF_INIT
;
1173 struct object_id oid
;
1174 FILE *f
= xfopen(refs_snapshot
, "r");
1176 while (strbuf_getline(&buf
, f
) != EOF
) {
1177 struct object
*object
;
1179 char *hex
= buf
.buf
;
1180 const char *end
= NULL
;
1182 if (buf
.len
&& *buf
.buf
== '+') {
1187 if (parse_oid_hex(hex
, &oid
, &end
) < 0)
1188 die(_("could not parse line: %s"), buf
.buf
);
1190 die(_("malformed line: %s"), buf
.buf
);
1192 object
= parse_object_or_die(&oid
, NULL
);
1194 object
->flags
|= NEEDS_BITMAP
;
1196 add_pending_object(revs
, object
, "");
1200 strbuf_release(&buf
);
1204 static struct commit
**find_commits_for_midx_bitmap(uint32_t *indexed_commits_nr_p
,
1205 const char *refs_snapshot
,
1206 struct write_midx_context
*ctx
)
1208 struct rev_info revs
;
1209 struct bitmap_commit_cb cb
= {0};
1211 trace2_region_enter("midx", "find_commits_for_midx_bitmap",
1216 repo_init_revisions(the_repository
, &revs
, NULL
);
1217 if (refs_snapshot
) {
1218 read_refs_snapshot(refs_snapshot
, &revs
);
1220 setup_revisions(0, NULL
, &revs
, NULL
);
1221 for_each_ref(add_ref_to_pending
, &revs
);
1225 * Skipping promisor objects here is intentional, since it only excludes
1226 * them from the list of reachable commits that we want to select from
1227 * when computing the selection of MIDX'd commits to receive bitmaps.
1229 * Reachability bitmaps do require that their objects be closed under
1230 * reachability, but fetching any objects missing from promisors at this
1231 * point is too late. But, if one of those objects can be reached from
1232 * an another object that is included in the bitmap, then we will
1233 * complain later that we don't have reachability closure (and fail
1236 fetch_if_missing
= 0;
1237 revs
.exclude_promisor_objects
= 1;
1239 if (prepare_revision_walk(&revs
))
1240 die(_("revision walk setup failed"));
1242 traverse_commit_list(&revs
, bitmap_show_commit
, NULL
, &cb
);
1243 if (indexed_commits_nr_p
)
1244 *indexed_commits_nr_p
= cb
.commits_nr
;
1246 release_revisions(&revs
);
1248 trace2_region_leave("midx", "find_commits_for_midx_bitmap",
1254 static int write_midx_bitmap(const char *midx_name
,
1255 const unsigned char *midx_hash
,
1256 struct packing_data
*pdata
,
1257 struct commit
**commits
,
1258 uint32_t commits_nr
,
1259 uint32_t *pack_order
,
1263 uint16_t options
= 0;
1264 struct pack_idx_entry
**index
;
1265 char *bitmap_name
= xstrfmt("%s-%s.bitmap", midx_name
,
1266 hash_to_hex(midx_hash
));
1268 trace2_region_enter("midx", "write_midx_bitmap", the_repository
);
1270 if (flags
& MIDX_WRITE_BITMAP_HASH_CACHE
)
1271 options
|= BITMAP_OPT_HASH_CACHE
;
1273 if (flags
& MIDX_WRITE_BITMAP_LOOKUP_TABLE
)
1274 options
|= BITMAP_OPT_LOOKUP_TABLE
;
1277 * Build the MIDX-order index based on pdata.objects (which is already
1278 * in MIDX order; c.f., 'midx_pack_order_cmp()' for the definition of
1281 ALLOC_ARRAY(index
, pdata
->nr_objects
);
1282 for (i
= 0; i
< pdata
->nr_objects
; i
++)
1283 index
[i
] = &pdata
->objects
[i
].idx
;
1285 bitmap_writer_show_progress(flags
& MIDX_PROGRESS
);
1286 bitmap_writer_build_type_index(pdata
, index
, pdata
->nr_objects
);
1289 * bitmap_writer_finish expects objects in lex order, but pack_order
1290 * gives us exactly that. use it directly instead of re-sorting the
1293 * This changes the order of objects in 'index' between
1294 * bitmap_writer_build_type_index and bitmap_writer_finish.
1296 * The same re-ordering takes place in the single-pack bitmap code via
1297 * write_idx_file(), which is called by finish_tmp_packfile(), which
1298 * happens between bitmap_writer_build_type_index() and
1299 * bitmap_writer_finish().
1301 for (i
= 0; i
< pdata
->nr_objects
; i
++)
1302 index
[pack_order
[i
]] = &pdata
->objects
[i
].idx
;
1304 bitmap_writer_select_commits(commits
, commits_nr
, -1);
1305 ret
= bitmap_writer_build(pdata
);
1309 bitmap_writer_set_checksum(midx_hash
);
1310 bitmap_writer_finish(index
, pdata
->nr_objects
, bitmap_name
, options
);
1316 trace2_region_leave("midx", "write_midx_bitmap", the_repository
);
1321 static struct multi_pack_index
*lookup_multi_pack_index(struct repository
*r
,
1322 const char *object_dir
)
1324 struct multi_pack_index
*result
= NULL
;
1325 struct multi_pack_index
*cur
;
1326 char *obj_dir_real
= real_pathdup(object_dir
, 1);
1327 struct strbuf cur_path_real
= STRBUF_INIT
;
1329 /* Ensure the given object_dir is local, or a known alternate. */
1330 find_odb(r
, obj_dir_real
);
1332 for (cur
= get_multi_pack_index(r
); cur
; cur
= cur
->next
) {
1333 strbuf_realpath(&cur_path_real
, cur
->object_dir
, 1);
1334 if (!strcmp(obj_dir_real
, cur_path_real
.buf
)) {
1342 strbuf_release(&cur_path_real
);
1346 static int write_midx_internal(const char *object_dir
,
1347 struct string_list
*packs_to_include
,
1348 struct string_list
*packs_to_drop
,
1349 const char *preferred_pack_name
,
1350 const char *refs_snapshot
,
1353 struct strbuf midx_name
= STRBUF_INIT
;
1354 unsigned char midx_hash
[GIT_MAX_RAWSZ
];
1356 struct hashfile
*f
= NULL
;
1357 struct lock_file lk
;
1358 struct write_midx_context ctx
= { 0 };
1359 int bitmapped_packs_concat_len
= 0;
1360 int pack_name_concat_len
= 0;
1361 int dropped_packs
= 0;
1363 struct chunkfile
*cf
;
1365 trace2_region_enter("midx", "write_midx_internal", the_repository
);
1367 get_midx_filename(&midx_name
, object_dir
);
1368 if (safe_create_leading_directories(midx_name
.buf
))
1369 die_errno(_("unable to create leading directories of %s"),
1372 if (!packs_to_include
) {
1374 * Only reference an existing MIDX when not filtering which
1375 * packs to include, since all packs and objects are copied
1376 * blindly from an existing MIDX if one is present.
1378 ctx
.m
= lookup_multi_pack_index(the_repository
, object_dir
);
1381 if (ctx
.m
&& !midx_checksum_valid(ctx
.m
)) {
1382 warning(_("ignoring existing multi-pack-index; checksum mismatch"));
1387 ctx
.alloc
= ctx
.m
? ctx
.m
->num_packs
: 16;
1389 ALLOC_ARRAY(ctx
.info
, ctx
.alloc
);
1392 for (i
= 0; i
< ctx
.m
->num_packs
; i
++) {
1393 ALLOC_GROW(ctx
.info
, ctx
.nr
+ 1, ctx
.alloc
);
1395 if (flags
& MIDX_WRITE_REV_INDEX
) {
1397 * If generating a reverse index, need to have
1398 * packed_git's loaded to compare their
1399 * mtimes and object count.
1401 if (prepare_midx_pack(the_repository
, ctx
.m
, i
)) {
1402 error(_("could not load pack"));
1407 if (open_pack_index(ctx
.m
->packs
[i
]))
1408 die(_("could not open index for %s"),
1409 ctx
.m
->packs
[i
]->pack_name
);
1412 fill_pack_info(&ctx
.info
[ctx
.nr
++], ctx
.m
->packs
[i
],
1413 ctx
.m
->pack_names
[i
], i
);
1417 ctx
.pack_paths_checked
= 0;
1418 if (flags
& MIDX_PROGRESS
)
1419 ctx
.progress
= start_delayed_progress(_("Adding packfiles to multi-pack-index"), 0);
1421 ctx
.progress
= NULL
;
1423 ctx
.to_include
= packs_to_include
;
1425 for_each_file_in_pack_dir(object_dir
, add_pack_to_midx
, &ctx
);
1426 stop_progress(&ctx
.progress
);
1428 if ((ctx
.m
&& ctx
.nr
== ctx
.m
->num_packs
) &&
1429 !(packs_to_include
|| packs_to_drop
)) {
1430 struct bitmap_index
*bitmap_git
;
1432 int want_bitmap
= flags
& MIDX_WRITE_BITMAP
;
1434 bitmap_git
= prepare_midx_bitmap_git(ctx
.m
);
1435 bitmap_exists
= bitmap_git
&& bitmap_is_midx(bitmap_git
);
1436 free_bitmap_index(bitmap_git
);
1438 if (bitmap_exists
|| !want_bitmap
) {
1440 * The correct MIDX already exists, and so does a
1441 * corresponding bitmap (or one wasn't requested).
1444 clear_midx_files_ext(object_dir
, ".bitmap",
1450 if (preferred_pack_name
) {
1451 ctx
.preferred_pack_idx
= -1;
1453 for (i
= 0; i
< ctx
.nr
; i
++) {
1454 if (!cmp_idx_or_pack_name(preferred_pack_name
,
1455 ctx
.info
[i
].pack_name
)) {
1456 ctx
.preferred_pack_idx
= i
;
1461 if (ctx
.preferred_pack_idx
== -1)
1462 warning(_("unknown preferred pack: '%s'"),
1463 preferred_pack_name
);
1464 } else if (ctx
.nr
&&
1465 (flags
& (MIDX_WRITE_REV_INDEX
| MIDX_WRITE_BITMAP
))) {
1466 struct packed_git
*oldest
= ctx
.info
[ctx
.preferred_pack_idx
].p
;
1467 ctx
.preferred_pack_idx
= 0;
1469 if (packs_to_drop
&& packs_to_drop
->nr
)
1470 BUG("cannot write a MIDX bitmap during expiration");
1473 * set a preferred pack when writing a bitmap to ensure that
1474 * the pack from which the first object is selected in pseudo
1475 * pack-order has all of its objects selected from that pack
1476 * (and not another pack containing a duplicate)
1478 for (i
= 1; i
< ctx
.nr
; i
++) {
1479 struct packed_git
*p
= ctx
.info
[i
].p
;
1481 if (!oldest
->num_objects
|| p
->mtime
< oldest
->mtime
) {
1483 ctx
.preferred_pack_idx
= i
;
1487 if (!oldest
->num_objects
) {
1489 * If all packs are empty; unset the preferred index.
1490 * This is acceptable since there will be no duplicate
1491 * objects to resolve, so the preferred value doesn't
1494 ctx
.preferred_pack_idx
= -1;
1498 * otherwise don't mark any pack as preferred to avoid
1499 * interfering with expiration logic below
1501 ctx
.preferred_pack_idx
= -1;
1504 if (ctx
.preferred_pack_idx
> -1) {
1505 struct packed_git
*preferred
= ctx
.info
[ctx
.preferred_pack_idx
].p
;
1506 if (!preferred
->num_objects
) {
1507 error(_("cannot select preferred pack %s with no objects"),
1508 preferred
->pack_name
);
1514 ctx
.entries
= get_sorted_entries(ctx
.m
, ctx
.info
, ctx
.nr
, &ctx
.entries_nr
,
1515 ctx
.preferred_pack_idx
);
1517 ctx
.large_offsets_needed
= 0;
1518 for (i
= 0; i
< ctx
.entries_nr
; i
++) {
1519 if (ctx
.entries
[i
].offset
> 0x7fffffff)
1520 ctx
.num_large_offsets
++;
1521 if (ctx
.entries
[i
].offset
> 0xffffffff)
1522 ctx
.large_offsets_needed
= 1;
1525 QSORT(ctx
.info
, ctx
.nr
, pack_info_compare
);
1527 if (packs_to_drop
&& packs_to_drop
->nr
) {
1529 int missing_drops
= 0;
1531 for (i
= 0; i
< ctx
.nr
&& drop_index
< packs_to_drop
->nr
; i
++) {
1532 int cmp
= strcmp(ctx
.info
[i
].pack_name
,
1533 packs_to_drop
->items
[drop_index
].string
);
1537 ctx
.info
[i
].expired
= 1;
1538 } else if (cmp
> 0) {
1539 error(_("did not see pack-file %s to drop"),
1540 packs_to_drop
->items
[drop_index
].string
);
1545 ctx
.info
[i
].expired
= 0;
1549 if (missing_drops
) {
1556 * pack_perm stores a permutation between pack-int-ids from the
1557 * previous multi-pack-index to the new one we are writing:
1559 * pack_perm[old_id] = new_id
1561 ALLOC_ARRAY(ctx
.pack_perm
, ctx
.nr
);
1562 for (i
= 0; i
< ctx
.nr
; i
++) {
1563 if (ctx
.info
[i
].expired
) {
1565 ctx
.pack_perm
[ctx
.info
[i
].orig_pack_int_id
] = PACK_EXPIRED
;
1567 ctx
.pack_perm
[ctx
.info
[i
].orig_pack_int_id
] = i
- dropped_packs
;
1571 for (i
= 0; i
< ctx
.nr
; i
++) {
1572 if (ctx
.info
[i
].expired
)
1574 pack_name_concat_len
+= strlen(ctx
.info
[i
].pack_name
) + 1;
1575 bitmapped_packs_concat_len
+= 2 * sizeof(uint32_t);
1578 /* Check that the preferred pack wasn't expired (if given). */
1579 if (preferred_pack_name
) {
1580 struct pack_info
*preferred
= bsearch(preferred_pack_name
,
1583 idx_or_pack_name_cmp
);
1585 uint32_t perm
= ctx
.pack_perm
[preferred
->orig_pack_int_id
];
1586 if (perm
== PACK_EXPIRED
)
1587 warning(_("preferred pack '%s' is expired"),
1588 preferred_pack_name
);
1592 if (pack_name_concat_len
% MIDX_CHUNK_ALIGNMENT
)
1593 pack_name_concat_len
+= MIDX_CHUNK_ALIGNMENT
-
1594 (pack_name_concat_len
% MIDX_CHUNK_ALIGNMENT
);
1596 hold_lock_file_for_update(&lk
, midx_name
.buf
, LOCK_DIE_ON_ERROR
);
1597 f
= hashfd(get_lock_file_fd(&lk
), get_lock_file_path(&lk
));
1599 if (ctx
.nr
- dropped_packs
== 0) {
1600 error(_("no pack files to index."));
1605 if (!ctx
.entries_nr
) {
1606 if (flags
& MIDX_WRITE_BITMAP
)
1607 warning(_("refusing to write multi-pack .bitmap without any objects"));
1608 flags
&= ~(MIDX_WRITE_REV_INDEX
| MIDX_WRITE_BITMAP
);
1611 cf
= init_chunkfile(f
);
1613 add_chunk(cf
, MIDX_CHUNKID_PACKNAMES
, pack_name_concat_len
,
1614 write_midx_pack_names
);
1615 add_chunk(cf
, MIDX_CHUNKID_OIDFANOUT
, MIDX_CHUNK_FANOUT_SIZE
,
1616 write_midx_oid_fanout
);
1617 add_chunk(cf
, MIDX_CHUNKID_OIDLOOKUP
,
1618 st_mult(ctx
.entries_nr
, the_hash_algo
->rawsz
),
1619 write_midx_oid_lookup
);
1620 add_chunk(cf
, MIDX_CHUNKID_OBJECTOFFSETS
,
1621 st_mult(ctx
.entries_nr
, MIDX_CHUNK_OFFSET_WIDTH
),
1622 write_midx_object_offsets
);
1624 if (ctx
.large_offsets_needed
)
1625 add_chunk(cf
, MIDX_CHUNKID_LARGEOFFSETS
,
1626 st_mult(ctx
.num_large_offsets
,
1627 MIDX_CHUNK_LARGE_OFFSET_WIDTH
),
1628 write_midx_large_offsets
);
1630 if (flags
& (MIDX_WRITE_REV_INDEX
| MIDX_WRITE_BITMAP
)) {
1631 ctx
.pack_order
= midx_pack_order(&ctx
);
1632 add_chunk(cf
, MIDX_CHUNKID_REVINDEX
,
1633 st_mult(ctx
.entries_nr
, sizeof(uint32_t)),
1634 write_midx_revindex
);
1635 add_chunk(cf
, MIDX_CHUNKID_BITMAPPEDPACKS
,
1636 bitmapped_packs_concat_len
,
1637 write_midx_bitmapped_packs
);
1640 write_midx_header(f
, get_num_chunks(cf
), ctx
.nr
- dropped_packs
);
1641 write_chunkfile(cf
, &ctx
);
1643 finalize_hashfile(f
, midx_hash
, FSYNC_COMPONENT_PACK_METADATA
,
1644 CSUM_FSYNC
| CSUM_HASH_IN_STREAM
);
1647 if (flags
& MIDX_WRITE_REV_INDEX
&&
1648 git_env_bool("GIT_TEST_MIDX_WRITE_REV", 0))
1649 write_midx_reverse_index(midx_name
.buf
, midx_hash
, &ctx
);
1651 if (flags
& MIDX_WRITE_BITMAP
) {
1652 struct packing_data pdata
;
1653 struct commit
**commits
;
1654 uint32_t commits_nr
;
1656 if (!ctx
.entries_nr
)
1657 BUG("cannot write a bitmap without any objects");
1659 prepare_midx_packing_data(&pdata
, &ctx
);
1661 commits
= find_commits_for_midx_bitmap(&commits_nr
, refs_snapshot
, &ctx
);
1664 * The previous steps translated the information from
1665 * 'entries' into information suitable for constructing
1666 * bitmaps. We no longer need that array, so clear it to
1667 * reduce memory pressure.
1669 FREE_AND_NULL(ctx
.entries
);
1672 if (write_midx_bitmap(midx_name
.buf
, midx_hash
, &pdata
,
1673 commits
, commits_nr
, ctx
.pack_order
,
1675 error(_("could not write multi-pack bitmap"));
1677 clear_packing_data(&pdata
);
1682 clear_packing_data(&pdata
);
1686 * NOTE: Do not use ctx.entries beyond this point, since it might
1687 * have been freed in the previous if block.
1691 close_object_store(the_repository
->objects
);
1693 if (commit_lock_file(&lk
) < 0)
1694 die_errno(_("could not write multi-pack-index"));
1696 clear_midx_files_ext(object_dir
, ".bitmap", midx_hash
);
1697 clear_midx_files_ext(object_dir
, ".rev", midx_hash
);
1700 for (i
= 0; i
< ctx
.nr
; i
++) {
1701 if (ctx
.info
[i
].p
) {
1702 close_pack(ctx
.info
[i
].p
);
1703 free(ctx
.info
[i
].p
);
1705 free(ctx
.info
[i
].pack_name
);
1710 free(ctx
.pack_perm
);
1711 free(ctx
.pack_order
);
1712 strbuf_release(&midx_name
);
1714 trace2_region_leave("midx", "write_midx_internal", the_repository
);
1719 int write_midx_file(const char *object_dir
,
1720 const char *preferred_pack_name
,
1721 const char *refs_snapshot
,
1724 return write_midx_internal(object_dir
, NULL
, NULL
, preferred_pack_name
,
1725 refs_snapshot
, flags
);
1728 int write_midx_file_only(const char *object_dir
,
1729 struct string_list
*packs_to_include
,
1730 const char *preferred_pack_name
,
1731 const char *refs_snapshot
,
1734 return write_midx_internal(object_dir
, packs_to_include
, NULL
,
1735 preferred_pack_name
, refs_snapshot
, flags
);
1738 struct clear_midx_data
{
1743 static void clear_midx_file_ext(const char *full_path
, size_t full_path_len UNUSED
,
1744 const char *file_name
, void *_data
)
1746 struct clear_midx_data
*data
= _data
;
1748 if (!(starts_with(file_name
, "multi-pack-index-") &&
1749 ends_with(file_name
, data
->ext
)))
1751 if (data
->keep
&& !strcmp(data
->keep
, file_name
))
1754 if (unlink(full_path
))
1755 die_errno(_("failed to remove %s"), full_path
);
1758 static void clear_midx_files_ext(const char *object_dir
, const char *ext
,
1759 unsigned char *keep_hash
)
1761 struct clear_midx_data data
;
1762 memset(&data
, 0, sizeof(struct clear_midx_data
));
1765 data
.keep
= xstrfmt("multi-pack-index-%s%s",
1766 hash_to_hex(keep_hash
), ext
);
1769 for_each_file_in_pack_dir(object_dir
,
1770 clear_midx_file_ext
,
1776 void clear_midx_file(struct repository
*r
)
1778 struct strbuf midx
= STRBUF_INIT
;
1780 get_midx_filename(&midx
, r
->objects
->odb
->path
);
1782 if (r
->objects
&& r
->objects
->multi_pack_index
) {
1783 close_midx(r
->objects
->multi_pack_index
);
1784 r
->objects
->multi_pack_index
= NULL
;
1787 if (remove_path(midx
.buf
))
1788 die(_("failed to clear multi-pack-index at %s"), midx
.buf
);
1790 clear_midx_files_ext(r
->objects
->odb
->path
, ".bitmap", NULL
);
1791 clear_midx_files_ext(r
->objects
->odb
->path
, ".rev", NULL
);
1793 strbuf_release(&midx
);
1796 static int verify_midx_error
;
1798 __attribute__((format (printf
, 1, 2)))
1799 static void midx_report(const char *fmt
, ...)
1802 verify_midx_error
= 1;
1804 vfprintf(stderr
, fmt
, ap
);
1805 fprintf(stderr
, "\n");
1809 struct pair_pos_vs_id
1812 uint32_t pack_int_id
;
1815 static int compare_pair_pos_vs_id(const void *_a
, const void *_b
)
1817 struct pair_pos_vs_id
*a
= (struct pair_pos_vs_id
*)_a
;
1818 struct pair_pos_vs_id
*b
= (struct pair_pos_vs_id
*)_b
;
1820 return b
->pack_int_id
- a
->pack_int_id
;
1824 * Limit calls to display_progress() for performance reasons.
1825 * The interval here was arbitrarily chosen.
1827 #define SPARSE_PROGRESS_INTERVAL (1 << 12)
1828 #define midx_display_sparse_progress(progress, n) \
1830 uint64_t _n = (n); \
1831 if ((_n & (SPARSE_PROGRESS_INTERVAL - 1)) == 0) \
1832 display_progress(progress, _n); \
1835 int verify_midx_file(struct repository
*r
, const char *object_dir
, unsigned flags
)
1837 struct pair_pos_vs_id
*pairs
= NULL
;
1839 struct progress
*progress
= NULL
;
1840 struct multi_pack_index
*m
= load_multi_pack_index(object_dir
, 1);
1841 verify_midx_error
= 0;
1846 struct strbuf filename
= STRBUF_INIT
;
1848 get_midx_filename(&filename
, object_dir
);
1850 if (!stat(filename
.buf
, &sb
)) {
1851 error(_("multi-pack-index file exists, but failed to parse"));
1854 strbuf_release(&filename
);
1858 if (!midx_checksum_valid(m
))
1859 midx_report(_("incorrect checksum"));
1861 if (flags
& MIDX_PROGRESS
)
1862 progress
= start_delayed_progress(_("Looking for referenced packfiles"),
1864 for (i
= 0; i
< m
->num_packs
; i
++) {
1865 if (prepare_midx_pack(r
, m
, i
))
1866 midx_report("failed to load pack in position %d", i
);
1868 display_progress(progress
, i
+ 1);
1870 stop_progress(&progress
);
1872 if (m
->num_objects
== 0) {
1873 midx_report(_("the midx contains no oid"));
1875 * Remaining tests assume that we have objects, so we can
1881 if (flags
& MIDX_PROGRESS
)
1882 progress
= start_sparse_progress(_("Verifying OID order in multi-pack-index"),
1883 m
->num_objects
- 1);
1884 for (i
= 0; i
< m
->num_objects
- 1; i
++) {
1885 struct object_id oid1
, oid2
;
1887 nth_midxed_object_oid(&oid1
, m
, i
);
1888 nth_midxed_object_oid(&oid2
, m
, i
+ 1);
1890 if (oidcmp(&oid1
, &oid2
) >= 0)
1891 midx_report(_("oid lookup out of order: oid[%d] = %s >= %s = oid[%d]"),
1892 i
, oid_to_hex(&oid1
), oid_to_hex(&oid2
), i
+ 1);
1894 midx_display_sparse_progress(progress
, i
+ 1);
1896 stop_progress(&progress
);
1899 * Create an array mapping each object to its packfile id. Sort it
1900 * to group the objects by packfile. Use this permutation to visit
1901 * each of the objects and only require 1 packfile to be open at a
1904 ALLOC_ARRAY(pairs
, m
->num_objects
);
1905 for (i
= 0; i
< m
->num_objects
; i
++) {
1907 pairs
[i
].pack_int_id
= nth_midxed_pack_int_id(m
, i
);
1910 if (flags
& MIDX_PROGRESS
)
1911 progress
= start_sparse_progress(_("Sorting objects by packfile"),
1913 display_progress(progress
, 0); /* TODO: Measure QSORT() progress */
1914 QSORT(pairs
, m
->num_objects
, compare_pair_pos_vs_id
);
1915 stop_progress(&progress
);
1917 if (flags
& MIDX_PROGRESS
)
1918 progress
= start_sparse_progress(_("Verifying object offsets"), m
->num_objects
);
1919 for (i
= 0; i
< m
->num_objects
; i
++) {
1920 struct object_id oid
;
1921 struct pack_entry e
;
1922 off_t m_offset
, p_offset
;
1924 if (i
> 0 && pairs
[i
-1].pack_int_id
!= pairs
[i
].pack_int_id
&&
1925 m
->packs
[pairs
[i
-1].pack_int_id
])
1927 close_pack_fd(m
->packs
[pairs
[i
-1].pack_int_id
]);
1928 close_pack_index(m
->packs
[pairs
[i
-1].pack_int_id
]);
1931 nth_midxed_object_oid(&oid
, m
, pairs
[i
].pos
);
1933 if (!fill_midx_entry(r
, &oid
, &e
, m
)) {
1934 midx_report(_("failed to load pack entry for oid[%d] = %s"),
1935 pairs
[i
].pos
, oid_to_hex(&oid
));
1939 if (open_pack_index(e
.p
)) {
1940 midx_report(_("failed to load pack-index for packfile %s"),
1945 m_offset
= e
.offset
;
1946 p_offset
= find_pack_entry_one(oid
.hash
, e
.p
);
1948 if (m_offset
!= p_offset
)
1949 midx_report(_("incorrect object offset for oid[%d] = %s: %"PRIx64
" != %"PRIx64
),
1950 pairs
[i
].pos
, oid_to_hex(&oid
), m_offset
, p_offset
);
1952 midx_display_sparse_progress(progress
, i
+ 1);
1954 stop_progress(&progress
);
1960 return verify_midx_error
;
1963 int expire_midx_packs(struct repository
*r
, const char *object_dir
, unsigned flags
)
1965 uint32_t i
, *count
, result
= 0;
1966 struct string_list packs_to_drop
= STRING_LIST_INIT_DUP
;
1967 struct multi_pack_index
*m
= lookup_multi_pack_index(r
, object_dir
);
1968 struct progress
*progress
= NULL
;
1973 CALLOC_ARRAY(count
, m
->num_packs
);
1975 if (flags
& MIDX_PROGRESS
)
1976 progress
= start_delayed_progress(_("Counting referenced objects"),
1978 for (i
= 0; i
< m
->num_objects
; i
++) {
1979 int pack_int_id
= nth_midxed_pack_int_id(m
, i
);
1980 count
[pack_int_id
]++;
1981 display_progress(progress
, i
+ 1);
1983 stop_progress(&progress
);
1985 if (flags
& MIDX_PROGRESS
)
1986 progress
= start_delayed_progress(_("Finding and deleting unreferenced packfiles"),
1988 for (i
= 0; i
< m
->num_packs
; i
++) {
1990 display_progress(progress
, i
+ 1);
1995 if (prepare_midx_pack(r
, m
, i
))
1998 if (m
->packs
[i
]->pack_keep
|| m
->packs
[i
]->is_cruft
)
2001 pack_name
= xstrdup(m
->packs
[i
]->pack_name
);
2002 close_pack(m
->packs
[i
]);
2004 string_list_insert(&packs_to_drop
, m
->pack_names
[i
]);
2005 unlink_pack_path(pack_name
, 0);
2008 stop_progress(&progress
);
2012 if (packs_to_drop
.nr
)
2013 result
= write_midx_internal(object_dir
, NULL
, &packs_to_drop
, NULL
, NULL
, flags
);
2015 string_list_clear(&packs_to_drop
, 0);
2020 struct repack_info
{
2022 uint32_t referenced_objects
;
2023 uint32_t pack_int_id
;
2026 static int compare_by_mtime(const void *a_
, const void *b_
)
2028 const struct repack_info
*a
, *b
;
2030 a
= (const struct repack_info
*)a_
;
2031 b
= (const struct repack_info
*)b_
;
2033 if (a
->mtime
< b
->mtime
)
2035 if (a
->mtime
> b
->mtime
)
2040 static int fill_included_packs_all(struct repository
*r
,
2041 struct multi_pack_index
*m
,
2042 unsigned char *include_pack
)
2044 uint32_t i
, count
= 0;
2045 int pack_kept_objects
= 0;
2047 repo_config_get_bool(r
, "repack.packkeptobjects", &pack_kept_objects
);
2049 for (i
= 0; i
< m
->num_packs
; i
++) {
2050 if (prepare_midx_pack(r
, m
, i
))
2052 if (!pack_kept_objects
&& m
->packs
[i
]->pack_keep
)
2054 if (m
->packs
[i
]->is_cruft
)
2057 include_pack
[i
] = 1;
2064 static int fill_included_packs_batch(struct repository
*r
,
2065 struct multi_pack_index
*m
,
2066 unsigned char *include_pack
,
2069 uint32_t i
, packs_to_repack
;
2071 struct repack_info
*pack_info
;
2072 int pack_kept_objects
= 0;
2074 CALLOC_ARRAY(pack_info
, m
->num_packs
);
2076 repo_config_get_bool(r
, "repack.packkeptobjects", &pack_kept_objects
);
2078 for (i
= 0; i
< m
->num_packs
; i
++) {
2079 pack_info
[i
].pack_int_id
= i
;
2081 if (prepare_midx_pack(r
, m
, i
))
2084 pack_info
[i
].mtime
= m
->packs
[i
]->mtime
;
2087 for (i
= 0; i
< m
->num_objects
; i
++) {
2088 uint32_t pack_int_id
= nth_midxed_pack_int_id(m
, i
);
2089 pack_info
[pack_int_id
].referenced_objects
++;
2092 QSORT(pack_info
, m
->num_packs
, compare_by_mtime
);
2095 packs_to_repack
= 0;
2096 for (i
= 0; total_size
< batch_size
&& i
< m
->num_packs
; i
++) {
2097 int pack_int_id
= pack_info
[i
].pack_int_id
;
2098 struct packed_git
*p
= m
->packs
[pack_int_id
];
2099 size_t expected_size
;
2103 if (!pack_kept_objects
&& p
->pack_keep
)
2107 if (open_pack_index(p
) || !p
->num_objects
)
2110 expected_size
= st_mult(p
->pack_size
,
2111 pack_info
[i
].referenced_objects
);
2112 expected_size
/= p
->num_objects
;
2114 if (expected_size
>= batch_size
)
2118 total_size
+= expected_size
;
2119 include_pack
[pack_int_id
] = 1;
2124 if (packs_to_repack
< 2)
2130 int midx_repack(struct repository
*r
, const char *object_dir
, size_t batch_size
, unsigned flags
)
2134 unsigned char *include_pack
;
2135 struct child_process cmd
= CHILD_PROCESS_INIT
;
2137 struct strbuf base_name
= STRBUF_INIT
;
2138 struct multi_pack_index
*m
= lookup_multi_pack_index(r
, object_dir
);
2141 * When updating the default for these configuration
2142 * variables in builtin/repack.c, these must be adjusted
2145 int delta_base_offset
= 1;
2146 int use_delta_islands
= 0;
2151 CALLOC_ARRAY(include_pack
, m
->num_packs
);
2154 if (fill_included_packs_batch(r
, m
, include_pack
, batch_size
))
2156 } else if (fill_included_packs_all(r
, m
, include_pack
))
2159 repo_config_get_bool(r
, "repack.usedeltabaseoffset", &delta_base_offset
);
2160 repo_config_get_bool(r
, "repack.usedeltaislands", &use_delta_islands
);
2162 strvec_push(&cmd
.args
, "pack-objects");
2164 strbuf_addstr(&base_name
, object_dir
);
2165 strbuf_addstr(&base_name
, "/pack/pack");
2166 strvec_push(&cmd
.args
, base_name
.buf
);
2168 if (delta_base_offset
)
2169 strvec_push(&cmd
.args
, "--delta-base-offset");
2170 if (use_delta_islands
)
2171 strvec_push(&cmd
.args
, "--delta-islands");
2173 if (flags
& MIDX_PROGRESS
)
2174 strvec_push(&cmd
.args
, "--progress");
2176 strvec_push(&cmd
.args
, "-q");
2178 strbuf_release(&base_name
);
2181 cmd
.in
= cmd
.out
= -1;
2183 if (start_command(&cmd
)) {
2184 error(_("could not start pack-objects"));
2189 cmd_in
= xfdopen(cmd
.in
, "w");
2191 for (i
= 0; i
< m
->num_objects
; i
++) {
2192 struct object_id oid
;
2193 uint32_t pack_int_id
= nth_midxed_pack_int_id(m
, i
);
2195 if (!include_pack
[pack_int_id
])
2198 nth_midxed_object_oid(&oid
, m
, i
);
2199 fprintf(cmd_in
, "%s\n", oid_to_hex(&oid
));
2203 if (finish_command(&cmd
)) {
2204 error(_("could not finish pack-objects"));
2209 result
= write_midx_internal(object_dir
, NULL
, NULL
, NULL
, NULL
, flags
);