2016-02-10 00:12:00 +01:00
|
|
|
// Copyright (c) 2011-present, Facebook, Inc. All rights reserved.
|
2017-07-16 01:03:42 +02:00
|
|
|
// This source code is licensed under both the GPLv2 (found in the
|
|
|
|
// COPYING file in the root directory) and Apache 2.0 License
|
|
|
|
// (found in the LICENSE.Apache file in the root directory).
|
2013-10-16 23:59:46 +02:00
|
|
|
//
|
2011-03-18 23:37:00 +01:00
|
|
|
// Copyright (c) 2011 The LevelDB Authors. All rights reserved.
|
|
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
|
|
// found in the LICENSE file. See the AUTHORS file for names of contributors.
|
|
|
|
|
2013-10-05 07:32:05 +02:00
|
|
|
#pragma once
|
2021-12-10 17:12:09 +01:00
|
|
|
|
2021-12-14 02:42:05 +01:00
|
|
|
#include <array>
|
2021-12-10 17:12:09 +01:00
|
|
|
#include <cstdint>
|
2018-04-13 02:55:14 +02:00
|
|
|
#include <string>
|
2021-12-10 17:12:09 +01:00
|
|
|
|
2019-09-16 19:31:27 +02:00
|
|
|
#include "file/file_prefetch_buffer.h"
|
|
|
|
#include "file/random_access_file_reader.h"
|
2019-05-31 02:39:43 +02:00
|
|
|
#include "memory/memory_allocator.h"
|
2017-04-06 04:02:00 +02:00
|
|
|
#include "options/cf_options.h"
|
2019-09-17 00:14:51 +02:00
|
|
|
#include "port/malloc.h"
|
2017-03-04 03:09:43 +01:00
|
|
|
#include "port/port.h" // noexcept
|
2021-12-10 17:12:09 +01:00
|
|
|
#include "rocksdb/slice.h"
|
|
|
|
#include "rocksdb/status.h"
|
|
|
|
#include "rocksdb/table.h"
|
|
|
|
#include "util/hash.h"
|
2016-04-28 20:39:12 +02:00
|
|
|
|
2020-02-20 21:07:53 +01:00
|
|
|
namespace ROCKSDB_NAMESPACE {
|
2011-03-18 23:37:00 +01:00
|
|
|
|
|
|
|
class RandomAccessFile;
|
|
|
|
struct ReadOptions;
|
|
|
|
|
2016-07-19 18:44:03 +02:00
|
|
|
extern bool ShouldReportDetailedTime(Env* env, Statistics* stats);
|
|
|
|
|
2014-02-05 01:21:47 +01:00
|
|
|
// the length of the magic number in bytes.
|
2021-12-10 17:12:09 +01:00
|
|
|
constexpr uint32_t kMagicNumberLengthByte = 8;
|
2014-02-05 01:21:47 +01:00
|
|
|
|
2011-03-18 23:37:00 +01:00
|
|
|
// BlockHandle is a pointer to the extent of a file that stores a data
|
|
|
|
// block or a meta block.
|
|
|
|
class BlockHandle {
|
|
|
|
public:
|
2020-04-28 23:46:13 +02:00
|
|
|
// Creates a block handle with special values indicating "uninitialized,"
|
|
|
|
// distinct from the "null" block handle.
|
2011-03-18 23:37:00 +01:00
|
|
|
BlockHandle();
|
2013-12-05 00:43:09 +01:00
|
|
|
BlockHandle(uint64_t offset, uint64_t size);
|
2011-03-18 23:37:00 +01:00
|
|
|
|
|
|
|
// The offset of the block in the file.
|
|
|
|
uint64_t offset() const { return offset_; }
|
2014-11-06 20:14:28 +01:00
|
|
|
void set_offset(uint64_t _offset) { offset_ = _offset; }
|
2011-03-18 23:37:00 +01:00
|
|
|
|
|
|
|
// The size of the stored block
|
|
|
|
uint64_t size() const { return size_; }
|
2014-11-06 20:14:28 +01:00
|
|
|
void set_size(uint64_t _size) { size_ = _size; }
|
2011-03-18 23:37:00 +01:00
|
|
|
|
|
|
|
void EncodeTo(std::string* dst) const;
|
2021-12-10 17:12:09 +01:00
|
|
|
char* EncodeTo(char* dst) const;
|
2011-03-18 23:37:00 +01:00
|
|
|
Status DecodeFrom(Slice* input);
|
2018-08-10 01:49:45 +02:00
|
|
|
Status DecodeSizeFrom(uint64_t offset, Slice* input);
|
2011-03-18 23:37:00 +01:00
|
|
|
|
2014-12-23 22:24:07 +01:00
|
|
|
// Return a string that contains the copy of handle.
|
|
|
|
std::string ToString(bool hex = true) const;
|
|
|
|
|
2013-12-05 00:43:09 +01:00
|
|
|
// if the block handle's offset and size are both "0", we will view it
|
|
|
|
// as a null block handle that points to no where.
|
2018-04-13 02:55:14 +02:00
|
|
|
bool IsNull() const { return offset_ == 0 && size_ == 0; }
|
2013-12-05 00:43:09 +01:00
|
|
|
|
2018-04-13 02:55:14 +02:00
|
|
|
static const BlockHandle& NullBlockHandle() { return kNullBlockHandle; }
|
2013-12-05 00:43:09 +01:00
|
|
|
|
2011-03-18 23:37:00 +01:00
|
|
|
// Maximum encoding length of a BlockHandle
|
2021-12-10 17:12:09 +01:00
|
|
|
static constexpr uint32_t kMaxEncodedLength = 2 * kMaxVarint64Length;
|
2011-03-18 23:37:00 +01:00
|
|
|
|
2020-04-28 23:46:13 +02:00
|
|
|
inline bool operator==(const BlockHandle& rhs) const {
|
|
|
|
return offset_ == rhs.offset_ && size_ == rhs.size_;
|
|
|
|
}
|
|
|
|
inline bool operator!=(const BlockHandle& rhs) const {
|
|
|
|
return !(*this == rhs);
|
|
|
|
}
|
|
|
|
|
2011-03-18 23:37:00 +01:00
|
|
|
private:
|
2016-11-05 17:10:51 +01:00
|
|
|
uint64_t offset_;
|
|
|
|
uint64_t size_;
|
2013-12-05 00:43:09 +01:00
|
|
|
|
|
|
|
static const BlockHandle kNullBlockHandle;
|
2011-03-18 23:37:00 +01:00
|
|
|
};
|
|
|
|
|
Add an option to put first key of each sst block in the index (#5289)
Summary:
The first key is used to defer reading the data block until this file gets to the top of merging iterator's heap. For short range scans, most files never make it to the top of the heap, so this change can reduce read amplification by a lot sometimes.
Consider the following workload. There are a few data streams (we'll be calling them "logs"), each stream consisting of a sequence of blobs (we'll be calling them "records"). Each record is identified by log ID and a sequence number within the log. RocksDB key is concatenation of log ID and sequence number (big endian). Reads are mostly relatively short range scans, each within a single log. Writes are mostly sequential for each log, but writes to different logs are randomly interleaved. Compactions are disabled; instead, when we accumulate a few tens of sst files, we create a new column family and start writing to it.
So, a typical sst file consists of a few ranges of blocks, each range corresponding to one log ID (we use FlushBlockPolicy to cut blocks at log boundaries). A typical read would go like this. First, iterator Seek() reads one block from each sst file. Then a series of Next()s move through one sst file (since writes to each log are mostly sequential) until the subiterator reaches the end of this log in this sst file; then Next() switches to the next sst file and reads sequentially from that, and so on. Often a range scan will only return records from a small number of blocks in small number of sst files; in this case, the cost of initial Seek() reading one block from each file may be bigger than the cost of reading the actually useful blocks.
Neither iterate_upper_bound nor bloom filters can prevent reading one block from each file in Seek(). But this PR can: if the index contains first key from each block, we don't have to read the block until this block actually makes it to the top of merging iterator's heap, so for short range scans we won't read any blocks from most of the sst files.
This PR does the deferred block loading inside value() call. This is not ideal: there's no good way to report an IO error from inside value(). As discussed with siying offline, it would probably be better to change InternalIterator's interface to explicitly fetch deferred value and get status. I'll do it in a separate PR.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/5289
Differential Revision: D15256423
Pulled By: al13n321
fbshipit-source-id: 750e4c39ce88e8d41662f701cf6275d9388ba46a
2019-06-25 05:50:35 +02:00
|
|
|
// Value in block-based table file index.
|
|
|
|
//
|
|
|
|
// The index entry for block n is: y -> h, [x],
|
|
|
|
// where: y is some key between the last key of block n (inclusive) and the
|
|
|
|
// first key of block n+1 (exclusive); h is BlockHandle pointing to block n;
|
|
|
|
// x, if present, is the first key of block n (unshortened).
|
|
|
|
// This struct represents the "h, [x]" part.
|
|
|
|
struct IndexValue {
|
|
|
|
BlockHandle handle;
|
|
|
|
// Empty means unknown.
|
|
|
|
Slice first_internal_key;
|
|
|
|
|
|
|
|
IndexValue() = default;
|
|
|
|
IndexValue(BlockHandle _handle, Slice _first_internal_key)
|
|
|
|
: handle(_handle), first_internal_key(_first_internal_key) {}
|
|
|
|
|
|
|
|
// have_first_key indicates whether the `first_internal_key` is used.
|
|
|
|
// If previous_handle is not null, delta encoding is used;
|
|
|
|
// in this case, the two handles must point to consecutive blocks:
|
|
|
|
// handle.offset() ==
|
|
|
|
// previous_handle->offset() + previous_handle->size() + kBlockTrailerSize
|
|
|
|
void EncodeTo(std::string* dst, bool have_first_key,
|
|
|
|
const BlockHandle* previous_handle) const;
|
|
|
|
Status DecodeFrom(Slice* input, bool have_first_key,
|
|
|
|
const BlockHandle* previous_handle);
|
|
|
|
|
|
|
|
std::string ToString(bool hex, bool have_first_key) const;
|
|
|
|
};
|
|
|
|
|
2020-08-13 03:24:27 +02:00
|
|
|
inline uint32_t GetCompressFormatForVersion(uint32_t format_version) {
|
|
|
|
// As of format_version 2, we encode compressed block with
|
2015-01-15 01:24:24 +01:00
|
|
|
// compress_format_version == 2. Before that, the version is 1.
|
|
|
|
// DO NOT CHANGE THIS FUNCTION, it affects disk format
|
2020-08-13 03:24:27 +02:00
|
|
|
return format_version >= 2 ? 2 : 1;
|
2015-01-15 01:24:24 +01:00
|
|
|
}
|
|
|
|
|
2021-12-10 17:12:09 +01:00
|
|
|
constexpr uint32_t kLatestFormatVersion = 5;
|
|
|
|
|
|
|
|
inline bool IsSupportedFormatVersion(uint32_t version) {
|
|
|
|
return version <= kLatestFormatVersion;
|
2015-01-15 01:24:24 +01:00
|
|
|
}
|
|
|
|
|
2021-12-10 17:12:09 +01:00
|
|
|
// Footer encapsulates the fixed information stored at the tail end of every
|
|
|
|
// SST file. In general, it should only include things that cannot go
|
|
|
|
// elsewhere under the metaindex block. For example, checksum_type is
|
|
|
|
// required for verifying metaindex block checksum (when applicable), but
|
|
|
|
// index block handle can easily go in metaindex block (possible future).
|
2021-12-14 02:42:05 +01:00
|
|
|
// See also FooterBuilder below.
|
2011-03-18 23:37:00 +01:00
|
|
|
class Footer {
|
|
|
|
public:
|
2021-12-14 02:42:05 +01:00
|
|
|
// Create empty. Populate using DecodeFrom.
|
2021-12-10 17:12:09 +01:00
|
|
|
Footer() {}
|
|
|
|
|
2021-12-14 02:42:05 +01:00
|
|
|
// Deserialize a footer (populate fields) from `input` and check for various
|
|
|
|
// corruptions. `input_offset` is the offset within the target file of
|
|
|
|
// `input` buffer (future use).
|
|
|
|
Status DecodeFrom(Slice input, uint64_t input_offset);
|
2021-12-10 17:12:09 +01:00
|
|
|
|
|
|
|
// Table magic number identifies file as RocksDB SST file and which kind of
|
|
|
|
// SST format is use.
|
|
|
|
uint64_t table_magic_number() const { return table_magic_number_; }
|
|
|
|
|
|
|
|
// A version (footer and more) within a kind of SST. (It would add more
|
|
|
|
// unnecessary complexity to separate footer versions and
|
|
|
|
// BBTO::format_version.)
|
|
|
|
uint32_t format_version() const { return format_version_; }
|
|
|
|
|
|
|
|
// Block handle for metaindex block.
|
2011-03-18 23:37:00 +01:00
|
|
|
const BlockHandle& metaindex_handle() const { return metaindex_handle_; }
|
|
|
|
|
2021-12-10 17:12:09 +01:00
|
|
|
// Block handle for (top-level) index block.
|
2014-05-01 20:09:32 +02:00
|
|
|
const BlockHandle& index_handle() const { return index_handle_; }
|
2014-02-05 01:21:47 +01:00
|
|
|
|
2021-12-10 17:12:09 +01:00
|
|
|
// Checksum type used in the file.
|
|
|
|
ChecksumType checksum_type() const {
|
|
|
|
return static_cast<ChecksumType>(checksum_type_);
|
|
|
|
}
|
2014-02-05 01:21:47 +01:00
|
|
|
|
2021-12-14 02:42:05 +01:00
|
|
|
// Block trailer size used by file with this footer (e.g. 5 for block-based
|
|
|
|
// table and 0 for plain table). This is inferred from magic number so
|
|
|
|
// not in the serialized form.
|
|
|
|
inline size_t GetBlockTrailerSize() const { return block_trailer_size_; }
|
2011-03-18 23:37:00 +01:00
|
|
|
|
2021-12-10 17:12:09 +01:00
|
|
|
// Convert this object to a human readable form
|
2014-12-23 22:24:07 +01:00
|
|
|
std::string ToString() const;
|
|
|
|
|
2021-12-10 17:12:09 +01:00
|
|
|
// Encoded lengths of Footers. Bytes for serialized Footer will always be
|
|
|
|
// >= kMinEncodedLength and <= kMaxEncodedLength.
|
|
|
|
//
|
|
|
|
// Footer version 0 (legacy) will always occupy exactly this many bytes.
|
|
|
|
// It consists of two block handles, padding, and a magic number.
|
|
|
|
static constexpr uint32_t kVersion0EncodedLength =
|
|
|
|
2 * BlockHandle::kMaxEncodedLength + kMagicNumberLengthByte;
|
|
|
|
static constexpr uint32_t kMinEncodedLength = kVersion0EncodedLength;
|
|
|
|
|
|
|
|
// Footer of versions 1 and higher will always occupy exactly this many
|
|
|
|
// bytes. It originally consisted of the checksum type, two block handles,
|
|
|
|
// padding (to maximum handle encoding size), a format version number, and a
|
|
|
|
// magic number.
|
|
|
|
static constexpr uint32_t kNewVersionsEncodedLength =
|
|
|
|
1 + 2 * BlockHandle::kMaxEncodedLength + 4 + kMagicNumberLengthByte;
|
|
|
|
static constexpr uint32_t kMaxEncodedLength = kNewVersionsEncodedLength;
|
|
|
|
|
|
|
|
static constexpr uint64_t kNullTableMagicNumber = 0;
|
2014-02-05 01:21:47 +01:00
|
|
|
|
2021-12-10 17:12:09 +01:00
|
|
|
static constexpr uint32_t kInvalidFormatVersion = 0xffffffffU;
|
2021-12-14 02:42:05 +01:00
|
|
|
|
|
|
|
private:
|
2021-12-10 17:12:09 +01:00
|
|
|
static constexpr int kInvalidChecksumType =
|
|
|
|
(1 << (sizeof(ChecksumType) * 8)) | kNoChecksum;
|
2014-02-05 01:21:47 +01:00
|
|
|
|
2021-12-10 17:12:09 +01:00
|
|
|
uint64_t table_magic_number_ = kNullTableMagicNumber;
|
|
|
|
uint32_t format_version_ = kInvalidFormatVersion;
|
2011-03-18 23:37:00 +01:00
|
|
|
BlockHandle metaindex_handle_;
|
|
|
|
BlockHandle index_handle_;
|
2021-12-10 17:12:09 +01:00
|
|
|
int checksum_type_ = kInvalidChecksumType;
|
2021-12-14 02:42:05 +01:00
|
|
|
uint8_t block_trailer_size_ = 0;
|
|
|
|
};
|
|
|
|
|
|
|
|
// Builder for Footer
|
|
|
|
class FooterBuilder {
|
|
|
|
public:
|
|
|
|
// Run builder in inputs. This is a single step with lots of parameters for
|
|
|
|
// efficiency (based on perf testing).
|
|
|
|
// * table_magic_number identifies file as RocksDB SST file and which kind of
|
|
|
|
// SST format is use.
|
|
|
|
// * format_version is a version for the footer and can also apply to other
|
|
|
|
// aspects of the SST file (see BlockBasedTableOptions::format_version).
|
|
|
|
// NOTE: To save complexity in the caller, when format_version == 0 and
|
|
|
|
// there is a corresponding legacy magic number to the one specified, the
|
|
|
|
// legacy magic number will be written for forward compatibility.
|
|
|
|
// * footer_offset is the file offset where the footer will be written
|
|
|
|
// (for future use).
|
|
|
|
// * checksum_type is for formats using block checksums.
|
|
|
|
// * index_handle is optional for some kinds of SST files.
|
|
|
|
void Build(uint64_t table_magic_number, uint32_t format_version,
|
|
|
|
uint64_t footer_offset, ChecksumType checksum_type,
|
|
|
|
const BlockHandle& metaindex_handle,
|
|
|
|
const BlockHandle& index_handle = BlockHandle::NullBlockHandle());
|
|
|
|
|
|
|
|
// After Builder, get a Slice for the serialized Footer, backed by this
|
|
|
|
// FooterBuilder.
|
|
|
|
const Slice& GetSlice() const {
|
|
|
|
assert(slice_.size());
|
|
|
|
return slice_;
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
Slice slice_;
|
|
|
|
std::array<char, Footer::kMaxEncodedLength> data_;
|
2011-03-18 23:37:00 +01:00
|
|
|
};
|
|
|
|
|
2013-12-05 01:35:48 +01:00
|
|
|
// Read the footer from file
|
2015-01-13 23:33:04 +01:00
|
|
|
// If enforce_table_magic_number != 0, ReadFooterFromFile() will return
|
|
|
|
// corruption if table_magic number is not equal to enforce_table_magic_number
|
2020-06-29 23:51:57 +02:00
|
|
|
Status ReadFooterFromFile(const IOOptions& opts, RandomAccessFileReader* file,
|
2017-08-11 20:59:13 +02:00
|
|
|
FilePrefetchBuffer* prefetch_buffer,
|
|
|
|
uint64_t file_size, Footer* footer,
|
2015-01-13 23:33:04 +01:00
|
|
|
uint64_t enforce_table_magic_number = 0);
|
2013-12-05 01:35:48 +01:00
|
|
|
|
2021-11-04 17:08:12 +01:00
|
|
|
// Computes a checksum using the given ChecksumType. Sometimes we need to
|
|
|
|
// include one more input byte logically at the end but not part of the main
|
|
|
|
// data buffer. If data_size >= 1, then
|
|
|
|
// ComputeBuiltinChecksum(type, data, size)
|
|
|
|
// ==
|
|
|
|
// ComputeBuiltinChecksumWithLastByte(type, data, size - 1, data[size - 1])
|
|
|
|
uint32_t ComputeBuiltinChecksum(ChecksumType type, const char* data,
|
|
|
|
size_t size);
|
|
|
|
uint32_t ComputeBuiltinChecksumWithLastByte(ChecksumType type, const char* data,
|
|
|
|
size_t size, char last_byte);
|
Implement XXH3 block checksum type (#9069)
Summary:
XXH3 - latest hash function that is extremely fast on large
data, easily faster than crc32c on most any x86_64 hardware. In
integrating this hash function, I have handled the compression type byte
in a non-standard way to avoid using the streaming API (extra data
movement and active code size because of hash function complexity). This
approach got a thumbs-up from Yann Collet.
Existing functionality change:
* reject bad ChecksumType in options with InvalidArgument
This change split off from https://github.com/facebook/rocksdb/issues/9058 because context-aware checksum is
likely to be handled through different configuration than ChecksumType.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/9069
Test Plan:
tests updated, and substantially expanded. Unit tests now check
that we don't accidentally change the values generated by the checksum
algorithms ("schema test") and that we properly handle
invalid/unrecognized checksum types in options or in file footer.
DBTestBase::ChangeOptions (etc.) updated from two to one configuration
changing from default CRC32c ChecksumType. The point of this test code
is to detect possible interactions among features, and the likelihood of
some bad interaction being detected by including configurations other
than XXH3 and CRC32c--and then not detected by stress/crash test--is
extremely low.
Stress/crash test also updated (manual run long enough to see it accepts
new checksum type). db_bench also updated for microbenchmarking
checksums.
### Performance microbenchmark (PORTABLE=0 DEBUG_LEVEL=0, Broadwell processor)
./db_bench -benchmarks=crc32c,xxhash,xxhash64,xxh3,crc32c,xxhash,xxhash64,xxh3,crc32c,xxhash,xxhash64,xxh3
crc32c : 0.200 micros/op 5005220 ops/sec; 19551.6 MB/s (4096 per op)
xxhash : 0.807 micros/op 1238408 ops/sec; 4837.5 MB/s (4096 per op)
xxhash64 : 0.421 micros/op 2376514 ops/sec; 9283.3 MB/s (4096 per op)
xxh3 : 0.171 micros/op 5858391 ops/sec; 22884.3 MB/s (4096 per op)
crc32c : 0.206 micros/op 4859566 ops/sec; 18982.7 MB/s (4096 per op)
xxhash : 0.793 micros/op 1260850 ops/sec; 4925.2 MB/s (4096 per op)
xxhash64 : 0.410 micros/op 2439182 ops/sec; 9528.1 MB/s (4096 per op)
xxh3 : 0.161 micros/op 6202872 ops/sec; 24230.0 MB/s (4096 per op)
crc32c : 0.203 micros/op 4924686 ops/sec; 19237.1 MB/s (4096 per op)
xxhash : 0.839 micros/op 1192388 ops/sec; 4657.8 MB/s (4096 per op)
xxhash64 : 0.424 micros/op 2357391 ops/sec; 9208.6 MB/s (4096 per op)
xxh3 : 0.162 micros/op 6182678 ops/sec; 24151.1 MB/s (4096 per op)
As you can see, especially once warmed up, xxh3 is fastest.
### Performance macrobenchmark (PORTABLE=0 DEBUG_LEVEL=0, Broadwell processor)
Test
for I in `seq 1 50`; do for CHK in 0 1 2 3 4; do TEST_TMPDIR=/dev/shm/rocksdb$CHK ./db_bench -benchmarks=fillseq -memtablerep=vector -allow_concurrent_memtable_write=false -num=30000000 -checksum_type=$CHK 2>&1 | grep 'micros/op' | tee -a results-$CHK & done; wait; done
Results (ops/sec)
for FILE in results*; do echo -n "$FILE "; awk '{ s += $5; c++; } END { print 1.0 * s / c; }' < $FILE; done
results-0 252118 # kNoChecksum
results-1 251588 # kCRC32c
results-2 251863 # kxxHash
results-3 252016 # kxxHash64
results-4 252038 # kXXH3
Reviewed By: mrambacher
Differential Revision: D31905249
Pulled By: pdillinger
fbshipit-source-id: cb9b998ebe2523fc7c400eedf62124a78bf4b4d1
2021-10-29 07:13:47 +02:00
|
|
|
|
2019-05-24 20:16:47 +02:00
|
|
|
// Represents the contents of a block read from an SST file. Depending on how
|
|
|
|
// it's created, it may or may not own the actual block bytes. As an example,
|
|
|
|
// BlockContents objects representing data read from mmapped files only point
|
|
|
|
// into the mmapped region.
|
2012-04-17 17:36:46 +02:00
|
|
|
struct BlockContents {
|
Improve / clean up meta block code & integrity (#9163)
Summary:
* Checksums are now checked on meta blocks unless specifically
suppressed or not applicable (e.g. plain table). (Was other way around.)
This means a number of cases that were not checking checksums now are,
including direct read TableProperties in Version::GetTableProperties
(fixed in meta_blocks ReadTableProperties), reading any block from
PersistentCache (fixed in BlockFetcher), read TableProperties in
SstFileDumper (ldb/sst_dump/BackupEngine) before table reader open,
maybe more.
* For that to work, I moved the global_seqno+TableProperties checksum
logic to the shared table/ code, because that is used by many utilies
such as SstFileDumper.
* Also for that to work, we have to know when we're dealing with a block
that has a checksum (trailer), so added that capability to Footer based
on magic number, and from there BlockFetcher.
* Knowledge of trailer presence has also fixed a problem where other
table formats were reading blocks including bytes for a non-existant
trailer--and awkwardly kind-of not using them, e.g. no shared code
checking checksums. (BlockFetcher compression type was populated
incorrectly.) Now we only read what is needed.
* Minimized code duplication and differing/incompatible/awkward
abstractions in meta_blocks.{cc,h} (e.g. SeekTo in metaindex block
without parsing block handle)
* Moved some meta block handling code from table_properties*.*
* Moved some code specific to block-based table from shared table/ code
to BlockBasedTable class. The checksum stuff means we can't completely
separate it, but things that don't need to be in shared table/ code
should not be.
* Use unique_ptr rather than raw ptr in more places. (Note: you can
std::move from unique_ptr to shared_ptr.)
Without enhancements to GetPropertiesOfAllTablesTest (see below),
net reduction of roughly 100 lines of code.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/9163
Test Plan:
existing tests and
* Enhanced DBTablePropertiesTest.GetPropertiesOfAllTablesTest to verify that
checksums are now checked on direct read of table properties by TableCache
(new test would fail before this change)
* Also enhanced DBTablePropertiesTest.GetPropertiesOfAllTablesTest to test
putting table properties under old meta name
* Also generally enhanced that same test to actually test what it was
supposed to be testing already, by kicking things out of table cache when
we don't want them there.
Reviewed By: ajkr, mrambacher
Differential Revision: D32514757
Pulled By: pdillinger
fbshipit-source-id: 507964b9311d186ae8d1131182290cbd97a99fa9
2021-11-18 20:42:12 +01:00
|
|
|
// Points to block payload (without trailer)
|
|
|
|
Slice data;
|
2018-10-03 02:21:54 +02:00
|
|
|
CacheAllocationPtr allocation;
|
2014-08-16 00:05:09 +02:00
|
|
|
|
2018-11-14 02:00:49 +01:00
|
|
|
#ifndef NDEBUG
|
Improve / clean up meta block code & integrity (#9163)
Summary:
* Checksums are now checked on meta blocks unless specifically
suppressed or not applicable (e.g. plain table). (Was other way around.)
This means a number of cases that were not checking checksums now are,
including direct read TableProperties in Version::GetTableProperties
(fixed in meta_blocks ReadTableProperties), reading any block from
PersistentCache (fixed in BlockFetcher), read TableProperties in
SstFileDumper (ldb/sst_dump/BackupEngine) before table reader open,
maybe more.
* For that to work, I moved the global_seqno+TableProperties checksum
logic to the shared table/ code, because that is used by many utilies
such as SstFileDumper.
* Also for that to work, we have to know when we're dealing with a block
that has a checksum (trailer), so added that capability to Footer based
on magic number, and from there BlockFetcher.
* Knowledge of trailer presence has also fixed a problem where other
table formats were reading blocks including bytes for a non-existant
trailer--and awkwardly kind-of not using them, e.g. no shared code
checking checksums. (BlockFetcher compression type was populated
incorrectly.) Now we only read what is needed.
* Minimized code duplication and differing/incompatible/awkward
abstractions in meta_blocks.{cc,h} (e.g. SeekTo in metaindex block
without parsing block handle)
* Moved some meta block handling code from table_properties*.*
* Moved some code specific to block-based table from shared table/ code
to BlockBasedTable class. The checksum stuff means we can't completely
separate it, but things that don't need to be in shared table/ code
should not be.
* Use unique_ptr rather than raw ptr in more places. (Note: you can
std::move from unique_ptr to shared_ptr.)
Without enhancements to GetPropertiesOfAllTablesTest (see below),
net reduction of roughly 100 lines of code.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/9163
Test Plan:
existing tests and
* Enhanced DBTablePropertiesTest.GetPropertiesOfAllTablesTest to verify that
checksums are now checked on direct read of table properties by TableCache
(new test would fail before this change)
* Also enhanced DBTablePropertiesTest.GetPropertiesOfAllTablesTest to test
putting table properties under old meta name
* Also generally enhanced that same test to actually test what it was
supposed to be testing already, by kicking things out of table cache when
we don't want them there.
Reviewed By: ajkr, mrambacher
Differential Revision: D32514757
Pulled By: pdillinger
fbshipit-source-id: 507964b9311d186ae8d1131182290cbd97a99fa9
2021-11-18 20:42:12 +01:00
|
|
|
// Whether there is a known trailer after what is pointed to by `data`.
|
|
|
|
// See BlockBasedTable::GetCompressionType.
|
2018-11-14 02:00:49 +01:00
|
|
|
bool is_raw_block = false;
|
|
|
|
#endif // NDEBUG
|
2014-09-18 00:08:19 +02:00
|
|
|
|
2018-11-14 02:00:49 +01:00
|
|
|
BlockContents() {}
|
2014-09-18 00:08:19 +02:00
|
|
|
|
2019-05-24 20:16:47 +02:00
|
|
|
// Does not take ownership of the underlying data bytes.
|
2018-11-14 02:00:49 +01:00
|
|
|
BlockContents(const Slice& _data) : data(_data) {}
|
2015-07-13 21:11:05 +02:00
|
|
|
|
2019-05-24 20:16:47 +02:00
|
|
|
// Takes ownership of the underlying data bytes.
|
2018-11-14 02:00:49 +01:00
|
|
|
BlockContents(CacheAllocationPtr&& _data, size_t _size)
|
|
|
|
: data(_data.get(), _size), allocation(std::move(_data)) {}
|
|
|
|
|
2019-05-24 20:16:47 +02:00
|
|
|
// Takes ownership of the underlying data bytes.
|
2018-11-14 02:00:49 +01:00
|
|
|
BlockContents(std::unique_ptr<char[]>&& _data, size_t _size)
|
|
|
|
: data(_data.get(), _size) {
|
2018-10-03 02:21:54 +02:00
|
|
|
allocation.reset(_data.release());
|
|
|
|
}
|
|
|
|
|
2019-05-24 20:16:47 +02:00
|
|
|
// Returns whether the object has ownership of the underlying data bytes.
|
2018-11-14 02:00:49 +01:00
|
|
|
bool own_bytes() const { return allocation.get() != nullptr; }
|
|
|
|
|
2018-06-29 17:55:33 +02:00
|
|
|
// The additional memory space taken by the block data.
|
|
|
|
size_t usable_size() const {
|
|
|
|
if (allocation.get() != nullptr) {
|
2018-10-03 02:21:54 +02:00
|
|
|
auto allocator = allocation.get_deleter().allocator;
|
|
|
|
if (allocator) {
|
|
|
|
return allocator->UsableSize(allocation.get(), data.size());
|
|
|
|
}
|
2018-06-29 17:55:33 +02:00
|
|
|
#ifdef ROCKSDB_MALLOC_USABLE_SIZE
|
|
|
|
return malloc_usable_size(allocation.get());
|
|
|
|
#else
|
2018-08-09 02:40:05 +02:00
|
|
|
return data.size();
|
2018-06-29 17:55:33 +02:00
|
|
|
#endif // ROCKSDB_MALLOC_USABLE_SIZE
|
|
|
|
} else {
|
|
|
|
return 0; // no extra memory is occupied by the data
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-11-14 02:00:49 +01:00
|
|
|
size_t ApproximateMemoryUsage() const {
|
|
|
|
return usable_size() + sizeof(*this);
|
|
|
|
}
|
|
|
|
|
2018-04-13 02:55:14 +02:00
|
|
|
BlockContents(BlockContents&& other) ROCKSDB_NOEXCEPT {
|
|
|
|
*this = std::move(other);
|
|
|
|
}
|
2015-07-02 01:13:49 +02:00
|
|
|
|
|
|
|
BlockContents& operator=(BlockContents&& other) {
|
2015-07-08 01:58:20 +02:00
|
|
|
data = std::move(other.data);
|
|
|
|
allocation = std::move(other.allocation);
|
2018-11-14 02:00:49 +01:00
|
|
|
#ifndef NDEBUG
|
|
|
|
is_raw_block = other.is_raw_block;
|
|
|
|
#endif // NDEBUG
|
2015-07-08 01:58:20 +02:00
|
|
|
return *this;
|
2015-07-02 01:13:49 +02:00
|
|
|
}
|
2012-04-17 17:36:46 +02:00
|
|
|
};
|
|
|
|
|
2013-09-02 08:23:40 +02:00
|
|
|
// The 'data' points to the raw block contents read in from file.
|
|
|
|
// This method allocates a new heap buffer and the raw block
|
|
|
|
// contents are uncompresed into this buffer. This buffer is
|
|
|
|
// returned via 'result' and it is upto the caller to
|
|
|
|
// free this buffer.
|
2015-01-15 01:24:24 +01:00
|
|
|
// For description of compress_format_version and possible values, see
|
|
|
|
// util/compression.h
|
2019-01-19 04:10:17 +01:00
|
|
|
extern Status UncompressBlockContents(const UncompressionInfo& info,
|
|
|
|
const char* data, size_t n,
|
|
|
|
BlockContents* contents,
|
|
|
|
uint32_t compress_format_version,
|
2021-05-05 22:59:21 +02:00
|
|
|
const ImmutableOptions& ioptions,
|
2019-01-19 04:10:17 +01:00
|
|
|
MemoryAllocator* allocator = nullptr);
|
2011-03-18 23:37:00 +01:00
|
|
|
|
2016-06-11 03:20:54 +02:00
|
|
|
// This is an extension to UncompressBlockContents that accepts
|
|
|
|
// a specific compression type. This is used by un-wrapped blocks
|
|
|
|
// with no compression header.
|
|
|
|
extern Status UncompressBlockContentsForCompressionType(
|
2019-01-19 04:10:17 +01:00
|
|
|
const UncompressionInfo& info, const char* data, size_t n,
|
2018-06-05 21:51:05 +02:00
|
|
|
BlockContents* contents, uint32_t compress_format_version,
|
2021-05-05 22:59:21 +02:00
|
|
|
const ImmutableOptions& ioptions, MemoryAllocator* allocator = nullptr);
|
2016-06-11 03:20:54 +02:00
|
|
|
|
2020-10-19 20:37:05 +02:00
|
|
|
// Replace db_host_id contents with the real hostname if necessary
|
|
|
|
extern Status ReifyDbHostIdProperty(Env* env, std::string* db_host_id);
|
|
|
|
|
2011-03-18 23:37:00 +01:00
|
|
|
// Implementation details follow. Clients should ignore,
|
|
|
|
|
2016-11-05 17:10:51 +01:00
|
|
|
// TODO(andrewkr): we should prefer one way of representing a null/uninitialized
|
|
|
|
// BlockHandle. Currently we use zeros for null and use negation-of-zeros for
|
|
|
|
// uninitialized.
|
2021-11-04 17:08:12 +01:00
|
|
|
inline BlockHandle::BlockHandle() : BlockHandle(~uint64_t{0}, ~uint64_t{0}) {}
|
2013-12-05 00:43:09 +01:00
|
|
|
|
2014-11-06 20:14:28 +01:00
|
|
|
inline BlockHandle::BlockHandle(uint64_t _offset, uint64_t _size)
|
|
|
|
: offset_(_offset), size_(_size) {}
|
2011-03-18 23:37:00 +01:00
|
|
|
|
2020-02-20 21:07:53 +01:00
|
|
|
} // namespace ROCKSDB_NAMESPACE
|