2017-03-04 03:09:43 +01:00
|
|
|
// Copyright (c) 2011-present, Facebook, Inc. All rights reserved.
|
2017-07-16 01:03:42 +02:00
|
|
|
// This source code is licensed under both the GPLv2 (found in the
|
|
|
|
// COPYING file in the root directory) and Apache 2.0 License
|
|
|
|
// (found in the LICENSE.Apache file in the root directory).
|
2017-03-04 03:09:43 +01:00
|
|
|
//
|
|
|
|
// Copyright (c) 2011 The LevelDB Authors. All rights reserved.
|
|
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
|
|
// found in the LICENSE file. See the AUTHORS file for names of contributors.
|
|
|
|
|
2019-05-30 23:47:29 +02:00
|
|
|
#include "table/block_based/index_builder.h"
|
|
|
|
|
2017-03-04 03:09:43 +01:00
|
|
|
#include <assert.h>
|
2019-06-06 22:52:39 +02:00
|
|
|
#include <cinttypes>
|
2017-03-07 22:48:02 +01:00
|
|
|
|
2017-03-04 03:09:43 +01:00
|
|
|
#include <list>
|
|
|
|
#include <string>
|
|
|
|
|
|
|
|
#include "rocksdb/comparator.h"
|
2017-03-28 20:56:56 +02:00
|
|
|
#include "rocksdb/flush_block_policy.h"
|
2019-05-30 23:47:29 +02:00
|
|
|
#include "table/block_based/partitioned_filter_block.h"
|
2019-05-31 02:39:43 +02:00
|
|
|
#include "table/format.h"
|
2017-03-04 03:09:43 +01:00
|
|
|
|
|
|
|
// Without anonymous namespace here, we fail the warning -Wmissing-prototypes
|
|
|
|
namespace rocksdb {
|
|
|
|
// using namespace rocksdb;
|
|
|
|
// Create a index builder based on its type.
|
|
|
|
IndexBuilder* IndexBuilder::CreateIndexBuilder(
|
|
|
|
BlockBasedTableOptions::IndexType index_type,
|
|
|
|
const InternalKeyComparator* comparator,
|
2017-03-07 22:48:02 +01:00
|
|
|
const InternalKeySliceTransform* int_key_slice_transform,
|
2018-08-10 01:49:45 +02:00
|
|
|
const bool use_value_delta_encoding,
|
2017-03-07 22:48:02 +01:00
|
|
|
const BlockBasedTableOptions& table_opt) {
|
2017-10-19 19:48:47 +02:00
|
|
|
IndexBuilder* result = nullptr;
|
2017-03-04 03:09:43 +01:00
|
|
|
switch (index_type) {
|
|
|
|
case BlockBasedTableOptions::kBinarySearch: {
|
2018-08-10 01:49:45 +02:00
|
|
|
result = new ShortenedIndexBuilder(
|
|
|
|
comparator, table_opt.index_block_restart_interval,
|
2019-04-22 17:17:45 +02:00
|
|
|
table_opt.format_version, use_value_delta_encoding,
|
Add an option to put first key of each sst block in the index (#5289)
Summary:
The first key is used to defer reading the data block until this file gets to the top of merging iterator's heap. For short range scans, most files never make it to the top of the heap, so this change can reduce read amplification by a lot sometimes.
Consider the following workload. There are a few data streams (we'll be calling them "logs"), each stream consisting of a sequence of blobs (we'll be calling them "records"). Each record is identified by log ID and a sequence number within the log. RocksDB key is concatenation of log ID and sequence number (big endian). Reads are mostly relatively short range scans, each within a single log. Writes are mostly sequential for each log, but writes to different logs are randomly interleaved. Compactions are disabled; instead, when we accumulate a few tens of sst files, we create a new column family and start writing to it.
So, a typical sst file consists of a few ranges of blocks, each range corresponding to one log ID (we use FlushBlockPolicy to cut blocks at log boundaries). A typical read would go like this. First, iterator Seek() reads one block from each sst file. Then a series of Next()s move through one sst file (since writes to each log are mostly sequential) until the subiterator reaches the end of this log in this sst file; then Next() switches to the next sst file and reads sequentially from that, and so on. Often a range scan will only return records from a small number of blocks in small number of sst files; in this case, the cost of initial Seek() reading one block from each file may be bigger than the cost of reading the actually useful blocks.
Neither iterate_upper_bound nor bloom filters can prevent reading one block from each file in Seek(). But this PR can: if the index contains first key from each block, we don't have to read the block until this block actually makes it to the top of merging iterator's heap, so for short range scans we won't read any blocks from most of the sst files.
This PR does the deferred block loading inside value() call. This is not ideal: there's no good way to report an IO error from inside value(). As discussed with siying offline, it would probably be better to change InternalIterator's interface to explicitly fetch deferred value and get status. I'll do it in a separate PR.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/5289
Differential Revision: D15256423
Pulled By: al13n321
fbshipit-source-id: 750e4c39ce88e8d41662f701cf6275d9388ba46a
2019-06-25 05:50:35 +02:00
|
|
|
table_opt.index_shortening, /* include_first_key */ false);
|
2019-04-22 17:17:45 +02:00
|
|
|
} break;
|
2017-03-04 03:09:43 +01:00
|
|
|
case BlockBasedTableOptions::kHashSearch: {
|
2020-01-14 20:19:47 +01:00
|
|
|
// Currently kHashSearch is incompatible with index_block_restart_interval
|
|
|
|
// > 1
|
|
|
|
assert(table_opt.index_block_restart_interval == 1);
|
2019-04-22 17:17:45 +02:00
|
|
|
result = new HashIndexBuilder(
|
|
|
|
comparator, int_key_slice_transform,
|
|
|
|
table_opt.index_block_restart_interval, table_opt.format_version,
|
|
|
|
use_value_delta_encoding, table_opt.index_shortening);
|
|
|
|
} break;
|
2017-03-04 03:09:43 +01:00
|
|
|
case BlockBasedTableOptions::kTwoLevelIndexSearch: {
|
2018-08-10 01:49:45 +02:00
|
|
|
result = PartitionedIndexBuilder::CreateIndexBuilder(
|
|
|
|
comparator, use_value_delta_encoding, table_opt);
|
2019-04-22 17:17:45 +02:00
|
|
|
} break;
|
Add an option to put first key of each sst block in the index (#5289)
Summary:
The first key is used to defer reading the data block until this file gets to the top of merging iterator's heap. For short range scans, most files never make it to the top of the heap, so this change can reduce read amplification by a lot sometimes.
Consider the following workload. There are a few data streams (we'll be calling them "logs"), each stream consisting of a sequence of blobs (we'll be calling them "records"). Each record is identified by log ID and a sequence number within the log. RocksDB key is concatenation of log ID and sequence number (big endian). Reads are mostly relatively short range scans, each within a single log. Writes are mostly sequential for each log, but writes to different logs are randomly interleaved. Compactions are disabled; instead, when we accumulate a few tens of sst files, we create a new column family and start writing to it.
So, a typical sst file consists of a few ranges of blocks, each range corresponding to one log ID (we use FlushBlockPolicy to cut blocks at log boundaries). A typical read would go like this. First, iterator Seek() reads one block from each sst file. Then a series of Next()s move through one sst file (since writes to each log are mostly sequential) until the subiterator reaches the end of this log in this sst file; then Next() switches to the next sst file and reads sequentially from that, and so on. Often a range scan will only return records from a small number of blocks in small number of sst files; in this case, the cost of initial Seek() reading one block from each file may be bigger than the cost of reading the actually useful blocks.
Neither iterate_upper_bound nor bloom filters can prevent reading one block from each file in Seek(). But this PR can: if the index contains first key from each block, we don't have to read the block until this block actually makes it to the top of merging iterator's heap, so for short range scans we won't read any blocks from most of the sst files.
This PR does the deferred block loading inside value() call. This is not ideal: there's no good way to report an IO error from inside value(). As discussed with siying offline, it would probably be better to change InternalIterator's interface to explicitly fetch deferred value and get status. I'll do it in a separate PR.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/5289
Differential Revision: D15256423
Pulled By: al13n321
fbshipit-source-id: 750e4c39ce88e8d41662f701cf6275d9388ba46a
2019-06-25 05:50:35 +02:00
|
|
|
case BlockBasedTableOptions::kBinarySearchWithFirstKey: {
|
|
|
|
result = new ShortenedIndexBuilder(
|
|
|
|
comparator, table_opt.index_block_restart_interval,
|
|
|
|
table_opt.format_version, use_value_delta_encoding,
|
|
|
|
table_opt.index_shortening, /* include_first_key */ true);
|
|
|
|
} break;
|
2017-03-04 03:09:43 +01:00
|
|
|
default: {
|
|
|
|
assert(!"Do not recognize the index type ");
|
2019-04-22 17:17:45 +02:00
|
|
|
} break;
|
2017-03-04 03:09:43 +01:00
|
|
|
}
|
2017-10-19 19:48:47 +02:00
|
|
|
return result;
|
2017-03-04 03:09:43 +01:00
|
|
|
}
|
2017-03-07 22:48:02 +01:00
|
|
|
|
|
|
|
PartitionedIndexBuilder* PartitionedIndexBuilder::CreateIndexBuilder(
|
|
|
|
const InternalKeyComparator* comparator,
|
2018-08-10 01:49:45 +02:00
|
|
|
const bool use_value_delta_encoding,
|
2017-03-07 22:48:02 +01:00
|
|
|
const BlockBasedTableOptions& table_opt) {
|
2018-08-10 01:49:45 +02:00
|
|
|
return new PartitionedIndexBuilder(comparator, table_opt,
|
|
|
|
use_value_delta_encoding);
|
2017-03-07 22:48:02 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
PartitionedIndexBuilder::PartitionedIndexBuilder(
|
|
|
|
const InternalKeyComparator* comparator,
|
2018-08-10 01:49:45 +02:00
|
|
|
const BlockBasedTableOptions& table_opt,
|
|
|
|
const bool use_value_delta_encoding)
|
2017-03-07 22:48:02 +01:00
|
|
|
: IndexBuilder(comparator),
|
2018-05-26 03:41:31 +02:00
|
|
|
index_block_builder_(table_opt.index_block_restart_interval,
|
2018-08-10 01:49:45 +02:00
|
|
|
true /*use_delta_encoding*/,
|
|
|
|
use_value_delta_encoding),
|
2018-06-07 01:44:52 +02:00
|
|
|
index_block_builder_without_seq_(table_opt.index_block_restart_interval,
|
2018-08-10 01:49:45 +02:00
|
|
|
true /*use_delta_encoding*/,
|
|
|
|
use_value_delta_encoding),
|
2017-03-28 20:56:56 +02:00
|
|
|
sub_index_builder_(nullptr),
|
2018-05-26 03:41:31 +02:00
|
|
|
table_opt_(table_opt),
|
2018-08-11 00:14:44 +02:00
|
|
|
// We start by false. After each partition we revise the value based on
|
|
|
|
// what the sub_index_builder has decided. If the feature is disabled
|
|
|
|
// entirely, this will be set to true after switching the first
|
|
|
|
// sub_index_builder. Otherwise, it could be set to true even one of the
|
|
|
|
// sub_index_builders could not safely exclude seq from the keys, then it
|
|
|
|
// wil be enforced on all sub_index_builders on ::Finish.
|
2018-08-10 01:49:45 +02:00
|
|
|
seperator_is_key_plus_seq_(false),
|
|
|
|
use_value_delta_encoding_(use_value_delta_encoding) {}
|
2017-03-07 22:48:02 +01:00
|
|
|
|
|
|
|
PartitionedIndexBuilder::~PartitionedIndexBuilder() {
|
|
|
|
delete sub_index_builder_;
|
|
|
|
}
|
|
|
|
|
2017-03-28 20:56:56 +02:00
|
|
|
void PartitionedIndexBuilder::MakeNewSubIndexBuilder() {
|
|
|
|
assert(sub_index_builder_ == nullptr);
|
|
|
|
sub_index_builder_ = new ShortenedIndexBuilder(
|
2018-05-26 03:41:31 +02:00
|
|
|
comparator_, table_opt_.index_block_restart_interval,
|
2019-04-22 17:17:45 +02:00
|
|
|
table_opt_.format_version, use_value_delta_encoding_,
|
Add an option to put first key of each sst block in the index (#5289)
Summary:
The first key is used to defer reading the data block until this file gets to the top of merging iterator's heap. For short range scans, most files never make it to the top of the heap, so this change can reduce read amplification by a lot sometimes.
Consider the following workload. There are a few data streams (we'll be calling them "logs"), each stream consisting of a sequence of blobs (we'll be calling them "records"). Each record is identified by log ID and a sequence number within the log. RocksDB key is concatenation of log ID and sequence number (big endian). Reads are mostly relatively short range scans, each within a single log. Writes are mostly sequential for each log, but writes to different logs are randomly interleaved. Compactions are disabled; instead, when we accumulate a few tens of sst files, we create a new column family and start writing to it.
So, a typical sst file consists of a few ranges of blocks, each range corresponding to one log ID (we use FlushBlockPolicy to cut blocks at log boundaries). A typical read would go like this. First, iterator Seek() reads one block from each sst file. Then a series of Next()s move through one sst file (since writes to each log are mostly sequential) until the subiterator reaches the end of this log in this sst file; then Next() switches to the next sst file and reads sequentially from that, and so on. Often a range scan will only return records from a small number of blocks in small number of sst files; in this case, the cost of initial Seek() reading one block from each file may be bigger than the cost of reading the actually useful blocks.
Neither iterate_upper_bound nor bloom filters can prevent reading one block from each file in Seek(). But this PR can: if the index contains first key from each block, we don't have to read the block until this block actually makes it to the top of merging iterator's heap, so for short range scans we won't read any blocks from most of the sst files.
This PR does the deferred block loading inside value() call. This is not ideal: there's no good way to report an IO error from inside value(). As discussed with siying offline, it would probably be better to change InternalIterator's interface to explicitly fetch deferred value and get status. I'll do it in a separate PR.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/5289
Differential Revision: D15256423
Pulled By: al13n321
fbshipit-source-id: 750e4c39ce88e8d41662f701cf6275d9388ba46a
2019-06-25 05:50:35 +02:00
|
|
|
table_opt_.index_shortening, /* include_first_key */ false);
|
2017-03-28 20:56:56 +02:00
|
|
|
flush_policy_.reset(FlushBlockBySizePolicyFactory::NewFlushBlockPolicy(
|
|
|
|
table_opt_.metadata_block_size, table_opt_.block_size_deviation,
|
2018-08-11 00:14:44 +02:00
|
|
|
// Note: this is sub-optimal since sub_index_builder_ could later reset
|
|
|
|
// seperator_is_key_plus_seq_ but the probability of that is low.
|
|
|
|
sub_index_builder_->seperator_is_key_plus_seq_
|
|
|
|
? sub_index_builder_->index_block_builder_
|
|
|
|
: sub_index_builder_->index_block_builder_without_seq_));
|
2017-07-02 19:36:10 +02:00
|
|
|
partition_cut_requested_ = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
void PartitionedIndexBuilder::RequestPartitionCut() {
|
|
|
|
partition_cut_requested_ = true;
|
2017-03-28 20:56:56 +02:00
|
|
|
}
|
|
|
|
|
2017-03-07 22:48:02 +01:00
|
|
|
void PartitionedIndexBuilder::AddIndexEntry(
|
|
|
|
std::string* last_key_in_current_block,
|
|
|
|
const Slice* first_key_in_next_block, const BlockHandle& block_handle) {
|
2017-03-28 20:56:56 +02:00
|
|
|
// Note: to avoid two consecuitive flush in the same method call, we do not
|
|
|
|
// check flush policy when adding the last key
|
2017-03-07 22:48:02 +01:00
|
|
|
if (UNLIKELY(first_key_in_next_block == nullptr)) { // no more keys
|
2017-03-28 20:56:56 +02:00
|
|
|
if (sub_index_builder_ == nullptr) {
|
|
|
|
MakeNewSubIndexBuilder();
|
|
|
|
}
|
|
|
|
sub_index_builder_->AddIndexEntry(last_key_in_current_block,
|
|
|
|
first_key_in_next_block, block_handle);
|
2018-05-26 03:41:31 +02:00
|
|
|
if (sub_index_builder_->seperator_is_key_plus_seq_) {
|
|
|
|
// then we need to apply it to all sub-index builders
|
|
|
|
seperator_is_key_plus_seq_ = true;
|
|
|
|
}
|
2017-03-28 20:56:56 +02:00
|
|
|
sub_index_last_key_ = std::string(*last_key_in_current_block);
|
|
|
|
entries_.push_back(
|
|
|
|
{sub_index_last_key_,
|
|
|
|
std::unique_ptr<ShortenedIndexBuilder>(sub_index_builder_)});
|
2017-03-07 22:48:02 +01:00
|
|
|
sub_index_builder_ = nullptr;
|
|
|
|
cut_filter_block = true;
|
2017-03-28 20:56:56 +02:00
|
|
|
} else {
|
|
|
|
// apply flush policy only to non-empty sub_index_builder_
|
|
|
|
if (sub_index_builder_ != nullptr) {
|
|
|
|
std::string handle_encoding;
|
|
|
|
block_handle.EncodeTo(&handle_encoding);
|
|
|
|
bool do_flush =
|
2017-07-02 19:36:10 +02:00
|
|
|
partition_cut_requested_ ||
|
2017-03-28 20:56:56 +02:00
|
|
|
flush_policy_->Update(*last_key_in_current_block, handle_encoding);
|
|
|
|
if (do_flush) {
|
|
|
|
entries_.push_back(
|
|
|
|
{sub_index_last_key_,
|
|
|
|
std::unique_ptr<ShortenedIndexBuilder>(sub_index_builder_)});
|
|
|
|
cut_filter_block = true;
|
|
|
|
sub_index_builder_ = nullptr;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (sub_index_builder_ == nullptr) {
|
|
|
|
MakeNewSubIndexBuilder();
|
|
|
|
}
|
|
|
|
sub_index_builder_->AddIndexEntry(last_key_in_current_block,
|
|
|
|
first_key_in_next_block, block_handle);
|
|
|
|
sub_index_last_key_ = std::string(*last_key_in_current_block);
|
2018-05-26 03:41:31 +02:00
|
|
|
if (sub_index_builder_->seperator_is_key_plus_seq_) {
|
|
|
|
// then we need to apply it to all sub-index builders
|
|
|
|
seperator_is_key_plus_seq_ = true;
|
|
|
|
}
|
2017-03-07 22:48:02 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Status PartitionedIndexBuilder::Finish(
|
|
|
|
IndexBlocks* index_blocks, const BlockHandle& last_partition_block_handle) {
|
2018-08-11 00:14:44 +02:00
|
|
|
if (partition_cnt_ == 0) {
|
|
|
|
partition_cnt_ = entries_.size();
|
|
|
|
}
|
2017-03-07 22:48:02 +01:00
|
|
|
// It must be set to null after last key is added
|
|
|
|
assert(sub_index_builder_ == nullptr);
|
|
|
|
if (finishing_indexes == true) {
|
|
|
|
Entry& last_entry = entries_.front();
|
|
|
|
std::string handle_encoding;
|
|
|
|
last_partition_block_handle.EncodeTo(&handle_encoding);
|
2018-08-10 01:49:45 +02:00
|
|
|
std::string handle_delta_encoding;
|
|
|
|
PutVarsignedint64(
|
|
|
|
&handle_delta_encoding,
|
|
|
|
last_partition_block_handle.size() - last_encoded_handle_.size());
|
|
|
|
last_encoded_handle_ = last_partition_block_handle;
|
|
|
|
const Slice handle_delta_encoding_slice(handle_delta_encoding);
|
|
|
|
index_block_builder_.Add(last_entry.key, handle_encoding,
|
|
|
|
&handle_delta_encoding_slice);
|
2018-06-07 01:44:52 +02:00
|
|
|
if (!seperator_is_key_plus_seq_) {
|
|
|
|
index_block_builder_without_seq_.Add(ExtractUserKey(last_entry.key),
|
2018-08-10 01:49:45 +02:00
|
|
|
handle_encoding,
|
|
|
|
&handle_delta_encoding_slice);
|
2018-06-07 01:44:52 +02:00
|
|
|
}
|
2017-03-07 22:48:02 +01:00
|
|
|
entries_.pop_front();
|
|
|
|
}
|
|
|
|
// If there is no sub_index left, then return the 2nd level index.
|
|
|
|
if (UNLIKELY(entries_.empty())) {
|
2018-06-07 01:44:52 +02:00
|
|
|
if (seperator_is_key_plus_seq_) {
|
|
|
|
index_blocks->index_block_contents = index_block_builder_.Finish();
|
|
|
|
} else {
|
|
|
|
index_blocks->index_block_contents =
|
|
|
|
index_block_builder_without_seq_.Finish();
|
|
|
|
}
|
2018-08-11 00:14:44 +02:00
|
|
|
top_level_index_size_ = index_blocks->index_block_contents.size();
|
|
|
|
index_size_ += top_level_index_size_;
|
2017-03-07 22:48:02 +01:00
|
|
|
return Status::OK();
|
|
|
|
} else {
|
|
|
|
// Finish the next partition index in line and Incomplete() to indicate we
|
|
|
|
// expect more calls to Finish
|
|
|
|
Entry& entry = entries_.front();
|
2018-05-26 03:41:31 +02:00
|
|
|
// Apply the policy to all sub-indexes
|
|
|
|
entry.value->seperator_is_key_plus_seq_ = seperator_is_key_plus_seq_;
|
2017-03-07 22:48:02 +01:00
|
|
|
auto s = entry.value->Finish(index_blocks);
|
2018-08-11 00:14:44 +02:00
|
|
|
index_size_ += index_blocks->index_block_contents.size();
|
2017-03-07 22:48:02 +01:00
|
|
|
finishing_indexes = true;
|
|
|
|
return s.ok() ? Status::Incomplete() : s;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-23 19:04:10 +02:00
|
|
|
size_t PartitionedIndexBuilder::NumPartitions() const { return partition_cnt_; }
|
2017-03-04 03:09:43 +01:00
|
|
|
} // namespace rocksdb
|