2017-04-07 03:06:34 +00:00
|
|
|
// Copyright (c) 2011-present, Facebook, Inc. All rights reserved.
|
2017-07-15 23:03:42 +00: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-04-07 03:06:34 +00: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-31 18:52:59 +00:00
|
|
|
#include "db/compaction/compaction_picker_universal.h"
|
2017-04-07 03:06:34 +00:00
|
|
|
#ifndef ROCKSDB_LITE
|
|
|
|
|
2019-06-06 20:52:39 +00:00
|
|
|
#include <cinttypes>
|
2017-04-07 03:06:34 +00:00
|
|
|
#include <limits>
|
|
|
|
#include <queue>
|
|
|
|
#include <string>
|
|
|
|
#include <utility>
|
2021-09-29 11:01:57 +00:00
|
|
|
|
2017-04-07 03:06:34 +00:00
|
|
|
#include "db/column_family.h"
|
2019-05-30 03:44:08 +00:00
|
|
|
#include "file/filename.h"
|
2019-06-01 00:19:43 +00:00
|
|
|
#include "logging/log_buffer.h"
|
2021-09-29 11:01:57 +00:00
|
|
|
#include "logging/logging.h"
|
2017-04-07 03:06:34 +00:00
|
|
|
#include "monitoring/statistics.h"
|
2019-05-31 00:39:43 +00:00
|
|
|
#include "test_util/sync_point.h"
|
2017-04-07 03:06:34 +00:00
|
|
|
#include "util/random.h"
|
|
|
|
#include "util/string_util.h"
|
|
|
|
|
2020-02-20 20:07:53 +00:00
|
|
|
namespace ROCKSDB_NAMESPACE {
|
2017-04-07 03:06:34 +00:00
|
|
|
namespace {
|
2019-09-16 17:49:20 +00:00
|
|
|
// A helper class that form universal compactions. The class is used by
|
|
|
|
// UniversalCompactionPicker::PickCompaction().
|
|
|
|
// The usage is to create the class, and get the compaction object by calling
|
|
|
|
// PickCompaction().
|
|
|
|
class UniversalCompactionBuilder {
|
|
|
|
public:
|
2020-07-23 01:31:25 +00:00
|
|
|
UniversalCompactionBuilder(
|
2021-05-05 20:59:21 +00:00
|
|
|
const ImmutableOptions& ioptions, const InternalKeyComparator* icmp,
|
2020-07-23 01:31:25 +00:00
|
|
|
const std::string& cf_name, const MutableCFOptions& mutable_cf_options,
|
|
|
|
const MutableDBOptions& mutable_db_options, VersionStorageInfo* vstorage,
|
|
|
|
UniversalCompactionPicker* picker, LogBuffer* log_buffer)
|
2019-09-16 17:49:20 +00:00
|
|
|
: ioptions_(ioptions),
|
|
|
|
icmp_(icmp),
|
|
|
|
cf_name_(cf_name),
|
|
|
|
mutable_cf_options_(mutable_cf_options),
|
2020-07-23 01:31:25 +00:00
|
|
|
mutable_db_options_(mutable_db_options),
|
2019-09-16 17:49:20 +00:00
|
|
|
vstorage_(vstorage),
|
|
|
|
picker_(picker),
|
|
|
|
log_buffer_(log_buffer) {}
|
|
|
|
|
|
|
|
// Form and return the compaction object. The caller owns return object.
|
|
|
|
Compaction* PickCompaction();
|
|
|
|
|
|
|
|
private:
|
|
|
|
struct SortedRun {
|
|
|
|
SortedRun(int _level, FileMetaData* _file, uint64_t _size,
|
|
|
|
uint64_t _compensated_file_size, bool _being_compacted)
|
|
|
|
: level(_level),
|
|
|
|
file(_file),
|
|
|
|
size(_size),
|
|
|
|
compensated_file_size(_compensated_file_size),
|
|
|
|
being_compacted(_being_compacted) {
|
|
|
|
assert(compensated_file_size > 0);
|
|
|
|
assert(level != 0 || file != nullptr);
|
|
|
|
}
|
|
|
|
|
|
|
|
void Dump(char* out_buf, size_t out_buf_size,
|
|
|
|
bool print_path = false) const;
|
|
|
|
|
|
|
|
// sorted_run_count is added into the string to print
|
|
|
|
void DumpSizeInfo(char* out_buf, size_t out_buf_size,
|
|
|
|
size_t sorted_run_count) const;
|
|
|
|
|
|
|
|
int level;
|
|
|
|
// `file` Will be null for level > 0. For level = 0, the sorted run is
|
|
|
|
// for this file.
|
|
|
|
FileMetaData* file;
|
|
|
|
// For level > 0, `size` and `compensated_file_size` are sum of sizes all
|
|
|
|
// files in the level. `being_compacted` should be the same for all files
|
|
|
|
// in a non-zero level. Use the value here.
|
|
|
|
uint64_t size;
|
|
|
|
uint64_t compensated_file_size;
|
|
|
|
bool being_compacted;
|
|
|
|
};
|
|
|
|
|
|
|
|
// Pick Universal compaction to limit read amplification
|
|
|
|
Compaction* PickCompactionToReduceSortedRuns(
|
|
|
|
unsigned int ratio, unsigned int max_number_of_files_to_compact);
|
|
|
|
|
|
|
|
// Pick Universal compaction to limit space amplification.
|
|
|
|
Compaction* PickCompactionToReduceSizeAmp();
|
|
|
|
|
Incremental Space Amp Compactions in Universal Style (#8655)
Summary:
This commit introduces incremental compaction in univeral style for space amplification. This follows the first improvement mentioned in https://rocksdb.org/blog/2021/04/12/universal-improvements.html . The implemention simply picks up files about size of max_compaction_bytes to compact and execute if the penalty is not too big. More optimizations can be done in the future, e.g. prioritizing between this compaction and other types. But for now, the feature is supposed to be functional and can often reduce frequency of full compactions, although it can introduce penalty.
In order to add cut files more efficiently so that more files from upper levels can be included, SST file cutting threshold (for current file + overlapping parent level files) is set to 1.5X of target file size. A 2MB target file size will generate files like this: https://gist.github.com/siying/29d2676fba417404f3c95e6c013c7de8 Number of files indeed increases but it is not out of control.
Two set of write benchmarks are run:
1. For ingestion rate limited scenario, we can see full compaction is mostly eliminated: https://gist.github.com/siying/959bc1186066906831cf4c808d6e0a19 . The write amp increased from 7.7 to 9.4, as expected. After applying file cutting, the number is improved to 8.9. In another benchmark, the write amp is even better with the incremental approach: https://gist.github.com/siying/d1c16c286d7c59c4d7bba718ca198163
2. For ingestion rate unlimited scenario, incremental compaction turns out to be too expensive most of the time and is not executed, as expected.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/8655
Test Plan: Add unit tests to the functionality.
Reviewed By: ajkr
Differential Revision: D31787034
fbshipit-source-id: ce813e63b15a61d5a56e97bf8902a1b28e011beb
2021-10-20 17:03:03 +00:00
|
|
|
// Try to pick incremental compaction to reduce space amplification.
|
|
|
|
// It will return null if it cannot find a fanout within the threshold.
|
|
|
|
// Fanout is defined as
|
|
|
|
// total size of files to compact at output level
|
|
|
|
// --------------------------------------------------
|
|
|
|
// total size of files to compact at other levels
|
|
|
|
Compaction* PickIncrementalForReduceSizeAmp(double fanout_threshold);
|
|
|
|
|
2019-09-16 17:49:20 +00:00
|
|
|
Compaction* PickDeleteTriggeredCompaction();
|
|
|
|
|
2019-10-31 18:16:33 +00:00
|
|
|
// Form a compaction from the sorted run indicated by start_index to the
|
|
|
|
// oldest sorted run.
|
|
|
|
// The caller is responsible for making sure that those files are not in
|
|
|
|
// compaction.
|
|
|
|
Compaction* PickCompactionToOldest(size_t start_index,
|
|
|
|
CompactionReason compaction_reason);
|
|
|
|
|
2022-08-08 21:34:36 +00:00
|
|
|
Compaction* PickCompactionWithSortedRunRange(
|
|
|
|
size_t start_index, size_t end_index, CompactionReason compaction_reason);
|
|
|
|
|
2019-10-31 18:16:33 +00:00
|
|
|
// Try to pick periodic compaction. The caller should only call it
|
|
|
|
// if there is at least one file marked for periodic compaction.
|
|
|
|
// null will be returned if no such a compaction can be formed
|
|
|
|
// because some files are being compacted.
|
|
|
|
Compaction* PickPeriodicCompaction();
|
|
|
|
|
2021-10-07 18:20:44 +00:00
|
|
|
// Used in universal compaction when the allow_trivial_move
|
2019-09-16 17:49:20 +00:00
|
|
|
// option is set. Checks whether there are any overlapping files
|
|
|
|
// in the input. Returns true if the input files are non
|
|
|
|
// overlapping.
|
|
|
|
bool IsInputFilesNonOverlapping(Compaction* c);
|
|
|
|
|
Incremental Space Amp Compactions in Universal Style (#8655)
Summary:
This commit introduces incremental compaction in univeral style for space amplification. This follows the first improvement mentioned in https://rocksdb.org/blog/2021/04/12/universal-improvements.html . The implemention simply picks up files about size of max_compaction_bytes to compact and execute if the penalty is not too big. More optimizations can be done in the future, e.g. prioritizing between this compaction and other types. But for now, the feature is supposed to be functional and can often reduce frequency of full compactions, although it can introduce penalty.
In order to add cut files more efficiently so that more files from upper levels can be included, SST file cutting threshold (for current file + overlapping parent level files) is set to 1.5X of target file size. A 2MB target file size will generate files like this: https://gist.github.com/siying/29d2676fba417404f3c95e6c013c7de8 Number of files indeed increases but it is not out of control.
Two set of write benchmarks are run:
1. For ingestion rate limited scenario, we can see full compaction is mostly eliminated: https://gist.github.com/siying/959bc1186066906831cf4c808d6e0a19 . The write amp increased from 7.7 to 9.4, as expected. After applying file cutting, the number is improved to 8.9. In another benchmark, the write amp is even better with the incremental approach: https://gist.github.com/siying/d1c16c286d7c59c4d7bba718ca198163
2. For ingestion rate unlimited scenario, incremental compaction turns out to be too expensive most of the time and is not executed, as expected.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/8655
Test Plan: Add unit tests to the functionality.
Reviewed By: ajkr
Differential Revision: D31787034
fbshipit-source-id: ce813e63b15a61d5a56e97bf8902a1b28e011beb
2021-10-20 17:03:03 +00:00
|
|
|
uint64_t GetMaxOverlappingBytes() const;
|
|
|
|
|
2021-05-05 20:59:21 +00:00
|
|
|
const ImmutableOptions& ioptions_;
|
2019-09-16 17:49:20 +00:00
|
|
|
const InternalKeyComparator* icmp_;
|
|
|
|
double score_;
|
|
|
|
std::vector<SortedRun> sorted_runs_;
|
|
|
|
const std::string& cf_name_;
|
|
|
|
const MutableCFOptions& mutable_cf_options_;
|
2020-07-23 01:31:25 +00:00
|
|
|
const MutableDBOptions& mutable_db_options_;
|
2019-09-16 17:49:20 +00:00
|
|
|
VersionStorageInfo* vstorage_;
|
|
|
|
UniversalCompactionPicker* picker_;
|
|
|
|
LogBuffer* log_buffer_;
|
|
|
|
|
|
|
|
static std::vector<SortedRun> CalculateSortedRuns(
|
2020-05-08 00:30:41 +00:00
|
|
|
const VersionStorageInfo& vstorage);
|
2019-09-16 17:49:20 +00:00
|
|
|
|
|
|
|
// Pick a path ID to place a newly generated file, with its estimated file
|
|
|
|
// size.
|
|
|
|
static uint32_t GetPathId(const ImmutableCFOptions& ioptions,
|
|
|
|
const MutableCFOptions& mutable_cf_options,
|
|
|
|
uint64_t file_size);
|
|
|
|
};
|
|
|
|
|
2017-04-07 03:06:34 +00:00
|
|
|
// Used in universal compaction when trivial move is enabled.
|
|
|
|
// This structure is used for the construction of min heap
|
|
|
|
// that contains the file meta data, the level of the file
|
|
|
|
// and the index of the file in that level
|
|
|
|
|
|
|
|
struct InputFileInfo {
|
2017-12-11 19:48:47 +00:00
|
|
|
InputFileInfo() : f(nullptr), level(0), index(0) {}
|
2017-04-07 03:06:34 +00:00
|
|
|
|
|
|
|
FileMetaData* f;
|
|
|
|
size_t level;
|
|
|
|
size_t index;
|
|
|
|
};
|
|
|
|
|
|
|
|
// Used in universal compaction when trivial move is enabled.
|
|
|
|
// This comparator is used for the construction of min heap
|
|
|
|
// based on the smallest key of the file.
|
|
|
|
struct SmallestKeyHeapComparator {
|
|
|
|
explicit SmallestKeyHeapComparator(const Comparator* ucmp) { ucmp_ = ucmp; }
|
|
|
|
|
|
|
|
bool operator()(InputFileInfo i1, InputFileInfo i2) const {
|
2022-09-08 20:03:07 +00:00
|
|
|
return (ucmp_->CompareWithoutTimestamp(i1.f->smallest.user_key(),
|
|
|
|
i2.f->smallest.user_key()) > 0);
|
2017-04-07 03:06:34 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
const Comparator* ucmp_;
|
|
|
|
};
|
|
|
|
|
2021-09-07 18:31:12 +00:00
|
|
|
using SmallestKeyHeap =
|
|
|
|
std::priority_queue<InputFileInfo, std::vector<InputFileInfo>,
|
|
|
|
SmallestKeyHeapComparator>;
|
2017-04-07 03:06:34 +00:00
|
|
|
|
|
|
|
// This function creates the heap that is used to find if the files are
|
|
|
|
// overlapping during universal compaction when the allow_trivial_move
|
|
|
|
// is set.
|
|
|
|
SmallestKeyHeap create_level_heap(Compaction* c, const Comparator* ucmp) {
|
|
|
|
SmallestKeyHeap smallest_key_priority_q =
|
|
|
|
SmallestKeyHeap(SmallestKeyHeapComparator(ucmp));
|
|
|
|
|
|
|
|
InputFileInfo input_file;
|
|
|
|
|
|
|
|
for (size_t l = 0; l < c->num_input_levels(); l++) {
|
|
|
|
if (c->num_input_files(l) != 0) {
|
|
|
|
if (l == 0 && c->start_level() == 0) {
|
|
|
|
for (size_t i = 0; i < c->num_input_files(0); i++) {
|
|
|
|
input_file.f = c->input(0, i);
|
|
|
|
input_file.level = 0;
|
|
|
|
input_file.index = i;
|
|
|
|
smallest_key_priority_q.push(std::move(input_file));
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
input_file.f = c->input(l, 0);
|
|
|
|
input_file.level = l;
|
|
|
|
input_file.index = 0;
|
|
|
|
smallest_key_priority_q.push(std::move(input_file));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return smallest_key_priority_q;
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifndef NDEBUG
|
|
|
|
// smallest_seqno and largest_seqno are set iff. `files` is not empty.
|
|
|
|
void GetSmallestLargestSeqno(const std::vector<FileMetaData*>& files,
|
|
|
|
SequenceNumber* smallest_seqno,
|
|
|
|
SequenceNumber* largest_seqno) {
|
|
|
|
bool is_first = true;
|
|
|
|
for (FileMetaData* f : files) {
|
2018-07-27 23:00:26 +00:00
|
|
|
assert(f->fd.smallest_seqno <= f->fd.largest_seqno);
|
2017-04-07 03:06:34 +00:00
|
|
|
if (is_first) {
|
|
|
|
is_first = false;
|
2018-07-27 23:00:26 +00:00
|
|
|
*smallest_seqno = f->fd.smallest_seqno;
|
|
|
|
*largest_seqno = f->fd.largest_seqno;
|
2017-04-07 03:06:34 +00:00
|
|
|
} else {
|
2018-07-27 23:00:26 +00:00
|
|
|
if (f->fd.smallest_seqno < *smallest_seqno) {
|
|
|
|
*smallest_seqno = f->fd.smallest_seqno;
|
2017-04-07 03:06:34 +00:00
|
|
|
}
|
2018-07-27 23:00:26 +00:00
|
|
|
if (f->fd.largest_seqno > *largest_seqno) {
|
|
|
|
*largest_seqno = f->fd.largest_seqno;
|
2017-04-07 03:06:34 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
} // namespace
|
|
|
|
|
|
|
|
// Algorithm that checks to see if there are any overlapping
|
|
|
|
// files in the input
|
2019-09-16 17:49:20 +00:00
|
|
|
bool UniversalCompactionBuilder::IsInputFilesNonOverlapping(Compaction* c) {
|
2017-04-07 03:06:34 +00:00
|
|
|
auto comparator = icmp_->user_comparator();
|
|
|
|
int first_iter = 1;
|
|
|
|
|
|
|
|
InputFileInfo prev, curr, next;
|
|
|
|
|
|
|
|
SmallestKeyHeap smallest_key_priority_q =
|
|
|
|
create_level_heap(c, icmp_->user_comparator());
|
|
|
|
|
|
|
|
while (!smallest_key_priority_q.empty()) {
|
|
|
|
curr = smallest_key_priority_q.top();
|
|
|
|
smallest_key_priority_q.pop();
|
|
|
|
|
|
|
|
if (first_iter) {
|
|
|
|
prev = curr;
|
|
|
|
first_iter = 0;
|
|
|
|
} else {
|
2022-09-08 20:03:07 +00:00
|
|
|
if (comparator->CompareWithoutTimestamp(
|
|
|
|
prev.f->largest.user_key(), curr.f->smallest.user_key()) >= 0) {
|
2017-04-07 03:06:34 +00:00
|
|
|
// found overlapping files, return false
|
|
|
|
return false;
|
|
|
|
}
|
2022-09-08 20:03:07 +00:00
|
|
|
assert(comparator->CompareWithoutTimestamp(
|
|
|
|
curr.f->largest.user_key(), prev.f->largest.user_key()) > 0);
|
2017-04-07 03:06:34 +00:00
|
|
|
prev = curr;
|
|
|
|
}
|
|
|
|
|
|
|
|
next.f = nullptr;
|
|
|
|
|
2019-12-11 19:25:33 +00:00
|
|
|
if (c->level(curr.level) != 0 &&
|
|
|
|
curr.index < c->num_input_files(curr.level) - 1) {
|
2017-04-07 03:06:34 +00:00
|
|
|
next.f = c->input(curr.level, curr.index + 1);
|
|
|
|
next.level = curr.level;
|
|
|
|
next.index = curr.index + 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (next.f) {
|
|
|
|
smallest_key_priority_q.push(std::move(next));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool UniversalCompactionPicker::NeedsCompaction(
|
|
|
|
const VersionStorageInfo* vstorage) const {
|
|
|
|
const int kLevel0 = 0;
|
2018-05-29 22:42:14 +00:00
|
|
|
if (vstorage->CompactionScore(kLevel0) >= 1) {
|
|
|
|
return true;
|
|
|
|
}
|
2019-10-31 18:16:33 +00:00
|
|
|
if (!vstorage->FilesMarkedForPeriodicCompaction().empty()) {
|
|
|
|
return true;
|
|
|
|
}
|
2018-05-29 22:42:14 +00:00
|
|
|
if (!vstorage->FilesMarkedForCompaction().empty()) {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
return false;
|
2017-04-07 03:06:34 +00:00
|
|
|
}
|
|
|
|
|
2019-09-16 17:49:20 +00:00
|
|
|
Compaction* UniversalCompactionPicker::PickCompaction(
|
|
|
|
const std::string& cf_name, const MutableCFOptions& mutable_cf_options,
|
2020-07-23 01:31:25 +00:00
|
|
|
const MutableDBOptions& mutable_db_options, VersionStorageInfo* vstorage,
|
Fix FIFO causing overlapping seqnos in L0 files due to overlapped seqnos between ingested files and memtable's (#10777)
Summary:
**Context:**
Same as https://github.com/facebook/rocksdb/pull/5958#issue-511150930 but apply the fix to FIFO Compaction case
Repro:
```
COERCE_CONTEXT_SWICH=1 make -j56 db_stress
./db_stress --acquire_snapshot_one_in=0 --adaptive_readahead=0 --allow_data_in_errors=True --async_io=1 --avoid_flush_during_recovery=0 --avoid_unnecessary_blocking_io=0 --backup_max_size=104857600 --backup_one_in=0 --batch_protection_bytes_per_key=0 --block_size=16384 --bloom_bits=18 --bottommost_compression_type=disable --bytes_per_sync=262144 --cache_index_and_filter_blocks=0 --cache_size=8388608 --cache_type=lru_cache --charge_compression_dictionary_building_buffer=0 --charge_file_metadata=1 --charge_filter_construction=1 --charge_table_reader=1 --checkpoint_one_in=0 --checksum_type=kCRC32c --clear_column_family_one_in=0 --column_families=1 --compact_files_one_in=0 --compact_range_one_in=1000 --compaction_pri=3 --open_files=-1 --compaction_style=2 --fifo_allow_compaction=1 --compaction_ttl=0 --compression_max_dict_buffer_bytes=8388607 --compression_max_dict_bytes=16384 --compression_parallel_threads=1 --compression_type=zlib --compression_use_zstd_dict_trainer=1 --compression_zstd_max_train_bytes=0 --continuous_verification_interval=0 --data_block_index_type=0 --db=/dev/shm/rocksdb_test0/rocksdb_crashtest_whitebox --db_write_buffer_size=8388608 --delpercent=4 --delrangepercent=1 --destroy_db_initially=1 --detect_filter_construct_corruption=0 --disable_wal=0 --enable_compaction_filter=0 --enable_pipelined_write=1 --fail_if_options_file_error=1 --file_checksum_impl=none --flush_one_in=1000 --format_version=5 --get_current_wal_file_one_in=0 --get_live_files_one_in=0 --get_property_one_in=0 --get_sorted_wal_files_one_in=0 --index_block_restart_interval=15 --index_type=3 --ingest_external_file_one_in=100 --initial_auto_readahead_size=0 --iterpercent=10 --key_len_percent_dist=1,30,69 --level_compaction_dynamic_level_bytes=True --log2_keys_per_lock=10 --long_running_snapshots=0 --mark_for_compaction_one_file_in=10 --max_auto_readahead_size=16384 --max_background_compactions=20 --max_bytes_for_level_base=10485760 --max_key=100000 --max_key_len=3 --max_manifest_file_size=1073741824 --max_write_batch_group_size_bytes=1048576 --max_write_buffer_number=3 --max_write_buffer_size_to_maintain=4194304 --memtable_prefix_bloom_size_ratio=0.5 --memtable_protection_bytes_per_key=1 --memtable_whole_key_filtering=1 --memtablerep=skip_list --mmap_read=1 --mock_direct_io=False --nooverwritepercent=1 --num_file_reads_for_auto_readahead=0 --num_levels=1 --open_metadata_write_fault_one_in=0 --open_read_fault_one_in=32 --open_write_fault_one_in=0 --ops_per_thread=200000 --optimize_filters_for_memory=0 --paranoid_file_checks=1 --partition_filters=0 --partition_pinning=1 --pause_background_one_in=0 --periodic_compaction_seconds=0 --prefix_size=8 --prefixpercent=5 --prepopulate_block_cache=0 --progress_reports=0 --read_fault_one_in=0 --readahead_size=16384 --readpercent=45 --recycle_log_file_num=1 --reopen=20 --ribbon_starting_level=999 --snapshot_hold_ops=1000 --sst_file_manager_bytes_per_sec=0 --sst_file_manager_bytes_per_truncate=0 --subcompactions=2 --sync=0 --sync_fault_injection=0 --target_file_size_base=524288 --target_file_size_multiplier=2 --test_batches_snapshots=0 --top_level_index_pinning=3 --unpartitioned_pinning=0 --use_direct_io_for_flush_and_compaction=0 --use_direct_reads=0 --use_full_merge_v1=1 --use_merge=0 --use_multiget=1 --user_timestamp_size=0 --value_size_mult=32 --verify_checksum=1 --verify_checksum_one_in=0 --verify_db_one_in=1000 --verify_sst_unique_id_in_manifest=1 --wal_bytes_per_sync=0 --wal_compression=zstd --write_buffer_size=524288 --write_dbid_to_manifest=0 --writepercent=35
put or merge error: Corruption: force_consistency_checks(DEBUG): VersionBuilder: L0 file https://github.com/facebook/rocksdb/issues/479 with seqno 23711 29070 vs. file https://github.com/facebook/rocksdb/issues/482 with seqno 27138 29049
```
**Summary:**
FIFO only does intra-L0 compaction in the following four cases. For other cases, FIFO drops data instead of compacting on data, which is irrelevant to the overlapping seqno issue we are solving.
- [FIFOCompactionPicker::PickSizeCompaction](https://github.com/facebook/rocksdb/blob/7.6.fb/db/compaction/compaction_picker_fifo.cc#L155) when `total size < compaction_options_fifo.max_table_files_size` and `compaction_options_fifo.allow_compaction == true`
- For this path, we simply reuse the fix in `FindIntraL0Compaction` https://github.com/facebook/rocksdb/pull/5958/files#diff-c261f77d6dd2134333c4a955c311cf4a196a08d3c2bb6ce24fd6801407877c89R56
- This path was not stress-tested at all. Therefore we covered `fifo.allow_compaction` in stress test to surface the overlapping seqno issue we are fixing here.
- [FIFOCompactionPicker::PickCompactionToWarm](https://github.com/facebook/rocksdb/blob/7.6.fb/db/compaction/compaction_picker_fifo.cc#L313) when `compaction_options_fifo.age_for_warm > 0`
- For this path, we simply replicate the idea in https://github.com/facebook/rocksdb/pull/5958#issue-511150930 and skip files of largest seqno greater than `earliest_mem_seqno`
- This path was not stress-tested at all. However covering `age_for_warm` option worths a separate PR to deal with db stress compatibility. Therefore we manually tested this path for this PR
- [FIFOCompactionPicker::CompactRange](https://github.com/facebook/rocksdb/blob/7.6.fb/db/compaction/compaction_picker_fifo.cc#L365) that ends up picking one of the above two compactions
- [CompactionPicker::CompactFiles](https://github.com/facebook/rocksdb/blob/7.6.fb/db/compaction/compaction_picker.cc#L378)
- Since `SanitizeCompactionInputFiles()` will be called [before](https://github.com/facebook/rocksdb/blob/7.6.fb/db/compaction/compaction_picker.h#L111-L113) `CompactionPicker::CompactFiles` , we simply replicate the idea in https://github.com/facebook/rocksdb/pull/5958#issue-511150930 in `SanitizeCompactionInputFiles()`. To simplify implementation, we return `Stats::Abort()` on encountering seqno-overlapped file when doing compaction to L0 instead of skipping the file and proceed with the compaction.
Some additional clean-up included in this PR:
- Renamed `earliest_memtable_seqno` to `earliest_mem_seqno` for consistent naming
- Added comment about `earliest_memtable_seqno` in related APIs
- Made parameter `earliest_memtable_seqno` constant and required
Pull Request resolved: https://github.com/facebook/rocksdb/pull/10777
Test Plan:
- make check
- New unit test `TEST_P(DBCompactionTestFIFOCheckConsistencyWithParam, FlushAfterIntraL0CompactionWithIngestedFile)`corresponding to the above 4 cases, which will fail accordingly without the fix
- Regular CI stress run on this PR + stress test with aggressive value https://github.com/facebook/rocksdb/pull/10761 and on FIFO compaction only
Reviewed By: ajkr
Differential Revision: D40090485
Pulled By: hx235
fbshipit-source-id: 52624186952ee7109117788741aeeac86b624a4f
2022-10-25 17:39:58 +00:00
|
|
|
LogBuffer* log_buffer, const SequenceNumber /* earliest_mem_seqno */) {
|
2019-09-16 17:49:20 +00:00
|
|
|
UniversalCompactionBuilder builder(ioptions_, icmp_, cf_name,
|
2020-07-23 01:31:25 +00:00
|
|
|
mutable_cf_options, mutable_db_options,
|
|
|
|
vstorage, this, log_buffer);
|
2019-09-16 17:49:20 +00:00
|
|
|
return builder.PickCompaction();
|
|
|
|
}
|
|
|
|
|
|
|
|
void UniversalCompactionBuilder::SortedRun::Dump(char* out_buf,
|
|
|
|
size_t out_buf_size,
|
|
|
|
bool print_path) const {
|
2017-04-07 03:06:34 +00:00
|
|
|
if (level == 0) {
|
|
|
|
assert(file != nullptr);
|
|
|
|
if (file->fd.GetPathId() == 0 || !print_path) {
|
|
|
|
snprintf(out_buf, out_buf_size, "file %" PRIu64, file->fd.GetNumber());
|
|
|
|
} else {
|
|
|
|
snprintf(out_buf, out_buf_size, "file %" PRIu64
|
|
|
|
"(path "
|
|
|
|
"%" PRIu32 ")",
|
|
|
|
file->fd.GetNumber(), file->fd.GetPathId());
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
snprintf(out_buf, out_buf_size, "level %d", level);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-09-16 17:49:20 +00:00
|
|
|
void UniversalCompactionBuilder::SortedRun::DumpSizeInfo(
|
2017-04-07 03:06:34 +00:00
|
|
|
char* out_buf, size_t out_buf_size, size_t sorted_run_count) const {
|
|
|
|
if (level == 0) {
|
|
|
|
assert(file != nullptr);
|
|
|
|
snprintf(out_buf, out_buf_size,
|
|
|
|
"file %" PRIu64 "[%" ROCKSDB_PRIszt
|
|
|
|
"] "
|
|
|
|
"with size %" PRIu64 " (compensated size %" PRIu64 ")",
|
|
|
|
file->fd.GetNumber(), sorted_run_count, file->fd.GetFileSize(),
|
|
|
|
file->compensated_file_size);
|
|
|
|
} else {
|
|
|
|
snprintf(out_buf, out_buf_size,
|
|
|
|
"level %d[%" ROCKSDB_PRIszt
|
|
|
|
"] "
|
|
|
|
"with size %" PRIu64 " (compensated size %" PRIu64 ")",
|
|
|
|
level, sorted_run_count, size, compensated_file_size);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-09-16 17:49:20 +00:00
|
|
|
std::vector<UniversalCompactionBuilder::SortedRun>
|
|
|
|
UniversalCompactionBuilder::CalculateSortedRuns(
|
2020-05-08 00:30:41 +00:00
|
|
|
const VersionStorageInfo& vstorage) {
|
2019-09-16 17:49:20 +00:00
|
|
|
std::vector<UniversalCompactionBuilder::SortedRun> ret;
|
2017-04-07 03:06:34 +00:00
|
|
|
for (FileMetaData* f : vstorage.LevelFiles(0)) {
|
|
|
|
ret.emplace_back(0, f, f->fd.GetFileSize(), f->compensated_file_size,
|
|
|
|
f->being_compacted);
|
|
|
|
}
|
|
|
|
for (int level = 1; level < vstorage.num_levels(); level++) {
|
|
|
|
uint64_t total_compensated_size = 0U;
|
|
|
|
uint64_t total_size = 0U;
|
|
|
|
bool being_compacted = false;
|
|
|
|
for (FileMetaData* f : vstorage.LevelFiles(level)) {
|
|
|
|
total_compensated_size += f->compensated_file_size;
|
|
|
|
total_size += f->fd.GetFileSize();
|
2020-05-08 00:30:41 +00:00
|
|
|
// Size amp, read amp and periodic compactions always include all files
|
|
|
|
// for a non-zero level. However, a delete triggered compaction and
|
|
|
|
// a trivial move might pick a subset of files in a sorted run. So
|
|
|
|
// always check all files in a sorted run and mark the entire run as
|
|
|
|
// being compacted if one or more files are being compacted
|
|
|
|
if (f->being_compacted) {
|
2017-04-07 03:06:34 +00:00
|
|
|
being_compacted = f->being_compacted;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (total_compensated_size > 0) {
|
|
|
|
ret.emplace_back(level, nullptr, total_size, total_compensated_size,
|
|
|
|
being_compacted);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Universal style of compaction. Pick files that are contiguous in
|
|
|
|
// time-range to compact.
|
2019-09-16 17:49:20 +00:00
|
|
|
Compaction* UniversalCompactionBuilder::PickCompaction() {
|
2017-04-07 03:06:34 +00:00
|
|
|
const int kLevel0 = 0;
|
2019-09-16 17:49:20 +00:00
|
|
|
score_ = vstorage_->CompactionScore(kLevel0);
|
2020-05-08 00:30:41 +00:00
|
|
|
sorted_runs_ = CalculateSortedRuns(*vstorage_);
|
2019-09-16 17:49:20 +00:00
|
|
|
|
|
|
|
if (sorted_runs_.size() == 0 ||
|
2019-10-31 18:16:33 +00:00
|
|
|
(vstorage_->FilesMarkedForPeriodicCompaction().empty() &&
|
|
|
|
vstorage_->FilesMarkedForCompaction().empty() &&
|
2019-09-16 17:49:20 +00:00
|
|
|
sorted_runs_.size() < (unsigned int)mutable_cf_options_
|
|
|
|
.level0_file_num_compaction_trigger)) {
|
|
|
|
ROCKS_LOG_BUFFER(log_buffer_, "[%s] Universal: nothing to do\n",
|
|
|
|
cf_name_.c_str());
|
|
|
|
TEST_SYNC_POINT_CALLBACK(
|
|
|
|
"UniversalCompactionBuilder::PickCompaction:Return", nullptr);
|
2017-04-07 03:06:34 +00:00
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
VersionStorageInfo::LevelSummaryStorage tmp;
|
|
|
|
ROCKS_LOG_BUFFER_MAX_SZ(
|
2019-09-16 17:49:20 +00:00
|
|
|
log_buffer_, 3072,
|
2020-04-28 22:23:33 +00:00
|
|
|
"[%s] Universal: sorted runs: %" ROCKSDB_PRIszt " files: %s\n",
|
2019-09-16 17:49:20 +00:00
|
|
|
cf_name_.c_str(), sorted_runs_.size(), vstorage_->LevelSummary(&tmp));
|
2017-04-07 03:06:34 +00:00
|
|
|
|
2018-05-29 22:42:14 +00:00
|
|
|
Compaction* c = nullptr;
|
2019-10-31 18:16:33 +00:00
|
|
|
// Periodic compaction has higher priority than other type of compaction
|
|
|
|
// because it's a hard requirement.
|
|
|
|
if (!vstorage_->FilesMarkedForPeriodicCompaction().empty()) {
|
|
|
|
// Always need to do a full compaction for periodic compaction.
|
|
|
|
c = PickPeriodicCompaction();
|
|
|
|
}
|
|
|
|
|
|
|
|
// Check for size amplification.
|
|
|
|
if (c == nullptr &&
|
|
|
|
sorted_runs_.size() >=
|
|
|
|
static_cast<size_t>(
|
|
|
|
mutable_cf_options_.level0_file_num_compaction_trigger)) {
|
2019-09-16 17:49:20 +00:00
|
|
|
if ((c = PickCompactionToReduceSizeAmp()) != nullptr) {
|
|
|
|
ROCKS_LOG_BUFFER(log_buffer_, "[%s] Universal: compacting for size amp\n",
|
|
|
|
cf_name_.c_str());
|
2017-04-07 03:06:34 +00:00
|
|
|
} else {
|
2018-05-29 22:42:14 +00:00
|
|
|
// Size amplification is within limits. Try reducing read
|
|
|
|
// amplification while maintaining file size ratios.
|
|
|
|
unsigned int ratio =
|
2019-09-16 17:49:20 +00:00
|
|
|
mutable_cf_options_.compaction_options_universal.size_ratio;
|
2018-05-29 22:42:14 +00:00
|
|
|
|
2019-09-16 17:49:20 +00:00
|
|
|
if ((c = PickCompactionToReduceSortedRuns(ratio, UINT_MAX)) != nullptr) {
|
|
|
|
ROCKS_LOG_BUFFER(log_buffer_,
|
2018-05-29 22:42:14 +00:00
|
|
|
"[%s] Universal: compacting for size ratio\n",
|
2019-09-16 17:49:20 +00:00
|
|
|
cf_name_.c_str());
|
2018-05-29 22:42:14 +00:00
|
|
|
} else {
|
|
|
|
// Size amplification and file size ratios are within configured limits.
|
|
|
|
// If max read amplification is exceeding configured limits, then force
|
|
|
|
// compaction without looking at filesize ratios and try to reduce
|
|
|
|
// the number of files to fewer than level0_file_num_compaction_trigger.
|
|
|
|
// This is guaranteed by NeedsCompaction()
|
2019-09-16 17:49:20 +00:00
|
|
|
assert(sorted_runs_.size() >=
|
2018-05-29 22:42:14 +00:00
|
|
|
static_cast<size_t>(
|
2019-09-16 17:49:20 +00:00
|
|
|
mutable_cf_options_.level0_file_num_compaction_trigger));
|
2018-05-29 22:42:14 +00:00
|
|
|
// Get the total number of sorted runs that are not being compacted
|
|
|
|
int num_sr_not_compacted = 0;
|
2019-09-16 17:49:20 +00:00
|
|
|
for (size_t i = 0; i < sorted_runs_.size(); i++) {
|
|
|
|
if (sorted_runs_[i].being_compacted == false) {
|
2018-05-29 22:42:14 +00:00
|
|
|
num_sr_not_compacted++;
|
|
|
|
}
|
2017-04-07 03:06:34 +00:00
|
|
|
}
|
|
|
|
|
2018-05-29 22:42:14 +00:00
|
|
|
// The number of sorted runs that are not being compacted is greater
|
|
|
|
// than the maximum allowed number of sorted runs
|
|
|
|
if (num_sr_not_compacted >
|
2019-09-16 17:49:20 +00:00
|
|
|
mutable_cf_options_.level0_file_num_compaction_trigger) {
|
2018-05-29 22:42:14 +00:00
|
|
|
unsigned int num_files =
|
|
|
|
num_sr_not_compacted -
|
2019-09-16 17:49:20 +00:00
|
|
|
mutable_cf_options_.level0_file_num_compaction_trigger + 1;
|
|
|
|
if ((c = PickCompactionToReduceSortedRuns(UINT_MAX, num_files)) !=
|
|
|
|
nullptr) {
|
|
|
|
ROCKS_LOG_BUFFER(log_buffer_,
|
2018-05-29 22:42:14 +00:00
|
|
|
"[%s] Universal: compacting for file num -- %u\n",
|
2019-09-16 17:49:20 +00:00
|
|
|
cf_name_.c_str(), num_files);
|
2018-05-29 22:42:14 +00:00
|
|
|
}
|
2017-04-07 03:06:34 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2018-05-29 22:42:14 +00:00
|
|
|
|
|
|
|
if (c == nullptr) {
|
2019-09-16 17:49:20 +00:00
|
|
|
if ((c = PickDeleteTriggeredCompaction()) != nullptr) {
|
|
|
|
ROCKS_LOG_BUFFER(log_buffer_,
|
2018-05-29 22:42:14 +00:00
|
|
|
"[%s] Universal: delete triggered compaction\n",
|
2019-09-16 17:49:20 +00:00
|
|
|
cf_name_.c_str());
|
2018-05-29 22:42:14 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-04-07 03:06:34 +00:00
|
|
|
if (c == nullptr) {
|
2019-09-16 17:49:20 +00:00
|
|
|
TEST_SYNC_POINT_CALLBACK(
|
|
|
|
"UniversalCompactionBuilder::PickCompaction:Return", nullptr);
|
2017-04-07 03:06:34 +00:00
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
2019-09-16 17:49:20 +00:00
|
|
|
if (mutable_cf_options_.compaction_options_universal.allow_trivial_move ==
|
2019-10-31 18:16:33 +00:00
|
|
|
true &&
|
|
|
|
c->compaction_reason() != CompactionReason::kPeriodicCompaction) {
|
2017-04-07 03:06:34 +00:00
|
|
|
c->set_is_trivial_move(IsInputFilesNonOverlapping(c));
|
|
|
|
}
|
|
|
|
|
|
|
|
// validate that all the chosen files of L0 are non overlapping in time
|
|
|
|
#ifndef NDEBUG
|
|
|
|
bool is_first = true;
|
|
|
|
|
|
|
|
size_t level_index = 0U;
|
|
|
|
if (c->start_level() == 0) {
|
|
|
|
for (auto f : *c->inputs(0)) {
|
2018-07-27 23:00:26 +00:00
|
|
|
assert(f->fd.smallest_seqno <= f->fd.largest_seqno);
|
2017-04-07 03:06:34 +00:00
|
|
|
if (is_first) {
|
|
|
|
is_first = false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
level_index = 1U;
|
|
|
|
}
|
|
|
|
for (; level_index < c->num_input_levels(); level_index++) {
|
|
|
|
if (c->num_input_files(level_index) != 0) {
|
|
|
|
SequenceNumber smallest_seqno = 0U;
|
|
|
|
SequenceNumber largest_seqno = 0U;
|
|
|
|
GetSmallestLargestSeqno(*(c->inputs(level_index)), &smallest_seqno,
|
|
|
|
&largest_seqno);
|
|
|
|
if (is_first) {
|
|
|
|
is_first = false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
// update statistics
|
2021-11-30 23:10:12 +00:00
|
|
|
size_t num_files = 0;
|
|
|
|
for (auto& each_level : *c->inputs()) {
|
|
|
|
num_files += each_level.files.size();
|
|
|
|
}
|
|
|
|
RecordInHistogram(ioptions_.stats, NUM_FILES_IN_SINGLE_COMPACTION, num_files);
|
2017-04-07 03:06:34 +00:00
|
|
|
|
2019-09-16 17:49:20 +00:00
|
|
|
picker_->RegisterCompaction(c);
|
|
|
|
vstorage_->ComputeCompactionScore(ioptions_, mutable_cf_options_);
|
2017-04-07 03:06:34 +00:00
|
|
|
|
2019-09-16 17:49:20 +00:00
|
|
|
TEST_SYNC_POINT_CALLBACK("UniversalCompactionBuilder::PickCompaction:Return",
|
2017-04-07 03:06:34 +00:00
|
|
|
c);
|
|
|
|
return c;
|
|
|
|
}
|
|
|
|
|
2019-09-16 17:49:20 +00:00
|
|
|
uint32_t UniversalCompactionBuilder::GetPathId(
|
2017-12-11 21:12:12 +00:00
|
|
|
const ImmutableCFOptions& ioptions,
|
|
|
|
const MutableCFOptions& mutable_cf_options, uint64_t file_size) {
|
2017-04-07 03:06:34 +00:00
|
|
|
// Two conditions need to be satisfied:
|
|
|
|
// (1) the target path needs to be able to hold the file's size
|
|
|
|
// (2) Total size left in this and previous paths need to be not
|
|
|
|
// smaller than expected future file size before this new file is
|
|
|
|
// compacted, which is estimated based on size_ratio.
|
|
|
|
// For example, if now we are compacting files of size (1, 1, 2, 4, 8),
|
|
|
|
// we will make sure the target file, probably with size of 16, will be
|
|
|
|
// placed in a path so that eventually when new files are generated and
|
|
|
|
// compacted to (1, 1, 2, 4, 8, 16), all those files can be stored in or
|
|
|
|
// before the path we chose.
|
|
|
|
//
|
|
|
|
// TODO(sdong): now the case of multiple column families is not
|
|
|
|
// considered in this algorithm. So the target size can be violated in
|
|
|
|
// that case. We need to improve it.
|
|
|
|
uint64_t accumulated_size = 0;
|
|
|
|
uint64_t future_size =
|
2017-12-11 21:12:12 +00:00
|
|
|
file_size *
|
|
|
|
(100 - mutable_cf_options.compaction_options_universal.size_ratio) / 100;
|
2017-04-07 03:06:34 +00:00
|
|
|
uint32_t p = 0;
|
2018-04-06 02:49:06 +00:00
|
|
|
assert(!ioptions.cf_paths.empty());
|
|
|
|
for (; p < ioptions.cf_paths.size() - 1; p++) {
|
|
|
|
uint64_t target_size = ioptions.cf_paths[p].target_size;
|
2017-04-07 03:06:34 +00:00
|
|
|
if (target_size > file_size &&
|
|
|
|
accumulated_size + (target_size - file_size) > future_size) {
|
|
|
|
return p;
|
|
|
|
}
|
|
|
|
accumulated_size += target_size;
|
|
|
|
}
|
|
|
|
return p;
|
|
|
|
}
|
|
|
|
|
|
|
|
//
|
|
|
|
// Consider compaction files based on their size differences with
|
|
|
|
// the next file in time order.
|
|
|
|
//
|
2019-09-16 17:49:20 +00:00
|
|
|
Compaction* UniversalCompactionBuilder::PickCompactionToReduceSortedRuns(
|
|
|
|
unsigned int ratio, unsigned int max_number_of_files_to_compact) {
|
2017-04-07 03:06:34 +00:00
|
|
|
unsigned int min_merge_width =
|
2019-09-16 17:49:20 +00:00
|
|
|
mutable_cf_options_.compaction_options_universal.min_merge_width;
|
2017-04-07 03:06:34 +00:00
|
|
|
unsigned int max_merge_width =
|
2019-09-16 17:49:20 +00:00
|
|
|
mutable_cf_options_.compaction_options_universal.max_merge_width;
|
2017-04-07 03:06:34 +00:00
|
|
|
|
|
|
|
const SortedRun* sr = nullptr;
|
|
|
|
bool done = false;
|
|
|
|
size_t start_index = 0;
|
|
|
|
unsigned int candidate_count = 0;
|
|
|
|
|
|
|
|
unsigned int max_files_to_compact =
|
|
|
|
std::min(max_merge_width, max_number_of_files_to_compact);
|
|
|
|
min_merge_width = std::max(min_merge_width, 2U);
|
|
|
|
|
|
|
|
// Caller checks the size before executing this function. This invariant is
|
|
|
|
// important because otherwise we may have a possible integer underflow when
|
|
|
|
// dealing with unsigned types.
|
2019-09-16 17:49:20 +00:00
|
|
|
assert(sorted_runs_.size() > 0);
|
2017-04-07 03:06:34 +00:00
|
|
|
|
|
|
|
// Considers a candidate file only if it is smaller than the
|
|
|
|
// total size accumulated so far.
|
2019-09-16 17:49:20 +00:00
|
|
|
for (size_t loop = 0; loop < sorted_runs_.size(); loop++) {
|
2017-04-07 03:06:34 +00:00
|
|
|
candidate_count = 0;
|
|
|
|
|
|
|
|
// Skip files that are already being compacted
|
2019-09-16 17:49:20 +00:00
|
|
|
for (sr = nullptr; loop < sorted_runs_.size(); loop++) {
|
|
|
|
sr = &sorted_runs_[loop];
|
2017-04-07 03:06:34 +00:00
|
|
|
|
|
|
|
if (!sr->being_compacted) {
|
|
|
|
candidate_count = 1;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
char file_num_buf[kFormatFileNumberBufSize];
|
|
|
|
sr->Dump(file_num_buf, sizeof(file_num_buf));
|
2019-09-16 17:49:20 +00:00
|
|
|
ROCKS_LOG_BUFFER(log_buffer_,
|
2017-04-07 03:06:34 +00:00
|
|
|
"[%s] Universal: %s"
|
|
|
|
"[%d] being compacted, skipping",
|
2019-09-16 17:49:20 +00:00
|
|
|
cf_name_.c_str(), file_num_buf, loop);
|
2017-04-07 03:06:34 +00:00
|
|
|
|
|
|
|
sr = nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
// This file is not being compacted. Consider it as the
|
|
|
|
// first candidate to be compacted.
|
|
|
|
uint64_t candidate_size = sr != nullptr ? sr->compensated_file_size : 0;
|
|
|
|
if (sr != nullptr) {
|
|
|
|
char file_num_buf[kFormatFileNumberBufSize];
|
|
|
|
sr->Dump(file_num_buf, sizeof(file_num_buf), true);
|
2019-09-16 17:49:20 +00:00
|
|
|
ROCKS_LOG_BUFFER(log_buffer_,
|
|
|
|
"[%s] Universal: Possible candidate %s[%d].",
|
|
|
|
cf_name_.c_str(), file_num_buf, loop);
|
2017-04-07 03:06:34 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Check if the succeeding files need compaction.
|
|
|
|
for (size_t i = loop + 1;
|
2019-09-16 17:49:20 +00:00
|
|
|
candidate_count < max_files_to_compact && i < sorted_runs_.size();
|
2017-04-07 03:06:34 +00:00
|
|
|
i++) {
|
2019-09-16 17:49:20 +00:00
|
|
|
const SortedRun* succeeding_sr = &sorted_runs_[i];
|
2017-04-07 03:06:34 +00:00
|
|
|
if (succeeding_sr->being_compacted) {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
// Pick files if the total/last candidate file size (increased by the
|
|
|
|
// specified ratio) is still larger than the next candidate file.
|
|
|
|
// candidate_size is the total size of files picked so far with the
|
|
|
|
// default kCompactionStopStyleTotalSize; with
|
|
|
|
// kCompactionStopStyleSimilarSize, it's simply the size of the last
|
|
|
|
// picked file.
|
|
|
|
double sz = candidate_size * (100.0 + ratio) / 100.0;
|
|
|
|
if (sz < static_cast<double>(succeeding_sr->size)) {
|
|
|
|
break;
|
|
|
|
}
|
2019-09-16 17:49:20 +00:00
|
|
|
if (mutable_cf_options_.compaction_options_universal.stop_style ==
|
2017-04-07 03:06:34 +00:00
|
|
|
kCompactionStopStyleSimilarSize) {
|
|
|
|
// Similar-size stopping rule: also check the last picked file isn't
|
|
|
|
// far larger than the next candidate file.
|
|
|
|
sz = (succeeding_sr->size * (100.0 + ratio)) / 100.0;
|
|
|
|
if (sz < static_cast<double>(candidate_size)) {
|
|
|
|
// If the small file we've encountered begins a run of similar-size
|
|
|
|
// files, we'll pick them up on a future iteration of the outer
|
|
|
|
// loop. If it's some lonely straggler, it'll eventually get picked
|
|
|
|
// by the last-resort read amp strategy which disregards size ratios.
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
candidate_size = succeeding_sr->compensated_file_size;
|
|
|
|
} else { // default kCompactionStopStyleTotalSize
|
|
|
|
candidate_size += succeeding_sr->compensated_file_size;
|
|
|
|
}
|
|
|
|
candidate_count++;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Found a series of consecutive files that need compaction.
|
|
|
|
if (candidate_count >= (unsigned int)min_merge_width) {
|
|
|
|
start_index = loop;
|
|
|
|
done = true;
|
|
|
|
break;
|
|
|
|
} else {
|
|
|
|
for (size_t i = loop;
|
2019-09-16 17:49:20 +00:00
|
|
|
i < loop + candidate_count && i < sorted_runs_.size(); i++) {
|
|
|
|
const SortedRun* skipping_sr = &sorted_runs_[i];
|
2017-04-07 03:06:34 +00:00
|
|
|
char file_num_buf[256];
|
|
|
|
skipping_sr->DumpSizeInfo(file_num_buf, sizeof(file_num_buf), loop);
|
2019-09-16 17:49:20 +00:00
|
|
|
ROCKS_LOG_BUFFER(log_buffer_, "[%s] Universal: Skipping %s",
|
|
|
|
cf_name_.c_str(), file_num_buf);
|
2017-04-07 03:06:34 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (!done || candidate_count <= 1) {
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
size_t first_index_after = start_index + candidate_count;
|
|
|
|
// Compression is enabled if files compacted earlier already reached
|
|
|
|
// size ratio of compression.
|
|
|
|
bool enable_compression = true;
|
|
|
|
int ratio_to_compress =
|
2019-09-16 17:49:20 +00:00
|
|
|
mutable_cf_options_.compaction_options_universal.compression_size_percent;
|
2017-04-07 03:06:34 +00:00
|
|
|
if (ratio_to_compress >= 0) {
|
|
|
|
uint64_t total_size = 0;
|
2019-09-16 17:49:20 +00:00
|
|
|
for (auto& sorted_run : sorted_runs_) {
|
2017-04-07 03:06:34 +00:00
|
|
|
total_size += sorted_run.compensated_file_size;
|
|
|
|
}
|
|
|
|
|
|
|
|
uint64_t older_file_size = 0;
|
2019-09-16 17:49:20 +00:00
|
|
|
for (size_t i = sorted_runs_.size() - 1; i >= first_index_after; i--) {
|
|
|
|
older_file_size += sorted_runs_[i].size;
|
2017-04-07 03:06:34 +00:00
|
|
|
if (older_file_size * 100L >= total_size * (long)ratio_to_compress) {
|
|
|
|
enable_compression = false;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
uint64_t estimated_total_size = 0;
|
|
|
|
for (unsigned int i = 0; i < first_index_after; i++) {
|
2019-09-16 17:49:20 +00:00
|
|
|
estimated_total_size += sorted_runs_[i].size;
|
2017-04-07 03:06:34 +00:00
|
|
|
}
|
2017-12-11 21:12:12 +00:00
|
|
|
uint32_t path_id =
|
2019-09-16 17:49:20 +00:00
|
|
|
GetPathId(ioptions_, mutable_cf_options_, estimated_total_size);
|
|
|
|
int start_level = sorted_runs_[start_index].level;
|
2017-04-07 03:06:34 +00:00
|
|
|
int output_level;
|
2019-09-16 17:49:20 +00:00
|
|
|
if (first_index_after == sorted_runs_.size()) {
|
|
|
|
output_level = vstorage_->num_levels() - 1;
|
|
|
|
} else if (sorted_runs_[first_index_after].level == 0) {
|
2017-04-07 03:06:34 +00:00
|
|
|
output_level = 0;
|
|
|
|
} else {
|
2019-09-16 17:49:20 +00:00
|
|
|
output_level = sorted_runs_[first_index_after].level - 1;
|
2017-04-07 03:06:34 +00:00
|
|
|
}
|
|
|
|
|
2017-05-17 18:32:26 +00:00
|
|
|
// last level is reserved for the files ingested behind
|
|
|
|
if (ioptions_.allow_ingest_behind &&
|
2019-09-16 17:49:20 +00:00
|
|
|
(output_level == vstorage_->num_levels() - 1)) {
|
2017-05-17 18:32:26 +00:00
|
|
|
assert(output_level > 1);
|
|
|
|
output_level--;
|
|
|
|
}
|
|
|
|
|
2019-09-16 17:49:20 +00:00
|
|
|
std::vector<CompactionInputFiles> inputs(vstorage_->num_levels());
|
2017-04-07 03:06:34 +00:00
|
|
|
for (size_t i = 0; i < inputs.size(); ++i) {
|
|
|
|
inputs[i].level = start_level + static_cast<int>(i);
|
|
|
|
}
|
|
|
|
for (size_t i = start_index; i < first_index_after; i++) {
|
2019-09-16 17:49:20 +00:00
|
|
|
auto& picking_sr = sorted_runs_[i];
|
2017-04-07 03:06:34 +00:00
|
|
|
if (picking_sr.level == 0) {
|
|
|
|
FileMetaData* picking_file = picking_sr.file;
|
|
|
|
inputs[0].files.push_back(picking_file);
|
|
|
|
} else {
|
|
|
|
auto& files = inputs[picking_sr.level - start_level].files;
|
2019-09-16 17:49:20 +00:00
|
|
|
for (auto* f : vstorage_->LevelFiles(picking_sr.level)) {
|
2017-04-07 03:06:34 +00:00
|
|
|
files.push_back(f);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
char file_num_buf[256];
|
|
|
|
picking_sr.DumpSizeInfo(file_num_buf, sizeof(file_num_buf), i);
|
2019-09-16 17:49:20 +00:00
|
|
|
ROCKS_LOG_BUFFER(log_buffer_, "[%s] Universal: Picking %s",
|
|
|
|
cf_name_.c_str(), file_num_buf);
|
2017-04-07 03:06:34 +00:00
|
|
|
}
|
|
|
|
|
Incremental Space Amp Compactions in Universal Style (#8655)
Summary:
This commit introduces incremental compaction in univeral style for space amplification. This follows the first improvement mentioned in https://rocksdb.org/blog/2021/04/12/universal-improvements.html . The implemention simply picks up files about size of max_compaction_bytes to compact and execute if the penalty is not too big. More optimizations can be done in the future, e.g. prioritizing between this compaction and other types. But for now, the feature is supposed to be functional and can often reduce frequency of full compactions, although it can introduce penalty.
In order to add cut files more efficiently so that more files from upper levels can be included, SST file cutting threshold (for current file + overlapping parent level files) is set to 1.5X of target file size. A 2MB target file size will generate files like this: https://gist.github.com/siying/29d2676fba417404f3c95e6c013c7de8 Number of files indeed increases but it is not out of control.
Two set of write benchmarks are run:
1. For ingestion rate limited scenario, we can see full compaction is mostly eliminated: https://gist.github.com/siying/959bc1186066906831cf4c808d6e0a19 . The write amp increased from 7.7 to 9.4, as expected. After applying file cutting, the number is improved to 8.9. In another benchmark, the write amp is even better with the incremental approach: https://gist.github.com/siying/d1c16c286d7c59c4d7bba718ca198163
2. For ingestion rate unlimited scenario, incremental compaction turns out to be too expensive most of the time and is not executed, as expected.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/8655
Test Plan: Add unit tests to the functionality.
Reviewed By: ajkr
Differential Revision: D31787034
fbshipit-source-id: ce813e63b15a61d5a56e97bf8902a1b28e011beb
2021-10-20 17:03:03 +00:00
|
|
|
std::vector<FileMetaData*> grandparents;
|
|
|
|
// Include grandparents for potential file cutting in incremental
|
|
|
|
// mode. It is for aligning file cutting boundaries across levels,
|
|
|
|
// so that subsequent compactions can pick files with aligned
|
|
|
|
// buffer.
|
|
|
|
// Single files are only picked up in incremental mode, so that
|
|
|
|
// there is no need for full range.
|
|
|
|
if (mutable_cf_options_.compaction_options_universal.incremental &&
|
|
|
|
first_index_after < sorted_runs_.size() &&
|
|
|
|
sorted_runs_[first_index_after].level > 1) {
|
|
|
|
grandparents = vstorage_->LevelFiles(sorted_runs_[first_index_after].level);
|
|
|
|
}
|
|
|
|
|
2022-10-22 15:57:38 +00:00
|
|
|
if (output_level != 0 &&
|
|
|
|
picker_->FilesRangeOverlapWithCompaction(
|
|
|
|
inputs, output_level,
|
|
|
|
Compaction::EvaluatePenultimateLevel(vstorage_, ioptions_,
|
|
|
|
start_level, output_level))) {
|
|
|
|
return nullptr;
|
|
|
|
}
|
2017-04-07 03:06:34 +00:00
|
|
|
CompactionReason compaction_reason;
|
|
|
|
if (max_number_of_files_to_compact == UINT_MAX) {
|
|
|
|
compaction_reason = CompactionReason::kUniversalSizeRatio;
|
2018-01-26 19:01:54 +00:00
|
|
|
} else {
|
|
|
|
compaction_reason = CompactionReason::kUniversalSortedRunNum;
|
2017-04-07 03:06:34 +00:00
|
|
|
}
|
2022-03-08 02:06:19 +00:00
|
|
|
return new Compaction(vstorage_, ioptions_, mutable_cf_options_,
|
|
|
|
mutable_db_options_, std::move(inputs), output_level,
|
|
|
|
MaxFileSizeForLevel(mutable_cf_options_, output_level,
|
|
|
|
kCompactionStyleUniversal),
|
|
|
|
GetMaxOverlappingBytes(), path_id,
|
|
|
|
GetCompressionType(vstorage_, mutable_cf_options_,
|
2022-08-23 21:58:02 +00:00
|
|
|
output_level, 1, enable_compression),
|
2022-03-08 02:06:19 +00:00
|
|
|
GetCompressionOptions(mutable_cf_options_, vstorage_,
|
2022-08-23 21:58:02 +00:00
|
|
|
output_level, enable_compression),
|
2022-03-08 02:06:19 +00:00
|
|
|
Temperature::kUnknown,
|
|
|
|
/* max_subcompactions */ 0, grandparents,
|
2022-03-12 00:13:23 +00:00
|
|
|
/* is manual */ false, /* trim_ts */ "", score_,
|
2022-07-01 01:04:23 +00:00
|
|
|
false /* deletion_compaction */,
|
|
|
|
/* l0_files_might_overlap */ true, compaction_reason);
|
2017-04-07 03:06:34 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Look at overall size amplification. If size amplification
|
2021-03-26 04:17:17 +00:00
|
|
|
// exceeds the configured value, then do a compaction
|
2017-04-07 03:06:34 +00:00
|
|
|
// of the candidate files all the way upto the earliest
|
|
|
|
// base file (overrides configured values of file-size ratios,
|
|
|
|
// min_merge_width and max_merge_width).
|
|
|
|
//
|
2019-09-16 17:49:20 +00:00
|
|
|
Compaction* UniversalCompactionBuilder::PickCompactionToReduceSizeAmp() {
|
2017-06-05 18:23:31 +00:00
|
|
|
// percentage flexibility while reducing size amplification
|
2019-09-16 17:49:20 +00:00
|
|
|
uint64_t ratio = mutable_cf_options_.compaction_options_universal
|
2017-12-11 21:12:12 +00:00
|
|
|
.max_size_amplification_percent;
|
2017-04-07 03:06:34 +00:00
|
|
|
|
|
|
|
unsigned int candidate_count = 0;
|
|
|
|
uint64_t candidate_size = 0;
|
|
|
|
size_t start_index = 0;
|
|
|
|
const SortedRun* sr = nullptr;
|
|
|
|
|
2019-09-16 17:49:20 +00:00
|
|
|
assert(!sorted_runs_.empty());
|
|
|
|
if (sorted_runs_.back().being_compacted) {
|
2018-06-26 17:28:41 +00:00
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
2017-04-07 03:06:34 +00:00
|
|
|
// Skip files that are already being compacted
|
2020-06-02 22:02:44 +00:00
|
|
|
for (size_t loop = 0; loop + 1 < sorted_runs_.size(); loop++) {
|
2019-09-16 17:49:20 +00:00
|
|
|
sr = &sorted_runs_[loop];
|
2017-04-07 03:06:34 +00:00
|
|
|
if (!sr->being_compacted) {
|
|
|
|
start_index = loop; // Consider this as the first candidate.
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
char file_num_buf[kFormatFileNumberBufSize];
|
|
|
|
sr->Dump(file_num_buf, sizeof(file_num_buf), true);
|
2019-09-16 17:49:20 +00:00
|
|
|
ROCKS_LOG_BUFFER(log_buffer_,
|
|
|
|
"[%s] Universal: skipping %s[%d] compacted %s",
|
|
|
|
cf_name_.c_str(), file_num_buf, loop,
|
2017-04-07 03:06:34 +00:00
|
|
|
" cannot be a candidate to reduce size amp.\n");
|
|
|
|
sr = nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (sr == nullptr) {
|
|
|
|
return nullptr; // no candidate files
|
|
|
|
}
|
|
|
|
{
|
|
|
|
char file_num_buf[kFormatFileNumberBufSize];
|
|
|
|
sr->Dump(file_num_buf, sizeof(file_num_buf), true);
|
|
|
|
ROCKS_LOG_BUFFER(
|
2019-09-16 17:49:20 +00:00
|
|
|
log_buffer_,
|
2017-04-07 03:06:34 +00:00
|
|
|
"[%s] Universal: First candidate %s[%" ROCKSDB_PRIszt "] %s",
|
2019-09-16 17:49:20 +00:00
|
|
|
cf_name_.c_str(), file_num_buf, start_index, " to reduce size amp.\n");
|
2017-04-07 03:06:34 +00:00
|
|
|
}
|
|
|
|
|
2022-08-08 21:34:36 +00:00
|
|
|
// size of the base sorted run for size amp calculation
|
|
|
|
uint64_t base_sr_size = sorted_runs_.back().size;
|
|
|
|
size_t sr_end_idx = sorted_runs_.size() - 1;
|
|
|
|
// If tiered compaction is enabled and the last sorted run is the last level
|
|
|
|
if (ioptions_.preclude_last_level_data_seconds > 0 &&
|
|
|
|
ioptions_.num_levels > 2 &&
|
|
|
|
sorted_runs_.back().level == ioptions_.num_levels - 1 &&
|
|
|
|
sorted_runs_.size() > 1) {
|
|
|
|
sr_end_idx = sorted_runs_.size() - 2;
|
|
|
|
base_sr_size = sorted_runs_[sr_end_idx].size;
|
|
|
|
}
|
|
|
|
|
2017-04-07 03:06:34 +00:00
|
|
|
// keep adding up all the remaining files
|
2022-08-08 21:34:36 +00:00
|
|
|
for (size_t loop = start_index; loop < sr_end_idx; loop++) {
|
2019-09-16 17:49:20 +00:00
|
|
|
sr = &sorted_runs_[loop];
|
2017-04-07 03:06:34 +00:00
|
|
|
if (sr->being_compacted) {
|
Incremental Space Amp Compactions in Universal Style (#8655)
Summary:
This commit introduces incremental compaction in univeral style for space amplification. This follows the first improvement mentioned in https://rocksdb.org/blog/2021/04/12/universal-improvements.html . The implemention simply picks up files about size of max_compaction_bytes to compact and execute if the penalty is not too big. More optimizations can be done in the future, e.g. prioritizing between this compaction and other types. But for now, the feature is supposed to be functional and can often reduce frequency of full compactions, although it can introduce penalty.
In order to add cut files more efficiently so that more files from upper levels can be included, SST file cutting threshold (for current file + overlapping parent level files) is set to 1.5X of target file size. A 2MB target file size will generate files like this: https://gist.github.com/siying/29d2676fba417404f3c95e6c013c7de8 Number of files indeed increases but it is not out of control.
Two set of write benchmarks are run:
1. For ingestion rate limited scenario, we can see full compaction is mostly eliminated: https://gist.github.com/siying/959bc1186066906831cf4c808d6e0a19 . The write amp increased from 7.7 to 9.4, as expected. After applying file cutting, the number is improved to 8.9. In another benchmark, the write amp is even better with the incremental approach: https://gist.github.com/siying/d1c16c286d7c59c4d7bba718ca198163
2. For ingestion rate unlimited scenario, incremental compaction turns out to be too expensive most of the time and is not executed, as expected.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/8655
Test Plan: Add unit tests to the functionality.
Reviewed By: ajkr
Differential Revision: D31787034
fbshipit-source-id: ce813e63b15a61d5a56e97bf8902a1b28e011beb
2021-10-20 17:03:03 +00:00
|
|
|
// TODO with incremental compaction is supported, we might want to
|
|
|
|
// schedule some incremental compactions in parallel if needed.
|
2017-04-07 03:06:34 +00:00
|
|
|
char file_num_buf[kFormatFileNumberBufSize];
|
|
|
|
sr->Dump(file_num_buf, sizeof(file_num_buf), true);
|
|
|
|
ROCKS_LOG_BUFFER(
|
2019-09-16 17:49:20 +00:00
|
|
|
log_buffer_, "[%s] Universal: Possible candidate %s[%d] %s",
|
|
|
|
cf_name_.c_str(), file_num_buf, start_index,
|
2017-04-07 03:06:34 +00:00
|
|
|
" is already being compacted. No size amp reduction possible.\n");
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
candidate_size += sr->compensated_file_size;
|
|
|
|
candidate_count++;
|
|
|
|
}
|
|
|
|
if (candidate_count == 0) {
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
// size amplification = percentage of additional size
|
2022-08-08 21:34:36 +00:00
|
|
|
if (candidate_size * 100 < ratio * base_sr_size) {
|
2017-04-07 03:06:34 +00:00
|
|
|
ROCKS_LOG_BUFFER(
|
2019-09-16 17:49:20 +00:00
|
|
|
log_buffer_,
|
2017-04-07 03:06:34 +00:00
|
|
|
"[%s] Universal: size amp not needed. newer-files-total-size %" PRIu64
|
|
|
|
" earliest-file-size %" PRIu64,
|
2022-08-08 21:34:36 +00:00
|
|
|
cf_name_.c_str(), candidate_size, base_sr_size);
|
2017-04-07 03:06:34 +00:00
|
|
|
return nullptr;
|
|
|
|
} else {
|
|
|
|
ROCKS_LOG_BUFFER(
|
2019-09-16 17:49:20 +00:00
|
|
|
log_buffer_,
|
2017-04-07 03:06:34 +00:00
|
|
|
"[%s] Universal: size amp needed. newer-files-total-size %" PRIu64
|
|
|
|
" earliest-file-size %" PRIu64,
|
2022-08-08 21:34:36 +00:00
|
|
|
cf_name_.c_str(), candidate_size, base_sr_size);
|
2017-04-07 03:06:34 +00:00
|
|
|
}
|
Incremental Space Amp Compactions in Universal Style (#8655)
Summary:
This commit introduces incremental compaction in univeral style for space amplification. This follows the first improvement mentioned in https://rocksdb.org/blog/2021/04/12/universal-improvements.html . The implemention simply picks up files about size of max_compaction_bytes to compact and execute if the penalty is not too big. More optimizations can be done in the future, e.g. prioritizing between this compaction and other types. But for now, the feature is supposed to be functional and can often reduce frequency of full compactions, although it can introduce penalty.
In order to add cut files more efficiently so that more files from upper levels can be included, SST file cutting threshold (for current file + overlapping parent level files) is set to 1.5X of target file size. A 2MB target file size will generate files like this: https://gist.github.com/siying/29d2676fba417404f3c95e6c013c7de8 Number of files indeed increases but it is not out of control.
Two set of write benchmarks are run:
1. For ingestion rate limited scenario, we can see full compaction is mostly eliminated: https://gist.github.com/siying/959bc1186066906831cf4c808d6e0a19 . The write amp increased from 7.7 to 9.4, as expected. After applying file cutting, the number is improved to 8.9. In another benchmark, the write amp is even better with the incremental approach: https://gist.github.com/siying/d1c16c286d7c59c4d7bba718ca198163
2. For ingestion rate unlimited scenario, incremental compaction turns out to be too expensive most of the time and is not executed, as expected.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/8655
Test Plan: Add unit tests to the functionality.
Reviewed By: ajkr
Differential Revision: D31787034
fbshipit-source-id: ce813e63b15a61d5a56e97bf8902a1b28e011beb
2021-10-20 17:03:03 +00:00
|
|
|
// Since incremental compaction can't include more than second last
|
|
|
|
// level, it can introduce penalty, compared to full compaction. We
|
|
|
|
// hard code the pentalty to be 80%. If we end up with a compaction
|
|
|
|
// fanout higher than 80% of full level compactions, we fall back
|
|
|
|
// to full level compaction.
|
|
|
|
// The 80% threshold is arbitrary and can be adjusted or made
|
|
|
|
// configurable in the future.
|
|
|
|
// This also prevent the case when compaction falls behind and we
|
|
|
|
// need to compact more levels for compactions to catch up.
|
|
|
|
if (mutable_cf_options_.compaction_options_universal.incremental) {
|
2022-08-08 21:34:36 +00:00
|
|
|
double fanout_threshold = static_cast<double>(base_sr_size) /
|
Incremental Space Amp Compactions in Universal Style (#8655)
Summary:
This commit introduces incremental compaction in univeral style for space amplification. This follows the first improvement mentioned in https://rocksdb.org/blog/2021/04/12/universal-improvements.html . The implemention simply picks up files about size of max_compaction_bytes to compact and execute if the penalty is not too big. More optimizations can be done in the future, e.g. prioritizing between this compaction and other types. But for now, the feature is supposed to be functional and can often reduce frequency of full compactions, although it can introduce penalty.
In order to add cut files more efficiently so that more files from upper levels can be included, SST file cutting threshold (for current file + overlapping parent level files) is set to 1.5X of target file size. A 2MB target file size will generate files like this: https://gist.github.com/siying/29d2676fba417404f3c95e6c013c7de8 Number of files indeed increases but it is not out of control.
Two set of write benchmarks are run:
1. For ingestion rate limited scenario, we can see full compaction is mostly eliminated: https://gist.github.com/siying/959bc1186066906831cf4c808d6e0a19 . The write amp increased from 7.7 to 9.4, as expected. After applying file cutting, the number is improved to 8.9. In another benchmark, the write amp is even better with the incremental approach: https://gist.github.com/siying/d1c16c286d7c59c4d7bba718ca198163
2. For ingestion rate unlimited scenario, incremental compaction turns out to be too expensive most of the time and is not executed, as expected.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/8655
Test Plan: Add unit tests to the functionality.
Reviewed By: ajkr
Differential Revision: D31787034
fbshipit-source-id: ce813e63b15a61d5a56e97bf8902a1b28e011beb
2021-10-20 17:03:03 +00:00
|
|
|
static_cast<double>(candidate_size) * 1.8;
|
|
|
|
Compaction* picked = PickIncrementalForReduceSizeAmp(fanout_threshold);
|
|
|
|
if (picked != nullptr) {
|
|
|
|
// As the feature is still incremental, picking incremental compaction
|
|
|
|
// might fail and we will fall bck to compacting full level.
|
|
|
|
return picked;
|
|
|
|
}
|
|
|
|
}
|
2022-08-08 21:34:36 +00:00
|
|
|
return PickCompactionWithSortedRunRange(
|
|
|
|
start_index, sr_end_idx, CompactionReason::kUniversalSizeAmplification);
|
2017-04-07 03:06:34 +00:00
|
|
|
}
|
2018-05-29 22:42:14 +00:00
|
|
|
|
Incremental Space Amp Compactions in Universal Style (#8655)
Summary:
This commit introduces incremental compaction in univeral style for space amplification. This follows the first improvement mentioned in https://rocksdb.org/blog/2021/04/12/universal-improvements.html . The implemention simply picks up files about size of max_compaction_bytes to compact and execute if the penalty is not too big. More optimizations can be done in the future, e.g. prioritizing between this compaction and other types. But for now, the feature is supposed to be functional and can often reduce frequency of full compactions, although it can introduce penalty.
In order to add cut files more efficiently so that more files from upper levels can be included, SST file cutting threshold (for current file + overlapping parent level files) is set to 1.5X of target file size. A 2MB target file size will generate files like this: https://gist.github.com/siying/29d2676fba417404f3c95e6c013c7de8 Number of files indeed increases but it is not out of control.
Two set of write benchmarks are run:
1. For ingestion rate limited scenario, we can see full compaction is mostly eliminated: https://gist.github.com/siying/959bc1186066906831cf4c808d6e0a19 . The write amp increased from 7.7 to 9.4, as expected. After applying file cutting, the number is improved to 8.9. In another benchmark, the write amp is even better with the incremental approach: https://gist.github.com/siying/d1c16c286d7c59c4d7bba718ca198163
2. For ingestion rate unlimited scenario, incremental compaction turns out to be too expensive most of the time and is not executed, as expected.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/8655
Test Plan: Add unit tests to the functionality.
Reviewed By: ajkr
Differential Revision: D31787034
fbshipit-source-id: ce813e63b15a61d5a56e97bf8902a1b28e011beb
2021-10-20 17:03:03 +00:00
|
|
|
Compaction* UniversalCompactionBuilder::PickIncrementalForReduceSizeAmp(
|
|
|
|
double fanout_threshold) {
|
|
|
|
// Try find all potential compactions with total size just over
|
|
|
|
// options.max_compaction_size / 2, and take the one with the lowest
|
|
|
|
// fanout (defined in declaration of the function).
|
|
|
|
// This is done by having a sliding window of the files at the second
|
|
|
|
// lowest level, and keep expanding while finding overlapping in the
|
|
|
|
// last level. Once total size exceeds the size threshold, calculate
|
|
|
|
// the fanout value. And then shrinking from the small side of the
|
|
|
|
// window. Keep doing it until the end.
|
|
|
|
// Finally, we try to include upper level files if they fall into
|
|
|
|
// the range.
|
|
|
|
//
|
|
|
|
// Note that it is a similar problem as leveled compaction's
|
|
|
|
// kMinOverlappingRatio priority, but instead of picking single files
|
|
|
|
// we expand to a target compaction size. The reason is that in
|
|
|
|
// leveled compaction, actual fanout value tends to high, e.g. 10, so
|
|
|
|
// even with single file in down merging level, the extra size
|
|
|
|
// compacted in boundary files is at a lower ratio. But here users
|
|
|
|
// often have size of second last level size to be 1/4, 1/3 or even
|
|
|
|
// 1/2 of the bottommost level, so picking single file in second most
|
|
|
|
// level will cause significant waste, which is not desirable.
|
|
|
|
//
|
|
|
|
// This algorithm has lots of room to improve to pick more efficient
|
|
|
|
// compactions.
|
|
|
|
assert(sorted_runs_.size() >= 2);
|
|
|
|
int second_last_level = sorted_runs_[sorted_runs_.size() - 2].level;
|
|
|
|
if (second_last_level == 0) {
|
|
|
|
// Can't split Level 0.
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
int output_level = sorted_runs_.back().level;
|
|
|
|
const std::vector<FileMetaData*>& bottom_files =
|
|
|
|
vstorage_->LevelFiles(output_level);
|
|
|
|
const std::vector<FileMetaData*>& files =
|
|
|
|
vstorage_->LevelFiles(second_last_level);
|
|
|
|
assert(!bottom_files.empty());
|
|
|
|
assert(!files.empty());
|
|
|
|
|
|
|
|
// std::unordered_map<uint64_t, uint64_t> file_to_order;
|
|
|
|
|
|
|
|
int picked_start_idx = 0;
|
|
|
|
int picked_end_idx = 0;
|
|
|
|
double picked_fanout = fanout_threshold;
|
|
|
|
|
|
|
|
// Use half target compaction bytes as anchor to stop growing second most
|
|
|
|
// level files, and reserve growing space for more overlapping bottom level,
|
|
|
|
// clean cut, files from other levels, etc.
|
|
|
|
uint64_t comp_thres_size = mutable_cf_options_.max_compaction_bytes / 2;
|
|
|
|
int start_idx = 0;
|
|
|
|
int bottom_end_idx = 0;
|
|
|
|
int bottom_start_idx = 0;
|
|
|
|
uint64_t non_bottom_size = 0;
|
|
|
|
uint64_t bottom_size = 0;
|
|
|
|
bool end_bottom_size_counted = false;
|
|
|
|
for (int end_idx = 0; end_idx < static_cast<int>(files.size()); end_idx++) {
|
|
|
|
FileMetaData* end_file = files[end_idx];
|
|
|
|
|
|
|
|
// Include bottom most level files smaller than the current second
|
|
|
|
// last level file.
|
|
|
|
int num_skipped = 0;
|
|
|
|
while (bottom_end_idx < static_cast<int>(bottom_files.size()) &&
|
|
|
|
icmp_->Compare(bottom_files[bottom_end_idx]->largest,
|
|
|
|
end_file->smallest) < 0) {
|
|
|
|
if (!end_bottom_size_counted) {
|
|
|
|
bottom_size += bottom_files[bottom_end_idx]->fd.file_size;
|
|
|
|
}
|
|
|
|
bottom_end_idx++;
|
|
|
|
end_bottom_size_counted = false;
|
|
|
|
num_skipped++;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (num_skipped > 1) {
|
|
|
|
// At least a file in the bottom most level falls into the file gap. No
|
|
|
|
// reason to include the file. We cut the range and start a new sliding
|
|
|
|
// window.
|
|
|
|
start_idx = end_idx;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (start_idx == end_idx) {
|
|
|
|
// new sliding window.
|
|
|
|
non_bottom_size = 0;
|
|
|
|
bottom_size = 0;
|
|
|
|
bottom_start_idx = bottom_end_idx;
|
|
|
|
end_bottom_size_counted = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
non_bottom_size += end_file->fd.file_size;
|
|
|
|
|
|
|
|
// Include all overlapping files in bottom level.
|
|
|
|
while (bottom_end_idx < static_cast<int>(bottom_files.size()) &&
|
|
|
|
icmp_->Compare(bottom_files[bottom_end_idx]->smallest,
|
|
|
|
end_file->largest) < 0) {
|
|
|
|
if (!end_bottom_size_counted) {
|
|
|
|
bottom_size += bottom_files[bottom_end_idx]->fd.file_size;
|
|
|
|
end_bottom_size_counted = true;
|
|
|
|
}
|
|
|
|
if (icmp_->Compare(bottom_files[bottom_end_idx]->largest,
|
|
|
|
end_file->largest) > 0) {
|
|
|
|
// next level file cross large boundary of current file.
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
bottom_end_idx++;
|
|
|
|
end_bottom_size_counted = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ((non_bottom_size + bottom_size > comp_thres_size ||
|
|
|
|
end_idx == static_cast<int>(files.size()) - 1) &&
|
|
|
|
non_bottom_size > 0) { // Do we alow 0 size file at all?
|
|
|
|
// If it is a better compaction, remember it in picked* variables.
|
|
|
|
double fanout = static_cast<double>(bottom_size) /
|
|
|
|
static_cast<double>(non_bottom_size);
|
|
|
|
if (fanout < picked_fanout) {
|
|
|
|
picked_start_idx = start_idx;
|
|
|
|
picked_end_idx = end_idx;
|
|
|
|
picked_fanout = fanout;
|
|
|
|
}
|
|
|
|
// Shrink from the start end to under comp_thres_size
|
|
|
|
while (non_bottom_size + bottom_size > comp_thres_size &&
|
|
|
|
start_idx <= end_idx) {
|
|
|
|
non_bottom_size -= files[start_idx]->fd.file_size;
|
|
|
|
start_idx++;
|
|
|
|
if (start_idx < static_cast<int>(files.size())) {
|
|
|
|
while (bottom_start_idx <= bottom_end_idx &&
|
|
|
|
icmp_->Compare(bottom_files[bottom_start_idx]->largest,
|
|
|
|
files[start_idx]->smallest) < 0) {
|
|
|
|
bottom_size -= bottom_files[bottom_start_idx]->fd.file_size;
|
|
|
|
bottom_start_idx++;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (picked_fanout >= fanout_threshold) {
|
|
|
|
assert(picked_fanout == fanout_threshold);
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
std::vector<CompactionInputFiles> inputs;
|
|
|
|
CompactionInputFiles bottom_level_inputs;
|
|
|
|
CompactionInputFiles second_last_level_inputs;
|
|
|
|
second_last_level_inputs.level = second_last_level;
|
|
|
|
bottom_level_inputs.level = output_level;
|
|
|
|
for (int i = picked_start_idx; i <= picked_end_idx; i++) {
|
|
|
|
if (files[i]->being_compacted) {
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
second_last_level_inputs.files.push_back(files[i]);
|
|
|
|
}
|
|
|
|
assert(!second_last_level_inputs.empty());
|
|
|
|
if (!picker_->ExpandInputsToCleanCut(cf_name_, vstorage_,
|
|
|
|
&second_last_level_inputs,
|
|
|
|
/*next_smallest=*/nullptr)) {
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
// We might be able to avoid this binary search if we save and expand
|
|
|
|
// from bottom_start_idx and bottom_end_idx, but for now, we use
|
|
|
|
// SetupOtherInputs() for simplicity.
|
|
|
|
int parent_index = -1; // Create and use bottom_start_idx?
|
|
|
|
if (!picker_->SetupOtherInputs(cf_name_, mutable_cf_options_, vstorage_,
|
|
|
|
&second_last_level_inputs,
|
|
|
|
&bottom_level_inputs, &parent_index,
|
|
|
|
/*base_index=*/-1)) {
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Try to include files in upper levels if they fall into the range.
|
|
|
|
// Since we need to go from lower level up and this is in the reverse
|
|
|
|
// order, compared to level order, we first write to an reversed
|
|
|
|
// data structure and finally copy them to compaction inputs.
|
|
|
|
InternalKey smallest, largest;
|
|
|
|
picker_->GetRange(second_last_level_inputs, &smallest, &largest);
|
|
|
|
std::vector<CompactionInputFiles> inputs_reverse;
|
|
|
|
for (auto it = ++(++sorted_runs_.rbegin()); it != sorted_runs_.rend(); it++) {
|
|
|
|
SortedRun& sr = *it;
|
|
|
|
if (sr.level == 0) {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
std::vector<FileMetaData*> level_inputs;
|
|
|
|
vstorage_->GetCleanInputsWithinInterval(sr.level, &smallest, &largest,
|
|
|
|
&level_inputs);
|
|
|
|
if (!level_inputs.empty()) {
|
|
|
|
inputs_reverse.push_back({});
|
|
|
|
inputs_reverse.back().level = sr.level;
|
|
|
|
inputs_reverse.back().files = level_inputs;
|
|
|
|
picker_->GetRange(inputs_reverse.back(), &smallest, &largest);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
for (auto it = inputs_reverse.rbegin(); it != inputs_reverse.rend(); it++) {
|
|
|
|
inputs.push_back(*it);
|
|
|
|
}
|
|
|
|
|
|
|
|
inputs.push_back(second_last_level_inputs);
|
|
|
|
inputs.push_back(bottom_level_inputs);
|
|
|
|
|
2022-10-22 15:57:38 +00:00
|
|
|
int start_level = Compaction::kInvalidLevel;
|
|
|
|
for (const auto& in : inputs) {
|
|
|
|
if (!in.empty()) {
|
|
|
|
// inputs should already be sorted by level
|
|
|
|
start_level = in.level;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// intra L0 compactions outputs could have overlap
|
|
|
|
if (output_level != 0 &&
|
|
|
|
picker_->FilesRangeOverlapWithCompaction(
|
|
|
|
inputs, output_level,
|
|
|
|
Compaction::EvaluatePenultimateLevel(vstorage_, ioptions_,
|
|
|
|
start_level, output_level))) {
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
Incremental Space Amp Compactions in Universal Style (#8655)
Summary:
This commit introduces incremental compaction in univeral style for space amplification. This follows the first improvement mentioned in https://rocksdb.org/blog/2021/04/12/universal-improvements.html . The implemention simply picks up files about size of max_compaction_bytes to compact and execute if the penalty is not too big. More optimizations can be done in the future, e.g. prioritizing between this compaction and other types. But for now, the feature is supposed to be functional and can often reduce frequency of full compactions, although it can introduce penalty.
In order to add cut files more efficiently so that more files from upper levels can be included, SST file cutting threshold (for current file + overlapping parent level files) is set to 1.5X of target file size. A 2MB target file size will generate files like this: https://gist.github.com/siying/29d2676fba417404f3c95e6c013c7de8 Number of files indeed increases but it is not out of control.
Two set of write benchmarks are run:
1. For ingestion rate limited scenario, we can see full compaction is mostly eliminated: https://gist.github.com/siying/959bc1186066906831cf4c808d6e0a19 . The write amp increased from 7.7 to 9.4, as expected. After applying file cutting, the number is improved to 8.9. In another benchmark, the write amp is even better with the incremental approach: https://gist.github.com/siying/d1c16c286d7c59c4d7bba718ca198163
2. For ingestion rate unlimited scenario, incremental compaction turns out to be too expensive most of the time and is not executed, as expected.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/8655
Test Plan: Add unit tests to the functionality.
Reviewed By: ajkr
Differential Revision: D31787034
fbshipit-source-id: ce813e63b15a61d5a56e97bf8902a1b28e011beb
2021-10-20 17:03:03 +00:00
|
|
|
// TODO support multi paths?
|
|
|
|
uint32_t path_id = 0;
|
|
|
|
return new Compaction(
|
|
|
|
vstorage_, ioptions_, mutable_cf_options_, mutable_db_options_,
|
|
|
|
std::move(inputs), output_level,
|
|
|
|
MaxFileSizeForLevel(mutable_cf_options_, output_level,
|
|
|
|
kCompactionStyleUniversal),
|
|
|
|
GetMaxOverlappingBytes(), path_id,
|
2022-03-08 02:06:19 +00:00
|
|
|
GetCompressionType(vstorage_, mutable_cf_options_, output_level, 1,
|
|
|
|
true /* enable_compression */),
|
Incremental Space Amp Compactions in Universal Style (#8655)
Summary:
This commit introduces incremental compaction in univeral style for space amplification. This follows the first improvement mentioned in https://rocksdb.org/blog/2021/04/12/universal-improvements.html . The implemention simply picks up files about size of max_compaction_bytes to compact and execute if the penalty is not too big. More optimizations can be done in the future, e.g. prioritizing between this compaction and other types. But for now, the feature is supposed to be functional and can often reduce frequency of full compactions, although it can introduce penalty.
In order to add cut files more efficiently so that more files from upper levels can be included, SST file cutting threshold (for current file + overlapping parent level files) is set to 1.5X of target file size. A 2MB target file size will generate files like this: https://gist.github.com/siying/29d2676fba417404f3c95e6c013c7de8 Number of files indeed increases but it is not out of control.
Two set of write benchmarks are run:
1. For ingestion rate limited scenario, we can see full compaction is mostly eliminated: https://gist.github.com/siying/959bc1186066906831cf4c808d6e0a19 . The write amp increased from 7.7 to 9.4, as expected. After applying file cutting, the number is improved to 8.9. In another benchmark, the write amp is even better with the incremental approach: https://gist.github.com/siying/d1c16c286d7c59c4d7bba718ca198163
2. For ingestion rate unlimited scenario, incremental compaction turns out to be too expensive most of the time and is not executed, as expected.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/8655
Test Plan: Add unit tests to the functionality.
Reviewed By: ajkr
Differential Revision: D31787034
fbshipit-source-id: ce813e63b15a61d5a56e97bf8902a1b28e011beb
2021-10-20 17:03:03 +00:00
|
|
|
GetCompressionOptions(mutable_cf_options_, vstorage_, output_level,
|
|
|
|
true /* enable_compression */),
|
|
|
|
Temperature::kUnknown,
|
|
|
|
/* max_subcompactions */ 0, /* grandparents */ {}, /* is manual */ false,
|
2022-03-12 00:13:23 +00:00
|
|
|
/* trim_ts */ "", score_, false /* deletion_compaction */,
|
2022-07-01 01:04:23 +00:00
|
|
|
/* l0_files_might_overlap */ true,
|
Incremental Space Amp Compactions in Universal Style (#8655)
Summary:
This commit introduces incremental compaction in univeral style for space amplification. This follows the first improvement mentioned in https://rocksdb.org/blog/2021/04/12/universal-improvements.html . The implemention simply picks up files about size of max_compaction_bytes to compact and execute if the penalty is not too big. More optimizations can be done in the future, e.g. prioritizing between this compaction and other types. But for now, the feature is supposed to be functional and can often reduce frequency of full compactions, although it can introduce penalty.
In order to add cut files more efficiently so that more files from upper levels can be included, SST file cutting threshold (for current file + overlapping parent level files) is set to 1.5X of target file size. A 2MB target file size will generate files like this: https://gist.github.com/siying/29d2676fba417404f3c95e6c013c7de8 Number of files indeed increases but it is not out of control.
Two set of write benchmarks are run:
1. For ingestion rate limited scenario, we can see full compaction is mostly eliminated: https://gist.github.com/siying/959bc1186066906831cf4c808d6e0a19 . The write amp increased from 7.7 to 9.4, as expected. After applying file cutting, the number is improved to 8.9. In another benchmark, the write amp is even better with the incremental approach: https://gist.github.com/siying/d1c16c286d7c59c4d7bba718ca198163
2. For ingestion rate unlimited scenario, incremental compaction turns out to be too expensive most of the time and is not executed, as expected.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/8655
Test Plan: Add unit tests to the functionality.
Reviewed By: ajkr
Differential Revision: D31787034
fbshipit-source-id: ce813e63b15a61d5a56e97bf8902a1b28e011beb
2021-10-20 17:03:03 +00:00
|
|
|
CompactionReason::kUniversalSizeAmplification);
|
|
|
|
}
|
|
|
|
|
2018-05-29 22:42:14 +00:00
|
|
|
// Pick files marked for compaction. Typically, files are marked by
|
|
|
|
// CompactOnDeleteCollector due to the presence of tombstones.
|
2019-09-16 17:49:20 +00:00
|
|
|
Compaction* UniversalCompactionBuilder::PickDeleteTriggeredCompaction() {
|
2018-05-29 22:42:14 +00:00
|
|
|
CompactionInputFiles start_level_inputs;
|
|
|
|
int output_level;
|
|
|
|
std::vector<CompactionInputFiles> inputs;
|
Incremental Space Amp Compactions in Universal Style (#8655)
Summary:
This commit introduces incremental compaction in univeral style for space amplification. This follows the first improvement mentioned in https://rocksdb.org/blog/2021/04/12/universal-improvements.html . The implemention simply picks up files about size of max_compaction_bytes to compact and execute if the penalty is not too big. More optimizations can be done in the future, e.g. prioritizing between this compaction and other types. But for now, the feature is supposed to be functional and can often reduce frequency of full compactions, although it can introduce penalty.
In order to add cut files more efficiently so that more files from upper levels can be included, SST file cutting threshold (for current file + overlapping parent level files) is set to 1.5X of target file size. A 2MB target file size will generate files like this: https://gist.github.com/siying/29d2676fba417404f3c95e6c013c7de8 Number of files indeed increases but it is not out of control.
Two set of write benchmarks are run:
1. For ingestion rate limited scenario, we can see full compaction is mostly eliminated: https://gist.github.com/siying/959bc1186066906831cf4c808d6e0a19 . The write amp increased from 7.7 to 9.4, as expected. After applying file cutting, the number is improved to 8.9. In another benchmark, the write amp is even better with the incremental approach: https://gist.github.com/siying/d1c16c286d7c59c4d7bba718ca198163
2. For ingestion rate unlimited scenario, incremental compaction turns out to be too expensive most of the time and is not executed, as expected.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/8655
Test Plan: Add unit tests to the functionality.
Reviewed By: ajkr
Differential Revision: D31787034
fbshipit-source-id: ce813e63b15a61d5a56e97bf8902a1b28e011beb
2021-10-20 17:03:03 +00:00
|
|
|
std::vector<FileMetaData*> grandparents;
|
2018-05-29 22:42:14 +00:00
|
|
|
|
2019-09-16 17:49:20 +00:00
|
|
|
if (vstorage_->num_levels() == 1) {
|
2018-05-29 22:42:14 +00:00
|
|
|
// This is single level universal. Since we're basically trying to reclaim
|
|
|
|
// space by processing files marked for compaction due to high tombstone
|
|
|
|
// density, let's do the same thing as compaction to reduce size amp which
|
|
|
|
// has the same goals.
|
2020-08-10 19:17:46 +00:00
|
|
|
int start_index = -1;
|
2018-05-29 22:42:14 +00:00
|
|
|
|
|
|
|
start_level_inputs.level = 0;
|
|
|
|
start_level_inputs.files.clear();
|
|
|
|
output_level = 0;
|
2020-08-10 19:17:46 +00:00
|
|
|
// Find the first file marked for compaction. Ignore the last file
|
|
|
|
for (size_t loop = 0; loop + 1 < sorted_runs_.size(); loop++) {
|
|
|
|
SortedRun* sr = &sorted_runs_[loop];
|
|
|
|
if (sr->being_compacted) {
|
|
|
|
continue;
|
2018-05-29 22:42:14 +00:00
|
|
|
}
|
2020-08-10 19:17:46 +00:00
|
|
|
FileMetaData* f = vstorage_->LevelFiles(0)[loop];
|
|
|
|
if (f->marked_for_compaction) {
|
2018-05-29 22:42:14 +00:00
|
|
|
start_level_inputs.files.push_back(f);
|
2020-08-10 19:17:46 +00:00
|
|
|
start_index =
|
|
|
|
static_cast<int>(loop); // Consider this as the first candidate.
|
|
|
|
break;
|
2018-05-29 22:42:14 +00:00
|
|
|
}
|
|
|
|
}
|
2020-08-10 19:17:46 +00:00
|
|
|
if (start_index < 0) {
|
|
|
|
// Either no file marked, or they're already being compacted
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
for (size_t loop = start_index + 1; loop < sorted_runs_.size(); loop++) {
|
|
|
|
SortedRun* sr = &sorted_runs_[loop];
|
|
|
|
if (sr->being_compacted) {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
FileMetaData* f = vstorage_->LevelFiles(0)[loop];
|
|
|
|
start_level_inputs.files.push_back(f);
|
|
|
|
}
|
2018-05-29 22:42:14 +00:00
|
|
|
if (start_level_inputs.size() <= 1) {
|
|
|
|
// If only the last file in L0 is marked for compaction, ignore it
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
inputs.push_back(start_level_inputs);
|
|
|
|
} else {
|
|
|
|
int start_level;
|
|
|
|
|
|
|
|
// For multi-level universal, the strategy is to make this look more like
|
|
|
|
// leveled. We pick one of the files marked for compaction and compact with
|
|
|
|
// overlapping files in the adjacent level.
|
2019-09-16 17:49:20 +00:00
|
|
|
picker_->PickFilesMarkedForCompaction(cf_name_, vstorage_, &start_level,
|
|
|
|
&output_level, &start_level_inputs);
|
2018-05-29 22:42:14 +00:00
|
|
|
if (start_level_inputs.empty()) {
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Pick the first non-empty level after the start_level
|
2019-09-16 17:49:20 +00:00
|
|
|
for (output_level = start_level + 1; output_level < vstorage_->num_levels();
|
2018-05-29 22:42:14 +00:00
|
|
|
output_level++) {
|
2019-09-16 17:49:20 +00:00
|
|
|
if (vstorage_->NumLevelFiles(output_level) != 0) {
|
2018-05-29 22:42:14 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// If all higher levels are empty, pick the highest level as output level
|
2019-09-16 17:49:20 +00:00
|
|
|
if (output_level == vstorage_->num_levels()) {
|
2018-05-29 22:42:14 +00:00
|
|
|
if (start_level == 0) {
|
2019-09-16 17:49:20 +00:00
|
|
|
output_level = vstorage_->num_levels() - 1;
|
2018-05-29 22:42:14 +00:00
|
|
|
} else {
|
|
|
|
// If start level is non-zero and all higher levels are empty, this
|
|
|
|
// compaction will translate into a trivial move. Since the idea is
|
|
|
|
// to reclaim space and trivial move doesn't help with that, we
|
|
|
|
// skip compaction in this case and return nullptr
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (ioptions_.allow_ingest_behind &&
|
2019-09-16 17:49:20 +00:00
|
|
|
output_level == vstorage_->num_levels() - 1) {
|
2018-05-29 22:42:14 +00:00
|
|
|
assert(output_level > 1);
|
|
|
|
output_level--;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (output_level != 0) {
|
|
|
|
if (start_level == 0) {
|
2019-09-16 17:49:20 +00:00
|
|
|
if (!picker_->GetOverlappingL0Files(vstorage_, &start_level_inputs,
|
|
|
|
output_level, nullptr)) {
|
2018-05-29 22:42:14 +00:00
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
CompactionInputFiles output_level_inputs;
|
|
|
|
int parent_index = -1;
|
|
|
|
|
|
|
|
output_level_inputs.level = output_level;
|
2019-09-16 17:49:20 +00:00
|
|
|
if (!picker_->SetupOtherInputs(cf_name_, mutable_cf_options_, vstorage_,
|
|
|
|
&start_level_inputs, &output_level_inputs,
|
|
|
|
&parent_index, -1)) {
|
2018-05-29 22:42:14 +00:00
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
inputs.push_back(start_level_inputs);
|
|
|
|
if (!output_level_inputs.empty()) {
|
|
|
|
inputs.push_back(output_level_inputs);
|
|
|
|
}
|
2022-10-22 15:57:38 +00:00
|
|
|
if (picker_->FilesRangeOverlapWithCompaction(
|
|
|
|
inputs, output_level,
|
|
|
|
Compaction::EvaluatePenultimateLevel(
|
|
|
|
vstorage_, ioptions_, start_level, output_level))) {
|
2018-05-29 22:42:14 +00:00
|
|
|
return nullptr;
|
|
|
|
}
|
Incremental Space Amp Compactions in Universal Style (#8655)
Summary:
This commit introduces incremental compaction in univeral style for space amplification. This follows the first improvement mentioned in https://rocksdb.org/blog/2021/04/12/universal-improvements.html . The implemention simply picks up files about size of max_compaction_bytes to compact and execute if the penalty is not too big. More optimizations can be done in the future, e.g. prioritizing between this compaction and other types. But for now, the feature is supposed to be functional and can often reduce frequency of full compactions, although it can introduce penalty.
In order to add cut files more efficiently so that more files from upper levels can be included, SST file cutting threshold (for current file + overlapping parent level files) is set to 1.5X of target file size. A 2MB target file size will generate files like this: https://gist.github.com/siying/29d2676fba417404f3c95e6c013c7de8 Number of files indeed increases but it is not out of control.
Two set of write benchmarks are run:
1. For ingestion rate limited scenario, we can see full compaction is mostly eliminated: https://gist.github.com/siying/959bc1186066906831cf4c808d6e0a19 . The write amp increased from 7.7 to 9.4, as expected. After applying file cutting, the number is improved to 8.9. In another benchmark, the write amp is even better with the incremental approach: https://gist.github.com/siying/d1c16c286d7c59c4d7bba718ca198163
2. For ingestion rate unlimited scenario, incremental compaction turns out to be too expensive most of the time and is not executed, as expected.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/8655
Test Plan: Add unit tests to the functionality.
Reviewed By: ajkr
Differential Revision: D31787034
fbshipit-source-id: ce813e63b15a61d5a56e97bf8902a1b28e011beb
2021-10-20 17:03:03 +00:00
|
|
|
|
|
|
|
picker_->GetGrandparents(vstorage_, start_level_inputs,
|
|
|
|
output_level_inputs, &grandparents);
|
2018-05-29 22:42:14 +00:00
|
|
|
} else {
|
|
|
|
inputs.push_back(start_level_inputs);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
uint64_t estimated_total_size = 0;
|
|
|
|
// Use size of the output level as estimated file size
|
2019-09-16 17:49:20 +00:00
|
|
|
for (FileMetaData* f : vstorage_->LevelFiles(output_level)) {
|
2018-05-29 22:42:14 +00:00
|
|
|
estimated_total_size += f->fd.GetFileSize();
|
|
|
|
}
|
|
|
|
uint32_t path_id =
|
2019-09-16 17:49:20 +00:00
|
|
|
GetPathId(ioptions_, mutable_cf_options_, estimated_total_size);
|
2018-05-29 22:42:14 +00:00
|
|
|
return new Compaction(
|
2020-07-23 01:31:25 +00:00
|
|
|
vstorage_, ioptions_, mutable_cf_options_, mutable_db_options_,
|
|
|
|
std::move(inputs), output_level,
|
2019-09-16 17:49:20 +00:00
|
|
|
MaxFileSizeForLevel(mutable_cf_options_, output_level,
|
2018-05-29 22:42:14 +00:00
|
|
|
kCompactionStyleUniversal),
|
Incremental Space Amp Compactions in Universal Style (#8655)
Summary:
This commit introduces incremental compaction in univeral style for space amplification. This follows the first improvement mentioned in https://rocksdb.org/blog/2021/04/12/universal-improvements.html . The implemention simply picks up files about size of max_compaction_bytes to compact and execute if the penalty is not too big. More optimizations can be done in the future, e.g. prioritizing between this compaction and other types. But for now, the feature is supposed to be functional and can often reduce frequency of full compactions, although it can introduce penalty.
In order to add cut files more efficiently so that more files from upper levels can be included, SST file cutting threshold (for current file + overlapping parent level files) is set to 1.5X of target file size. A 2MB target file size will generate files like this: https://gist.github.com/siying/29d2676fba417404f3c95e6c013c7de8 Number of files indeed increases but it is not out of control.
Two set of write benchmarks are run:
1. For ingestion rate limited scenario, we can see full compaction is mostly eliminated: https://gist.github.com/siying/959bc1186066906831cf4c808d6e0a19 . The write amp increased from 7.7 to 9.4, as expected. After applying file cutting, the number is improved to 8.9. In another benchmark, the write amp is even better with the incremental approach: https://gist.github.com/siying/d1c16c286d7c59c4d7bba718ca198163
2. For ingestion rate unlimited scenario, incremental compaction turns out to be too expensive most of the time and is not executed, as expected.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/8655
Test Plan: Add unit tests to the functionality.
Reviewed By: ajkr
Differential Revision: D31787034
fbshipit-source-id: ce813e63b15a61d5a56e97bf8902a1b28e011beb
2021-10-20 17:03:03 +00:00
|
|
|
/* max_grandparent_overlap_bytes */ GetMaxOverlappingBytes(), path_id,
|
2022-03-08 02:06:19 +00:00
|
|
|
GetCompressionType(vstorage_, mutable_cf_options_, output_level, 1),
|
2020-03-31 19:08:41 +00:00
|
|
|
GetCompressionOptions(mutable_cf_options_, vstorage_, output_level),
|
2021-08-09 19:50:19 +00:00
|
|
|
Temperature::kUnknown,
|
2022-03-12 00:13:23 +00:00
|
|
|
/* max_subcompactions */ 0, grandparents, /* is manual */ false,
|
|
|
|
/* trim_ts */ "", score_, false /* deletion_compaction */,
|
2022-07-01 01:04:23 +00:00
|
|
|
/* l0_files_might_overlap */ true,
|
2018-05-29 22:42:14 +00:00
|
|
|
CompactionReason::kFilesMarkedForCompaction);
|
|
|
|
}
|
2019-10-31 18:16:33 +00:00
|
|
|
|
|
|
|
Compaction* UniversalCompactionBuilder::PickCompactionToOldest(
|
|
|
|
size_t start_index, CompactionReason compaction_reason) {
|
2022-08-08 21:34:36 +00:00
|
|
|
return PickCompactionWithSortedRunRange(start_index, sorted_runs_.size() - 1,
|
|
|
|
compaction_reason);
|
|
|
|
}
|
|
|
|
|
|
|
|
Compaction* UniversalCompactionBuilder::PickCompactionWithSortedRunRange(
|
|
|
|
size_t start_index, size_t end_index, CompactionReason compaction_reason) {
|
2019-11-02 01:31:42 +00:00
|
|
|
assert(start_index < sorted_runs_.size());
|
2019-10-31 18:16:33 +00:00
|
|
|
|
|
|
|
// Estimate total file size
|
|
|
|
uint64_t estimated_total_size = 0;
|
2022-08-08 21:34:36 +00:00
|
|
|
for (size_t loop = start_index; loop <= end_index; loop++) {
|
2019-10-31 18:16:33 +00:00
|
|
|
estimated_total_size += sorted_runs_[loop].size;
|
|
|
|
}
|
|
|
|
uint32_t path_id =
|
|
|
|
GetPathId(ioptions_, mutable_cf_options_, estimated_total_size);
|
|
|
|
int start_level = sorted_runs_[start_index].level;
|
|
|
|
|
|
|
|
std::vector<CompactionInputFiles> inputs(vstorage_->num_levels());
|
|
|
|
for (size_t i = 0; i < inputs.size(); ++i) {
|
|
|
|
inputs[i].level = start_level + static_cast<int>(i);
|
|
|
|
}
|
2022-08-08 21:34:36 +00:00
|
|
|
for (size_t loop = start_index; loop <= end_index; loop++) {
|
2019-10-31 18:16:33 +00:00
|
|
|
auto& picking_sr = sorted_runs_[loop];
|
|
|
|
if (picking_sr.level == 0) {
|
|
|
|
FileMetaData* f = picking_sr.file;
|
|
|
|
inputs[0].files.push_back(f);
|
|
|
|
} else {
|
|
|
|
auto& files = inputs[picking_sr.level - start_level].files;
|
|
|
|
for (auto* f : vstorage_->LevelFiles(picking_sr.level)) {
|
|
|
|
files.push_back(f);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
std::string comp_reason_print_string;
|
|
|
|
if (compaction_reason == CompactionReason::kPeriodicCompaction) {
|
|
|
|
comp_reason_print_string = "periodic compaction";
|
|
|
|
} else if (compaction_reason ==
|
|
|
|
CompactionReason::kUniversalSizeAmplification) {
|
|
|
|
comp_reason_print_string = "size amp";
|
|
|
|
} else {
|
|
|
|
assert(false);
|
2020-10-06 20:51:22 +00:00
|
|
|
comp_reason_print_string = "unknown: ";
|
|
|
|
comp_reason_print_string.append(
|
|
|
|
std::to_string(static_cast<int>(compaction_reason)));
|
2019-10-31 18:16:33 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
char file_num_buf[256];
|
|
|
|
picking_sr.DumpSizeInfo(file_num_buf, sizeof(file_num_buf), loop);
|
|
|
|
ROCKS_LOG_BUFFER(log_buffer_, "[%s] Universal: %s picking %s",
|
|
|
|
cf_name_.c_str(), comp_reason_print_string.c_str(),
|
|
|
|
file_num_buf);
|
|
|
|
}
|
|
|
|
|
2022-08-08 21:34:36 +00:00
|
|
|
int output_level;
|
|
|
|
if (end_index == sorted_runs_.size() - 1) {
|
|
|
|
// output files at the last level, unless it's reserved
|
|
|
|
output_level = vstorage_->num_levels() - 1;
|
|
|
|
// last level is reserved for the files ingested behind
|
|
|
|
if (ioptions_.allow_ingest_behind) {
|
|
|
|
assert(output_level > 1);
|
|
|
|
output_level--;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
// if it's not including all sorted_runs, it can only output to the level
|
|
|
|
// above the `end_index + 1` sorted_run.
|
|
|
|
output_level = sorted_runs_[end_index + 1].level - 1;
|
2019-10-31 18:16:33 +00:00
|
|
|
}
|
|
|
|
|
2022-10-22 15:57:38 +00:00
|
|
|
// intra L0 compactions outputs could have overlap
|
|
|
|
if (output_level != 0 &&
|
|
|
|
picker_->FilesRangeOverlapWithCompaction(
|
|
|
|
inputs, output_level,
|
|
|
|
Compaction::EvaluatePenultimateLevel(vstorage_, ioptions_,
|
|
|
|
start_level, output_level))) {
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
2019-10-31 18:16:33 +00:00
|
|
|
// We never check size for
|
|
|
|
// compaction_options_universal.compression_size_percent,
|
|
|
|
// because we always compact all the files, so always compress.
|
|
|
|
return new Compaction(
|
2020-07-23 01:31:25 +00:00
|
|
|
vstorage_, ioptions_, mutable_cf_options_, mutable_db_options_,
|
|
|
|
std::move(inputs), output_level,
|
2019-10-31 18:16:33 +00:00
|
|
|
MaxFileSizeForLevel(mutable_cf_options_, output_level,
|
|
|
|
kCompactionStyleUniversal),
|
Incremental Space Amp Compactions in Universal Style (#8655)
Summary:
This commit introduces incremental compaction in univeral style for space amplification. This follows the first improvement mentioned in https://rocksdb.org/blog/2021/04/12/universal-improvements.html . The implemention simply picks up files about size of max_compaction_bytes to compact and execute if the penalty is not too big. More optimizations can be done in the future, e.g. prioritizing between this compaction and other types. But for now, the feature is supposed to be functional and can often reduce frequency of full compactions, although it can introduce penalty.
In order to add cut files more efficiently so that more files from upper levels can be included, SST file cutting threshold (for current file + overlapping parent level files) is set to 1.5X of target file size. A 2MB target file size will generate files like this: https://gist.github.com/siying/29d2676fba417404f3c95e6c013c7de8 Number of files indeed increases but it is not out of control.
Two set of write benchmarks are run:
1. For ingestion rate limited scenario, we can see full compaction is mostly eliminated: https://gist.github.com/siying/959bc1186066906831cf4c808d6e0a19 . The write amp increased from 7.7 to 9.4, as expected. After applying file cutting, the number is improved to 8.9. In another benchmark, the write amp is even better with the incremental approach: https://gist.github.com/siying/d1c16c286d7c59c4d7bba718ca198163
2. For ingestion rate unlimited scenario, incremental compaction turns out to be too expensive most of the time and is not executed, as expected.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/8655
Test Plan: Add unit tests to the functionality.
Reviewed By: ajkr
Differential Revision: D31787034
fbshipit-source-id: ce813e63b15a61d5a56e97bf8902a1b28e011beb
2021-10-20 17:03:03 +00:00
|
|
|
GetMaxOverlappingBytes(), path_id,
|
2022-03-08 02:06:19 +00:00
|
|
|
GetCompressionType(vstorage_, mutable_cf_options_, output_level, 1,
|
|
|
|
true /* enable_compression */),
|
2020-09-04 06:16:06 +00:00
|
|
|
GetCompressionOptions(mutable_cf_options_, vstorage_, output_level,
|
2019-10-31 18:16:33 +00:00
|
|
|
true /* enable_compression */),
|
2021-08-09 19:50:19 +00:00
|
|
|
Temperature::kUnknown,
|
2019-10-31 18:16:33 +00:00
|
|
|
/* max_subcompactions */ 0, /* grandparents */ {}, /* is manual */ false,
|
2022-03-12 00:13:23 +00:00
|
|
|
/* trim_ts */ "", score_, false /* deletion_compaction */,
|
2022-07-01 01:04:23 +00:00
|
|
|
/* l0_files_might_overlap */ true, compaction_reason);
|
2019-10-31 18:16:33 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
Compaction* UniversalCompactionBuilder::PickPeriodicCompaction() {
|
|
|
|
ROCKS_LOG_BUFFER(log_buffer_, "[%s] Universal: Periodic Compaction",
|
|
|
|
cf_name_.c_str());
|
|
|
|
|
|
|
|
// In universal compaction, sorted runs contain older data are almost always
|
|
|
|
// generated earlier too. To simplify the problem, we just try to trigger
|
|
|
|
// a full compaction. We start from the oldest sorted run and include
|
|
|
|
// all sorted runs, until we hit a sorted already being compacted.
|
|
|
|
// Since usually the largest (which is usually the oldest) sorted run is
|
|
|
|
// included anyway, doing a full compaction won't increase write
|
|
|
|
// amplification much.
|
|
|
|
|
|
|
|
// Get some information from marked files to check whether a file is
|
|
|
|
// included in the compaction.
|
|
|
|
|
|
|
|
size_t start_index = sorted_runs_.size();
|
|
|
|
while (start_index > 0 && !sorted_runs_[start_index - 1].being_compacted) {
|
|
|
|
start_index--;
|
|
|
|
}
|
|
|
|
if (start_index == sorted_runs_.size()) {
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
// There is a rare corner case where we can't pick up all the files
|
|
|
|
// because some files are being compacted and we end up with picking files
|
|
|
|
// but none of them need periodic compaction. Unless we simply recompact
|
|
|
|
// the last sorted run (either the last level or last L0 file), we would just
|
|
|
|
// execute the compaction, in order to simplify the logic.
|
|
|
|
if (start_index == sorted_runs_.size() - 1) {
|
|
|
|
bool included_file_marked = false;
|
|
|
|
int start_level = sorted_runs_[start_index].level;
|
|
|
|
FileMetaData* start_file = sorted_runs_[start_index].file;
|
|
|
|
for (const std::pair<int, FileMetaData*>& level_file_pair :
|
|
|
|
vstorage_->FilesMarkedForPeriodicCompaction()) {
|
|
|
|
if (start_level != 0) {
|
|
|
|
// Last sorted run is a level
|
|
|
|
if (start_level == level_file_pair.first) {
|
|
|
|
included_file_marked = true;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
// Last sorted run is a L0 file.
|
|
|
|
if (start_file == level_file_pair.second) {
|
|
|
|
included_file_marked = true;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (!included_file_marked) {
|
|
|
|
ROCKS_LOG_BUFFER(log_buffer_,
|
|
|
|
"[%s] Universal: Cannot form a compaction covering file "
|
|
|
|
"marked for periodic compaction",
|
|
|
|
cf_name_.c_str());
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Compaction* c = PickCompactionToOldest(start_index,
|
|
|
|
CompactionReason::kPeriodicCompaction);
|
|
|
|
|
|
|
|
TEST_SYNC_POINT_CALLBACK(
|
|
|
|
"UniversalCompactionPicker::PickPeriodicCompaction:Return", c);
|
|
|
|
|
|
|
|
return c;
|
|
|
|
}
|
Incremental Space Amp Compactions in Universal Style (#8655)
Summary:
This commit introduces incremental compaction in univeral style for space amplification. This follows the first improvement mentioned in https://rocksdb.org/blog/2021/04/12/universal-improvements.html . The implemention simply picks up files about size of max_compaction_bytes to compact and execute if the penalty is not too big. More optimizations can be done in the future, e.g. prioritizing between this compaction and other types. But for now, the feature is supposed to be functional and can often reduce frequency of full compactions, although it can introduce penalty.
In order to add cut files more efficiently so that more files from upper levels can be included, SST file cutting threshold (for current file + overlapping parent level files) is set to 1.5X of target file size. A 2MB target file size will generate files like this: https://gist.github.com/siying/29d2676fba417404f3c95e6c013c7de8 Number of files indeed increases but it is not out of control.
Two set of write benchmarks are run:
1. For ingestion rate limited scenario, we can see full compaction is mostly eliminated: https://gist.github.com/siying/959bc1186066906831cf4c808d6e0a19 . The write amp increased from 7.7 to 9.4, as expected. After applying file cutting, the number is improved to 8.9. In another benchmark, the write amp is even better with the incremental approach: https://gist.github.com/siying/d1c16c286d7c59c4d7bba718ca198163
2. For ingestion rate unlimited scenario, incremental compaction turns out to be too expensive most of the time and is not executed, as expected.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/8655
Test Plan: Add unit tests to the functionality.
Reviewed By: ajkr
Differential Revision: D31787034
fbshipit-source-id: ce813e63b15a61d5a56e97bf8902a1b28e011beb
2021-10-20 17:03:03 +00:00
|
|
|
|
|
|
|
uint64_t UniversalCompactionBuilder::GetMaxOverlappingBytes() const {
|
|
|
|
if (!mutable_cf_options_.compaction_options_universal.incremental) {
|
2022-05-05 20:08:21 +00:00
|
|
|
return std::numeric_limits<uint64_t>::max();
|
Incremental Space Amp Compactions in Universal Style (#8655)
Summary:
This commit introduces incremental compaction in univeral style for space amplification. This follows the first improvement mentioned in https://rocksdb.org/blog/2021/04/12/universal-improvements.html . The implemention simply picks up files about size of max_compaction_bytes to compact and execute if the penalty is not too big. More optimizations can be done in the future, e.g. prioritizing between this compaction and other types. But for now, the feature is supposed to be functional and can often reduce frequency of full compactions, although it can introduce penalty.
In order to add cut files more efficiently so that more files from upper levels can be included, SST file cutting threshold (for current file + overlapping parent level files) is set to 1.5X of target file size. A 2MB target file size will generate files like this: https://gist.github.com/siying/29d2676fba417404f3c95e6c013c7de8 Number of files indeed increases but it is not out of control.
Two set of write benchmarks are run:
1. For ingestion rate limited scenario, we can see full compaction is mostly eliminated: https://gist.github.com/siying/959bc1186066906831cf4c808d6e0a19 . The write amp increased from 7.7 to 9.4, as expected. After applying file cutting, the number is improved to 8.9. In another benchmark, the write amp is even better with the incremental approach: https://gist.github.com/siying/d1c16c286d7c59c4d7bba718ca198163
2. For ingestion rate unlimited scenario, incremental compaction turns out to be too expensive most of the time and is not executed, as expected.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/8655
Test Plan: Add unit tests to the functionality.
Reviewed By: ajkr
Differential Revision: D31787034
fbshipit-source-id: ce813e63b15a61d5a56e97bf8902a1b28e011beb
2021-10-20 17:03:03 +00:00
|
|
|
} else {
|
|
|
|
// Try to align cutting boundary with files at the next level if the
|
|
|
|
// file isn't end up with 1/2 of target size, or it would overlap
|
|
|
|
// with two full size files at the next level.
|
|
|
|
return mutable_cf_options_.target_file_size_base / 2 * 3;
|
|
|
|
}
|
|
|
|
}
|
2020-02-20 20:07:53 +00:00
|
|
|
} // namespace ROCKSDB_NAMESPACE
|
2017-04-07 03:06:34 +00:00
|
|
|
|
|
|
|
#endif // !ROCKSDB_LITE
|