1 #include "git-compat-util.h"
12 #include "hash-lookup.h"
13 #include "commit-graph.h"
14 #include "object-file.h"
15 #include "object-store-ll.h"
16 #include "oid-array.h"
20 #include "replace-object.h"
23 #include "commit-slab.h"
25 #include "json-writer.h"
28 #include "chunk-format.h"
30 void git_test_write_commit_graph_or_die(void)
33 if (!git_env_bool(GIT_TEST_COMMIT_GRAPH
, 0))
36 if (git_env_bool(GIT_TEST_COMMIT_GRAPH_CHANGED_PATHS
, 0))
37 flags
= COMMIT_GRAPH_WRITE_BLOOM_FILTERS
;
39 if (write_commit_graph_reachable(the_repository
->objects
->odb
,
41 die("failed to write commit-graph under GIT_TEST_COMMIT_GRAPH");
44 #define GRAPH_SIGNATURE 0x43475048 /* "CGPH" */
45 #define GRAPH_CHUNKID_OIDFANOUT 0x4f494446 /* "OIDF" */
46 #define GRAPH_CHUNKID_OIDLOOKUP 0x4f49444c /* "OIDL" */
47 #define GRAPH_CHUNKID_DATA 0x43444154 /* "CDAT" */
48 #define GRAPH_CHUNKID_GENERATION_DATA 0x47444132 /* "GDA2" */
49 #define GRAPH_CHUNKID_GENERATION_DATA_OVERFLOW 0x47444f32 /* "GDO2" */
50 #define GRAPH_CHUNKID_EXTRAEDGES 0x45444745 /* "EDGE" */
51 #define GRAPH_CHUNKID_BLOOMINDEXES 0x42494458 /* "BIDX" */
52 #define GRAPH_CHUNKID_BLOOMDATA 0x42444154 /* "BDAT" */
53 #define GRAPH_CHUNKID_BASE 0x42415345 /* "BASE" */
55 #define GRAPH_DATA_WIDTH (the_hash_algo->rawsz + 16)
57 #define GRAPH_VERSION_1 0x1
58 #define GRAPH_VERSION GRAPH_VERSION_1
60 #define GRAPH_EXTRA_EDGES_NEEDED 0x80000000
61 #define GRAPH_EDGE_LAST_MASK 0x7fffffff
62 #define GRAPH_PARENT_NONE 0x70000000
64 #define GRAPH_LAST_EDGE 0x80000000
66 #define GRAPH_HEADER_SIZE 8
67 #define GRAPH_FANOUT_SIZE (4 * 256)
68 #define GRAPH_MIN_SIZE (GRAPH_HEADER_SIZE + 4 * CHUNK_TOC_ENTRY_SIZE \
69 + GRAPH_FANOUT_SIZE + the_hash_algo->rawsz)
71 #define CORRECTED_COMMIT_DATE_OFFSET_OVERFLOW (1ULL << 31)
73 /* Remember to update object flag allocation in object.h */
74 #define REACHABLE (1u<<15)
76 define_commit_slab(topo_level_slab
, uint32_t);
78 /* Keep track of the order in which commits are added to our list. */
79 define_commit_slab(commit_pos
, int);
80 static struct commit_pos commit_pos
= COMMIT_SLAB_INIT(1, commit_pos
);
82 static void set_commit_pos(struct repository
*r
, const struct object_id
*oid
)
84 static int32_t max_pos
;
85 struct commit
*commit
= lookup_commit(r
, oid
);
88 return; /* should never happen, but be lenient */
90 *commit_pos_at(&commit_pos
, commit
) = max_pos
++;
93 static int commit_pos_cmp(const void *va
, const void *vb
)
95 const struct commit
*a
= *(const struct commit
**)va
;
96 const struct commit
*b
= *(const struct commit
**)vb
;
97 return commit_pos_at(&commit_pos
, a
) -
98 commit_pos_at(&commit_pos
, b
);
101 define_commit_slab(commit_graph_data_slab
, struct commit_graph_data
);
102 static struct commit_graph_data_slab commit_graph_data_slab
=
103 COMMIT_SLAB_INIT(1, commit_graph_data_slab
);
105 static int get_configured_generation_version(struct repository
*r
)
108 repo_config_get_int(r
, "commitgraph.generationversion", &version
);
112 uint32_t commit_graph_position(const struct commit
*c
)
114 struct commit_graph_data
*data
=
115 commit_graph_data_slab_peek(&commit_graph_data_slab
, c
);
117 return data
? data
->graph_pos
: COMMIT_NOT_FROM_GRAPH
;
120 timestamp_t
commit_graph_generation(const struct commit
*c
)
122 struct commit_graph_data
*data
=
123 commit_graph_data_slab_peek(&commit_graph_data_slab
, c
);
125 if (data
&& data
->generation
)
126 return data
->generation
;
128 return GENERATION_NUMBER_INFINITY
;
131 static timestamp_t
commit_graph_generation_from_graph(const struct commit
*c
)
133 struct commit_graph_data
*data
=
134 commit_graph_data_slab_peek(&commit_graph_data_slab
, c
);
136 if (!data
|| data
->graph_pos
== COMMIT_NOT_FROM_GRAPH
)
137 return GENERATION_NUMBER_INFINITY
;
138 return data
->generation
;
141 static struct commit_graph_data
*commit_graph_data_at(const struct commit
*c
)
143 unsigned int i
, nth_slab
;
144 struct commit_graph_data
*data
=
145 commit_graph_data_slab_peek(&commit_graph_data_slab
, c
);
150 nth_slab
= c
->index
/ commit_graph_data_slab
.slab_size
;
151 data
= commit_graph_data_slab_at(&commit_graph_data_slab
, c
);
154 * commit-slab initializes elements with zero, overwrite this with
155 * COMMIT_NOT_FROM_GRAPH for graph_pos.
157 * We avoid initializing generation with checking if graph position
158 * is not COMMIT_NOT_FROM_GRAPH.
160 for (i
= 0; i
< commit_graph_data_slab
.slab_size
; i
++) {
161 commit_graph_data_slab
.slab
[nth_slab
][i
].graph_pos
=
162 COMMIT_NOT_FROM_GRAPH
;
169 * Should be used only while writing commit-graph as it compares
170 * generation value of commits by directly accessing commit-slab.
172 static int commit_gen_cmp(const void *va
, const void *vb
)
174 const struct commit
*a
= *(const struct commit
**)va
;
175 const struct commit
*b
= *(const struct commit
**)vb
;
177 const timestamp_t generation_a
= commit_graph_data_at(a
)->generation
;
178 const timestamp_t generation_b
= commit_graph_data_at(b
)->generation
;
179 /* lower generation commits first */
180 if (generation_a
< generation_b
)
182 else if (generation_a
> generation_b
)
185 /* use date as a heuristic when generations are equal */
186 if (a
->date
< b
->date
)
188 else if (a
->date
> b
->date
)
193 char *get_commit_graph_filename(struct object_directory
*obj_dir
)
195 return xstrfmt("%s/info/commit-graph", obj_dir
->path
);
198 static char *get_split_graph_filename(struct object_directory
*odb
,
201 return xstrfmt("%s/info/commit-graphs/graph-%s.graph", odb
->path
,
205 char *get_commit_graph_chain_filename(struct object_directory
*odb
)
207 return xstrfmt("%s/info/commit-graphs/commit-graph-chain", odb
->path
);
210 static struct commit_graph
*alloc_commit_graph(void)
212 struct commit_graph
*g
= xcalloc(1, sizeof(*g
));
217 static int commit_graph_compatible(struct repository
*r
)
222 if (replace_refs_enabled(r
)) {
223 prepare_replace_object(r
);
224 if (hashmap_get_size(&r
->objects
->replace_map
->map
))
228 prepare_commit_graft(r
);
229 if (r
->parsed_objects
&&
230 (r
->parsed_objects
->grafts_nr
|| r
->parsed_objects
->substituted_parent
))
232 if (is_repository_shallow(r
))
238 int open_commit_graph(const char *graph_file
, int *fd
, struct stat
*st
)
240 *fd
= git_open(graph_file
);
243 if (fstat(*fd
, st
)) {
250 struct commit_graph
*load_commit_graph_one_fd_st(struct repository
*r
,
251 int fd
, struct stat
*st
,
252 struct object_directory
*odb
)
256 struct commit_graph
*ret
;
258 graph_size
= xsize_t(st
->st_size
);
260 if (graph_size
< GRAPH_MIN_SIZE
) {
262 error(_("commit-graph file is too small"));
265 graph_map
= xmmap(NULL
, graph_size
, PROT_READ
, MAP_PRIVATE
, fd
, 0);
267 prepare_repo_settings(r
);
268 ret
= parse_commit_graph(&r
->settings
, graph_map
, graph_size
);
273 munmap(graph_map
, graph_size
);
278 static int verify_commit_graph_lite(struct commit_graph
*g
)
281 * Basic validation shared between parse_commit_graph()
282 * which'll be called every time the graph is used, and the
283 * much more expensive verify_commit_graph() used by
284 * "commit-graph verify".
286 * There should only be very basic checks here to ensure that
287 * we don't e.g. segfault in fill_commit_in_graph(), but
288 * because this is a very hot codepath nothing that e.g. loops
289 * over g->num_commits, or runs a checksum on the commit-graph
292 if (!g
->chunk_oid_fanout
) {
293 error("commit-graph is missing the OID Fanout chunk");
296 if (!g
->chunk_oid_lookup
) {
297 error("commit-graph is missing the OID Lookup chunk");
300 if (!g
->chunk_commit_data
) {
301 error("commit-graph is missing the Commit Data chunk");
308 static int graph_read_oid_lookup(const unsigned char *chunk_start
,
309 size_t chunk_size
, void *data
)
311 struct commit_graph
*g
= data
;
312 g
->chunk_oid_lookup
= chunk_start
;
313 g
->num_commits
= chunk_size
/ g
->hash_len
;
317 static int graph_read_bloom_data(const unsigned char *chunk_start
,
318 size_t chunk_size
, void *data
)
320 struct commit_graph
*g
= data
;
321 uint32_t hash_version
;
322 g
->chunk_bloom_data
= chunk_start
;
323 hash_version
= get_be32(chunk_start
);
325 if (hash_version
!= 1)
328 g
->bloom_filter_settings
= xmalloc(sizeof(struct bloom_filter_settings
));
329 g
->bloom_filter_settings
->hash_version
= hash_version
;
330 g
->bloom_filter_settings
->num_hashes
= get_be32(chunk_start
+ 4);
331 g
->bloom_filter_settings
->bits_per_entry
= get_be32(chunk_start
+ 8);
332 g
->bloom_filter_settings
->max_changed_paths
= DEFAULT_BLOOM_MAX_CHANGES
;
337 struct commit_graph
*parse_commit_graph(struct repo_settings
*s
,
338 void *graph_map
, size_t graph_size
)
340 const unsigned char *data
;
341 struct commit_graph
*graph
;
342 uint32_t graph_signature
;
343 unsigned char graph_version
, hash_version
;
344 struct chunkfile
*cf
= NULL
;
349 if (graph_size
< GRAPH_MIN_SIZE
)
352 data
= (const unsigned char *)graph_map
;
354 graph_signature
= get_be32(data
);
355 if (graph_signature
!= GRAPH_SIGNATURE
) {
356 error(_("commit-graph signature %X does not match signature %X"),
357 graph_signature
, GRAPH_SIGNATURE
);
361 graph_version
= *(unsigned char*)(data
+ 4);
362 if (graph_version
!= GRAPH_VERSION
) {
363 error(_("commit-graph version %X does not match version %X"),
364 graph_version
, GRAPH_VERSION
);
368 hash_version
= *(unsigned char*)(data
+ 5);
369 if (hash_version
!= oid_version(the_hash_algo
)) {
370 error(_("commit-graph hash version %X does not match version %X"),
371 hash_version
, oid_version(the_hash_algo
));
375 graph
= alloc_commit_graph();
377 graph
->hash_len
= the_hash_algo
->rawsz
;
378 graph
->num_chunks
= *(unsigned char*)(data
+ 6);
379 graph
->data
= graph_map
;
380 graph
->data_len
= graph_size
;
382 if (graph_size
< GRAPH_HEADER_SIZE
+
383 (graph
->num_chunks
+ 1) * CHUNK_TOC_ENTRY_SIZE
+
384 GRAPH_FANOUT_SIZE
+ the_hash_algo
->rawsz
) {
385 error(_("commit-graph file is too small to hold %u chunks"),
391 cf
= init_chunkfile(NULL
);
393 if (read_table_of_contents(cf
, graph
->data
, graph_size
,
394 GRAPH_HEADER_SIZE
, graph
->num_chunks
))
395 goto free_and_return
;
397 pair_chunk(cf
, GRAPH_CHUNKID_OIDFANOUT
,
398 (const unsigned char **)&graph
->chunk_oid_fanout
);
399 read_chunk(cf
, GRAPH_CHUNKID_OIDLOOKUP
, graph_read_oid_lookup
, graph
);
400 pair_chunk(cf
, GRAPH_CHUNKID_DATA
, &graph
->chunk_commit_data
);
401 pair_chunk(cf
, GRAPH_CHUNKID_EXTRAEDGES
, &graph
->chunk_extra_edges
);
402 pair_chunk(cf
, GRAPH_CHUNKID_BASE
, &graph
->chunk_base_graphs
);
404 if (s
->commit_graph_generation_version
>= 2) {
405 pair_chunk(cf
, GRAPH_CHUNKID_GENERATION_DATA
,
406 &graph
->chunk_generation_data
);
407 pair_chunk(cf
, GRAPH_CHUNKID_GENERATION_DATA_OVERFLOW
,
408 &graph
->chunk_generation_data_overflow
);
410 if (graph
->chunk_generation_data
)
411 graph
->read_generation_data
= 1;
414 if (s
->commit_graph_read_changed_paths
) {
415 pair_chunk(cf
, GRAPH_CHUNKID_BLOOMINDEXES
,
416 &graph
->chunk_bloom_indexes
);
417 read_chunk(cf
, GRAPH_CHUNKID_BLOOMDATA
,
418 graph_read_bloom_data
, graph
);
421 if (graph
->chunk_bloom_indexes
&& graph
->chunk_bloom_data
) {
422 init_bloom_filters();
424 /* We need both the bloom chunks to exist together. Else ignore the data */
425 graph
->chunk_bloom_indexes
= NULL
;
426 graph
->chunk_bloom_data
= NULL
;
427 FREE_AND_NULL(graph
->bloom_filter_settings
);
430 oidread(&graph
->oid
, graph
->data
+ graph
->data_len
- graph
->hash_len
);
432 if (verify_commit_graph_lite(graph
))
433 goto free_and_return
;
440 free(graph
->bloom_filter_settings
);
445 static struct commit_graph
*load_commit_graph_one(struct repository
*r
,
446 const char *graph_file
,
447 struct object_directory
*odb
)
452 struct commit_graph
*g
;
453 int open_ok
= open_commit_graph(graph_file
, &fd
, &st
);
458 g
= load_commit_graph_one_fd_st(r
, fd
, &st
, odb
);
461 g
->filename
= xstrdup(graph_file
);
466 static struct commit_graph
*load_commit_graph_v1(struct repository
*r
,
467 struct object_directory
*odb
)
469 char *graph_name
= get_commit_graph_filename(odb
);
470 struct commit_graph
*g
= load_commit_graph_one(r
, graph_name
, odb
);
476 static int add_graph_to_chain(struct commit_graph
*g
,
477 struct commit_graph
*chain
,
478 struct object_id
*oids
,
481 struct commit_graph
*cur_g
= chain
;
483 if (n
&& !g
->chunk_base_graphs
) {
484 warning(_("commit-graph has no base graphs chunk"));
492 !oideq(&oids
[n
], &cur_g
->oid
) ||
493 !hasheq(oids
[n
].hash
, g
->chunk_base_graphs
+ st_mult(g
->hash_len
, n
))) {
494 warning(_("commit-graph chain does not match"));
498 cur_g
= cur_g
->base_graph
;
501 g
->base_graph
= chain
;
504 if (unsigned_add_overflows(chain
->num_commits
,
505 chain
->num_commits_in_base
)) {
506 warning(_("commit count in base graph too high: %"PRIuMAX
),
507 (uintmax_t)chain
->num_commits_in_base
);
510 g
->num_commits_in_base
= chain
->num_commits
+ chain
->num_commits_in_base
;
516 static struct commit_graph
*load_commit_graph_chain(struct repository
*r
,
517 struct object_directory
*odb
)
519 struct commit_graph
*graph_chain
= NULL
;
520 struct strbuf line
= STRBUF_INIT
;
522 struct object_id
*oids
;
523 int i
= 0, valid
= 1, count
;
524 char *chain_name
= get_commit_graph_chain_filename(odb
);
528 fp
= fopen(chain_name
, "r");
529 stat_res
= stat(chain_name
, &st
);
535 st
.st_size
<= the_hash_algo
->hexsz
) {
540 count
= st
.st_size
/ (the_hash_algo
->hexsz
+ 1);
541 CALLOC_ARRAY(oids
, count
);
545 for (i
= 0; i
< count
; i
++) {
546 struct object_directory
*odb
;
548 if (strbuf_getline_lf(&line
, fp
) == EOF
)
551 if (get_oid_hex(line
.buf
, &oids
[i
])) {
552 warning(_("invalid commit-graph chain: line '%s' not a hash"),
559 for (odb
= r
->objects
->odb
; odb
; odb
= odb
->next
) {
560 char *graph_name
= get_split_graph_filename(odb
, line
.buf
);
561 struct commit_graph
*g
= load_commit_graph_one(r
, graph_name
, odb
);
566 if (add_graph_to_chain(g
, graph_chain
, oids
, i
)) {
576 warning(_("unable to find all commit-graph files"));
583 strbuf_release(&line
);
589 * returns 1 if and only if all graphs in the chain have
590 * corrected commit dates stored in the generation_data chunk.
592 static int validate_mixed_generation_chain(struct commit_graph
*g
)
594 int read_generation_data
= 1;
595 struct commit_graph
*p
= g
;
597 while (read_generation_data
&& p
) {
598 read_generation_data
= p
->read_generation_data
;
602 if (read_generation_data
)
606 g
->read_generation_data
= 0;
613 struct commit_graph
*read_commit_graph_one(struct repository
*r
,
614 struct object_directory
*odb
)
616 struct commit_graph
*g
= load_commit_graph_v1(r
, odb
);
619 g
= load_commit_graph_chain(r
, odb
);
621 validate_mixed_generation_chain(g
);
626 static void prepare_commit_graph_one(struct repository
*r
,
627 struct object_directory
*odb
)
630 if (r
->objects
->commit_graph
)
633 r
->objects
->commit_graph
= read_commit_graph_one(r
, odb
);
637 * Return 1 if commit_graph is non-NULL, and 0 otherwise.
639 * On the first invocation, this function attempts to load the commit
640 * graph if the_repository is configured to have one.
642 static int prepare_commit_graph(struct repository
*r
)
644 struct object_directory
*odb
;
647 * Early return if there is no git dir or if the commit graph is
650 * This must come before the "already attempted?" check below, because
651 * we want to disable even an already-loaded graph file.
653 if (!r
->gitdir
|| r
->commit_graph_disabled
)
656 if (r
->objects
->commit_graph_attempted
)
657 return !!r
->objects
->commit_graph
;
658 r
->objects
->commit_graph_attempted
= 1;
660 prepare_repo_settings(r
);
662 if (!git_env_bool(GIT_TEST_COMMIT_GRAPH
, 0) &&
663 r
->settings
.core_commit_graph
!= 1)
665 * This repository is not configured to use commit graphs, so
666 * do not load one. (But report commit_graph_attempted anyway
667 * so that commit graph loading is not attempted again for this
672 if (!commit_graph_compatible(r
))
676 for (odb
= r
->objects
->odb
;
677 !r
->objects
->commit_graph
&& odb
;
679 prepare_commit_graph_one(r
, odb
);
680 return !!r
->objects
->commit_graph
;
683 int generation_numbers_enabled(struct repository
*r
)
685 uint32_t first_generation
;
686 struct commit_graph
*g
;
687 if (!prepare_commit_graph(r
))
690 g
= r
->objects
->commit_graph
;
695 first_generation
= get_be32(g
->chunk_commit_data
+
696 g
->hash_len
+ 8) >> 2;
698 return !!first_generation
;
701 int corrected_commit_dates_enabled(struct repository
*r
)
703 struct commit_graph
*g
;
704 if (!prepare_commit_graph(r
))
707 g
= r
->objects
->commit_graph
;
712 return g
->read_generation_data
;
715 struct bloom_filter_settings
*get_bloom_filter_settings(struct repository
*r
)
717 struct commit_graph
*g
= r
->objects
->commit_graph
;
719 if (g
->bloom_filter_settings
)
720 return g
->bloom_filter_settings
;
726 static void close_commit_graph_one(struct commit_graph
*g
)
731 clear_commit_graph_data_slab(&commit_graph_data_slab
);
732 close_commit_graph_one(g
->base_graph
);
733 free_commit_graph(g
);
736 void close_commit_graph(struct raw_object_store
*o
)
738 close_commit_graph_one(o
->commit_graph
);
739 o
->commit_graph
= NULL
;
742 static int bsearch_graph(struct commit_graph
*g
, const struct object_id
*oid
, uint32_t *pos
)
744 return bsearch_hash(oid
->hash
, g
->chunk_oid_fanout
,
745 g
->chunk_oid_lookup
, g
->hash_len
, pos
);
748 static void load_oid_from_graph(struct commit_graph
*g
,
750 struct object_id
*oid
)
754 while (g
&& pos
< g
->num_commits_in_base
)
758 BUG("NULL commit-graph");
760 if (pos
>= g
->num_commits
+ g
->num_commits_in_base
)
761 die(_("invalid commit position. commit-graph is likely corrupt"));
763 lex_index
= pos
- g
->num_commits_in_base
;
765 oidread(oid
, g
->chunk_oid_lookup
+ st_mult(g
->hash_len
, lex_index
));
768 static struct commit_list
**insert_parent_or_die(struct repository
*r
,
769 struct commit_graph
*g
,
771 struct commit_list
**pptr
)
774 struct object_id oid
;
776 if (pos
>= g
->num_commits
+ g
->num_commits_in_base
)
777 die("invalid parent position %"PRIu32
, pos
);
779 load_oid_from_graph(g
, pos
, &oid
);
780 c
= lookup_commit(r
, &oid
);
782 die(_("could not find commit %s"), oid_to_hex(&oid
));
783 commit_graph_data_at(c
)->graph_pos
= pos
;
784 return &commit_list_insert(c
, pptr
)->next
;
787 static void fill_commit_graph_info(struct commit
*item
, struct commit_graph
*g
, uint32_t pos
)
789 const unsigned char *commit_data
;
790 struct commit_graph_data
*graph_data
;
791 uint32_t lex_index
, offset_pos
;
792 uint64_t date_high
, date_low
, offset
;
794 while (pos
< g
->num_commits_in_base
)
797 if (pos
>= g
->num_commits
+ g
->num_commits_in_base
)
798 die(_("invalid commit position. commit-graph is likely corrupt"));
800 lex_index
= pos
- g
->num_commits_in_base
;
801 commit_data
= g
->chunk_commit_data
+ st_mult(GRAPH_DATA_WIDTH
, lex_index
);
803 graph_data
= commit_graph_data_at(item
);
804 graph_data
->graph_pos
= pos
;
806 date_high
= get_be32(commit_data
+ g
->hash_len
+ 8) & 0x3;
807 date_low
= get_be32(commit_data
+ g
->hash_len
+ 12);
808 item
->date
= (timestamp_t
)((date_high
<< 32) | date_low
);
810 if (g
->read_generation_data
) {
811 offset
= (timestamp_t
)get_be32(g
->chunk_generation_data
+ st_mult(sizeof(uint32_t), lex_index
));
813 if (offset
& CORRECTED_COMMIT_DATE_OFFSET_OVERFLOW
) {
814 if (!g
->chunk_generation_data_overflow
)
815 die(_("commit-graph requires overflow generation data but has none"));
817 offset_pos
= offset
^ CORRECTED_COMMIT_DATE_OFFSET_OVERFLOW
;
818 graph_data
->generation
= item
->date
+ get_be64(g
->chunk_generation_data_overflow
+ st_mult(8, offset_pos
));
820 graph_data
->generation
= item
->date
+ offset
;
822 graph_data
->generation
= get_be32(commit_data
+ g
->hash_len
+ 8) >> 2;
825 *topo_level_slab_at(g
->topo_levels
, item
) = get_be32(commit_data
+ g
->hash_len
+ 8) >> 2;
828 static inline void set_commit_tree(struct commit
*c
, struct tree
*t
)
833 static int fill_commit_in_graph(struct repository
*r
,
835 struct commit_graph
*g
, uint32_t pos
)
838 uint32_t *parent_data_ptr
;
839 struct commit_list
**pptr
;
840 const unsigned char *commit_data
;
843 while (pos
< g
->num_commits_in_base
)
846 fill_commit_graph_info(item
, g
, pos
);
848 lex_index
= pos
- g
->num_commits_in_base
;
849 commit_data
= g
->chunk_commit_data
+ st_mult(g
->hash_len
+ 16, lex_index
);
851 item
->object
.parsed
= 1;
853 set_commit_tree(item
, NULL
);
855 pptr
= &item
->parents
;
857 edge_value
= get_be32(commit_data
+ g
->hash_len
);
858 if (edge_value
== GRAPH_PARENT_NONE
)
860 pptr
= insert_parent_or_die(r
, g
, edge_value
, pptr
);
862 edge_value
= get_be32(commit_data
+ g
->hash_len
+ 4);
863 if (edge_value
== GRAPH_PARENT_NONE
)
865 if (!(edge_value
& GRAPH_EXTRA_EDGES_NEEDED
)) {
866 pptr
= insert_parent_or_die(r
, g
, edge_value
, pptr
);
870 parent_data_ptr
= (uint32_t*)(g
->chunk_extra_edges
+
871 st_mult(4, edge_value
& GRAPH_EDGE_LAST_MASK
));
873 edge_value
= get_be32(parent_data_ptr
);
874 pptr
= insert_parent_or_die(r
, g
,
875 edge_value
& GRAPH_EDGE_LAST_MASK
,
878 } while (!(edge_value
& GRAPH_LAST_EDGE
));
883 static int search_commit_pos_in_graph(const struct object_id
*id
, struct commit_graph
*g
, uint32_t *pos
)
885 struct commit_graph
*cur_g
= g
;
888 while (cur_g
&& !bsearch_graph(cur_g
, id
, &lex_index
))
889 cur_g
= cur_g
->base_graph
;
892 *pos
= lex_index
+ cur_g
->num_commits_in_base
;
899 static int find_commit_pos_in_graph(struct commit
*item
, struct commit_graph
*g
, uint32_t *pos
)
901 uint32_t graph_pos
= commit_graph_position(item
);
902 if (graph_pos
!= COMMIT_NOT_FROM_GRAPH
) {
906 return search_commit_pos_in_graph(&item
->object
.oid
, g
, pos
);
910 int repo_find_commit_pos_in_graph(struct repository
*r
, struct commit
*c
,
913 if (!prepare_commit_graph(r
))
915 return find_commit_pos_in_graph(c
, r
->objects
->commit_graph
, pos
);
918 struct commit
*lookup_commit_in_graph(struct repository
*repo
, const struct object_id
*id
)
920 struct commit
*commit
;
923 if (!prepare_commit_graph(repo
))
925 if (!search_commit_pos_in_graph(id
, repo
->objects
->commit_graph
, &pos
))
927 if (!has_object(repo
, id
, 0))
930 commit
= lookup_commit(repo
, id
);
933 if (commit
->object
.parsed
)
936 if (!fill_commit_in_graph(repo
, commit
, repo
->objects
->commit_graph
, pos
))
942 static int parse_commit_in_graph_one(struct repository
*r
,
943 struct commit_graph
*g
,
948 if (item
->object
.parsed
)
951 if (find_commit_pos_in_graph(item
, g
, &pos
))
952 return fill_commit_in_graph(r
, item
, g
, pos
);
957 int parse_commit_in_graph(struct repository
*r
, struct commit
*item
)
959 static int checked_env
= 0;
962 git_env_bool(GIT_TEST_COMMIT_GRAPH_DIE_ON_PARSE
, 0))
963 die("dying as requested by the '%s' variable on commit-graph parse!",
964 GIT_TEST_COMMIT_GRAPH_DIE_ON_PARSE
);
967 if (!prepare_commit_graph(r
))
969 return parse_commit_in_graph_one(r
, r
->objects
->commit_graph
, item
);
972 void load_commit_graph_info(struct repository
*r
, struct commit
*item
)
975 if (repo_find_commit_pos_in_graph(r
, item
, &pos
))
976 fill_commit_graph_info(item
, r
->objects
->commit_graph
, pos
);
979 static struct tree
*load_tree_for_commit(struct repository
*r
,
980 struct commit_graph
*g
,
983 struct object_id oid
;
984 const unsigned char *commit_data
;
985 uint32_t graph_pos
= commit_graph_position(c
);
987 while (graph_pos
< g
->num_commits_in_base
)
990 commit_data
= g
->chunk_commit_data
+
991 st_mult(GRAPH_DATA_WIDTH
, graph_pos
- g
->num_commits_in_base
);
993 oidread(&oid
, commit_data
);
994 set_commit_tree(c
, lookup_tree(r
, &oid
));
996 return c
->maybe_tree
;
999 static struct tree
*get_commit_tree_in_graph_one(struct repository
*r
,
1000 struct commit_graph
*g
,
1001 const struct commit
*c
)
1004 return c
->maybe_tree
;
1005 if (commit_graph_position(c
) == COMMIT_NOT_FROM_GRAPH
)
1006 BUG("get_commit_tree_in_graph_one called from non-commit-graph commit");
1008 return load_tree_for_commit(r
, g
, (struct commit
*)c
);
1011 struct tree
*get_commit_tree_in_graph(struct repository
*r
, const struct commit
*c
)
1013 return get_commit_tree_in_graph_one(r
, r
->objects
->commit_graph
, c
);
1016 struct packed_commit_list
{
1017 struct commit
**list
;
1022 struct write_commit_graph_context
{
1023 struct repository
*r
;
1024 struct object_directory
*odb
;
1026 struct oid_array oids
;
1027 struct packed_commit_list commits
;
1028 int num_extra_edges
;
1029 int num_generation_data_overflows
;
1030 unsigned long approx_nr_objects
;
1031 struct progress
*progress
;
1033 uint64_t progress_cnt
;
1035 char *base_graph_name
;
1036 int num_commit_graphs_before
;
1037 int num_commit_graphs_after
;
1038 char **commit_graph_filenames_before
;
1039 char **commit_graph_filenames_after
;
1040 char **commit_graph_hash_after
;
1041 uint32_t new_num_commits_in_base
;
1042 struct commit_graph
*new_base_graph
;
1049 write_generation_data
:1,
1050 trust_generation_numbers
:1;
1052 struct topo_level_slab
*topo_levels
;
1053 const struct commit_graph_opts
*opts
;
1054 size_t total_bloom_filter_data_size
;
1055 const struct bloom_filter_settings
*bloom_settings
;
1057 int count_bloom_filter_computed
;
1058 int count_bloom_filter_not_computed
;
1059 int count_bloom_filter_trunc_empty
;
1060 int count_bloom_filter_trunc_large
;
1063 static int write_graph_chunk_fanout(struct hashfile
*f
,
1066 struct write_commit_graph_context
*ctx
= data
;
1068 struct commit
**list
= ctx
->commits
.list
;
1071 * Write the first-level table (the list is sorted,
1072 * but we use a 256-entry lookup to be able to avoid
1073 * having to do eight extra binary search iterations).
1075 for (i
= 0; i
< 256; i
++) {
1076 while (count
< ctx
->commits
.nr
) {
1077 if ((*list
)->object
.oid
.hash
[0] != i
)
1079 display_progress(ctx
->progress
, ++ctx
->progress_cnt
);
1084 hashwrite_be32(f
, count
);
1090 static int write_graph_chunk_oids(struct hashfile
*f
,
1093 struct write_commit_graph_context
*ctx
= data
;
1094 struct commit
**list
= ctx
->commits
.list
;
1096 for (count
= 0; count
< ctx
->commits
.nr
; count
++, list
++) {
1097 display_progress(ctx
->progress
, ++ctx
->progress_cnt
);
1098 hashwrite(f
, (*list
)->object
.oid
.hash
, the_hash_algo
->rawsz
);
1104 static const struct object_id
*commit_to_oid(size_t index
, const void *table
)
1106 const struct commit
* const *commits
= table
;
1107 return &commits
[index
]->object
.oid
;
1110 static int write_graph_chunk_data(struct hashfile
*f
,
1113 struct write_commit_graph_context
*ctx
= data
;
1114 struct commit
**list
= ctx
->commits
.list
;
1115 struct commit
**last
= ctx
->commits
.list
+ ctx
->commits
.nr
;
1116 uint32_t num_extra_edges
= 0;
1118 while (list
< last
) {
1119 struct commit_list
*parent
;
1120 struct object_id
*tree
;
1122 uint32_t packedDate
[2];
1123 display_progress(ctx
->progress
, ++ctx
->progress_cnt
);
1125 if (repo_parse_commit_no_graph(ctx
->r
, *list
))
1126 die(_("unable to parse commit %s"),
1127 oid_to_hex(&(*list
)->object
.oid
));
1128 tree
= get_commit_tree_oid(*list
);
1129 hashwrite(f
, tree
->hash
, the_hash_algo
->rawsz
);
1131 parent
= (*list
)->parents
;
1134 edge_value
= GRAPH_PARENT_NONE
;
1136 edge_value
= oid_pos(&parent
->item
->object
.oid
,
1141 if (edge_value
>= 0)
1142 edge_value
+= ctx
->new_num_commits_in_base
;
1143 else if (ctx
->new_base_graph
) {
1145 if (find_commit_pos_in_graph(parent
->item
,
1146 ctx
->new_base_graph
,
1152 BUG("missing parent %s for commit %s",
1153 oid_to_hex(&parent
->item
->object
.oid
),
1154 oid_to_hex(&(*list
)->object
.oid
));
1157 hashwrite_be32(f
, edge_value
);
1160 parent
= parent
->next
;
1163 edge_value
= GRAPH_PARENT_NONE
;
1164 else if (parent
->next
)
1165 edge_value
= GRAPH_EXTRA_EDGES_NEEDED
| num_extra_edges
;
1167 edge_value
= oid_pos(&parent
->item
->object
.oid
,
1172 if (edge_value
>= 0)
1173 edge_value
+= ctx
->new_num_commits_in_base
;
1174 else if (ctx
->new_base_graph
) {
1176 if (find_commit_pos_in_graph(parent
->item
,
1177 ctx
->new_base_graph
,
1183 BUG("missing parent %s for commit %s",
1184 oid_to_hex(&parent
->item
->object
.oid
),
1185 oid_to_hex(&(*list
)->object
.oid
));
1188 hashwrite_be32(f
, edge_value
);
1190 if (edge_value
& GRAPH_EXTRA_EDGES_NEEDED
) {
1193 parent
= parent
->next
;
1197 if (sizeof((*list
)->date
) > 4)
1198 packedDate
[0] = htonl(((*list
)->date
>> 32) & 0x3);
1202 packedDate
[0] |= htonl(*topo_level_slab_at(ctx
->topo_levels
, *list
) << 2);
1204 packedDate
[1] = htonl((*list
)->date
);
1205 hashwrite(f
, packedDate
, 8);
1213 static int write_graph_chunk_generation_data(struct hashfile
*f
,
1216 struct write_commit_graph_context
*ctx
= data
;
1217 int i
, num_generation_data_overflows
= 0;
1219 for (i
= 0; i
< ctx
->commits
.nr
; i
++) {
1220 struct commit
*c
= ctx
->commits
.list
[i
];
1222 repo_parse_commit(ctx
->r
, c
);
1223 offset
= commit_graph_data_at(c
)->generation
- c
->date
;
1224 display_progress(ctx
->progress
, ++ctx
->progress_cnt
);
1226 if (offset
> GENERATION_NUMBER_V2_OFFSET_MAX
) {
1227 offset
= CORRECTED_COMMIT_DATE_OFFSET_OVERFLOW
| num_generation_data_overflows
;
1228 num_generation_data_overflows
++;
1231 hashwrite_be32(f
, offset
);
1237 static int write_graph_chunk_generation_data_overflow(struct hashfile
*f
,
1240 struct write_commit_graph_context
*ctx
= data
;
1242 for (i
= 0; i
< ctx
->commits
.nr
; i
++) {
1243 struct commit
*c
= ctx
->commits
.list
[i
];
1244 timestamp_t offset
= commit_graph_data_at(c
)->generation
- c
->date
;
1245 display_progress(ctx
->progress
, ++ctx
->progress_cnt
);
1247 if (offset
> GENERATION_NUMBER_V2_OFFSET_MAX
) {
1248 hashwrite_be32(f
, offset
>> 32);
1249 hashwrite_be32(f
, (uint32_t) offset
);
1256 static int write_graph_chunk_extra_edges(struct hashfile
*f
,
1259 struct write_commit_graph_context
*ctx
= data
;
1260 struct commit
**list
= ctx
->commits
.list
;
1261 struct commit
**last
= ctx
->commits
.list
+ ctx
->commits
.nr
;
1262 struct commit_list
*parent
;
1264 while (list
< last
) {
1265 int num_parents
= 0;
1267 display_progress(ctx
->progress
, ++ctx
->progress_cnt
);
1269 for (parent
= (*list
)->parents
; num_parents
< 3 && parent
;
1270 parent
= parent
->next
)
1273 if (num_parents
<= 2) {
1278 /* Since num_parents > 2, this initializer is safe. */
1279 for (parent
= (*list
)->parents
->next
; parent
; parent
= parent
->next
) {
1280 int edge_value
= oid_pos(&parent
->item
->object
.oid
,
1285 if (edge_value
>= 0)
1286 edge_value
+= ctx
->new_num_commits_in_base
;
1287 else if (ctx
->new_base_graph
) {
1289 if (find_commit_pos_in_graph(parent
->item
,
1290 ctx
->new_base_graph
,
1296 BUG("missing parent %s for commit %s",
1297 oid_to_hex(&parent
->item
->object
.oid
),
1298 oid_to_hex(&(*list
)->object
.oid
));
1299 else if (!parent
->next
)
1300 edge_value
|= GRAPH_LAST_EDGE
;
1302 hashwrite_be32(f
, edge_value
);
1311 static int write_graph_chunk_bloom_indexes(struct hashfile
*f
,
1314 struct write_commit_graph_context
*ctx
= data
;
1315 struct commit
**list
= ctx
->commits
.list
;
1316 struct commit
**last
= ctx
->commits
.list
+ ctx
->commits
.nr
;
1317 uint32_t cur_pos
= 0;
1319 while (list
< last
) {
1320 struct bloom_filter
*filter
= get_bloom_filter(ctx
->r
, *list
);
1321 size_t len
= filter
? filter
->len
: 0;
1323 display_progress(ctx
->progress
, ++ctx
->progress_cnt
);
1324 hashwrite_be32(f
, cur_pos
);
1331 static void trace2_bloom_filter_settings(struct write_commit_graph_context
*ctx
)
1333 struct json_writer jw
= JSON_WRITER_INIT
;
1335 jw_object_begin(&jw
, 0);
1336 jw_object_intmax(&jw
, "hash_version", ctx
->bloom_settings
->hash_version
);
1337 jw_object_intmax(&jw
, "num_hashes", ctx
->bloom_settings
->num_hashes
);
1338 jw_object_intmax(&jw
, "bits_per_entry", ctx
->bloom_settings
->bits_per_entry
);
1339 jw_object_intmax(&jw
, "max_changed_paths", ctx
->bloom_settings
->max_changed_paths
);
1342 trace2_data_json("bloom", ctx
->r
, "settings", &jw
);
1347 static int write_graph_chunk_bloom_data(struct hashfile
*f
,
1350 struct write_commit_graph_context
*ctx
= data
;
1351 struct commit
**list
= ctx
->commits
.list
;
1352 struct commit
**last
= ctx
->commits
.list
+ ctx
->commits
.nr
;
1354 trace2_bloom_filter_settings(ctx
);
1356 hashwrite_be32(f
, ctx
->bloom_settings
->hash_version
);
1357 hashwrite_be32(f
, ctx
->bloom_settings
->num_hashes
);
1358 hashwrite_be32(f
, ctx
->bloom_settings
->bits_per_entry
);
1360 while (list
< last
) {
1361 struct bloom_filter
*filter
= get_bloom_filter(ctx
->r
, *list
);
1362 size_t len
= filter
? filter
->len
: 0;
1364 display_progress(ctx
->progress
, ++ctx
->progress_cnt
);
1366 hashwrite(f
, filter
->data
, len
* sizeof(unsigned char));
1373 static int add_packed_commits(const struct object_id
*oid
,
1374 struct packed_git
*pack
,
1378 struct write_commit_graph_context
*ctx
= (struct write_commit_graph_context
*)data
;
1379 enum object_type type
;
1380 off_t offset
= nth_packed_object_offset(pack
, pos
);
1381 struct object_info oi
= OBJECT_INFO_INIT
;
1384 display_progress(ctx
->progress
, ++ctx
->progress_done
);
1387 if (packed_object_info(ctx
->r
, pack
, offset
, &oi
) < 0)
1388 die(_("unable to get type of object %s"), oid_to_hex(oid
));
1390 if (type
!= OBJ_COMMIT
)
1393 oid_array_append(&ctx
->oids
, oid
);
1394 set_commit_pos(ctx
->r
, oid
);
1399 static void add_missing_parents(struct write_commit_graph_context
*ctx
, struct commit
*commit
)
1401 struct commit_list
*parent
;
1402 for (parent
= commit
->parents
; parent
; parent
= parent
->next
) {
1403 if (!(parent
->item
->object
.flags
& REACHABLE
)) {
1404 oid_array_append(&ctx
->oids
, &parent
->item
->object
.oid
);
1405 parent
->item
->object
.flags
|= REACHABLE
;
1410 static void close_reachable(struct write_commit_graph_context
*ctx
)
1413 struct commit
*commit
;
1414 enum commit_graph_split_flags flags
= ctx
->opts
?
1415 ctx
->opts
->split_flags
: COMMIT_GRAPH_SPLIT_UNSPECIFIED
;
1417 if (ctx
->report_progress
)
1418 ctx
->progress
= start_delayed_progress(
1419 _("Loading known commits in commit graph"),
1421 for (i
= 0; i
< ctx
->oids
.nr
; i
++) {
1422 display_progress(ctx
->progress
, i
+ 1);
1423 commit
= lookup_commit(ctx
->r
, &ctx
->oids
.oid
[i
]);
1425 commit
->object
.flags
|= REACHABLE
;
1427 stop_progress(&ctx
->progress
);
1430 * As this loop runs, ctx->oids.nr may grow, but not more
1431 * than the number of missing commits in the reachable
1434 if (ctx
->report_progress
)
1435 ctx
->progress
= start_delayed_progress(
1436 _("Expanding reachable commits in commit graph"),
1438 for (i
= 0; i
< ctx
->oids
.nr
; i
++) {
1439 display_progress(ctx
->progress
, i
+ 1);
1440 commit
= lookup_commit(ctx
->r
, &ctx
->oids
.oid
[i
]);
1445 if ((!repo_parse_commit(ctx
->r
, commit
) &&
1446 commit_graph_position(commit
) == COMMIT_NOT_FROM_GRAPH
) ||
1447 flags
== COMMIT_GRAPH_SPLIT_REPLACE
)
1448 add_missing_parents(ctx
, commit
);
1449 } else if (!repo_parse_commit_no_graph(ctx
->r
, commit
))
1450 add_missing_parents(ctx
, commit
);
1452 stop_progress(&ctx
->progress
);
1454 if (ctx
->report_progress
)
1455 ctx
->progress
= start_delayed_progress(
1456 _("Clearing commit marks in commit graph"),
1458 for (i
= 0; i
< ctx
->oids
.nr
; i
++) {
1459 display_progress(ctx
->progress
, i
+ 1);
1460 commit
= lookup_commit(ctx
->r
, &ctx
->oids
.oid
[i
]);
1463 commit
->object
.flags
&= ~REACHABLE
;
1465 stop_progress(&ctx
->progress
);
1468 struct compute_generation_info
{
1469 struct repository
*r
;
1470 struct packed_commit_list
*commits
;
1471 struct progress
*progress
;
1474 timestamp_t (*get_generation
)(struct commit
*c
, void *data
);
1475 void (*set_generation
)(struct commit
*c
, timestamp_t gen
, void *data
);
1479 static timestamp_t
compute_generation_from_max(struct commit
*c
,
1480 timestamp_t max_gen
,
1481 int generation_version
)
1483 switch (generation_version
) {
1484 case 1: /* topological levels */
1485 if (max_gen
> GENERATION_NUMBER_V1_MAX
- 1)
1486 max_gen
= GENERATION_NUMBER_V1_MAX
- 1;
1489 case 2: /* corrected commit date */
1490 if (c
->date
&& c
->date
> max_gen
)
1491 max_gen
= c
->date
- 1;
1495 BUG("attempting unimplemented version");
1499 static void compute_reachable_generation_numbers(
1500 struct compute_generation_info
*info
,
1501 int generation_version
)
1504 struct commit_list
*list
= NULL
;
1506 for (i
= 0; i
< info
->commits
->nr
; i
++) {
1507 struct commit
*c
= info
->commits
->list
[i
];
1509 repo_parse_commit(info
->r
, c
);
1510 gen
= info
->get_generation(c
, info
->data
);
1511 display_progress(info
->progress
, info
->progress_cnt
+ 1);
1513 if (gen
!= GENERATION_NUMBER_ZERO
&& gen
!= GENERATION_NUMBER_INFINITY
)
1516 commit_list_insert(c
, &list
);
1518 struct commit
*current
= list
->item
;
1519 struct commit_list
*parent
;
1520 int all_parents_computed
= 1;
1521 uint32_t max_gen
= 0;
1523 for (parent
= current
->parents
; parent
; parent
= parent
->next
) {
1524 repo_parse_commit(info
->r
, parent
->item
);
1525 gen
= info
->get_generation(parent
->item
, info
->data
);
1527 if (gen
== GENERATION_NUMBER_ZERO
) {
1528 all_parents_computed
= 0;
1529 commit_list_insert(parent
->item
, &list
);
1537 if (all_parents_computed
) {
1539 gen
= compute_generation_from_max(
1541 generation_version
);
1542 info
->set_generation(current
, gen
, info
->data
);
1548 static timestamp_t
get_topo_level(struct commit
*c
, void *data
)
1550 struct write_commit_graph_context
*ctx
= data
;
1551 return *topo_level_slab_at(ctx
->topo_levels
, c
);
1554 static void set_topo_level(struct commit
*c
, timestamp_t t
, void *data
)
1556 struct write_commit_graph_context
*ctx
= data
;
1557 *topo_level_slab_at(ctx
->topo_levels
, c
) = (uint32_t)t
;
1560 static void compute_topological_levels(struct write_commit_graph_context
*ctx
)
1562 struct compute_generation_info info
= {
1564 .commits
= &ctx
->commits
,
1565 .get_generation
= get_topo_level
,
1566 .set_generation
= set_topo_level
,
1570 if (ctx
->report_progress
)
1571 info
.progress
= ctx
->progress
1572 = start_delayed_progress(
1573 _("Computing commit graph topological levels"),
1576 compute_reachable_generation_numbers(&info
, 1);
1578 stop_progress(&ctx
->progress
);
1581 static timestamp_t
get_generation_from_graph_data(struct commit
*c
,
1584 return commit_graph_data_at(c
)->generation
;
1587 static void set_generation_v2(struct commit
*c
, timestamp_t t
,
1590 struct commit_graph_data
*g
= commit_graph_data_at(c
);
1594 static void compute_generation_numbers(struct write_commit_graph_context
*ctx
)
1597 struct compute_generation_info info
= {
1599 .commits
= &ctx
->commits
,
1600 .get_generation
= get_generation_from_graph_data
,
1601 .set_generation
= set_generation_v2
,
1604 if (ctx
->report_progress
)
1605 info
.progress
= ctx
->progress
1606 = start_delayed_progress(
1607 _("Computing commit graph generation numbers"),
1610 if (!ctx
->trust_generation_numbers
) {
1611 for (i
= 0; i
< ctx
->commits
.nr
; i
++) {
1612 struct commit
*c
= ctx
->commits
.list
[i
];
1613 repo_parse_commit(ctx
->r
, c
);
1614 commit_graph_data_at(c
)->generation
= GENERATION_NUMBER_ZERO
;
1618 compute_reachable_generation_numbers(&info
, 2);
1620 for (i
= 0; i
< ctx
->commits
.nr
; i
++) {
1621 struct commit
*c
= ctx
->commits
.list
[i
];
1622 timestamp_t offset
= commit_graph_data_at(c
)->generation
- c
->date
;
1623 if (offset
> GENERATION_NUMBER_V2_OFFSET_MAX
)
1624 ctx
->num_generation_data_overflows
++;
1626 stop_progress(&ctx
->progress
);
1629 static void set_generation_in_graph_data(struct commit
*c
, timestamp_t t
,
1632 commit_graph_data_at(c
)->generation
= t
;
1636 * After this method, all commits reachable from those in the given
1637 * list will have non-zero, non-infinite generation numbers.
1639 void ensure_generations_valid(struct repository
*r
,
1640 struct commit
**commits
, size_t nr
)
1642 int generation_version
= get_configured_generation_version(r
);
1643 struct packed_commit_list list
= {
1648 struct compute_generation_info info
= {
1651 .get_generation
= get_generation_from_graph_data
,
1652 .set_generation
= set_generation_in_graph_data
,
1655 compute_reachable_generation_numbers(&info
, generation_version
);
1658 static void trace2_bloom_filter_write_statistics(struct write_commit_graph_context
*ctx
)
1660 trace2_data_intmax("commit-graph", ctx
->r
, "filter-computed",
1661 ctx
->count_bloom_filter_computed
);
1662 trace2_data_intmax("commit-graph", ctx
->r
, "filter-not-computed",
1663 ctx
->count_bloom_filter_not_computed
);
1664 trace2_data_intmax("commit-graph", ctx
->r
, "filter-trunc-empty",
1665 ctx
->count_bloom_filter_trunc_empty
);
1666 trace2_data_intmax("commit-graph", ctx
->r
, "filter-trunc-large",
1667 ctx
->count_bloom_filter_trunc_large
);
1670 static void compute_bloom_filters(struct write_commit_graph_context
*ctx
)
1673 struct progress
*progress
= NULL
;
1674 struct commit
**sorted_commits
;
1675 int max_new_filters
;
1677 init_bloom_filters();
1679 if (ctx
->report_progress
)
1680 progress
= start_delayed_progress(
1681 _("Computing commit changed paths Bloom filters"),
1684 DUP_ARRAY(sorted_commits
, ctx
->commits
.list
, ctx
->commits
.nr
);
1686 if (ctx
->order_by_pack
)
1687 QSORT(sorted_commits
, ctx
->commits
.nr
, commit_pos_cmp
);
1689 QSORT(sorted_commits
, ctx
->commits
.nr
, commit_gen_cmp
);
1691 max_new_filters
= ctx
->opts
&& ctx
->opts
->max_new_filters
>= 0 ?
1692 ctx
->opts
->max_new_filters
: ctx
->commits
.nr
;
1694 for (i
= 0; i
< ctx
->commits
.nr
; i
++) {
1695 enum bloom_filter_computed computed
= 0;
1696 struct commit
*c
= sorted_commits
[i
];
1697 struct bloom_filter
*filter
= get_or_compute_bloom_filter(
1700 ctx
->count_bloom_filter_computed
< max_new_filters
,
1701 ctx
->bloom_settings
,
1703 if (computed
& BLOOM_COMPUTED
) {
1704 ctx
->count_bloom_filter_computed
++;
1705 if (computed
& BLOOM_TRUNC_EMPTY
)
1706 ctx
->count_bloom_filter_trunc_empty
++;
1707 if (computed
& BLOOM_TRUNC_LARGE
)
1708 ctx
->count_bloom_filter_trunc_large
++;
1709 } else if (computed
& BLOOM_NOT_COMPUTED
)
1710 ctx
->count_bloom_filter_not_computed
++;
1711 ctx
->total_bloom_filter_data_size
+= filter
1712 ? sizeof(unsigned char) * filter
->len
: 0;
1713 display_progress(progress
, i
+ 1);
1716 if (trace2_is_enabled())
1717 trace2_bloom_filter_write_statistics(ctx
);
1719 free(sorted_commits
);
1720 stop_progress(&progress
);
1723 struct refs_cb_data
{
1724 struct oidset
*commits
;
1725 struct progress
*progress
;
1728 static int add_ref_to_set(const char *refname UNUSED
,
1729 const struct object_id
*oid
,
1730 int flags UNUSED
, void *cb_data
)
1732 struct object_id peeled
;
1733 struct refs_cb_data
*data
= (struct refs_cb_data
*)cb_data
;
1735 if (!peel_iterated_oid(oid
, &peeled
))
1737 if (oid_object_info(the_repository
, oid
, NULL
) == OBJ_COMMIT
)
1738 oidset_insert(data
->commits
, oid
);
1740 display_progress(data
->progress
, oidset_size(data
->commits
));
1745 int write_commit_graph_reachable(struct object_directory
*odb
,
1746 enum commit_graph_write_flags flags
,
1747 const struct commit_graph_opts
*opts
)
1749 struct oidset commits
= OIDSET_INIT
;
1750 struct refs_cb_data data
;
1753 memset(&data
, 0, sizeof(data
));
1754 data
.commits
= &commits
;
1755 if (flags
& COMMIT_GRAPH_WRITE_PROGRESS
)
1756 data
.progress
= start_delayed_progress(
1757 _("Collecting referenced commits"), 0);
1759 for_each_ref(add_ref_to_set
, &data
);
1761 stop_progress(&data
.progress
);
1763 result
= write_commit_graph(odb
, NULL
, &commits
,
1766 oidset_clear(&commits
);
1770 static int fill_oids_from_packs(struct write_commit_graph_context
*ctx
,
1771 const struct string_list
*pack_indexes
)
1774 struct strbuf progress_title
= STRBUF_INIT
;
1775 struct strbuf packname
= STRBUF_INIT
;
1779 strbuf_addf(&packname
, "%s/pack/", ctx
->odb
->path
);
1780 dirlen
= packname
.len
;
1781 if (ctx
->report_progress
) {
1782 strbuf_addf(&progress_title
,
1783 Q_("Finding commits for commit graph in %"PRIuMAX
" pack",
1784 "Finding commits for commit graph in %"PRIuMAX
" packs",
1786 (uintmax_t)pack_indexes
->nr
);
1787 ctx
->progress
= start_delayed_progress(progress_title
.buf
, 0);
1788 ctx
->progress_done
= 0;
1790 for (i
= 0; i
< pack_indexes
->nr
; i
++) {
1791 struct packed_git
*p
;
1792 strbuf_setlen(&packname
, dirlen
);
1793 strbuf_addstr(&packname
, pack_indexes
->items
[i
].string
);
1794 p
= add_packed_git(packname
.buf
, packname
.len
, 1);
1796 ret
= error(_("error adding pack %s"), packname
.buf
);
1799 if (open_pack_index(p
)) {
1800 ret
= error(_("error opening index for %s"), packname
.buf
);
1803 for_each_object_in_pack(p
, add_packed_commits
, ctx
,
1804 FOR_EACH_OBJECT_PACK_ORDER
);
1810 stop_progress(&ctx
->progress
);
1811 strbuf_release(&progress_title
);
1812 strbuf_release(&packname
);
1817 static int fill_oids_from_commits(struct write_commit_graph_context
*ctx
,
1818 struct oidset
*commits
)
1820 struct oidset_iter iter
;
1821 struct object_id
*oid
;
1823 if (!oidset_size(commits
))
1826 oidset_iter_init(commits
, &iter
);
1827 while ((oid
= oidset_iter_next(&iter
))) {
1828 oid_array_append(&ctx
->oids
, oid
);
1834 static void fill_oids_from_all_packs(struct write_commit_graph_context
*ctx
)
1836 if (ctx
->report_progress
)
1837 ctx
->progress
= start_delayed_progress(
1838 _("Finding commits for commit graph among packed objects"),
1839 ctx
->approx_nr_objects
);
1840 for_each_packed_object(add_packed_commits
, ctx
,
1841 FOR_EACH_OBJECT_PACK_ORDER
);
1842 if (ctx
->progress_done
< ctx
->approx_nr_objects
)
1843 display_progress(ctx
->progress
, ctx
->approx_nr_objects
);
1844 stop_progress(&ctx
->progress
);
1847 static void copy_oids_to_commits(struct write_commit_graph_context
*ctx
)
1850 enum commit_graph_split_flags flags
= ctx
->opts
?
1851 ctx
->opts
->split_flags
: COMMIT_GRAPH_SPLIT_UNSPECIFIED
;
1853 ctx
->num_extra_edges
= 0;
1854 if (ctx
->report_progress
)
1855 ctx
->progress
= start_delayed_progress(
1856 _("Finding extra edges in commit graph"),
1858 oid_array_sort(&ctx
->oids
);
1859 for (i
= 0; i
< ctx
->oids
.nr
; i
= oid_array_next_unique(&ctx
->oids
, i
)) {
1860 unsigned int num_parents
;
1862 display_progress(ctx
->progress
, i
+ 1);
1864 ALLOC_GROW(ctx
->commits
.list
, ctx
->commits
.nr
+ 1, ctx
->commits
.alloc
);
1865 ctx
->commits
.list
[ctx
->commits
.nr
] = lookup_commit(ctx
->r
, &ctx
->oids
.oid
[i
]);
1867 if (ctx
->split
&& flags
!= COMMIT_GRAPH_SPLIT_REPLACE
&&
1868 commit_graph_position(ctx
->commits
.list
[ctx
->commits
.nr
]) != COMMIT_NOT_FROM_GRAPH
)
1871 if (ctx
->split
&& flags
== COMMIT_GRAPH_SPLIT_REPLACE
)
1872 repo_parse_commit(ctx
->r
, ctx
->commits
.list
[ctx
->commits
.nr
]);
1874 repo_parse_commit_no_graph(ctx
->r
, ctx
->commits
.list
[ctx
->commits
.nr
]);
1876 num_parents
= commit_list_count(ctx
->commits
.list
[ctx
->commits
.nr
]->parents
);
1877 if (num_parents
> 2)
1878 ctx
->num_extra_edges
+= num_parents
- 1;
1882 stop_progress(&ctx
->progress
);
1885 static int write_graph_chunk_base_1(struct hashfile
*f
,
1886 struct commit_graph
*g
)
1893 num
= write_graph_chunk_base_1(f
, g
->base_graph
);
1894 hashwrite(f
, g
->oid
.hash
, the_hash_algo
->rawsz
);
1898 static int write_graph_chunk_base(struct hashfile
*f
,
1901 struct write_commit_graph_context
*ctx
= data
;
1902 int num
= write_graph_chunk_base_1(f
, ctx
->new_base_graph
);
1904 if (num
!= ctx
->num_commit_graphs_after
- 1) {
1905 error(_("failed to write correct number of base graph ids"));
1912 static int write_commit_graph_file(struct write_commit_graph_context
*ctx
)
1917 struct lock_file lk
= LOCK_INIT
;
1918 const unsigned hashsz
= the_hash_algo
->rawsz
;
1919 struct strbuf progress_title
= STRBUF_INIT
;
1920 struct chunkfile
*cf
;
1921 unsigned char file_hash
[GIT_MAX_RAWSZ
];
1924 struct strbuf tmp_file
= STRBUF_INIT
;
1926 strbuf_addf(&tmp_file
,
1927 "%s/info/commit-graphs/tmp_graph_XXXXXX",
1929 ctx
->graph_name
= strbuf_detach(&tmp_file
, NULL
);
1931 ctx
->graph_name
= get_commit_graph_filename(ctx
->odb
);
1934 if (safe_create_leading_directories(ctx
->graph_name
)) {
1935 UNLEAK(ctx
->graph_name
);
1936 error(_("unable to create leading directories of %s"),
1942 char *lock_name
= get_commit_graph_chain_filename(ctx
->odb
);
1944 hold_lock_file_for_update_mode(&lk
, lock_name
,
1945 LOCK_DIE_ON_ERROR
, 0444);
1948 fd
= git_mkstemp_mode(ctx
->graph_name
, 0444);
1950 error(_("unable to create temporary graph layer"));
1954 if (adjust_shared_perm(ctx
->graph_name
)) {
1955 error(_("unable to adjust shared permissions for '%s'"),
1960 f
= hashfd(fd
, ctx
->graph_name
);
1962 hold_lock_file_for_update_mode(&lk
, ctx
->graph_name
,
1963 LOCK_DIE_ON_ERROR
, 0444);
1964 fd
= get_lock_file_fd(&lk
);
1965 f
= hashfd(fd
, get_lock_file_path(&lk
));
1968 cf
= init_chunkfile(f
);
1970 add_chunk(cf
, GRAPH_CHUNKID_OIDFANOUT
, GRAPH_FANOUT_SIZE
,
1971 write_graph_chunk_fanout
);
1972 add_chunk(cf
, GRAPH_CHUNKID_OIDLOOKUP
, st_mult(hashsz
, ctx
->commits
.nr
),
1973 write_graph_chunk_oids
);
1974 add_chunk(cf
, GRAPH_CHUNKID_DATA
, st_mult(hashsz
+ 16, ctx
->commits
.nr
),
1975 write_graph_chunk_data
);
1977 if (ctx
->write_generation_data
)
1978 add_chunk(cf
, GRAPH_CHUNKID_GENERATION_DATA
,
1979 st_mult(sizeof(uint32_t), ctx
->commits
.nr
),
1980 write_graph_chunk_generation_data
);
1981 if (ctx
->num_generation_data_overflows
)
1982 add_chunk(cf
, GRAPH_CHUNKID_GENERATION_DATA_OVERFLOW
,
1983 st_mult(sizeof(timestamp_t
), ctx
->num_generation_data_overflows
),
1984 write_graph_chunk_generation_data_overflow
);
1985 if (ctx
->num_extra_edges
)
1986 add_chunk(cf
, GRAPH_CHUNKID_EXTRAEDGES
,
1987 st_mult(4, ctx
->num_extra_edges
),
1988 write_graph_chunk_extra_edges
);
1989 if (ctx
->changed_paths
) {
1990 add_chunk(cf
, GRAPH_CHUNKID_BLOOMINDEXES
,
1991 st_mult(sizeof(uint32_t), ctx
->commits
.nr
),
1992 write_graph_chunk_bloom_indexes
);
1993 add_chunk(cf
, GRAPH_CHUNKID_BLOOMDATA
,
1994 st_add(sizeof(uint32_t) * 3,
1995 ctx
->total_bloom_filter_data_size
),
1996 write_graph_chunk_bloom_data
);
1998 if (ctx
->num_commit_graphs_after
> 1)
1999 add_chunk(cf
, GRAPH_CHUNKID_BASE
,
2000 st_mult(hashsz
, ctx
->num_commit_graphs_after
- 1),
2001 write_graph_chunk_base
);
2003 hashwrite_be32(f
, GRAPH_SIGNATURE
);
2005 hashwrite_u8(f
, GRAPH_VERSION
);
2006 hashwrite_u8(f
, oid_version(the_hash_algo
));
2007 hashwrite_u8(f
, get_num_chunks(cf
));
2008 hashwrite_u8(f
, ctx
->num_commit_graphs_after
- 1);
2010 if (ctx
->report_progress
) {
2011 strbuf_addf(&progress_title
,
2012 Q_("Writing out commit graph in %d pass",
2013 "Writing out commit graph in %d passes",
2014 get_num_chunks(cf
)),
2015 get_num_chunks(cf
));
2016 ctx
->progress
= start_delayed_progress(
2018 st_mult(get_num_chunks(cf
), ctx
->commits
.nr
));
2021 write_chunkfile(cf
, ctx
);
2023 stop_progress(&ctx
->progress
);
2024 strbuf_release(&progress_title
);
2026 if (ctx
->split
&& ctx
->base_graph_name
&& ctx
->num_commit_graphs_after
> 1) {
2027 char *new_base_hash
= xstrdup(oid_to_hex(&ctx
->new_base_graph
->oid
));
2028 char *new_base_name
= get_split_graph_filename(ctx
->new_base_graph
->odb
, new_base_hash
);
2030 free(ctx
->commit_graph_filenames_after
[ctx
->num_commit_graphs_after
- 2]);
2031 free(ctx
->commit_graph_hash_after
[ctx
->num_commit_graphs_after
- 2]);
2032 ctx
->commit_graph_filenames_after
[ctx
->num_commit_graphs_after
- 2] = new_base_name
;
2033 ctx
->commit_graph_hash_after
[ctx
->num_commit_graphs_after
- 2] = new_base_hash
;
2036 close_commit_graph(ctx
->r
->objects
);
2037 finalize_hashfile(f
, file_hash
, FSYNC_COMPONENT_COMMIT_GRAPH
,
2038 CSUM_HASH_IN_STREAM
| CSUM_FSYNC
);
2042 FILE *chainf
= fdopen_lock_file(&lk
, "w");
2043 char *final_graph_name
;
2049 error(_("unable to open commit-graph chain file"));
2053 if (ctx
->base_graph_name
) {
2055 int idx
= ctx
->num_commit_graphs_after
- 1;
2056 if (ctx
->num_commit_graphs_after
> 1)
2059 dest
= ctx
->commit_graph_filenames_after
[idx
];
2061 if (strcmp(ctx
->base_graph_name
, dest
)) {
2062 result
= rename(ctx
->base_graph_name
, dest
);
2065 error(_("failed to rename base commit-graph file"));
2070 char *graph_name
= get_commit_graph_filename(ctx
->odb
);
2075 ctx
->commit_graph_hash_after
[ctx
->num_commit_graphs_after
- 1] = xstrdup(hash_to_hex(file_hash
));
2076 final_graph_name
= get_split_graph_filename(ctx
->odb
,
2077 ctx
->commit_graph_hash_after
[ctx
->num_commit_graphs_after
- 1]);
2078 ctx
->commit_graph_filenames_after
[ctx
->num_commit_graphs_after
- 1] = final_graph_name
;
2080 result
= rename(ctx
->graph_name
, final_graph_name
);
2082 for (i
= 0; i
< ctx
->num_commit_graphs_after
; i
++)
2083 fprintf(get_lock_file_fp(&lk
), "%s\n", ctx
->commit_graph_hash_after
[i
]);
2086 error(_("failed to rename temporary commit-graph file"));
2091 commit_lock_file(&lk
);
2096 static void split_graph_merge_strategy(struct write_commit_graph_context
*ctx
)
2098 struct commit_graph
*g
;
2099 uint32_t num_commits
;
2100 enum commit_graph_split_flags flags
= COMMIT_GRAPH_SPLIT_UNSPECIFIED
;
2103 int max_commits
= 0;
2107 max_commits
= ctx
->opts
->max_commits
;
2109 if (ctx
->opts
->size_multiple
)
2110 size_mult
= ctx
->opts
->size_multiple
;
2112 flags
= ctx
->opts
->split_flags
;
2115 g
= ctx
->r
->objects
->commit_graph
;
2116 num_commits
= ctx
->commits
.nr
;
2117 if (flags
== COMMIT_GRAPH_SPLIT_REPLACE
)
2118 ctx
->num_commit_graphs_after
= 1;
2120 ctx
->num_commit_graphs_after
= ctx
->num_commit_graphs_before
+ 1;
2122 if (flags
!= COMMIT_GRAPH_SPLIT_MERGE_PROHIBITED
&&
2123 flags
!= COMMIT_GRAPH_SPLIT_REPLACE
) {
2124 while (g
&& (g
->num_commits
<= st_mult(size_mult
, num_commits
) ||
2125 (max_commits
&& num_commits
> max_commits
))) {
2126 if (g
->odb
!= ctx
->odb
)
2129 if (unsigned_add_overflows(num_commits
, g
->num_commits
))
2130 die(_("cannot merge graphs with %"PRIuMAX
", "
2131 "%"PRIuMAX
" commits"),
2132 (uintmax_t)num_commits
,
2133 (uintmax_t)g
->num_commits
);
2134 num_commits
+= g
->num_commits
;
2137 ctx
->num_commit_graphs_after
--;
2141 if (flags
!= COMMIT_GRAPH_SPLIT_REPLACE
)
2142 ctx
->new_base_graph
= g
;
2143 else if (ctx
->num_commit_graphs_after
!= 1)
2144 BUG("split_graph_merge_strategy: num_commit_graphs_after "
2145 "should be 1 with --split=replace");
2147 if (ctx
->num_commit_graphs_after
== 2) {
2148 char *old_graph_name
= get_commit_graph_filename(g
->odb
);
2150 if (!strcmp(g
->filename
, old_graph_name
) &&
2151 g
->odb
!= ctx
->odb
) {
2152 ctx
->num_commit_graphs_after
= 1;
2153 ctx
->new_base_graph
= NULL
;
2156 free(old_graph_name
);
2159 CALLOC_ARRAY(ctx
->commit_graph_filenames_after
, ctx
->num_commit_graphs_after
);
2160 CALLOC_ARRAY(ctx
->commit_graph_hash_after
, ctx
->num_commit_graphs_after
);
2162 for (i
= 0; i
< ctx
->num_commit_graphs_after
&&
2163 i
< ctx
->num_commit_graphs_before
; i
++)
2164 ctx
->commit_graph_filenames_after
[i
] = xstrdup(ctx
->commit_graph_filenames_before
[i
]);
2166 i
= ctx
->num_commit_graphs_before
- 1;
2167 g
= ctx
->r
->objects
->commit_graph
;
2170 if (i
< ctx
->num_commit_graphs_after
)
2171 ctx
->commit_graph_hash_after
[i
] = xstrdup(oid_to_hex(&g
->oid
));
2174 * If the topmost remaining layer has generation data chunk, the
2175 * resultant layer also has generation data chunk.
2177 if (i
== ctx
->num_commit_graphs_after
- 2)
2178 ctx
->write_generation_data
= !!g
->chunk_generation_data
;
2185 static void merge_commit_graph(struct write_commit_graph_context
*ctx
,
2186 struct commit_graph
*g
)
2189 uint32_t offset
= g
->num_commits_in_base
;
2191 if (unsigned_add_overflows(ctx
->commits
.nr
, g
->num_commits
))
2192 die(_("cannot merge graph %s, too many commits: %"PRIuMAX
),
2193 oid_to_hex(&g
->oid
),
2194 (uintmax_t)st_add(ctx
->commits
.nr
, g
->num_commits
));
2196 ALLOC_GROW(ctx
->commits
.list
, ctx
->commits
.nr
+ g
->num_commits
, ctx
->commits
.alloc
);
2198 for (i
= 0; i
< g
->num_commits
; i
++) {
2199 struct object_id oid
;
2200 struct commit
*result
;
2202 display_progress(ctx
->progress
, i
+ 1);
2204 load_oid_from_graph(g
, i
+ offset
, &oid
);
2206 /* only add commits if they still exist in the repo */
2207 result
= lookup_commit_reference_gently(ctx
->r
, &oid
, 1);
2210 ctx
->commits
.list
[ctx
->commits
.nr
] = result
;
2216 static int commit_compare(const void *_a
, const void *_b
)
2218 const struct commit
*a
= *(const struct commit
**)_a
;
2219 const struct commit
*b
= *(const struct commit
**)_b
;
2220 return oidcmp(&a
->object
.oid
, &b
->object
.oid
);
2223 static void sort_and_scan_merged_commits(struct write_commit_graph_context
*ctx
)
2225 uint32_t i
, dedup_i
= 0;
2227 if (ctx
->report_progress
)
2228 ctx
->progress
= start_delayed_progress(
2229 _("Scanning merged commits"),
2232 QSORT(ctx
->commits
.list
, ctx
->commits
.nr
, commit_compare
);
2234 ctx
->num_extra_edges
= 0;
2235 for (i
= 0; i
< ctx
->commits
.nr
; i
++) {
2236 display_progress(ctx
->progress
, i
+ 1);
2238 if (i
&& oideq(&ctx
->commits
.list
[i
- 1]->object
.oid
,
2239 &ctx
->commits
.list
[i
]->object
.oid
)) {
2241 * Silently ignore duplicates. These were likely
2242 * created due to a commit appearing in multiple
2243 * layers of the chain, which is unexpected but
2244 * not invalid. We should make sure there is a
2245 * unique copy in the new layer.
2248 unsigned int num_parents
;
2250 ctx
->commits
.list
[dedup_i
] = ctx
->commits
.list
[i
];
2253 num_parents
= commit_list_count(ctx
->commits
.list
[i
]->parents
);
2254 if (num_parents
> 2)
2255 ctx
->num_extra_edges
+= num_parents
- 1;
2259 ctx
->commits
.nr
= dedup_i
;
2261 stop_progress(&ctx
->progress
);
2264 static void merge_commit_graphs(struct write_commit_graph_context
*ctx
)
2266 struct commit_graph
*g
= ctx
->r
->objects
->commit_graph
;
2267 uint32_t current_graph_number
= ctx
->num_commit_graphs_before
;
2269 while (g
&& current_graph_number
>= ctx
->num_commit_graphs_after
) {
2270 current_graph_number
--;
2272 if (ctx
->report_progress
)
2273 ctx
->progress
= start_delayed_progress(_("Merging commit-graph"), 0);
2275 merge_commit_graph(ctx
, g
);
2276 stop_progress(&ctx
->progress
);
2282 ctx
->new_base_graph
= g
;
2283 ctx
->new_num_commits_in_base
= g
->num_commits
+ g
->num_commits_in_base
;
2286 if (ctx
->new_base_graph
)
2287 ctx
->base_graph_name
= xstrdup(ctx
->new_base_graph
->filename
);
2289 sort_and_scan_merged_commits(ctx
);
2292 static void mark_commit_graphs(struct write_commit_graph_context
*ctx
)
2295 time_t now
= time(NULL
);
2297 for (i
= ctx
->num_commit_graphs_after
- 1; i
< ctx
->num_commit_graphs_before
; i
++) {
2299 struct utimbuf updated_time
;
2301 if (stat(ctx
->commit_graph_filenames_before
[i
], &st
) < 0)
2304 updated_time
.actime
= st
.st_atime
;
2305 updated_time
.modtime
= now
;
2306 utime(ctx
->commit_graph_filenames_before
[i
], &updated_time
);
2310 static void expire_commit_graphs(struct write_commit_graph_context
*ctx
)
2312 struct strbuf path
= STRBUF_INIT
;
2316 timestamp_t expire_time
= time(NULL
);
2318 if (ctx
->opts
&& ctx
->opts
->expire_time
)
2319 expire_time
= ctx
->opts
->expire_time
;
2321 char *chain_file_name
= get_commit_graph_chain_filename(ctx
->odb
);
2322 unlink(chain_file_name
);
2323 free(chain_file_name
);
2324 ctx
->num_commit_graphs_after
= 0;
2327 strbuf_addstr(&path
, ctx
->odb
->path
);
2328 strbuf_addstr(&path
, "/info/commit-graphs");
2329 dir
= opendir(path
.buf
);
2334 strbuf_addch(&path
, '/');
2335 dirnamelen
= path
.len
;
2336 while ((de
= readdir(dir
)) != NULL
) {
2338 uint32_t i
, found
= 0;
2340 strbuf_setlen(&path
, dirnamelen
);
2341 strbuf_addstr(&path
, de
->d_name
);
2343 if (stat(path
.buf
, &st
) < 0)
2346 if (st
.st_mtime
> expire_time
)
2348 if (path
.len
< 6 || strcmp(path
.buf
+ path
.len
- 6, ".graph"))
2351 for (i
= 0; i
< ctx
->num_commit_graphs_after
; i
++) {
2352 if (!strcmp(ctx
->commit_graph_filenames_after
[i
],
2366 strbuf_release(&path
);
2369 int write_commit_graph(struct object_directory
*odb
,
2370 const struct string_list
*const pack_indexes
,
2371 struct oidset
*commits
,
2372 enum commit_graph_write_flags flags
,
2373 const struct commit_graph_opts
*opts
)
2375 struct repository
*r
= the_repository
;
2376 struct write_commit_graph_context
*ctx
;
2380 struct bloom_filter_settings bloom_settings
= DEFAULT_BLOOM_FILTER_SETTINGS
;
2381 struct topo_level_slab topo_levels
;
2383 prepare_repo_settings(r
);
2384 if (!r
->settings
.core_commit_graph
) {
2385 warning(_("attempting to write a commit-graph, but 'core.commitGraph' is disabled"));
2388 if (!commit_graph_compatible(r
))
2391 CALLOC_ARRAY(ctx
, 1);
2394 ctx
->append
= flags
& COMMIT_GRAPH_WRITE_APPEND
? 1 : 0;
2395 ctx
->report_progress
= flags
& COMMIT_GRAPH_WRITE_PROGRESS
? 1 : 0;
2396 ctx
->split
= flags
& COMMIT_GRAPH_WRITE_SPLIT
? 1 : 0;
2398 ctx
->total_bloom_filter_data_size
= 0;
2399 ctx
->write_generation_data
= (get_configured_generation_version(r
) == 2);
2400 ctx
->num_generation_data_overflows
= 0;
2402 bloom_settings
.bits_per_entry
= git_env_ulong("GIT_TEST_BLOOM_SETTINGS_BITS_PER_ENTRY",
2403 bloom_settings
.bits_per_entry
);
2404 bloom_settings
.num_hashes
= git_env_ulong("GIT_TEST_BLOOM_SETTINGS_NUM_HASHES",
2405 bloom_settings
.num_hashes
);
2406 bloom_settings
.max_changed_paths
= git_env_ulong("GIT_TEST_BLOOM_SETTINGS_MAX_CHANGED_PATHS",
2407 bloom_settings
.max_changed_paths
);
2408 ctx
->bloom_settings
= &bloom_settings
;
2410 init_topo_level_slab(&topo_levels
);
2411 ctx
->topo_levels
= &topo_levels
;
2413 prepare_commit_graph(ctx
->r
);
2414 if (ctx
->r
->objects
->commit_graph
) {
2415 struct commit_graph
*g
= ctx
->r
->objects
->commit_graph
;
2418 g
->topo_levels
= &topo_levels
;
2423 if (flags
& COMMIT_GRAPH_WRITE_BLOOM_FILTERS
)
2424 ctx
->changed_paths
= 1;
2425 if (!(flags
& COMMIT_GRAPH_NO_WRITE_BLOOM_FILTERS
)) {
2426 struct commit_graph
*g
;
2428 g
= ctx
->r
->objects
->commit_graph
;
2430 /* We have changed-paths already. Keep them in the next graph */
2431 if (g
&& g
->chunk_bloom_data
) {
2432 ctx
->changed_paths
= 1;
2433 ctx
->bloom_settings
= g
->bloom_filter_settings
;
2438 struct commit_graph
*g
= ctx
->r
->objects
->commit_graph
;
2441 ctx
->num_commit_graphs_before
++;
2445 if (ctx
->num_commit_graphs_before
) {
2446 ALLOC_ARRAY(ctx
->commit_graph_filenames_before
, ctx
->num_commit_graphs_before
);
2447 i
= ctx
->num_commit_graphs_before
;
2448 g
= ctx
->r
->objects
->commit_graph
;
2451 ctx
->commit_graph_filenames_before
[--i
] = xstrdup(g
->filename
);
2457 replace
= ctx
->opts
->split_flags
& COMMIT_GRAPH_SPLIT_REPLACE
;
2460 ctx
->approx_nr_objects
= repo_approximate_object_count(the_repository
);
2462 if (ctx
->append
&& ctx
->r
->objects
->commit_graph
) {
2463 struct commit_graph
*g
= ctx
->r
->objects
->commit_graph
;
2464 for (i
= 0; i
< g
->num_commits
; i
++) {
2465 struct object_id oid
;
2466 oidread(&oid
, g
->chunk_oid_lookup
+ st_mult(g
->hash_len
, i
));
2467 oid_array_append(&ctx
->oids
, &oid
);
2472 ctx
->order_by_pack
= 1;
2473 if ((res
= fill_oids_from_packs(ctx
, pack_indexes
)))
2478 if ((res
= fill_oids_from_commits(ctx
, commits
)))
2482 if (!pack_indexes
&& !commits
) {
2483 ctx
->order_by_pack
= 1;
2484 fill_oids_from_all_packs(ctx
);
2487 close_reachable(ctx
);
2489 copy_oids_to_commits(ctx
);
2491 if (ctx
->commits
.nr
>= GRAPH_EDGE_LAST_MASK
) {
2492 error(_("too many commits to write graph"));
2497 if (!ctx
->commits
.nr
&& !replace
)
2501 split_graph_merge_strategy(ctx
);
2504 merge_commit_graphs(ctx
);
2506 ctx
->num_commit_graphs_after
= 1;
2508 ctx
->trust_generation_numbers
= validate_mixed_generation_chain(ctx
->r
->objects
->commit_graph
);
2510 compute_topological_levels(ctx
);
2511 if (ctx
->write_generation_data
)
2512 compute_generation_numbers(ctx
);
2514 if (ctx
->changed_paths
)
2515 compute_bloom_filters(ctx
);
2517 res
= write_commit_graph_file(ctx
);
2520 mark_commit_graphs(ctx
);
2522 expire_commit_graphs(ctx
);
2525 free(ctx
->graph_name
);
2526 free(ctx
->commits
.list
);
2527 oid_array_clear(&ctx
->oids
);
2528 clear_topo_level_slab(&topo_levels
);
2530 if (ctx
->commit_graph_filenames_after
) {
2531 for (i
= 0; i
< ctx
->num_commit_graphs_after
; i
++) {
2532 free(ctx
->commit_graph_filenames_after
[i
]);
2533 free(ctx
->commit_graph_hash_after
[i
]);
2536 for (i
= 0; i
< ctx
->num_commit_graphs_before
; i
++)
2537 free(ctx
->commit_graph_filenames_before
[i
]);
2539 free(ctx
->commit_graph_filenames_after
);
2540 free(ctx
->commit_graph_filenames_before
);
2541 free(ctx
->commit_graph_hash_after
);
2549 #define VERIFY_COMMIT_GRAPH_ERROR_HASH 2
2550 static int verify_commit_graph_error
;
2552 __attribute__((format (printf
, 1, 2)))
2553 static void graph_report(const char *fmt
, ...)
2557 verify_commit_graph_error
= 1;
2559 vfprintf(stderr
, fmt
, ap
);
2560 fprintf(stderr
, "\n");
2564 static int commit_graph_checksum_valid(struct commit_graph
*g
)
2566 return hashfile_checksum_valid(g
->data
, g
->data_len
);
2569 static int verify_one_commit_graph(struct repository
*r
,
2570 struct commit_graph
*g
,
2571 struct progress
*progress
,
2574 uint32_t i
, cur_fanout_pos
= 0;
2575 struct object_id prev_oid
, cur_oid
;
2576 struct commit
*seen_gen_zero
= NULL
;
2577 struct commit
*seen_gen_non_zero
= NULL
;
2579 verify_commit_graph_error
= verify_commit_graph_lite(g
);
2580 if (verify_commit_graph_error
)
2581 return verify_commit_graph_error
;
2583 if (!commit_graph_checksum_valid(g
)) {
2584 graph_report(_("the commit-graph file has incorrect checksum and is likely corrupt"));
2585 verify_commit_graph_error
= VERIFY_COMMIT_GRAPH_ERROR_HASH
;
2588 for (i
= 0; i
< g
->num_commits
; i
++) {
2589 struct commit
*graph_commit
;
2591 oidread(&cur_oid
, g
->chunk_oid_lookup
+ st_mult(g
->hash_len
, i
));
2593 if (i
&& oidcmp(&prev_oid
, &cur_oid
) >= 0)
2594 graph_report(_("commit-graph has incorrect OID order: %s then %s"),
2595 oid_to_hex(&prev_oid
),
2596 oid_to_hex(&cur_oid
));
2598 oidcpy(&prev_oid
, &cur_oid
);
2600 while (cur_oid
.hash
[0] > cur_fanout_pos
) {
2601 uint32_t fanout_value
= get_be32(g
->chunk_oid_fanout
+ cur_fanout_pos
);
2603 if (i
!= fanout_value
)
2604 graph_report(_("commit-graph has incorrect fanout value: fanout[%d] = %u != %u"),
2605 cur_fanout_pos
, fanout_value
, i
);
2609 graph_commit
= lookup_commit(r
, &cur_oid
);
2610 if (!parse_commit_in_graph_one(r
, g
, graph_commit
))
2611 graph_report(_("failed to parse commit %s from commit-graph"),
2612 oid_to_hex(&cur_oid
));
2615 while (cur_fanout_pos
< 256) {
2616 uint32_t fanout_value
= get_be32(g
->chunk_oid_fanout
+ cur_fanout_pos
);
2618 if (g
->num_commits
!= fanout_value
)
2619 graph_report(_("commit-graph has incorrect fanout value: fanout[%d] = %u != %u"),
2620 cur_fanout_pos
, fanout_value
, i
);
2625 if (verify_commit_graph_error
& ~VERIFY_COMMIT_GRAPH_ERROR_HASH
)
2626 return verify_commit_graph_error
;
2628 for (i
= 0; i
< g
->num_commits
; i
++) {
2629 struct commit
*graph_commit
, *odb_commit
;
2630 struct commit_list
*graph_parents
, *odb_parents
;
2631 timestamp_t max_generation
= 0;
2632 timestamp_t generation
;
2634 display_progress(progress
, ++(*seen
));
2635 oidread(&cur_oid
, g
->chunk_oid_lookup
+ st_mult(g
->hash_len
, i
));
2637 graph_commit
= lookup_commit(r
, &cur_oid
);
2638 odb_commit
= (struct commit
*)create_object(r
, &cur_oid
, alloc_commit_node(r
));
2639 if (repo_parse_commit_internal(r
, odb_commit
, 0, 0)) {
2640 graph_report(_("failed to parse commit %s from object database for commit-graph"),
2641 oid_to_hex(&cur_oid
));
2645 if (!oideq(&get_commit_tree_in_graph_one(r
, g
, graph_commit
)->object
.oid
,
2646 get_commit_tree_oid(odb_commit
)))
2647 graph_report(_("root tree OID for commit %s in commit-graph is %s != %s"),
2648 oid_to_hex(&cur_oid
),
2649 oid_to_hex(get_commit_tree_oid(graph_commit
)),
2650 oid_to_hex(get_commit_tree_oid(odb_commit
)));
2652 graph_parents
= graph_commit
->parents
;
2653 odb_parents
= odb_commit
->parents
;
2655 while (graph_parents
) {
2657 graph_report(_("commit-graph parent list for commit %s is too long"),
2658 oid_to_hex(&cur_oid
));
2662 /* parse parent in case it is in a base graph */
2663 parse_commit_in_graph_one(r
, g
, graph_parents
->item
);
2665 if (!oideq(&graph_parents
->item
->object
.oid
, &odb_parents
->item
->object
.oid
))
2666 graph_report(_("commit-graph parent for %s is %s != %s"),
2667 oid_to_hex(&cur_oid
),
2668 oid_to_hex(&graph_parents
->item
->object
.oid
),
2669 oid_to_hex(&odb_parents
->item
->object
.oid
));
2671 generation
= commit_graph_generation_from_graph(graph_parents
->item
);
2672 if (generation
> max_generation
)
2673 max_generation
= generation
;
2675 graph_parents
= graph_parents
->next
;
2676 odb_parents
= odb_parents
->next
;
2680 graph_report(_("commit-graph parent list for commit %s terminates early"),
2681 oid_to_hex(&cur_oid
));
2683 if (commit_graph_generation_from_graph(graph_commit
))
2684 seen_gen_non_zero
= graph_commit
;
2686 seen_gen_zero
= graph_commit
;
2692 * If we are using topological level and one of our parents has
2693 * generation GENERATION_NUMBER_V1_MAX, then our generation is
2694 * also GENERATION_NUMBER_V1_MAX. Decrement to avoid extra logic
2695 * in the following condition.
2697 if (!g
->read_generation_data
&& max_generation
== GENERATION_NUMBER_V1_MAX
)
2700 generation
= commit_graph_generation(graph_commit
);
2701 if (generation
< max_generation
+ 1)
2702 graph_report(_("commit-graph generation for commit %s is %"PRItime
" < %"PRItime
),
2703 oid_to_hex(&cur_oid
),
2705 max_generation
+ 1);
2707 if (graph_commit
->date
!= odb_commit
->date
)
2708 graph_report(_("commit date for commit %s in commit-graph is %"PRItime
" != %"PRItime
),
2709 oid_to_hex(&cur_oid
),
2714 if (seen_gen_zero
&& seen_gen_non_zero
)
2715 graph_report(_("commit-graph has both zero and non-zero "
2716 "generations (e.g., commits '%s' and '%s')"),
2717 oid_to_hex(&seen_gen_zero
->object
.oid
),
2718 oid_to_hex(&seen_gen_non_zero
->object
.oid
));
2720 return verify_commit_graph_error
;
2723 int verify_commit_graph(struct repository
*r
, struct commit_graph
*g
, int flags
)
2725 struct progress
*progress
= NULL
;
2726 int local_error
= 0;
2730 graph_report("no commit-graph file loaded");
2734 if (flags
& COMMIT_GRAPH_WRITE_PROGRESS
) {
2735 uint64_t total
= g
->num_commits
;
2736 if (!(flags
& COMMIT_GRAPH_VERIFY_SHALLOW
))
2737 total
+= g
->num_commits_in_base
;
2739 progress
= start_progress(_("Verifying commits in commit graph"),
2743 for (; g
; g
= g
->base_graph
) {
2744 local_error
|= verify_one_commit_graph(r
, g
, progress
, &seen
);
2745 if (flags
& COMMIT_GRAPH_VERIFY_SHALLOW
)
2749 stop_progress(&progress
);
2754 void free_commit_graph(struct commit_graph
*g
)
2759 munmap((void *)g
->data
, g
->data_len
);
2763 free(g
->bloom_filter_settings
);
2767 void disable_commit_graph(struct repository
*r
)
2769 r
->commit_graph_disabled
= 1;