1 //  Copyright (c) 2011-present, Facebook, Inc.  All rights reserved.
2 //  This source code is licensed under both the GPLv2 (found in the
3 //  COPYING file in the root directory) and Apache 2.0 License
4 //  (found in the LICENSE.Apache file in the root directory).
5 //
6 // Copyright (c) 2012 The LevelDB Authors. All rights reserved.
7 // Use of this source code is governed by a BSD-style license that can be
8 // found in the LICENSE file. See the AUTHORS file for names of contributors.
9 
10 #include "table/block_based/block_based_filter_block.h"
11 #include <algorithm>
12 
13 #include "db/dbformat.h"
14 #include "monitoring/perf_context_imp.h"
15 #include "rocksdb/filter_policy.h"
16 #include "table/block_based/block_based_table_reader.h"
17 #include "util/coding.h"
18 #include "util/string_util.h"
19 
20 namespace ROCKSDB_NAMESPACE {
21 
22 namespace {
23 
AppendItem(std::string * props,const std::string & key,const std::string & value)24 void AppendItem(std::string* props, const std::string& key,
25                 const std::string& value) {
26   char cspace = ' ';
27   std::string value_str("");
28   size_t i = 0;
29   const size_t dataLength = 64;
30   const size_t tabLength = 2;
31   const size_t offLength = 16;
32 
33   value_str.append(&value[i], std::min(size_t(dataLength), value.size()));
34   i += dataLength;
35   while (i < value.size()) {
36     value_str.append("\n");
37     value_str.append(offLength, cspace);
38     value_str.append(&value[i], std::min(size_t(dataLength), value.size() - i));
39     i += dataLength;
40   }
41 
42   std::string result("");
43   if (key.size() < (offLength - tabLength))
44     result.append(size_t((offLength - tabLength)) - key.size(), cspace);
45   result.append(key);
46 
47   props->append(result + ": " + value_str + "\n");
48 }
49 
50 template <class TKey>
AppendItem(std::string * props,const TKey & key,const std::string & value)51 void AppendItem(std::string* props, const TKey& key, const std::string& value) {
52   std::string key_str = ROCKSDB_NAMESPACE::ToString(key);
53   AppendItem(props, key_str, value);
54 }
55 }  // namespace
56 
57 // See doc/table_format.txt for an explanation of the filter block format.
58 
59 // Generate new filter every 2KB of data
60 static const size_t kFilterBaseLg = 11;
61 static const size_t kFilterBase = 1 << kFilterBaseLg;
62 
BlockBasedFilterBlockBuilder(const SliceTransform * prefix_extractor,const BlockBasedTableOptions & table_opt)63 BlockBasedFilterBlockBuilder::BlockBasedFilterBlockBuilder(
64     const SliceTransform* prefix_extractor,
65     const BlockBasedTableOptions& table_opt)
66     : policy_(table_opt.filter_policy.get()),
67       prefix_extractor_(prefix_extractor),
68       whole_key_filtering_(table_opt.whole_key_filtering),
69       prev_prefix_start_(0),
70       prev_prefix_size_(0),
71       num_added_(0) {
72   assert(policy_);
73 }
74 
StartBlock(uint64_t block_offset)75 void BlockBasedFilterBlockBuilder::StartBlock(uint64_t block_offset) {
76   uint64_t filter_index = (block_offset / kFilterBase);
77   assert(filter_index >= filter_offsets_.size());
78   while (filter_index > filter_offsets_.size()) {
79     GenerateFilter();
80   }
81 }
82 
Add(const Slice & key)83 void BlockBasedFilterBlockBuilder::Add(const Slice& key) {
84   if (prefix_extractor_ && prefix_extractor_->InDomain(key)) {
85     AddPrefix(key);
86   }
87 
88   if (whole_key_filtering_) {
89     AddKey(key);
90   }
91 }
92 
93 // Add key to filter if needed
AddKey(const Slice & key)94 inline void BlockBasedFilterBlockBuilder::AddKey(const Slice& key) {
95   num_added_++;
96   start_.push_back(entries_.size());
97   entries_.append(key.data(), key.size());
98 }
99 
100 // Add prefix to filter if needed
AddPrefix(const Slice & key)101 inline void BlockBasedFilterBlockBuilder::AddPrefix(const Slice& key) {
102   // get slice for most recently added entry
103   Slice prev;
104   if (prev_prefix_size_ > 0) {
105     prev = Slice(entries_.data() + prev_prefix_start_, prev_prefix_size_);
106   }
107 
108   Slice prefix = prefix_extractor_->Transform(key);
109   // insert prefix only when it's different from the previous prefix.
110   if (prev.size() == 0 || prefix != prev) {
111     prev_prefix_start_ = entries_.size();
112     prev_prefix_size_ = prefix.size();
113     AddKey(prefix);
114   }
115 }
116 
Finish(const BlockHandle &,Status * status)117 Slice BlockBasedFilterBlockBuilder::Finish(const BlockHandle& /*tmp*/,
118                                            Status* status) {
119   // In this impl we ignore BlockHandle
120   *status = Status::OK();
121   if (!start_.empty()) {
122     GenerateFilter();
123   }
124 
125   // Append array of per-filter offsets
126   const uint32_t array_offset = static_cast<uint32_t>(result_.size());
127   for (size_t i = 0; i < filter_offsets_.size(); i++) {
128     PutFixed32(&result_, filter_offsets_[i]);
129   }
130 
131   PutFixed32(&result_, array_offset);
132   result_.push_back(kFilterBaseLg);  // Save encoding parameter in result
133   return Slice(result_);
134 }
135 
GenerateFilter()136 void BlockBasedFilterBlockBuilder::GenerateFilter() {
137   const size_t num_entries = start_.size();
138   if (num_entries == 0) {
139     // Fast path if there are no keys for this filter
140     filter_offsets_.push_back(static_cast<uint32_t>(result_.size()));
141     return;
142   }
143 
144   // Make list of keys from flattened key structure
145   start_.push_back(entries_.size());  // Simplify length computation
146   tmp_entries_.resize(num_entries);
147   for (size_t i = 0; i < num_entries; i++) {
148     const char* base = entries_.data() + start_[i];
149     size_t length = start_[i + 1] - start_[i];
150     tmp_entries_[i] = Slice(base, length);
151   }
152 
153   // Generate filter for current set of keys and append to result_.
154   filter_offsets_.push_back(static_cast<uint32_t>(result_.size()));
155   policy_->CreateFilter(&tmp_entries_[0], static_cast<int>(num_entries),
156                         &result_);
157 
158   tmp_entries_.clear();
159   entries_.clear();
160   start_.clear();
161   prev_prefix_start_ = 0;
162   prev_prefix_size_ = 0;
163 }
164 
BlockBasedFilterBlockReader(const BlockBasedTable * t,CachableEntry<BlockContents> && filter_block)165 BlockBasedFilterBlockReader::BlockBasedFilterBlockReader(
166     const BlockBasedTable* t, CachableEntry<BlockContents>&& filter_block)
167     : FilterBlockReaderCommon(t, std::move(filter_block)) {
168   assert(table());
169   assert(table()->get_rep());
170   assert(table()->get_rep()->filter_policy);
171 }
172 
Create(const BlockBasedTable * table,FilePrefetchBuffer * prefetch_buffer,bool use_cache,bool prefetch,bool pin,BlockCacheLookupContext * lookup_context)173 std::unique_ptr<FilterBlockReader> BlockBasedFilterBlockReader::Create(
174     const BlockBasedTable* table, FilePrefetchBuffer* prefetch_buffer,
175     bool use_cache, bool prefetch, bool pin,
176     BlockCacheLookupContext* lookup_context) {
177   assert(table);
178   assert(table->get_rep());
179   assert(!pin || prefetch);
180 
181   CachableEntry<BlockContents> filter_block;
182   if (prefetch || !use_cache) {
183     const Status s = ReadFilterBlock(table, prefetch_buffer, ReadOptions(),
184                                      use_cache, nullptr /* get_context */,
185                                      lookup_context, &filter_block);
186     if (!s.ok()) {
187       return std::unique_ptr<FilterBlockReader>();
188     }
189 
190     if (use_cache && !pin) {
191       filter_block.Reset();
192     }
193   }
194 
195   return std::unique_ptr<FilterBlockReader>(
196       new BlockBasedFilterBlockReader(table, std::move(filter_block)));
197 }
198 
KeyMayMatch(const Slice & key,const SliceTransform *,uint64_t block_offset,const bool no_io,const Slice * const,GetContext * get_context,BlockCacheLookupContext * lookup_context)199 bool BlockBasedFilterBlockReader::KeyMayMatch(
200     const Slice& key, const SliceTransform* /* prefix_extractor */,
201     uint64_t block_offset, const bool no_io,
202     const Slice* const /*const_ikey_ptr*/, GetContext* get_context,
203     BlockCacheLookupContext* lookup_context) {
204   assert(block_offset != kNotValid);
205   if (!whole_key_filtering()) {
206     return true;
207   }
208   return MayMatch(key, block_offset, no_io, get_context, lookup_context);
209 }
210 
PrefixMayMatch(const Slice & prefix,const SliceTransform *,uint64_t block_offset,const bool no_io,const Slice * const,GetContext * get_context,BlockCacheLookupContext * lookup_context)211 bool BlockBasedFilterBlockReader::PrefixMayMatch(
212     const Slice& prefix, const SliceTransform* /* prefix_extractor */,
213     uint64_t block_offset, const bool no_io,
214     const Slice* const /*const_ikey_ptr*/, GetContext* get_context,
215     BlockCacheLookupContext* lookup_context) {
216   assert(block_offset != kNotValid);
217   return MayMatch(prefix, block_offset, no_io, get_context, lookup_context);
218 }
219 
ParseFieldsFromBlock(const BlockContents & contents,const char ** data,const char ** offset,size_t * num,size_t * base_lg)220 bool BlockBasedFilterBlockReader::ParseFieldsFromBlock(
221     const BlockContents& contents, const char** data, const char** offset,
222     size_t* num, size_t* base_lg) {
223   assert(data);
224   assert(offset);
225   assert(num);
226   assert(base_lg);
227 
228   const size_t n = contents.data.size();
229   if (n < 5) {  // 1 byte for base_lg and 4 for start of offset array
230     return false;
231   }
232 
233   const uint32_t last_word = DecodeFixed32(contents.data.data() + n - 5);
234   if (last_word > n - 5) {
235     return false;
236   }
237 
238   *data = contents.data.data();
239   *offset = (*data) + last_word;
240   *num = (n - 5 - last_word) / 4;
241   *base_lg = contents.data[n - 1];
242 
243   return true;
244 }
245 
MayMatch(const Slice & entry,uint64_t block_offset,bool no_io,GetContext * get_context,BlockCacheLookupContext * lookup_context) const246 bool BlockBasedFilterBlockReader::MayMatch(
247     const Slice& entry, uint64_t block_offset, bool no_io,
248     GetContext* get_context, BlockCacheLookupContext* lookup_context) const {
249   CachableEntry<BlockContents> filter_block;
250 
251   const Status s =
252       GetOrReadFilterBlock(no_io, get_context, lookup_context, &filter_block);
253   if (!s.ok()) {
254     return true;
255   }
256 
257   assert(filter_block.GetValue());
258 
259   const char* data = nullptr;
260   const char* offset = nullptr;
261   size_t num = 0;
262   size_t base_lg = 0;
263   if (!ParseFieldsFromBlock(*filter_block.GetValue(), &data, &offset, &num,
264                             &base_lg)) {
265     return true;  // Errors are treated as potential matches
266   }
267 
268   const uint64_t index = block_offset >> base_lg;
269   if (index < num) {
270     const uint32_t start = DecodeFixed32(offset + index * 4);
271     const uint32_t limit = DecodeFixed32(offset + index * 4 + 4);
272     if (start <= limit && limit <= (uint32_t)(offset - data)) {
273       const Slice filter = Slice(data + start, limit - start);
274 
275       assert(table());
276       assert(table()->get_rep());
277       const FilterPolicy* const policy = table()->get_rep()->filter_policy;
278 
279       const bool may_match = policy->KeyMayMatch(entry, filter);
280       if (may_match) {
281         PERF_COUNTER_ADD(bloom_sst_hit_count, 1);
282         return true;
283       } else {
284         PERF_COUNTER_ADD(bloom_sst_miss_count, 1);
285         return false;
286       }
287     } else if (start == limit) {
288       // Empty filters do not match any entries
289       return false;
290     }
291   }
292   return true;  // Errors are treated as potential matches
293 }
294 
ApproximateMemoryUsage() const295 size_t BlockBasedFilterBlockReader::ApproximateMemoryUsage() const {
296   size_t usage = ApproximateFilterBlockMemoryUsage();
297 #ifdef ROCKSDB_MALLOC_USABLE_SIZE
298   usage += malloc_usable_size(const_cast<BlockBasedFilterBlockReader*>(this));
299 #else
300   usage += sizeof(*this);
301 #endif  // ROCKSDB_MALLOC_USABLE_SIZE
302   return usage;
303 }
304 
ToString() const305 std::string BlockBasedFilterBlockReader::ToString() const {
306   CachableEntry<BlockContents> filter_block;
307 
308   const Status s =
309       GetOrReadFilterBlock(false /* no_io */, nullptr /* get_context */,
310                            nullptr /* lookup_context */, &filter_block);
311   if (!s.ok()) {
312     return std::string("Unable to retrieve filter block");
313   }
314 
315   assert(filter_block.GetValue());
316 
317   const char* data = nullptr;
318   const char* offset = nullptr;
319   size_t num = 0;
320   size_t base_lg = 0;
321   if (!ParseFieldsFromBlock(*filter_block.GetValue(), &data, &offset, &num,
322                             &base_lg)) {
323     return std::string("Error parsing filter block");
324   }
325 
326   std::string result;
327   result.reserve(1024);
328 
329   std::string s_bo("Block offset"), s_hd("Hex dump"), s_fb("# filter blocks");
330   AppendItem(&result, s_fb, ROCKSDB_NAMESPACE::ToString(num));
331   AppendItem(&result, s_bo, s_hd);
332 
333   for (size_t index = 0; index < num; index++) {
334     uint32_t start = DecodeFixed32(offset + index * 4);
335     uint32_t limit = DecodeFixed32(offset + index * 4 + 4);
336 
337     if (start != limit) {
338       result.append(" filter block # " +
339                     ROCKSDB_NAMESPACE::ToString(index + 1) + "\n");
340       Slice filter = Slice(data + start, limit - start);
341       AppendItem(&result, start, filter.ToString(true));
342     }
343   }
344   return result;
345 }
346 
347 }  // namespace ROCKSDB_NAMESPACE
348