column_family.cc 28.8 KB
Newer Older
1 2 3 4 5 6 7 8 9
//  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.
//
// 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.

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

12 13 14 15 16
#ifndef __STDC_FORMAT_MACROS
#define __STDC_FORMAT_MACROS
#endif

#include <inttypes.h>
17 18 19
#include <vector>
#include <string>
#include <algorithm>
I
Igor Canadi 已提交
20
#include <limits>
21

I
Igor Canadi 已提交
22
#include "db/compaction_picker.h"
23
#include "db/db_impl.h"
24 25 26
#include "db/job_context.h"
#include "db/version_set.h"
#include "db/writebuffer.h"
27
#include "db/internal_stats.h"
28
#include "db/table_properties_collector.h"
I
Igor Canadi 已提交
29
#include "db/version_set.h"
30
#include "db/write_controller.h"
31
#include "util/autovector.h"
32
#include "util/hash_skiplist_rep.h"
33
#include "util/options_helper.h"
34
#include "util/thread_status_util.h"
35
#include "util/xfunc.h"
I
Igor Canadi 已提交
36 37 38

namespace rocksdb {

I
Igor Canadi 已提交
39
ColumnFamilyHandleImpl::ColumnFamilyHandleImpl(
40
    ColumnFamilyData* column_family_data, DBImpl* db, InstrumentedMutex* mutex)
I
Igor Canadi 已提交
41
    : cfd_(column_family_data), db_(db), mutex_(mutex) {
42 43 44 45 46 47 48
  if (cfd_ != nullptr) {
    cfd_->Ref();
  }
}

ColumnFamilyHandleImpl::~ColumnFamilyHandleImpl() {
  if (cfd_ != nullptr) {
49 50 51
    // Job id == 0 means that this is not our background process, but rather
    // user thread
    JobContext job_context(0);
52 53 54 55
    mutex_->Lock();
    if (cfd_->Unref()) {
      delete cfd_;
    }
I
Igor Canadi 已提交
56
    db_->FindObsoleteFiles(&job_context, false, true);
57
    mutex_->Unlock();
I
Igor Canadi 已提交
58 59
    if (job_context.HaveSomethingToDelete()) {
      db_->PurgeObsoleteFiles(job_context);
60
    }
61 62 63
  }
}

64 65
uint32_t ColumnFamilyHandleImpl::GetID() const { return cfd()->GetID(); }

66 67 68 69
const std::string& ColumnFamilyHandleImpl::GetName() const {
  return cfd()->GetName();
}

70 71 72 73
const Comparator* ColumnFamilyHandleImpl::user_comparator() const {
  return cfd()->user_comparator();
}

74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89
void GetIntTblPropCollectorFactory(
    const ColumnFamilyOptions& cf_options,
    std::vector<std::unique_ptr<IntTblPropCollectorFactory>>*
        int_tbl_prop_collector_factories) {
  auto& collector_factories = cf_options.table_properties_collector_factories;
  for (size_t i = 0; i < cf_options.table_properties_collector_factories.size();
       ++i) {
    assert(collector_factories[i]);
    int_tbl_prop_collector_factories->emplace_back(
        new UserKeyTablePropertiesCollectorFactory(collector_factories[i]));
  }
  // Add collector to collect internal key statistics
  int_tbl_prop_collector_factories->emplace_back(
      new InternalKeyPropertiesCollectorFactory);
}

90 91 92
ColumnFamilyOptions SanitizeOptions(const DBOptions& db_options,
                                    const InternalKeyComparator* icmp,
                                    const ColumnFamilyOptions& src) {
93 94
  ColumnFamilyOptions result = src;
  result.comparator = icmp;
I
Igor Canadi 已提交
95 96 97 98
#ifdef OS_MACOSX
  // TODO(icanadi) make write_buffer_size uint64_t instead of size_t
  ClipToRange(&result.write_buffer_size, ((size_t)64) << 10, ((size_t)1) << 30);
#else
99 100
  ClipToRange(&result.write_buffer_size,
              ((size_t)64) << 10, ((size_t)64) << 30);
I
Igor Canadi 已提交
101
#endif
102 103 104 105 106 107 108 109
  // if user sets arena_block_size, we trust user to use this value. Otherwise,
  // calculate a proper value from writer_buffer_size;
  if (result.arena_block_size <= 0) {
    result.arena_block_size = result.write_buffer_size / 10;
  }
  result.min_write_buffer_number_to_merge =
      std::min(result.min_write_buffer_number_to_merge,
               result.max_write_buffer_number - 1);
110 111 112 113 114 115 116
  if (result.num_levels < 1) {
    result.num_levels = 1;
  }
  if (result.compaction_style == kCompactionStyleLevel &&
      result.num_levels < 2) {
    result.num_levels = 2;
  }
117 118 119
  if (result.max_mem_compaction_level >= result.num_levels) {
    result.max_mem_compaction_level = result.num_levels - 1;
  }
120 121 122
  if (result.max_write_buffer_number < 2) {
    result.max_write_buffer_number = 2;
  }
123 124 125 126 127 128 129 130 131 132 133 134
  if (result.max_write_buffer_number_to_maintain < 0) {
    result.max_write_buffer_number_to_maintain = result.max_write_buffer_number;
  }
  XFUNC_TEST("memtablelist_history", "transaction_xftest_SanitizeOptions",
             xf_transaction_set_memtable_history1,
             xf_transaction_set_memtable_history,
             &result.max_write_buffer_number_to_maintain);
  XFUNC_TEST("memtablelist_history_clear", "transaction_xftest_SanitizeOptions",
             xf_transaction_clear_memtable_history1,
             xf_transaction_clear_memtable_history,
             &result.max_write_buffer_number_to_maintain);

135 136 137 138 139
  if (!result.prefix_extractor) {
    assert(result.memtable_factory);
    Slice name = result.memtable_factory->Name();
    if (name.compare("HashSkipListRepFactory") == 0 ||
        name.compare("HashLinkListRepFactory") == 0) {
140 141 142 143
      result.memtable_factory = std::make_shared<SkipListFactory>();
    }
  }

I
Igor Canadi 已提交
144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161
  if (!src.compression_per_level.empty()) {
    for (size_t level = 0; level < src.compression_per_level.size(); ++level) {
      if (!CompressionTypeSupported(src.compression_per_level[level])) {
        Log(InfoLogLevel::WARN_LEVEL, db_options.info_log,
            "Compression type chosen for level %zu is not supported: %s. "
            "RocksDB "
            "will not compress data on level %zu.",
            level, CompressionTypeToString(src.compression_per_level[level]),
            level);
      }
    }
  } else if (!CompressionTypeSupported(src.compression)) {
    Log(InfoLogLevel::WARN_LEVEL, db_options.info_log,
        "Compression type chosen is not supported: %s. RocksDB will not "
        "compress data.",
        CompressionTypeToString(src.compression));
  }

I
Igor Canadi 已提交
162 163 164 165 166 167 168 169 170
  if (result.compaction_style == kCompactionStyleFIFO) {
    result.num_levels = 1;
    // since we delete level0 files in FIFO compaction when there are too many
    // of them, these options don't really mean anything
    result.level0_file_num_compaction_trigger = std::numeric_limits<int>::max();
    result.level0_slowdown_writes_trigger = std::numeric_limits<int>::max();
    result.level0_stop_writes_trigger = std::numeric_limits<int>::max();
  }

171 172 173 174
  if (result.level0_stop_writes_trigger <
          result.level0_slowdown_writes_trigger ||
      result.level0_slowdown_writes_trigger <
          result.level0_file_num_compaction_trigger) {
175
    Warn(db_options.info_log.get(),
176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191
         "This condition must be satisfied: "
         "level0_stop_writes_trigger(%d) >= "
         "level0_slowdown_writes_trigger(%d) >= "
         "level0_file_num_compaction_trigger(%d)",
         result.level0_stop_writes_trigger,
         result.level0_slowdown_writes_trigger,
         result.level0_file_num_compaction_trigger);
    if (result.level0_slowdown_writes_trigger <
        result.level0_file_num_compaction_trigger) {
      result.level0_slowdown_writes_trigger =
          result.level0_file_num_compaction_trigger;
    }
    if (result.level0_stop_writes_trigger <
        result.level0_slowdown_writes_trigger) {
      result.level0_stop_writes_trigger = result.level0_slowdown_writes_trigger;
    }
192
    Warn(db_options.info_log.get(),
193 194 195 196 197 198 199 200
         "Adjust the value to "
         "level0_stop_writes_trigger(%d)"
         "level0_slowdown_writes_trigger(%d)"
         "level0_file_num_compaction_trigger(%d)",
         result.level0_stop_writes_trigger,
         result.level0_slowdown_writes_trigger,
         result.level0_file_num_compaction_trigger);
  }
201 202 203 204 205 206 207 208 209 210
  if (result.level_compaction_dynamic_level_bytes) {
    if (result.compaction_style != kCompactionStyleLevel ||
        db_options.db_paths.size() > 1U) {
      // 1. level_compaction_dynamic_level_bytes only makes sense for
      //    level-based compaction.
      // 2. we don't yet know how to make both of this feature and multiple
      //    DB path work.
      result.level_compaction_dynamic_level_bytes = false;
    }
  }
211

212 213 214
  return result;
}

215 216 217
int SuperVersion::dummy = 0;
void* const SuperVersion::kSVInUse = &SuperVersion::dummy;
void* const SuperVersion::kSVObsolete = nullptr;
218

219 220 221 222 223 224 225 226 227 228 229 230 231
SuperVersion::~SuperVersion() {
  for (auto td : to_delete) {
    delete td;
  }
}

SuperVersion* SuperVersion::Ref() {
  refs.fetch_add(1, std::memory_order_relaxed);
  return this;
}

bool SuperVersion::Unref() {
  // fetch_sub returns the previous value of ref
232
  uint32_t previous_refs = refs.fetch_sub(1);
233 234
  assert(previous_refs > 0);
  return previous_refs == 1;
235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257
}

void SuperVersion::Cleanup() {
  assert(refs.load(std::memory_order_relaxed) == 0);
  imm->Unref(&to_delete);
  MemTable* m = mem->Unref();
  if (m != nullptr) {
    to_delete.push_back(m);
  }
  current->Unref();
}

void SuperVersion::Init(MemTable* new_mem, MemTableListVersion* new_imm,
                        Version* new_current) {
  mem = new_mem;
  imm = new_imm;
  current = new_current;
  mem->Ref();
  imm->Ref();
  current->Ref();
  refs.store(1, std::memory_order_relaxed);
}

258 259
namespace {
void SuperVersionUnrefHandle(void* ptr) {
260 261 262 263
  // UnrefHandle is called when a thread exists or a ThreadLocalPtr gets
  // destroyed. When former happens, the thread shouldn't see kSVInUse.
  // When latter happens, we are in ~ColumnFamilyData(), no get should happen as
  // well.
264 265 266 267 268 269 270 271 272 273
  SuperVersion* sv = static_cast<SuperVersion*>(ptr);
  if (sv->Unref()) {
    sv->db_mutex->Lock();
    sv->Cleanup();
    sv->db_mutex->Unlock();
    delete sv;
  }
}
}  // anonymous namespace

274 275 276 277 278
ColumnFamilyData::ColumnFamilyData(
    uint32_t id, const std::string& name, Version* _dummy_versions,
    Cache* _table_cache, WriteBuffer* write_buffer,
    const ColumnFamilyOptions& cf_options, const DBOptions* db_options,
    const EnvOptions& env_options, ColumnFamilySet* column_family_set)
279 280
    : id_(id),
      name_(name),
I
Igor Canadi 已提交
281
      dummy_versions_(_dummy_versions),
282
      current_(nullptr),
283 284
      refs_(0),
      dropped_(false),
285
      internal_comparator_(cf_options.comparator),
286 287
      options_(*db_options,
               SanitizeOptions(*db_options, &internal_comparator_, cf_options)),
L
Lei Jin 已提交
288
      ioptions_(options_),
289
      mutable_cf_options_(options_, ioptions_),
290
      write_buffer_(write_buffer),
291
      mem_(nullptr),
292 293
      imm_(options_.min_write_buffer_number_to_merge,
           options_.max_write_buffer_number_to_maintain),
294 295
      super_version_(nullptr),
      super_version_number_(0),
296
      local_sv_(new ThreadLocalPtr(&SuperVersionUnrefHandle)),
297 298
      next_(nullptr),
      prev_(nullptr),
299
      log_number_(0),
300 301 302
      column_family_set_(column_family_set),
      pending_flush_(false),
      pending_compaction_(false) {
303 304
  Ref();

305 306 307
  // Convert user defined table properties collector factories to internal ones.
  GetIntTblPropCollectorFactory(options_, &int_tbl_prop_collector_factories_);

I
Igor Canadi 已提交
308 309
  // if _dummy_versions is nullptr, then this is a dummy column family.
  if (_dummy_versions != nullptr) {
310
    internal_stats_.reset(
311
        new InternalStats(ioptions_.num_levels, db_options->env, this));
I
Igor Canadi 已提交
312
    table_cache_.reset(new TableCache(ioptions_, env_options, _table_cache));
313
    if (ioptions_.compaction_style == kCompactionStyleLevel) {
I
Igor Canadi 已提交
314
      compaction_picker_.reset(
315
          new LevelCompactionPicker(ioptions_, &internal_comparator_));
316 317 318 319
#ifndef ROCKSDB_LITE
    } else if (ioptions_.compaction_style == kCompactionStyleUniversal) {
      compaction_picker_.reset(
          new UniversalCompactionPicker(ioptions_, &internal_comparator_));
320
    } else if (ioptions_.compaction_style == kCompactionStyleFIFO) {
I
Igor Canadi 已提交
321
      compaction_picker_.reset(
322
          new FIFOCompactionPicker(ioptions_, &internal_comparator_));
323 324 325 326 327 328 329
    } else if (ioptions_.compaction_style == kCompactionStyleNone) {
      compaction_picker_.reset(new NullCompactionPicker(
          ioptions_, &internal_comparator_));
      Log(InfoLogLevel::WARN_LEVEL, ioptions_.info_log,
          "Column family %s does not use any background compaction. "
          "Compactions can only be done via CompactFiles\n",
          GetName().c_str());
330
#endif  // !ROCKSDB_LITE
331 332 333 334 335 336 337
    } else {
      Log(InfoLogLevel::ERROR_LEVEL, ioptions_.info_log,
          "Unable to recognize the specified compaction style %d. "
          "Column family %s will use kCompactionStyleLevel.\n",
          ioptions_.compaction_style, GetName().c_str());
      compaction_picker_.reset(
          new LevelCompactionPicker(ioptions_, &internal_comparator_));
338
    }
339

340 341 342
    if (column_family_set_->NumberOfColumnFamilies() < 10) {
      Log(InfoLogLevel::INFO_LEVEL, ioptions_.info_log,
          "--------------- Options for column family [%s]:\n", name.c_str());
343
      options_.DumpCFOptions(ioptions_.info_log);
344 345 346 347
    } else {
      Log(InfoLogLevel::INFO_LEVEL, ioptions_.info_log,
          "\t(skipping printing options)\n");
    }
348
  }
349

350
  RecalculateWriteStallConditions(mutable_cf_options_);
351
}
I
Igor Canadi 已提交
352

353
// DB mutex held
I
Igor Canadi 已提交
354
ColumnFamilyData::~ColumnFamilyData() {
I
Igor Canadi 已提交
355
  assert(refs_.load(std::memory_order_relaxed) == 0);
356 357 358 359 360 361
  // remove from linked list
  auto prev = prev_;
  auto next = next_;
  prev->next_ = next;
  next->prev_ = prev;

I
Igor Canadi 已提交
362 363 364 365
  if (!dropped_ && column_family_set_ != nullptr) {
    // If it's dropped, it's already removed from column family set
    // If column_family_set_ == nullptr, this is dummy CFD and not in
    // ColumnFamilySet
I
Igor Canadi 已提交
366
    column_family_set_->RemoveColumnFamily(this);
367 368 369 370 371 372
  }

  if (current_ != nullptr) {
    current_->Unref();
  }

373 374 375 376 377
  // It would be wrong if this ColumnFamilyData is in flush_queue_ or
  // compaction_queue_ and we destroyed it
  assert(!pending_flush_);
  assert(!pending_compaction_);

I
Igor Canadi 已提交
378 379 380 381 382 383 384 385 386 387 388 389 390 391
  if (super_version_ != nullptr) {
    // Release SuperVersion reference kept in ThreadLocalPtr.
    // This must be done outside of mutex_ since unref handler can lock mutex.
    super_version_->db_mutex->Unlock();
    local_sv_.reset();
    super_version_->db_mutex->Lock();

    bool is_last_reference __attribute__((unused));
    is_last_reference = super_version_->Unref();
    assert(is_last_reference);
    super_version_->Cleanup();
    delete super_version_;
    super_version_ = nullptr;
  }
392

393 394
  if (dummy_versions_ != nullptr) {
    // List must be empty
395 396 397
    assert(dummy_versions_->TEST_Next() == dummy_versions_);
    bool deleted __attribute__((unused)) = dummy_versions_->Unref();
    assert(deleted);
398
  }
399

400 401
  if (mem_ != nullptr) {
    delete mem_->Unref();
402
  }
403
  autovector<MemTable*> to_delete;
404
  imm_.current()->Unref(&to_delete);
405 406 407 408 409
  for (MemTable* m : to_delete) {
    delete m;
  }
}

I
Igor Canadi 已提交
410 411 412 413 414 415 416 417 418 419
void ColumnFamilyData::SetDropped() {
  // can't drop default CF
  assert(id_ != 0);
  dropped_ = true;
  write_controller_token_.reset();

  // remove from column_family_set
  column_family_set_->RemoveColumnFamily(this);
}

420 421
void ColumnFamilyData::RecalculateWriteStallConditions(
      const MutableCFOptions& mutable_cf_options) {
422
  if (current_ != nullptr) {
S
sdong 已提交
423
    auto* vstorage = current_->storage_info();
424 425
    const double score = vstorage->max_compaction_score();
    const int max_level = vstorage->max_compaction_score_level();
426 427
    auto write_controller = column_family_set_->write_controller_;

428
    if (imm()->NumNotFlushed() >= mutable_cf_options.max_write_buffer_number) {
429 430
      write_controller_token_ = write_controller->GetStopToken();
      internal_stats_->AddCFStats(InternalStats::MEMTABLE_COMPACTION, 1);
431
      Log(InfoLogLevel::WARN_LEVEL, ioptions_.info_log,
432
          "[%s] Stopping writes because we have %d immutable memtables "
L
Lei Jin 已提交
433
          "(waiting for flush), max_write_buffer_number is set to %d",
434
          name_.c_str(), imm()->NumNotFlushed(),
L
Lei Jin 已提交
435
          mutable_cf_options.max_write_buffer_number);
S
sdong 已提交
436
    } else if (vstorage->l0_delay_trigger_count() >=
437
               mutable_cf_options.level0_stop_writes_trigger) {
438 439
      write_controller_token_ = write_controller->GetStopToken();
      internal_stats_->AddCFStats(InternalStats::LEVEL0_NUM_FILES, 1);
440
      Log(InfoLogLevel::WARN_LEVEL, ioptions_.info_log,
441
          "[%s] Stopping writes because we have %d level-0 files",
S
sdong 已提交
442
          name_.c_str(), vstorage->l0_delay_trigger_count());
443
    } else if (mutable_cf_options.level0_slowdown_writes_trigger >= 0 &&
S
sdong 已提交
444
               vstorage->l0_delay_trigger_count() >=
445
                   mutable_cf_options.level0_slowdown_writes_trigger) {
S
sdong 已提交
446 447
      write_controller_token_ = write_controller->GetDelayToken();
      internal_stats_->AddCFStats(InternalStats::LEVEL0_SLOWDOWN, 1);
448
      Log(InfoLogLevel::WARN_LEVEL, ioptions_.info_log,
S
sdong 已提交
449 450
          "[%s] Stalling writes because we have %d level-0 files",
          name_.c_str(), vstorage->l0_delay_trigger_count());
451 452
    } else if (mutable_cf_options.soft_rate_limit > 0.0 &&
               score > mutable_cf_options.soft_rate_limit) {
S
sdong 已提交
453
      write_controller_token_ = write_controller->GetDelayToken();
454
      internal_stats_->RecordLevelNSlowdown(max_level, true);
455
      Log(InfoLogLevel::WARN_LEVEL, ioptions_.info_log,
S
sdong 已提交
456 457
          "[%s] Stalling writes because we hit soft limit on level %d",
          name_.c_str(), max_level);
458 459 460
    } else {
      write_controller_token_.reset();
    }
461 462 463
  }
}

L
Lei Jin 已提交
464
const EnvOptions* ColumnFamilyData::soptions() const {
L
Lei Jin 已提交
465
  return &(column_family_set_->env_options_);
L
Lei Jin 已提交
466 467
}

I
Igor Canadi 已提交
468 469 470
void ColumnFamilyData::SetCurrent(Version* current_version) {
  current_ = current_version;
}
471

472 473 474 475
uint64_t ColumnFamilyData::GetNumLiveVersions() const {
  return VersionSet::GetNumLiveVersions(dummy_versions_);
}

476
MemTable* ColumnFamilyData::ConstructNewMemtable(
A
agiardullo 已提交
477
    const MutableCFOptions& mutable_cf_options, SequenceNumber earliest_seq) {
478
  assert(current_ != nullptr);
A
agiardullo 已提交
479 480
  return new MemTable(internal_comparator_, ioptions_, mutable_cf_options,
                      write_buffer_, earliest_seq);
481 482 483
}

void ColumnFamilyData::CreateNewMemtable(
A
agiardullo 已提交
484
    const MutableCFOptions& mutable_cf_options, SequenceNumber earliest_seq) {
485 486
  if (mem_ != nullptr) {
    delete mem_->Unref();
487
  }
A
agiardullo 已提交
488
  SetMemtable(ConstructNewMemtable(mutable_cf_options, earliest_seq));
489 490 491
  mem_->Ref();
}

492 493 494 495
bool ColumnFamilyData::NeedsCompaction() const {
  return compaction_picker_->NeedsCompaction(current_->storage_info());
}

496 497
Compaction* ColumnFamilyData::PickCompaction(
    const MutableCFOptions& mutable_options, LogBuffer* log_buffer) {
S
sdong 已提交
498
  auto* result = compaction_picker_->PickCompaction(
S
sdong 已提交
499
      GetName(), mutable_options, current_->storage_info(), log_buffer);
S
sdong 已提交
500 501 502
  if (result != nullptr) {
    result->SetInputVersion(current_);
  }
503
  return result;
504 505
}

506
const int ColumnFamilyData::kCompactAllLevels = -1;
507
const int ColumnFamilyData::kCompactToBaseLevel = -2;
508

509 510 511 512 513
Compaction* ColumnFamilyData::CompactRange(
    const MutableCFOptions& mutable_cf_options,
    int input_level, int output_level, uint32_t output_path_id,
    const InternalKey* begin, const InternalKey* end,
    InternalKey** compaction_end) {
S
sdong 已提交
514
  auto* result = compaction_picker_->CompactRange(
S
sdong 已提交
515
      GetName(), mutable_cf_options, current_->storage_info(), input_level,
S
sdong 已提交
516 517 518 519 520
      output_level, output_path_id, begin, end, compaction_end);
  if (result != nullptr) {
    result->SetInputVersion(current_);
  }
  return result;
521 522
}

523
SuperVersion* ColumnFamilyData::GetReferencedSuperVersion(
524
    InstrumentedMutex* db_mutex) {
525
  SuperVersion* sv = nullptr;
I
Igor Canadi 已提交
526 527 528 529
  sv = GetThreadLocalSuperVersion(db_mutex);
  sv->Ref();
  if (!ReturnThreadLocalSuperVersion(sv)) {
    sv->Unref();
530 531 532 533 534
  }
  return sv;
}

SuperVersion* ColumnFamilyData::GetThreadLocalSuperVersion(
535
    InstrumentedMutex* db_mutex) {
536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557
  SuperVersion* sv = nullptr;
  // The SuperVersion is cached in thread local storage to avoid acquiring
  // mutex when SuperVersion does not change since the last use. When a new
  // SuperVersion is installed, the compaction or flush thread cleans up
  // cached SuperVersion in all existing thread local storage. To avoid
  // acquiring mutex for this operation, we use atomic Swap() on the thread
  // local pointer to guarantee exclusive access. If the thread local pointer
  // is being used while a new SuperVersion is installed, the cached
  // SuperVersion can become stale. In that case, the background thread would
  // have swapped in kSVObsolete. We re-check the value at when returning
  // SuperVersion back to thread local, with an atomic compare and swap.
  // The superversion will need to be released if detected to be stale.
  void* ptr = local_sv_->Swap(SuperVersion::kSVInUse);
  // Invariant:
  // (1) Scrape (always) installs kSVObsolete in ThreadLocal storage
  // (2) the Swap above (always) installs kSVInUse, ThreadLocal storage
  // should only keep kSVInUse before ReturnThreadLocalSuperVersion call
  // (if no Scrape happens).
  assert(ptr != SuperVersion::kSVInUse);
  sv = static_cast<SuperVersion*>(ptr);
  if (sv == SuperVersion::kSVObsolete ||
      sv->version_number != super_version_number_.load()) {
558
    RecordTick(ioptions_.statistics, NUMBER_SUPERVERSION_ACQUIRES);
559 560 561
    SuperVersion* sv_to_delete = nullptr;

    if (sv && sv->Unref()) {
562
      RecordTick(ioptions_.statistics, NUMBER_SUPERVERSION_CLEANUPS);
563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585
      db_mutex->Lock();
      // NOTE: underlying resources held by superversion (sst files) might
      // not be released until the next background job.
      sv->Cleanup();
      sv_to_delete = sv;
    } else {
      db_mutex->Lock();
    }
    sv = super_version_->Ref();
    db_mutex->Unlock();

    delete sv_to_delete;
  }
  assert(sv != nullptr);
  return sv;
}

bool ColumnFamilyData::ReturnThreadLocalSuperVersion(SuperVersion* sv) {
  assert(sv != nullptr);
  // Put the SuperVersion back
  void* expected = SuperVersion::kSVInUse;
  if (local_sv_->CompareAndSwap(static_cast<void*>(sv), expected)) {
    // When we see kSVInUse in the ThreadLocal, we are sure ThreadLocal
C
clark.kang 已提交
586
    // storage has not been altered and no Scrape has happened. The
587 588 589 590 591 592 593 594 595 596 597
    // SuperVersion is still current.
    return true;
  } else {
    // ThreadLocal scrape happened in the process of this GetImpl call (after
    // thread local Swap() at the beginning and before CompareAndSwap()).
    // This means the SuperVersion it holds is obsolete.
    assert(expected == SuperVersion::kSVObsolete);
  }
  return false;
}

598
SuperVersion* ColumnFamilyData::InstallSuperVersion(
599
    SuperVersion* new_superversion, InstrumentedMutex* db_mutex) {
600 601 602 603 604
  db_mutex->AssertHeld();
  return InstallSuperVersion(new_superversion, db_mutex, mutable_cf_options_);
}

SuperVersion* ColumnFamilyData::InstallSuperVersion(
605
    SuperVersion* new_superversion, InstrumentedMutex* db_mutex,
606
    const MutableCFOptions& mutable_cf_options) {
607
  new_superversion->db_mutex = db_mutex;
608
  new_superversion->mutable_cf_options = mutable_cf_options;
609 610 611 612
  new_superversion->Init(mem_, imm_.current(), current_);
  SuperVersion* old_superversion = super_version_;
  super_version_ = new_superversion;
  ++super_version_number_;
613
  super_version_->version_number = super_version_number_;
614
  // Reset SuperVersions cached in thread local storage
I
Igor Canadi 已提交
615
  ResetThreadLocalSuperVersions();
616

617
  RecalculateWriteStallConditions(mutable_cf_options);
618

619 620 621 622 623
  if (old_superversion != nullptr && old_superversion->Unref()) {
    old_superversion->Cleanup();
    return old_superversion;  // will let caller delete outside of mutex
  }
  return nullptr;
I
Igor Canadi 已提交
624 625
}

626 627
void ColumnFamilyData::ResetThreadLocalSuperVersions() {
  autovector<void*> sv_ptrs;
628
  local_sv_->Scrape(&sv_ptrs, SuperVersion::kSVObsolete);
629 630
  for (auto ptr : sv_ptrs) {
    assert(ptr);
631 632 633
    if (ptr == SuperVersion::kSVInUse) {
      continue;
    }
634 635 636 637 638 639 640 641
    auto sv = static_cast<SuperVersion*>(ptr);
    if (sv->Unref()) {
      sv->Cleanup();
      delete sv;
    }
  }
}

I
Igor Canadi 已提交
642
#ifndef ROCKSDB_LITE
643
Status ColumnFamilyData::SetOptions(
644 645
      const std::unordered_map<std::string, std::string>& options_map) {
  MutableCFOptions new_mutable_cf_options;
646 647 648
  Status s = GetMutableOptionsFromStrings(mutable_cf_options_, options_map,
                                          &new_mutable_cf_options);
  if (s.ok()) {
649
    mutable_cf_options_ = new_mutable_cf_options;
650
    mutable_cf_options_.RefreshDerivedOptions(ioptions_);
651
  }
652
  return s;
653
}
I
Igor Canadi 已提交
654
#endif  // ROCKSDB_LITE
655

I
Igor Canadi 已提交
656
ColumnFamilySet::ColumnFamilySet(const std::string& dbname,
I
Igor Canadi 已提交
657
                                 const DBOptions* db_options,
L
Lei Jin 已提交
658
                                 const EnvOptions& env_options,
659
                                 Cache* table_cache,
660
                                 WriteBuffer* write_buffer,
661
                                 WriteController* write_controller)
662
    : max_column_family_(0),
663
      dummy_cfd_(new ColumnFamilyData(0, "", nullptr, nullptr, nullptr,
664
                                      ColumnFamilyOptions(), db_options,
665
                                      env_options, nullptr)),
I
Igor Canadi 已提交
666
      default_cfd_cache_(nullptr),
I
Igor Canadi 已提交
667 668
      db_name_(dbname),
      db_options_(db_options),
L
Lei Jin 已提交
669
      env_options_(env_options),
670
      table_cache_(table_cache),
671
      write_buffer_(write_buffer),
I
Igor Canadi 已提交
672
      write_controller_(write_controller) {
673
  // initialize linked list
674 675
  dummy_cfd_->prev_ = dummy_cfd_;
  dummy_cfd_->next_ = dummy_cfd_;
676
}
I
Igor Canadi 已提交
677 678

ColumnFamilySet::~ColumnFamilySet() {
679 680 681 682
  while (column_family_data_.size() > 0) {
    // cfd destructor will delete itself from column_family_data_
    auto cfd = column_family_data_.begin()->second;
    cfd->Unref();
I
Igor Canadi 已提交
683 684
    delete cfd;
  }
685
  dummy_cfd_->Unref();
686
  delete dummy_cfd_;
I
Igor Canadi 已提交
687 688 689
}

ColumnFamilyData* ColumnFamilySet::GetDefault() const {
I
Igor Canadi 已提交
690 691
  assert(default_cfd_cache_ != nullptr);
  return default_cfd_cache_;
I
Igor Canadi 已提交
692 693 694 695 696 697 698 699 700 701 702
}

ColumnFamilyData* ColumnFamilySet::GetColumnFamily(uint32_t id) const {
  auto cfd_iter = column_family_data_.find(id);
  if (cfd_iter != column_family_data_.end()) {
    return cfd_iter->second;
  } else {
    return nullptr;
  }
}

703 704 705
ColumnFamilyData* ColumnFamilySet::GetColumnFamily(const std::string& name)
    const {
  auto cfd_iter = column_families_.find(name);
I
Igor Canadi 已提交
706 707 708 709 710
  if (cfd_iter != column_families_.end()) {
    auto cfd = GetColumnFamily(cfd_iter->second);
    assert(cfd != nullptr);
    return cfd;
  } else {
711 712
    return nullptr;
  }
I
Igor Canadi 已提交
713 714 715 716 717 718
}

uint32_t ColumnFamilySet::GetNextColumnFamilyID() {
  return ++max_column_family_;
}

719 720 721 722 723 724
uint32_t ColumnFamilySet::GetMaxColumnFamily() { return max_column_family_; }

void ColumnFamilySet::UpdateMaxColumnFamily(uint32_t new_max_column_family) {
  max_column_family_ = std::max(new_max_column_family, max_column_family_);
}

725 726 727 728
size_t ColumnFamilySet::NumberOfColumnFamilies() const {
  return column_families_.size();
}

I
Igor Canadi 已提交
729
// under a DB mutex AND write thread
I
Igor Canadi 已提交
730 731 732 733 734
ColumnFamilyData* ColumnFamilySet::CreateColumnFamily(
    const std::string& name, uint32_t id, Version* dummy_versions,
    const ColumnFamilyOptions& options) {
  assert(column_families_.find(name) == column_families_.end());
  ColumnFamilyData* new_cfd =
735 736 737
      new ColumnFamilyData(id, name, dummy_versions, table_cache_,
                           write_buffer_, options, db_options_,
                           env_options_, this);
738
  column_families_.insert({name, id});
I
Igor Canadi 已提交
739 740
  column_family_data_.insert({id, new_cfd});
  max_column_family_ = std::max(max_column_family_, id);
741
  // add to linked list
742 743 744 745 746
  new_cfd->next_ = dummy_cfd_;
  auto prev = dummy_cfd_->prev_;
  new_cfd->prev_ = prev;
  prev->next_ = new_cfd;
  dummy_cfd_->prev_ = new_cfd;
I
Igor Canadi 已提交
747 748 749
  if (id == 0) {
    default_cfd_cache_ = new_cfd;
  }
I
Igor Canadi 已提交
750 751 752
  return new_cfd;
}

753 754 755 756
// REQUIRES: DB mutex held
void ColumnFamilySet::FreeDeadColumnFamilies() {
  autovector<ColumnFamilyData*> to_delete;
  for (auto cfd = dummy_cfd_->next_; cfd != dummy_cfd_; cfd = cfd->next_) {
I
Igor Canadi 已提交
757
    if (cfd->refs_.load(std::memory_order_relaxed) == 0) {
758 759 760 761 762 763 764 765 766
      to_delete.push_back(cfd);
    }
  }
  for (auto cfd : to_delete) {
    // this is very rare, so it's not a problem that we do it under a mutex
    delete cfd;
  }
}

I
Igor Canadi 已提交
767
// under a DB mutex AND from a write thread
I
Igor Canadi 已提交
768
void ColumnFamilySet::RemoveColumnFamily(ColumnFamilyData* cfd) {
769
  auto cfd_iter = column_family_data_.find(cfd->GetID());
770 771
  assert(cfd_iter != column_family_data_.end());
  column_family_data_.erase(cfd_iter);
772
  column_families_.erase(cfd->GetName());
I
Igor Canadi 已提交
773 774
}

I
Igor Canadi 已提交
775
// under a DB mutex OR from a write thread
776
bool ColumnFamilyMemTablesImpl::Seek(uint32_t column_family_id) {
I
Igor Canadi 已提交
777 778 779 780 781 782
  if (column_family_id == 0) {
    // optimization for common case
    current_ = column_family_set_->GetDefault();
  } else {
    current_ = column_family_set_->GetColumnFamily(column_family_id);
  }
783
  handle_.SetCFD(current_);
784 785
  return current_ != nullptr;
}
786

787 788 789 790 791 792 793 794 795 796
uint64_t ColumnFamilyMemTablesImpl::GetLogNumber() const {
  assert(current_ != nullptr);
  return current_->GetLogNumber();
}

MemTable* ColumnFamilyMemTablesImpl::GetMemTable() const {
  assert(current_ != nullptr);
  return current_->mem();
}

797
ColumnFamilyHandle* ColumnFamilyMemTablesImpl::GetColumnFamilyHandle() {
798
  assert(current_ != nullptr);
799
  return &handle_;
800 801
}

I
Igor Canadi 已提交
802 803 804 805 806 807 808
void ColumnFamilyMemTablesImpl::CheckMemtableFull() {
  if (current_ != nullptr && current_->mem()->ShouldScheduleFlush()) {
    flush_scheduler_->ScheduleFlush(current_);
    current_->mem()->MarkFlushScheduled();
  }
}

809 810 811 812 813 814 815 816 817
uint32_t GetColumnFamilyID(ColumnFamilyHandle* column_family) {
  uint32_t column_family_id = 0;
  if (column_family != nullptr) {
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
    column_family_id = cfh->GetID();
  }
  return column_family_id;
}

818 819 820 821 822 823 824 825 826
const Comparator* GetColumnFamilyUserComparator(
    ColumnFamilyHandle* column_family) {
  if (column_family != nullptr) {
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
    return cfh->user_comparator();
  }
  return nullptr;
}

I
Igor Canadi 已提交
827
}  // namespace rocksdb