version_set.cc 100.4 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

L
liuhuahang 已提交
12
#ifndef __STDC_FORMAT_MACROS
I
Igor Canadi 已提交
13
#define __STDC_FORMAT_MACROS
L
liuhuahang 已提交
14 15
#endif

I
Igor Canadi 已提交
16
#include <inttypes.h>
J
jorlow@chromium.org 已提交
17
#include <algorithm>
I
Igor Canadi 已提交
18
#include <map>
I
Igor Canadi 已提交
19
#include <set>
20
#include <climits>
21
#include <unordered_map>
22
#include <vector>
J
jorlow@chromium.org 已提交
23
#include <stdio.h>
K
kailiu 已提交
24

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

44
namespace rocksdb {
J
jorlow@chromium.org 已提交
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 110 111 112
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),
113
#ifndef NDEBUG
114
        files_(files),
115
#endif
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 221 222 223
        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_;
224
#ifndef NDEBUG
225
  std::vector<FileMetaData*>* files_;
226
#endif
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 304 305 306
  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 已提交
307 308
Version::~Version() {
  assert(refs_ == 0);
309 310 311 312 313 314

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

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

332 333 334 335 336 337
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 已提交
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 365 366 367
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 已提交
368
static bool AfterFile(const Comparator* ucmp,
369
                      const Slice* user_key, const FdWithKeyRange* f) {
A
Abhishek Kona 已提交
370 371
  // nullptr user_key occurs before all keys and is therefore never after *f
  return (user_key != nullptr &&
372
          ucmp->Compare(*user_key, ExtractUserKey(f->largest_key)) > 0);
G
Gabor Cselle 已提交
373 374 375
}

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

382 383
bool SomeFileOverlapsRange(
    const InternalKeyComparator& icmp,
G
Gabor Cselle 已提交
384
    bool disjoint_sorted_files,
385
    const FileLevel& file_level,
G
Gabor Cselle 已提交
386 387 388 389 390
    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
391 392
    for (size_t i = 0; i < file_level.num_files; i++) {
      const FdWithKeyRange* f = &(file_level.files[i]);
G
Gabor Cselle 已提交
393 394 395 396 397 398 399 400 401 402 403 404
      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 已提交
405
  if (smallest_user_key != nullptr) {
G
Gabor Cselle 已提交
406 407
    // Find the earliest possible internal key for smallest_user_key
    InternalKey small(*smallest_user_key, kMaxSequenceNumber,kValueTypeForSeek);
408
    index = FindFile(icmp, file_level, small.Encode());
G
Gabor Cselle 已提交
409 410
  }

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

416
  return !BeforeFile(ucmp, largest_user_key, &file_level.files[index]);
417 418
}

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

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

L
Lei Jin 已提交
475 476 477 478 479 480 481 482 483 484 485 486
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 {
487
    if (meta_handle.size() != sizeof(FileDescriptor)) {
L
Lei Jin 已提交
488 489 490
      return NewErrorIterator(
          Status::Corruption("FileReader invoked with unexpected value"));
    } else {
491 492 493 494 495
      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 已提交
496
    }
J
jorlow@chromium.org 已提交
497 498
  }

L
Lei Jin 已提交
499 500 501 502 503 504 505 506 507 508 509
  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 已提交
510

511 512 513
Status Version::GetTableProperties(std::shared_ptr<const TableProperties>* tp,
                                   const FileMetaData* file_meta,
                                   const std::string* fname) {
I
Igor Canadi 已提交
514
  auto table_cache = cfd_->table_cache();
I
Igor Canadi 已提交
515
  auto options = cfd_->options();
516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536
  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(
537 538
        TableFileName(vset_->options_->db_paths, file_meta->fd.GetNumber(),
                      file_meta->fd.GetPathId()),
539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554
        &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 已提交
555
  RecordTick(options->statistics.get(), NUMBER_DIRECT_LOAD_TABLE_PROPERTIES);
556 557 558 559 560 561

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

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

  return Status::OK();
}

582 583 584 585 586 587 588 589 590 591 592 593
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 已提交
594 595 596 597 598 599 600 601
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_;
}

602 603 604 605
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 已提交
606 607
  for (size_t i = 0; i < file_levels_[0].num_files; i++) {
    const auto& file = file_levels_[0].files[i];
608
    merge_iter_builder->AddIterator(cfd_->table_cache()->NewIterator(
F
Feng Zhu 已提交
609
        read_options, soptions, cfd_->internal_comparator(), file.fd, nullptr,
610 611 612 613 614 615 616
        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 已提交
617
    if (file_levels_[level].num_files != 0) {
618 619 620 621 622
      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 已提交
623 624
          new LevelFileNumIterator(cfd_->internal_comparator(),
              &file_levels_[level]), merge_iter_builder->GetArena()));
625 626 627 628
    }
  }
}

S
Sanjay Ghemawat 已提交
629 630 631 632 633 634
// Callback from TableCache::Get()
enum SaverState {
  kNotFound,
  kFound,
  kDeleted,
  kCorrupt,
635
  kMerge // saver contains the current merge result (the operands)
S
Sanjay Ghemawat 已提交
636
};
M
miguelportilla 已提交
637 638

namespace version_set {
S
Sanjay Ghemawat 已提交
639 640 641 642
struct Saver {
  SaverState state;
  const Comparator* ucmp;
  Slice user_key;
643
  bool* value_found; // Is value set correctly? Used by KeyMayExist
S
Sanjay Ghemawat 已提交
644
  std::string* value;
645
  const MergeOperator* merge_operator;
646 647
  // the merge operations encountered;
  MergeContext* merge_context;
648
  Logger* logger;
649
  Statistics* statistics;
S
Sanjay Ghemawat 已提交
650
};
M
miguelportilla 已提交
651
} // namespace version_set
652

S
Siying Dong 已提交
653 654 655 656 657
// 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
658
static void MarkKeyMayExist(void* arg) {
M
miguelportilla 已提交
659
  version_set::Saver* s = reinterpret_cast<version_set::Saver*>(arg);
660
  s->state = kFound;
661 662 663
  if (s->value_found != nullptr) {
    *(s->value_found) = false;
  }
664 665
}

666
static bool SaveValue(void* arg, const ParsedInternalKey& parsed_key,
I
Igor Canadi 已提交
667
                      const Slice& v) {
M
miguelportilla 已提交
668
  version_set::Saver* s = reinterpret_cast<version_set::Saver*>(arg);
669
  MergeContext* merge_contex = s->merge_context;
670 671
  std::string merge_result;  // temporary area for merge results later

672
  assert(s != nullptr && merge_contex != nullptr);
673

I
Igor Canadi 已提交
674
  // TODO: Merge?
675 676 677 678 679 680 681 682 683 684 685 686 687 688 689
  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;
690
          }
691 692 693 694
        } else {
          assert(false);
        }
        return false;
695

696 697 698 699 700
      case kTypeDeletion:
        if (kNotFound == s->state) {
          s->state = kDeleted;
        } else if (kMerge == s->state) {
          s->state = kFound;
701 702 703
          if (!s->merge_operator->FullMerge(s->user_key, nullptr,
                                            merge_contex->GetOperands(),
                                            s->value, s->logger)) {
704 705
            RecordTick(s->statistics, NUMBER_MERGE_FAILURES);
            s->state = kCorrupt;
706
          }
707
        } else {
J
Jim Paton 已提交
708
          assert(false);
709 710 711 712 713 714 715
        }
        return false;

      case kTypeMerge:
        assert(s->state == kNotFound || s->state == kMerge);
        s->state = kMerge;
        merge_contex->PushOperand(v);
716
        return true;
717 718 719 720

      default:
        assert(false);
        break;
721 722
    }
  }
723 724 725 726

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

  return false;
727 728
}

729 730 731
Version::Version(ColumnFamilyData* cfd, VersionSet* vset,
                 uint64_t version_number)
    : cfd_(cfd),
732 733
      internal_comparator_((cfd == nullptr) ? nullptr
                                            : &cfd->internal_comparator()),
S
sdong 已提交
734 735
      user_comparator_(
          (cfd == nullptr) ? nullptr : internal_comparator_->user_comparator()),
736 737 738 739 740 741
      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()),
742 743 744
      // cfd is nullptr if Version is dummy
      num_levels_(cfd == nullptr ? 0 : cfd->NumberLevels()),
      num_non_empty_levels_(num_levels_),
745 746 747
      file_indexer_(cfd == nullptr
                        ? nullptr
                        : cfd->internal_comparator().user_comparator()),
748
      vset_(vset),
749 750 751 752 753 754 755 756
      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_),
757
      version_number_(version_number),
758 759 760
      total_file_size_(0),
      total_raw_key_size_(0),
      total_raw_value_size_(0),
S
sdong 已提交
761 762
      num_non_deletions_(0),
      num_deletions_(0) {
763 764 765 766 767
  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 已提交
768
      num_deletions_ = cfd->current()->num_deletions_;
769
  }
770
}
771

772 773 774
void Version::Get(const ReadOptions& options,
                  const LookupKey& k,
                  std::string* value,
775
                  Status* status,
776
                  MergeContext* merge_context,
777
                  bool* value_found) {
778 779
  Slice ikey = k.internal_key();
  Slice user_key = k.user_key();
780 781

  assert(status->ok() || status->IsMergeInProgress());
M
miguelportilla 已提交
782
  version_set::Saver saver;
783
  saver.state = status->ok()? kNotFound : kMerge;
784
  saver.ucmp = user_comparator_;
785
  saver.user_key = user_key;
786
  saver.value_found = value_found;
787
  saver.value = value;
788
  saver.merge_operator = merge_operator_;
789
  saver.merge_context = merge_context;
790 791
  saver.logger = info_log_;
  saver.statistics = db_statistics_;
792

793 794 795 796 797 798 799 800 801
  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;
802
    }
803

804 805 806 807
    switch (saver.state) {
      case kNotFound:
        break;      // Keep searching in other files
      case kFound:
808
        return;
809 810 811 812 813 814 815
      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:
816
        break;
817
    }
818
    f = fp.GetNextFile();
819 820
  }

821
  if (kMerge == saver.state) {
822 823 824 825 826
    if (!merge_operator_) {
      *status =  Status::InvalidArgument(
          "merge_operator is not properly initialized.");
      return;
    }
827 828
    // merge_operands are in saver and we hit the beginning of the key history
    // do a final merge of nullptr and operands;
829 830 831
    if (merge_operator_->FullMerge(user_key, nullptr,
                                   saver.merge_context->GetOperands(), value,
                                   info_log_)) {
832 833
      *status = Status::OK();
    } else {
834
      RecordTick(db_statistics_, NUMBER_MERGE_FAILURES);
835 836 837
      *status = Status::Corruption("could not perform end-of-key merge for ",
                                   user_key);
    }
838
  } else {
839
    *status = Status::NotFound(); // Use an empty error message for speed
840
  }
841 842
}

843 844 845
void Version::GenerateFileLevels() {
  file_levels_.resize(num_non_empty_levels_);
  for (int level = 0; level < num_non_empty_levels_; level++) {
F
Feng Zhu 已提交
846
    DoGenerateFileLevel(&file_levels_[level], files_[level], &arena_);
847 848 849
  }
}

850
void Version::PrepareApply(std::vector<uint64_t>& size_being_compacted) {
851
  UpdateTemporaryStats();
852 853 854
  ComputeCompactionScore(size_being_compacted);
  UpdateFilesBySize();
  UpdateNumNonEmptyLevels();
855
  file_indexer_.UpdateIndex(&arena_, num_non_empty_levels_, files_);
856
  GenerateFileLevels();
857 858
}

859
bool Version::MaybeInitializeFileMetaData(FileMetaData* file_meta) {
860
  if (file_meta->init_stats_from_file) {
861 862 863 864
    return false;
  }
  std::shared_ptr<const TableProperties> tp;
  Status s = GetTableProperties(&tp, file_meta);
865
  file_meta->init_stats_from_file = true;
866
  if (!s.ok()) {
867 868 869
    Log(vset_->options_->info_log,
        "Unable to load table properties for file %" PRIu64 " --- %s\n",
        file_meta->fd.GetNumber(), s.ToString().c_str());
870 871 872 873 874 875 876 877 878 879 880
    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;
}

881
void Version::UpdateTemporaryStats() {
882 883 884 885 886 887 888 889 890 891 892 893 894 895 896
  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 已提交
897
        num_deletions_ += file_meta->num_deletions;
898 899 900 901 902 903 904 905 906 907 908
        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]) {
909 910 911 912 913 914 915
      // 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;
      }
916 917 918 919
    }
  }
}

920 921
void Version::ComputeCompactionScore(
    std::vector<uint64_t>& size_being_compacted) {
922 923 924
  double max_score = 0;
  int max_score_level = 0;

925 926
  int max_input_level =
      cfd_->compaction_picker()->MaxInputLevel(NumberLevels());
927

928
  for (int level = 0; level <= max_input_level; level++) {
929 930 931 932 933 934 935 936 937 938 939 940 941 942
    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 已提交
943
      uint64_t total_size = 0;
944 945
      for (unsigned int i = 0; i < files_[level].size(); i++) {
        if (!files_[level][i]->being_compacted) {
946
          total_size += files_[level][i]->compensated_file_size;
947 948 949
          numfiles++;
        }
      }
I
Igor Canadi 已提交
950 951 952 953 954
      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
955
        score = 1000000;
956
      } else if (numfiles >= cfd_->options()->level0_slowdown_writes_trigger) {
957 958 959
        score = 10000;
      } else {
        score = static_cast<double>(numfiles) /
960
                cfd_->options()->level0_file_num_compaction_trigger;
961 962 963 964
      }
    } else {
      // Compute the ratio of current size to size limit.
      const uint64_t level_bytes =
965
          TotalCompensatedFileSize(files_[level]) - size_being_compacted[level];
966 967
      score = static_cast<double>(level_bytes) /
              cfd_->compaction_picker()->MaxBytesForLevel(level);
968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999
      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
1000 1001 1002 1003
bool CompareCompensatedSizeDescending(const Version::Fsize& first,
                                      const Version::Fsize& second) {
  return (first.file->compensated_file_size >
      second.file->compensated_file_size);
1004
}
K
kailiu 已提交
1005
} // anonymous namespace
1006

1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017
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;
    }
  }
}

1018
void Version::UpdateFilesBySize() {
1019 1020
  if (cfd_->options()->compaction_style == kCompactionStyleFIFO ||
      cfd_->options()->compaction_style == kCompactionStyleUniversal) {
I
Igor Canadi 已提交
1021 1022 1023
    // don't need this
    return;
  }
1024
  // No need to sort the highest level because it is never compacted.
1025
  for (int level = 0; level < NumberLevels() - 1; level++) {
1026
    const std::vector<FileMetaData*>& files = files_[level];
1027
    auto& files_by_size = files_by_size_[level];
1028 1029 1030 1031 1032 1033 1034 1035 1036 1037
    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
1038 1039 1040
    size_t num = Version::number_of_files_to_sort_;
    if (num > temp.size()) {
      num = temp.size();
1041
    }
1042 1043
    std::partial_sort(temp.begin(), temp.begin() + num, temp.end(),
                      CompareCompensatedSizeDescending);
1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054
    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 已提交
1055 1056 1057 1058
void Version::Ref() {
  ++refs_;
}

1059
bool Version::Unref() {
J
jorlow@chromium.org 已提交
1060 1061 1062
  assert(refs_ >= 1);
  --refs_;
  if (refs_ == 0) {
1063
    delete this;
1064
    return true;
J
jorlow@chromium.org 已提交
1065
  }
1066
  return false;
J
jorlow@chromium.org 已提交
1067 1068
}

1069 1070 1071 1072 1073 1074 1075 1076
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.
1077 1078 1079 1080
  int max_input_level =
      cfd_->compaction_picker()->MaxInputLevel(NumberLevels());

  for (int i = 0; i <= max_input_level; i++) {
1081 1082 1083 1084 1085 1086 1087
    if (compaction_score_[i] >= 1) {
      return true;
    }
  }
  return false;
}

1088
bool Version::OverlapInLevel(int level,
G
Gabor Cselle 已提交
1089 1090
                             const Slice* smallest_user_key,
                             const Slice* largest_user_key) {
1091
  return SomeFileOverlapsRange(cfd_->internal_comparator(), (level > 0),
1092
                               file_levels_[level], smallest_user_key,
1093
                               largest_user_key);
G
Gabor Cselle 已提交
1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105
}

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;
1106
    int max_mem_compact_level = cfd_->options()->max_mem_compaction_level;
1107
    while (max_mem_compact_level > 0 && level < max_mem_compact_level) {
G
Gabor Cselle 已提交
1108 1109 1110
      if (OverlapInLevel(level + 1, &smallest_user_key, &largest_user_key)) {
        break;
      }
1111
      if (level + 2 >= num_levels_) {
1112 1113
        level++;
        break;
1114
      }
G
Gabor Cselle 已提交
1115
      GetOverlappingInputs(level + 2, &start, &limit, &overlaps);
1116
      const uint64_t sum = TotalFileSize(overlaps);
1117
      if (sum > cfd_->compaction_picker()->MaxGrandParentOverlapBytes(level)) {
G
Gabor Cselle 已提交
1118 1119 1120 1121 1122
        break;
      }
      level++;
    }
  }
1123

G
Gabor Cselle 已提交
1124 1125 1126 1127
  return level;
}

// Store in "*inputs" all files in "level" that overlap [begin,end]
A
Abhishek Kona 已提交
1128
// If hint_index is specified, then it points to a file in the
1129 1130
// overlapping range.
// The file_index returns a pointer to any file in an overlapping range.
1131 1132 1133 1134 1135 1136
void Version::GetOverlappingInputs(int level,
                                   const InternalKey* begin,
                                   const InternalKey* end,
                                   std::vector<FileMetaData*>* inputs,
                                   int hint_index,
                                   int* file_index) {
G
Gabor Cselle 已提交
1137 1138
  inputs->clear();
  Slice user_begin, user_end;
A
Abhishek Kona 已提交
1139
  if (begin != nullptr) {
G
Gabor Cselle 已提交
1140 1141
    user_begin = begin->user_key();
  }
A
Abhishek Kona 已提交
1142
  if (end != nullptr) {
G
Gabor Cselle 已提交
1143 1144
    user_end = end->user_key();
  }
1145 1146 1147
  if (file_index) {
    *file_index = -1;
  }
1148
  const Comparator* user_cmp = cfd_->internal_comparator().user_comparator();
A
Abhishek Kona 已提交
1149
  if (begin != nullptr && end != nullptr && level > 0) {
1150 1151
    GetOverlappingInputsBinarySearch(level, user_begin, user_end, inputs,
      hint_index, file_index);
1152 1153
    return;
  }
1154 1155 1156 1157
  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 已提交
1158
    if (begin != nullptr && user_cmp->Compare(file_limit, user_begin) < 0) {
G
Gabor Cselle 已提交
1159
      // "f" is completely before specified range; skip it
A
Abhishek Kona 已提交
1160
    } else if (end != nullptr && user_cmp->Compare(file_start, user_end) > 0) {
G
Gabor Cselle 已提交
1161 1162
      // "f" is completely after specified range; skip it
    } else {
1163
      inputs->push_back(files_[level][i-1]);
H
Hans Wennborg 已提交
1164 1165 1166
      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 已提交
1167
        if (begin != nullptr && user_cmp->Compare(file_start, user_begin) < 0) {
H
Hans Wennborg 已提交
1168 1169 1170
          user_begin = file_start;
          inputs->clear();
          i = 0;
A
Abhishek Kona 已提交
1171 1172
        } else if (end != nullptr
            && user_cmp->Compare(file_limit, user_end) > 0) {
H
Hans Wennborg 已提交
1173 1174 1175 1176
          user_end = file_limit;
          inputs->clear();
          i = 0;
        }
1177
      } else if (file_index) {
1178
        *file_index = i-1;
H
Hans Wennborg 已提交
1179
      }
G
Gabor Cselle 已提交
1180 1181
    }
  }
1182 1183
}

1184 1185 1186 1187 1188 1189 1190 1191
// 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,
1192 1193 1194
    std::vector<FileMetaData*>* inputs,
    int hint_index,
    int* file_index) {
1195 1196 1197 1198 1199
  assert(level > 0);
  int min = 0;
  int mid = 0;
  int max = files_[level].size() -1;
  bool foundOverlap = false;
1200
  const Comparator* user_cmp = cfd_->internal_comparator().user_comparator();
1201 1202 1203 1204 1205 1206 1207 1208 1209

  // 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) {
1210
    mid = (min + max)/2;
1211 1212 1213
    FdWithKeyRange* f = &(file_levels_[level].files[mid]);
    const Slice file_start = ExtractUserKey(f->smallest_key);
    const Slice file_limit = ExtractUserKey(f->largest_key);
1214 1215 1216 1217 1218 1219 1220 1221 1222
    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 已提交
1223

1224 1225 1226 1227
  // If there were no overlapping files, return immediately.
  if (!foundOverlap) {
    return;
  }
1228 1229 1230 1231
  // returns the index where an overlap is found
  if (file_index) {
    *file_index = mid;
  }
1232 1233
  ExtendOverlappingInputs(level, user_begin, user_end, inputs, mid);
}
A
Abhishek Kona 已提交
1234

1235 1236 1237 1238
// 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 已提交
1239
// Use FileLevel in searching, make it faster
1240 1241 1242 1243 1244
void Version::ExtendOverlappingInputs(
    int level,
    const Slice& user_begin,
    const Slice& user_end,
    std::vector<FileMetaData*>* inputs,
1245
    unsigned int midIndex) {
1246

1247
  const Comparator* user_cmp = cfd_->internal_comparator().user_comparator();
1248
  const FdWithKeyRange* files = file_levels_[level].files;
1249 1250 1251
#ifndef NDEBUG
  {
    // assert that the file at midIndex overlaps with the range
1252 1253 1254 1255
    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);
1256 1257 1258 1259 1260 1261 1262
    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
1263 1264
  int startIndex = midIndex + 1;
  int endIndex = midIndex;
1265
  int count __attribute__((unused)) = 0;
1266 1267

  // check backwards from 'mid' to lower indices
1268
  for (int i = midIndex; i >= 0 ; i--) {
1269 1270
    const FdWithKeyRange* f = &files[i];
    const Slice file_limit = ExtractUserKey(f->largest_key);
1271
    if (user_cmp->Compare(file_limit, user_begin) >= 0) {
1272 1273
      startIndex = i;
      assert((count++, true));
1274 1275 1276 1277 1278
    } else {
      break;
    }
  }
  // check forward from 'mid+1' to higher indices
1279 1280 1281
  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);
1282
    if (user_cmp->Compare(file_start, user_end) <= 0) {
1283 1284
      assert((count++, true));
      endIndex = i;
1285 1286 1287 1288
    } else {
      break;
    }
  }
1289 1290 1291 1292 1293
  assert(count == endIndex - startIndex + 1);

  // insert overlapping files into vector
  for (int i = startIndex; i <= endIndex; i++) {
    FileMetaData* f = files_[level][i];
1294
    inputs->push_back(f);
1295
  }
1296 1297
}

1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311
// 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;
  }

1312
  const Comparator* user_cmp = cfd_->internal_comparator().user_comparator();
1313 1314 1315
  const FileLevel& file_level = file_levels_[level];
  const FdWithKeyRange* files = file_levels_[level].files;
  const size_t kNumFiles = file_level.num_files;
1316 1317

  // Check the last file in inputs against the file after it
1318
  size_t last_file = FindFile(cfd_->internal_comparator(), file_level,
1319 1320 1321
                              inputs->back()->largest.Encode());
  assert(0 <= last_file && last_file < kNumFiles);  // File should exist!
  if (last_file < kNumFiles-1) {                    // If not the last file
1322 1323 1324 1325
    const Slice last_key_in_input = ExtractUserKey(
        files[last_file].largest_key);
    const Slice first_key_after = ExtractUserKey(
        files[last_file+1].smallest_key);
1326 1327 1328 1329 1330 1331 1332
    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
1333
  size_t first_file = FindFile(cfd_->internal_comparator(), file_level,
1334 1335 1336
                               inputs->front()->smallest.Encode());
  assert(0 <= first_file && first_file <= last_file);   // File should exist!
  if (first_file > 0) {                                 // If not first file
1337 1338 1339 1340
    const Slice& first_key_in_input = ExtractUserKey(
        files[first_file].smallest_key);
    const Slice& last_key_before = ExtractUserKey(
        files[first_file-1].largest_key);
1341 1342 1343 1344 1345 1346 1347 1348 1349
    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;
}

1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363
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 已提交
1364 1365 1366 1367
  if (len > 0) {
    // overwrite the last space
    --len;
  }
1368 1369 1370 1371 1372 1373 1374 1375 1376
  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 已提交
1377
    char sztxt[16];
1378
    AppendHumanBytes(f->fd.GetFileSize(), sztxt, sizeof(sztxt));
1379
    int ret = snprintf(scratch->buffer + len, sz,
1380 1381
                       "#%" PRIu64 "(seq=%" PRIu64 ",sz=%s,%d) ",
                       f->fd.GetNumber(), f->smallest_seqno, sztxt,
I
Igor Canadi 已提交
1382
                       static_cast<int>(f->being_compacted));
1383 1384 1385 1386
    if (ret < 0 || ret >= sz)
      break;
    len += ret;
  }
I
Igor Canadi 已提交
1387 1388 1389 1390
  // overwrite the last space (only if files_[level].size() is non-zero)
  if (files_[level].size() && len > 0) {
    --len;
  }
1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409
  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;
}

1410
void Version::AddLiveFiles(std::vector<FileDescriptor>* live) {
1411 1412 1413
  for (int level = 0; level < NumberLevels(); level++) {
    const std::vector<FileMetaData*>& files = files_[level];
    for (const auto& file : files) {
1414
      live->push_back(file->fd);
1415 1416 1417 1418
    }
  }
}

Z
Zheng Shao 已提交
1419
std::string Version::DebugString(bool hex) const {
J
jorlow@chromium.org 已提交
1420
  std::string r;
1421
  for (int level = 0; level < num_levels_; level++) {
1422 1423 1424 1425 1426
    // E.g.,
    //   --- level 1 ---
    //   17:123['a' .. 'd']
    //   20:43['e' .. 'g']
    r.append("--- level ");
J
jorlow@chromium.org 已提交
1427
    AppendNumberTo(&r, level);
1428 1429
    r.append(" --- version# ");
    AppendNumberTo(&r, version_number_);
1430
    r.append(" ---\n");
J
jorlow@chromium.org 已提交
1431
    const std::vector<FileMetaData*>& files = files_[level];
D
dgrogan@chromium.org 已提交
1432
    for (size_t i = 0; i < files.size(); i++) {
J
jorlow@chromium.org 已提交
1433
      r.push_back(' ');
1434
      AppendNumberTo(&r, files[i]->fd.GetNumber());
J
jorlow@chromium.org 已提交
1435
      r.push_back(':');
1436
      AppendNumberTo(&r, files[i]->fd.GetFileSize());
G
Gabor Cselle 已提交
1437
      r.append("[");
Z
Zheng Shao 已提交
1438
      r.append(files[i]->smallest.DebugString(hex));
G
Gabor Cselle 已提交
1439
      r.append(" .. ");
Z
Zheng Shao 已提交
1440
      r.append(files[i]->largest.DebugString(hex));
G
Gabor Cselle 已提交
1441
      r.append("]\n");
J
jorlow@chromium.org 已提交
1442 1443 1444 1445 1446
    }
  }
  return r;
}

1447 1448 1449 1450 1451
// this is used to batch writes to the manifest file
struct VersionSet::ManifestWriter {
  Status status;
  bool done;
  port::CondVar cv;
1452
  ColumnFamilyData* cfd;
1453
  VersionEdit* edit;
A
Abhishek Kona 已提交
1454

1455 1456 1457
  explicit ManifestWriter(port::Mutex* mu, ColumnFamilyData* cfd,
                          VersionEdit* e)
      : done(false), cv(mu), cfd(cfd), edit(e) {}
1458 1459
};

J
jorlow@chromium.org 已提交
1460 1461 1462 1463 1464
// 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:
1465
  // Helper to sort v->files_
1466
  // kLevel0 -- NewestFirstBySeqNo
1467 1468 1469
  // kLevelNon0 -- BySmallestKey
  struct FileComparator {
    enum SortMethod {
1470 1471
      kLevel0 = 0,
      kLevelNon0 = 1,
1472
    } sort_method;
1473 1474 1475
    const InternalKeyComparator* internal_comparator;

    bool operator()(FileMetaData* f1, FileMetaData* f2) const {
1476
      switch (sort_method) {
1477
        case kLevel0:
1478 1479 1480
          return NewestFirstBySeqNo(f1, f2);
        case kLevelNon0:
          return BySmallestKey(f1, f2, internal_comparator);
1481
      }
1482
      assert(false);
1483
      return false;
1484 1485 1486
    }
  };

1487
  typedef std::set<FileMetaData*, FileComparator> FileSet;
1488 1489 1490 1491 1492
  struct LevelState {
    std::set<uint64_t> deleted_files;
    FileSet* added_files;
  };

1493
  ColumnFamilyData* cfd_;
1494
  Version* base_;
1495
  LevelState* levels_;
1496 1497
  FileComparator level_zero_cmp_;
  FileComparator level_nonzero_cmp_;
J
jorlow@chromium.org 已提交
1498 1499

 public:
1500
  Builder(ColumnFamilyData* cfd) : cfd_(cfd), base_(cfd->current()) {
1501
    base_->Ref();
1502
    levels_ = new LevelState[base_->NumberLevels()];
1503
    level_zero_cmp_.sort_method = FileComparator::kLevel0;
1504
    level_nonzero_cmp_.sort_method = FileComparator::kLevelNon0;
1505
    level_nonzero_cmp_.internal_comparator = &cfd->internal_comparator();
1506 1507

    levels_[0].added_files = new FileSet(level_zero_cmp_);
1508
    for (int level = 1; level < base_->NumberLevels(); level++) {
1509
        levels_[level].added_files = new FileSet(level_nonzero_cmp_);
J
jorlow@chromium.org 已提交
1510 1511 1512 1513
    }
  }

  ~Builder() {
1514
    for (int level = 0; level < base_->NumberLevels(); level++) {
1515 1516 1517 1518 1519 1520 1521 1522
      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 已提交
1523
      for (uint32_t i = 0; i < to_unref.size(); i++) {
1524
        FileMetaData* f = to_unref[i];
J
jorlow@chromium.org 已提交
1525 1526
        f->refs--;
        if (f->refs <= 0) {
1527
          if (f->table_reader_handle) {
1528
            cfd_->table_cache()->ReleaseHandle(f->table_reader_handle);
1529 1530
            f->table_reader_handle = nullptr;
          }
J
jorlow@chromium.org 已提交
1531 1532 1533 1534
          delete f;
        }
      }
    }
K
kailiu 已提交
1535

1536
    delete[] levels_;
1537
    base_->Unref();
J
jorlow@chromium.org 已提交
1538 1539
  }

1540 1541
  void CheckConsistency(Version* v) {
#ifndef NDEBUG
1542
    // make sure the files are sorted correctly
1543
    for (int level = 0; level < v->NumberLevels(); level++) {
1544 1545 1546 1547 1548
      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));
1549
          assert(f1->largest_seqno > f2->largest_seqno);
1550 1551 1552 1553
        } else {
          assert(level_nonzero_cmp_(f1, f2));

          // Make sure there is no overlap in levels > 0
1554 1555
          if (cfd_->internal_comparator().Compare(f1->largest, f2->smallest) >=
              0) {
1556
            fprintf(stderr, "overlapping ranges in same level %s vs. %s\n",
1557 1558
                    (f1->largest).DebugString().c_str(),
                    (f2->smallest).DebugString().c_str());
1559 1560 1561 1562 1563 1564 1565 1566
            abort();
          }
        }
      }
    }
#endif
  }

1567
  void CheckConsistencyForDeletes(VersionEdit* edit, uint64_t number,
1568
                                  int level) {
1569 1570 1571
#ifndef NDEBUG
      // a file to be deleted better exist in the previous version
      bool found = false;
1572
      for (int l = 0; !found && l < base_->NumberLevels(); l++) {
1573
        const std::vector<FileMetaData*>& base_files = base_->files_[l];
1574
        for (unsigned int i = 0; i < base_files.size(); i++) {
1575
          FileMetaData* f = base_files[i];
1576
          if (f->fd.GetNumber() == number) {
1577 1578 1579 1580 1581 1582 1583 1584
            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
1585
      for (int l = level+1; !found && l < base_->NumberLevels(); l++) {
1586
        const FileSet* added = levels_[l].added_files;
D
Dhruba Borthakur 已提交
1587 1588 1589
        for (FileSet::const_iterator added_iter = added->begin();
             added_iter != added->end(); ++added_iter) {
          FileMetaData* f = *added_iter;
1590
          if (f->fd.GetNumber() == number) {
D
Dhruba Borthakur 已提交
1591 1592 1593 1594 1595 1596 1597 1598 1599
            found = true;
            break;
          }
        }
      }

      // maybe this file was added in a previous edit that was Applied
      if (!found) {
        const FileSet* added = levels_[level].added_files;
1600 1601 1602
        for (FileSet::const_iterator added_iter = added->begin();
             added_iter != added->end(); ++added_iter) {
          FileMetaData* f = *added_iter;
1603
          if (f->fd.GetNumber() == number) {
1604 1605 1606 1607 1608
            found = true;
            break;
          }
        }
      }
1609
      if (!found) {
I
Igor Canadi 已提交
1610
        fprintf(stderr, "not found %" PRIu64 "\n", number);
1611
      }
1612 1613 1614 1615
      assert(found);
#endif
  }

J
jorlow@chromium.org 已提交
1616 1617
  // Apply all of the edits in *edit to the current state.
  void Apply(VersionEdit* edit) {
1618 1619
    CheckConsistency(base_);

J
jorlow@chromium.org 已提交
1620 1621
    // Delete files
    const VersionEdit::DeletedFileSet& del = edit->deleted_files_;
K
kailiu 已提交
1622 1623 1624
    for (const auto& del_file : del) {
      const auto level = del_file.first;
      const auto number = del_file.second;
1625
      levels_[level].deleted_files.insert(number);
1626
      CheckConsistencyForDeletes(edit, number, level);
J
jorlow@chromium.org 已提交
1627 1628 1629
    }

    // Add new files
K
kailiu 已提交
1630 1631 1632
    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 已提交
1633
      f->refs = 1;
1634

1635
      levels_[level].deleted_files.erase(f->fd.GetNumber());
1636
      levels_[level].added_files->insert(f);
J
jorlow@chromium.org 已提交
1637 1638 1639 1640 1641
    }
  }

  // Save the current state in *v.
  void SaveTo(Version* v) {
1642 1643
    CheckConsistency(base_);
    CheckConsistency(v);
1644

1645
    for (int level = 0; level < base_->NumberLevels(); level++) {
1646
      const auto& cmp = (level == 0) ? level_zero_cmp_ : level_nonzero_cmp_;
1647 1648
      // Merge the set of added files with the set of pre-existing files.
      // Drop any deleted files.  Store the result in *v.
K
kailiu 已提交
1649 1650 1651 1652 1653 1654 1655
      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) {
1656
        // Add all smaller files listed in base_
K
kailiu 已提交
1657
        for (auto bpos = std::upper_bound(base_iter, base_end, added, cmp);
1658 1659 1660 1661 1662
             base_iter != bpos;
             ++base_iter) {
          MaybeAddFile(v, level, *base_iter);
        }

K
kailiu 已提交
1663
        MaybeAddFile(v, level, added);
1664 1665 1666 1667 1668
      }

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

1672
    CheckConsistency(v);
1673 1674
  }

1675
  void LoadTableHandlers() {
1676
    for (int level = 0; level < cfd_->NumberLevels(); level++) {
1677 1678
      for (auto& file_meta : *(levels_[level].added_files)) {
        assert (!file_meta->table_reader_handle);
1679 1680
        cfd_->table_cache()->FindTable(
            base_->vset_->storage_options_, cfd_->internal_comparator(),
I
Igor Canadi 已提交
1681
            file_meta->fd, &file_meta->table_reader_handle, false);
1682 1683
        if (file_meta->table_reader_handle != nullptr) {
          // Load table_reader
1684
          file_meta->fd.table_reader =
1685 1686 1687
              cfd_->table_cache()->GetTableReaderFromHandle(
                  file_meta->table_reader_handle);
        }
1688 1689 1690 1691
      }
    }
  }

1692
  void MaybeAddFile(Version* v, int level, FileMetaData* f) {
1693
    if (levels_[level].deleted_files.count(f->fd.GetNumber()) > 0) {
1694 1695
      // File is deleted: do nothing
    } else {
K
kailiu 已提交
1696
      auto* files = &v->files_[level];
1697 1698
      if (level > 0 && !files->empty()) {
        // Must not overlap
1699 1700
        assert(cfd_->internal_comparator().Compare(
                   (*files)[files->size() - 1]->largest, f->smallest) < 0);
1701
      }
1702
      f->refs++;
1703
      files->push_back(f);
J
jorlow@chromium.org 已提交
1704 1705 1706 1707
    }
  }
};

I
Igor Canadi 已提交
1708
VersionSet::VersionSet(const std::string& dbname, const DBOptions* options,
1709 1710
                       const EnvOptions& storage_options, Cache* table_cache,
                       WriteController* write_controller)
I
Igor Canadi 已提交
1711
    : column_family_set_(new ColumnFamilySet(dbname, options, storage_options,
1712
                                             table_cache, write_controller)),
I
Igor Canadi 已提交
1713
      env_(options->env),
J
jorlow@chromium.org 已提交
1714 1715 1716 1717
      dbname_(dbname),
      options_(options),
      next_file_number_(2),
      manifest_file_number_(0),  // Filled by Recover()
1718
      pending_manifest_file_number_(0),
1719 1720
      last_sequence_(0),
      prev_log_number_(0),
A
Abhishek Kona 已提交
1721
      current_version_number_(0),
1722
      manifest_file_size_(0),
1723
      storage_options_(storage_options),
I
Igor Canadi 已提交
1724
      storage_options_compactions_(storage_options_) {}
J
jorlow@chromium.org 已提交
1725 1726

VersionSet::~VersionSet() {
1727 1728 1729
  // we need to delete column_family_set_ because its destructor depends on
  // VersionSet
  column_family_set_.reset();
1730 1731 1732 1733
  for (auto file : obsolete_files_) {
    delete file;
  }
  obsolete_files_.clear();
1734 1735
}

1736 1737
void VersionSet::AppendVersion(ColumnFamilyData* column_family_data,
                               Version* v) {
1738 1739
  // Make "v" current
  assert(v->refs_ == 0);
1740 1741 1742 1743 1744
  Version* current = column_family_data->current();
  assert(v != current);
  if (current != nullptr) {
    assert(current->refs_ > 0);
    current->Unref();
1745
  }
1746
  column_family_data->SetCurrent(v);
1747 1748 1749
  v->Ref();

  // Append to linked list
1750 1751
  v->prev_ = column_family_data->dummy_versions()->prev_;
  v->next_ = column_family_data->dummy_versions();
1752 1753 1754 1755
  v->prev_->next_ = v;
  v->next_->prev_ = v;
}

1756
Status VersionSet::LogAndApply(ColumnFamilyData* column_family_data,
1757
                               VersionEdit* edit, port::Mutex* mu,
1758 1759
                               Directory* db_directory, bool new_descriptor_log,
                               const ColumnFamilyOptions* options) {
1760
  mu->AssertHeld();
1761

I
Igor Canadi 已提交
1762 1763 1764 1765 1766
  // 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);
1767
  }
1768

1769
  // queue our request
1770
  ManifestWriter w(mu, column_family_data, edit);
1771 1772 1773
  manifest_writers_.push_back(&w);
  while (!w.done && &w != manifest_writers_.front()) {
    w.cv.Wait();
1774
  }
1775 1776 1777
  if (w.done) {
    return w.status;
  }
I
Igor Canadi 已提交
1778 1779 1780 1781 1782 1783 1784 1785 1786 1787
  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 已提交
1788

1789
  std::vector<VersionEdit*> batch_edits;
1790 1791
  Version* v = nullptr;
  std::unique_ptr<Builder> builder(nullptr);
1792

1793 1794 1795
  // process all requests in the queue
  ManifestWriter* last_writer = &w;
  assert(!manifest_writers_.empty());
1796
  assert(manifest_writers_.front() == &w);
1797 1798
  if (edit->IsColumnFamilyManipulation()) {
    // no group commits for column family add or drop
I
Igor Canadi 已提交
1799
    LogAndApplyCFHelper(edit);
1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813 1814
    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);
1815
    }
1816
    builder->SaveTo(v);
J
jorlow@chromium.org 已提交
1817 1818 1819 1820
  }

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

1824
  assert(pending_manifest_file_number_ == 0);
1825
  if (!descriptor_log_ ||
1826
      manifest_file_size_ > options_->max_manifest_file_size) {
1827 1828
    pending_manifest_file_number_ = NewFileNumber();
    batch_edits.back()->SetNextFile(next_file_number_);
A
Abhishek Kona 已提交
1829
    new_descriptor_log = true;
1830 1831
  } else {
    pending_manifest_file_number_ = manifest_file_number_;
A
Abhishek Kona 已提交
1832 1833
  }

I
Igor Canadi 已提交
1834
  if (new_descriptor_log) {
1835
    // if we're writing out new snapshot make sure to persist max column family
I
Igor Canadi 已提交
1836 1837 1838
    if (column_family_set_->GetMaxColumnFamily() > 0) {
      edit->SetMaxColumnFamily(column_family_set_->GetMaxColumnFamily());
    }
J
jorlow@chromium.org 已提交
1839 1840
  }

1841
  // Unlock during expensive operations. New writes cannot get here
1842
  // because &w is ensuring that all new writes get queued.
1843
  {
1844 1845 1846 1847 1848 1849 1850
    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);
    }
1851

1852
    mu->Unlock();
1853

1854
    if (!edit->IsColumnFamilyManipulation() && options_->max_open_files == -1) {
1855 1856
      // unlimited table cache. Pre-load table handle now.
      // Need to do it out of the mutex.
1857
      builder->LoadTableHandlers();
1858 1859
    }

I
Igor Canadi 已提交
1860 1861
    // This is fine because everything inside of this block is serialized --
    // only one thread can be here at the same time
I
Igor Canadi 已提交
1862
    if (new_descriptor_log) {
1863 1864 1865
      // create manifest file
      Log(options_->info_log,
          "Creating manifest %" PRIu64 "\n", pending_manifest_file_number_);
I
Igor Canadi 已提交
1866
      unique_ptr<WritableFile> descriptor_file;
1867 1868
      s = env_->NewWritableFile(
          DescriptorFileName(dbname_, pending_manifest_file_number_),
I
Igor Canadi 已提交
1869
          &descriptor_file, env_->OptimizeForManifestWrite(storage_options_));
I
Igor Canadi 已提交
1870
      if (s.ok()) {
1871 1872
        descriptor_file->SetPreallocationBlockSize(
            options_->manifest_preallocation_size);
I
Igor Canadi 已提交
1873 1874 1875 1876 1877
        descriptor_log_.reset(new log::Writer(std::move(descriptor_file)));
        s = WriteSnapshot(descriptor_log_.get());
      }
    }

1878
    if (!edit->IsColumnFamilyManipulation()) {
1879 1880
      // This is cpu-heavy operations, which should be called outside mutex.
      v->PrepareApply(size_being_compacted);
1881
    }
1882 1883

    // Write new record to MANIFEST log
J
jorlow@chromium.org 已提交
1884
    if (s.ok()) {
I
Igor Canadi 已提交
1885 1886 1887
      for (auto& e : batch_edits) {
        std::string record;
        e->EncodeTo(&record);
1888 1889 1890 1891 1892
        s = descriptor_log_->AddRecord(record);
        if (!s.ok()) {
          break;
        }
      }
1893
      if (s.ok()) {
1894
        if (options_->use_fsync) {
1895 1896
          StopWatch sw(env_, options_->statistics.get(),
                       MANIFEST_FILE_SYNC_MICROS);
1897
          s = descriptor_log_->file()->Fsync();
1898
        } else {
1899 1900
          StopWatch sw(env_, options_->statistics.get(),
                       MANIFEST_FILE_SYNC_MICROS);
1901
          s = descriptor_log_->file()->Sync();
1902
        }
1903
      }
1904 1905
      if (!s.ok()) {
        Log(options_->info_log, "MANIFEST write: %s\n", s.ToString().c_str());
I
Igor Canadi 已提交
1906 1907 1908 1909
        bool all_records_in = true;
        for (auto& e : batch_edits) {
          std::string record;
          e->EncodeTo(&record);
1910
          if (!ManifestContains(pending_manifest_file_number_, record)) {
I
Igor Canadi 已提交
1911 1912 1913 1914 1915
            all_records_in = false;
            break;
          }
        }
        if (all_records_in) {
1916 1917
          Log(options_->info_log,
              "MANIFEST contains log record despite error; advancing to new "
1918 1919
              "version to prevent mismatch between in-memory and logged state"
              " If paranoid is set, then the db is now in readonly mode.");
1920 1921 1922
          s = Status::OK();
        }
      }
J
jorlow@chromium.org 已提交
1923 1924
    }

1925 1926
    // If we just created a new descriptor file, install it by writing a
    // new CURRENT file that points to it.
1927
    if (s.ok() && new_descriptor_log) {
1928 1929
      s = SetCurrentFile(env_, dbname_, pending_manifest_file_number_,
                         db_directory);
1930
      if (s.ok() && pending_manifest_file_number_ > manifest_file_number_) {
I
Igor Canadi 已提交
1931 1932
        // delete old manifest file
        Log(options_->info_log,
1933 1934
            "Deleting manifest %" PRIu64 " current manifest %" PRIu64 "\n",
            manifest_file_number_, pending_manifest_file_number_);
I
Igor Canadi 已提交
1935 1936
        // we don't care about an error here, PurgeObsoleteFiles will take care
        // of it later
1937
        env_->DeleteFile(DescriptorFileName(dbname_, manifest_file_number_));
I
Igor Canadi 已提交
1938
      }
1939 1940
    }

1941 1942 1943 1944
    if (s.ok()) {
      // find offset in manifest file where this version is stored.
      new_manifest_file_size = descriptor_log_->file()->GetFileSize();
    }
A
Abhishek Kona 已提交
1945

I
Igor Canadi 已提交
1946
    LogFlush(options_->info_log);
1947
    mu->Lock();
J
jorlow@chromium.org 已提交
1948 1949 1950 1951
  }

  // Install the new version
  if (s.ok()) {
1952 1953 1954 1955 1956 1957 1958
    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 已提交
1959
      column_family_data->SetDropped();
1960 1961 1962 1963
      if (column_family_data->Unref()) {
        delete column_family_data;
      }
    } else {
I
Igor Canadi 已提交
1964 1965 1966 1967 1968 1969 1970 1971
      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 已提交
1972
        assert(column_family_data->GetLogNumber() <= max_log_number_in_batch);
I
Igor Canadi 已提交
1973 1974
        column_family_data->SetLogNumber(max_log_number_in_batch);
      }
1975 1976 1977
      AppendVersion(column_family_data, v);
    }

1978
    manifest_file_number_ = pending_manifest_file_number_;
1979
    manifest_file_size_ = new_manifest_file_size;
1980
    prev_log_number_ = edit->prev_log_number_;
J
jorlow@chromium.org 已提交
1981
  } else {
I
Igor Canadi 已提交
1982 1983 1984
    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 已提交
1985
    delete v;
1986
    if (new_descriptor_log) {
1987 1988 1989
      Log(options_->info_log,
        "Deleting manifest %" PRIu64 " current manifest %" PRIu64 "\n",
        manifest_file_number_, pending_manifest_file_number_);
1990
      descriptor_log_.reset();
1991 1992
      env_->DeleteFile(
          DescriptorFileName(dbname_, pending_manifest_file_number_));
J
jorlow@chromium.org 已提交
1993 1994
    }
  }
1995
  pending_manifest_file_number_ = 0;
J
jorlow@chromium.org 已提交
1996

1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011
  // 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 已提交
2012 2013 2014
  return s;
}

I
Igor Canadi 已提交
2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025
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());
  }
}

2026 2027 2028
void VersionSet::LogAndApplyHelper(ColumnFamilyData* cfd, Builder* builder,
                                   Version* v, VersionEdit* edit,
                                   port::Mutex* mu) {
2029
  mu->AssertHeld();
I
Igor Canadi 已提交
2030
  assert(!edit->IsColumnFamilyManipulation());
2031

2032 2033
  if (edit->has_log_number_) {
    assert(edit->log_number_ >= cfd->GetLogNumber());
I
Igor Canadi 已提交
2034
    assert(edit->log_number_ < next_file_number_);
I
Igor Canadi 已提交
2035
  }
2036

I
Igor Canadi 已提交
2037 2038 2039 2040 2041 2042
  if (!edit->has_prev_log_number_) {
    edit->SetPrevLogNumber(prev_log_number_);
  }
  edit->SetNextFile(next_file_number_);
  edit->SetLastSequence(last_sequence_);

2043
  builder->Apply(edit);
2044 2045
}

I
Igor Canadi 已提交
2046
Status VersionSet::Recover(
2047 2048
    const std::vector<ColumnFamilyDescriptor>& column_families,
    bool read_only) {
I
Igor Canadi 已提交
2049 2050 2051 2052 2053 2054 2055
  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 已提交
2056
  std::unordered_map<int, std::string> column_families_not_found;
J
jorlow@chromium.org 已提交
2057 2058

  // Read "CURRENT" file, which contains a pointer to the current manifest file
K
kailiu 已提交
2059 2060 2061 2062
  std::string manifest_filename;
  Status s = ReadFileToString(
      env_, CurrentFileName(dbname_), &manifest_filename
  );
J
jorlow@chromium.org 已提交
2063 2064 2065
  if (!s.ok()) {
    return s;
  }
K
kailiu 已提交
2066 2067
  if (manifest_filename.empty() ||
      manifest_filename.back() != '\n') {
J
jorlow@chromium.org 已提交
2068 2069
    return Status::Corruption("CURRENT file does not end with newline");
  }
K
kailiu 已提交
2070 2071
  // remove the trailing '\n'
  manifest_filename.resize(manifest_filename.size() - 1);
2072 2073 2074 2075 2076 2077
  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 已提交
2078

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

K
kailiu 已提交
2082 2083
  manifest_filename = dbname_ + "/" + manifest_filename;
  unique_ptr<SequentialFile> manifest_file;
2084 2085
  s = env_->NewSequentialFile(manifest_filename, &manifest_file,
                              storage_options_);
J
jorlow@chromium.org 已提交
2086 2087 2088
  if (!s.ok()) {
    return s;
  }
2089
  uint64_t manifest_file_size;
K
kailiu 已提交
2090
  s = env_->GetFileSize(manifest_filename, &manifest_file_size);
2091 2092 2093
  if (!s.ok()) {
    return s;
  }
J
jorlow@chromium.org 已提交
2094 2095

  bool have_log_number = false;
2096
  bool have_prev_log_number = false;
J
jorlow@chromium.org 已提交
2097 2098 2099
  bool have_next_file = false;
  bool have_last_sequence = false;
  uint64_t next_file = 0;
2100 2101 2102
  uint64_t last_sequence = 0;
  uint64_t log_number = 0;
  uint64_t prev_log_number = 0;
2103
  uint32_t max_column_family = 0;
2104
  std::unordered_map<uint32_t, Builder*> builders;
J
jorlow@chromium.org 已提交
2105

2106
  // add default column family
2107
  auto default_cf_iter = cf_name_to_options.find(kDefaultColumnFamilyName);
I
Igor Canadi 已提交
2108
  if (default_cf_iter == cf_name_to_options.end()) {
I
Igor Canadi 已提交
2109
    return Status::InvalidArgument("Default column family not specified");
I
Igor Canadi 已提交
2110
  }
I
Igor Canadi 已提交
2111
  VersionEdit default_cf_edit;
2112
  default_cf_edit.AddColumnFamily(kDefaultColumnFamilyName);
I
Igor Canadi 已提交
2113 2114 2115 2116
  default_cf_edit.SetColumnFamily(0);
  ColumnFamilyData* default_cfd =
      CreateColumnFamily(default_cf_iter->second, &default_cf_edit);
  builders.insert({0, new Builder(default_cfd)});
2117

J
jorlow@chromium.org 已提交
2118
  {
I
Igor Canadi 已提交
2119
    VersionSet::LogReporter reporter;
J
jorlow@chromium.org 已提交
2120
    reporter.status = &s;
K
kailiu 已提交
2121 2122
    log::Reader reader(std::move(manifest_file), &reporter, true /*checksum*/,
                       0 /*initial_offset*/);
J
jorlow@chromium.org 已提交
2123 2124 2125
    Slice record;
    std::string scratch;
    while (reader.ReadRecord(&record, &scratch) && s.ok()) {
2126
      VersionEdit edit;
J
jorlow@chromium.org 已提交
2127
      s = edit.DecodeFrom(record);
2128 2129
      if (!s.ok()) {
        break;
J
jorlow@chromium.org 已提交
2130 2131
      }

I
Igor Canadi 已提交
2132 2133 2134 2135 2136
      // 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 已提交
2137 2138 2139
      bool cf_in_not_found =
          column_families_not_found.find(edit.column_family_) !=
          column_families_not_found.end();
I
Igor Canadi 已提交
2140 2141
      // in builders means that user supplied that column family
      // option AND that we encountered column family add record
I
Igor Canadi 已提交
2142 2143 2144 2145 2146 2147
      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));

2148 2149
      ColumnFamilyData* cfd = nullptr;

2150
      if (edit.is_column_family_add_) {
I
Igor Canadi 已提交
2151 2152 2153 2154 2155 2156 2157
        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 已提交
2158 2159
          column_families_not_found.insert(
              {edit.column_family_, edit.column_family_name_});
I
Igor Canadi 已提交
2160
        } else {
2161 2162
          cfd = CreateColumnFamily(cf_options->second, &edit);
          builders.insert({edit.column_family_, new Builder(cfd)});
I
Igor Canadi 已提交
2163
        }
2164
      } else if (edit.is_column_family_drop_) {
I
Igor Canadi 已提交
2165 2166 2167 2168 2169
        if (cf_in_builders) {
          auto builder = builders.find(edit.column_family_);
          assert(builder != builders.end());
          delete builder->second;
          builders.erase(builder);
2170
          cfd = column_family_set_->GetColumnFamily(edit.column_family_);
2171 2172
          if (cfd->Unref()) {
            delete cfd;
2173
            cfd = nullptr;
2174 2175 2176 2177
          } else {
            // who else can have reference to cfd!?
            assert(false);
          }
I
Igor Canadi 已提交
2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189 2190 2191
        } 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;
        }

2192
        cfd = column_family_set_->GetColumnFamily(edit.column_family_);
I
Igor Canadi 已提交
2193 2194
        // this should never happen since cf_in_builders is true
        assert(cfd != nullptr);
2195
        if (edit.max_level_ >= cfd->current()->NumberLevels()) {
2196 2197 2198 2199 2200
          s = Status::InvalidArgument(
              "db has more levels than options.num_levels");
          break;
        }

2201 2202 2203 2204 2205 2206 2207 2208 2209
        // 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) {
2210
        if (edit.has_log_number_) {
I
Igor Canadi 已提交
2211
          if (cfd->GetLogNumber() > edit.log_number_) {
2212 2213 2214
            Log(options_->info_log,
                "MANIFEST corruption detected, but ignored - Log numbers in "
                "records NOT monotonically increasing");
2215 2216 2217
          } else {
            cfd->SetLogNumber(edit.log_number_);
            have_log_number = true;
I
Igor Canadi 已提交
2218
          }
2219
        }
I
Igor Canadi 已提交
2220 2221 2222 2223 2224 2225 2226
        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;
        }
2227 2228
      }

2229 2230 2231 2232 2233
      if (edit.has_prev_log_number_) {
        prev_log_number = edit.prev_log_number_;
        have_prev_log_number = true;
      }

J
jorlow@chromium.org 已提交
2234 2235 2236 2237 2238
      if (edit.has_next_file_number_) {
        next_file = edit.next_file_number_;
        have_next_file = true;
      }

2239 2240 2241 2242
      if (edit.has_max_column_family_) {
        max_column_family = edit.max_column_family_;
      }

J
jorlow@chromium.org 已提交
2243
      if (edit.has_last_sequence_) {
2244
        last_sequence = edit.last_sequence_;
J
jorlow@chromium.org 已提交
2245 2246 2247 2248 2249 2250 2251 2252 2253 2254 2255 2256 2257
        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");
    }
2258 2259 2260 2261

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

2263 2264
    column_family_set_->UpdateMaxColumnFamily(max_column_family);

2265 2266
    MarkFileNumberUsed(prev_log_number);
    MarkFileNumberUsed(log_number);
J
jorlow@chromium.org 已提交
2267 2268
  }

I
Igor Canadi 已提交
2269
  // there were some column families in the MANIFEST that weren't specified
2270 2271 2272
  // 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 已提交
2273 2274
    for (const auto& cf : column_families_not_found) {
      list_of_not_found += ", " + cf.second;
2275 2276
    }
    list_of_not_found = list_of_not_found.substr(2);
I
Igor Canadi 已提交
2277
    s = Status::InvalidArgument(
I
Igor Canadi 已提交
2278 2279
        "You have to open all column families. Column families not opened: " +
        list_of_not_found);
I
Igor Canadi 已提交
2280 2281
  }

J
jorlow@chromium.org 已提交
2282
  if (s.ok()) {
I
Igor Canadi 已提交
2283
    for (auto cfd : *column_family_set_) {
2284 2285 2286 2287 2288
      auto builders_iter = builders.find(cfd->GetID());
      assert(builders_iter != builders.end());
      auto builder = builders_iter->second;

      if (options_->max_open_files == -1) {
2289 2290
      // unlimited table cache. Pre-load table handle now.
      // Need to do it out of the mutex.
2291 2292
        builder->LoadTableHandlers();
      }
2293

2294
      Version* v = new Version(cfd, this, current_version_number_++);
2295
      builder->SaveTo(v);
2296

2297
      // Install recovered version
2298
      std::vector<uint64_t> size_being_compacted(v->NumberLevels() - 1);
2299
      cfd->compaction_picker()->SizeBeingCompacted(size_being_compacted);
2300
      v->PrepareApply(size_being_compacted);
I
Igor Canadi 已提交
2301
      AppendVersion(cfd, v);
2302
    }
2303

2304
    manifest_file_size_ = manifest_file_size;
2305 2306 2307
    next_file_number_ = next_file + 1;
    last_sequence_ = last_sequence;
    prev_log_number_ = prev_log_number;
H
heyongqiang 已提交
2308

2309 2310
    Log(options_->info_log,
        "Recovered from manifest file:%s succeeded,"
K
Kai Liu 已提交
2311 2312
        "manifest_file_number is %lu, next_file_number is %lu, "
        "last_sequence is %lu, log_number is %lu,"
2313 2314
        "prev_log_number is %lu,"
        "max_column_family is %u\n",
2315 2316 2317
        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_,
2318
        column_family_set_->GetMaxColumnFamily());
2319 2320

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

2327 2328 2329 2330
  for (auto builder : builders) {
    delete builder.second;
  }

J
jorlow@chromium.org 已提交
2331 2332 2333
  return s;
}

I
Igor Canadi 已提交
2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2346 2347 2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358
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
2359
  column_family_names.insert({0, kDefaultColumnFamilyName});
I
Igor Canadi 已提交
2360 2361 2362 2363 2364 2365 2366
  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()) {
2367 2368 2369 2370 2371 2372
    VersionEdit edit;
    s = edit.DecodeFrom(record);
    if (!s.ok()) {
      break;
    }
    if (edit.is_column_family_add_) {
2373 2374 2375 2376 2377
      if (column_family_names.find(edit.column_family_) !=
          column_family_names.end()) {
        s = Status::Corruption("Manifest adding the same column family twice");
        break;
      }
2378 2379 2380
      column_family_names.insert(
          {edit.column_family_, edit.column_family_name_});
    } else if (edit.is_column_family_drop_) {
2381 2382 2383 2384 2385 2386
      if (column_family_names.find(edit.column_family_) ==
          column_family_names.end()) {
        s = Status::Corruption(
            "Manifest - dropping non-existing column family");
        break;
      }
2387 2388
      column_family_names.erase(edit.column_family_);
    }
I
Igor Canadi 已提交
2389 2390 2391 2392 2393 2394
  }

  column_families->clear();
  if (s.ok()) {
    for (const auto& iter : column_family_names) {
      column_families->push_back(iter.second);
2395
    }
I
Igor Canadi 已提交
2396 2397 2398 2399
  }

  return s;
}
2400

I
Igor Canadi 已提交
2401
#ifndef ROCKSDB_LITE
2402 2403 2404 2405 2406 2407 2408 2409 2410
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 已提交
2411 2412 2413 2414
  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));
2415 2416
  WriteController wc;
  VersionSet versions(dbname, options, storage_options, tc.get(), &wc);
2417 2418
  Status status;

2419
  std::vector<ColumnFamilyDescriptor> dummy;
2420
  ColumnFamilyDescriptor dummy_descriptor(kDefaultColumnFamilyName,
I
Igor Canadi 已提交
2421
                                          ColumnFamilyOptions(*options));
I
Igor Canadi 已提交
2422
  dummy.push_back(dummy_descriptor);
2423
  status = versions.Recover(dummy);
2424 2425 2426 2427
  if (!status.ok()) {
    return status;
  }

2428
  Version* current_version =
2429
      versions.GetColumnFamilySet()->GetDefault()->current();
2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2445 2446 2447 2448 2449 2450 2451 2452 2453 2454 2455 2456 2457 2458
  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 已提交
2459 2460 2461
  // 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
2462
  std::vector<FileMetaData*>* new_files_list =
I
Igor Canadi 已提交
2463
      new std::vector<FileMetaData*>[current_levels];
2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 2474 2475 2476 2477 2478
  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);
2479 2480
  return versions.LogAndApply(versions.GetColumnFamilySet()->GetDefault(), &ve,
                              &dummy_mutex, nullptr, true);
2481 2482
}

I
Igor Canadi 已提交
2483 2484
Status VersionSet::DumpManifest(Options& options, std::string& dscname,
                                bool verbose, bool hex) {
2485
  // Open the specified manifest file.
2486
  unique_ptr<SequentialFile> file;
2487
  Status s = options.env->NewSequentialFile(dscname, &file, storage_options_);
2488 2489 2490 2491 2492 2493 2494 2495 2496 2497
  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;
2498
  int count = 0;
2499 2500 2501 2502 2503
  std::unordered_map<uint32_t, std::string> comparators;
  std::unordered_map<uint32_t, Builder*> builders;

  // add default column family
  VersionEdit default_cf_edit;
2504
  default_cf_edit.AddColumnFamily(kDefaultColumnFamilyName);
2505 2506 2507
  default_cf_edit.SetColumnFamily(0);
  ColumnFamilyData* default_cfd =
      CreateColumnFamily(ColumnFamilyOptions(options), &default_cf_edit);
2508
  builders.insert({0, new Builder(default_cfd)});
2509 2510

  {
I
Igor Canadi 已提交
2511
    VersionSet::LogReporter reporter;
2512
    reporter.status = &s;
2513 2514
    log::Reader reader(std::move(file), &reporter, true/*checksum*/,
                       0/*initial_offset*/);
2515 2516 2517
    Slice record;
    std::string scratch;
    while (reader.ReadRecord(&record, &scratch) && s.ok()) {
2518
      VersionEdit edit;
2519
      s = edit.DecodeFrom(record);
2520 2521
      if (!s.ok()) {
        break;
2522 2523
      }

2524 2525
      // Write out each individual edit
      if (verbose) {
A
Abhishek Kona 已提交
2526
        printf("*************************Edit[%d] = %s\n",
2527
                count, edit.DebugString(hex).c_str());
2528 2529 2530
      }
      count++;

2531 2532 2533 2534 2535
      bool cf_in_builders =
          builders.find(edit.column_family_) != builders.end();

      if (edit.has_comparator_) {
        comparators.insert({edit.column_family_, edit.comparator_});
2536 2537
      }

2538 2539
      ColumnFamilyData* cfd = nullptr;

2540 2541 2542 2543 2544 2545
      if (edit.is_column_family_add_) {
        if (cf_in_builders) {
          s = Status::Corruption(
              "Manifest adding the same column family twice");
          break;
        }
2546 2547
        cfd = CreateColumnFamily(ColumnFamilyOptions(options), &edit);
        builders.insert({edit.column_family_, new Builder(cfd)});
2548 2549 2550 2551 2552 2553 2554 2555 2556 2557
      } 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_);
2558
        cfd = column_family_set_->GetColumnFamily(edit.column_family_);
2559 2560 2561
        assert(cfd != nullptr);
        cfd->Unref();
        delete cfd;
2562
        cfd = nullptr;
2563 2564 2565 2566 2567 2568 2569
      } else {
        if (!cf_in_builders) {
          s = Status::Corruption(
              "Manifest record referencing unknown column family");
          break;
        }

2570
        cfd = column_family_set_->GetColumnFamily(edit.column_family_);
2571 2572 2573 2574 2575 2576 2577 2578 2579
        // 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);
2580 2581
      }

2582 2583 2584 2585
      if (cfd != nullptr && edit.has_log_number_) {
        cfd->SetLogNumber(edit.log_number_);
      }

2586 2587 2588 2589 2590 2591 2592 2593 2594 2595 2596 2597 2598 2599
      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;
      }
2600 2601 2602 2603

      if (edit.has_max_column_family_) {
        column_family_set_->UpdateMaxColumnFamily(edit.max_column_family_);
      }
2604 2605
    }
  }
2606
  file.reset();
2607 2608 2609 2610 2611 2612 2613 2614 2615 2616 2617 2618 2619 2620 2621 2622

  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()) {
2623 2624 2625 2626 2627 2628 2629
    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 已提交
2630 2631
      std::vector<uint64_t> size_being_compacted(v->NumberLevels() - 1);
      cfd->compaction_picker()->SizeBeingCompacted(size_being_compacted);
2632
      v->PrepareApply(size_being_compacted);
2633 2634 2635 2636 2637 2638 2639 2640 2641 2642 2643 2644 2645 2646
      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;
    }
2647

2648 2649 2650
    next_file_number_ = next_file + 1;
    last_sequence_ = last_sequence;
    prev_log_number_ = prev_log_number;
2651

2652
    printf(
2653
        "next_file_number %lu last_sequence "
2654
        "%lu  prev_log_number %lu max_column_family %u\n",
2655 2656
        (unsigned long)next_file_number_, (unsigned long)last_sequence,
        (unsigned long)prev_log_number,
2657
        column_family_set_->GetMaxColumnFamily());
2658
  }
2659

2660 2661
  return s;
}
I
Igor Canadi 已提交
2662
#endif  // ROCKSDB_LITE
2663

2664 2665 2666 2667 2668 2669
void VersionSet::MarkFileNumberUsed(uint64_t number) {
  if (next_file_number_ <= number) {
    next_file_number_ = number + 1;
  }
}

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

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

I
Igor Canadi 已提交
2675 2676
  // 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 已提交
2677
  // (the same single thread), so we're safe to iterate.
I
Igor Canadi 已提交
2678
  for (auto cfd : *column_family_set_) {
2679 2680 2681
    {
      // Store column family info
      VersionEdit edit;
2682
      if (cfd->GetID() != 0) {
2683 2684
        // default column family is always there,
        // no need to explicitly write it
2685 2686
        edit.AddColumnFamily(cfd->GetName());
        edit.SetColumnFamily(cfd->GetID());
I
Igor Canadi 已提交
2687 2688 2689 2690 2691 2692 2693 2694
      }
      edit.SetComparatorName(
          cfd->internal_comparator().user_comparator()->Name());
      std::string record;
      edit.EncodeTo(&record);
      Status s = log->AddRecord(record);
      if (!s.ok()) {
        return s;
2695
      }
2696
    }
2697

2698 2699 2700
    {
      // Save files
      VersionEdit edit;
2701
      edit.SetColumnFamily(cfd->GetID());
2702

I
Igor Canadi 已提交
2703
      for (int level = 0; level < cfd->NumberLevels(); level++) {
2704
        for (const auto& f : cfd->current()->files_[level]) {
2705 2706 2707
          edit.AddFile(level, f->fd.GetNumber(), f->fd.GetPathId(),
                       f->fd.GetFileSize(), f->smallest, f->largest,
                       f->smallest_seqno, f->largest_seqno);
2708 2709
        }
      }
2710
      edit.SetLogNumber(cfd->GetLogNumber());
2711 2712 2713 2714 2715
      std::string record;
      edit.EncodeTo(&record);
      Status s = log->AddRecord(record);
      if (!s.ok()) {
        return s;
2716
      }
2717 2718 2719
    }
  }

I
Igor Canadi 已提交
2720
  return Status::OK();
J
jorlow@chromium.org 已提交
2721 2722
}

2723 2724
// Opens the mainfest file and reads all records
// till it finds the record we are looking for.
2725 2726 2727 2728
bool VersionSet::ManifestContains(uint64_t manifest_file_number,
                                  const std::string& record) const {
  std::string fname =
      DescriptorFileName(dbname_, manifest_file_number);
2729
  Log(options_->info_log, "ManifestContains: checking %s\n", fname.c_str());
2730
  unique_ptr<SequentialFile> file;
2731
  Status s = env_->NewSequentialFile(fname, &file, storage_options_);
2732 2733
  if (!s.ok()) {
    Log(options_->info_log, "ManifestContains: %s\n", s.ToString().c_str());
2734 2735 2736
    Log(options_->info_log,
        "ManifestContains: is unable to reopen the manifest file  %s",
        fname.c_str());
2737 2738
    return false;
  }
A
Abhishek Kona 已提交
2739
  log::Reader reader(std::move(file), nullptr, true/*checksum*/, 0);
2740 2741 2742 2743 2744 2745 2746 2747 2748 2749 2750 2751 2752 2753
  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 已提交
2754 2755
uint64_t VersionSet::ApproximateOffsetOf(Version* v, const InternalKey& ikey) {
  uint64_t result = 0;
2756
  for (int level = 0; level < v->NumberLevels(); level++) {
J
jorlow@chromium.org 已提交
2757
    const std::vector<FileMetaData*>& files = v->files_[level];
D
dgrogan@chromium.org 已提交
2758
    for (size_t i = 0; i < files.size(); i++) {
I
Igor Canadi 已提交
2759 2760
      if (v->cfd_->internal_comparator().Compare(files[i]->largest, ikey) <=
          0) {
J
jorlow@chromium.org 已提交
2761
        // Entire file is before "ikey", so just add the file size
2762
        result += files[i]->fd.GetFileSize();
I
Igor Canadi 已提交
2763 2764
      } else if (v->cfd_->internal_comparator().Compare(files[i]->smallest,
                                                        ikey) > 0) {
J
jorlow@chromium.org 已提交
2765 2766 2767 2768 2769 2770 2771 2772 2773 2774
        // 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 已提交
2775
        TableReader* table_reader_ptr;
I
Igor Canadi 已提交
2776
        Iterator* iter = v->cfd_->table_cache()->NewIterator(
2777
            ReadOptions(), storage_options_, v->cfd_->internal_comparator(),
2778
            files[i]->fd, &table_reader_ptr);
S
Siying Dong 已提交
2779 2780
        if (table_reader_ptr != nullptr) {
          result += table_reader_ptr->ApproximateOffsetOf(ikey.Encode());
J
jorlow@chromium.org 已提交
2781 2782 2783 2784 2785 2786 2787 2788
        }
        delete iter;
      }
    }
  }
  return result;
}

2789
void VersionSet::AddLiveFiles(std::vector<FileDescriptor>* live_list) {
2790 2791
  // pre-calculate space requirement
  int64_t total_files = 0;
I
Igor Canadi 已提交
2792
  for (auto cfd : *column_family_set_) {
2793 2794
    Version* dummy_versions = cfd->dummy_versions();
    for (Version* v = dummy_versions->next_; v != dummy_versions;
I
Igor Canadi 已提交
2795
         v = v->next_) {
2796
      for (int level = 0; level < v->NumberLevels(); level++) {
2797 2798
        total_files += v->files_[level].size();
      }
2799 2800 2801 2802 2803 2804
    }
  }

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

I
Igor Canadi 已提交
2805
  for (auto cfd : *column_family_set_) {
2806 2807
    Version* dummy_versions = cfd->dummy_versions();
    for (Version* v = dummy_versions->next_; v != dummy_versions;
I
Igor Canadi 已提交
2808
         v = v->next_) {
2809
      for (int level = 0; level < v->NumberLevels(); level++) {
2810
        for (const auto& f : v->files_[level]) {
2811
          live_list->push_back(f->fd);
2812
        }
J
jorlow@chromium.org 已提交
2813 2814 2815 2816 2817 2818
      }
    }
  }
}

Iterator* VersionSet::MakeInputIterator(Compaction* c) {
L
Lei Jin 已提交
2819 2820 2821 2822 2823
  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 已提交
2824 2825 2826 2827

  // 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
2828 2829 2830
  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 已提交
2831 2832
  Iterator** list = new Iterator*[space];
  int num = 0;
2833
  for (int which = 0; which < c->num_input_levels(); which++) {
F
Feng Zhu 已提交
2834
    if (c->input_levels(which)->num_files != 0) {
2835
      if (c->level(which) == 0) {
F
Feng Zhu 已提交
2836 2837
        const FileLevel* flevel = c->input_levels(which);
        for (size_t i = 0; i < flevel->num_files; i++) {
L
Lei Jin 已提交
2838 2839
          list[num++] = cfd->table_cache()->NewIterator(
              read_options, storage_options_compactions_,
F
Feng Zhu 已提交
2840
              cfd->internal_comparator(), flevel->files[i].fd, nullptr,
K
Kai Liu 已提交
2841
              true /* for compaction */);
J
jorlow@chromium.org 已提交
2842 2843 2844
        }
      } else {
        // Create concatenating iterator for the files from this level
L
Lei Jin 已提交
2845 2846 2847 2848 2849
        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 已提交
2850
                                              c->input_levels(which)));
J
jorlow@chromium.org 已提交
2851 2852 2853 2854
      }
    }
  }
  assert(num <= space);
I
Igor Canadi 已提交
2855
  Iterator* result = NewMergingIterator(
I
Igor Canadi 已提交
2856
      &c->column_family_data()->internal_comparator(), list, num);
J
jorlow@chromium.org 已提交
2857 2858 2859 2860
  delete[] list;
  return result;
}

A
Abhishek Kona 已提交
2861
// verify that the files listed in this compaction are present
2862 2863
// in the current version
bool VersionSet::VerifyCompactionFileConsistency(Compaction* c) {
2864
#ifndef NDEBUG
I
Igor Canadi 已提交
2865
  Version* version = c->column_family_data()->current();
2866
  if (c->input_version() != version) {
I
Igor Canadi 已提交
2867 2868 2869
    Log(options_->info_log,
        "[%s] VerifyCompactionFileConsistency version mismatch",
        c->column_family_data()->GetName().c_str());
2870 2871 2872 2873 2874
  }

  // verify files in level
  int level = c->level();
  for (int i = 0; i < c->num_input_files(0); i++) {
2875
    uint64_t number = c->input(0, i)->fd.GetNumber();
2876 2877 2878

    // look for this file in the current version
    bool found = false;
2879 2880
    for (unsigned int j = 0; j < version->files_[level].size(); j++) {
      FileMetaData* f = version->files_[level][j];
2881
      if (f->fd.GetNumber() == number) {
2882 2883 2884 2885 2886 2887 2888 2889 2890 2891 2892
        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++) {
2893
    uint64_t number = c->input(1, i)->fd.GetNumber();
2894 2895 2896

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

2912
Status VersionSet::GetMetadataForFile(uint64_t number, int* filelevel,
2913
                                      FileMetaData** meta,
2914 2915
                                      ColumnFamilyData** cfd) {
  for (auto cfd_iter : *column_family_set_) {
2916
    Version* version = cfd_iter->current();
2917
    for (int level = 0; level < version->NumberLevels(); level++) {
I
Igor Canadi 已提交
2918
      for (const auto& file : version->files_[level]) {
2919
        if (file->fd.GetNumber() == number) {
2920
          *meta = file;
2921
          *filelevel = level;
2922
          *cfd = cfd_iter;
2923 2924
          return Status::OK();
        }
2925 2926 2927 2928 2929 2930
      }
    }
  }
  return Status::NotFound("File not present in any level");
}

2931
void VersionSet::GetLiveFilesMetaData(std::vector<LiveFileMetaData>* metadata) {
I
Igor Canadi 已提交
2932
  for (auto cfd : *column_family_set_) {
I
Igor Canadi 已提交
2933
    for (int level = 0; level < cfd->NumberLevels(); level++) {
2934
      for (const auto& file : cfd->current()->files_[level]) {
2935
        LiveFileMetaData filemetadata;
2936
        filemetadata.column_family_name = cfd->GetName();
2937 2938
        uint32_t path_id = file->fd.GetPathId();
        if (path_id < options_->db_paths.size()) {
2939
          filemetadata.db_path = options_->db_paths[path_id].path;
2940 2941
        } else {
          assert(!options_->db_paths.empty());
2942
          filemetadata.db_path = options_->db_paths.back().path;
2943 2944
        }
        filemetadata.name = MakeTableFileName("", file->fd.GetNumber());
2945
        filemetadata.level = level;
2946
        filemetadata.size = file->fd.GetFileSize();
I
Igor Canadi 已提交
2947 2948 2949 2950
        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;
2951 2952
        metadata->push_back(filemetadata);
      }
2953 2954 2955 2956
    }
  }
}

2957
void VersionSet::GetObsoleteFiles(std::vector<FileMetaData*>* files) {
2958
  files->insert(files->end(), obsolete_files_.begin(), obsolete_files_.end());
I
Igor Canadi 已提交
2959 2960 2961
  obsolete_files_.clear();
}

2962 2963 2964 2965
ColumnFamilyData* VersionSet::CreateColumnFamily(
    const ColumnFamilyOptions& options, VersionEdit* edit) {
  assert(edit->is_column_family_add_);

2966
  Version* dummy_versions = new Version(nullptr, this);
I
Igor Canadi 已提交
2967 2968 2969
  auto new_cfd = column_family_set_->CreateColumnFamily(
      edit->column_family_name_, edit->column_family_, dummy_versions, options);

2970 2971 2972
  Version* v = new Version(new_cfd, this, current_version_number_++);

  AppendVersion(new_cfd, v);
2973
  new_cfd->CreateNewMemtable();
I
Igor Canadi 已提交
2974
  new_cfd->SetLogNumber(edit->log_number_);
2975 2976 2977
  return new_cfd;
}

2978
}  // namespace rocksdb