version_set.cc 101.1 KB
Newer Older
1 2 3 4 5
//  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.
//
J
jorlow@chromium.org 已提交
6 7 8 9 10
// 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.

#include "db/version_set.h"
I
Igor Canadi 已提交
11

I
Igor Canadi 已提交
12
#define __STDC_FORMAT_MACROS
I
Igor Canadi 已提交
13
#include <inttypes.h>
J
jorlow@chromium.org 已提交
14
#include <algorithm>
I
Igor Canadi 已提交
15
#include <map>
I
Igor Canadi 已提交
16
#include <set>
17
#include <climits>
18
#include <unordered_map>
19
#include <vector>
J
jorlow@chromium.org 已提交
20
#include <stdio.h>
K
kailiu 已提交
21

J
jorlow@chromium.org 已提交
22 23 24 25
#include "db/filename.h"
#include "db/log_reader.h"
#include "db/log_writer.h"
#include "db/memtable.h"
26
#include "db/merge_context.h"
J
jorlow@chromium.org 已提交
27
#include "db/table_cache.h"
28
#include "db/compaction.h"
29 30
#include "rocksdb/env.h"
#include "rocksdb/merge_operator.h"
K
kailiu 已提交
31
#include "table/table_reader.h"
J
jorlow@chromium.org 已提交
32 33
#include "table/merger.h"
#include "table/two_level_iterator.h"
34
#include "table/format.h"
35
#include "table/plain_table_factory.h"
36
#include "table/meta_blocks.h"
J
jorlow@chromium.org 已提交
37 38
#include "util/coding.h"
#include "util/logging.h"
39
#include "util/stop_watch.h"
J
jorlow@chromium.org 已提交
40

41
namespace rocksdb {
J
jorlow@chromium.org 已提交
42

43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109
namespace {

// Find File in FileLevel data structure
// Within an index range defined by left and right
int FindFileInRange(const InternalKeyComparator& icmp,
    const FileLevel& file_level,
    const Slice& key,
    uint32_t left,
    uint32_t right) {
  while (left < right) {
    uint32_t mid = (left + right) / 2;
    const FdWithKeyRange& f = file_level.files[mid];
    if (icmp.InternalKeyComparator::Compare(f.largest_key, key) < 0) {
      // Key at "mid.largest" is < "target".  Therefore all
      // files at or before "mid" are uninteresting.
      left = mid + 1;
    } else {
      // Key at "mid.largest" is >= "target".  Therefore all files
      // after "mid" are uninteresting.
      right = mid;
    }
  }
  return right;
}

bool NewestFirstBySeqNo(FileMetaData* a, FileMetaData* b) {
  if (a->smallest_seqno != b->smallest_seqno) {
    return a->smallest_seqno > b->smallest_seqno;
  }
  if (a->largest_seqno != b->largest_seqno) {
    return a->largest_seqno > b->largest_seqno;
  }
  // Break ties by file number
  return a->fd.GetNumber() > b->fd.GetNumber();
}

bool BySmallestKey(FileMetaData* a, FileMetaData* b,
                   const InternalKeyComparator* cmp) {
  int r = cmp->Compare(a->smallest, b->smallest);
  if (r != 0) {
    return (r < 0);
  }
  // Break ties by file number
  return (a->fd.GetNumber() < b->fd.GetNumber());
}

// Class to help choose the next file to search for the particular key.
// Searches and returns files level by level.
// We can search level-by-level since entries never hop across
// levels. Therefore we are guaranteed that if we find data
// in a smaller level, later levels are irrelevant (unless we
// are MergeInProgress).
class FilePicker {
 public:
  FilePicker(
      std::vector<FileMetaData*>* files,
      const Slice& user_key,
      const Slice& ikey,
      autovector<FileLevel>* file_levels,
      unsigned int num_levels,
      FileIndexer* file_indexer,
      const Comparator* user_comparator,
      const InternalKeyComparator* internal_comparator)
      : num_levels_(num_levels),
        curr_level_(-1),
        search_left_bound_(0),
        search_right_bound_(FileIndexer::kLevelMaxIndex),
110
#ifndef NDEBUG
111
        files_(files),
112
#endif
113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220
        file_levels_(file_levels),
        user_key_(user_key),
        ikey_(ikey),
        file_indexer_(file_indexer),
        user_comparator_(user_comparator),
        internal_comparator_(internal_comparator) {
    // Setup member variables to search first level.
    search_ended_ = !PrepareNextLevel();
    if (!search_ended_) {
      // Prefetch Level 0 table data to avoid cache miss if possible.
      for (unsigned int i = 0; i < (*file_levels_)[0].num_files; ++i) {
        auto* r = (*file_levels_)[0].files[i].fd.table_reader;
        if (r) {
          r->Prepare(ikey);
        }
      }
    }
  }

  FdWithKeyRange* GetNextFile() {
    while (!search_ended_) {  // Loops over different levels.
      while (curr_index_in_curr_level_ < curr_file_level_->num_files) {
        // Loops over all files in current level.
        FdWithKeyRange* f = &curr_file_level_->files[curr_index_in_curr_level_];
        int cmp_largest = -1;

        // Do key range filtering of files or/and fractional cascading if:
        // (1) not all the files are in level 0, or
        // (2) there are more than 3 Level 0 files
        // If there are only 3 or less level 0 files in the system, we skip
        // the key range filtering. In this case, more likely, the system is
        // highly tuned to minimize number of tables queried by each query,
        // so it is unlikely that key range filtering is more efficient than
        // querying the files.
        if (num_levels_ > 1 || curr_file_level_->num_files > 3) {
          // Check if key is within a file's range. If search left bound and
          // right bound point to the same find, we are sure key falls in
          // range.
          assert(
              curr_level_ == 0 ||
              curr_index_in_curr_level_ == start_index_in_curr_level_ ||
              user_comparator_->Compare(user_key_,
                ExtractUserKey(f->smallest_key)) <= 0);

          int cmp_smallest = user_comparator_->Compare(user_key_,
              ExtractUserKey(f->smallest_key));
          if (cmp_smallest >= 0) {
            cmp_largest = user_comparator_->Compare(user_key_,
                ExtractUserKey(f->largest_key));
          }

          // Setup file search bound for the next level based on the
          // comparison results
          if (curr_level_ > 0) {
            file_indexer_->GetNextLevelIndex(curr_level_,
                                            curr_index_in_curr_level_,
                                            cmp_smallest, cmp_largest,
                                            &search_left_bound_,
                                            &search_right_bound_);
          }
          // Key falls out of current file's range
          if (cmp_smallest < 0 || cmp_largest > 0) {
            if (curr_level_ == 0) {
              ++curr_index_in_curr_level_;
              continue;
            } else {
              // Search next level.
              break;
            }
          }
        }
#ifndef NDEBUG
        // Sanity check to make sure that the files are correctly sorted
        if (prev_file_) {
          if (curr_level_ != 0) {
            int comp_sign = internal_comparator_->Compare(
                prev_file_->largest_key, f->smallest_key);
            assert(comp_sign < 0);
          } else {
            // level == 0, the current file cannot be newer than the previous
            // one. Use compressed data structure, has no attribute seqNo
            assert(curr_index_in_curr_level_ > 0);
            assert(!NewestFirstBySeqNo(files_[0][curr_index_in_curr_level_],
                  files_[0][curr_index_in_curr_level_-1]));
          }
        }
        prev_file_ = f;
#endif
        if (curr_level_ > 0 && cmp_largest < 0) {
          // No more files to search in this level.
          search_ended_ = !PrepareNextLevel();
        } else {
          ++curr_index_in_curr_level_;
        }
        return f;
      }
      // Start searching next level.
      search_ended_ = !PrepareNextLevel();
    }
    // Search ended.
    return nullptr;
  }

 private:
  unsigned int num_levels_;
  unsigned int curr_level_;
  int search_left_bound_;
  int search_right_bound_;
221
#ifndef NDEBUG
222
  std::vector<FileMetaData*>* files_;
223
#endif
224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303
  autovector<FileLevel>* file_levels_;
  bool search_ended_;
  FileLevel* curr_file_level_;
  unsigned int curr_index_in_curr_level_;
  unsigned int start_index_in_curr_level_;
  Slice user_key_;
  Slice ikey_;
  FileIndexer* file_indexer_;
  const Comparator* user_comparator_;
  const InternalKeyComparator* internal_comparator_;
#ifndef NDEBUG
  FdWithKeyRange* prev_file_;
#endif

  // Setup local variables to search next level.
  // Returns false if there are no more levels to search.
  bool PrepareNextLevel() {
    curr_level_++;
    while (curr_level_ < num_levels_) {
      curr_file_level_ = &(*file_levels_)[curr_level_];
      if (curr_file_level_->num_files == 0) {
        // When current level is empty, the search bound generated from upper
        // level must be [0, -1] or [0, FileIndexer::kLevelMaxIndex] if it is
        // also empty.
        assert(search_left_bound_ == 0);
        assert(search_right_bound_ == -1 ||
               search_right_bound_ == FileIndexer::kLevelMaxIndex);
        // Since current level is empty, it will need to search all files in
        // the next level
        search_left_bound_ = 0;
        search_right_bound_ = FileIndexer::kLevelMaxIndex;
        curr_level_++;
        continue;
      }

      // Some files may overlap each other. We find
      // all files that overlap user_key and process them in order from
      // newest to oldest. In the context of merge-operator, this can occur at
      // any level. Otherwise, it only occurs at Level-0 (since Put/Deletes
      // are always compacted into a single entry).
      int32_t start_index;
      if (curr_level_ == 0) {
        // On Level-0, we read through all files to check for overlap.
        start_index = 0;
      } else {
        // On Level-n (n>=1), files are sorted. Binary search to find the
        // earliest file whose largest key >= ikey. Search left bound and
        // right bound are used to narrow the range.
        if (search_left_bound_ == search_right_bound_) {
          start_index = search_left_bound_;
        } else if (search_left_bound_ < search_right_bound_) {
          if (search_right_bound_ == FileIndexer::kLevelMaxIndex) {
            search_right_bound_ = curr_file_level_->num_files - 1;
          }
          start_index = FindFileInRange(*internal_comparator_,
              *curr_file_level_, ikey_,
              search_left_bound_, search_right_bound_);
        } else {
          // search_left_bound > search_right_bound, key does not exist in
          // this level. Since no comparision is done in this level, it will
          // need to search all files in the next level.
          search_left_bound_ = 0;
          search_right_bound_ = FileIndexer::kLevelMaxIndex;
          curr_level_++;
          continue;
        }
      }
      start_index_in_curr_level_ = start_index;
      curr_index_in_curr_level_ = start_index;
#ifndef NDEBUG
      prev_file_ = nullptr;
#endif
      return true;
    }
    // curr_level_ = num_levels_. So, no more levels to search.
    return false;
  }
};
}  // anonymous namespace

J
jorlow@chromium.org 已提交
304 305
Version::~Version() {
  assert(refs_ == 0);
306 307 308 309 310 311

  // Remove from linked list
  prev_->next_ = next_;
  next_->prev_ = prev_;

  // Drop references to files
312
  for (int level = 0; level < num_levels_; level++) {
D
dgrogan@chromium.org 已提交
313
    for (size_t i = 0; i < files_[level].size(); i++) {
J
jorlow@chromium.org 已提交
314
      FileMetaData* f = files_[level][i];
315
      assert(f->refs > 0);
J
jorlow@chromium.org 已提交
316 317
      f->refs--;
      if (f->refs <= 0) {
318
        if (f->table_reader_handle) {
319
          cfd_->table_cache()->ReleaseHandle(f->table_reader_handle);
320 321
          f->table_reader_handle = nullptr;
        }
I
Igor Canadi 已提交
322
        vset_->obsolete_files_.push_back(f);
J
jorlow@chromium.org 已提交
323 324 325
      }
    }
  }
326
  delete[] files_;
J
jorlow@chromium.org 已提交
327 328
}

329 330 331 332 333 334
int FindFile(const InternalKeyComparator& icmp,
             const FileLevel& file_level,
             const Slice& key) {
  return FindFileInRange(icmp, file_level, key, 0, file_level.num_files);
}

F
Feng Zhu 已提交
335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364
void DoGenerateFileLevel(FileLevel* file_level,
        const std::vector<FileMetaData*>& files,
        Arena* arena) {
  assert(file_level);
  assert(files.size() >= 0);
  assert(arena);

  size_t num = files.size();
  file_level->num_files = num;
  char* mem = arena->AllocateAligned(num * sizeof(FdWithKeyRange));
  file_level->files = new (mem)FdWithKeyRange[num];

  for (size_t i = 0; i < num; i++) {
    Slice smallest_key = files[i]->smallest.Encode();
    Slice largest_key = files[i]->largest.Encode();

    // Copy key slice to sequential memory
    size_t smallest_size = smallest_key.size();
    size_t largest_size = largest_key.size();
    mem = arena->AllocateAligned(smallest_size + largest_size);
    memcpy(mem, smallest_key.data(), smallest_size);
    memcpy(mem + smallest_size, largest_key.data(), largest_size);

    FdWithKeyRange& f = file_level->files[i];
    f.fd = files[i]->fd;
    f.smallest_key = Slice(mem, smallest_size);
    f.largest_key = Slice(mem + smallest_size, largest_size);
  }
}

G
Gabor Cselle 已提交
365
static bool AfterFile(const Comparator* ucmp,
366
                      const Slice* user_key, const FdWithKeyRange* f) {
A
Abhishek Kona 已提交
367 368
  // nullptr user_key occurs before all keys and is therefore never after *f
  return (user_key != nullptr &&
369
          ucmp->Compare(*user_key, ExtractUserKey(f->largest_key)) > 0);
G
Gabor Cselle 已提交
370 371 372
}

static bool BeforeFile(const Comparator* ucmp,
373
                       const Slice* user_key, const FdWithKeyRange* f) {
A
Abhishek Kona 已提交
374 375
  // nullptr user_key occurs after all keys and is therefore never before *f
  return (user_key != nullptr &&
376
          ucmp->Compare(*user_key, ExtractUserKey(f->smallest_key)) < 0);
G
Gabor Cselle 已提交
377 378
}

379 380
bool SomeFileOverlapsRange(
    const InternalKeyComparator& icmp,
G
Gabor Cselle 已提交
381
    bool disjoint_sorted_files,
382
    const FileLevel& file_level,
G
Gabor Cselle 已提交
383 384 385 386 387
    const Slice* smallest_user_key,
    const Slice* largest_user_key) {
  const Comparator* ucmp = icmp.user_comparator();
  if (!disjoint_sorted_files) {
    // Need to check against all files
388 389
    for (size_t i = 0; i < file_level.num_files; i++) {
      const FdWithKeyRange* f = &(file_level.files[i]);
G
Gabor Cselle 已提交
390 391 392 393 394 395 396 397 398 399 400 401
      if (AfterFile(ucmp, smallest_user_key, f) ||
          BeforeFile(ucmp, largest_user_key, f)) {
        // No overlap
      } else {
        return true;  // Overlap
      }
    }
    return false;
  }

  // Binary search over file list
  uint32_t index = 0;
A
Abhishek Kona 已提交
402
  if (smallest_user_key != nullptr) {
G
Gabor Cselle 已提交
403 404
    // Find the earliest possible internal key for smallest_user_key
    InternalKey small(*smallest_user_key, kMaxSequenceNumber,kValueTypeForSeek);
405
    index = FindFile(icmp, file_level, small.Encode());
G
Gabor Cselle 已提交
406 407
  }

408
  if (index >= file_level.num_files) {
G
Gabor Cselle 已提交
409 410 411 412
    // beginning of range is after all files, so no overlap.
    return false;
  }

413
  return !BeforeFile(ucmp, largest_user_key, &file_level.files[index]);
414 415
}

J
jorlow@chromium.org 已提交
416 417 418
// An internal iterator.  For a given version/level pair, yields
// information about the files in the level.  For a given entry, key()
// is the largest key that occurs in the file, and value() is an
J
jorlow@chromium.org 已提交
419 420
// 16-byte value containing the file number and file size, both
// encoded using EncodeFixed64.
J
jorlow@chromium.org 已提交
421 422
class Version::LevelFileNumIterator : public Iterator {
 public:
423
  LevelFileNumIterator(const InternalKeyComparator& icmp,
F
Feng Zhu 已提交
424
                       const FileLevel* flevel)
425
      : icmp_(icmp),
F
Feng Zhu 已提交
426 427
        flevel_(flevel),
        index_(flevel->num_files),
428
        current_value_(0, 0, 0) {  // Marks as invalid
J
jorlow@chromium.org 已提交
429 430
  }
  virtual bool Valid() const {
F
Feng Zhu 已提交
431
    return index_ < flevel_->num_files;
J
jorlow@chromium.org 已提交
432 433
  }
  virtual void Seek(const Slice& target) {
F
Feng Zhu 已提交
434
    index_ = FindFile(icmp_, *flevel_, target);
J
jorlow@chromium.org 已提交
435 436 437
  }
  virtual void SeekToFirst() { index_ = 0; }
  virtual void SeekToLast() {
F
Feng Zhu 已提交
438
    index_ = (flevel_->num_files == 0) ? 0 : flevel_->num_files - 1;
J
jorlow@chromium.org 已提交
439 440 441 442 443 444 445 446
  }
  virtual void Next() {
    assert(Valid());
    index_++;
  }
  virtual void Prev() {
    assert(Valid());
    if (index_ == 0) {
F
Feng Zhu 已提交
447
      index_ = flevel_->num_files;  // Marks as invalid
J
jorlow@chromium.org 已提交
448 449 450 451 452 453
    } else {
      index_--;
    }
  }
  Slice key() const {
    assert(Valid());
F
Feng Zhu 已提交
454
    return flevel_->files[index_].largest_key;
J
jorlow@chromium.org 已提交
455 456 457
  }
  Slice value() const {
    assert(Valid());
F
Feng Zhu 已提交
458 459 460

    auto file_meta = flevel_->files[index_];
    current_value_ = file_meta.fd;
461
    return Slice(reinterpret_cast<const char*>(&current_value_),
462
                 sizeof(FileDescriptor));
J
jorlow@chromium.org 已提交
463 464 465 466
  }
  virtual Status status() const { return Status::OK(); }
 private:
  const InternalKeyComparator icmp_;
F
Feng Zhu 已提交
467
  const FileLevel* flevel_;
D
dgrogan@chromium.org 已提交
468
  uint32_t index_;
469
  mutable FileDescriptor current_value_;
J
jorlow@chromium.org 已提交
470 471
};

L
Lei Jin 已提交
472 473 474 475 476 477 478 479 480 481 482 483
class Version::LevelFileIteratorState : public TwoLevelIteratorState {
 public:
  LevelFileIteratorState(TableCache* table_cache,
    const ReadOptions& read_options, const EnvOptions& env_options,
    const InternalKeyComparator& icomparator, bool for_compaction,
    bool prefix_enabled)
    : TwoLevelIteratorState(prefix_enabled),
      table_cache_(table_cache), read_options_(read_options),
      env_options_(env_options), icomparator_(icomparator),
      for_compaction_(for_compaction) {}

  Iterator* NewSecondaryIterator(const Slice& meta_handle) override {
484
    if (meta_handle.size() != sizeof(FileDescriptor)) {
L
Lei Jin 已提交
485 486 487
      return NewErrorIterator(
          Status::Corruption("FileReader invoked with unexpected value"));
    } else {
488 489 490 491 492
      const FileDescriptor* fd =
          reinterpret_cast<const FileDescriptor*>(meta_handle.data());
      return table_cache_->NewIterator(
          read_options_, env_options_, icomparator_, *fd,
          nullptr /* don't need reference to table*/, for_compaction_);
L
Lei Jin 已提交
493
    }
J
jorlow@chromium.org 已提交
494 495
  }

L
Lei Jin 已提交
496 497 498 499 500 501 502 503 504 505 506
  bool PrefixMayMatch(const Slice& internal_key) override {
    return true;
  }

 private:
  TableCache* table_cache_;
  const ReadOptions read_options_;
  const EnvOptions& env_options_;
  const InternalKeyComparator& icomparator_;
  bool for_compaction_;
};
T
Tyler Harter 已提交
507

508 509 510
Status Version::GetTableProperties(std::shared_ptr<const TableProperties>* tp,
                                   const FileMetaData* file_meta,
                                   const std::string* fname) {
I
Igor Canadi 已提交
511
  auto table_cache = cfd_->table_cache();
I
Igor Canadi 已提交
512
  auto options = cfd_->options();
513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533
  Status s = table_cache->GetTableProperties(
      vset_->storage_options_, cfd_->internal_comparator(), file_meta->fd,
      tp, true /* no io */);
  if (s.ok()) {
    return s;
  }

  // We only ignore error type `Incomplete` since it's by design that we
  // disallow table when it's not in table cache.
  if (!s.IsIncomplete()) {
    return s;
  }

  // 2. Table is not present in table cache, we'll read the table properties
  // directly from the properties block in the file.
  std::unique_ptr<RandomAccessFile> file;
  if (fname != nullptr) {
    s = options->env->NewRandomAccessFile(
        *fname, &file, vset_->storage_options_);
  } else {
    s = options->env->NewRandomAccessFile(
534 535
        TableFileName(vset_->options_->db_paths, file_meta->fd.GetNumber(),
                      file_meta->fd.GetPathId()),
536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551
        &file, vset_->storage_options_);
  }
  if (!s.ok()) {
    return s;
  }

  TableProperties* raw_table_properties;
  // By setting the magic number to kInvalidTableMagicNumber, we can by
  // pass the magic number check in the footer.
  s = ReadTableProperties(
      file.get(), file_meta->fd.GetFileSize(),
      Footer::kInvalidTableMagicNumber /* table's magic number */,
      vset_->env_, options->info_log.get(), &raw_table_properties);
  if (!s.ok()) {
    return s;
  }
L
Lei Jin 已提交
552
  RecordTick(options->statistics.get(), NUMBER_DIRECT_LOAD_TABLE_PROPERTIES);
553 554 555 556 557 558

  *tp = std::shared_ptr<const TableProperties>(raw_table_properties);
  return s;
}

Status Version::GetPropertiesOfAllTables(TablePropertiesCollection* props) {
559 560
  for (int level = 0; level < num_levels_; level++) {
    for (const auto& file_meta : files_[level]) {
561 562 563
      auto fname =
          TableFileName(vset_->options_->db_paths, file_meta->fd.GetNumber(),
                        file_meta->fd.GetPathId());
564 565 566
      // 1. If the table is already present in table cache, load table
      // properties from there.
      std::shared_ptr<const TableProperties> table_properties;
567
      Status s = GetTableProperties(&table_properties, file_meta, &fname);
568 569
      if (s.ok()) {
        props->insert({fname, table_properties});
570
      } else {
571 572 573 574 575 576 577 578
        return s;
      }
    }
  }

  return Status::OK();
}

579 580 581 582 583 584 585 586 587 588 589 590
size_t Version::GetMemoryUsageByTableReaders() {
  size_t total_usage = 0;
  for (auto& file_level : file_levels_) {
    for (size_t i = 0; i < file_level.num_files; i++) {
      total_usage += cfd_->table_cache()->GetMemoryUsageByTableReader(
          vset_->storage_options_, cfd_->internal_comparator(),
          file_level.files[i].fd);
    }
  }
  return total_usage;
}

S
sdong 已提交
591 592 593 594 595 596 597 598
uint64_t Version::GetEstimatedActiveKeys() {
  // Estimation will be not accurate when:
  // (1) there is merge keys
  // (2) keys are directly overwritten
  // (3) deletion on non-existing keys
  return num_non_deletions_ - num_deletions_;
}

599
void Version::AddIterators(const ReadOptions& read_options,
H
Haobo Xu 已提交
600
                           const EnvOptions& soptions,
J
jorlow@chromium.org 已提交
601 602
                           std::vector<Iterator*>* iters) {
  // Merge all level zero files together since they may overlap
F
Feng Zhu 已提交
603 604
  for (size_t i = 0; i < file_levels_[0].num_files; i++) {
    const auto& file = file_levels_[0].files[i];
I
Igor Canadi 已提交
605
    iters->push_back(cfd_->table_cache()->NewIterator(
F
Feng Zhu 已提交
606
        read_options, soptions, cfd_->internal_comparator(), file.fd));
J
jorlow@chromium.org 已提交
607 608 609 610 611
  }

  // For levels > 0, we can use a concatenating iterator that sequentially
  // walks through the non-overlapping files in the level, opening them
  // lazily.
612
  for (int level = 1; level < num_levels_; level++) {
F
Feng Zhu 已提交
613
    if (file_levels_[level].num_files != 0) {
L
Lei Jin 已提交
614
      iters->push_back(NewTwoLevelIterator(new LevelFileIteratorState(
615
          cfd_->table_cache(), read_options, soptions,
L
Lei Jin 已提交
616 617
          cfd_->internal_comparator(), false /* for_compaction */,
          cfd_->options()->prefix_extractor != nullptr),
F
Feng Zhu 已提交
618 619
        new LevelFileNumIterator(cfd_->internal_comparator(),
            &file_levels_[level])));
J
jorlow@chromium.org 已提交
620 621 622 623
    }
  }
}

624 625 626 627
void Version::AddIterators(const ReadOptions& read_options,
                           const EnvOptions& soptions,
                           MergeIteratorBuilder* merge_iter_builder) {
  // Merge all level zero files together since they may overlap
F
Feng Zhu 已提交
628 629
  for (size_t i = 0; i < file_levels_[0].num_files; i++) {
    const auto& file = file_levels_[0].files[i];
630
    merge_iter_builder->AddIterator(cfd_->table_cache()->NewIterator(
F
Feng Zhu 已提交
631
        read_options, soptions, cfd_->internal_comparator(), file.fd, nullptr,
632 633 634 635 636 637 638
        false, merge_iter_builder->GetArena()));
  }

  // For levels > 0, we can use a concatenating iterator that sequentially
  // walks through the non-overlapping files in the level, opening them
  // lazily.
  for (int level = 1; level < num_levels_; level++) {
F
Feng Zhu 已提交
639
    if (file_levels_[level].num_files != 0) {
640 641 642 643 644
      merge_iter_builder->AddIterator(NewTwoLevelIterator(
          new LevelFileIteratorState(
              cfd_->table_cache(), read_options, soptions,
              cfd_->internal_comparator(), false /* for_compaction */,
              cfd_->options()->prefix_extractor != nullptr),
F
Feng Zhu 已提交
645 646
          new LevelFileNumIterator(cfd_->internal_comparator(),
              &file_levels_[level]), merge_iter_builder->GetArena()));
647 648 649 650
    }
  }
}

S
Sanjay Ghemawat 已提交
651 652 653 654 655 656
// Callback from TableCache::Get()
enum SaverState {
  kNotFound,
  kFound,
  kDeleted,
  kCorrupt,
657
  kMerge // saver contains the current merge result (the operands)
S
Sanjay Ghemawat 已提交
658
};
M
miguelportilla 已提交
659 660

namespace version_set {
S
Sanjay Ghemawat 已提交
661 662 663 664
struct Saver {
  SaverState state;
  const Comparator* ucmp;
  Slice user_key;
665
  bool* value_found; // Is value set correctly? Used by KeyMayExist
S
Sanjay Ghemawat 已提交
666
  std::string* value;
667
  const MergeOperator* merge_operator;
668 669
  // the merge operations encountered;
  MergeContext* merge_context;
670
  Logger* logger;
671
  Statistics* statistics;
S
Sanjay Ghemawat 已提交
672
};
M
miguelportilla 已提交
673
} // namespace version_set
674

S
Siying Dong 已提交
675 676 677 678 679
// Called from TableCache::Get and Table::Get when file/block in which
// key may  exist are not there in TableCache/BlockCache respectively. In this
// case we  can't guarantee that key does not exist and are not permitted to do
// IO to be  certain.Set the status=kFound and value_found=false to let the
// caller know that key may exist but is not there in memory
680
static void MarkKeyMayExist(void* arg) {
M
miguelportilla 已提交
681
  version_set::Saver* s = reinterpret_cast<version_set::Saver*>(arg);
682
  s->state = kFound;
683 684 685
  if (s->value_found != nullptr) {
    *(s->value_found) = false;
  }
686 687
}

688
static bool SaveValue(void* arg, const ParsedInternalKey& parsed_key,
I
Igor Canadi 已提交
689
                      const Slice& v) {
M
miguelportilla 已提交
690
  version_set::Saver* s = reinterpret_cast<version_set::Saver*>(arg);
691
  MergeContext* merge_contex = s->merge_context;
692 693
  std::string merge_result;  // temporary area for merge results later

694
  assert(s != nullptr && merge_contex != nullptr);
695

I
Igor Canadi 已提交
696
  // TODO: Merge?
697 698 699 700 701 702 703 704 705 706 707 708 709 710 711
  if (s->ucmp->Compare(parsed_key.user_key, s->user_key) == 0) {
    // Key matches. Process it
    switch (parsed_key.type) {
      case kTypeValue:
        if (kNotFound == s->state) {
          s->state = kFound;
          s->value->assign(v.data(), v.size());
        } else if (kMerge == s->state) {
          assert(s->merge_operator != nullptr);
          s->state = kFound;
          if (!s->merge_operator->FullMerge(s->user_key, &v,
                                            merge_contex->GetOperands(),
                                            s->value, s->logger)) {
            RecordTick(s->statistics, NUMBER_MERGE_FAILURES);
            s->state = kCorrupt;
712
          }
713 714 715 716
        } else {
          assert(false);
        }
        return false;
717

718 719 720 721 722
      case kTypeDeletion:
        if (kNotFound == s->state) {
          s->state = kDeleted;
        } else if (kMerge == s->state) {
          s->state = kFound;
723 724 725
          if (!s->merge_operator->FullMerge(s->user_key, nullptr,
                                            merge_contex->GetOperands(),
                                            s->value, s->logger)) {
726 727
            RecordTick(s->statistics, NUMBER_MERGE_FAILURES);
            s->state = kCorrupt;
728
          }
729
        } else {
J
Jim Paton 已提交
730
          assert(false);
731 732 733 734 735 736 737
        }
        return false;

      case kTypeMerge:
        assert(s->state == kNotFound || s->state == kMerge);
        s->state = kMerge;
        merge_contex->PushOperand(v);
738
        return true;
739 740 741 742

      default:
        assert(false);
        break;
743 744
    }
  }
745 746 747 748

  // s->state could be Corrupt, merge or notfound

  return false;
749 750
}

751 752 753
Version::Version(ColumnFamilyData* cfd, VersionSet* vset,
                 uint64_t version_number)
    : cfd_(cfd),
754 755
      internal_comparator_((cfd == nullptr) ? nullptr
                                            : &cfd->internal_comparator()),
S
sdong 已提交
756 757
      user_comparator_(
          (cfd == nullptr) ? nullptr : internal_comparator_->user_comparator()),
758 759 760 761 762 763
      table_cache_((cfd == nullptr) ? nullptr : cfd->table_cache()),
      merge_operator_((cfd == nullptr) ? nullptr
                                       : cfd->options()->merge_operator.get()),
      info_log_((cfd == nullptr) ? nullptr : cfd->options()->info_log.get()),
      db_statistics_((cfd == nullptr) ? nullptr
                                      : cfd->options()->statistics.get()),
764 765 766
      // cfd is nullptr if Version is dummy
      num_levels_(cfd == nullptr ? 0 : cfd->NumberLevels()),
      num_non_empty_levels_(num_levels_),
767 768 769
      file_indexer_(cfd == nullptr
                        ? nullptr
                        : cfd->internal_comparator().user_comparator()),
770
      vset_(vset),
771 772 773 774 775 776 777 778
      next_(this),
      prev_(this),
      refs_(0),
      files_(new std::vector<FileMetaData*>[num_levels_]),
      files_by_size_(num_levels_),
      next_file_to_compact_by_size_(num_levels_),
      compaction_score_(num_levels_),
      compaction_level_(num_levels_),
779
      version_number_(version_number),
780 781 782
      total_file_size_(0),
      total_raw_key_size_(0),
      total_raw_value_size_(0),
S
sdong 已提交
783 784
      num_non_deletions_(0),
      num_deletions_(0) {
785 786 787 788 789
  if (cfd != nullptr && cfd->current() != nullptr) {
      total_file_size_ = cfd->current()->total_file_size_;
      total_raw_key_size_ = cfd->current()->total_raw_key_size_;
      total_raw_value_size_ = cfd->current()->total_raw_value_size_;
      num_non_deletions_ = cfd->current()->num_non_deletions_;
S
sdong 已提交
790
      num_deletions_ = cfd->current()->num_deletions_;
791
  }
792
}
793

794 795 796
void Version::Get(const ReadOptions& options,
                  const LookupKey& k,
                  std::string* value,
797
                  Status* status,
798
                  MergeContext* merge_context,
799
                  bool* value_found) {
800 801
  Slice ikey = k.internal_key();
  Slice user_key = k.user_key();
802 803

  assert(status->ok() || status->IsMergeInProgress());
M
miguelportilla 已提交
804
  version_set::Saver saver;
805
  saver.state = status->ok()? kNotFound : kMerge;
806
  saver.ucmp = user_comparator_;
807
  saver.user_key = user_key;
808
  saver.value_found = value_found;
809
  saver.value = value;
810
  saver.merge_operator = merge_operator_;
811
  saver.merge_context = merge_context;
812 813
  saver.logger = info_log_;
  saver.statistics = db_statistics_;
814

815 816 817 818 819 820 821 822 823
  FilePicker fp(files_, user_key, ikey, &file_levels_, num_non_empty_levels_,
      &file_indexer_, user_comparator_, internal_comparator_);
  FdWithKeyRange* f = fp.GetNextFile();
  while (f != nullptr) {
    *status = table_cache_->Get(options, *internal_comparator_, f->fd, ikey,
                                &saver, SaveValue, MarkKeyMayExist);
    // TODO: examine the behavior for corrupted key
    if (!status->ok()) {
      return;
824
    }
825

826 827 828 829
    switch (saver.state) {
      case kNotFound:
        break;      // Keep searching in other files
      case kFound:
830
        return;
831 832 833 834 835 836 837
      case kDeleted:
        *status = Status::NotFound();  // Use empty error message for speed
        return;
      case kCorrupt:
        *status = Status::Corruption("corrupted key for ", user_key);
        return;
      case kMerge:
838
        break;
839
    }
840
    f = fp.GetNextFile();
841 842
  }

843
  if (kMerge == saver.state) {
844 845 846 847 848
    if (!merge_operator_) {
      *status =  Status::InvalidArgument(
          "merge_operator is not properly initialized.");
      return;
    }
849 850
    // merge_operands are in saver and we hit the beginning of the key history
    // do a final merge of nullptr and operands;
851 852 853
    if (merge_operator_->FullMerge(user_key, nullptr,
                                   saver.merge_context->GetOperands(), value,
                                   info_log_)) {
854 855
      *status = Status::OK();
    } else {
856
      RecordTick(db_statistics_, NUMBER_MERGE_FAILURES);
857 858 859
      *status = Status::Corruption("could not perform end-of-key merge for ",
                                   user_key);
    }
860
  } else {
861
    *status = Status::NotFound(); // Use an empty error message for speed
862
  }
863 864
}

865 866 867
void Version::GenerateFileLevels() {
  file_levels_.resize(num_non_empty_levels_);
  for (int level = 0; level < num_non_empty_levels_; level++) {
F
Feng Zhu 已提交
868
    DoGenerateFileLevel(&file_levels_[level], files_[level], &arena_);
869 870 871
  }
}

872
void Version::PrepareApply(std::vector<uint64_t>& size_being_compacted) {
873
  UpdateTemporaryStats();
874 875 876
  ComputeCompactionScore(size_being_compacted);
  UpdateFilesBySize();
  UpdateNumNonEmptyLevels();
877
  file_indexer_.UpdateIndex(&arena_, num_non_empty_levels_, files_);
878
  GenerateFileLevels();
879 880
}

881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898
bool Version::MaybeInitializeFileMetaData(FileMetaData* file_meta) {
  if (file_meta->num_entries > 0) {
    return false;
  }
  std::shared_ptr<const TableProperties> tp;
  Status s = GetTableProperties(&tp, file_meta);
  if (!s.ok()) {
    return false;
  }
  if (tp.get() == nullptr) return false;
  file_meta->num_entries = tp->num_entries;
  file_meta->num_deletions = GetDeletedKeys(tp->user_collected_properties);
  file_meta->raw_value_size = tp->raw_value_size;
  file_meta->raw_key_size = tp->raw_key_size;

  return true;
}

899
void Version::UpdateTemporaryStats() {
900 901 902 903 904 905 906 907 908 909 910 911 912 913 914
  static const int kDeletionWeightOnCompaction = 2;

  // incrementally update the average value size by
  // including newly added files into the global stats
  int init_count = 0;
  int total_count = 0;
  for (int level = 0; level < num_levels_; level++) {
    for (auto* file_meta : files_[level]) {
      if (MaybeInitializeFileMetaData(file_meta)) {
        // each FileMeta will be initialized only once.
        total_file_size_ += file_meta->fd.GetFileSize();
        total_raw_key_size_ += file_meta->raw_key_size;
        total_raw_value_size_ += file_meta->raw_value_size;
        num_non_deletions_ +=
            file_meta->num_entries - file_meta->num_deletions;
S
sdong 已提交
915
        num_deletions_ += file_meta->num_deletions;
916 917 918 919 920 921 922 923 924 925 926
        init_count++;
      }
      total_count++;
    }
  }

  uint64_t average_value_size = GetAverageValueSize();

  // compute the compensated size
  for (int level = 0; level < num_levels_; level++) {
    for (auto* file_meta : files_[level]) {
927 928 929 930 931 932 933
      // Here we only compute compensated_file_size for those file_meta
      // which compensated_file_size is uninitialized (== 0).
      if (file_meta->compensated_file_size == 0) {
        file_meta->compensated_file_size = file_meta->fd.GetFileSize() +
            file_meta->num_deletions * average_value_size *
            kDeletionWeightOnCompaction;
      }
934 935 936 937
    }
  }
}

938 939
void Version::ComputeCompactionScore(
    std::vector<uint64_t>& size_being_compacted) {
940 941 942
  double max_score = 0;
  int max_score_level = 0;

943 944
  int max_input_level =
      cfd_->compaction_picker()->MaxInputLevel(NumberLevels());
945

946
  for (int level = 0; level <= max_input_level; level++) {
947 948 949 950 951 952 953 954 955 956 957 958 959 960
    double score;
    if (level == 0) {
      // We treat level-0 specially by bounding the number of files
      // instead of number of bytes for two reasons:
      //
      // (1) With larger write-buffer sizes, it is nice not to do too
      // many level-0 compactions.
      //
      // (2) The files in level-0 are merged on every read and
      // therefore we wish to avoid too many files when the individual
      // file size is small (perhaps because of a small write-buffer
      // setting, or very high compression ratios, or lots of
      // overwrites/deletions).
      int numfiles = 0;
I
Igor Canadi 已提交
961
      uint64_t total_size = 0;
962 963
      for (unsigned int i = 0; i < files_[level].size(); i++) {
        if (!files_[level][i]->being_compacted) {
964
          total_size += files_[level][i]->compensated_file_size;
965 966 967
          numfiles++;
        }
      }
I
Igor Canadi 已提交
968 969 970 971 972
      if (cfd_->options()->compaction_style == kCompactionStyleFIFO) {
        score = static_cast<double>(total_size) /
                cfd_->options()->compaction_options_fifo.max_table_files_size;
      } else if (numfiles >= cfd_->options()->level0_stop_writes_trigger) {
        // If we are slowing down writes, then we better compact that first
973
        score = 1000000;
974
      } else if (numfiles >= cfd_->options()->level0_slowdown_writes_trigger) {
975 976 977
        score = 10000;
      } else {
        score = static_cast<double>(numfiles) /
978
                cfd_->options()->level0_file_num_compaction_trigger;
979 980 981 982
      }
    } else {
      // Compute the ratio of current size to size limit.
      const uint64_t level_bytes =
983
          TotalCompensatedFileSize(files_[level]) - size_being_compacted[level];
984 985
      score = static_cast<double>(level_bytes) /
              cfd_->compaction_picker()->MaxBytesForLevel(level);
986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017
      if (max_score < score) {
        max_score = score;
        max_score_level = level;
      }
    }
    compaction_level_[level] = level;
    compaction_score_[level] = score;
  }

  // update the max compaction score in levels 1 to n-1
  max_compaction_score_ = max_score;
  max_compaction_score_level_ = max_score_level;

  // sort all the levels based on their score. Higher scores get listed
  // first. Use bubble sort because the number of entries are small.
  for (int i = 0; i < NumberLevels() - 2; i++) {
    for (int j = i + 1; j < NumberLevels() - 1; j++) {
      if (compaction_score_[i] < compaction_score_[j]) {
        double score = compaction_score_[i];
        int level = compaction_level_[i];
        compaction_score_[i] = compaction_score_[j];
        compaction_level_[i] = compaction_level_[j];
        compaction_score_[j] = score;
        compaction_level_[j] = level;
      }
    }
  }
}

namespace {
// Compator that is used to sort files based on their size
// In normal mode: descending size
1018 1019 1020 1021
bool CompareCompensatedSizeDescending(const Version::Fsize& first,
                                      const Version::Fsize& second) {
  return (first.file->compensated_file_size >
      second.file->compensated_file_size);
1022
}
K
kailiu 已提交
1023
} // anonymous namespace
1024

1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035
void Version::UpdateNumNonEmptyLevels() {
  num_non_empty_levels_ = num_levels_;
  for (int i = num_levels_ - 1; i >= 0; i--) {
    if (files_[i].size() != 0) {
      return;
    } else {
      num_non_empty_levels_ = i;
    }
  }
}

1036
void Version::UpdateFilesBySize() {
1037 1038
  if (cfd_->options()->compaction_style == kCompactionStyleFIFO ||
      cfd_->options()->compaction_style == kCompactionStyleUniversal) {
I
Igor Canadi 已提交
1039 1040 1041
    // don't need this
    return;
  }
1042
  // No need to sort the highest level because it is never compacted.
1043
  for (int level = 0; level < NumberLevels() - 1; level++) {
1044
    const std::vector<FileMetaData*>& files = files_[level];
1045
    auto& files_by_size = files_by_size_[level];
1046 1047 1048 1049 1050 1051 1052 1053 1054 1055
    assert(files_by_size.size() == 0);

    // populate a temp vector for sorting based on size
    std::vector<Fsize> temp(files.size());
    for (unsigned int i = 0; i < files.size(); i++) {
      temp[i].index = i;
      temp[i].file = files[i];
    }

    // sort the top number_of_files_to_sort_ based on file size
1056 1057 1058
    size_t num = Version::number_of_files_to_sort_;
    if (num > temp.size()) {
      num = temp.size();
1059
    }
1060 1061
    std::partial_sort(temp.begin(), temp.begin() + num, temp.end(),
                      CompareCompensatedSizeDescending);
1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072
    assert(temp.size() == files.size());

    // initialize files_by_size_
    for (unsigned int i = 0; i < temp.size(); i++) {
      files_by_size.push_back(temp[i].index);
    }
    next_file_to_compact_by_size_[level] = 0;
    assert(files_[level].size() == files_by_size_[level].size());
  }
}

J
jorlow@chromium.org 已提交
1073 1074 1075 1076
void Version::Ref() {
  ++refs_;
}

1077
bool Version::Unref() {
J
jorlow@chromium.org 已提交
1078 1079 1080
  assert(refs_ >= 1);
  --refs_;
  if (refs_ == 0) {
1081
    delete this;
1082
    return true;
J
jorlow@chromium.org 已提交
1083
  }
1084
  return false;
J
jorlow@chromium.org 已提交
1085 1086
}

1087 1088 1089 1090 1091 1092 1093 1094
bool Version::NeedsCompaction() const {
  // In universal compaction case, this check doesn't really
  // check the compaction condition, but checks num of files threshold
  // only. We are not going to miss any compaction opportunity
  // but it's likely that more compactions are scheduled but
  // ending up with nothing to do. We can improve it later.
  // TODO(sdong): improve this function to be accurate for universal
  //              compactions.
1095 1096 1097 1098
  int max_input_level =
      cfd_->compaction_picker()->MaxInputLevel(NumberLevels());

  for (int i = 0; i <= max_input_level; i++) {
1099 1100 1101 1102 1103 1104 1105
    if (compaction_score_[i] >= 1) {
      return true;
    }
  }
  return false;
}

1106
bool Version::OverlapInLevel(int level,
G
Gabor Cselle 已提交
1107 1108
                             const Slice* smallest_user_key,
                             const Slice* largest_user_key) {
1109
  return SomeFileOverlapsRange(cfd_->internal_comparator(), (level > 0),
1110
                               file_levels_[level], smallest_user_key,
1111
                               largest_user_key);
G
Gabor Cselle 已提交
1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123
}

int Version::PickLevelForMemTableOutput(
    const Slice& smallest_user_key,
    const Slice& largest_user_key) {
  int level = 0;
  if (!OverlapInLevel(0, &smallest_user_key, &largest_user_key)) {
    // Push to next level if there is no overlap in next level,
    // and the #bytes overlapping in the level after that are limited.
    InternalKey start(smallest_user_key, kMaxSequenceNumber, kValueTypeForSeek);
    InternalKey limit(largest_user_key, 0, static_cast<ValueType>(0));
    std::vector<FileMetaData*> overlaps;
1124
    int max_mem_compact_level = cfd_->options()->max_mem_compaction_level;
1125
    while (max_mem_compact_level > 0 && level < max_mem_compact_level) {
G
Gabor Cselle 已提交
1126 1127 1128
      if (OverlapInLevel(level + 1, &smallest_user_key, &largest_user_key)) {
        break;
      }
1129
      if (level + 2 >= num_levels_) {
1130 1131
        level++;
        break;
1132
      }
G
Gabor Cselle 已提交
1133
      GetOverlappingInputs(level + 2, &start, &limit, &overlaps);
1134
      const uint64_t sum = TotalFileSize(overlaps);
1135
      if (sum > cfd_->compaction_picker()->MaxGrandParentOverlapBytes(level)) {
G
Gabor Cselle 已提交
1136 1137 1138 1139 1140
        break;
      }
      level++;
    }
  }
1141

G
Gabor Cselle 已提交
1142 1143 1144 1145
  return level;
}

// Store in "*inputs" all files in "level" that overlap [begin,end]
A
Abhishek Kona 已提交
1146
// If hint_index is specified, then it points to a file in the
1147 1148
// overlapping range.
// The file_index returns a pointer to any file in an overlapping range.
1149 1150 1151 1152 1153 1154
void Version::GetOverlappingInputs(int level,
                                   const InternalKey* begin,
                                   const InternalKey* end,
                                   std::vector<FileMetaData*>* inputs,
                                   int hint_index,
                                   int* file_index) {
G
Gabor Cselle 已提交
1155 1156
  inputs->clear();
  Slice user_begin, user_end;
A
Abhishek Kona 已提交
1157
  if (begin != nullptr) {
G
Gabor Cselle 已提交
1158 1159
    user_begin = begin->user_key();
  }
A
Abhishek Kona 已提交
1160
  if (end != nullptr) {
G
Gabor Cselle 已提交
1161 1162
    user_end = end->user_key();
  }
1163 1164 1165
  if (file_index) {
    *file_index = -1;
  }
1166
  const Comparator* user_cmp = cfd_->internal_comparator().user_comparator();
A
Abhishek Kona 已提交
1167
  if (begin != nullptr && end != nullptr && level > 0) {
1168 1169
    GetOverlappingInputsBinarySearch(level, user_begin, user_end, inputs,
      hint_index, file_index);
1170 1171
    return;
  }
1172 1173 1174 1175
  for (size_t i = 0; i < file_levels_[level].num_files; ) {
    FdWithKeyRange* f = &(file_levels_[level].files[i++]);
    const Slice file_start = ExtractUserKey(f->smallest_key);
    const Slice file_limit = ExtractUserKey(f->largest_key);
A
Abhishek Kona 已提交
1176
    if (begin != nullptr && user_cmp->Compare(file_limit, user_begin) < 0) {
G
Gabor Cselle 已提交
1177
      // "f" is completely before specified range; skip it
A
Abhishek Kona 已提交
1178
    } else if (end != nullptr && user_cmp->Compare(file_start, user_end) > 0) {
G
Gabor Cselle 已提交
1179 1180
      // "f" is completely after specified range; skip it
    } else {
1181
      inputs->push_back(files_[level][i-1]);
H
Hans Wennborg 已提交
1182 1183 1184
      if (level == 0) {
        // Level-0 files may overlap each other.  So check if the newly
        // added file has expanded the range.  If so, restart search.
A
Abhishek Kona 已提交
1185
        if (begin != nullptr && user_cmp->Compare(file_start, user_begin) < 0) {
H
Hans Wennborg 已提交
1186 1187 1188
          user_begin = file_start;
          inputs->clear();
          i = 0;
A
Abhishek Kona 已提交
1189 1190
        } else if (end != nullptr
            && user_cmp->Compare(file_limit, user_end) > 0) {
H
Hans Wennborg 已提交
1191 1192 1193 1194
          user_end = file_limit;
          inputs->clear();
          i = 0;
        }
1195
      } else if (file_index) {
1196
        *file_index = i-1;
H
Hans Wennborg 已提交
1197
      }
G
Gabor Cselle 已提交
1198 1199
    }
  }
1200 1201
}

1202 1203 1204 1205 1206 1207 1208 1209
// Store in "*inputs" all files in "level" that overlap [begin,end]
// Employ binary search to find at least one file that overlaps the
// specified range. From that file, iterate backwards and
// forwards to find all overlapping files.
void Version::GetOverlappingInputsBinarySearch(
    int level,
    const Slice& user_begin,
    const Slice& user_end,
1210 1211 1212
    std::vector<FileMetaData*>* inputs,
    int hint_index,
    int* file_index) {
1213 1214 1215 1216 1217
  assert(level > 0);
  int min = 0;
  int mid = 0;
  int max = files_[level].size() -1;
  bool foundOverlap = false;
1218
  const Comparator* user_cmp = cfd_->internal_comparator().user_comparator();
1219 1220 1221 1222 1223 1224 1225 1226 1227

  // if the caller already knows the index of a file that has overlap,
  // then we can skip the binary search.
  if (hint_index != -1) {
    mid = hint_index;
    foundOverlap = true;
  }

  while (!foundOverlap && min <= max) {
1228
    mid = (min + max)/2;
1229 1230 1231
    FdWithKeyRange* f = &(file_levels_[level].files[mid]);
    const Slice file_start = ExtractUserKey(f->smallest_key);
    const Slice file_limit = ExtractUserKey(f->largest_key);
1232 1233 1234 1235 1236 1237 1238 1239 1240
    if (user_cmp->Compare(file_limit, user_begin) < 0) {
      min = mid + 1;
    } else if (user_cmp->Compare(user_end, file_start) < 0) {
      max = mid - 1;
    } else {
      foundOverlap = true;
      break;
    }
  }
A
Abhishek Kona 已提交
1241

1242 1243 1244 1245
  // If there were no overlapping files, return immediately.
  if (!foundOverlap) {
    return;
  }
1246 1247 1248 1249
  // returns the index where an overlap is found
  if (file_index) {
    *file_index = mid;
  }
1250 1251
  ExtendOverlappingInputs(level, user_begin, user_end, inputs, mid);
}
A
Abhishek Kona 已提交
1252

1253 1254 1255 1256
// Store in "*inputs" all files in "level" that overlap [begin,end]
// The midIndex specifies the index of at least one file that
// overlaps the specified range. From that file, iterate backward
// and forward to find all overlapping files.
F
Feng Zhu 已提交
1257
// Use FileLevel in searching, make it faster
1258 1259 1260 1261 1262
void Version::ExtendOverlappingInputs(
    int level,
    const Slice& user_begin,
    const Slice& user_end,
    std::vector<FileMetaData*>* inputs,
1263
    unsigned int midIndex) {
1264

1265
  const Comparator* user_cmp = cfd_->internal_comparator().user_comparator();
1266
  const FdWithKeyRange* files = file_levels_[level].files;
1267 1268 1269
#ifndef NDEBUG
  {
    // assert that the file at midIndex overlaps with the range
1270 1271 1272 1273
    assert(midIndex < file_levels_[level].num_files);
    const FdWithKeyRange* f = &files[midIndex];
    const Slice fstart = ExtractUserKey(f->smallest_key);
    const Slice flimit = ExtractUserKey(f->largest_key);
1274 1275 1276 1277 1278 1279 1280
    if (user_cmp->Compare(fstart, user_begin) >= 0) {
      assert(user_cmp->Compare(fstart, user_end) <= 0);
    } else {
      assert(user_cmp->Compare(flimit, user_begin) >= 0);
    }
  }
#endif
1281 1282
  int startIndex = midIndex + 1;
  int endIndex = midIndex;
1283
  int count __attribute__((unused)) = 0;
1284 1285

  // check backwards from 'mid' to lower indices
1286
  for (int i = midIndex; i >= 0 ; i--) {
1287 1288
    const FdWithKeyRange* f = &files[i];
    const Slice file_limit = ExtractUserKey(f->largest_key);
1289
    if (user_cmp->Compare(file_limit, user_begin) >= 0) {
1290 1291
      startIndex = i;
      assert((count++, true));
1292 1293 1294 1295 1296
    } else {
      break;
    }
  }
  // check forward from 'mid+1' to higher indices
1297 1298 1299
  for (unsigned int i = midIndex+1; i < file_levels_[level].num_files; i++) {
    const FdWithKeyRange* f = &files[i];
    const Slice file_start = ExtractUserKey(f->smallest_key);
1300
    if (user_cmp->Compare(file_start, user_end) <= 0) {
1301 1302
      assert((count++, true));
      endIndex = i;
1303 1304 1305 1306
    } else {
      break;
    }
  }
1307 1308 1309 1310 1311
  assert(count == endIndex - startIndex + 1);

  // insert overlapping files into vector
  for (int i = startIndex; i <= endIndex; i++) {
    FileMetaData* f = files_[level][i];
1312
    inputs->push_back(f);
1313
  }
1314 1315
}

1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329
// Returns true iff the first or last file in inputs contains
// an overlapping user key to the file "just outside" of it (i.e.
// just after the last file, or just before the first file)
// REQUIRES: "*inputs" is a sorted list of non-overlapping files
bool Version::HasOverlappingUserKey(
    const std::vector<FileMetaData*>* inputs,
    int level) {

  // If inputs empty, there is no overlap.
  // If level == 0, it is assumed that all needed files were already included.
  if (inputs->empty() || level == 0){
    return false;
  }

1330
  const Comparator* user_cmp = cfd_->internal_comparator().user_comparator();
1331 1332 1333
  const FileLevel& file_level = file_levels_[level];
  const FdWithKeyRange* files = file_levels_[level].files;
  const size_t kNumFiles = file_level.num_files;
1334 1335

  // Check the last file in inputs against the file after it
1336
  size_t last_file = FindFile(cfd_->internal_comparator(), file_level,
1337 1338 1339
                              inputs->back()->largest.Encode());
  assert(0 <= last_file && last_file < kNumFiles);  // File should exist!
  if (last_file < kNumFiles-1) {                    // If not the last file
1340 1341 1342 1343
    const Slice last_key_in_input = ExtractUserKey(
        files[last_file].largest_key);
    const Slice first_key_after = ExtractUserKey(
        files[last_file+1].smallest_key);
1344 1345 1346 1347 1348 1349 1350
    if (user_cmp->Compare(last_key_in_input, first_key_after) == 0) {
      // The last user key in input overlaps with the next file's first key
      return true;
    }
  }

  // Check the first file in inputs against the file just before it
1351
  size_t first_file = FindFile(cfd_->internal_comparator(), file_level,
1352 1353 1354
                               inputs->front()->smallest.Encode());
  assert(0 <= first_file && first_file <= last_file);   // File should exist!
  if (first_file > 0) {                                 // If not first file
1355 1356 1357 1358
    const Slice& first_key_in_input = ExtractUserKey(
        files[first_file].smallest_key);
    const Slice& last_key_before = ExtractUserKey(
        files[first_file-1].largest_key);
1359 1360 1361 1362 1363 1364 1365 1366 1367
    if (user_cmp->Compare(first_key_in_input, last_key_before) == 0) {
      // The first user key in input overlaps with the previous file's last key
      return true;
    }
  }

  return false;
}

1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381
int64_t Version::NumLevelBytes(int level) const {
  assert(level >= 0);
  assert(level < NumberLevels());
  return TotalFileSize(files_[level]);
}

const char* Version::LevelSummary(LevelSummaryStorage* scratch) const {
  int len = snprintf(scratch->buffer, sizeof(scratch->buffer), "files[");
  for (int i = 0; i < NumberLevels(); i++) {
    int sz = sizeof(scratch->buffer) - len;
    int ret = snprintf(scratch->buffer + len, sz, "%d ", int(files_[i].size()));
    if (ret < 0 || ret >= sz) break;
    len += ret;
  }
I
Igor Canadi 已提交
1382 1383 1384 1385
  if (len > 0) {
    // overwrite the last space
    --len;
  }
1386 1387 1388 1389 1390 1391 1392 1393 1394
  snprintf(scratch->buffer + len, sizeof(scratch->buffer) - len, "]");
  return scratch->buffer;
}

const char* Version::LevelFileSummary(FileSummaryStorage* scratch,
                                      int level) const {
  int len = snprintf(scratch->buffer, sizeof(scratch->buffer), "files_size[");
  for (const auto& f : files_[level]) {
    int sz = sizeof(scratch->buffer) - len;
I
Igor Canadi 已提交
1395
    char sztxt[16];
1396
    AppendHumanBytes(f->fd.GetFileSize(), sztxt, sizeof(sztxt));
1397
    int ret = snprintf(scratch->buffer + len, sz,
1398 1399
                       "#%" PRIu64 "(seq=%" PRIu64 ",sz=%s,%d) ",
                       f->fd.GetNumber(), f->smallest_seqno, sztxt,
I
Igor Canadi 已提交
1400
                       static_cast<int>(f->being_compacted));
1401 1402 1403 1404
    if (ret < 0 || ret >= sz)
      break;
    len += ret;
  }
I
Igor Canadi 已提交
1405 1406 1407 1408
  // overwrite the last space (only if files_[level].size() is non-zero)
  if (files_[level].size() && len > 0) {
    --len;
  }
1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427
  snprintf(scratch->buffer + len, sizeof(scratch->buffer) - len, "]");
  return scratch->buffer;
}

int64_t Version::MaxNextLevelOverlappingBytes() {
  uint64_t result = 0;
  std::vector<FileMetaData*> overlaps;
  for (int level = 1; level < NumberLevels() - 1; level++) {
    for (const auto& f : files_[level]) {
      GetOverlappingInputs(level + 1, &f->smallest, &f->largest, &overlaps);
      const uint64_t sum = TotalFileSize(overlaps);
      if (sum > result) {
        result = sum;
      }
    }
  }
  return result;
}

1428
void Version::AddLiveFiles(std::vector<FileDescriptor>* live) {
1429 1430 1431
  for (int level = 0; level < NumberLevels(); level++) {
    const std::vector<FileMetaData*>& files = files_[level];
    for (const auto& file : files) {
1432
      live->push_back(file->fd);
1433 1434 1435 1436
    }
  }
}

Z
Zheng Shao 已提交
1437
std::string Version::DebugString(bool hex) const {
J
jorlow@chromium.org 已提交
1438
  std::string r;
1439
  for (int level = 0; level < num_levels_; level++) {
1440 1441 1442 1443 1444
    // E.g.,
    //   --- level 1 ---
    //   17:123['a' .. 'd']
    //   20:43['e' .. 'g']
    r.append("--- level ");
J
jorlow@chromium.org 已提交
1445
    AppendNumberTo(&r, level);
1446 1447
    r.append(" --- version# ");
    AppendNumberTo(&r, version_number_);
1448
    r.append(" ---\n");
J
jorlow@chromium.org 已提交
1449
    const std::vector<FileMetaData*>& files = files_[level];
D
dgrogan@chromium.org 已提交
1450
    for (size_t i = 0; i < files.size(); i++) {
J
jorlow@chromium.org 已提交
1451
      r.push_back(' ');
1452
      AppendNumberTo(&r, files[i]->fd.GetNumber());
J
jorlow@chromium.org 已提交
1453
      r.push_back(':');
1454
      AppendNumberTo(&r, files[i]->fd.GetFileSize());
G
Gabor Cselle 已提交
1455
      r.append("[");
Z
Zheng Shao 已提交
1456
      r.append(files[i]->smallest.DebugString(hex));
G
Gabor Cselle 已提交
1457
      r.append(" .. ");
Z
Zheng Shao 已提交
1458
      r.append(files[i]->largest.DebugString(hex));
G
Gabor Cselle 已提交
1459
      r.append("]\n");
J
jorlow@chromium.org 已提交
1460 1461 1462 1463 1464
    }
  }
  return r;
}

1465 1466 1467 1468 1469
// this is used to batch writes to the manifest file
struct VersionSet::ManifestWriter {
  Status status;
  bool done;
  port::CondVar cv;
1470
  ColumnFamilyData* cfd;
1471
  VersionEdit* edit;
A
Abhishek Kona 已提交
1472

1473 1474 1475
  explicit ManifestWriter(port::Mutex* mu, ColumnFamilyData* cfd,
                          VersionEdit* e)
      : done(false), cv(mu), cfd(cfd), edit(e) {}
1476 1477
};

J
jorlow@chromium.org 已提交
1478 1479 1480 1481 1482
// A helper class so we can efficiently apply a whole sequence
// of edits to a particular state without creating intermediate
// Versions that contain full copies of the intermediate state.
class VersionSet::Builder {
 private:
1483
  // Helper to sort v->files_
1484
  // kLevel0 -- NewestFirstBySeqNo
1485 1486 1487
  // kLevelNon0 -- BySmallestKey
  struct FileComparator {
    enum SortMethod {
1488 1489
      kLevel0 = 0,
      kLevelNon0 = 1,
1490
    } sort_method;
1491 1492 1493
    const InternalKeyComparator* internal_comparator;

    bool operator()(FileMetaData* f1, FileMetaData* f2) const {
1494
      switch (sort_method) {
1495
        case kLevel0:
1496 1497 1498
          return NewestFirstBySeqNo(f1, f2);
        case kLevelNon0:
          return BySmallestKey(f1, f2, internal_comparator);
1499
      }
1500
      assert(false);
1501
      return false;
1502 1503 1504
    }
  };

1505
  typedef std::set<FileMetaData*, FileComparator> FileSet;
1506 1507 1508 1509 1510
  struct LevelState {
    std::set<uint64_t> deleted_files;
    FileSet* added_files;
  };

1511
  ColumnFamilyData* cfd_;
1512
  Version* base_;
1513
  LevelState* levels_;
1514 1515
  FileComparator level_zero_cmp_;
  FileComparator level_nonzero_cmp_;
J
jorlow@chromium.org 已提交
1516 1517

 public:
1518
  Builder(ColumnFamilyData* cfd) : cfd_(cfd), base_(cfd->current()) {
1519
    base_->Ref();
1520
    levels_ = new LevelState[base_->NumberLevels()];
1521
    level_zero_cmp_.sort_method = FileComparator::kLevel0;
1522
    level_nonzero_cmp_.sort_method = FileComparator::kLevelNon0;
1523
    level_nonzero_cmp_.internal_comparator = &cfd->internal_comparator();
1524 1525

    levels_[0].added_files = new FileSet(level_zero_cmp_);
1526
    for (int level = 1; level < base_->NumberLevels(); level++) {
1527
        levels_[level].added_files = new FileSet(level_nonzero_cmp_);
J
jorlow@chromium.org 已提交
1528 1529 1530 1531
    }
  }

  ~Builder() {
1532
    for (int level = 0; level < base_->NumberLevels(); level++) {
1533 1534 1535 1536 1537 1538 1539 1540
      const FileSet* added = levels_[level].added_files;
      std::vector<FileMetaData*> to_unref;
      to_unref.reserve(added->size());
      for (FileSet::const_iterator it = added->begin();
          it != added->end(); ++it) {
        to_unref.push_back(*it);
      }
      delete added;
D
dgrogan@chromium.org 已提交
1541
      for (uint32_t i = 0; i < to_unref.size(); i++) {
1542
        FileMetaData* f = to_unref[i];
J
jorlow@chromium.org 已提交
1543 1544
        f->refs--;
        if (f->refs <= 0) {
1545
          if (f->table_reader_handle) {
1546
            cfd_->table_cache()->ReleaseHandle(f->table_reader_handle);
1547 1548
            f->table_reader_handle = nullptr;
          }
J
jorlow@chromium.org 已提交
1549 1550 1551 1552
          delete f;
        }
      }
    }
K
kailiu 已提交
1553

1554
    delete[] levels_;
1555
    base_->Unref();
J
jorlow@chromium.org 已提交
1556 1557
  }

1558 1559
  void CheckConsistency(Version* v) {
#ifndef NDEBUG
1560
    // make sure the files are sorted correctly
1561
    for (int level = 0; level < v->NumberLevels(); level++) {
1562 1563 1564 1565 1566
      for (size_t i = 1; i < v->files_[level].size(); i++) {
        auto f1 = v->files_[level][i - 1];
        auto f2 = v->files_[level][i];
        if (level == 0) {
          assert(level_zero_cmp_(f1, f2));
1567
          assert(f1->largest_seqno > f2->largest_seqno);
1568 1569 1570 1571
        } else {
          assert(level_nonzero_cmp_(f1, f2));

          // Make sure there is no overlap in levels > 0
1572 1573
          if (cfd_->internal_comparator().Compare(f1->largest, f2->smallest) >=
              0) {
1574
            fprintf(stderr, "overlapping ranges in same level %s vs. %s\n",
1575 1576
                    (f1->largest).DebugString().c_str(),
                    (f2->smallest).DebugString().c_str());
1577 1578 1579 1580 1581 1582 1583 1584
            abort();
          }
        }
      }
    }
#endif
  }

1585
  void CheckConsistencyForDeletes(VersionEdit* edit, uint64_t number,
1586
                                  int level) {
1587 1588 1589
#ifndef NDEBUG
      // a file to be deleted better exist in the previous version
      bool found = false;
1590
      for (int l = 0; !found && l < base_->NumberLevels(); l++) {
1591
        const std::vector<FileMetaData*>& base_files = base_->files_[l];
1592
        for (unsigned int i = 0; i < base_files.size(); i++) {
1593
          FileMetaData* f = base_files[i];
1594
          if (f->fd.GetNumber() == number) {
1595 1596 1597 1598 1599 1600 1601 1602
            found =  true;
            break;
          }
        }
      }
      // if the file did not exist in the previous version, then it
      // is possibly moved from lower level to higher level in current
      // version
1603
      for (int l = level+1; !found && l < base_->NumberLevels(); l++) {
1604
        const FileSet* added = levels_[l].added_files;
D
Dhruba Borthakur 已提交
1605 1606 1607
        for (FileSet::const_iterator added_iter = added->begin();
             added_iter != added->end(); ++added_iter) {
          FileMetaData* f = *added_iter;
1608
          if (f->fd.GetNumber() == number) {
D
Dhruba Borthakur 已提交
1609 1610 1611 1612 1613 1614 1615 1616 1617
            found = true;
            break;
          }
        }
      }

      // maybe this file was added in a previous edit that was Applied
      if (!found) {
        const FileSet* added = levels_[level].added_files;
1618 1619 1620
        for (FileSet::const_iterator added_iter = added->begin();
             added_iter != added->end(); ++added_iter) {
          FileMetaData* f = *added_iter;
1621
          if (f->fd.GetNumber() == number) {
1622 1623 1624 1625 1626
            found = true;
            break;
          }
        }
      }
1627
      if (!found) {
I
Igor Canadi 已提交
1628
        fprintf(stderr, "not found %" PRIu64 "\n", number);
1629
      }
1630 1631 1632 1633
      assert(found);
#endif
  }

J
jorlow@chromium.org 已提交
1634 1635
  // Apply all of the edits in *edit to the current state.
  void Apply(VersionEdit* edit) {
1636 1637
    CheckConsistency(base_);

J
jorlow@chromium.org 已提交
1638 1639
    // Delete files
    const VersionEdit::DeletedFileSet& del = edit->deleted_files_;
K
kailiu 已提交
1640 1641 1642
    for (const auto& del_file : del) {
      const auto level = del_file.first;
      const auto number = del_file.second;
1643
      levels_[level].deleted_files.insert(number);
1644
      CheckConsistencyForDeletes(edit, number, level);
J
jorlow@chromium.org 已提交
1645 1646 1647
    }

    // Add new files
K
kailiu 已提交
1648 1649 1650
    for (const auto& new_file : edit->new_files_) {
      const int level = new_file.first;
      FileMetaData* f = new FileMetaData(new_file.second);
J
jorlow@chromium.org 已提交
1651
      f->refs = 1;
1652

1653
      levels_[level].deleted_files.erase(f->fd.GetNumber());
1654
      levels_[level].added_files->insert(f);
J
jorlow@chromium.org 已提交
1655 1656 1657 1658 1659
    }
  }

  // Save the current state in *v.
  void SaveTo(Version* v) {
1660 1661
    CheckConsistency(base_);
    CheckConsistency(v);
1662

1663
    for (int level = 0; level < base_->NumberLevels(); level++) {
1664
      const auto& cmp = (level == 0) ? level_zero_cmp_ : level_nonzero_cmp_;
1665 1666
      // Merge the set of added files with the set of pre-existing files.
      // Drop any deleted files.  Store the result in *v.
K
kailiu 已提交
1667 1668 1669 1670 1671 1672 1673
      const auto& base_files = base_->files_[level];
      auto base_iter = base_files.begin();
      auto base_end = base_files.end();
      const auto& added_files = *levels_[level].added_files;
      v->files_[level].reserve(base_files.size() + added_files.size());

      for (const auto& added : added_files) {
1674
        // Add all smaller files listed in base_
K
kailiu 已提交
1675
        for (auto bpos = std::upper_bound(base_iter, base_end, added, cmp);
1676 1677 1678 1679 1680
             base_iter != bpos;
             ++base_iter) {
          MaybeAddFile(v, level, *base_iter);
        }

K
kailiu 已提交
1681
        MaybeAddFile(v, level, added);
1682 1683 1684 1685 1686
      }

      // Add remaining base files
      for (; base_iter != base_end; ++base_iter) {
        MaybeAddFile(v, level, *base_iter);
J
jorlow@chromium.org 已提交
1687
      }
1688
    }
1689

1690
    CheckConsistency(v);
1691 1692
  }

1693
  void LoadTableHandlers() {
1694
    for (int level = 0; level < cfd_->NumberLevels(); level++) {
1695 1696
      for (auto& file_meta : *(levels_[level].added_files)) {
        assert (!file_meta->table_reader_handle);
1697 1698
        cfd_->table_cache()->FindTable(
            base_->vset_->storage_options_, cfd_->internal_comparator(),
I
Igor Canadi 已提交
1699
            file_meta->fd, &file_meta->table_reader_handle, false);
1700 1701
        if (file_meta->table_reader_handle != nullptr) {
          // Load table_reader
1702
          file_meta->fd.table_reader =
1703 1704 1705
              cfd_->table_cache()->GetTableReaderFromHandle(
                  file_meta->table_reader_handle);
        }
1706 1707 1708 1709
      }
    }
  }

1710
  void MaybeAddFile(Version* v, int level, FileMetaData* f) {
1711
    if (levels_[level].deleted_files.count(f->fd.GetNumber()) > 0) {
1712 1713
      // File is deleted: do nothing
    } else {
K
kailiu 已提交
1714
      auto* files = &v->files_[level];
1715 1716
      if (level > 0 && !files->empty()) {
        // Must not overlap
1717 1718
        assert(cfd_->internal_comparator().Compare(
                   (*files)[files->size() - 1]->largest, f->smallest) < 0);
1719
      }
1720
      f->refs++;
1721
      files->push_back(f);
J
jorlow@chromium.org 已提交
1722 1723 1724 1725
    }
  }
};

I
Igor Canadi 已提交
1726
VersionSet::VersionSet(const std::string& dbname, const DBOptions* options,
I
Igor Canadi 已提交
1727 1728 1729
                       const EnvOptions& storage_options, Cache* table_cache)
    : column_family_set_(new ColumnFamilySet(dbname, options, storage_options,
                                             table_cache)),
I
Igor Canadi 已提交
1730
      env_(options->env),
J
jorlow@chromium.org 已提交
1731 1732 1733 1734
      dbname_(dbname),
      options_(options),
      next_file_number_(2),
      manifest_file_number_(0),  // Filled by Recover()
1735
      pending_manifest_file_number_(0),
1736 1737
      last_sequence_(0),
      prev_log_number_(0),
A
Abhishek Kona 已提交
1738
      current_version_number_(0),
1739
      manifest_file_size_(0),
1740
      storage_options_(storage_options),
I
Igor Canadi 已提交
1741
      storage_options_compactions_(storage_options_) {}
J
jorlow@chromium.org 已提交
1742 1743

VersionSet::~VersionSet() {
1744 1745 1746
  // we need to delete column_family_set_ because its destructor depends on
  // VersionSet
  column_family_set_.reset();
1747 1748 1749 1750
  for (auto file : obsolete_files_) {
    delete file;
  }
  obsolete_files_.clear();
1751 1752
}

1753 1754
void VersionSet::AppendVersion(ColumnFamilyData* column_family_data,
                               Version* v) {
1755 1756
  // Make "v" current
  assert(v->refs_ == 0);
1757 1758 1759 1760 1761
  Version* current = column_family_data->current();
  assert(v != current);
  if (current != nullptr) {
    assert(current->refs_ > 0);
    current->Unref();
1762
  }
1763
  column_family_data->SetCurrent(v);
1764 1765 1766
  v->Ref();

  // Append to linked list
1767 1768
  v->prev_ = column_family_data->dummy_versions()->prev_;
  v->next_ = column_family_data->dummy_versions();
1769 1770 1771 1772
  v->prev_->next_ = v;
  v->next_->prev_ = v;
}

1773
Status VersionSet::LogAndApply(ColumnFamilyData* column_family_data,
1774
                               VersionEdit* edit, port::Mutex* mu,
1775 1776
                               Directory* db_directory, bool new_descriptor_log,
                               const ColumnFamilyOptions* options) {
1777
  mu->AssertHeld();
1778

I
Igor Canadi 已提交
1779 1780 1781 1782 1783
  // column_family_data can be nullptr only if this is column_family_add.
  // in that case, we also need to specify ColumnFamilyOptions
  if (column_family_data == nullptr) {
    assert(edit->is_column_family_add_);
    assert(options != nullptr);
1784
  }
1785

1786
  // queue our request
1787
  ManifestWriter w(mu, column_family_data, edit);
1788 1789 1790
  manifest_writers_.push_back(&w);
  while (!w.done && &w != manifest_writers_.front()) {
    w.cv.Wait();
1791
  }
1792 1793 1794
  if (w.done) {
    return w.status;
  }
I
Igor Canadi 已提交
1795 1796 1797 1798 1799 1800 1801 1802 1803 1804
  if (column_family_data != nullptr && column_family_data->IsDropped()) {
    // if column family is dropped by the time we get here, no need to write
    // anything to the manifest
    manifest_writers_.pop_front();
    // Notify new head of write queue
    if (!manifest_writers_.empty()) {
      manifest_writers_.front()->cv.Signal();
    }
    return Status::OK();
  }
A
Abhishek Kona 已提交
1805

1806
  std::vector<VersionEdit*> batch_edits;
1807 1808
  Version* v = nullptr;
  std::unique_ptr<Builder> builder(nullptr);
1809

1810 1811 1812
  // process all requests in the queue
  ManifestWriter* last_writer = &w;
  assert(!manifest_writers_.empty());
1813
  assert(manifest_writers_.front() == &w);
1814 1815
  if (edit->IsColumnFamilyManipulation()) {
    // no group commits for column family add or drop
I
Igor Canadi 已提交
1816
    LogAndApplyCFHelper(edit);
1817 1818 1819 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831
    batch_edits.push_back(edit);
  } else {
    v = new Version(column_family_data, this, current_version_number_++);
    builder.reset(new Builder(column_family_data));
    for (const auto& writer : manifest_writers_) {
      if (writer->edit->IsColumnFamilyManipulation() ||
          writer->cfd->GetID() != column_family_data->GetID()) {
        // no group commits for column family add or drop
        // also, group commits across column families are not supported
        break;
      }
      last_writer = writer;
      LogAndApplyHelper(column_family_data, builder.get(), v, last_writer->edit,
                        mu);
      batch_edits.push_back(last_writer->edit);
1832
    }
1833
    builder->SaveTo(v);
J
jorlow@chromium.org 已提交
1834 1835 1836 1837
  }

  // Initialize new descriptor log file if necessary by creating
  // a temporary file that contains a snapshot of the current version.
1838
  uint64_t new_manifest_file_size = 0;
1839
  Status s;
A
Abhishek Kona 已提交
1840

1841
  assert(pending_manifest_file_number_ == 0);
1842
  if (!descriptor_log_ ||
1843
      manifest_file_size_ > options_->max_manifest_file_size) {
1844 1845
    pending_manifest_file_number_ = NewFileNumber();
    batch_edits.back()->SetNextFile(next_file_number_);
A
Abhishek Kona 已提交
1846
    new_descriptor_log = true;
1847 1848
  } else {
    pending_manifest_file_number_ = manifest_file_number_;
A
Abhishek Kona 已提交
1849 1850
  }

I
Igor Canadi 已提交
1851
  if (new_descriptor_log) {
1852
    // if we're writing out new snapshot make sure to persist max column family
I
Igor Canadi 已提交
1853 1854 1855
    if (column_family_set_->GetMaxColumnFamily() > 0) {
      edit->SetMaxColumnFamily(column_family_set_->GetMaxColumnFamily());
    }
J
jorlow@chromium.org 已提交
1856 1857
  }

1858
  // Unlock during expensive operations. New writes cannot get here
1859
  // because &w is ensuring that all new writes get queued.
1860
  {
1861 1862 1863 1864 1865 1866 1867
    std::vector<uint64_t> size_being_compacted;
    if (!edit->IsColumnFamilyManipulation()) {
      size_being_compacted.resize(v->NumberLevels() - 1);
      // calculate the amount of data being compacted at every level
      column_family_data->compaction_picker()->SizeBeingCompacted(
          size_being_compacted);
    }
1868

1869
    mu->Unlock();
1870

1871
    if (!edit->IsColumnFamilyManipulation() && options_->max_open_files == -1) {
1872 1873
      // unlimited table cache. Pre-load table handle now.
      // Need to do it out of the mutex.
1874
      builder->LoadTableHandlers();
1875 1876
    }

I
Igor Canadi 已提交
1877 1878
    // This is fine because everything inside of this block is serialized --
    // only one thread can be here at the same time
I
Igor Canadi 已提交
1879
    if (new_descriptor_log) {
1880 1881 1882
      // create manifest file
      Log(options_->info_log,
          "Creating manifest %" PRIu64 "\n", pending_manifest_file_number_);
I
Igor Canadi 已提交
1883
      unique_ptr<WritableFile> descriptor_file;
1884 1885
      s = env_->NewWritableFile(
          DescriptorFileName(dbname_, pending_manifest_file_number_),
I
Igor Canadi 已提交
1886
          &descriptor_file, env_->OptimizeForManifestWrite(storage_options_));
I
Igor Canadi 已提交
1887
      if (s.ok()) {
1888 1889
        descriptor_file->SetPreallocationBlockSize(
            options_->manifest_preallocation_size);
I
Igor Canadi 已提交
1890 1891 1892 1893 1894
        descriptor_log_.reset(new log::Writer(std::move(descriptor_file)));
        s = WriteSnapshot(descriptor_log_.get());
      }
    }

1895
    if (!edit->IsColumnFamilyManipulation()) {
1896 1897
      // This is cpu-heavy operations, which should be called outside mutex.
      v->PrepareApply(size_being_compacted);
1898
    }
1899 1900

    // Write new record to MANIFEST log
J
jorlow@chromium.org 已提交
1901
    if (s.ok()) {
I
Igor Canadi 已提交
1902 1903 1904
      for (auto& e : batch_edits) {
        std::string record;
        e->EncodeTo(&record);
1905 1906 1907 1908 1909
        s = descriptor_log_->AddRecord(record);
        if (!s.ok()) {
          break;
        }
      }
1910
      if (s.ok()) {
1911
        if (options_->use_fsync) {
1912 1913
          StopWatch sw(env_, options_->statistics.get(),
                       MANIFEST_FILE_SYNC_MICROS);
1914
          s = descriptor_log_->file()->Fsync();
1915
        } else {
1916 1917
          StopWatch sw(env_, options_->statistics.get(),
                       MANIFEST_FILE_SYNC_MICROS);
1918
          s = descriptor_log_->file()->Sync();
1919
        }
1920
      }
1921 1922
      if (!s.ok()) {
        Log(options_->info_log, "MANIFEST write: %s\n", s.ToString().c_str());
I
Igor Canadi 已提交
1923 1924 1925 1926
        bool all_records_in = true;
        for (auto& e : batch_edits) {
          std::string record;
          e->EncodeTo(&record);
1927
          if (!ManifestContains(pending_manifest_file_number_, record)) {
I
Igor Canadi 已提交
1928 1929 1930 1931 1932
            all_records_in = false;
            break;
          }
        }
        if (all_records_in) {
1933 1934
          Log(options_->info_log,
              "MANIFEST contains log record despite error; advancing to new "
1935 1936
              "version to prevent mismatch between in-memory and logged state"
              " If paranoid is set, then the db is now in readonly mode.");
1937 1938 1939
          s = Status::OK();
        }
      }
J
jorlow@chromium.org 已提交
1940 1941
    }

1942 1943
    // If we just created a new descriptor file, install it by writing a
    // new CURRENT file that points to it.
1944
    if (s.ok() && new_descriptor_log) {
1945 1946
      s = SetCurrentFile(env_, dbname_, pending_manifest_file_number_,
                         db_directory);
1947
      if (s.ok() && pending_manifest_file_number_ > manifest_file_number_) {
I
Igor Canadi 已提交
1948 1949
        // delete old manifest file
        Log(options_->info_log,
1950 1951
            "Deleting manifest %" PRIu64 " current manifest %" PRIu64 "\n",
            manifest_file_number_, pending_manifest_file_number_);
I
Igor Canadi 已提交
1952 1953
        // we don't care about an error here, PurgeObsoleteFiles will take care
        // of it later
1954
        env_->DeleteFile(DescriptorFileName(dbname_, manifest_file_number_));
I
Igor Canadi 已提交
1955
      }
1956 1957
    }

1958 1959 1960 1961
    if (s.ok()) {
      // find offset in manifest file where this version is stored.
      new_manifest_file_size = descriptor_log_->file()->GetFileSize();
    }
A
Abhishek Kona 已提交
1962

I
Igor Canadi 已提交
1963
    LogFlush(options_->info_log);
1964
    mu->Lock();
J
jorlow@chromium.org 已提交
1965 1966 1967 1968
  }

  // Install the new version
  if (s.ok()) {
1969 1970 1971 1972 1973 1974 1975
    if (edit->is_column_family_add_) {
      // no group commit on column family add
      assert(batch_edits.size() == 1);
      assert(options != nullptr);
      CreateColumnFamily(*options, edit);
    } else if (edit->is_column_family_drop_) {
      assert(batch_edits.size() == 1);
I
Igor Canadi 已提交
1976
      column_family_data->SetDropped();
1977 1978 1979 1980
      if (column_family_data->Unref()) {
        delete column_family_data;
      }
    } else {
I
Igor Canadi 已提交
1981 1982 1983 1984 1985 1986 1987 1988
      uint64_t max_log_number_in_batch  = 0;
      for (auto& e : batch_edits) {
        if (e->has_log_number_) {
          max_log_number_in_batch =
              std::max(max_log_number_in_batch, e->log_number_);
        }
      }
      if (max_log_number_in_batch != 0) {
I
Igor Canadi 已提交
1989
        assert(column_family_data->GetLogNumber() <= max_log_number_in_batch);
I
Igor Canadi 已提交
1990 1991
        column_family_data->SetLogNumber(max_log_number_in_batch);
      }
1992 1993 1994
      AppendVersion(column_family_data, v);
    }

1995
    manifest_file_number_ = pending_manifest_file_number_;
1996
    manifest_file_size_ = new_manifest_file_size;
1997
    prev_log_number_ = edit->prev_log_number_;
J
jorlow@chromium.org 已提交
1998
  } else {
I
Igor Canadi 已提交
1999 2000 2001
    Log(options_->info_log, "Error in committing version %lu to [%s]",
        (unsigned long)v->GetVersionNumber(),
        column_family_data->GetName().c_str());
J
jorlow@chromium.org 已提交
2002
    delete v;
2003
    if (new_descriptor_log) {
2004 2005 2006
      Log(options_->info_log,
        "Deleting manifest %" PRIu64 " current manifest %" PRIu64 "\n",
        manifest_file_number_, pending_manifest_file_number_);
2007
      descriptor_log_.reset();
2008 2009
      env_->DeleteFile(
          DescriptorFileName(dbname_, pending_manifest_file_number_));
J
jorlow@chromium.org 已提交
2010 2011
    }
  }
2012
  pending_manifest_file_number_ = 0;
J
jorlow@chromium.org 已提交
2013

2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028
  // wake up all the waiting writers
  while (true) {
    ManifestWriter* ready = manifest_writers_.front();
    manifest_writers_.pop_front();
    if (ready != &w) {
      ready->status = s;
      ready->done = true;
      ready->cv.Signal();
    }
    if (ready == last_writer) break;
  }
  // Notify new head of write queue
  if (!manifest_writers_.empty()) {
    manifest_writers_.front()->cv.Signal();
  }
J
jorlow@chromium.org 已提交
2029 2030 2031
  return s;
}

I
Igor Canadi 已提交
2032 2033 2034 2035 2036 2037 2038 2039 2040 2041 2042
void VersionSet::LogAndApplyCFHelper(VersionEdit* edit) {
  assert(edit->IsColumnFamilyManipulation());
  edit->SetNextFile(next_file_number_);
  edit->SetLastSequence(last_sequence_);
  if (edit->is_column_family_drop_) {
    // if we drop column family, we have to make sure to save max column family,
    // so that we don't reuse existing ID
    edit->SetMaxColumnFamily(column_family_set_->GetMaxColumnFamily());
  }
}

2043 2044 2045
void VersionSet::LogAndApplyHelper(ColumnFamilyData* cfd, Builder* builder,
                                   Version* v, VersionEdit* edit,
                                   port::Mutex* mu) {
2046
  mu->AssertHeld();
I
Igor Canadi 已提交
2047
  assert(!edit->IsColumnFamilyManipulation());
2048

2049 2050
  if (edit->has_log_number_) {
    assert(edit->log_number_ >= cfd->GetLogNumber());
I
Igor Canadi 已提交
2051
    assert(edit->log_number_ < next_file_number_);
I
Igor Canadi 已提交
2052
  }
2053

I
Igor Canadi 已提交
2054 2055 2056 2057 2058 2059
  if (!edit->has_prev_log_number_) {
    edit->SetPrevLogNumber(prev_log_number_);
  }
  edit->SetNextFile(next_file_number_);
  edit->SetLastSequence(last_sequence_);

2060
  builder->Apply(edit);
2061 2062
}

I
Igor Canadi 已提交
2063
Status VersionSet::Recover(
2064 2065
    const std::vector<ColumnFamilyDescriptor>& column_families,
    bool read_only) {
I
Igor Canadi 已提交
2066 2067 2068 2069 2070 2071 2072
  std::unordered_map<std::string, ColumnFamilyOptions> cf_name_to_options;
  for (auto cf : column_families) {
    cf_name_to_options.insert({cf.name, cf.options});
  }
  // keeps track of column families in manifest that were not found in
  // column families parameters. if those column families are not dropped
  // by subsequent manifest records, Recover() will return failure status
I
Igor Canadi 已提交
2073
  std::unordered_map<int, std::string> column_families_not_found;
J
jorlow@chromium.org 已提交
2074 2075

  // Read "CURRENT" file, which contains a pointer to the current manifest file
K
kailiu 已提交
2076 2077 2078 2079
  std::string manifest_filename;
  Status s = ReadFileToString(
      env_, CurrentFileName(dbname_), &manifest_filename
  );
J
jorlow@chromium.org 已提交
2080 2081 2082
  if (!s.ok()) {
    return s;
  }
K
kailiu 已提交
2083 2084
  if (manifest_filename.empty() ||
      manifest_filename.back() != '\n') {
J
jorlow@chromium.org 已提交
2085 2086
    return Status::Corruption("CURRENT file does not end with newline");
  }
K
kailiu 已提交
2087 2088
  // remove the trailing '\n'
  manifest_filename.resize(manifest_filename.size() - 1);
2089 2090 2091 2092 2093 2094
  FileType type;
  bool parse_ok =
      ParseFileName(manifest_filename, &manifest_file_number_, &type);
  if (!parse_ok || type != kDescriptorFile) {
    return Status::Corruption("CURRENT file corrupted");
  }
J
jorlow@chromium.org 已提交
2095

I
Igor Canadi 已提交
2096
  Log(options_->info_log, "Recovering from manifest file: %s\n",
K
kailiu 已提交
2097
      manifest_filename.c_str());
H
heyongqiang 已提交
2098

K
kailiu 已提交
2099 2100
  manifest_filename = dbname_ + "/" + manifest_filename;
  unique_ptr<SequentialFile> manifest_file;
2101 2102
  s = env_->NewSequentialFile(manifest_filename, &manifest_file,
                              storage_options_);
J
jorlow@chromium.org 已提交
2103 2104 2105
  if (!s.ok()) {
    return s;
  }
2106
  uint64_t manifest_file_size;
K
kailiu 已提交
2107
  s = env_->GetFileSize(manifest_filename, &manifest_file_size);
2108 2109 2110
  if (!s.ok()) {
    return s;
  }
J
jorlow@chromium.org 已提交
2111 2112

  bool have_log_number = false;
2113
  bool have_prev_log_number = false;
J
jorlow@chromium.org 已提交
2114 2115 2116
  bool have_next_file = false;
  bool have_last_sequence = false;
  uint64_t next_file = 0;
2117 2118 2119
  uint64_t last_sequence = 0;
  uint64_t log_number = 0;
  uint64_t prev_log_number = 0;
2120
  uint32_t max_column_family = 0;
2121
  std::unordered_map<uint32_t, Builder*> builders;
J
jorlow@chromium.org 已提交
2122

2123
  // add default column family
2124
  auto default_cf_iter = cf_name_to_options.find(kDefaultColumnFamilyName);
I
Igor Canadi 已提交
2125
  if (default_cf_iter == cf_name_to_options.end()) {
I
Igor Canadi 已提交
2126
    return Status::InvalidArgument("Default column family not specified");
I
Igor Canadi 已提交
2127
  }
I
Igor Canadi 已提交
2128
  VersionEdit default_cf_edit;
2129
  default_cf_edit.AddColumnFamily(kDefaultColumnFamilyName);
I
Igor Canadi 已提交
2130 2131 2132 2133
  default_cf_edit.SetColumnFamily(0);
  ColumnFamilyData* default_cfd =
      CreateColumnFamily(default_cf_iter->second, &default_cf_edit);
  builders.insert({0, new Builder(default_cfd)});
2134

J
jorlow@chromium.org 已提交
2135
  {
I
Igor Canadi 已提交
2136
    VersionSet::LogReporter reporter;
J
jorlow@chromium.org 已提交
2137
    reporter.status = &s;
K
kailiu 已提交
2138 2139
    log::Reader reader(std::move(manifest_file), &reporter, true /*checksum*/,
                       0 /*initial_offset*/);
J
jorlow@chromium.org 已提交
2140 2141 2142
    Slice record;
    std::string scratch;
    while (reader.ReadRecord(&record, &scratch) && s.ok()) {
2143
      VersionEdit edit;
J
jorlow@chromium.org 已提交
2144
      s = edit.DecodeFrom(record);
2145 2146
      if (!s.ok()) {
        break;
J
jorlow@chromium.org 已提交
2147 2148
      }

I
Igor Canadi 已提交
2149 2150 2151 2152 2153
      // Not found means that user didn't supply that column
      // family option AND we encountered column family add
      // record. Once we encounter column family drop record,
      // we will delete the column family from
      // column_families_not_found.
I
Igor Canadi 已提交
2154 2155 2156
      bool cf_in_not_found =
          column_families_not_found.find(edit.column_family_) !=
          column_families_not_found.end();
I
Igor Canadi 已提交
2157 2158
      // in builders means that user supplied that column family
      // option AND that we encountered column family add record
I
Igor Canadi 已提交
2159 2160 2161 2162 2163 2164
      bool cf_in_builders =
          builders.find(edit.column_family_) != builders.end();

      // they can't both be true
      assert(!(cf_in_not_found && cf_in_builders));

2165 2166
      ColumnFamilyData* cfd = nullptr;

2167
      if (edit.is_column_family_add_) {
I
Igor Canadi 已提交
2168 2169 2170 2171 2172 2173 2174
        if (cf_in_builders || cf_in_not_found) {
          s = Status::Corruption(
              "Manifest adding the same column family twice");
          break;
        }
        auto cf_options = cf_name_to_options.find(edit.column_family_name_);
        if (cf_options == cf_name_to_options.end()) {
I
Igor Canadi 已提交
2175 2176
          column_families_not_found.insert(
              {edit.column_family_, edit.column_family_name_});
I
Igor Canadi 已提交
2177
        } else {
2178 2179
          cfd = CreateColumnFamily(cf_options->second, &edit);
          builders.insert({edit.column_family_, new Builder(cfd)});
I
Igor Canadi 已提交
2180
        }
2181
      } else if (edit.is_column_family_drop_) {
I
Igor Canadi 已提交
2182 2183 2184 2185 2186
        if (cf_in_builders) {
          auto builder = builders.find(edit.column_family_);
          assert(builder != builders.end());
          delete builder->second;
          builders.erase(builder);
2187
          cfd = column_family_set_->GetColumnFamily(edit.column_family_);
2188 2189
          if (cfd->Unref()) {
            delete cfd;
2190
            cfd = nullptr;
2191 2192 2193 2194
          } else {
            // who else can have reference to cfd!?
            assert(false);
          }
I
Igor Canadi 已提交
2195 2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208
        } else if (cf_in_not_found) {
          column_families_not_found.erase(edit.column_family_);
        } else {
          s = Status::Corruption(
              "Manifest - dropping non-existing column family");
          break;
        }
      } else if (!cf_in_not_found) {
        if (!cf_in_builders) {
          s = Status::Corruption(
              "Manifest record referencing unknown column family");
          break;
        }

2209
        cfd = column_family_set_->GetColumnFamily(edit.column_family_);
I
Igor Canadi 已提交
2210 2211
        // this should never happen since cf_in_builders is true
        assert(cfd != nullptr);
2212
        if (edit.max_level_ >= cfd->current()->NumberLevels()) {
2213 2214 2215 2216 2217
          s = Status::InvalidArgument(
              "db has more levels than options.num_levels");
          break;
        }

2218 2219 2220 2221 2222 2223 2224 2225 2226
        // if it is not column family add or column family drop,
        // then it's a file add/delete, which should be forwarded
        // to builder
        auto builder = builders.find(edit.column_family_);
        assert(builder != builders.end());
        builder->second->Apply(&edit);
      }

      if (cfd != nullptr) {
2227
        if (edit.has_log_number_) {
I
Igor Canadi 已提交
2228
          if (cfd->GetLogNumber() > edit.log_number_) {
2229 2230 2231
            Log(options_->info_log,
                "MANIFEST corruption detected, but ignored - Log numbers in "
                "records NOT monotonically increasing");
2232 2233 2234
          } else {
            cfd->SetLogNumber(edit.log_number_);
            have_log_number = true;
I
Igor Canadi 已提交
2235
          }
2236
        }
I
Igor Canadi 已提交
2237 2238 2239 2240 2241 2242 2243
        if (edit.has_comparator_ &&
            edit.comparator_ != cfd->user_comparator()->Name()) {
          s = Status::InvalidArgument(
              cfd->user_comparator()->Name(),
              "does not match existing comparator " + edit.comparator_);
          break;
        }
2244 2245
      }

2246 2247 2248 2249 2250
      if (edit.has_prev_log_number_) {
        prev_log_number = edit.prev_log_number_;
        have_prev_log_number = true;
      }

J
jorlow@chromium.org 已提交
2251 2252 2253 2254 2255
      if (edit.has_next_file_number_) {
        next_file = edit.next_file_number_;
        have_next_file = true;
      }

2256 2257 2258 2259
      if (edit.has_max_column_family_) {
        max_column_family = edit.max_column_family_;
      }

J
jorlow@chromium.org 已提交
2260
      if (edit.has_last_sequence_) {
2261
        last_sequence = edit.last_sequence_;
J
jorlow@chromium.org 已提交
2262 2263 2264 2265 2266 2267 2268 2269 2270 2271 2272 2273 2274
        have_last_sequence = true;
      }
    }
  }

  if (s.ok()) {
    if (!have_next_file) {
      s = Status::Corruption("no meta-nextfile entry in descriptor");
    } else if (!have_log_number) {
      s = Status::Corruption("no meta-lognumber entry in descriptor");
    } else if (!have_last_sequence) {
      s = Status::Corruption("no last-sequence-number entry in descriptor");
    }
2275 2276 2277 2278

    if (!have_prev_log_number) {
      prev_log_number = 0;
    }
2279

2280 2281
    column_family_set_->UpdateMaxColumnFamily(max_column_family);

2282 2283
    MarkFileNumberUsed(prev_log_number);
    MarkFileNumberUsed(log_number);
J
jorlow@chromium.org 已提交
2284 2285
  }

I
Igor Canadi 已提交
2286
  // there were some column families in the MANIFEST that weren't specified
2287 2288 2289
  // in the argument. This is OK in read_only mode
  if (read_only == false && column_families_not_found.size() > 0) {
    std::string list_of_not_found;
I
Igor Canadi 已提交
2290 2291
    for (const auto& cf : column_families_not_found) {
      list_of_not_found += ", " + cf.second;
2292 2293
    }
    list_of_not_found = list_of_not_found.substr(2);
I
Igor Canadi 已提交
2294
    s = Status::InvalidArgument(
I
Igor Canadi 已提交
2295 2296
        "You have to open all column families. Column families not opened: " +
        list_of_not_found);
I
Igor Canadi 已提交
2297 2298
  }

J
jorlow@chromium.org 已提交
2299
  if (s.ok()) {
I
Igor Canadi 已提交
2300
    for (auto cfd : *column_family_set_) {
2301 2302 2303 2304 2305
      auto builders_iter = builders.find(cfd->GetID());
      assert(builders_iter != builders.end());
      auto builder = builders_iter->second;

      if (options_->max_open_files == -1) {
2306 2307
      // unlimited table cache. Pre-load table handle now.
      // Need to do it out of the mutex.
2308 2309
        builder->LoadTableHandlers();
      }
2310

2311
      Version* v = new Version(cfd, this, current_version_number_++);
2312
      builder->SaveTo(v);
2313

2314
      // Install recovered version
2315
      std::vector<uint64_t> size_being_compacted(v->NumberLevels() - 1);
2316
      cfd->compaction_picker()->SizeBeingCompacted(size_being_compacted);
2317
      v->PrepareApply(size_being_compacted);
I
Igor Canadi 已提交
2318
      AppendVersion(cfd, v);
2319
    }
2320

2321
    manifest_file_size_ = manifest_file_size;
2322 2323 2324
    next_file_number_ = next_file + 1;
    last_sequence_ = last_sequence;
    prev_log_number_ = prev_log_number;
H
heyongqiang 已提交
2325

2326 2327
    Log(options_->info_log,
        "Recovered from manifest file:%s succeeded,"
K
Kai Liu 已提交
2328 2329
        "manifest_file_number is %lu, next_file_number is %lu, "
        "last_sequence is %lu, log_number is %lu,"
2330 2331
        "prev_log_number is %lu,"
        "max_column_family is %u\n",
2332 2333 2334
        manifest_filename.c_str(), (unsigned long)manifest_file_number_,
        (unsigned long)next_file_number_, (unsigned long)last_sequence_,
        (unsigned long)log_number, (unsigned long)prev_log_number_,
2335
        column_family_set_->GetMaxColumnFamily());
2336 2337

    for (auto cfd : *column_family_set_) {
I
Igor Canadi 已提交
2338
      Log(options_->info_log,
I
Igor Canadi 已提交
2339 2340
          "Column family [%s] (ID %u), log number is %" PRIu64 "\n",
          cfd->GetName().c_str(), cfd->GetID(), cfd->GetLogNumber());
2341
    }
J
jorlow@chromium.org 已提交
2342 2343
  }

2344 2345 2346 2347
  for (auto builder : builders) {
    delete builder.second;
  }

J
jorlow@chromium.org 已提交
2348 2349 2350
  return s;
}

I
Igor Canadi 已提交
2351 2352 2353 2354 2355 2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370 2371 2372 2373 2374 2375
Status VersionSet::ListColumnFamilies(std::vector<std::string>* column_families,
                                      const std::string& dbname, Env* env) {
  // these are just for performance reasons, not correcntes,
  // so we're fine using the defaults
  EnvOptions soptions;
  // Read "CURRENT" file, which contains a pointer to the current manifest file
  std::string current;
  Status s = ReadFileToString(env, CurrentFileName(dbname), &current);
  if (!s.ok()) {
    return s;
  }
  if (current.empty() || current[current.size()-1] != '\n') {
    return Status::Corruption("CURRENT file does not end with newline");
  }
  current.resize(current.size() - 1);

  std::string dscname = dbname + "/" + current;
  unique_ptr<SequentialFile> file;
  s = env->NewSequentialFile(dscname, &file, soptions);
  if (!s.ok()) {
    return s;
  }

  std::map<uint32_t, std::string> column_family_names;
  // default column family is always implicitly there
2376
  column_family_names.insert({0, kDefaultColumnFamilyName});
I
Igor Canadi 已提交
2377 2378 2379 2380 2381 2382 2383
  VersionSet::LogReporter reporter;
  reporter.status = &s;
  log::Reader reader(std::move(file), &reporter, true /*checksum*/,
                     0 /*initial_offset*/);
  Slice record;
  std::string scratch;
  while (reader.ReadRecord(&record, &scratch) && s.ok()) {
2384 2385 2386 2387 2388 2389
    VersionEdit edit;
    s = edit.DecodeFrom(record);
    if (!s.ok()) {
      break;
    }
    if (edit.is_column_family_add_) {
2390 2391 2392 2393 2394
      if (column_family_names.find(edit.column_family_) !=
          column_family_names.end()) {
        s = Status::Corruption("Manifest adding the same column family twice");
        break;
      }
2395 2396 2397
      column_family_names.insert(
          {edit.column_family_, edit.column_family_name_});
    } else if (edit.is_column_family_drop_) {
2398 2399 2400 2401 2402 2403
      if (column_family_names.find(edit.column_family_) ==
          column_family_names.end()) {
        s = Status::Corruption(
            "Manifest - dropping non-existing column family");
        break;
      }
2404 2405
      column_family_names.erase(edit.column_family_);
    }
I
Igor Canadi 已提交
2406 2407 2408 2409 2410 2411
  }

  column_families->clear();
  if (s.ok()) {
    for (const auto& iter : column_family_names) {
      column_families->push_back(iter.second);
2412
    }
I
Igor Canadi 已提交
2413 2414 2415 2416
  }

  return s;
}
2417

I
Igor Canadi 已提交
2418
#ifndef ROCKSDB_LITE
2419 2420 2421 2422 2423 2424 2425 2426 2427
Status VersionSet::ReduceNumberOfLevels(const std::string& dbname,
                                        const Options* options,
                                        const EnvOptions& storage_options,
                                        int new_levels) {
  if (new_levels <= 1) {
    return Status::InvalidArgument(
        "Number of levels needs to be bigger than 1");
  }

I
Igor Canadi 已提交
2428 2429 2430 2431 2432
  ColumnFamilyOptions cf_options(*options);
  std::shared_ptr<Cache> tc(NewLRUCache(
      options->max_open_files - 10, options->table_cache_numshardbits,
      options->table_cache_remove_scan_count_limit));
  VersionSet versions(dbname, options, storage_options, tc.get());
2433 2434
  Status status;

2435
  std::vector<ColumnFamilyDescriptor> dummy;
2436
  ColumnFamilyDescriptor dummy_descriptor(kDefaultColumnFamilyName,
I
Igor Canadi 已提交
2437
                                          ColumnFamilyOptions(*options));
I
Igor Canadi 已提交
2438
  dummy.push_back(dummy_descriptor);
2439
  status = versions.Recover(dummy);
2440 2441 2442 2443
  if (!status.ok()) {
    return status;
  }

2444
  Version* current_version =
2445
      versions.GetColumnFamilySet()->GetDefault()->current();
2446 2447 2448 2449 2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 2474
  int current_levels = current_version->NumberLevels();

  if (current_levels <= new_levels) {
    return Status::OK();
  }

  // Make sure there are file only on one level from
  // (new_levels-1) to (current_levels-1)
  int first_nonempty_level = -1;
  int first_nonempty_level_filenum = 0;
  for (int i = new_levels - 1; i < current_levels; i++) {
    int file_num = current_version->NumLevelFiles(i);
    if (file_num != 0) {
      if (first_nonempty_level < 0) {
        first_nonempty_level = i;
        first_nonempty_level_filenum = file_num;
      } else {
        char msg[255];
        snprintf(msg, sizeof(msg),
                 "Found at least two levels containing files: "
                 "[%d:%d],[%d:%d].\n",
                 first_nonempty_level, first_nonempty_level_filenum, i,
                 file_num);
        return Status::InvalidArgument(msg);
      }
    }
  }

  std::vector<FileMetaData*>* old_files_list = current_version->files_;
I
Igor Canadi 已提交
2475 2476 2477
  // we need to allocate an array with the old number of levels size to
  // avoid SIGSEGV in WriteSnapshot()
  // however, all levels bigger or equal to new_levels will be empty
2478
  std::vector<FileMetaData*>* new_files_list =
I
Igor Canadi 已提交
2479
      new std::vector<FileMetaData*>[current_levels];
2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494
  for (int i = 0; i < new_levels - 1; i++) {
    new_files_list[i] = old_files_list[i];
  }

  if (first_nonempty_level > 0) {
    new_files_list[new_levels - 1] = old_files_list[first_nonempty_level];
  }

  delete[] current_version->files_;
  current_version->files_ = new_files_list;
  current_version->num_levels_ = new_levels;

  VersionEdit ve;
  port::Mutex dummy_mutex;
  MutexLock l(&dummy_mutex);
2495 2496
  return versions.LogAndApply(versions.GetColumnFamilySet()->GetDefault(), &ve,
                              &dummy_mutex, nullptr, true);
2497 2498
}

I
Igor Canadi 已提交
2499 2500
Status VersionSet::DumpManifest(Options& options, std::string& dscname,
                                bool verbose, bool hex) {
2501
  // Open the specified manifest file.
2502
  unique_ptr<SequentialFile> file;
2503
  Status s = options.env->NewSequentialFile(dscname, &file, storage_options_);
2504 2505 2506 2507 2508 2509 2510 2511 2512 2513
  if (!s.ok()) {
    return s;
  }

  bool have_prev_log_number = false;
  bool have_next_file = false;
  bool have_last_sequence = false;
  uint64_t next_file = 0;
  uint64_t last_sequence = 0;
  uint64_t prev_log_number = 0;
2514
  int count = 0;
2515 2516 2517 2518 2519
  std::unordered_map<uint32_t, std::string> comparators;
  std::unordered_map<uint32_t, Builder*> builders;

  // add default column family
  VersionEdit default_cf_edit;
2520
  default_cf_edit.AddColumnFamily(kDefaultColumnFamilyName);
2521 2522 2523
  default_cf_edit.SetColumnFamily(0);
  ColumnFamilyData* default_cfd =
      CreateColumnFamily(ColumnFamilyOptions(options), &default_cf_edit);
2524
  builders.insert({0, new Builder(default_cfd)});
2525 2526

  {
I
Igor Canadi 已提交
2527
    VersionSet::LogReporter reporter;
2528
    reporter.status = &s;
2529 2530
    log::Reader reader(std::move(file), &reporter, true/*checksum*/,
                       0/*initial_offset*/);
2531 2532 2533
    Slice record;
    std::string scratch;
    while (reader.ReadRecord(&record, &scratch) && s.ok()) {
2534
      VersionEdit edit;
2535
      s = edit.DecodeFrom(record);
2536 2537
      if (!s.ok()) {
        break;
2538 2539
      }

2540 2541
      // Write out each individual edit
      if (verbose) {
A
Abhishek Kona 已提交
2542
        printf("*************************Edit[%d] = %s\n",
2543
                count, edit.DebugString(hex).c_str());
2544 2545 2546
      }
      count++;

2547 2548 2549 2550 2551
      bool cf_in_builders =
          builders.find(edit.column_family_) != builders.end();

      if (edit.has_comparator_) {
        comparators.insert({edit.column_family_, edit.comparator_});
2552 2553
      }

2554 2555
      ColumnFamilyData* cfd = nullptr;

2556 2557 2558 2559 2560 2561
      if (edit.is_column_family_add_) {
        if (cf_in_builders) {
          s = Status::Corruption(
              "Manifest adding the same column family twice");
          break;
        }
2562 2563
        cfd = CreateColumnFamily(ColumnFamilyOptions(options), &edit);
        builders.insert({edit.column_family_, new Builder(cfd)});
2564 2565 2566 2567 2568 2569 2570 2571 2572 2573
      } else if (edit.is_column_family_drop_) {
        if (!cf_in_builders) {
          s = Status::Corruption(
              "Manifest - dropping non-existing column family");
          break;
        }
        auto builder_iter = builders.find(edit.column_family_);
        delete builder_iter->second;
        builders.erase(builder_iter);
        comparators.erase(edit.column_family_);
2574
        cfd = column_family_set_->GetColumnFamily(edit.column_family_);
2575 2576 2577
        assert(cfd != nullptr);
        cfd->Unref();
        delete cfd;
2578
        cfd = nullptr;
2579 2580 2581 2582 2583 2584 2585
      } else {
        if (!cf_in_builders) {
          s = Status::Corruption(
              "Manifest record referencing unknown column family");
          break;
        }

2586
        cfd = column_family_set_->GetColumnFamily(edit.column_family_);
2587 2588 2589 2590 2591 2592 2593 2594 2595
        // this should never happen since cf_in_builders is true
        assert(cfd != nullptr);

        // if it is not column family add or column family drop,
        // then it's a file add/delete, which should be forwarded
        // to builder
        auto builder = builders.find(edit.column_family_);
        assert(builder != builders.end());
        builder->second->Apply(&edit);
2596 2597
      }

2598 2599 2600 2601
      if (cfd != nullptr && edit.has_log_number_) {
        cfd->SetLogNumber(edit.log_number_);
      }

2602 2603 2604 2605 2606 2607 2608 2609 2610 2611 2612 2613 2614 2615
      if (edit.has_prev_log_number_) {
        prev_log_number = edit.prev_log_number_;
        have_prev_log_number = true;
      }

      if (edit.has_next_file_number_) {
        next_file = edit.next_file_number_;
        have_next_file = true;
      }

      if (edit.has_last_sequence_) {
        last_sequence = edit.last_sequence_;
        have_last_sequence = true;
      }
2616 2617 2618 2619

      if (edit.has_max_column_family_) {
        column_family_set_->UpdateMaxColumnFamily(edit.max_column_family_);
      }
2620 2621
    }
  }
2622
  file.reset();
2623 2624 2625 2626 2627 2628 2629 2630 2631 2632 2633 2634 2635 2636 2637 2638

  if (s.ok()) {
    if (!have_next_file) {
      s = Status::Corruption("no meta-nextfile entry in descriptor");
      printf("no meta-nextfile entry in descriptor");
    } else if (!have_last_sequence) {
      printf("no last-sequence-number entry in descriptor");
      s = Status::Corruption("no last-sequence-number entry in descriptor");
    }

    if (!have_prev_log_number) {
      prev_log_number = 0;
    }
  }

  if (s.ok()) {
2639 2640 2641 2642 2643 2644 2645
    for (auto cfd : *column_family_set_) {
      auto builders_iter = builders.find(cfd->GetID());
      assert(builders_iter != builders.end());
      auto builder = builders_iter->second;

      Version* v = new Version(cfd, this, current_version_number_++);
      builder->SaveTo(v);
I
Igor Canadi 已提交
2646 2647
      std::vector<uint64_t> size_being_compacted(v->NumberLevels() - 1);
      cfd->compaction_picker()->SizeBeingCompacted(size_being_compacted);
2648
      v->PrepareApply(size_being_compacted);
2649 2650 2651 2652 2653 2654 2655 2656 2657 2658 2659 2660 2661 2662
      delete builder;

      printf("--------------- Column family \"%s\"  (ID %u) --------------\n",
             cfd->GetName().c_str(), (unsigned int)cfd->GetID());
      printf("log number: %lu\n", (unsigned long)cfd->GetLogNumber());
      auto comparator = comparators.find(cfd->GetID());
      if (comparator != comparators.end()) {
        printf("comparator: %s\n", comparator->second.c_str());
      } else {
        printf("comparator: <NO COMPARATOR>\n");
      }
      printf("%s \n", v->DebugString(hex).c_str());
      delete v;
    }
2663

2664 2665 2666
    next_file_number_ = next_file + 1;
    last_sequence_ = last_sequence;
    prev_log_number_ = prev_log_number;
2667

2668
    printf(
2669
        "next_file_number %lu last_sequence "
2670
        "%lu  prev_log_number %lu max_column_family %u\n",
2671 2672
        (unsigned long)next_file_number_, (unsigned long)last_sequence,
        (unsigned long)prev_log_number,
2673
        column_family_set_->GetMaxColumnFamily());
2674
  }
2675

2676 2677
  return s;
}
I
Igor Canadi 已提交
2678
#endif  // ROCKSDB_LITE
2679

2680 2681 2682 2683 2684 2685
void VersionSet::MarkFileNumberUsed(uint64_t number) {
  if (next_file_number_ <= number) {
    next_file_number_ = number + 1;
  }
}

J
jorlow@chromium.org 已提交
2686 2687
Status VersionSet::WriteSnapshot(log::Writer* log) {
  // TODO: Break up into multiple records to reduce memory usage on recovery?
2688

I
Igor Canadi 已提交
2689 2690
  // WARNING: This method doesn't hold a mutex!!

I
Igor Canadi 已提交
2691 2692
  // This is done without DB mutex lock held, but only within single-threaded
  // LogAndApply. Column family manipulations can only happen within LogAndApply
I
Igor Canadi 已提交
2693
  // (the same single thread), so we're safe to iterate.
I
Igor Canadi 已提交
2694
  for (auto cfd : *column_family_set_) {
2695 2696 2697
    {
      // Store column family info
      VersionEdit edit;
2698
      if (cfd->GetID() != 0) {
2699 2700
        // default column family is always there,
        // no need to explicitly write it
2701 2702
        edit.AddColumnFamily(cfd->GetName());
        edit.SetColumnFamily(cfd->GetID());
I
Igor Canadi 已提交
2703 2704 2705 2706 2707 2708 2709 2710
      }
      edit.SetComparatorName(
          cfd->internal_comparator().user_comparator()->Name());
      std::string record;
      edit.EncodeTo(&record);
      Status s = log->AddRecord(record);
      if (!s.ok()) {
        return s;
2711
      }
2712
    }
2713

2714 2715 2716
    {
      // Save files
      VersionEdit edit;
2717
      edit.SetColumnFamily(cfd->GetID());
2718

I
Igor Canadi 已提交
2719
      for (int level = 0; level < cfd->NumberLevels(); level++) {
2720
        for (const auto& f : cfd->current()->files_[level]) {
2721 2722 2723
          edit.AddFile(level, f->fd.GetNumber(), f->fd.GetPathId(),
                       f->fd.GetFileSize(), f->smallest, f->largest,
                       f->smallest_seqno, f->largest_seqno);
2724 2725
        }
      }
2726
      edit.SetLogNumber(cfd->GetLogNumber());
2727 2728 2729 2730 2731
      std::string record;
      edit.EncodeTo(&record);
      Status s = log->AddRecord(record);
      if (!s.ok()) {
        return s;
2732
      }
2733 2734 2735
    }
  }

I
Igor Canadi 已提交
2736
  return Status::OK();
J
jorlow@chromium.org 已提交
2737 2738
}

2739 2740
// Opens the mainfest file and reads all records
// till it finds the record we are looking for.
2741 2742 2743 2744
bool VersionSet::ManifestContains(uint64_t manifest_file_number,
                                  const std::string& record) const {
  std::string fname =
      DescriptorFileName(dbname_, manifest_file_number);
2745
  Log(options_->info_log, "ManifestContains: checking %s\n", fname.c_str());
2746
  unique_ptr<SequentialFile> file;
2747
  Status s = env_->NewSequentialFile(fname, &file, storage_options_);
2748 2749
  if (!s.ok()) {
    Log(options_->info_log, "ManifestContains: %s\n", s.ToString().c_str());
2750 2751 2752
    Log(options_->info_log,
        "ManifestContains: is unable to reopen the manifest file  %s",
        fname.c_str());
2753 2754
    return false;
  }
A
Abhishek Kona 已提交
2755
  log::Reader reader(std::move(file), nullptr, true/*checksum*/, 0);
2756 2757 2758 2759 2760 2761 2762 2763 2764 2765 2766 2767 2768 2769
  Slice r;
  std::string scratch;
  bool result = false;
  while (reader.ReadRecord(&r, &scratch)) {
    if (r == Slice(record)) {
      result = true;
      break;
    }
  }
  Log(options_->info_log, "ManifestContains: result = %d\n", result ? 1 : 0);
  return result;
}


J
jorlow@chromium.org 已提交
2770 2771
uint64_t VersionSet::ApproximateOffsetOf(Version* v, const InternalKey& ikey) {
  uint64_t result = 0;
2772
  for (int level = 0; level < v->NumberLevels(); level++) {
J
jorlow@chromium.org 已提交
2773
    const std::vector<FileMetaData*>& files = v->files_[level];
D
dgrogan@chromium.org 已提交
2774
    for (size_t i = 0; i < files.size(); i++) {
I
Igor Canadi 已提交
2775 2776
      if (v->cfd_->internal_comparator().Compare(files[i]->largest, ikey) <=
          0) {
J
jorlow@chromium.org 已提交
2777
        // Entire file is before "ikey", so just add the file size
2778
        result += files[i]->fd.GetFileSize();
I
Igor Canadi 已提交
2779 2780
      } else if (v->cfd_->internal_comparator().Compare(files[i]->smallest,
                                                        ikey) > 0) {
J
jorlow@chromium.org 已提交
2781 2782 2783 2784 2785 2786 2787 2788 2789 2790
        // Entire file is after "ikey", so ignore
        if (level > 0) {
          // Files other than level 0 are sorted by meta->smallest, so
          // no further files in this level will contain data for
          // "ikey".
          break;
        }
      } else {
        // "ikey" falls in the range for this table.  Add the
        // approximate offset of "ikey" within the table.
S
Siying Dong 已提交
2791
        TableReader* table_reader_ptr;
I
Igor Canadi 已提交
2792
        Iterator* iter = v->cfd_->table_cache()->NewIterator(
2793
            ReadOptions(), storage_options_, v->cfd_->internal_comparator(),
2794
            files[i]->fd, &table_reader_ptr);
S
Siying Dong 已提交
2795 2796
        if (table_reader_ptr != nullptr) {
          result += table_reader_ptr->ApproximateOffsetOf(ikey.Encode());
J
jorlow@chromium.org 已提交
2797 2798 2799 2800 2801 2802 2803 2804
        }
        delete iter;
      }
    }
  }
  return result;
}

2805
void VersionSet::AddLiveFiles(std::vector<FileDescriptor>* live_list) {
2806 2807
  // pre-calculate space requirement
  int64_t total_files = 0;
I
Igor Canadi 已提交
2808
  for (auto cfd : *column_family_set_) {
2809 2810
    Version* dummy_versions = cfd->dummy_versions();
    for (Version* v = dummy_versions->next_; v != dummy_versions;
I
Igor Canadi 已提交
2811
         v = v->next_) {
2812
      for (int level = 0; level < v->NumberLevels(); level++) {
2813 2814
        total_files += v->files_[level].size();
      }
2815 2816 2817 2818 2819 2820
    }
  }

  // just one time extension to the right size
  live_list->reserve(live_list->size() + total_files);

I
Igor Canadi 已提交
2821
  for (auto cfd : *column_family_set_) {
2822 2823
    Version* dummy_versions = cfd->dummy_versions();
    for (Version* v = dummy_versions->next_; v != dummy_versions;
I
Igor Canadi 已提交
2824
         v = v->next_) {
2825
      for (int level = 0; level < v->NumberLevels(); level++) {
2826
        for (const auto& f : v->files_[level]) {
2827
          live_list->push_back(f->fd);
2828
        }
J
jorlow@chromium.org 已提交
2829 2830 2831 2832 2833 2834
      }
    }
  }
}

Iterator* VersionSet::MakeInputIterator(Compaction* c) {
L
Lei Jin 已提交
2835 2836 2837 2838 2839
  auto cfd = c->column_family_data();
  ReadOptions read_options;
  read_options.verify_checksums =
    cfd->options()->verify_checksums_in_compaction;
  read_options.fill_cache = false;
J
jorlow@chromium.org 已提交
2840 2841 2842 2843

  // Level-0 files have to be merged together.  For other levels,
  // we will make a concatenating iterator per level.
  // TODO(opt): use concatenating iterator for level-0 if there is no overlap
2844 2845 2846
  const int space = (c->level() == 0 ?
      c->input_levels(0)->num_files + c->num_input_levels() - 1:
      c->num_input_levels());
J
jorlow@chromium.org 已提交
2847 2848
  Iterator** list = new Iterator*[space];
  int num = 0;
2849
  for (int which = 0; which < c->num_input_levels(); which++) {
F
Feng Zhu 已提交
2850
    if (c->input_levels(which)->num_files != 0) {
2851
      if (c->level(which) == 0) {
F
Feng Zhu 已提交
2852 2853
        const FileLevel* flevel = c->input_levels(which);
        for (size_t i = 0; i < flevel->num_files; i++) {
L
Lei Jin 已提交
2854 2855
          list[num++] = cfd->table_cache()->NewIterator(
              read_options, storage_options_compactions_,
F
Feng Zhu 已提交
2856
              cfd->internal_comparator(), flevel->files[i].fd, nullptr,
K
Kai Liu 已提交
2857
              true /* for compaction */);
J
jorlow@chromium.org 已提交
2858 2859 2860
        }
      } else {
        // Create concatenating iterator for the files from this level
L
Lei Jin 已提交
2861 2862 2863 2864 2865
        list[num++] = NewTwoLevelIterator(new Version::LevelFileIteratorState(
              cfd->table_cache(), read_options, storage_options_,
              cfd->internal_comparator(), true /* for_compaction */,
              false /* prefix enabled */),
            new Version::LevelFileNumIterator(cfd->internal_comparator(),
F
Feng Zhu 已提交
2866
                                              c->input_levels(which)));
J
jorlow@chromium.org 已提交
2867 2868 2869 2870
      }
    }
  }
  assert(num <= space);
I
Igor Canadi 已提交
2871
  Iterator* result = NewMergingIterator(
I
Igor Canadi 已提交
2872
      &c->column_family_data()->internal_comparator(), list, num);
J
jorlow@chromium.org 已提交
2873 2874 2875 2876
  delete[] list;
  return result;
}

A
Abhishek Kona 已提交
2877
// verify that the files listed in this compaction are present
2878 2879
// in the current version
bool VersionSet::VerifyCompactionFileConsistency(Compaction* c) {
2880
#ifndef NDEBUG
I
Igor Canadi 已提交
2881
  Version* version = c->column_family_data()->current();
2882
  if (c->input_version() != version) {
I
Igor Canadi 已提交
2883 2884 2885
    Log(options_->info_log,
        "[%s] VerifyCompactionFileConsistency version mismatch",
        c->column_family_data()->GetName().c_str());
2886 2887 2888 2889 2890
  }

  // verify files in level
  int level = c->level();
  for (int i = 0; i < c->num_input_files(0); i++) {
2891
    uint64_t number = c->input(0, i)->fd.GetNumber();
2892 2893 2894

    // look for this file in the current version
    bool found = false;
2895 2896
    for (unsigned int j = 0; j < version->files_[level].size(); j++) {
      FileMetaData* f = version->files_[level][j];
2897
      if (f->fd.GetNumber() == number) {
2898 2899 2900 2901 2902 2903 2904 2905 2906 2907 2908
        found = true;
        break;
      }
    }
    if (!found) {
      return false; // input files non existant in current version
    }
  }
  // verify level+1 files
  level++;
  for (int i = 0; i < c->num_input_files(1); i++) {
2909
    uint64_t number = c->input(1, i)->fd.GetNumber();
2910 2911 2912

    // look for this file in the current version
    bool found = false;
2913 2914
    for (unsigned int j = 0; j < version->files_[level].size(); j++) {
      FileMetaData* f = version->files_[level][j];
2915
      if (f->fd.GetNumber() == number) {
2916 2917 2918 2919 2920 2921 2922 2923
        found = true;
        break;
      }
    }
    if (!found) {
      return false; // input files non existant in current version
    }
  }
2924
#endif
2925 2926 2927
  return true;     // everything good
}

2928
Status VersionSet::GetMetadataForFile(uint64_t number, int* filelevel,
2929
                                      FileMetaData** meta,
2930 2931
                                      ColumnFamilyData** cfd) {
  for (auto cfd_iter : *column_family_set_) {
2932
    Version* version = cfd_iter->current();
2933
    for (int level = 0; level < version->NumberLevels(); level++) {
I
Igor Canadi 已提交
2934
      for (const auto& file : version->files_[level]) {
2935
        if (file->fd.GetNumber() == number) {
2936
          *meta = file;
2937
          *filelevel = level;
2938
          *cfd = cfd_iter;
2939 2940
          return Status::OK();
        }
2941 2942 2943 2944 2945 2946
      }
    }
  }
  return Status::NotFound("File not present in any level");
}

2947
void VersionSet::GetLiveFilesMetaData(std::vector<LiveFileMetaData>* metadata) {
I
Igor Canadi 已提交
2948
  for (auto cfd : *column_family_set_) {
I
Igor Canadi 已提交
2949
    for (int level = 0; level < cfd->NumberLevels(); level++) {
2950
      for (const auto& file : cfd->current()->files_[level]) {
2951
        LiveFileMetaData filemetadata;
2952
        filemetadata.column_family_name = cfd->GetName();
2953 2954
        uint32_t path_id = file->fd.GetPathId();
        if (path_id < options_->db_paths.size()) {
2955
          filemetadata.db_path = options_->db_paths[path_id].path;
2956 2957
        } else {
          assert(!options_->db_paths.empty());
2958
          filemetadata.db_path = options_->db_paths.back().path;
2959 2960
        }
        filemetadata.name = MakeTableFileName("", file->fd.GetNumber());
2961
        filemetadata.level = level;
2962
        filemetadata.size = file->fd.GetFileSize();
I
Igor Canadi 已提交
2963 2964 2965 2966
        filemetadata.smallestkey = file->smallest.user_key().ToString();
        filemetadata.largestkey = file->largest.user_key().ToString();
        filemetadata.smallest_seqno = file->smallest_seqno;
        filemetadata.largest_seqno = file->largest_seqno;
2967 2968
        metadata->push_back(filemetadata);
      }
2969 2970 2971 2972
    }
  }
}

2973
void VersionSet::GetObsoleteFiles(std::vector<FileMetaData*>* files) {
2974
  files->insert(files->end(), obsolete_files_.begin(), obsolete_files_.end());
I
Igor Canadi 已提交
2975 2976 2977
  obsolete_files_.clear();
}

2978 2979 2980 2981
ColumnFamilyData* VersionSet::CreateColumnFamily(
    const ColumnFamilyOptions& options, VersionEdit* edit) {
  assert(edit->is_column_family_add_);

2982
  Version* dummy_versions = new Version(nullptr, this);
I
Igor Canadi 已提交
2983 2984 2985
  auto new_cfd = column_family_set_->CreateColumnFamily(
      edit->column_family_name_, edit->column_family_, dummy_versions, options);

2986 2987 2988
  Version* v = new Version(new_cfd, this, current_version_number_++);

  AppendVersion(new_cfd, v);
2989
  new_cfd->CreateNewMemtable();
I
Igor Canadi 已提交
2990
  new_cfd->SetLogNumber(edit->log_number_);
2991 2992 2993
  return new_cfd;
}

2994
}  // namespace rocksdb