diff options
| author |  Garima Singh <garima.singh@microsoft.com> | 2020-04-06 16:59:53 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2020-04-06 11:08:37 -0700 |
| commit | 42e50e78c6fd8978c2218bbd7b3483ae51d5e3f9 (patch) | |
| tree | da6f6b9a7911485c3ca2839ee9b3ec904795ca59 /Documentation/git-tools.txt | |
| parent | revision.c: use Bloom filters to speed up path based revision walks (diff) | |
| download | tgif-42e50e78c6fd8978c2218bbd7b3483ae51d5e3f9.tar.xz | |
revision.c: add trace2 stats around Bloom filter usage
Add trace2 statistics around Bloom filter usage and behavior
for 'git log -- path' commands that are hoping to benefit from
the presence of computed changed paths Bloom filters.
These statistics are great for performance analysis work and
for formal testing, which we will see in the commit following
this one.
Helped-by: Derrick Stolee <dstolee@microsoft.com
Helped-by: SZEDER Gábor <szeder.dev@gmail.com>
Helped-by: Jonathan Tan <jonathantanmy@google.com>
Signed-off-by: Garima Singh <garima.singh@microsoft.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-tools.txt')
0 files changed, 0 insertions, 0 deletions