pack-bitmap: implement optional name_hash cache

When we use pack bitmaps rather than walking the object graph, we end up with the list of objects to include in the packfile, but we do not know the path at which any tree or blob objects would be found. In a recently packed repository, this is fine. A fetch would use the paths only as a heuristic in the delta compression phase, and a fully packed repository should not need to do much delta compression. As time passes, though, we may acquire more objects on top of our large bitmapped pack. If clients fetch frequently, then they never even look at the bitmapped history, and all works as usual. However, a client who has not fetched since the last bitmap repack will have "have" tips in the bitmapped history, but "want" newer objects. The bitmaps themselves degrade gracefully in this circumstance. We manually walk the more recent bits of history, and then use bitmaps when we hit them. But we would also like to perform delta compression between the newer objects and the bitmapped objects (both to delta against what we know the user already has, but also between "new" and "old" objects that the user is fetching). The lack of pathnames makes our delta heuristics much less effective. This patch adds an optional cache of the 32-bit name_hash values to the end of the bitmap file. If present, a reader can use it to match bitmapped and non-bitmapped names during delta compression. Here are perf results for p5310: Test origin/master HEAD^ HEAD ------------------------------------------------------------------------------------------------- 5310.2: repack to disk 36.81(37.82+1.43) 47.70(48.74+1.41) +29.6% 47.75(48.70+1.51) +29.7% 5310.3: simulated clone 30.78(29.70+2.14) 1.08(0.97+0.10) -96.5% 1.07(0.94+0.12) -96.5% 5310.4: simulated fetch 3.16(6.10+0.08) 3.54(10.65+0.06) +12.0% 1.70(3.07+0.06) -46.2% 5310.6: partial bitmap 36.76(43.19+1.81) 6.71(11.25+0.76) -81.7% 4.08(6.26+0.46) -88.9% You can see that the time spent on an incremental fetch goes down, as our delta heuristics are able to do their work. And we save time on the partial bitmap clone for the same reason. Signed-off-by: Vicent Marti <tanoku@gmail.com> Signed-off-by: Jeff King <peff@peff.net> Signed-off-by: Junio C Hamano <gitster@pobox.com>

Vicent Marti committed Dec 21, 2013 at 09:00 UTC ae4f07fbccaab6dc93be52c0f34e137dd9fcbcf4
8 files changed +91 -7
Documentation/config.txt
+11
@@ -1872,6 +1872,17 @@ pack.writebitmaps::
1872 space and extra time spent on the initial repack. Defaults to
1873 false.
1874
1875 +pack.writeBitmapHashCache::
1876 + When true, git will include a "hash cache" section in the bitmap
1877 + index (if one is written). This cache can be used to feed git's
1878 + delta heuristics, potentially leading to better deltas between
1879 + bitmapped and non-bitmapped objects (e.g., when serving a fetch
1880 + between an older, bitmapped pack and objects that have been
1881 + pushed since the last gc). The downside is that it consumes 4
1882 + bytes per object of disk space, and that JGit's bitmap
1883 + implementation does not understand it, causing it to complain if
1884 + Git and JGit are used on the same repository. Defaults to false.
1885 +
1886 pager.<cmd>::
1887 If the value is boolean, turns on or off pagination of the
1888 output of a particular Git subcommand when writing to a tty.
Documentation/technical/bitmap-format.txt
+33
@@ -21,6 +21,12 @@ GIT bitmap v1 format
21 requirement for the bitmap index format, also present in JGit,
22 that greatly reduces the complexity of the implementation.
23
24 + - BITMAP_OPT_HASH_CACHE (0x4)
25 + If present, the end of the bitmap file contains
26 + `N` 32-bit name-hash values, one per object in the
27 + pack. The format and meaning of the name-hash is
28 + described below.
29 +
30 4-byte entry count (network byte order)
31
32 The total count of entries (bitmapped commits) in this bitmap index.
@@ -129,3 +135,30 @@ The bitstream represented by the above chunk is then:
135 The next word after `L_M` (if any) must again be a RLW, for the next
136 chunk. For efficient appending to the bitstream, the EWAH stores a
137 pointer to the last RLW in the stream.
138 +
139 +
140 +== Appendix B: Optional Bitmap Sections
141 +
142 +These sections may or may not be present in the `.bitmap` file; their
143 +presence is indicated by the header flags section described above.
144 +
145 +Name-hash cache
146 +---------------
147 +
148 +If the BITMAP_OPT_HASH_CACHE flag is set, the end of the bitmap contains
149 +a cache of 32-bit values, one per object in the pack. The value at
150 +position `i` is the hash of the pathname at which the `i`th object
151 +(counting in index order) in the pack can be found. This can be fed
152 +into the delta heuristics to compare objects with similar pathnames.
153 +
154 +The hash algorithm used is:
155 +
156 + hash = 0;
157 + while ((c = *name++))
158 + if (!isspace(c))
159 + hash = (hash >> 2) + (c << 24);
160 +
161 +Note that this hashing scheme is tied to the BITMAP_OPT_HASH_CACHE flag.
162 +If implementations want to choose a different hashing scheme, they are
163 +free to do so, but MUST allocate a new header flag (because comparing
164 +hashes made under two different schemes would be pointless).
builtin/pack-objects.c
+9 -1
@@ -64,6 +64,7 @@ static off_t reuse_packfile_offset;
64
65 static int use_bitmap_index = 1;
66 static int write_bitmap_index;
67 +static uint16_t write_bitmap_options;
68
69 static unsigned long delta_cache_size = 0;
70 static unsigned long max_delta_cache_size = 256 * 1024 * 1024;
@@ -851,7 +852,8 @@ static void write_pack_file(void)
852 bitmap_writer_reuse_bitmaps(&to_pack);
853 bitmap_writer_select_commits(indexed_commits, indexed_commits_nr, -1);
854 bitmap_writer_build(&to_pack);
854 - bitmap_writer_finish(written_list, nr_written, tmpname);
855 + bitmap_writer_finish(written_list, nr_written,
856 + tmpname, write_bitmap_options);
857 write_bitmap_index = 0;
858 }
859
@@ -2201,6 +2203,12 @@ static int git_pack_config(const char *k, const char *v, void *cb)
2203 write_bitmap_index = git_config_bool(k, v);
2204 return 0;
2205 }
2206 + if (!strcmp(k, "pack.writebitmaphashcache")) {
2207 + if (git_config_bool(k, v))
2208 + write_bitmap_options |= BITMAP_OPT_HASH_CACHE;
2209 + else
2210 + write_bitmap_options &= ~BITMAP_OPT_HASH_CACHE;
2211 + }
2212 if (!strcmp(k, "pack.usebitmaps")) {
2213 use_bitmap_index = git_config_bool(k, v);
2214 return 0;
pack-bitmap-write.c
+19 -2
@@ -490,6 +490,19 @@ static void write_selected_commits_v1(struct sha1file *f,
490 }
491 }
492
493 +static void write_hash_cache(struct sha1file *f,
494 + struct pack_idx_entry **index,
495 + uint32_t index_nr)
496 +{
497 + uint32_t i;
498 +
499 + for (i = 0; i < index_nr; ++i) {
500 + struct object_entry *entry = (struct object_entry *)index[i];
501 + uint32_t hash_value = htonl(entry->hash);
502 + sha1write(f, &hash_value, sizeof(hash_value));
503 + }
504 +}
505 +
506 void bitmap_writer_set_checksum(unsigned char *sha1)
507 {
508 hashcpy(writer.pack_checksum, sha1);
@@ -497,7 +510,8 @@ void bitmap_writer_set_checksum(unsigned char *sha1)
510
511 void bitmap_writer_finish(struct pack_idx_entry **index,
512 uint32_t index_nr,
500 - const char *filename)
513 + const char *filename,
514 + uint16_t options)
515 {
516 static char tmp_file[PATH_MAX];
517 static uint16_t default_version = 1;
@@ -514,7 +528,7 @@ void bitmap_writer_finish(struct pack_idx_entry **index,
528
529 memcpy(header.magic, BITMAP_IDX_SIGNATURE, sizeof(BITMAP_IDX_SIGNATURE));
530 header.version = htons(default_version);
517 - header.options = htons(flags);
531 + header.options = htons(flags | options);
532 header.entry_count = htonl(writer.selected_nr);
533 memcpy(header.checksum, writer.pack_checksum, 20);
534
@@ -525,6 +539,9 @@ void bitmap_writer_finish(struct pack_idx_entry **index,
539 dump_bitmap(f, writer.tags);
540 write_selected_commits_v1(f, index, index_nr);
541
542 + if (options & BITMAP_OPT_HASH_CACHE)
543 + write_hash_cache(f, index, index_nr);
544 +
545 sha1close(f, NULL, CSUM_FSYNC);
546
547 if (adjust_shared_perm(tmp_file))
pack-bitmap.c
+11
@@ -66,6 +66,9 @@ static struct bitmap_index {
66 /* Number of bitmapped commits */
67 uint32_t entry_count;
68
69 + /* Name-hash cache (or NULL if not present). */
70 + uint32_t *hashes;
71 +
72 /*
73 * Extended index.
74 *
@@ -152,6 +155,11 @@ static int load_bitmap_header(struct bitmap_index *index)
155 if ((flags & BITMAP_OPT_FULL_DAG) == 0)
156 return error("Unsupported options for bitmap index file "
157 "(Git requires BITMAP_OPT_FULL_DAG)");
158 +
159 + if (flags & BITMAP_OPT_HASH_CACHE) {
160 + unsigned char *end = index->map + index->map_size - 20;
161 + index->hashes = ((uint32_t *)end) - index->pack->num_objects;
162 + }
163 }
164
165 index->entry_count = ntohl(header->entry_count);
@@ -626,6 +634,9 @@ static void show_objects_for_type(
634 entry = &bitmap_git.reverse_index->revindex[pos + offset];
635 sha1 = nth_packed_object_sha1(bitmap_git.pack, entry->nr);
636
637 + if (bitmap_git.hashes)
638 + hash = ntohl(bitmap_git.hashes[entry->nr]);
639 +
640 show_reach(sha1, object_type, 0, hash, bitmap_git.pack, entry->offset);
641 }
642
pack-bitmap.h
+4 -2
@@ -24,7 +24,8 @@ static const char BITMAP_IDX_SIGNATURE[] = {'B', 'I', 'T', 'M'};
24 #define NEEDS_BITMAP (1u<<22)
25
26 enum pack_bitmap_opts {
27 - BITMAP_OPT_FULL_DAG = 1
27 + BITMAP_OPT_FULL_DAG = 1,
28 + BITMAP_OPT_HASH_CACHE = 4,
29 };
30
31 enum pack_bitmap_flags {
@@ -57,6 +58,7 @@ void bitmap_writer_select_commits(struct commit **indexed_commits,
58 void bitmap_writer_build(struct packing_data *to_pack);
59 void bitmap_writer_finish(struct pack_idx_entry **index,
60 uint32_t index_nr,
60 - const char *filename);
61 + const char *filename,
62 + uint16_t options);
63
64 #endif
t/perf/p5310-pack-bitmaps.sh
+2 -1
@@ -9,7 +9,8 @@ test_perf_large_repo
9 # since we want to be able to compare bitmap-aware
10 # git versus non-bitmap git
11 test_expect_success 'setup bitmap config' '
12 - git config pack.writebitmaps true
12 + git config pack.writebitmaps true &&
13 + git config pack.writebitmaphashcache true
14 '
15
16 test_perf 'repack to disk' '
t/t5310-pack-bitmaps.sh
+2 -1
@@ -14,7 +14,8 @@ test_expect_success 'setup repo with moderate-sized history' '
14 git checkout master &&
15 blob=$(echo tagged-blob | git hash-object -w --stdin) &&
16 git tag tagged-blob $blob &&
17 - git config pack.writebitmaps true
17 + git config pack.writebitmaps true &&
18 + git config pack.writebitmaphashcache true
19 '
20
21 test_expect_success 'full repack creates bitmaps' '