fork of https://github.com/oxigraph/rocksdb and https://github.com/facebook/rocksdb for nextgraph and oxigraph
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
627 lines
21 KiB
627 lines
21 KiB
![]()
11 years ago
|
// Copyright (c) 2013, Facebook, Inc. All rights reserved.
|
||
|
// This source code is licensed under the BSD-style license found in the
|
||
|
// LICENSE file in the root directory of this source tree. An additional grant
|
||
|
// of patent rights can be found in the PATENTS file in the same directory.
|
||
|
//
|
||
![]()
14 years ago
|
// 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.
|
||
|
|
||
![]()
11 years ago
|
#include "table/block_based_table_reader.h"
|
||
![]()
11 years ago
|
|
||
![]()
11 years ago
|
#include "db/dbformat.h"
|
||
|
|
||
![]()
11 years ago
|
#include "rocksdb/cache.h"
|
||
|
#include "rocksdb/comparator.h"
|
||
|
#include "rocksdb/env.h"
|
||
|
#include "rocksdb/filter_policy.h"
|
||
|
#include "rocksdb/options.h"
|
||
|
#include "rocksdb/statistics.h"
|
||
![]()
11 years ago
|
#include "rocksdb/table.h"
|
||
![]()
11 years ago
|
|
||
![]()
14 years ago
|
#include "table/block.h"
|
||
![]()
13 years ago
|
#include "table/filter_block.h"
|
||
![]()
14 years ago
|
#include "table/format.h"
|
||
|
#include "table/two_level_iterator.h"
|
||
![]()
11 years ago
|
|
||
![]()
14 years ago
|
#include "util/coding.h"
|
||
![]()
11 years ago
|
#include "util/perf_context_imp.h"
|
||
![]()
11 years ago
|
#include "util/stop_watch.h"
|
||
![]()
14 years ago
|
|
||
![]()
11 years ago
|
namespace rocksdb {
|
||
![]()
14 years ago
|
|
||
![]()
12 years ago
|
// The longest the prefix of the cache key used to identify blocks can be.
|
||
|
// We are using the fact that we know for Posix files the unique ID is three
|
||
|
// varints.
|
||
|
const size_t kMaxCacheKeyPrefixSize = kMaxVarint64Length*3+1;
|
||
|
|
||
![]()
11 years ago
|
struct BlockBasedTable::Rep {
|
||
![]()
14 years ago
|
~Rep() {
|
||
![]()
13 years ago
|
delete filter;
|
||
|
delete [] filter_data;
|
||
![]()
14 years ago
|
delete index_block;
|
||
|
}
|
||
![]()
12 years ago
|
Rep(const EnvOptions& storage_options) :
|
||
|
soptions(storage_options) {
|
||
|
}
|
||
![]()
14 years ago
|
|
||
|
Options options;
|
||
![]()
12 years ago
|
const EnvOptions& soptions;
|
||
![]()
14 years ago
|
Status status;
|
||
![]()
12 years ago
|
unique_ptr<RandomAccessFile> file;
|
||
![]()
12 years ago
|
char cache_key_prefix[kMaxCacheKeyPrefixSize];
|
||
|
size_t cache_key_prefix_size;
|
||
![]()
13 years ago
|
FilterBlockReader* filter;
|
||
|
const char* filter_data;
|
||
![]()
14 years ago
|
|
||
|
BlockHandle metaindex_handle; // Handle to metaindex_block: saved from footer
|
||
|
Block* index_block;
|
||
![]()
11 years ago
|
TableStats table_stats;
|
||
![]()
14 years ago
|
};
|
||
|
|
||
![]()
11 years ago
|
BlockBasedTable::~BlockBasedTable() {
|
||
|
delete rep_;
|
||
|
}
|
||
|
|
||
![]()
12 years ago
|
// Helper function to setup the cache key's prefix for the Table.
|
||
![]()
11 years ago
|
void BlockBasedTable::SetupCacheKeyPrefix(Rep* rep) {
|
||
![]()
12 years ago
|
assert(kMaxCacheKeyPrefixSize >= 10);
|
||
|
rep->cache_key_prefix_size = 0;
|
||
|
if (rep->options.block_cache) {
|
||
|
rep->cache_key_prefix_size = rep->file->GetUniqueId(rep->cache_key_prefix,
|
||
|
kMaxCacheKeyPrefixSize);
|
||
|
|
||
|
if (rep->cache_key_prefix_size == 0) {
|
||
|
// If the prefix wasn't generated or was too long, we create one from the
|
||
|
// cache.
|
||
|
char* end = EncodeVarint64(rep->cache_key_prefix,
|
||
|
rep->options.block_cache->NewId());
|
||
|
rep->cache_key_prefix_size =
|
||
|
static_cast<size_t>(end - rep->cache_key_prefix);
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
![]()
12 years ago
|
namespace { // anonymous namespace, not visible externally
|
||
|
|
||
|
// Read the block identified by "handle" from "file".
|
||
|
// The only relevant option is options.verify_checksums for now.
|
||
|
// Set *didIO to true if didIO is not null.
|
||
|
// On failure return non-OK.
|
||
|
// On success fill *result and return OK - caller owns *result
|
||
|
Status ReadBlock(RandomAccessFile* file,
|
||
|
const ReadOptions& options,
|
||
|
const BlockHandle& handle,
|
||
|
Block** result,
|
||
![]()
11 years ago
|
Env* env,
|
||
![]()
12 years ago
|
bool* didIO = nullptr) {
|
||
|
BlockContents contents;
|
||
![]()
11 years ago
|
Status s = ReadBlockContents(file, options, handle, &contents, env);
|
||
![]()
12 years ago
|
if (s.ok()) {
|
||
|
*result = new Block(contents);
|
||
|
}
|
||
|
|
||
|
if (didIO) {
|
||
|
*didIO = true;
|
||
|
}
|
||
|
return s;
|
||
|
}
|
||
|
|
||
|
} // end of anonymous namespace
|
||
|
|
||
![]()
11 years ago
|
Status BlockBasedTable::Open(const Options& options,
|
||
|
const EnvOptions& soptions,
|
||
|
unique_ptr<RandomAccessFile> && file,
|
||
|
uint64_t size,
|
||
![]()
11 years ago
|
unique_ptr<TableReader>* table_reader) {
|
||
|
table_reader->reset();
|
||
![]()
14 years ago
|
if (size < Footer::kEncodedLength) {
|
||
|
return Status::InvalidArgument("file is too short to be an sstable");
|
||
|
}
|
||
|
|
||
|
char footer_space[Footer::kEncodedLength];
|
||
|
Slice footer_input;
|
||
|
Status s = file->Read(size - Footer::kEncodedLength, Footer::kEncodedLength,
|
||
|
&footer_input, footer_space);
|
||
|
if (!s.ok()) return s;
|
||
|
|
||
![]()
12 years ago
|
// Check that we actually read the whole footer from the file. It may be
|
||
|
// that size isn't correct.
|
||
|
if (footer_input.size() != Footer::kEncodedLength) {
|
||
|
return Status::InvalidArgument("file is too short to be an sstable");
|
||
|
}
|
||
|
|
||
![]()
14 years ago
|
Footer footer;
|
||
|
s = footer.DecodeFrom(&footer_input);
|
||
|
if (!s.ok()) return s;
|
||
|
|
||
![]()
12 years ago
|
Block* index_block = nullptr;
|
||
![]()
12 years ago
|
// TODO: we never really verify check sum for index block
|
||
![]()
11 years ago
|
s = ReadBlock(file.get(), ReadOptions(), footer.index_handle(), &index_block,
|
||
|
options.env);
|
||
![]()
14 years ago
|
|
||
|
if (s.ok()) {
|
||
|
// We've successfully read the footer and the index block: we're
|
||
|
// ready to serve requests.
|
||
![]()
11 years ago
|
BlockBasedTable::Rep* rep = new BlockBasedTable::Rep(soptions);
|
||
![]()
14 years ago
|
rep->options = options;
|
||
![]()
12 years ago
|
rep->file = std::move(file);
|
||
![]()
14 years ago
|
rep->metaindex_handle = footer.metaindex_handle();
|
||
|
rep->index_block = index_block;
|
||
![]()
12 years ago
|
SetupCacheKeyPrefix(rep);
|
||
![]()
12 years ago
|
rep->filter_data = nullptr;
|
||
|
rep->filter = nullptr;
|
||
![]()
11 years ago
|
table_reader->reset(new BlockBasedTable(rep));
|
||
|
((BlockBasedTable*) (table_reader->get()))->ReadMeta(footer);
|
||
![]()
14 years ago
|
} else {
|
||
|
if (index_block) delete index_block;
|
||
|
}
|
||
|
|
||
|
return s;
|
||
|
}
|
||
|
|
||
![]()
11 years ago
|
void BlockBasedTable::SetupForCompaction() {
|
||
![]()
11 years ago
|
switch (rep_->options.access_hint_on_compaction_start) {
|
||
|
case Options::NONE:
|
||
|
break;
|
||
|
case Options::NORMAL:
|
||
|
rep_->file->Hint(RandomAccessFile::NORMAL);
|
||
|
break;
|
||
|
case Options::SEQUENTIAL:
|
||
|
rep_->file->Hint(RandomAccessFile::SEQUENTIAL);
|
||
|
break;
|
||
|
case Options::WILLNEED:
|
||
|
rep_->file->Hint(RandomAccessFile::WILLNEED);
|
||
|
break;
|
||
|
default:
|
||
|
assert(false);
|
||
|
}
|
||
![]()
11 years ago
|
compaction_optimized_ = true;
|
||
![]()
11 years ago
|
}
|
||
|
|
||
![]()
11 years ago
|
TableStats& BlockBasedTable::GetTableStats() {
|
||
![]()
11 years ago
|
return rep_->table_stats;
|
||
|
}
|
||
![]()
13 years ago
|
|
||
![]()
11 years ago
|
void BlockBasedTable::ReadMeta(const Footer& footer) {
|
||
![]()
13 years ago
|
// TODO(sanjay): Skip this if footer.metaindex_handle() size indicates
|
||
|
// it is an empty block.
|
||
![]()
12 years ago
|
// TODO: we never really verify check sum for meta index block
|
||
|
Block* meta = nullptr;
|
||
|
if (!ReadBlock(rep_->file.get(), ReadOptions(), footer.metaindex_handle(),
|
||
![]()
11 years ago
|
&meta, rep_->options.env).ok()) {
|
||
![]()
13 years ago
|
// Do not propagate errors since meta info is not needed for operation
|
||
|
return;
|
||
|
}
|
||
|
|
||
|
Iterator* iter = meta->NewIterator(BytewiseComparator());
|
||
![]()
11 years ago
|
// read filter
|
||
|
if (rep_->options.filter_policy) {
|
||
|
std::string key = kFilterBlockPrefix;
|
||
|
key.append(rep_->options.filter_policy->Name());
|
||
|
iter->Seek(key);
|
||
|
|
||
|
if (iter->Valid() && iter->key() == Slice(key)) {
|
||
|
ReadFilter(iter->value());
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// read stats
|
||
|
iter->Seek(kStatsBlock);
|
||
|
if (iter->Valid() && iter->key() == Slice(kStatsBlock)) {
|
||
|
auto s = iter->status();
|
||
|
if (s.ok()) {
|
||
|
s = ReadStats(iter->value(), rep_);
|
||
|
}
|
||
|
|
||
|
if (!s.ok()) {
|
||
|
auto err_msg =
|
||
|
"[Warning] Encountered error while reading data from stats block " +
|
||
|
s.ToString();
|
||
|
Log(rep_->options.info_log, err_msg.c_str());
|
||
|
}
|
||
![]()
13 years ago
|
}
|
||
![]()
11 years ago
|
|
||
![]()
13 years ago
|
delete iter;
|
||
|
delete meta;
|
||
|
}
|
||
|
|
||
![]()
11 years ago
|
void BlockBasedTable::ReadFilter(const Slice& filter_handle_value) {
|
||
![]()
13 years ago
|
Slice v = filter_handle_value;
|
||
|
BlockHandle filter_handle;
|
||
|
if (!filter_handle.DecodeFrom(&v).ok()) {
|
||
|
return;
|
||
|
}
|
||
|
|
||
![]()
12 years ago
|
// TODO: We might want to unify with ReadBlock() if we start
|
||
![]()
11 years ago
|
// requiring checksum verification in BlockBasedTable::Open.
|
||
![]()
13 years ago
|
ReadOptions opt;
|
||
|
BlockContents block;
|
||
![]()
11 years ago
|
if (!ReadBlockContents(rep_->file.get(), opt, filter_handle, &block,
|
||
|
rep_->options.env).ok()) {
|
||
![]()
13 years ago
|
return;
|
||
|
}
|
||
|
if (block.heap_allocated) {
|
||
|
rep_->filter_data = block.data.data(); // Will need to delete later
|
||
|
}
|
||
![]()
11 years ago
|
rep_->filter = new FilterBlockReader(rep_->options, block.data);
|
||
![]()
13 years ago
|
}
|
||
|
|
||
![]()
11 years ago
|
Status BlockBasedTable::ReadStats(const Slice& handle_value, Rep* rep) {
|
||
![]()
11 years ago
|
Slice v = handle_value;
|
||
|
BlockHandle handle;
|
||
|
if (!handle.DecodeFrom(&v).ok()) {
|
||
|
return Status::InvalidArgument("Failed to decode stats block handle");
|
||
|
}
|
||
|
|
||
|
BlockContents block_contents;
|
||
|
Status s = ReadBlockContents(
|
||
|
rep->file.get(),
|
||
|
ReadOptions(),
|
||
|
handle,
|
||
|
&block_contents,
|
||
|
rep->options.env
|
||
|
);
|
||
|
|
||
|
if (!s.ok()) {
|
||
|
return s;
|
||
|
}
|
||
|
|
||
|
Block stats_block(block_contents);
|
||
|
std::unique_ptr<Iterator> iter(
|
||
|
stats_block.NewIterator(BytewiseComparator())
|
||
|
);
|
||
|
|
||
|
auto& table_stats = rep->table_stats;
|
||
![]()
11 years ago
|
// All pre-defined stats of type uint64_t
|
||
|
std::unordered_map<std::string, uint64_t*> predefined_uint64_stats = {
|
||
![]()
11 years ago
|
{ BlockBasedTableStatsNames::kDataSize, &table_stats.data_size },
|
||
|
{ BlockBasedTableStatsNames::kIndexSize, &table_stats.index_size },
|
||
|
{ BlockBasedTableStatsNames::kRawKeySize, &table_stats.raw_key_size },
|
||
|
{ BlockBasedTableStatsNames::kRawValueSize, &table_stats.raw_value_size },
|
||
|
{ BlockBasedTableStatsNames::kNumDataBlocks, &table_stats.num_data_blocks},
|
||
|
{ BlockBasedTableStatsNames::kNumEntries, &table_stats.num_entries },
|
||
![]()
11 years ago
|
};
|
||
|
|
||
|
std::string last_key;
|
||
|
for (iter->SeekToFirst(); iter->Valid(); iter->Next()) {
|
||
|
s = iter->status();
|
||
|
if (!s.ok()) {
|
||
|
break;
|
||
|
}
|
||
|
|
||
|
auto key = iter->key().ToString();
|
||
|
// stats block is strictly sorted with no duplicate key.
|
||
|
assert(
|
||
|
last_key.empty() ||
|
||
|
BytewiseComparator()->Compare(key, last_key) > 0
|
||
|
);
|
||
|
last_key = key;
|
||
|
|
||
|
auto raw_val = iter->value();
|
||
![]()
11 years ago
|
auto pos = predefined_uint64_stats.find(key);
|
||
![]()
11 years ago
|
|
||
![]()
11 years ago
|
if (pos != predefined_uint64_stats.end()) {
|
||
![]()
11 years ago
|
// handle predefined rocksdb stats
|
||
|
uint64_t val;
|
||
|
if (!GetVarint64(&raw_val, &val)) {
|
||
|
// skip malformed value
|
||
|
auto error_msg =
|
||
|
"[Warning] detect malformed value in stats meta-block:"
|
||
|
"\tkey: " + key + "\tval: " + raw_val.ToString();
|
||
|
Log(rep->options.info_log, error_msg.c_str());
|
||
|
continue;
|
||
|
}
|
||
|
*(pos->second) = val;
|
||
![]()
11 years ago
|
} else if (key == BlockBasedTableStatsNames::kFilterPolicy) {
|
||
![]()
11 years ago
|
table_stats.filter_policy_name = raw_val.ToString();
|
||
|
} else {
|
||
|
// handle user-collected
|
||
|
table_stats.user_collected_stats.insert(
|
||
|
std::make_pair(iter->key().ToString(), raw_val.ToString())
|
||
|
);
|
||
![]()
11 years ago
|
}
|
||
|
}
|
||
|
|
||
|
return s;
|
||
|
}
|
||
|
|
||
![]()
14 years ago
|
static void DeleteBlock(void* arg, void* ignored) {
|
||
|
delete reinterpret_cast<Block*>(arg);
|
||
|
}
|
||
|
|
||
|
static void DeleteCachedBlock(const Slice& key, void* value) {
|
||
|
Block* block = reinterpret_cast<Block*>(value);
|
||
|
delete block;
|
||
|
}
|
||
|
|
||
|
static void ReleaseBlock(void* arg, void* h) {
|
||
|
Cache* cache = reinterpret_cast<Cache*>(arg);
|
||
|
Cache::Handle* handle = reinterpret_cast<Cache::Handle*>(h);
|
||
|
cache->Release(handle);
|
||
|
}
|
||
|
|
||
|
// Convert an index iterator value (i.e., an encoded BlockHandle)
|
||
|
// into an iterator over the contents of the corresponding block.
|
||
![]()
11 years ago
|
Iterator* BlockBasedTable::BlockReader(void* arg,
|
||
|
const ReadOptions& options,
|
||
|
const Slice& index_value,
|
||
|
bool* didIO,
|
||
|
bool for_compaction) {
|
||
![]()
11 years ago
|
const bool no_io = (options.read_tier == kBlockCacheTier);
|
||
![]()
11 years ago
|
BlockBasedTable* table = reinterpret_cast<BlockBasedTable*>(arg);
|
||
![]()
12 years ago
|
Cache* block_cache = table->rep_->options.block_cache.get();
|
||
![]()
12 years ago
|
std::shared_ptr<Statistics> statistics = table->rep_->options.statistics;
|
||
![]()
12 years ago
|
Block* block = nullptr;
|
||
|
Cache::Handle* cache_handle = nullptr;
|
||
![]()
14 years ago
|
|
||
|
BlockHandle handle;
|
||
|
Slice input = index_value;
|
||
|
Status s = handle.DecodeFrom(&input);
|
||
|
// We intentionally allow extra stuff in index_value so that we
|
||
|
// can add more features in the future.
|
||
|
|
||
|
if (s.ok()) {
|
||
![]()
12 years ago
|
if (block_cache != nullptr) {
|
||
![]()
12 years ago
|
char cache_key[kMaxCacheKeyPrefixSize + kMaxVarint64Length];
|
||
|
const size_t cache_key_prefix_size = table->rep_->cache_key_prefix_size;
|
||
|
assert(cache_key_prefix_size != 0);
|
||
|
assert(cache_key_prefix_size <= kMaxCacheKeyPrefixSize);
|
||
|
memcpy(cache_key, table->rep_->cache_key_prefix,
|
||
|
cache_key_prefix_size);
|
||
|
char* end = EncodeVarint64(cache_key + cache_key_prefix_size,
|
||
|
handle.offset());
|
||
|
Slice key(cache_key, static_cast<size_t>(end-cache_key));
|
||
![]()
14 years ago
|
cache_handle = block_cache->Lookup(key);
|
||
![]()
12 years ago
|
if (cache_handle != nullptr) {
|
||
![]()
14 years ago
|
block = reinterpret_cast<Block*>(block_cache->Value(cache_handle));
|
||
![]()
12 years ago
|
|
||
![]()
11 years ago
|
BumpPerfCount(&perf_context.block_cache_hit_count);
|
||
![]()
12 years ago
|
RecordTick(statistics, BLOCK_CACHE_HIT);
|
||
![]()
11 years ago
|
} else if (no_io) {
|
||
![]()
11 years ago
|
// Did not find in block_cache and can't do IO
|
||
|
return NewErrorIterator(Status::Incomplete("no blocking io"));
|
||
![]()
14 years ago
|
} else {
|
||
![]()
11 years ago
|
Histograms histogram = for_compaction ?
|
||
|
READ_BLOCK_COMPACTION_MICROS : READ_BLOCK_GET_MICROS;
|
||
|
{ // block for stop watch
|
||
|
StopWatch sw(table->rep_->options.env, statistics, histogram);
|
||
|
s = ReadBlock(
|
||
|
table->rep_->file.get(),
|
||
|
options,
|
||
|
handle,
|
||
|
&block,
|
||
![]()
11 years ago
|
table->rep_->options.env,
|
||
![]()
11 years ago
|
didIO
|
||
|
);
|
||
|
}
|
||
![]()
13 years ago
|
if (s.ok()) {
|
||
![]()
12 years ago
|
if (block->isCachable() && options.fill_cache) {
|
||
![]()
13 years ago
|
cache_handle = block_cache->Insert(
|
||
![]()
12 years ago
|
key, block, block->size(), &DeleteCachedBlock);
|
||
![]()
13 years ago
|
}
|
||
![]()
14 years ago
|
}
|
||
![]()
12 years ago
|
|
||
|
RecordTick(statistics, BLOCK_CACHE_MISS);
|
||
![]()
14 years ago
|
}
|
||
![]()
11 years ago
|
} else if (no_io) {
|
||
![]()
11 years ago
|
// Could not read from block_cache and can't do IO
|
||
|
return NewErrorIterator(Status::Incomplete("no blocking io"));
|
||
![]()
11 years ago
|
} else {
|
||
|
s = ReadBlock(table->rep_->file.get(), options, handle, &block,
|
||
|
table->rep_->options.env, didIO);
|
||
![]()
14 years ago
|
}
|
||
|
}
|
||
|
|
||
|
Iterator* iter;
|
||
![]()
12 years ago
|
if (block != nullptr) {
|
||
![]()
14 years ago
|
iter = block->NewIterator(table->rep_->options.comparator);
|
||
![]()
12 years ago
|
if (cache_handle == nullptr) {
|
||
|
iter->RegisterCleanup(&DeleteBlock, block, nullptr);
|
||
![]()
14 years ago
|
} else {
|
||
|
iter->RegisterCleanup(&ReleaseBlock, block_cache, cache_handle);
|
||
|
}
|
||
|
} else {
|
||
|
iter = NewErrorIterator(s);
|
||
|
}
|
||
|
return iter;
|
||
|
}
|
||
|
|
||
![]()
11 years ago
|
Iterator* BlockBasedTable::BlockReader(void* arg,
|
||
|
const ReadOptions& options,
|
||
|
const EnvOptions& soptions,
|
||
|
const Slice& index_value,
|
||
|
bool for_compaction) {
|
||
![]()
11 years ago
|
return BlockReader(arg, options, index_value, nullptr, for_compaction);
|
||
![]()
12 years ago
|
}
|
||
|
|
||
![]()
11 years ago
|
// This will be broken if the user specifies an unusual implementation
|
||
|
// of Options.comparator, or if the user specifies an unusual
|
||
|
// definition of prefixes in Options.filter_policy. In particular, we
|
||
|
// require the following three properties:
|
||
|
//
|
||
|
// 1) key.starts_with(prefix(key))
|
||
|
// 2) Compare(prefix(key), key) <= 0.
|
||
|
// 3) If Compare(key1, key2) <= 0, then Compare(prefix(key1), prefix(key2)) <= 0
|
||
![]()
11 years ago
|
//
|
||
|
// TODO(tylerharter): right now, this won't cause I/O since blooms are
|
||
|
// in memory. When blooms may need to be paged in, we should refactor so that
|
||
|
// this is only ever called lazily. In particular, this shouldn't be called
|
||
|
// while the DB lock is held like it is now.
|
||
![]()
11 years ago
|
bool BlockBasedTable::PrefixMayMatch(const Slice& internal_prefix) {
|
||
![]()
11 years ago
|
FilterBlockReader* filter = rep_->filter;
|
||
|
bool may_match = true;
|
||
|
Status s;
|
||
|
|
||
|
if (filter == nullptr) {
|
||
|
return true;
|
||
|
}
|
||
|
|
||
![]()
11 years ago
|
std::unique_ptr<Iterator> iiter(rep_->index_block->NewIterator(
|
||
|
rep_->options.comparator));
|
||
![]()
11 years ago
|
iiter->Seek(internal_prefix);
|
||
![]()
11 years ago
|
if (!iiter->Valid()) {
|
||
![]()
11 years ago
|
// we're past end of file
|
||
|
may_match = false;
|
||
![]()
11 years ago
|
} else if (ExtractUserKey(iiter->key()).starts_with(
|
||
![]()
11 years ago
|
ExtractUserKey(internal_prefix))) {
|
||
![]()
11 years ago
|
// we need to check for this subtle case because our only
|
||
|
// guarantee is that "the key is a string >= last key in that data
|
||
|
// block" according to the doc/table_format.txt spec.
|
||
|
//
|
||
|
// Suppose iiter->key() starts with the desired prefix; it is not
|
||
|
// necessarily the case that the corresponding data block will
|
||
|
// contain the prefix, since iiter->key() need not be in the
|
||
|
// block. However, the next data block may contain the prefix, so
|
||
|
// we return true to play it safe.
|
||
|
may_match = true;
|
||
|
} else {
|
||
|
// iiter->key() does NOT start with the desired prefix. Because
|
||
|
// Seek() finds the first key that is >= the seek target, this
|
||
|
// means that iiter->key() > prefix. Thus, any data blocks coming
|
||
|
// after the data block corresponding to iiter->key() cannot
|
||
|
// possibly contain the key. Thus, the corresponding data block
|
||
|
// is the only one which could potentially contain the prefix.
|
||
|
Slice handle_value = iiter->value();
|
||
|
BlockHandle handle;
|
||
|
s = handle.DecodeFrom(&handle_value);
|
||
|
assert(s.ok());
|
||
|
may_match = filter->PrefixMayMatch(handle.offset(), internal_prefix);
|
||
|
}
|
||
![]()
11 years ago
|
|
||
|
RecordTick(rep_->options.statistics, BLOOM_FILTER_PREFIX_CHECKED);
|
||
|
if (!may_match) {
|
||
|
RecordTick(rep_->options.statistics, BLOOM_FILTER_PREFIX_USEFUL);
|
||
|
}
|
||
|
|
||
![]()
11 years ago
|
return may_match;
|
||
|
}
|
||
|
|
||
![]()
11 years ago
|
Iterator* BlockBasedTable::NewIterator(const ReadOptions& options) {
|
||
![]()
11 years ago
|
if (options.prefix) {
|
||
|
InternalKey internal_prefix(*options.prefix, 0, kTypeValue);
|
||
|
if (!PrefixMayMatch(internal_prefix.Encode())) {
|
||
|
// nothing in this file can match the prefix, so we should not
|
||
|
// bother doing I/O to this file when iterating.
|
||
|
return NewEmptyIterator();
|
||
|
}
|
||
|
}
|
||
|
|
||
![]()
14 years ago
|
return NewTwoLevelIterator(
|
||
|
rep_->index_block->NewIterator(rep_->options.comparator),
|
||
![]()
11 years ago
|
&BlockBasedTable::BlockReader, const_cast<BlockBasedTable*>(this),
|
||
|
options, rep_->soptions);
|
||
![]()
14 years ago
|
}
|
||
|
|
||
![]()
11 years ago
|
Status BlockBasedTable::Get(
|
||
|
const ReadOptions& readOptions,
|
||
|
const Slice& key,
|
||
|
void* handle_context,
|
||
|
bool (*result_handler)(void* handle_context, const Slice& k,
|
||
|
const Slice& v, bool didIO),
|
||
|
void (*mark_key_may_exist_handler)(void* handle_context)) {
|
||
![]()
13 years ago
|
Status s;
|
||
|
Iterator* iiter = rep_->index_block->NewIterator(rep_->options.comparator);
|
||
![]()
12 years ago
|
bool done = false;
|
||
![]()
11 years ago
|
for (iiter->Seek(key); iiter->Valid() && !done; iiter->Next()) {
|
||
![]()
13 years ago
|
Slice handle_value = iiter->value();
|
||
|
FilterBlockReader* filter = rep_->filter;
|
||
|
BlockHandle handle;
|
||
![]()
12 years ago
|
if (filter != nullptr &&
|
||
![]()
13 years ago
|
handle.DecodeFrom(&handle_value).ok() &&
|
||
![]()
11 years ago
|
!filter->KeyMayMatch(handle.offset(), key)) {
|
||
![]()
13 years ago
|
// Not found
|
||
![]()
12 years ago
|
// TODO: think about interaction with Merge. If a user key cannot
|
||
|
// cross one data block, we should be fine.
|
||
![]()
12 years ago
|
RecordTick(rep_->options.statistics, BLOOM_FILTER_USEFUL);
|
||
![]()
12 years ago
|
break;
|
||
![]()
13 years ago
|
} else {
|
||
![]()
12 years ago
|
bool didIO = false;
|
||
![]()
11 years ago
|
std::unique_ptr<Iterator> block_iter(
|
||
![]()
11 years ago
|
BlockReader(this, readOptions, iiter->value(), &didIO));
|
||
![]()
12 years ago
|
|
||
![]()
11 years ago
|
if (readOptions.read_tier && block_iter->status().IsIncomplete()) {
|
||
![]()
11 years ago
|
// couldn't get block from block_cache
|
||
![]()
11 years ago
|
// Update Saver.state to Found because we are only looking for whether
|
||
|
// we can guarantee the key is not there when "no_io" is set
|
||
![]()
11 years ago
|
(*mark_key_may_exist_handler)(handle_context);
|
||
![]()
11 years ago
|
break;
|
||
|
}
|
||
![]()
11 years ago
|
|
||
|
// Call the *saver function on each entry/block until it returns false
|
||
![]()
11 years ago
|
for (block_iter->Seek(key); block_iter->Valid(); block_iter->Next()) {
|
||
|
if (!(*result_handler)(handle_context, block_iter->key(),
|
||
|
block_iter->value(), didIO)) {
|
||
![]()
12 years ago
|
done = true;
|
||
|
break;
|
||
|
}
|
||
![]()
13 years ago
|
}
|
||
|
s = block_iter->status();
|
||
|
}
|
||
|
}
|
||
|
if (s.ok()) {
|
||
|
s = iiter->status();
|
||
|
}
|
||
|
delete iiter;
|
||
|
return s;
|
||
|
}
|
||
|
|
||
![]()
12 years ago
|
bool SaveDidIO(void* arg, const Slice& key, const Slice& value, bool didIO) {
|
||
![]()
12 years ago
|
*reinterpret_cast<bool*>(arg) = didIO;
|
||
![]()
12 years ago
|
return false;
|
||
![]()
12 years ago
|
}
|
||
![]()
11 years ago
|
bool BlockBasedTable::TEST_KeyInCache(const ReadOptions& options,
|
||
|
const Slice& key) {
|
||
|
// We use Get() as it has logic that checks whether we read the
|
||
![]()
12 years ago
|
// block from the disk or not.
|
||
|
bool didIO = false;
|
||
![]()
11 years ago
|
Status s = Get(options, key, &didIO, SaveDidIO);
|
||
![]()
12 years ago
|
assert(s.ok());
|
||
|
return !didIO;
|
||
|
}
|
||
![]()
13 years ago
|
|
||
![]()
11 years ago
|
uint64_t BlockBasedTable::ApproximateOffsetOf(const Slice& key) {
|
||
![]()
14 years ago
|
Iterator* index_iter =
|
||
|
rep_->index_block->NewIterator(rep_->options.comparator);
|
||
|
index_iter->Seek(key);
|
||
|
uint64_t result;
|
||
|
if (index_iter->Valid()) {
|
||
|
BlockHandle handle;
|
||
|
Slice input = index_iter->value();
|
||
|
Status s = handle.DecodeFrom(&input);
|
||
|
if (s.ok()) {
|
||
|
result = handle.offset();
|
||
|
} else {
|
||
|
// Strange: we can't decode the block handle in the index block.
|
||
|
// We'll just return the offset of the metaindex block, which is
|
||
|
// close to the whole file size for this case.
|
||
|
result = rep_->metaindex_handle.offset();
|
||
|
}
|
||
|
} else {
|
||
|
// key is past the last key in the file. Approximate the offset
|
||
|
// by returning the offset of the metaindex block (which is
|
||
|
// right near the end of the file).
|
||
|
result = rep_->metaindex_handle.offset();
|
||
|
}
|
||
|
delete index_iter;
|
||
|
return result;
|
||
|
}
|
||
|
|
||
![]()
11 years ago
|
const std::string BlockBasedTable::kFilterBlockPrefix = "filter.";
|
||
|
const std::string BlockBasedTable::kStatsBlock = "rocksdb.stats";
|
||
![]()
11 years ago
|
|
||
![]()
11 years ago
|
const std::string BlockBasedTableStatsNames::kDataSize = "rocksdb.data.size";
|
||
|
const std::string BlockBasedTableStatsNames::kIndexSize = "rocksdb.index.size";
|
||
|
const std::string BlockBasedTableStatsNames::kRawKeySize =
|
||
|
"rocksdb.raw.key.size";
|
||
|
const std::string BlockBasedTableStatsNames::kRawValueSize =
|
||
|
"rocksdb.raw.value.size";
|
||
|
const std::string BlockBasedTableStatsNames::kNumDataBlocks =
|
||
|
"rocksdb.num.data.blocks";
|
||
|
const std::string BlockBasedTableStatsNames::kNumEntries =
|
||
|
"rocksdb.num.entries";
|
||
|
const std::string BlockBasedTableStatsNames::kFilterPolicy =
|
||
|
"rocksdb.filter.policy";
|
||
![]()
11 years ago
|
|
||
![]()
11 years ago
|
} // namespace rocksdb
|