Coverage Report

Created: 2025-03-18 19:34

/root/bitcoin/src/leveldb/table/block_builder.cc
Line
Count
Source
1
// Copyright (c) 2011 The LevelDB Authors. All rights reserved.
2
// Use of this source code is governed by a BSD-style license that can be
3
// found in the LICENSE file. See the AUTHORS file for names of contributors.
4
//
5
// BlockBuilder generates blocks where keys are prefix-compressed:
6
//
7
// When we store a key, we drop the prefix shared with the previous
8
// string.  This helps reduce the space requirement significantly.
9
// Furthermore, once every K keys, we do not apply the prefix
10
// compression and store the entire key.  We call this a "restart
11
// point".  The tail end of the block stores the offsets of all of the
12
// restart points, and can be used to do a binary search when looking
13
// for a particular key.  Values are stored as-is (without compression)
14
// immediately following the corresponding key.
15
//
16
// An entry for a particular key-value pair has the form:
17
//     shared_bytes: varint32
18
//     unshared_bytes: varint32
19
//     value_length: varint32
20
//     key_delta: char[unshared_bytes]
21
//     value: char[value_length]
22
// shared_bytes == 0 for restart points.
23
//
24
// The trailer of the block has the form:
25
//     restarts: uint32[num_restarts]
26
//     num_restarts: uint32
27
// restarts[i] contains the offset within the block of the ith restart point.
28
29
#include "table/block_builder.h"
30
31
#include <assert.h>
32
33
#include <algorithm>
34
35
#include "leveldb/comparator.h"
36
#include "leveldb/options.h"
37
#include "util/coding.h"
38
39
namespace leveldb {
40
41
BlockBuilder::BlockBuilder(const Options* options)
42
3
    : options_(options), restarts_(), counter_(0), finished_(false) {
43
3
  assert(options->block_restart_interval >= 1);
44
3
  restarts_.push_back(0);  // First restart point is at offset 0
45
3
}
46
47
40
void BlockBuilder::Reset() {
48
40
  buffer_.clear();
49
40
  restarts_.clear();
50
40
  restarts_.push_back(0);  // First restart point is at offset 0
51
40
  counter_ = 0;
52
40
  finished_ = false;
53
40
  last_key_.clear();
54
40
}
55
56
4.37k
size_t BlockBuilder::CurrentSizeEstimate() const {
57
4.37k
  return (buffer_.size() +                       // Raw data buffer
58
4.37k
          restarts_.size() * sizeof(uint32_t) +  // Restart array
59
4.37k
          sizeof(uint32_t));                     // Restart array length
60
4.37k
}
61
62
40
Slice BlockBuilder::Finish() {
63
  // Append restart array
64
364
  for (size_t i = 0; i < restarts_.size(); i++) {
  Branch (64:22): [True: 324, False: 40]
65
324
    PutFixed32(&buffer_, restarts_[i]);
66
324
  }
67
40
  PutFixed32(&buffer_, restarts_.size());
68
40
  finished_ = true;
69
40
  return Slice(buffer_);
70
40
}
71
72
4.41k
void BlockBuilder::Add(const Slice& key, const Slice& value) {
73
4.41k
  Slice last_key_piece(last_key_);
74
4.41k
  assert(!finished_);
75
4.41k
  assert(counter_ <= options_->block_restart_interval);
76
4.41k
  assert(buffer_.empty()  // No values yet?
77
4.41k
         || options_->comparator->Compare(key, last_key_piece) > 0);
78
4.41k
  size_t shared = 0;
79
4.41k
  if (counter_ < options_->block_restart_interval) {
  Branch (79:7): [True: 4.13k, False: 284]
80
    // See how much sharing to do with previous string
81
4.13k
    const size_t min_length = std::min(last_key_piece.size(), key.size());
82
8.22k
    while ((shared < min_length) && (last_key_piece[shared] == key[shared])) {
  Branch (82:12): [True: 8.18k, False: 40]
  Branch (82:37): [True: 4.09k, False: 4.09k]
83
4.09k
      shared++;
84
4.09k
    }
85
4.13k
  } else {
86
    // Restart compression
87
284
    restarts_.push_back(buffer_.size());
88
284
    counter_ = 0;
89
284
  }
90
4.41k
  const size_t non_shared = key.size() - shared;
91
92
  // Add "<shared><non_shared><value_size>" to buffer_
93
4.41k
  PutVarint32(&buffer_, shared);
94
4.41k
  PutVarint32(&buffer_, non_shared);
95
4.41k
  PutVarint32(&buffer_, value.size());
96
97
  // Add string delta to buffer_ followed by value
98
4.41k
  buffer_.append(key.data() + shared, non_shared);
99
4.41k
  buffer_.append(value.data(), value.size());
100
101
  // Update state
102
4.41k
  last_key_.resize(shared);
103
4.41k
  last_key_.append(key.data() + shared, non_shared);
104
4.41k
  assert(Slice(last_key_) == key);
105
4.41k
  counter_++;
106
4.41k
}
107
108
}  // namespace leveldb