db_impl.cc 91.8 KB
Newer Older
1
//  Copyright (c) 2011-present, Facebook, Inc.  All rights reserved.
2 3 4
//  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.
5 6
//  This source code is also licensed under the GPLv2 license found in the
//  COPYING file in the root directory of this source tree.
7
//
J
jorlow@chromium.org 已提交
8 9 10 11 12
// 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/db_impl.h"

L
liuhuahang 已提交
13
#ifndef __STDC_FORMAT_MACROS
I
Igor Canadi 已提交
14
#define __STDC_FORMAT_MACROS
L
liuhuahang 已提交
15
#endif
I
Igor Canadi 已提交
16
#include <inttypes.h>
17
#include <stdint.h>
D
David Bernard 已提交
18
#ifdef OS_SOLARIS
D
David Bernard 已提交
19
#include <alloca.h>
D
David Bernard 已提交
20
#endif
21 22 23
#ifdef ROCKSDB_JEMALLOC
#include "jemalloc/jemalloc.h"
#endif
24

J
jorlow@chromium.org 已提交
25
#include <algorithm>
26 27
#include <climits>
#include <cstdio>
28
#include <map>
J
jorlow@chromium.org 已提交
29
#include <set>
30
#include <stdexcept>
31
#include <string>
32
#include <unordered_map>
33
#include <unordered_set>
T
Tomislav Novak 已提交
34
#include <utility>
35
#include <vector>
36

J
jorlow@chromium.org 已提交
37
#include "db/builder.h"
I
Igor Canadi 已提交
38
#include "db/compaction_job.h"
39
#include "db/db_info_dumper.h"
40
#include "db/db_iter.h"
K
kailiu 已提交
41
#include "db/dbformat.h"
42
#include "db/event_helpers.h"
43
#include "db/external_sst_file_ingestion_job.h"
44 45
#include "db/flush_job.h"
#include "db/forward_iterator.h"
I
Igor Canadi 已提交
46
#include "db/job_context.h"
J
jorlow@chromium.org 已提交
47 48
#include "db/log_reader.h"
#include "db/log_writer.h"
V
Venkatesh Radhakrishnan 已提交
49
#include "db/managed_iterator.h"
J
jorlow@chromium.org 已提交
50
#include "db/memtable.h"
K
kailiu 已提交
51
#include "db/memtable_list.h"
52
#include "db/merge_context.h"
53
#include "db/merge_helper.h"
A
Andrew Kryczka 已提交
54
#include "db/range_del_aggregator.h"
J
jorlow@chromium.org 已提交
55
#include "db/table_cache.h"
K
kailiu 已提交
56
#include "db/table_properties_collector.h"
57
#include "db/transaction_log_impl.h"
J
jorlow@chromium.org 已提交
58 59
#include "db/version_set.h"
#include "db/write_batch_internal.h"
A
agiardullo 已提交
60
#include "db/write_callback.h"
61 62
#include "memtable/hash_linklist_rep.h"
#include "memtable/hash_skiplist_rep.h"
63 64 65 66 67 68 69
#include "monitoring/iostats_context_imp.h"
#include "monitoring/perf_context_imp.h"
#include "monitoring/thread_status_updater.h"
#include "monitoring/thread_status_util.h"
#include "options/cf_options.h"
#include "options/options_helper.h"
#include "options/options_parser.h"
70
#include "port/likely.h"
71
#include "port/port.h"
I
Igor Canadi 已提交
72
#include "rocksdb/cache.h"
73 74 75 76 77 78
#include "rocksdb/compaction_filter.h"
#include "rocksdb/db.h"
#include "rocksdb/env.h"
#include "rocksdb/merge_operator.h"
#include "rocksdb/statistics.h"
#include "rocksdb/status.h"
S
Siying Dong 已提交
79
#include "rocksdb/table.h"
80
#include "rocksdb/version.h"
81
#include "rocksdb/write_buffer_manager.h"
J
jorlow@chromium.org 已提交
82
#include "table/block.h"
83
#include "table/block_based_table_factory.h"
84
#include "table/merging_iterator.h"
K
kailiu 已提交
85
#include "table/table_builder.h"
J
jorlow@chromium.org 已提交
86
#include "table/two_level_iterator.h"
87
#include "util/auto_roll_logger.h"
K
kailiu 已提交
88
#include "util/autovector.h"
89
#include "util/build_version.h"
J
jorlow@chromium.org 已提交
90
#include "util/coding.h"
I
Igor Canadi 已提交
91
#include "util/compression.h"
92
#include "util/crc32c.h"
93
#include "util/file_reader_writer.h"
94
#include "util/file_util.h"
95
#include "util/filename.h"
H
Haobo Xu 已提交
96
#include "util/log_buffer.h"
97
#include "util/logging.h"
J
jorlow@chromium.org 已提交
98
#include "util/mutexlock.h"
99
#include "util/sst_file_manager_impl.h"
100
#include "util/stop_watch.h"
101
#include "util/string_util.h"
102
#include "util/sync_point.h"
J
jorlow@chromium.org 已提交
103

104
namespace rocksdb {
105
const std::string kDefaultColumnFamilyName("default");
I
Igor Canadi 已提交
106
void DumpRocksDBBuildVersion(Logger * log);
107

A
Aaron Gao 已提交
108 109 110
CompressionType GetCompressionFlush(
    const ImmutableCFOptions& ioptions,
    const MutableCFOptions& mutable_cf_options) {
111 112 113
  // Compressing memtable flushes might not help unless the sequential load
  // optimization is used for leveled compaction. Otherwise the CPU and
  // latency overhead is not offset by saving much space.
114
  if (ioptions.compaction_style == kCompactionStyleUniversal) {
115 116 117 118 119 120 121 122
    if (ioptions.compaction_options_universal.compression_size_percent < 0) {
      return mutable_cf_options.compression;
    } else {
      return kNoCompression;
    }
  } else if (!ioptions.compression_per_level.empty()) {
    // For leveled compress when min_level_to_compress != 0.
    return ioptions.compression_per_level[0];
123
  } else {
A
Aaron Gao 已提交
124
    return mutable_cf_options.compression;
125 126
  }
}
I
Igor Canadi 已提交
127

S
Siying Dong 已提交
128
namespace {
129
void DumpSupportInfo(Logger* logger) {
130 131 132 133 134 135 136 137
  ROCKS_LOG_HEADER(logger, "Compression algorithms supported:");
  ROCKS_LOG_HEADER(logger, "\tSnappy supported: %d", Snappy_Supported());
  ROCKS_LOG_HEADER(logger, "\tZlib supported: %d", Zlib_Supported());
  ROCKS_LOG_HEADER(logger, "\tBzip supported: %d", BZip2_Supported());
  ROCKS_LOG_HEADER(logger, "\tLZ4 supported: %d", LZ4_Supported());
  ROCKS_LOG_HEADER(logger, "\tZSTD supported: %d", ZSTD_Supported());
  ROCKS_LOG_HEADER(logger, "Fast CRC32 supported: %d",
                   crc32c::IsFastCrc32Supported());
I
Igor Canadi 已提交
138
}
S
Siying Dong 已提交
139
} // namespace
140

I
Igor Canadi 已提交
141
DBImpl::DBImpl(const DBOptions& options, const std::string& dbname)
J
jorlow@chromium.org 已提交
142
    : env_(options.env),
H
heyongqiang 已提交
143
      dbname_(dbname),
144 145 146
      initial_db_options_(SanitizeOptions(dbname, options)),
      immutable_db_options_(initial_db_options_),
      mutable_db_options_(initial_db_options_),
147
      stats_(immutable_db_options_.statistics.get()),
148
      db_lock_(nullptr),
149 150
      mutex_(stats_, env_, DB_MUTEX_WAIT_MICROS,
             immutable_db_options_.use_adaptive_mutex),
I
Igor Canadi 已提交
151
      shutting_down_(false),
J
jorlow@chromium.org 已提交
152
      bg_cv_(&mutex_),
153
      logfile_number_(0),
154
      log_dir_synced_(false),
I
Igor Canadi 已提交
155
      log_empty_(true),
156
      default_cf_handle_(nullptr),
157
      log_sync_cv_(&mutex_),
I
Igor Canadi 已提交
158 159
      total_log_size_(0),
      max_total_in_memory_state_(0),
S
sdong 已提交
160
      is_snapshot_supported_(true),
161 162 163
      write_buffer_manager_(immutable_db_options_.write_buffer_manager.get()),
      write_thread_(immutable_db_options_.enable_write_thread_adaptive_yield
                        ? immutable_db_options_.write_thread_max_yield_usec
164
                        : 0,
165
                    immutable_db_options_.write_thread_slow_yield_usec),
166
      write_controller_(mutable_db_options_.delayed_write_rate),
S
sdong 已提交
167
      last_batch_group_size_(0),
168 169
      unscheduled_flushes_(0),
      unscheduled_compactions_(0),
170
      bg_compaction_scheduled_(0),
171
      num_running_compactions_(0),
172
      bg_flush_scheduled_(0),
173
      num_running_flushes_(0),
174
      bg_purge_scheduled_(0),
175
      disable_delete_obsolete_files_(0),
176
      delete_obsolete_files_last_run_(env_->NowMicros()),
177
      last_stats_dump_time_microsec_(0),
178
      next_job_id_(1),
179
      has_unpersisted_data_(false),
180
      unable_to_flush_oldest_log_(false),
181
      env_options_(BuildDBOptions(immutable_db_options_, mutable_db_options_)),
182
      num_running_ingest_file_(0),
I
Igor Canadi 已提交
183
#ifndef ROCKSDB_LITE
184
      wal_manager_(immutable_db_options_, env_options_),
I
Igor Canadi 已提交
185
#endif  // ROCKSDB_LITE
186
      event_logger_(immutable_db_options_.info_log.get()),
187
      bg_work_paused_(0),
188
      bg_compaction_paused_(0),
189
      refitting_level_(false),
190
      opened_successfully_(false) {
H
heyongqiang 已提交
191
  env_->GetAbsolutePath(dbname, &db_absolute_path_);
192

J
jorlow@chromium.org 已提交
193
  // Reserve ten files or so for other uses and give the rest to TableCache.
194
  // Give a large number for setting of "infinite" open files.
L
Leonidas Galanis 已提交
195
  const int table_cache_size = (mutable_db_options_.max_open_files == -1)
196
                                   ? TableCache::kInfiniteCapacity
L
Leonidas Galanis 已提交
197
                                   : mutable_db_options_.max_open_files - 10;
198 199
  table_cache_ = NewLRUCache(table_cache_size,
                             immutable_db_options_.table_cache_numshardbits);
200

201
  versions_.reset(new VersionSet(dbname_, &immutable_db_options_, env_options_,
202
                                 table_cache_.get(), write_buffer_manager_,
203
                                 &write_controller_));
204 205
  column_family_memtables_.reset(
      new ColumnFamilyMemTablesImpl(versions_->GetColumnFamilySet()));
206

207 208 209 210 211
  DumpRocksDBBuildVersion(immutable_db_options_.info_log.get());
  DumpDBFileSummary(immutable_db_options_, dbname_);
  immutable_db_options_.Dump(immutable_db_options_.info_log.get());
  mutable_db_options_.Dump(immutable_db_options_.info_log.get());
  DumpSupportInfo(immutable_db_options_.info_log.get());
J
jorlow@chromium.org 已提交
212 213
}

214
// Will lock the mutex_,  will wait for completion if wait is true
215
void DBImpl::CancelAllBackgroundWork(bool wait) {
216
  InstrumentedMutexLock l(&mutex_);
217

218 219
  ROCKS_LOG_INFO(immutable_db_options_.info_log,
                 "Shutdown: canceling all background work");
220

221
  if (!shutting_down_.load(std::memory_order_acquire) &&
222
      has_unpersisted_data_.load(std::memory_order_relaxed) &&
Y
Yi Wu 已提交
223
      !mutable_db_options_.avoid_flush_during_shutdown) {
224
    for (auto cfd : *versions_->GetColumnFamilySet()) {
225
      if (!cfd->IsDropped() && !cfd->mem()->IsEmpty()) {
226 227 228 229
        cfd->Ref();
        mutex_.Unlock();
        FlushMemTable(cfd, FlushOptions());
        mutex_.Lock();
230
        cfd->Unref();
231 232
      }
    }
233
    versions_->GetColumnFamilySet()->FreeDeadColumnFamilies();
234
  }
235 236 237 238 239 240 241 242 243 244 245 246 247

  shutting_down_.store(true, std::memory_order_release);
  bg_cv_.SignalAll();
  if (!wait) {
    return;
  }
  // Wait for background work to finish
  while (bg_compaction_scheduled_ || bg_flush_scheduled_) {
    bg_cv_.Wait();
  }
}

DBImpl::~DBImpl() {
248 249
  // CancelAllBackgroundWork called with false means we just set the shutdown
  // marker. After this we do a variant of the waiting and unschedule work
250 251
  // (to consider: moving all the waiting into CancelAllBackgroundWork(true))
  CancelAllBackgroundWork(false);
252 253 254 255 256 257 258
  int compactions_unscheduled = env_->UnSchedule(this, Env::Priority::LOW);
  int flushes_unscheduled = env_->UnSchedule(this, Env::Priority::HIGH);
  mutex_.Lock();
  bg_compaction_scheduled_ -= compactions_unscheduled;
  bg_flush_scheduled_ -= flushes_unscheduled;

  // Wait for background work to finish
259 260 261
  while (bg_compaction_scheduled_ || bg_flush_scheduled_ ||
         bg_purge_scheduled_) {
    TEST_SYNC_POINT("DBImpl::~DBImpl:WaitJob");
262 263
    bg_cv_.Wait();
  }
264
  EraseThreadStatusDbInfo();
I
Igor Canadi 已提交
265 266
  flush_scheduler_.Clear();

267 268 269 270 271 272 273 274 275 276 277 278 279
  while (!flush_queue_.empty()) {
    auto cfd = PopFirstFromFlushQueue();
    if (cfd->Unref()) {
      delete cfd;
    }
  }
  while (!compaction_queue_.empty()) {
    auto cfd = PopFirstFromCompactionQueue();
    if (cfd->Unref()) {
      delete cfd;
    }
  }

I
Igor Canadi 已提交
280 281 282 283 284
  if (default_cf_handle_ != nullptr) {
    // we need to delete handle outside of lock because it does its own locking
    mutex_.Unlock();
    delete default_cf_handle_;
    mutex_.Lock();
285 286
  }

I
Igor Canadi 已提交
287 288 289 290 291 292 293 294 295 296
  // Clean up obsolete files due to SuperVersion release.
  // (1) Need to delete to obsolete files before closing because RepairDB()
  // scans all existing files in the file system and builds manifest file.
  // Keeping obsolete files confuses the repair process.
  // (2) Need to check if we Open()/Recover() the DB successfully before
  // deleting because if VersionSet recover fails (may be due to corrupted
  // manifest file), it is not able to identify live files correctly. As a
  // result, all "live" files can get deleted by accident. However, corrupted
  // manifest is recoverable by RepairDB().
  if (opened_successfully_) {
297
    JobContext job_context(next_job_id_.fetch_add(1));
I
Igor Canadi 已提交
298
    FindObsoleteFiles(&job_context, true);
299 300

    mutex_.Unlock();
I
Igor Canadi 已提交
301
    // manifest number starting from 2
I
Igor Canadi 已提交
302 303 304
    job_context.manifest_file_number = 1;
    if (job_context.HaveSomethingToDelete()) {
      PurgeObsoleteFiles(job_context);
305
    }
I
Igor Canadi 已提交
306
    job_context.Clean();
307
    mutex_.Lock();
308 309
  }

310 311 312
  for (auto l : logs_to_free_) {
    delete l;
  }
313 314 315
  for (auto& log : logs_) {
    log.ClearWriter();
  }
316
  logs_.clear();
317

318 319 320 321 322 323 324 325 326 327 328 329 330 331 332
  // Table cache may have table handles holding blocks from the block cache.
  // We need to release them before the block cache is destroyed. The block
  // cache may be destroyed inside versions_.reset(), when column family data
  // list is destroyed, so leaving handles in table cache after
  // versions_.reset() may cause issues.
  // Here we clean all unreferenced handles in table cache.
  // Now we assume all user queries have finished, so only version set itself
  // can possibly hold the blocks from block cache. After releasing unreferenced
  // handles here, only handles held by version set left and inside
  // versions_.reset(), we will release them. There, we need to make sure every
  // time a handle is released, we erase it from the cache too. By doing that,
  // we can guarantee that after versions_.reset(), table cache is empty
  // so the cache can be safely destroyed.
  table_cache_->EraseUnRefEntries();

I
Islam AbdelRahman 已提交
333 334 335 336
  for (auto& txn_entry : recovered_transactions_) {
    delete txn_entry.second;
  }

337
  // versions need to be destroyed before table_cache since it can hold
338 339
  // references to table_cache.
  versions_.reset();
340
  mutex_.Unlock();
I
Igor Canadi 已提交
341 342 343
  if (db_lock_ != nullptr) {
    env_->UnlockFile(db_lock_);
  }
344

345
  ROCKS_LOG_INFO(immutable_db_options_.info_log, "Shutdown complete");
346
  LogFlush(immutable_db_options_.info_log);
J
jorlow@chromium.org 已提交
347 348 349
}

void DBImpl::MaybeIgnoreError(Status* s) const {
350
  if (s->ok() || immutable_db_options_.paranoid_checks) {
J
jorlow@chromium.org 已提交
351 352
    // No change needed
  } else {
353 354
    ROCKS_LOG_WARN(immutable_db_options_.info_log, "Ignoring error %s",
                   s->ToString().c_str());
J
jorlow@chromium.org 已提交
355 356 357 358
    *s = Status::OK();
  }
}

359
const Status DBImpl::CreateArchivalDirectory() {
360 361 362
  if (immutable_db_options_.wal_ttl_seconds > 0 ||
      immutable_db_options_.wal_size_limit_mb > 0) {
    std::string archivalPath = ArchivalDirectory(immutable_db_options_.wal_dir);
363 364 365 366 367
    return env_->CreateDirIfMissing(archivalPath);
  }
  return Status::OK();
}

368
void DBImpl::PrintStatistics() {
369
  auto dbstats = immutable_db_options_.statistics.get();
370
  if (dbstats) {
371 372
    ROCKS_LOG_WARN(immutable_db_options_.info_log, "STATISTICS:\n %s",
                   dbstats->ToString().c_str());
373 374 375
  }
}

376
#ifndef ROCKSDB_LITE
377 378 379 380 381 382 383 384 385 386 387 388 389 390
#ifdef ROCKSDB_JEMALLOC
typedef struct {
  char* cur;
  char* end;
} MallocStatus;

static void GetJemallocStatus(void* mstat_arg, const char* status) {
  MallocStatus* mstat = reinterpret_cast<MallocStatus*>(mstat_arg);
  size_t status_len = status ? strlen(status) : 0;
  size_t buf_size = (size_t)(mstat->end - mstat->cur);
  if (!status_len || status_len > buf_size) {
    return;
  }

391
  snprintf(mstat->cur, buf_size, "%s", status);
392 393 394 395 396 397 398
  mstat->cur += status_len;
}
#endif  // ROCKSDB_JEMALLOC

static void DumpMallocStats(std::string* stats) {
#ifdef ROCKSDB_JEMALLOC
  MallocStatus mstat;
399
  const unsigned int kMallocStatusLen = 1000000;
400
  std::unique_ptr<char[]> buf{new char[kMallocStatusLen + 1]};
401 402
  mstat.cur = buf.get();
  mstat.end = buf.get() + kMallocStatusLen;
T
Tamir Duberstein 已提交
403
  je_malloc_stats_print(GetJemallocStatus, &mstat, "");
404 405 406
  stats->append(buf.get());
#endif  // ROCKSDB_JEMALLOC
}
407
#endif  // !ROCKSDB_LITE
408

409
void DBImpl::MaybeDumpStats() {
410 411 412 413 414
  mutex_.Lock();
  unsigned int stats_dump_period_sec =
      mutable_db_options_.stats_dump_period_sec;
  mutex_.Unlock();
  if (stats_dump_period_sec == 0) return;
H
Haobo Xu 已提交
415 416 417

  const uint64_t now_micros = env_->NowMicros();

418
  if (last_stats_dump_time_microsec_ + stats_dump_period_sec * 1000000 <=
419
      now_micros) {
H
Haobo Xu 已提交
420 421 422 423 424
    // Multiple threads could race in here simultaneously.
    // However, the last one will update last_stats_dump_time_microsec_
    // atomically. We could see more than one dump during one dump
    // period in rare cases.
    last_stats_dump_time_microsec_ = now_micros;
425

426
#ifndef ROCKSDB_LITE
427 428 429 430 431 432 433
    const DBPropertyInfo* cf_property_info =
        GetPropertyInfo(DB::Properties::kCFStats);
    assert(cf_property_info != nullptr);
    const DBPropertyInfo* db_property_info =
        GetPropertyInfo(DB::Properties::kDBStats);
    assert(db_property_info != nullptr);

H
Haobo Xu 已提交
434
    std::string stats;
435
    {
436
      InstrumentedMutexLock l(&mutex_);
437 438
      default_cf_internal_stats_->GetStringProperty(
          *db_property_info, DB::Properties::kDBStats, &stats);
439
      for (auto cfd : *versions_->GetColumnFamilySet()) {
440
        cfd->internal_stats()->GetStringProperty(
441 442 443 444 445
            *cf_property_info, DB::Properties::kCFStatsNoFileHistogram, &stats);
      }
      for (auto cfd : *versions_->GetColumnFamilySet()) {
        cfd->internal_stats()->GetStringProperty(
            *cf_property_info, DB::Properties::kCFFileHistogram, &stats);
446 447
      }
    }
448 449 450
    ROCKS_LOG_WARN(immutable_db_options_.info_log,
                   "------- DUMPING STATS -------");
    ROCKS_LOG_WARN(immutable_db_options_.info_log, "%s", stats.c_str());
S
Siying Dong 已提交
451 452 453 454
    if (immutable_db_options_.dump_malloc_stats) {
      stats.clear();
      DumpMallocStats(&stats);
      if (!stats.empty()) {
455 456 457
        ROCKS_LOG_WARN(immutable_db_options_.info_log,
                       "------- Malloc STATS -------");
        ROCKS_LOG_WARN(immutable_db_options_.info_log, "%s", stats.c_str());
S
Siying Dong 已提交
458 459
      }
    }
460
#endif  // !ROCKSDB_LITE
461

462
    PrintStatistics();
463 464 465
  }
}

466 467 468 469 470 471 472 473 474 475
void DBImpl::ScheduleBgLogWriterClose(JobContext* job_context) {
  if (!job_context->logs_to_free.empty()) {
    for (auto l : job_context->logs_to_free) {
      AddToLogsToFreeQueue(l);
    }
    job_context->logs_to_free.clear();
    SchedulePurge();
  }
}

S
Siying Dong 已提交
476 477 478 479 480 481
Directory* DBImpl::Directories::GetDataDir(size_t path_id) {
  assert(path_id < data_dirs_.size());
  Directory* ret_dir = data_dirs_[path_id].get();
  if (ret_dir == nullptr) {
    // Should use db_dir_
    return db_dir_.get();
482
  }
S
Siying Dong 已提交
483
  return ret_dir;
484 485
}

S
Siying Dong 已提交
486 487 488 489 490 491 492 493 494 495 496
Status DBImpl::SetOptions(ColumnFamilyHandle* column_family,
    const std::unordered_map<std::string, std::string>& options_map) {
#ifdef ROCKSDB_LITE
  return Status::NotSupported("Not supported in ROCKSDB LITE");
#else
  auto* cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family)->cfd();
  if (options_map.empty()) {
    ROCKS_LOG_WARN(immutable_db_options_.info_log,
                   "SetOptions() on column family [%s], empty input",
                   cfd->GetName().c_str());
    return Status::InvalidArgument("empty input");
497 498
  }

S
Siying Dong 已提交
499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517
  MutableCFOptions new_options;
  Status s;
  Status persist_options_status;
  WriteThread::Writer w;
  {
    InstrumentedMutexLock l(&mutex_);
    s = cfd->SetOptions(options_map);
    if (s.ok()) {
      new_options = *cfd->GetLatestMutableCFOptions();
      // Append new version to recompute compaction score.
      VersionEdit dummy_edit;
      versions_->LogAndApply(cfd, new_options, &dummy_edit, &mutex_,
                             directories_.GetDbDir());
      // Trigger possible flush/compactions. This has to be before we persist
      // options to file, otherwise there will be a deadlock with writer
      // thread.
      auto* old_sv =
          InstallSuperVersionAndScheduleWork(cfd, nullptr, new_options);
      delete old_sv;
518

Y
Yi Wu 已提交
519 520
      persist_options_status = WriteOptionsFile(
          false /*need_mutex_lock*/, true /*need_enter_write_thread*/);
521 522 523
    }
  }

S
Siying Dong 已提交
524 525 526 527 528 529
  ROCKS_LOG_INFO(immutable_db_options_.info_log,
                 "SetOptions() on column family [%s], inputs:",
                 cfd->GetName().c_str());
  for (const auto& o : options_map) {
    ROCKS_LOG_INFO(immutable_db_options_.info_log, "%s: %s\n", o.first.c_str(),
                   o.second.c_str());
530
  }
S
Siying Dong 已提交
531 532 533 534 535
  if (s.ok()) {
    ROCKS_LOG_INFO(immutable_db_options_.info_log,
                   "[%s] SetOptions() succeeded", cfd->GetName().c_str());
    new_options.Dump(immutable_db_options_.info_log.get());
    if (!persist_options_status.ok()) {
Y
Yi Wu 已提交
536
      s = persist_options_status;
537
    }
538
  } else {
S
Siying Dong 已提交
539 540
    ROCKS_LOG_WARN(immutable_db_options_.info_log, "[%s] SetOptions() failed",
                   cfd->GetName().c_str());
541
  }
S
Siying Dong 已提交
542 543 544
  LogFlush(immutable_db_options_.info_log);
  return s;
#endif  // ROCKSDB_LITE
545 546
}

S
Siying Dong 已提交
547 548 549 550 551 552 553 554 555
Status DBImpl::SetDBOptions(
    const std::unordered_map<std::string, std::string>& options_map) {
#ifdef ROCKSDB_LITE
  return Status::NotSupported("Not supported in ROCKSDB LITE");
#else
  if (options_map.empty()) {
    ROCKS_LOG_WARN(immutable_db_options_.info_log,
                   "SetDBOptions(), empty input.");
    return Status::InvalidArgument("empty input");
I
Igor Canadi 已提交
556
  }
557

S
Siying Dong 已提交
558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573
  MutableDBOptions new_options;
  Status s;
  Status persist_options_status;
  WriteThread::Writer w;
  WriteContext write_context;
  {
    InstrumentedMutexLock l(&mutex_);
    s = GetMutableDBOptionsFromStrings(mutable_db_options_, options_map,
                                       &new_options);
    if (s.ok()) {
      if (new_options.max_background_compactions >
          mutable_db_options_.max_background_compactions) {
        env_->IncBackgroundThreadsIfNeeded(
            new_options.max_background_compactions, Env::Priority::LOW);
        MaybeScheduleFlushOrCompaction();
      }
574

575
      write_controller_.set_max_delayed_write_rate(new_options.delayed_write_rate);
L
Leonidas Galanis 已提交
576
      table_cache_.get()->SetCapacity(new_options.max_open_files == -1
577
                                          ? TableCache::kInfiniteCapacity
L
Leonidas Galanis 已提交
578
                                          : new_options.max_open_files - 10);
579

580 581
      mutable_db_options_ = new_options;

582
      write_thread_.EnterUnbatched(&w, &mutex_);
583
      if (total_log_size_ > GetMaxTotalWalSize()) {
584 585 586 587 588 589
        Status purge_wal_status = HandleWALFull(&write_context);
        if (!purge_wal_status.ok()) {
          ROCKS_LOG_WARN(immutable_db_options_.info_log,
                         "Unable to purge WAL files in SetDBOptions() -- %s",
                         purge_wal_status.ToString().c_str());
        }
590
      }
Y
Yi Wu 已提交
591 592
      persist_options_status = WriteOptionsFile(
          false /*need_mutex_lock*/, false /*need_enter_write_thread*/);
593
      write_thread_.ExitUnbatched(&w);
594 595
    }
  }
596
  ROCKS_LOG_INFO(immutable_db_options_.info_log, "SetDBOptions(), inputs:");
597
  for (const auto& o : options_map) {
598 599
    ROCKS_LOG_INFO(immutable_db_options_.info_log, "%s: %s\n", o.first.c_str(),
                   o.second.c_str());
600 601
  }
  if (s.ok()) {
602
    ROCKS_LOG_INFO(immutable_db_options_.info_log, "SetDBOptions() succeeded");
603 604 605 606 607 608 609
    new_options.Dump(immutable_db_options_.info_log.get());
    if (!persist_options_status.ok()) {
      if (immutable_db_options_.fail_if_options_file_error) {
        s = Status::IOError(
            "SetDBOptions() succeeded, but unable to persist options",
            persist_options_status.ToString());
      }
610 611 612
      ROCKS_LOG_WARN(immutable_db_options_.info_log,
                     "Unable to persist options in SetDBOptions() -- %s",
                     persist_options_status.ToString().c_str());
613 614
    }
  } else {
615
    ROCKS_LOG_WARN(immutable_db_options_.info_log, "SetDBOptions failed");
L
Lei Jin 已提交
616
  }
617
  LogFlush(immutable_db_options_.info_log);
618
  return s;
I
Igor Canadi 已提交
619
#endif  // ROCKSDB_LITE
620 621
}

622
// return the same level if it cannot be moved
623 624
int DBImpl::FindMinimumEmptyLevelFitting(ColumnFamilyData* cfd,
    const MutableCFOptions& mutable_cf_options, int level) {
625
  mutex_.AssertHeld();
S
sdong 已提交
626
  const auto* vstorage = cfd->current()->storage_info();
627
  int minimum_level = level;
628
  for (int i = level - 1; i > 0; --i) {
629
    // stop if level i is not empty
S
sdong 已提交
630
    if (vstorage->NumLevelFiles(i) > 0) break;
631
    // stop if level i is too small (cannot fit the level files)
632
    if (vstorage->MaxBytesForLevel(i) < vstorage->NumLevelBytes(level)) {
633 634
      break;
    }
635 636 637 638 639 640

    minimum_level = i;
  }
  return minimum_level;
}

641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661
Status DBImpl::SyncWAL() {
  autovector<log::Writer*, 1> logs_to_sync;
  bool need_log_dir_sync;
  uint64_t current_log_number;

  {
    InstrumentedMutexLock l(&mutex_);
    assert(!logs_.empty());

    // This SyncWAL() call only cares about logs up to this number.
    current_log_number = logfile_number_;

    while (logs_.front().number <= current_log_number &&
           logs_.front().getting_synced) {
      log_sync_cv_.Wait();
    }
    // First check that logs are safe to sync in background.
    for (auto it = logs_.begin();
         it != logs_.end() && it->number <= current_log_number; ++it) {
      if (!it->writer->file()->writable_file()->IsSyncThreadSafe()) {
        return Status::NotSupported(
662 663 664 665
            "SyncWAL() is not supported for this implementation of WAL file",
            immutable_db_options_.allow_mmap_writes
                ? "try setting Options::allow_mmap_writes to false"
                : Slice());
666 667 668 669 670
      }
    }
    for (auto it = logs_.begin();
         it != logs_.end() && it->number <= current_log_number; ++it) {
      auto& log = *it;
S
Siying Dong 已提交
671 672 673 674
      assert(!log.getting_synced);
      log.getting_synced = true;
      logs_to_sync.push_back(log.writer);
    }
675

S
Siying Dong 已提交
676
    need_log_dir_sync = !log_dir_synced_;
677 678
  }

S
Siying Dong 已提交
679 680 681 682 683 684 685 686 687 688
  RecordTick(stats_, WAL_FILE_SYNCED);
  Status status;
  for (log::Writer* log : logs_to_sync) {
    status = log->file()->SyncWithoutFlush(immutable_db_options_.use_fsync);
    if (!status.ok()) {
      break;
    }
  }
  if (status.ok() && need_log_dir_sync) {
    status = directories_.GetWalDir()->Fsync();
689 690
  }

S
Siying Dong 已提交
691 692 693 694 695 696
  TEST_SYNC_POINT("DBImpl::SyncWAL:BeforeMarkLogsSynced:1");
  {
    InstrumentedMutexLock l(&mutex_);
    MarkLogsSynced(current_log_number, need_log_dir_sync, status);
  }
  TEST_SYNC_POINT("DBImpl::SyncWAL:BeforeMarkLogsSynced:2");
697

S
Siying Dong 已提交
698
  return status;
699 700
}

S
Siying Dong 已提交
701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722
void DBImpl::MarkLogsSynced(
    uint64_t up_to, bool synced_dir, const Status& status) {
  mutex_.AssertHeld();
  if (synced_dir &&
      logfile_number_ == up_to &&
      status.ok()) {
    log_dir_synced_ = true;
  }
  for (auto it = logs_.begin(); it != logs_.end() && it->number <= up_to;) {
    auto& log = *it;
    assert(log.getting_synced);
    if (status.ok() && logs_.size() > 1) {
      logs_to_free_.push_back(log.ReleaseWriter());
      it = logs_.erase(it);
    } else {
      log.getting_synced = false;
      ++it;
    }
  }
  assert(!status.ok() || logs_.empty() || logs_[0].number > up_to ||
         (logs_.size() == 1 && !logs_[0].getting_synced));
  log_sync_cv_.SignalAll();
723 724
}

S
Siying Dong 已提交
725 726
SequenceNumber DBImpl::GetLatestSequenceNumber() const {
  return versions_->LastSequence();
727 728
}

S
Siying Dong 已提交
729 730 731 732 733 734 735 736 737
InternalIterator* DBImpl::NewInternalIterator(
    Arena* arena, RangeDelAggregator* range_del_agg,
    ColumnFamilyHandle* column_family) {
  ColumnFamilyData* cfd;
  if (column_family == nullptr) {
    cfd = default_cf_handle_->cfd();
  } else {
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
    cfd = cfh->cfd();
738
  }
739

S
Siying Dong 已提交
740 741 742 743 744 745 746
  mutex_.Lock();
  SuperVersion* super_version = cfd->GetSuperVersion()->Ref();
  mutex_.Unlock();
  ReadOptions roptions;
  return NewInternalIterator(roptions, cfd, super_version, arena,
                             range_del_agg);
}
I
Islam AbdelRahman 已提交
747

S
Siying Dong 已提交
748 749 750
void DBImpl::SchedulePurge() {
  mutex_.AssertHeld();
  assert(opened_successfully_);
I
Islam AbdelRahman 已提交
751

S
Siying Dong 已提交
752 753 754
  // Purge operations are put into High priority queue
  bg_purge_scheduled_++;
  env_->Schedule(&DBImpl::BGWorkPurge, this, Env::Priority::HIGH, nullptr);
I
Islam AbdelRahman 已提交
755 756
}

757 758 759
void DBImpl::BackgroundCallPurge() {
  mutex_.Lock();

760 761 762 763 764 765 766 767 768 769 770 771
  // We use one single loop to clear both queues so that after existing the loop
  // both queues are empty. This is stricter than what is needed, but can make
  // it easier for us to reason the correctness.
  while (!purge_queue_.empty() || !logs_to_free_queue_.empty()) {
    if (!purge_queue_.empty()) {
      auto purge_file = purge_queue_.begin();
      auto fname = purge_file->fname;
      auto type = purge_file->type;
      auto number = purge_file->number;
      auto path_id = purge_file->path_id;
      auto job_id = purge_file->job_id;
      purge_queue_.pop_front();
772

773 774 775 776 777 778 779 780 781 782 783 784 785
      mutex_.Unlock();
      Status file_deletion_status;
      DeleteObsoleteFileImpl(file_deletion_status, job_id, fname, type, number,
                             path_id);
      mutex_.Lock();
    } else {
      assert(!logs_to_free_queue_.empty());
      log::Writer* log_writer = *(logs_to_free_queue_.begin());
      logs_to_free_queue_.pop_front();
      mutex_.Unlock();
      delete log_writer;
      mutex_.Lock();
    }
786 787 788 789 790 791 792 793 794 795 796
  }
  bg_purge_scheduled_--;

  bg_cv_.SignalAll();
  // IMPORTANT:there should be no code after calling SignalAll. This call may
  // signal the DB destructor that it's OK to proceed with destruction. In
  // that case, all DB variables will be dealloacated and referencing them
  // will cause trouble.
  mutex_.Unlock();
}

797 798
namespace {
struct IterState {
799
  IterState(DBImpl* _db, InstrumentedMutex* _mu, SuperVersion* _super_version,
800
            bool _background_purge)
801 802 803
      : db(_db),
        mu(_mu),
        super_version(_super_version),
804
        background_purge(_background_purge) {}
805 806

  DBImpl* db;
807
  InstrumentedMutex* mu;
808
  SuperVersion* super_version;
809
  bool background_purge;
810 811 812 813
};

static void CleanupIteratorState(void* arg1, void* arg2) {
  IterState* state = reinterpret_cast<IterState*>(arg1);
814

815
  if (state->super_version->Unref()) {
816 817 818
    // Job id == 0 means that this is not our background process, but rather
    // user thread
    JobContext job_context(0);
819

820 821
    state->mu->Lock();
    state->super_version->Cleanup();
I
Igor Canadi 已提交
822
    state->db->FindObsoleteFiles(&job_context, false, true);
823 824 825
    if (state->background_purge) {
      state->db->ScheduleBgLogWriterClose(&job_context);
    }
826 827 828
    state->mu->Unlock();

    delete state->super_version;
I
Igor Canadi 已提交
829
    if (job_context.HaveSomethingToDelete()) {
830
      if (state->background_purge) {
831 832 833 834 835 836 837 838 839 840
        // PurgeObsoleteFiles here does not delete files. Instead, it adds the
        // files to be deleted to a job queue, and deletes it in a separate
        // background thread.
        state->db->PurgeObsoleteFiles(job_context, true /* schedule only */);
        state->mu->Lock();
        state->db->SchedulePurge();
        state->mu->Unlock();
      } else {
        state->db->PurgeObsoleteFiles(job_context);
      }
841
    }
I
Igor Canadi 已提交
842
    job_context.Clean();
I
Igor Canadi 已提交
843
  }
T
Tomislav Novak 已提交
844

845 846
  delete state;
}
H
Hans Wennborg 已提交
847
}  // namespace
848

A
Andrew Kryczka 已提交
849 850 851 852
InternalIterator* DBImpl::NewInternalIterator(
    const ReadOptions& read_options, ColumnFamilyData* cfd,
    SuperVersion* super_version, Arena* arena,
    RangeDelAggregator* range_del_agg) {
S
sdong 已提交
853
  InternalIterator* internal_iter;
854
  assert(arena != nullptr);
A
Andrew Kryczka 已提交
855
  assert(range_del_agg != nullptr);
856
  // Need to create internal iterator from the arena.
857 858 859 860
  MergeIteratorBuilder merge_iter_builder(
      &cfd->internal_comparator(), arena,
      !read_options.total_order_seek &&
          cfd->ioptions()->prefix_extractor != nullptr);
861 862
  // Collect iterator for mutable mem
  merge_iter_builder.AddIterator(
L
Lei Jin 已提交
863
      super_version->mem->NewIterator(read_options, arena));
864
  std::unique_ptr<InternalIterator> range_del_iter;
A
Andrew Kryczka 已提交
865 866
  Status s;
  if (!read_options.ignore_range_deletions) {
867 868
    range_del_iter.reset(
        super_version->mem->NewRangeTombstoneIterator(read_options));
A
Andrew Kryczka 已提交
869 870
    s = range_del_agg->AddTombstones(std::move(range_del_iter));
  }
871
  // Collect all needed child iterators for immutable memtables
A
Andrew Kryczka 已提交
872 873 874 875 876 877 878 879 880
  if (s.ok()) {
    super_version->imm->AddIterators(read_options, &merge_iter_builder);
    if (!read_options.ignore_range_deletions) {
      s = super_version->imm->AddRangeTombstoneIterators(read_options, arena,
                                                         range_del_agg);
    }
  }
  if (s.ok()) {
    // Collect iterators for files in L0 - Ln
S
Sagar Vemuri 已提交
881 882 883 884
    if (read_options.read_tier != kMemtableTier) {
      super_version->current->AddIterators(read_options, env_options_,
                                           &merge_iter_builder, range_del_agg);
    }
A
Andrew Kryczka 已提交
885 886 887 888 889 890 891 892 893
    internal_iter = merge_iter_builder.Finish();
    IterState* cleanup =
        new IterState(this, &mutex_, super_version,
                      read_options.background_purge_on_iterator_cleanup);
    internal_iter->RegisterCleanup(CleanupIteratorState, cleanup, nullptr);

    return internal_iter;
  }
  return NewErrorInternalIterator(s);
J
jorlow@chromium.org 已提交
894 895
}

896 897 898 899
ColumnFamilyHandle* DBImpl::DefaultColumnFamily() const {
  return default_cf_handle_;
}

L
Lei Jin 已提交
900
Status DBImpl::Get(const ReadOptions& read_options,
S
Siying Dong 已提交
901 902 903
                   ColumnFamilyHandle* column_family, const Slice& key,
                   PinnableSlice* value) {
  return GetImpl(read_options, column_family, key, value);
L
Lei Jin 已提交
904 905 906
}

Status DBImpl::GetImpl(const ReadOptions& read_options,
907
                       ColumnFamilyHandle* column_family, const Slice& key,
M
Maysam Yabandeh 已提交
908 909
                       PinnableSlice* pinnable_val, bool* value_found) {
  assert(pinnable_val != nullptr);
L
Lei Jin 已提交
910
  StopWatch sw(env_, stats_, DB_GET);
911
  PERF_TIMER_GUARD(get_snapshot_time);
912

913 914 915
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();

916 917 918 919 920 921
  // Acquire SuperVersion
  SuperVersion* sv = GetAndRefSuperVersion(cfd);

  TEST_SYNC_POINT("DBImpl::GetImpl:1");
  TEST_SYNC_POINT("DBImpl::GetImpl:2");

922
  SequenceNumber snapshot;
L
Lei Jin 已提交
923 924 925
  if (read_options.snapshot != nullptr) {
    snapshot = reinterpret_cast<const SnapshotImpl*>(
        read_options.snapshot)->number_;
926
  } else {
927 928 929 930 931 932 933 934 935 936
    // Since we get and reference the super version before getting
    // the snapshot number, without a mutex protection, it is possible
    // that a memtable switch happened in the middle and not all the
    // data for this snapshot is available. But it will contain all
    // the data available in the super version we have, which is also
    // a valid snapshot to read from.
    // We shouldn't get snapshot before finding and referencing the
    // super versipon because a flush happening in between may compact
    // away data for the snapshot, but the snapshot is earlier than the
    // data overwriting it, so users may see wrong results.
937
    snapshot = versions_->LastSequence();
J
jorlow@chromium.org 已提交
938
  }
939 940
  TEST_SYNC_POINT("DBImpl::GetImpl:3");
  TEST_SYNC_POINT("DBImpl::GetImpl:4");
941

942
  // Prepare to store a list of merge operations if merge occurs.
943
  MergeContext merge_context;
944
  RangeDelAggregator range_del_agg(cfd->internal_comparator(), snapshot);
945

946
  Status s;
947
  // First look in the memtable, then in the immutable memtable (if any).
948
  // s is both in/out. When in, s could either be OK or MergeInProgress.
949
  // merge_operands will contain the sequence of merges in the latter case.
950
  LookupKey lkey(key, snapshot);
L
Lei Jin 已提交
951
  PERF_TIMER_STOP(get_snapshot_time);
952

953 954
  bool skip_memtable = (read_options.read_tier == kPersistedTier &&
                        has_unpersisted_data_.load(std::memory_order_relaxed));
955 956
  bool done = false;
  if (!skip_memtable) {
M
Maysam Yabandeh 已提交
957 958
    if (sv->mem->Get(lkey, pinnable_val->GetSelf(), &s, &merge_context,
                     &range_del_agg, read_options)) {
959
      done = true;
M
Maysam Yabandeh 已提交
960
      pinnable_val->PinSelf();
961
      RecordTick(stats_, MEMTABLE_HIT);
A
Andrew Kryczka 已提交
962
    } else if ((s.ok() || s.IsMergeInProgress()) &&
M
Maysam Yabandeh 已提交
963 964
               sv->imm->Get(lkey, pinnable_val->GetSelf(), &s, &merge_context,
                            &range_del_agg, read_options)) {
965
      done = true;
M
Maysam Yabandeh 已提交
966
      pinnable_val->PinSelf();
967 968
      RecordTick(stats_, MEMTABLE_HIT);
    }
A
Andrew Kryczka 已提交
969 970 971
    if (!done && !s.ok() && !s.IsMergeInProgress()) {
      return s;
    }
972 973
  }
  if (!done) {
974
    PERF_TIMER_GUARD(get_from_output_files_time);
M
Maysam Yabandeh 已提交
975
    sv->current->Get(read_options, lkey, pinnable_val, &s, &merge_context,
A
Andrew Kryczka 已提交
976
                     &range_del_agg, value_found);
L
Lei Jin 已提交
977
    RecordTick(stats_, MEMTABLE_MISS);
978
  }
979

980 981
  {
    PERF_TIMER_GUARD(get_post_process_time);
982

983
    ReturnAndCleanupSuperVersion(cfd, sv);
984

985
    RecordTick(stats_, NUMBER_KEYS_READ);
M
Maysam Yabandeh 已提交
986 987 988
    size_t size = pinnable_val->size();
    RecordTick(stats_, BYTES_READ, size);
    MeasureTime(stats_, BYTES_PER_READ, size);
989
  }
990
  return s;
J
jorlow@chromium.org 已提交
991 992
}

993
std::vector<Status> DBImpl::MultiGet(
L
Lei Jin 已提交
994
    const ReadOptions& read_options,
995
    const std::vector<ColumnFamilyHandle*>& column_family,
996
    const std::vector<Slice>& keys, std::vector<std::string>* values) {
997

L
Lei Jin 已提交
998
  StopWatch sw(env_, stats_, DB_MULTIGET);
999
  PERF_TIMER_GUARD(get_snapshot_time);
K
Kai Liu 已提交
1000

1001
  SequenceNumber snapshot;
1002

1003
  struct MultiGetColumnFamilyData {
I
Igor Canadi 已提交
1004
    ColumnFamilyData* cfd;
1005 1006 1007 1008 1009
    SuperVersion* super_version;
  };
  std::unordered_map<uint32_t, MultiGetColumnFamilyData*> multiget_cf_data;
  // fill up and allocate outside of mutex
  for (auto cf : column_family) {
1010 1011 1012 1013 1014 1015
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(cf);
    auto cfd = cfh->cfd();
    if (multiget_cf_data.find(cfd->GetID()) == multiget_cf_data.end()) {
      auto mgcfd = new MultiGetColumnFamilyData();
      mgcfd->cfd = cfd;
      multiget_cf_data.insert({cfd->GetID(), mgcfd});
1016 1017 1018
    }
  }

1019
  mutex_.Lock();
L
Lei Jin 已提交
1020 1021 1022
  if (read_options.snapshot != nullptr) {
    snapshot = reinterpret_cast<const SnapshotImpl*>(
        read_options.snapshot)->number_;
1023 1024 1025
  } else {
    snapshot = versions_->LastSequence();
  }
1026
  for (auto mgd_iter : multiget_cf_data) {
1027 1028
    mgd_iter.second->super_version =
        mgd_iter.second->cfd->GetSuperVersion()->Ref();
1029
  }
1030
  mutex_.Unlock();
1031

1032 1033
  // Contain a list of merge operations if merge occurs.
  MergeContext merge_context;
1034

1035
  // Note: this always resizes the values array
1036 1037 1038
  size_t num_keys = keys.size();
  std::vector<Status> stat_list(num_keys);
  values->resize(num_keys);
1039 1040

  // Keep track of bytes that we read for statistics-recording later
1041
  uint64_t bytes_read = 0;
L
Lei Jin 已提交
1042
  PERF_TIMER_STOP(get_snapshot_time);
1043 1044 1045 1046

  // For each of the given keys, apply the entire "get" process as follows:
  // First look in the memtable, then in the immutable memtable (if any).
  // s is both in/out. When in, s could either be OK or MergeInProgress.
1047
  // merge_operands will contain the sequence of merges in the latter case.
1048
  for (size_t i = 0; i < num_keys; ++i) {
1049
    merge_context.Clear();
1050
    Status& s = stat_list[i];
1051 1052 1053
    std::string* value = &(*values)[i];

    LookupKey lkey(keys[i], snapshot);
1054
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family[i]);
A
Andrew Kryczka 已提交
1055
    RangeDelAggregator range_del_agg(cfh->cfd()->internal_comparator(),
1056
                                     snapshot);
1057
    auto mgd_iter = multiget_cf_data.find(cfh->cfd()->GetID());
1058 1059 1060
    assert(mgd_iter != multiget_cf_data.end());
    auto mgd = mgd_iter->second;
    auto super_version = mgd->super_version;
1061
    bool skip_memtable =
1062 1063
        (read_options.read_tier == kPersistedTier &&
         has_unpersisted_data_.load(std::memory_order_relaxed));
1064 1065
    bool done = false;
    if (!skip_memtable) {
M
Maysam Yabandeh 已提交
1066
      if (super_version->mem->Get(lkey, value, &s, &merge_context,
A
Andrew Kryczka 已提交
1067
                                  &range_del_agg, read_options)) {
1068 1069
        done = true;
        // TODO(?): RecordTick(stats_, MEMTABLE_HIT)?
M
Maysam Yabandeh 已提交
1070
      } else if (super_version->imm->Get(lkey, value, &s, &merge_context,
A
Andrew Kryczka 已提交
1071
                                         &range_del_agg, read_options)) {
1072 1073 1074 1075 1076
        done = true;
        // TODO(?): RecordTick(stats_, MEMTABLE_HIT)?
      }
    }
    if (!done) {
M
Maysam Yabandeh 已提交
1077
      PinnableSlice pinnable_val;
1078
      PERF_TIMER_GUARD(get_from_output_files_time);
M
Maysam Yabandeh 已提交
1079 1080 1081
      super_version->current->Get(read_options, lkey, &pinnable_val, &s,
                                  &merge_context, &range_del_agg);
      value->assign(pinnable_val.data(), pinnable_val.size());
1082
      // TODO(?): RecordTick(stats_, MEMTABLE_MISS)?
1083 1084 1085
    }

    if (s.ok()) {
M
Maysam Yabandeh 已提交
1086
      bytes_read += value->size();
1087 1088 1089 1090
    }
  }

  // Post processing (decrement reference counts and record statistics)
1091
  PERF_TIMER_GUARD(get_post_process_time);
1092 1093
  autovector<SuperVersion*> superversions_to_delete;

I
Igor Canadi 已提交
1094
  // TODO(icanadi) do we need lock here or just around Cleanup()?
1095 1096 1097 1098 1099 1100
  mutex_.Lock();
  for (auto mgd_iter : multiget_cf_data) {
    auto mgd = mgd_iter.second;
    if (mgd->super_version->Unref()) {
      mgd->super_version->Cleanup();
      superversions_to_delete.push_back(mgd->super_version);
1101 1102
    }
  }
1103 1104 1105 1106 1107 1108 1109
  mutex_.Unlock();

  for (auto td : superversions_to_delete) {
    delete td;
  }
  for (auto mgd : multiget_cf_data) {
    delete mgd.second;
1110
  }
1111

L
Lei Jin 已提交
1112 1113 1114
  RecordTick(stats_, NUMBER_MULTIGET_CALLS);
  RecordTick(stats_, NUMBER_MULTIGET_KEYS_READ, num_keys);
  RecordTick(stats_, NUMBER_MULTIGET_BYTES_READ, bytes_read);
1115
  MeasureTime(stats_, BYTES_PER_MULTIGET, bytes_read);
L
Lei Jin 已提交
1116
  PERF_TIMER_STOP(get_post_process_time);
1117

1118
  return stat_list;
1119 1120
}

L
Lei Jin 已提交
1121
Status DBImpl::CreateColumnFamily(const ColumnFamilyOptions& cf_options,
Y
Yi Wu 已提交
1122
                                  const std::string& column_family,
1123
                                  ColumnFamilyHandle** handle) {
Y
Yi Wu 已提交
1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191
  assert(handle != nullptr);
  Status s = CreateColumnFamilyImpl(cf_options, column_family, handle);
  if (s.ok()) {
    s = WriteOptionsFile(true /*need_mutex_lock*/,
                         true /*need_enter_write_thread*/);
  }
  return s;
}

Status DBImpl::CreateColumnFamilies(
    const ColumnFamilyOptions& cf_options,
    const std::vector<std::string>& column_family_names,
    std::vector<ColumnFamilyHandle*>* handles) {
  assert(handles != nullptr);
  handles->clear();
  size_t num_cf = column_family_names.size();
  Status s;
  bool success_once = false;
  for (size_t i = 0; i < num_cf; i++) {
    ColumnFamilyHandle* handle;
    s = CreateColumnFamilyImpl(cf_options, column_family_names[i], &handle);
    if (!s.ok()) {
      break;
    }
    handles->push_back(handle);
    success_once = true;
  }
  if (success_once) {
    Status persist_options_status = WriteOptionsFile(
        true /*need_mutex_lock*/, true /*need_enter_write_thread*/);
    if (s.ok() && !persist_options_status.ok()) {
      s = persist_options_status;
    }
  }
  return s;
}

Status DBImpl::CreateColumnFamilies(
    const std::vector<ColumnFamilyDescriptor>& column_families,
    std::vector<ColumnFamilyHandle*>* handles) {
  assert(handles != nullptr);
  handles->clear();
  size_t num_cf = column_families.size();
  Status s;
  bool success_once = false;
  for (size_t i = 0; i < num_cf; i++) {
    ColumnFamilyHandle* handle;
    s = CreateColumnFamilyImpl(column_families[i].options,
                               column_families[i].name, &handle);
    if (!s.ok()) {
      break;
    }
    handles->push_back(handle);
    success_once = true;
  }
  if (success_once) {
    Status persist_options_status = WriteOptionsFile(
        true /*need_mutex_lock*/, true /*need_enter_write_thread*/);
    if (s.ok() && !persist_options_status.ok()) {
      s = persist_options_status;
    }
  }
  return s;
}

Status DBImpl::CreateColumnFamilyImpl(const ColumnFamilyOptions& cf_options,
                                      const std::string& column_family_name,
                                      ColumnFamilyHandle** handle) {
Y
Yueh-Hsuan Chiang 已提交
1192
  Status s;
1193
  Status persist_options_status;
I
Igor Canadi 已提交
1194
  *handle = nullptr;
1195 1196

  s = CheckCompressionSupported(cf_options);
1197
  if (s.ok() && immutable_db_options_.allow_concurrent_memtable_write) {
1198 1199
    s = CheckConcurrentWritesSupported(cf_options);
  }
1200 1201 1202 1203
  if (!s.ok()) {
    return s;
  }

Y
Yueh-Hsuan Chiang 已提交
1204
  {
1205
    InstrumentedMutexLock l(&mutex_);
I
Igor Canadi 已提交
1206

Y
Yueh-Hsuan Chiang 已提交
1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219
    if (versions_->GetColumnFamilySet()->GetColumnFamily(column_family_name) !=
        nullptr) {
      return Status::InvalidArgument("Column family already exists");
    }
    VersionEdit edit;
    edit.AddColumnFamily(column_family_name);
    uint32_t new_id = versions_->GetColumnFamilySet()->GetNextColumnFamilyID();
    edit.SetColumnFamily(new_id);
    edit.SetLogNumber(logfile_number_);
    edit.SetComparatorName(cf_options.comparator->Name());

    // LogAndApply will both write the creation in MANIFEST and create
    // ColumnFamilyData object
I
Igor Canadi 已提交
1220
    {  // write thread
1221 1222
      WriteThread::Writer w;
      write_thread_.EnterUnbatched(&w, &mutex_);
I
Igor Canadi 已提交
1223 1224
      // LogAndApply will both write the creation in MANIFEST and create
      // ColumnFamilyData object
1225 1226 1227
      s = versions_->LogAndApply(nullptr, MutableCFOptions(cf_options), &edit,
                                 &mutex_, directories_.GetDbDir(), false,
                                 &cf_options);
1228
      write_thread_.ExitUnbatched(&w);
I
Igor Canadi 已提交
1229
    }
Y
Yueh-Hsuan Chiang 已提交
1230 1231 1232 1233 1234
    if (s.ok()) {
      single_column_family_mode_ = false;
      auto* cfd =
          versions_->GetColumnFamilySet()->GetColumnFamily(column_family_name);
      assert(cfd != nullptr);
I
Igor Canadi 已提交
1235
      delete InstallSuperVersionAndScheduleWork(
Y
Yueh-Hsuan Chiang 已提交
1236
          cfd, nullptr, *cfd->GetLatestMutableCFOptions());
S
sdong 已提交
1237 1238 1239 1240 1241

      if (!cfd->mem()->IsSnapshotSupported()) {
        is_snapshot_supported_ = false;
      }

Y
Yueh-Hsuan Chiang 已提交
1242
      *handle = new ColumnFamilyHandleImpl(cfd, this, &mutex_);
1243 1244 1245
      ROCKS_LOG_INFO(immutable_db_options_.info_log,
                     "Created column family [%s] (ID %u)",
                     column_family_name.c_str(), (unsigned)cfd->GetID());
Y
Yueh-Hsuan Chiang 已提交
1246
    } else {
1247 1248 1249
      ROCKS_LOG_ERROR(immutable_db_options_.info_log,
                      "Creating column family [%s] FAILED -- %s",
                      column_family_name.c_str(), s.ToString().c_str());
Y
Yueh-Hsuan Chiang 已提交
1250
    }
1251
  }  // InstrumentedMutexLock l(&mutex_)
Y
Yueh-Hsuan Chiang 已提交
1252 1253

  // this is outside the mutex
1254
  if (s.ok()) {
1255 1256
    NewThreadStatusCfInfo(
        reinterpret_cast<ColumnFamilyHandleImpl*>(*handle)->cfd());
1257
  }
1258
  return s;
1259 1260
}

1261
Status DBImpl::DropColumnFamily(ColumnFamilyHandle* column_family) {
Y
Yi Wu 已提交
1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292
  assert(column_family != nullptr);
  Status s = DropColumnFamilyImpl(column_family);
  if (s.ok()) {
    s = WriteOptionsFile(true /*need_mutex_lock*/,
                         true /*need_enter_write_thread*/);
  }
  return s;
}

Status DBImpl::DropColumnFamilies(
    const std::vector<ColumnFamilyHandle*>& column_families) {
  Status s;
  bool success_once = false;
  for (auto* handle : column_families) {
    s = DropColumnFamilyImpl(handle);
    if (!s.ok()) {
      break;
    }
    success_once = true;
  }
  if (success_once) {
    Status persist_options_status = WriteOptionsFile(
        true /*need_mutex_lock*/, true /*need_enter_write_thread*/);
    if (s.ok() && !persist_options_status.ok()) {
      s = persist_options_status;
    }
  }
  return s;
}

Status DBImpl::DropColumnFamilyImpl(ColumnFamilyHandle* column_family) {
1293 1294 1295
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
  if (cfd->GetID() == 0) {
1296 1297
    return Status::InvalidArgument("Can't drop default column family");
  }
1298

S
sdong 已提交
1299 1300
  bool cf_support_snapshot = cfd->mem()->IsSnapshotSupported();

I
Igor Canadi 已提交
1301 1302
  VersionEdit edit;
  edit.DropColumnFamily();
1303 1304
  edit.SetColumnFamily(cfd->GetID());

1305
  Status s;
1306
  {
1307
    InstrumentedMutexLock l(&mutex_);
1308 1309 1310 1311
    if (cfd->IsDropped()) {
      s = Status::InvalidArgument("Column family already dropped!\n");
    }
    if (s.ok()) {
1312
      // we drop column family from a single write thread
1313 1314
      WriteThread::Writer w;
      write_thread_.EnterUnbatched(&w, &mutex_);
1315 1316
      s = versions_->LogAndApply(cfd, *cfd->GetLatestMutableCFOptions(),
                                 &edit, &mutex_);
1317
      write_thread_.ExitUnbatched(&w);
1318
    }
S
sdong 已提交
1319 1320 1321 1322 1323 1324

    if (!cf_support_snapshot) {
      // Dropped Column Family doesn't support snapshot. Need to recalculate
      // is_snapshot_supported_.
      bool new_is_snapshot_supported = true;
      for (auto c : *versions_->GetColumnFamilySet()) {
1325
        if (!c->IsDropped() && !c->mem()->IsSnapshotSupported()) {
S
sdong 已提交
1326 1327 1328 1329 1330 1331
          new_is_snapshot_supported = false;
          break;
        }
      }
      is_snapshot_supported_ = new_is_snapshot_supported;
    }
1332
  }
1333

1334
  if (s.ok()) {
Y
Yueh-Hsuan Chiang 已提交
1335 1336 1337 1338
    // Note that here we erase the associated cf_info of the to-be-dropped
    // cfd before its ref-count goes to zero to avoid having to erase cf_info
    // later inside db_mutex.
    EraseThreadStatusCfInfo(cfd);
I
Igor Canadi 已提交
1339
    assert(cfd->IsDropped());
L
Lei Jin 已提交
1340 1341 1342
    auto* mutable_cf_options = cfd->GetLatestMutableCFOptions();
    max_total_in_memory_state_ -= mutable_cf_options->write_buffer_size *
                                  mutable_cf_options->max_write_buffer_number;
1343 1344
    ROCKS_LOG_INFO(immutable_db_options_.info_log,
                   "Dropped column family with id %u\n", cfd->GetID());
1345
  } else {
1346 1347 1348
    ROCKS_LOG_ERROR(immutable_db_options_.info_log,
                    "Dropping column family with id %u FAILED -- %s\n",
                    cfd->GetID(), s.ToString().c_str());
1349 1350
  }

1351
  return s;
1352 1353
}

L
Lei Jin 已提交
1354
bool DBImpl::KeyMayExist(const ReadOptions& read_options,
1355 1356
                         ColumnFamilyHandle* column_family, const Slice& key,
                         std::string* value, bool* value_found) {
M
Maysam Yabandeh 已提交
1357
  assert(value != nullptr);
1358
  if (value_found != nullptr) {
K
Kai Liu 已提交
1359 1360
    // falsify later if key-may-exist but can't fetch value
    *value_found = true;
1361
  }
L
Lei Jin 已提交
1362
  ReadOptions roptions = read_options;
1363
  roptions.read_tier = kBlockCacheTier; // read from block cache only
M
Maysam Yabandeh 已提交
1364 1365 1366
  PinnableSlice pinnable_val;
  auto s = GetImpl(roptions, column_family, key, &pinnable_val, value_found);
  value->assign(pinnable_val.data(), pinnable_val.size());
K
Kai Liu 已提交
1367

1368
  // If block_cache is enabled and the index block of the table didn't
K
Kai Liu 已提交
1369 1370 1371
  // not present in block_cache, the return value will be Status::Incomplete.
  // In this case, key may still exist in the table.
  return s.ok() || s.IsIncomplete();
1372 1373
}

1374
Iterator* DBImpl::NewIterator(const ReadOptions& read_options,
1375
                              ColumnFamilyHandle* column_family) {
1376 1377 1378 1379
  if (read_options.read_tier == kPersistedTier) {
    return NewErrorIterator(Status::NotSupported(
        "ReadTier::kPersistedData is not yet supported in iterators."));
  }
1380 1381
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
V
Venkatesh Radhakrishnan 已提交
1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396
  if (read_options.managed) {
#ifdef ROCKSDB_LITE
    // not supported in lite version
    return NewErrorIterator(Status::InvalidArgument(
        "Managed Iterators not supported in RocksDBLite."));
#else
    if ((read_options.tailing) || (read_options.snapshot != nullptr) ||
        (is_snapshot_supported_)) {
      return new ManagedIterator(this, read_options, cfd);
    }
    // Managed iter not supported
    return NewErrorIterator(Status::InvalidArgument(
        "Managed Iterators not supported without snapshots."));
#endif
  } else if (read_options.tailing) {
I
Igor Canadi 已提交
1397 1398 1399 1400
#ifdef ROCKSDB_LITE
    // not supported in lite version
    return nullptr;
#else
1401 1402
    SuperVersion* sv = cfd->GetReferencedSuperVersion(&mutex_);
    auto iter = new ForwardIterator(this, read_options, cfd, sv);
1403
    return NewDBIterator(
1404
        env_, read_options, *cfd->ioptions(), cfd->user_comparator(), iter,
1405 1406
        kMaxSequenceNumber,
        sv->mutable_cf_options.max_sequential_skip_in_iterations,
1407
        sv->version_number);
I
Igor Canadi 已提交
1408
#endif
T
Tomislav Novak 已提交
1409
  } else {
1410
    SequenceNumber latest_snapshot = versions_->LastSequence();
1411
    SuperVersion* sv = cfd->GetReferencedSuperVersion(&mutex_);
1412

I
Igor Canadi 已提交
1413
    auto snapshot =
1414 1415 1416
        read_options.snapshot != nullptr
            ? reinterpret_cast<const SnapshotImpl*>(
                read_options.snapshot)->number_
I
Igor Canadi 已提交
1417
            : latest_snapshot;
T
Tomislav Novak 已提交
1418

1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454
    // Try to generate a DB iterator tree in continuous memory area to be
    // cache friendly. Here is an example of result:
    // +-------------------------------+
    // |                               |
    // | ArenaWrappedDBIter            |
    // |  +                            |
    // |  +---> Inner Iterator   ------------+
    // |  |                            |     |
    // |  |    +-- -- -- -- -- -- -- --+     |
    // |  +--- | Arena                 |     |
    // |       |                       |     |
    // |          Allocated Memory:    |     |
    // |       |   +-------------------+     |
    // |       |   | DBIter            | <---+
    // |           |  +                |
    // |       |   |  +-> iter_  ------------+
    // |       |   |                   |     |
    // |       |   +-------------------+     |
    // |       |   | MergingIterator   | <---+
    // |           |  +                |
    // |       |   |  +->child iter1  ------------+
    // |       |   |  |                |          |
    // |           |  +->child iter2  ----------+ |
    // |       |   |  |                |        | |
    // |       |   |  +->child iter3  --------+ | |
    // |           |                   |      | | |
    // |       |   +-------------------+      | | |
    // |       |   | Iterator1         | <--------+
    // |       |   +-------------------+      | |
    // |       |   | Iterator2         | <------+
    // |       |   +-------------------+      |
    // |       |   | Iterator3         | <----+
    // |       |   +-------------------+
    // |       |                       |
    // +-------+-----------------------+
    //
1455 1456
    // ArenaWrappedDBIter inlines an arena area where all the iterators in
    // the iterator tree are allocated in the order of being accessed when
1457 1458 1459 1460 1461
    // querying.
    // Laying out the iterators in the order of being accessed makes it more
    // likely that any iterator pointer is close to the iterator it points to so
    // that they are likely to be in the same cache line and/or page.
    ArenaWrappedDBIter* db_iter = NewArenaWrappedDbIterator(
1462
        env_, read_options, *cfd->ioptions(), cfd->user_comparator(), snapshot,
S
Siying Dong 已提交
1463
        sv->mutable_cf_options.max_sequential_skip_in_iterations,
1464
        sv->version_number);
1465

S
Siying Dong 已提交
1466 1467 1468 1469
    InternalIterator* internal_iter =
        NewInternalIterator(read_options, cfd, sv, db_iter->GetArena(),
                            db_iter->GetRangeDelAggregator());
    db_iter->SetIterUnderDBIter(internal_iter);
1470

S
Siying Dong 已提交
1471
    return db_iter;
1472
  }
S
Siying Dong 已提交
1473 1474
  // To stop compiler from complaining
  return nullptr;
1475 1476
}

S
Siying Dong 已提交
1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495
Status DBImpl::NewIterators(
    const ReadOptions& read_options,
    const std::vector<ColumnFamilyHandle*>& column_families,
    std::vector<Iterator*>* iterators) {
  if (read_options.read_tier == kPersistedTier) {
    return Status::NotSupported(
        "ReadTier::kPersistedData is not yet supported in iterators.");
  }
  iterators->clear();
  iterators->reserve(column_families.size());
  if (read_options.managed) {
#ifdef ROCKSDB_LITE
    return Status::InvalidArgument(
        "Managed interator not supported in RocksDB lite");
#else
    if ((!read_options.tailing) && (read_options.snapshot == nullptr) &&
        (!is_snapshot_supported_)) {
      return Status::InvalidArgument(
          "Managed interator not supported without snapshots");
1496
    }
S
Siying Dong 已提交
1497 1498 1499 1500
    for (auto cfh : column_families) {
      auto cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(cfh)->cfd();
      auto iter = new ManagedIterator(this, read_options, cfd);
      iterators->push_back(iter);
1501
    }
S
Siying Dong 已提交
1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512
#endif
  } else if (read_options.tailing) {
#ifdef ROCKSDB_LITE
    return Status::InvalidArgument(
        "Tailing interator not supported in RocksDB lite");
#else
    for (auto cfh : column_families) {
      auto cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(cfh)->cfd();
      SuperVersion* sv = cfd->GetReferencedSuperVersion(&mutex_);
      auto iter = new ForwardIterator(this, read_options, cfd, sv);
      iterators->push_back(NewDBIterator(
1513
          env_, read_options, *cfd->ioptions(), cfd->user_comparator(), iter,
S
Siying Dong 已提交
1514 1515
          kMaxSequenceNumber,
          sv->mutable_cf_options.max_sequential_skip_in_iterations,
1516
          sv->version_number));
1517
    }
S
Siying Dong 已提交
1518 1519 1520
#endif
  } else {
    SequenceNumber latest_snapshot = versions_->LastSequence();
1521

S
Siying Dong 已提交
1522 1523 1524 1525
    for (size_t i = 0; i < column_families.size(); ++i) {
      auto* cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(
          column_families[i])->cfd();
      SuperVersion* sv = cfd->GetReferencedSuperVersion(&mutex_);
1526

S
Siying Dong 已提交
1527 1528 1529 1530 1531
      auto snapshot =
          read_options.snapshot != nullptr
              ? reinterpret_cast<const SnapshotImpl*>(
                  read_options.snapshot)->number_
              : latest_snapshot;
1532

S
Siying Dong 已提交
1533
      ArenaWrappedDBIter* db_iter = NewArenaWrappedDbIterator(
1534 1535 1536
          env_, read_options, *cfd->ioptions(), cfd->user_comparator(),
          snapshot, sv->mutable_cf_options.max_sequential_skip_in_iterations,
          sv->version_number);
S
Siying Dong 已提交
1537 1538 1539 1540 1541
      InternalIterator* internal_iter =
          NewInternalIterator(read_options, cfd, sv, db_iter->GetArena(),
                              db_iter->GetRangeDelAggregator());
      db_iter->SetIterUnderDBIter(internal_iter);
      iterators->push_back(db_iter);
1542 1543
    }
  }
1544

I
Igor Canadi 已提交
1545
  return Status::OK();
S
Stanislau Hlebik 已提交
1546 1547
}

S
Siying Dong 已提交
1548
const Snapshot* DBImpl::GetSnapshot() { return GetSnapshotImpl(false); }
1549

S
Siying Dong 已提交
1550 1551 1552
#ifndef ROCKSDB_LITE
const Snapshot* DBImpl::GetSnapshotForWriteConflictBoundary() {
  return GetSnapshotImpl(true);
1553 1554 1555
}
#endif  // ROCKSDB_LITE

S
Siying Dong 已提交
1556 1557 1558 1559 1560 1561 1562 1563 1564 1565
const Snapshot* DBImpl::GetSnapshotImpl(bool is_write_conflict_boundary) {
  int64_t unix_time = 0;
  env_->GetCurrentTime(&unix_time);  // Ignore error
  SnapshotImpl* s = new SnapshotImpl;

  InstrumentedMutexLock l(&mutex_);
  // returns null if the underlying memtable does not support snapshot.
  if (!is_snapshot_supported_) {
    delete s;
    return nullptr;
S
Sage Weil 已提交
1566
  }
S
Siying Dong 已提交
1567 1568 1569
  return snapshots_.New(s, versions_->LastSequence(), unix_time,
                        is_write_conflict_boundary);
}
1570

S
Siying Dong 已提交
1571 1572
void DBImpl::ReleaseSnapshot(const Snapshot* s) {
  const SnapshotImpl* casted_s = reinterpret_cast<const SnapshotImpl*>(s);
S
Stanislau Hlebik 已提交
1573
  {
S
Siying Dong 已提交
1574 1575
    InstrumentedMutexLock l(&mutex_);
    snapshots_.Delete(casted_s);
1576
  }
S
Siying Dong 已提交
1577
  delete casted_s;
1578 1579
}

A
Anirban Rahut 已提交
1580 1581 1582 1583 1584 1585 1586 1587
bool DBImpl::HasActiveSnapshotLaterThanSN(SequenceNumber sn) {
  InstrumentedMutexLock l(&mutex_);
  if (snapshots_.empty()) {
    return false;
  }
  return (snapshots_.newest()->GetSequenceNumber() > sn);
}

I
Igor Canadi 已提交
1588
#ifndef ROCKSDB_LITE
I
Igor Canadi 已提交
1589 1590 1591 1592 1593
Status DBImpl::GetPropertiesOfAllTables(ColumnFamilyHandle* column_family,
                                        TablePropertiesCollection* props) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();

1594 1595
  // Increment the ref count
  mutex_.Lock();
I
Igor Canadi 已提交
1596
  auto version = cfd->current();
1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608
  version->Ref();
  mutex_.Unlock();

  auto s = version->GetPropertiesOfAllTables(props);

  // Decrement the ref count
  mutex_.Lock();
  version->Unref();
  mutex_.Unlock();

  return s;
}
1609 1610

Status DBImpl::GetPropertiesOfTablesInRange(ColumnFamilyHandle* column_family,
1611
                                            const Range* range, std::size_t n,
1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631
                                            TablePropertiesCollection* props) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();

  // Increment the ref count
  mutex_.Lock();
  auto version = cfd->current();
  version->Ref();
  mutex_.Unlock();

  auto s = version->GetPropertiesOfTablesInRange(range, n, props);

  // Decrement the ref count
  mutex_.Lock();
  version->Unref();
  mutex_.Unlock();

  return s;
}

I
Igor Canadi 已提交
1632
#endif  // ROCKSDB_LITE
1633

I
Igor Canadi 已提交
1634 1635 1636 1637
const std::string& DBImpl::GetName() const {
  return dbname_;
}

1638 1639 1640 1641
Env* DBImpl::GetEnv() const {
  return env_;
}

1642 1643
Options DBImpl::GetOptions(ColumnFamilyHandle* column_family) const {
  InstrumentedMutexLock l(&mutex_);
1644
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
1645 1646
  return Options(BuildDBOptions(immutable_db_options_, mutable_db_options_),
                 cfh->cfd()->GetLatestCFOptions());
I
Igor Canadi 已提交
1647 1648
}

1649 1650 1651 1652
DBOptions DBImpl::GetDBOptions() const {
  InstrumentedMutexLock l(&mutex_);
  return BuildDBOptions(immutable_db_options_, mutable_db_options_);
}
1653

1654
bool DBImpl::GetProperty(ColumnFamilyHandle* column_family,
1655
                         const Slice& property, std::string* value) {
1656
  const DBPropertyInfo* property_info = GetPropertyInfo(property);
1657
  value->clear();
1658
  auto cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family)->cfd();
1659 1660 1661
  if (property_info == nullptr) {
    return false;
  } else if (property_info->handle_int) {
1662
    uint64_t int_value;
1663 1664
    bool ret_value =
        GetIntPropertyInternal(cfd, *property_info, false, &int_value);
1665
    if (ret_value) {
1666
      *value = ToString(int_value);
1667 1668
    }
    return ret_value;
1669
  } else if (property_info->handle_string) {
1670
    InstrumentedMutexLock l(&mutex_);
1671
    return cfd->internal_stats()->GetStringProperty(*property_info, property,
1672 1673
                                                    value);
  }
1674 1675 1676 1677
  // Shouldn't reach here since exactly one of handle_string and handle_int
  // should be non-nullptr.
  assert(false);
  return false;
J
jorlow@chromium.org 已提交
1678 1679
}

1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697
bool DBImpl::GetMapProperty(ColumnFamilyHandle* column_family,
                            const Slice& property,
                            std::map<std::string, double>* value) {
  const DBPropertyInfo* property_info = GetPropertyInfo(property);
  value->clear();
  auto cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family)->cfd();
  if (property_info == nullptr) {
    return false;
  } else if (property_info->handle_map) {
    InstrumentedMutexLock l(&mutex_);
    return cfd->internal_stats()->GetMapProperty(*property_info, property,
                                                 value);
  }
  // If we reach this point it means that handle_map is not provided for the
  // requested property
  return false;
}

1698 1699
bool DBImpl::GetIntProperty(ColumnFamilyHandle* column_family,
                            const Slice& property, uint64_t* value) {
1700 1701
  const DBPropertyInfo* property_info = GetPropertyInfo(property);
  if (property_info == nullptr || property_info->handle_int == nullptr) {
1702 1703
    return false;
  }
1704
  auto cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family)->cfd();
1705
  return GetIntPropertyInternal(cfd, *property_info, false, value);
1706 1707
}

1708
bool DBImpl::GetIntPropertyInternal(ColumnFamilyData* cfd,
1709 1710 1711 1712
                                    const DBPropertyInfo& property_info,
                                    bool is_locked, uint64_t* value) {
  assert(property_info.handle_int != nullptr);
  if (!property_info.need_out_of_mutex) {
1713 1714
    if (is_locked) {
      mutex_.AssertHeld();
1715
      return cfd->internal_stats()->GetIntProperty(property_info, value, this);
1716 1717
    } else {
      InstrumentedMutexLock l(&mutex_);
1718
      return cfd->internal_stats()->GetIntProperty(property_info, value, this);
1719
    }
1720
  } else {
1721 1722 1723 1724 1725 1726
    SuperVersion* sv = nullptr;
    if (!is_locked) {
      sv = GetAndRefSuperVersion(cfd);
    } else {
      sv = cfd->GetSuperVersion();
    }
1727 1728

    bool ret = cfd->internal_stats()->GetIntPropertyOutOfMutex(
1729
        property_info, sv->current, value);
1730

1731 1732 1733
    if (!is_locked) {
      ReturnAndCleanupSuperVersion(cfd, sv);
    }
1734 1735 1736 1737 1738

    return ret;
  }
}

S
Siying Dong 已提交
1739 1740 1741 1742 1743 1744 1745 1746 1747 1748
#ifndef ROCKSDB_LITE
Status DBImpl::ResetStats() {
  InstrumentedMutexLock l(&mutex_);
  for (auto* cfd : *versions_->GetColumnFamilySet()) {
    cfd->internal_stats()->Clear();
  }
  return Status::OK();
}
#endif  // ROCKSDB_LITE

1749 1750
bool DBImpl::GetAggregatedIntProperty(const Slice& property,
                                      uint64_t* aggregated_value) {
1751 1752
  const DBPropertyInfo* property_info = GetPropertyInfo(property);
  if (property_info == nullptr || property_info->handle_int == nullptr) {
1753 1754 1755 1756 1757 1758 1759 1760 1761
    return false;
  }

  uint64_t sum = 0;
  {
    // Needs mutex to protect the list of column families.
    InstrumentedMutexLock l(&mutex_);
    uint64_t value;
    for (auto* cfd : *versions_->GetColumnFamilySet()) {
1762
      if (GetIntPropertyInternal(cfd, *property_info, true, &value)) {
1763 1764 1765 1766 1767 1768 1769 1770 1771 1772
        sum += value;
      } else {
        return false;
      }
    }
  }
  *aggregated_value = sum;
  return true;
}

1773 1774
SuperVersion* DBImpl::GetAndRefSuperVersion(ColumnFamilyData* cfd) {
  // TODO(ljin): consider using GetReferencedSuperVersion() directly
I
Igor Canadi 已提交
1775
  return cfd->GetThreadLocalSuperVersion(&mutex_);
1776 1777
}

A
agiardullo 已提交
1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1789
// REQUIRED: this function should only be called on the write thread or if the
// mutex is held.
SuperVersion* DBImpl::GetAndRefSuperVersion(uint32_t column_family_id) {
  auto column_family_set = versions_->GetColumnFamilySet();
  auto cfd = column_family_set->GetColumnFamily(column_family_id);
  if (!cfd) {
    return nullptr;
  }

  return GetAndRefSuperVersion(cfd);
}

1790 1791
void DBImpl::ReturnAndCleanupSuperVersion(ColumnFamilyData* cfd,
                                          SuperVersion* sv) {
I
Igor Canadi 已提交
1792
  bool unref_sv = !cfd->ReturnThreadLocalSuperVersion(sv);
1793 1794 1795 1796 1797

  if (unref_sv) {
    // Release SuperVersion
    if (sv->Unref()) {
      {
1798
        InstrumentedMutexLock l(&mutex_);
1799 1800 1801 1802 1803 1804 1805
        sv->Cleanup();
      }
      delete sv;
      RecordTick(stats_, NUMBER_SUPERVERSION_CLEANUPS);
    }
    RecordTick(stats_, NUMBER_SUPERVERSION_RELEASES);
  }
1806 1807
}

A
agiardullo 已提交
1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831
// REQUIRED: this function should only be called on the write thread.
void DBImpl::ReturnAndCleanupSuperVersion(uint32_t column_family_id,
                                          SuperVersion* sv) {
  auto column_family_set = versions_->GetColumnFamilySet();
  auto cfd = column_family_set->GetColumnFamily(column_family_id);

  // If SuperVersion is held, and we successfully fetched a cfd using
  // GetAndRefSuperVersion(), it must still exist.
  assert(cfd != nullptr);
  ReturnAndCleanupSuperVersion(cfd, sv);
}

// REQUIRED: this function should only be called on the write thread or if the
// mutex is held.
ColumnFamilyHandle* DBImpl::GetColumnFamilyHandle(uint32_t column_family_id) {
  ColumnFamilyMemTables* cf_memtables = column_family_memtables_.get();

  if (!cf_memtables->Seek(column_family_id)) {
    return nullptr;
  }

  return cf_memtables->GetColumnFamilyHandle();
}

A
Anirban Rahut 已提交
1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845
// REQUIRED: mutex is NOT held.
ColumnFamilyHandle* DBImpl::GetColumnFamilyHandleUnlocked(
    uint32_t column_family_id) {
  ColumnFamilyMemTables* cf_memtables = column_family_memtables_.get();

  InstrumentedMutexLock l(&mutex_);

  if (!cf_memtables->Seek(column_family_id)) {
    return nullptr;
  }

  return cf_memtables->GetColumnFamilyHandle();
}

1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867
void DBImpl::GetApproximateMemTableStats(ColumnFamilyHandle* column_family,
                                         const Range& range,
                                         uint64_t* const count,
                                         uint64_t* const size) {
  ColumnFamilyHandleImpl* cfh =
      reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  ColumnFamilyData* cfd = cfh->cfd();
  SuperVersion* sv = GetAndRefSuperVersion(cfd);

  // Convert user_key into a corresponding internal key.
  InternalKey k1(range.start, kMaxSequenceNumber, kValueTypeForSeek);
  InternalKey k2(range.limit, kMaxSequenceNumber, kValueTypeForSeek);
  MemTable::MemTableStats memStats =
      sv->mem->ApproximateStats(k1.Encode(), k2.Encode());
  MemTable::MemTableStats immStats =
      sv->imm->ApproximateStats(k1.Encode(), k2.Encode());
  *count = memStats.count + immStats.count;
  *size = memStats.size + immStats.size;

  ReturnAndCleanupSuperVersion(cfd, sv);
}

1868
void DBImpl::GetApproximateSizes(ColumnFamilyHandle* column_family,
1869
                                 const Range* range, int n, uint64_t* sizes,
1870 1871 1872
                                 uint8_t include_flags) {
  assert(include_flags & DB::SizeApproximationFlags::INCLUDE_FILES ||
         include_flags & DB::SizeApproximationFlags::INCLUDE_MEMTABLES);
J
jorlow@chromium.org 已提交
1873
  Version* v;
1874 1875
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
1876 1877
  SuperVersion* sv = GetAndRefSuperVersion(cfd);
  v = sv->current;
J
jorlow@chromium.org 已提交
1878 1879 1880

  for (int i = 0; i < n; i++) {
    // Convert user_key into a corresponding internal key.
1881 1882
    InternalKey k1(range[i].start, kMaxSequenceNumber, kValueTypeForSeek);
    InternalKey k2(range[i].limit, kMaxSequenceNumber, kValueTypeForSeek);
V
Vitaliy Liptchinsky 已提交
1883
    sizes[i] = 0;
1884
    if (include_flags & DB::SizeApproximationFlags::INCLUDE_FILES) {
V
Vitaliy Liptchinsky 已提交
1885
      sizes[i] += versions_->ApproximateSize(v, k1.Encode(), k2.Encode());
1886 1887
    }
    if (include_flags & DB::SizeApproximationFlags::INCLUDE_MEMTABLES) {
1888 1889
      sizes[i] += sv->mem->ApproximateStats(k1.Encode(), k2.Encode()).size;
      sizes[i] += sv->imm->ApproximateStats(k1.Encode(), k2.Encode()).size;
1890
    }
J
jorlow@chromium.org 已提交
1891 1892
  }

1893
  ReturnAndCleanupSuperVersion(cfd, sv);
J
jorlow@chromium.org 已提交
1894 1895
}

I
Igor Canadi 已提交
1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911
std::list<uint64_t>::iterator
DBImpl::CaptureCurrentFileNumberInPendingOutputs() {
  // We need to remember the iterator of our insert, because after the
  // background job is done, we need to remove that element from
  // pending_outputs_.
  pending_outputs_.push_back(versions_->current_next_file_number());
  auto pending_outputs_inserted_elem = pending_outputs_.end();
  --pending_outputs_inserted_elem;
  return pending_outputs_inserted_elem;
}

void DBImpl::ReleaseFileNumberFromPendingOutputs(
    std::list<uint64_t>::iterator v) {
  pending_outputs_.erase(v);
}

I
Igor Canadi 已提交
1912 1913 1914 1915 1916
#ifndef ROCKSDB_LITE
Status DBImpl::GetUpdatesSince(
    SequenceNumber seq, unique_ptr<TransactionLogIterator>* iter,
    const TransactionLogIterator::ReadOptions& read_options) {

L
Lei Jin 已提交
1917
  RecordTick(stats_, GET_UPDATES_SINCE_CALLS);
I
Igor Canadi 已提交
1918 1919 1920
  if (seq > versions_->LastSequence()) {
    return Status::NotFound("Requested sequence not yet written in the db");
  }
I
Igor Canadi 已提交
1921
  return wal_manager_.GetUpdatesSince(seq, iter, read_options, versions_.get());
I
Igor Canadi 已提交
1922 1923
}

1924 1925 1926
Status DBImpl::DeleteFile(std::string name) {
  uint64_t number;
  FileType type;
1927 1928 1929
  WalFileType log_type;
  if (!ParseFileName(name, &number, &type, &log_type) ||
      (type != kTableFile && type != kLogFile)) {
1930 1931
    ROCKS_LOG_ERROR(immutable_db_options_.info_log, "DeleteFile %s failed.\n",
                    name.c_str());
1932 1933 1934
    return Status::InvalidArgument("Invalid file name");
  }

1935 1936 1937 1938
  Status status;
  if (type == kLogFile) {
    // Only allow deleting archived log files
    if (log_type != kArchivedLogFile) {
1939 1940 1941
      ROCKS_LOG_ERROR(immutable_db_options_.info_log,
                      "DeleteFile %s failed - not archived log.\n",
                      name.c_str());
1942 1943
      return Status::NotSupported("Delete only supported for archived logs");
    }
1944 1945
    status =
        env_->DeleteFile(immutable_db_options_.wal_dir + "/" + name.c_str());
1946
    if (!status.ok()) {
1947 1948 1949
      ROCKS_LOG_ERROR(immutable_db_options_.info_log,
                      "DeleteFile %s failed -- %s.\n", name.c_str(),
                      status.ToString().c_str());
1950 1951 1952 1953
    }
    return status;
  }

1954
  int level;
I
Igor Canadi 已提交
1955
  FileMetaData* metadata;
1956
  ColumnFamilyData* cfd;
1957
  VersionEdit edit;
1958
  JobContext job_context(next_job_id_.fetch_add(1), true);
D
Dhruba Borthakur 已提交
1959
  {
1960
    InstrumentedMutexLock l(&mutex_);
1961
    status = versions_->GetMetadataForFile(number, &level, &metadata, &cfd);
D
Dhruba Borthakur 已提交
1962
    if (!status.ok()) {
1963 1964
      ROCKS_LOG_WARN(immutable_db_options_.info_log,
                     "DeleteFile %s failed. File not found\n", name.c_str());
I
Igor Canadi 已提交
1965
      job_context.Clean();
D
Dhruba Borthakur 已提交
1966 1967
      return Status::InvalidArgument("File not found");
    }
1968
    assert(level < cfd->NumberLevels());
1969

D
Dhruba Borthakur 已提交
1970
    // If the file is being compacted no need to delete.
1971
    if (metadata->being_compacted) {
1972 1973 1974
      ROCKS_LOG_INFO(immutable_db_options_.info_log,
                     "DeleteFile %s Skipped. File about to be compacted\n",
                     name.c_str());
I
Igor Canadi 已提交
1975
      job_context.Clean();
D
Dhruba Borthakur 已提交
1976
      return Status::OK();
1977 1978
    }

D
Dhruba Borthakur 已提交
1979 1980 1981
    // Only the files in the last level can be deleted externally.
    // This is to make sure that any deletion tombstones are not
    // lost. Check that the level passed is the last level.
S
sdong 已提交
1982
    auto* vstoreage = cfd->current()->storage_info();
I
Igor Canadi 已提交
1983
    for (int i = level + 1; i < cfd->NumberLevels(); i++) {
S
sdong 已提交
1984
      if (vstoreage->NumLevelFiles(i) != 0) {
1985 1986 1987
        ROCKS_LOG_WARN(immutable_db_options_.info_log,
                       "DeleteFile %s FAILED. File not in last level\n",
                       name.c_str());
I
Igor Canadi 已提交
1988
        job_context.Clean();
D
Dhruba Borthakur 已提交
1989 1990 1991
        return Status::InvalidArgument("File not in last level");
      }
    }
1992
    // if level == 0, it has to be the oldest file
S
sdong 已提交
1993 1994
    if (level == 0 &&
        vstoreage->LevelFiles(0).back()->fd.GetNumber() != number) {
1995 1996 1997 1998
      ROCKS_LOG_WARN(immutable_db_options_.info_log,
                     "DeleteFile %s failed ---"
                     " target file in level 0 must be the oldest.",
                     name.c_str());
I
Igor Canadi 已提交
1999
      job_context.Clean();
2000 2001 2002
      return Status::InvalidArgument("File in level 0, but not oldest");
    }
    edit.SetColumnFamily(cfd->GetID());
D
Dhruba Borthakur 已提交
2003
    edit.DeleteFile(level, number);
2004
    status = versions_->LogAndApply(cfd, *cfd->GetLatestMutableCFOptions(),
2005
                                    &edit, &mutex_, directories_.GetDbDir());
I
Igor Canadi 已提交
2006
    if (status.ok()) {
I
Igor Canadi 已提交
2007 2008
      InstallSuperVersionAndScheduleWorkWrapper(
          cfd, &job_context, *cfd->GetLatestMutableCFOptions());
I
Igor Canadi 已提交
2009
    }
I
Igor Canadi 已提交
2010 2011
    FindObsoleteFiles(&job_context, false);
  }  // lock released here
2012

2013
  LogFlush(immutable_db_options_.info_log);
2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028
  // remove files outside the db-lock
  if (job_context.HaveSomethingToDelete()) {
    // Call PurgeObsoleteFiles() without holding mutex.
    PurgeObsoleteFiles(job_context);
  }
  job_context.Clean();
  return status;
}

Status DBImpl::DeleteFilesInRange(ColumnFamilyHandle* column_family,
                                  const Slice* begin, const Slice* end) {
  Status status;
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  ColumnFamilyData* cfd = cfh->cfd();
  VersionEdit edit;
2029
  std::vector<FileMetaData*> deleted_files;
2030 2031 2032
  JobContext job_context(next_job_id_.fetch_add(1), true);
  {
    InstrumentedMutexLock l(&mutex_);
2033
    Version* input_version = cfd->current();
2034

2035 2036
    auto* vstorage = input_version->storage_info();
    for (int i = 1; i < cfd->NumberLevels(); i++) {
2037 2038 2039 2040 2041 2042 2043 2044 2045 2046 2047 2048 2049 2050 2051 2052 2053 2054 2055 2056 2057
      if (vstorage->LevelFiles(i).empty() ||
          !vstorage->OverlapInLevel(i, begin, end)) {
        continue;
      }
      std::vector<FileMetaData*> level_files;
      InternalKey begin_storage, end_storage, *begin_key, *end_key;
      if (begin == nullptr) {
        begin_key = nullptr;
      } else {
        begin_storage.SetMaxPossibleForUserKey(*begin);
        begin_key = &begin_storage;
      }
      if (end == nullptr) {
        end_key = nullptr;
      } else {
        end_storage.SetMinPossibleForUserKey(*end);
        end_key = &end_storage;
      }

      vstorage->GetOverlappingInputs(i, begin_key, end_key, &level_files, -1,
                                     nullptr, false);
2058 2059 2060
      FileMetaData* level_file;
      for (uint32_t j = 0; j < level_files.size(); j++) {
        level_file = level_files[j];
2061 2062 2063 2064 2065 2066 2067 2068 2069 2070 2071
        if (((begin == nullptr) ||
             (cfd->internal_comparator().user_comparator()->Compare(
                  level_file->smallest.user_key(), *begin) >= 0)) &&
            ((end == nullptr) ||
             (cfd->internal_comparator().user_comparator()->Compare(
                  level_file->largest.user_key(), *end) <= 0))) {
          if (level_file->being_compacted) {
            continue;
          }
          edit.SetColumnFamily(cfd->GetID());
          edit.DeleteFile(i, level_file->fd.GetNumber());
2072 2073
          deleted_files.push_back(level_file);
          level_file->being_compacted = true;
2074 2075 2076 2077
        }
      }
    }
    if (edit.GetDeletedFiles().empty()) {
2078
      job_context.Clean();
2079 2080
      return Status::OK();
    }
2081
    input_version->Ref();
2082 2083 2084 2085 2086 2087
    status = versions_->LogAndApply(cfd, *cfd->GetLatestMutableCFOptions(),
                                    &edit, &mutex_, directories_.GetDbDir());
    if (status.ok()) {
      InstallSuperVersionAndScheduleWorkWrapper(
          cfd, &job_context, *cfd->GetLatestMutableCFOptions());
    }
2088 2089 2090 2091
    for (auto* deleted_file : deleted_files) {
      deleted_file->being_compacted = false;
    }
    input_version->Unref();
2092 2093 2094
    FindObsoleteFiles(&job_context, false);
  }  // lock released here

2095
  LogFlush(immutable_db_options_.info_log);
I
Igor Canadi 已提交
2096
  // remove files outside the db-lock
I
Igor Canadi 已提交
2097
  if (job_context.HaveSomethingToDelete()) {
2098
    // Call PurgeObsoleteFiles() without holding mutex.
I
Igor Canadi 已提交
2099
    PurgeObsoleteFiles(job_context);
2100
  }
I
Igor Canadi 已提交
2101
  job_context.Clean();
2102 2103 2104
  return status;
}

2105
void DBImpl::GetLiveFilesMetaData(std::vector<LiveFileMetaData>* metadata) {
2106
  InstrumentedMutexLock l(&mutex_);
2107
  versions_->GetLiveFilesMetaData(metadata);
2108
}
2109 2110 2111 2112 2113 2114 2115 2116 2117 2118 2119

void DBImpl::GetColumnFamilyMetaData(
    ColumnFamilyHandle* column_family,
    ColumnFamilyMetaData* cf_meta) {
  assert(column_family);
  auto* cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family)->cfd();
  auto* sv = GetAndRefSuperVersion(cfd);
  sv->current->GetColumnFamilyMetaData(cf_meta);
  ReturnAndCleanupSuperVersion(cfd, sv);
}

I
Igor Canadi 已提交
2120
#endif  // ROCKSDB_LITE
2121

I
Igor Canadi 已提交
2122 2123 2124 2125 2126 2127 2128
Status DBImpl::CheckConsistency() {
  mutex_.AssertHeld();
  std::vector<LiveFileMetaData> metadata;
  versions_->GetLiveFilesMetaData(&metadata);

  std::string corruption_messages;
  for (const auto& md : metadata) {
2129 2130
    // md.name has a leading "/".
    std::string file_path = md.db_path + md.name;
2131

I
Igor Canadi 已提交
2132 2133
    uint64_t fsize = 0;
    Status s = env_->GetFileSize(file_path, &fsize);
D
dyniusz 已提交
2134 2135 2136 2137
    if (!s.ok() &&
        env_->GetFileSize(Rocks2LevelTableFileName(file_path), &fsize).ok()) {
      s = Status::OK();
    }
I
Igor Canadi 已提交
2138 2139 2140 2141
    if (!s.ok()) {
      corruption_messages +=
          "Can't access " + md.name + ": " + s.ToString() + "\n";
    } else if (fsize != md.size) {
2142
      corruption_messages += "Sst file size mismatch: " + file_path +
I
Igor Canadi 已提交
2143
                             ". Size recorded in manifest " +
2144 2145
                             ToString(md.size) + ", actual size " +
                             ToString(fsize) + "\n";
I
Igor Canadi 已提交
2146 2147 2148 2149 2150 2151 2152 2153 2154
    }
  }
  if (corruption_messages.size() == 0) {
    return Status::OK();
  } else {
    return Status::Corruption(corruption_messages);
  }
}

2155
Status DBImpl::GetDbIdentity(std::string& identity) const {
2156 2157
  std::string idfilename = IdentityFileName(dbname_);
  const EnvOptions soptions;
2158 2159 2160 2161 2162 2163 2164 2165 2166
  unique_ptr<SequentialFileReader> id_file_reader;
  Status s;
  {
    unique_ptr<SequentialFile> idfile;
    s = env_->NewSequentialFile(idfilename, &idfile, soptions);
    if (!s.ok()) {
      return s;
    }
    id_file_reader.reset(new SequentialFileReader(std::move(idfile)));
2167
  }
2168

2169 2170 2171 2172 2173
  uint64_t file_size;
  s = env_->GetFileSize(idfilename, &file_size);
  if (!s.ok()) {
    return s;
  }
D
Dmitri Smirnov 已提交
2174
  char* buffer = reinterpret_cast<char*>(alloca(file_size));
2175
  Slice id;
2176
  s = id_file_reader->Read(static_cast<size_t>(file_size), &id, buffer);
2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187
  if (!s.ok()) {
    return s;
  }
  identity.assign(id.ToString());
  // If last character is '\n' remove it from identity
  if (identity.size() > 0 && identity.back() == '\n') {
    identity.pop_back();
  }
  return s;
}

2188
// Default implementation -- returns not supported status
L
Lei Jin 已提交
2189
Status DB::CreateColumnFamily(const ColumnFamilyOptions& cf_options,
2190
                              const std::string& column_family_name,
2191
                              ColumnFamilyHandle** handle) {
2192
  return Status::NotSupported("");
2193
}
Y
Yi Wu 已提交
2194 2195 2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2207

Status DB::CreateColumnFamilies(
    const ColumnFamilyOptions& cf_options,
    const std::vector<std::string>& column_family_names,
    std::vector<ColumnFamilyHandle*>* handles) {
  return Status::NotSupported("");
}

Status DB::CreateColumnFamilies(
    const std::vector<ColumnFamilyDescriptor>& column_families,
    std::vector<ColumnFamilyHandle*>* handles) {
  return Status::NotSupported("");
}

2208
Status DB::DropColumnFamily(ColumnFamilyHandle* column_family) {
2209
  return Status::NotSupported("");
2210
}
Y
Yi Wu 已提交
2211 2212 2213 2214 2215 2216

Status DB::DropColumnFamilies(
    const std::vector<ColumnFamilyHandle*>& column_families) {
  return Status::NotSupported("");
}

2217 2218 2219 2220
Status DB::DestroyColumnFamilyHandle(ColumnFamilyHandle* column_family) {
  delete column_family;
  return Status::OK();
}
2221

J
jorlow@chromium.org 已提交
2222 2223
DB::~DB() { }

2224 2225 2226
Status DB::ListColumnFamilies(const DBOptions& db_options,
                              const std::string& name,
                              std::vector<std::string>* column_families) {
I
Igor Canadi 已提交
2227
  return VersionSet::ListColumnFamilies(column_families, name, db_options.env);
2228 2229
}

2230 2231 2232
Snapshot::~Snapshot() {
}

J
jorlow@chromium.org 已提交
2233
Status DestroyDB(const std::string& dbname, const Options& options) {
2234
  const ImmutableDBOptions soptions(SanitizeOptions(dbname, options));
2235
  Env* env = soptions.env;
J
jorlow@chromium.org 已提交
2236
  std::vector<std::string> filenames;
2237

J
jorlow@chromium.org 已提交
2238 2239
  // Ignore error in case directory does not exist
  env->GetChildren(dbname, &filenames);
2240

J
jorlow@chromium.org 已提交
2241
  FileLock* lock;
2242 2243
  const std::string lockname = LockFileName(dbname);
  Status result = env->LockFile(lockname, &lock);
J
jorlow@chromium.org 已提交
2244 2245 2246
  if (result.ok()) {
    uint64_t number;
    FileType type;
2247
    InfoLogPrefix info_log_prefix(!soptions.db_log_dir.empty(), dbname);
D
dgrogan@chromium.org 已提交
2248
    for (size_t i = 0; i < filenames.size(); i++) {
2249
      if (ParseFileName(filenames[i], &number, info_log_prefix.prefix, &type) &&
2250
          type != kDBLockFile) {  // Lock file will be deleted at end
K
Kosie van der Merwe 已提交
2251
        Status del;
2252
        std::string path_to_delete = dbname + "/" + filenames[i];
K
Kosie van der Merwe 已提交
2253
        if (type == kMetaDatabase) {
2254 2255
          del = DestroyDB(path_to_delete, options);
        } else if (type == kTableFile) {
2256
          del = DeleteSSTFile(&soptions, path_to_delete, 0);
K
Kosie van der Merwe 已提交
2257
        } else {
2258
          del = env->DeleteFile(path_to_delete);
K
Kosie van der Merwe 已提交
2259
        }
J
jorlow@chromium.org 已提交
2260 2261 2262 2263 2264
        if (result.ok() && !del.ok()) {
          result = del;
        }
      }
    }
2265

2266 2267
    for (size_t path_id = 0; path_id < options.db_paths.size(); path_id++) {
      const auto& db_path = options.db_paths[path_id];
2268
      env->GetChildren(db_path.path, &filenames);
2269 2270 2271
      for (size_t i = 0; i < filenames.size(); i++) {
        if (ParseFileName(filenames[i], &number, &type) &&
            type == kTableFile) {  // Lock file will be deleted at end
2272
          std::string table_path = db_path.path + "/" + filenames[i];
2273
          Status del = DeleteSSTFile(&soptions, table_path,
2274
                                     static_cast<uint32_t>(path_id));
2275 2276 2277 2278 2279 2280 2281
          if (result.ok() && !del.ok()) {
            result = del;
          }
        }
      }
    }

I
Igor Canadi 已提交
2282 2283 2284 2285 2286 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2298 2299
    std::vector<std::string> walDirFiles;
    std::string archivedir = ArchivalDirectory(dbname);
    if (dbname != soptions.wal_dir) {
      env->GetChildren(soptions.wal_dir, &walDirFiles);
      archivedir = ArchivalDirectory(soptions.wal_dir);
    }

    // Delete log files in the WAL dir
    for (const auto& file : walDirFiles) {
      if (ParseFileName(file, &number, &type) && type == kLogFile) {
        Status del = env->DeleteFile(soptions.wal_dir + "/" + file);
        if (result.ok() && !del.ok()) {
          result = del;
        }
      }
    }

    std::vector<std::string> archiveFiles;
2300
    env->GetChildren(archivedir, &archiveFiles);
2301 2302
    // Delete archival files.
    for (size_t i = 0; i < archiveFiles.size(); ++i) {
2303 2304
      if (ParseFileName(archiveFiles[i], &number, &type) &&
          type == kLogFile) {
2305
        Status del = env->DeleteFile(archivedir + "/" + archiveFiles[i]);
2306 2307 2308 2309 2310
        if (result.ok() && !del.ok()) {
          result = del;
        }
      }
    }
2311

I
Islam AbdelRahman 已提交
2312
    // ignore case where no archival directory is present
2313
    env->DeleteDir(archivedir);
2314

J
jorlow@chromium.org 已提交
2315
    env->UnlockFile(lock);  // Ignore error since state is already gone
2316
    env->DeleteFile(lockname);
J
jorlow@chromium.org 已提交
2317
    env->DeleteDir(dbname);  // Ignore error in case dir contains other files
2318
    env->DeleteDir(soptions.wal_dir);
J
jorlow@chromium.org 已提交
2319 2320 2321 2322
  }
  return result;
}

Y
Yi Wu 已提交
2323 2324
Status DBImpl::WriteOptionsFile(bool need_mutex_lock,
                                bool need_enter_write_thread) {
2325
#ifndef ROCKSDB_LITE
Y
Yi Wu 已提交
2326 2327 2328 2329 2330 2331 2332 2333 2334
  WriteThread::Writer w;
  if (need_mutex_lock) {
    mutex_.Lock();
  } else {
    mutex_.AssertHeld();
  }
  if (need_enter_write_thread) {
    write_thread_.EnterUnbatched(&w, &mutex_);
  }
2335 2336 2337

  std::vector<std::string> cf_names;
  std::vector<ColumnFamilyOptions> cf_opts;
2338 2339 2340 2341 2342

  // This part requires mutex to protect the column family options
  for (auto cfd : *versions_->GetColumnFamilySet()) {
    if (cfd->IsDropped()) {
      continue;
2343
    }
2344
    cf_names.push_back(cfd->GetName());
2345
    cf_opts.push_back(cfd->GetLatestCFOptions());
2346 2347
  }

2348 2349
  // Unlock during expensive operations.  New writes cannot get here
  // because the single write thread ensures all new writes get queued.
2350 2351
  DBOptions db_options =
      BuildDBOptions(immutable_db_options_, mutable_db_options_);
2352 2353 2354 2355
  mutex_.Unlock();

  std::string file_name =
      TempOptionsFileName(GetName(), versions_->NewFileNumber());
2356 2357
  Status s =
      PersistRocksDBOptions(db_options, cf_names, cf_opts, file_name, GetEnv());
2358 2359 2360 2361

  if (s.ok()) {
    s = RenameTempFileToOptionsFile(file_name);
  }
Y
Yi Wu 已提交
2362 2363 2364 2365 2366 2367 2368 2369 2370 2371 2372 2373 2374 2375 2376
  // restore lock
  if (!need_mutex_lock) {
    mutex_.Lock();
  }
  if (need_enter_write_thread) {
    write_thread_.ExitUnbatched(&w);
  }
  if (!s.ok()) {
    ROCKS_LOG_WARN(immutable_db_options_.info_log,
                   "Unnable to persist options -- %s", s.ToString().c_str());
    if (immutable_db_options_.fail_if_options_file_error) {
      return Status::IOError("Unable to persist options.",
                             s.ToString().c_str());
    }
  }
2377
#endif  // !ROCKSDB_LITE
Y
Yi Wu 已提交
2378
  return Status::OK();
2379 2380 2381 2382 2383 2384 2385 2386 2387 2388 2389 2390 2391 2392
}

#ifndef ROCKSDB_LITE
namespace {
void DeleteOptionsFilesHelper(const std::map<uint64_t, std::string>& filenames,
                              const size_t num_files_to_keep,
                              const std::shared_ptr<Logger>& info_log,
                              Env* env) {
  if (filenames.size() <= num_files_to_keep) {
    return;
  }
  for (auto iter = std::next(filenames.begin(), num_files_to_keep);
       iter != filenames.end(); ++iter) {
    if (!env->DeleteFile(iter->second).ok()) {
2393 2394
      ROCKS_LOG_WARN(info_log, "Unable to delete options file %s",
                     iter->second.c_str());
2395 2396 2397 2398 2399 2400 2401 2402 2403 2404 2405 2406 2407 2408 2409 2410 2411 2412 2413 2414 2415 2416 2417 2418 2419 2420 2421 2422 2423 2424
    }
  }
}
}  // namespace
#endif  // !ROCKSDB_LITE

Status DBImpl::DeleteObsoleteOptionsFiles() {
#ifndef ROCKSDB_LITE
  std::vector<std::string> filenames;
  // use ordered map to store keep the filenames sorted from the newest
  // to the oldest.
  std::map<uint64_t, std::string> options_filenames;
  Status s;
  s = GetEnv()->GetChildren(GetName(), &filenames);
  if (!s.ok()) {
    return s;
  }
  for (auto& filename : filenames) {
    uint64_t file_number;
    FileType type;
    if (ParseFileName(filename, &file_number, &type) && type == kOptionsFile) {
      options_filenames.insert(
          {std::numeric_limits<uint64_t>::max() - file_number,
           GetName() + "/" + filename});
    }
  }

  // Keeps the latest 2 Options file
  const size_t kNumOptionsFilesKept = 2;
  DeleteOptionsFilesHelper(options_filenames, kNumOptionsFilesKept,
2425
                           immutable_db_options_.info_log, GetEnv());
2426 2427 2428 2429 2430 2431 2432 2433 2434
  return Status::OK();
#else
  return Status::OK();
#endif  // !ROCKSDB_LITE
}

Status DBImpl::RenameTempFileToOptionsFile(const std::string& file_name) {
#ifndef ROCKSDB_LITE
  Status s;
W
Wanning Jiang 已提交
2435 2436

  versions_->options_file_number_ = versions_->NewFileNumber();
2437
  std::string options_file_name =
W
Wanning Jiang 已提交
2438
      OptionsFileName(GetName(), versions_->options_file_number_);
2439 2440 2441 2442 2443 2444 2445 2446 2447 2448
  // Retry if the file name happen to conflict with an existing one.
  s = GetEnv()->RenameFile(file_name, options_file_name);

  DeleteObsoleteOptionsFiles();
  return s;
#else
  return Status::OK();
#endif  // !ROCKSDB_LITE
}

D
Daniel Black 已提交
2449
#ifdef ROCKSDB_USING_THREAD_STATUS
2450

Y
Yueh-Hsuan Chiang 已提交
2451 2452
void DBImpl::NewThreadStatusCfInfo(
    ColumnFamilyData* cfd) const {
2453
  if (immutable_db_options_.enable_thread_tracking) {
2454 2455
    ThreadStatusUtil::NewColumnFamilyInfo(this, cfd, cfd->GetName(),
                                          cfd->ioptions()->env);
2456
  }
Y
Yueh-Hsuan Chiang 已提交
2457 2458 2459 2460
}

void DBImpl::EraseThreadStatusCfInfo(
    ColumnFamilyData* cfd) const {
2461
  if (immutable_db_options_.enable_thread_tracking) {
2462
    ThreadStatusUtil::EraseColumnFamilyInfo(cfd);
2463
  }
Y
Yueh-Hsuan Chiang 已提交
2464 2465 2466
}

void DBImpl::EraseThreadStatusDbInfo() const {
2467
  if (immutable_db_options_.enable_thread_tracking) {
2468
    ThreadStatusUtil::EraseDatabaseInfo(this);
2469
  }
Y
Yueh-Hsuan Chiang 已提交
2470 2471 2472 2473 2474 2475 2476 2477 2478 2479 2480 2481 2482 2483 2484
}

#else
void DBImpl::NewThreadStatusCfInfo(
    ColumnFamilyData* cfd) const {
}

void DBImpl::EraseThreadStatusCfInfo(
    ColumnFamilyData* cfd) const {
}

void DBImpl::EraseThreadStatusDbInfo() const {
}
#endif  // ROCKSDB_USING_THREAD_STATUS

2485 2486
//
// A global method that can dump out the build version
I
Igor Canadi 已提交
2487
void DumpRocksDBBuildVersion(Logger * log) {
I
Igor Canadi 已提交
2488
#if !defined(IOS_CROSS_COMPILE)
I
Igor Canadi 已提交
2489 2490
  // if we compile with Xcode, we don't run build_detect_vesion, so we don't
  // generate util/build_version.cc
2491 2492 2493 2494
  ROCKS_LOG_HEADER(log, "RocksDB version: %d.%d.%d\n", ROCKSDB_MAJOR,
                   ROCKSDB_MINOR, ROCKSDB_PATCH);
  ROCKS_LOG_HEADER(log, "Git sha %s", rocksdb_build_git_sha);
  ROCKS_LOG_HEADER(log, "Compile date %s", rocksdb_build_compile_date);
I
Igor Canadi 已提交
2495
#endif
2496 2497
}

A
agiardullo 已提交
2498 2499 2500 2501 2502 2503 2504 2505 2506 2507 2508 2509 2510 2511 2512 2513 2514
#ifndef ROCKSDB_LITE
SequenceNumber DBImpl::GetEarliestMemTableSequenceNumber(SuperVersion* sv,
                                                         bool include_history) {
  // Find the earliest sequence number that we know we can rely on reading
  // from the memtable without needing to check sst files.
  SequenceNumber earliest_seq =
      sv->imm->GetEarliestSequenceNumber(include_history);
  if (earliest_seq == kMaxSequenceNumber) {
    earliest_seq = sv->mem->GetEarliestSequenceNumber();
  }
  assert(sv->mem->GetEarliestSequenceNumber() >= earliest_seq);

  return earliest_seq;
}
#endif  // ROCKSDB_LITE

#ifndef ROCKSDB_LITE
2515 2516 2517
Status DBImpl::GetLatestSequenceForKey(SuperVersion* sv, const Slice& key,
                                       bool cache_only, SequenceNumber* seq,
                                       bool* found_record_for_key) {
A
agiardullo 已提交
2518 2519
  Status s;
  MergeContext merge_context;
2520 2521
  RangeDelAggregator range_del_agg(sv->mem->GetInternalKeyComparator(),
                                   kMaxSequenceNumber);
A
agiardullo 已提交
2522

A
Andrew Kryczka 已提交
2523
  ReadOptions read_options;
A
agiardullo 已提交
2524 2525 2526 2527
  SequenceNumber current_seq = versions_->LastSequence();
  LookupKey lkey(key, current_seq);

  *seq = kMaxSequenceNumber;
2528 2529
  *found_record_for_key = false;

A
agiardullo 已提交
2530
  // Check if there is a record for this key in the latest memtable
M
Maysam Yabandeh 已提交
2531
  sv->mem->Get(lkey, nullptr, &s, &merge_context, &range_del_agg, seq,
A
Andrew Kryczka 已提交
2532
               read_options);
A
agiardullo 已提交
2533 2534 2535

  if (!(s.ok() || s.IsNotFound() || s.IsMergeInProgress())) {
    // unexpected error reading memtable.
2536 2537 2538
    ROCKS_LOG_ERROR(immutable_db_options_.info_log,
                    "Unexpected status returned from MemTable::Get: %s\n",
                    s.ToString().c_str());
A
agiardullo 已提交
2539 2540 2541 2542 2543 2544

    return s;
  }

  if (*seq != kMaxSequenceNumber) {
    // Found a sequence number, no need to check immutable memtables
2545
    *found_record_for_key = true;
A
agiardullo 已提交
2546 2547 2548 2549
    return Status::OK();
  }

  // Check if there is a record for this key in the immutable memtables
M
Maysam Yabandeh 已提交
2550
  sv->imm->Get(lkey, nullptr, &s, &merge_context, &range_del_agg, seq,
A
Andrew Kryczka 已提交
2551
               read_options);
A
agiardullo 已提交
2552 2553 2554

  if (!(s.ok() || s.IsNotFound() || s.IsMergeInProgress())) {
    // unexpected error reading memtable.
2555 2556 2557
    ROCKS_LOG_ERROR(immutable_db_options_.info_log,
                    "Unexpected status returned from MemTableList::Get: %s\n",
                    s.ToString().c_str());
A
agiardullo 已提交
2558 2559 2560 2561 2562 2563

    return s;
  }

  if (*seq != kMaxSequenceNumber) {
    // Found a sequence number, no need to check memtable history
2564
    *found_record_for_key = true;
A
agiardullo 已提交
2565 2566 2567 2568
    return Status::OK();
  }

  // Check if there is a record for this key in the immutable memtables
A
Andrew Kryczka 已提交
2569 2570
  sv->imm->GetFromHistory(lkey, nullptr, &s, &merge_context, &range_del_agg,
                          seq, read_options);
A
agiardullo 已提交
2571 2572 2573

  if (!(s.ok() || s.IsNotFound() || s.IsMergeInProgress())) {
    // unexpected error reading memtable.
2574 2575
    ROCKS_LOG_ERROR(
        immutable_db_options_.info_log,
A
agiardullo 已提交
2576 2577 2578 2579 2580 2581
        "Unexpected status returned from MemTableList::GetFromHistory: %s\n",
        s.ToString().c_str());

    return s;
  }

2582 2583 2584 2585 2586 2587 2588 2589 2590 2591
  if (*seq != kMaxSequenceNumber) {
    // Found a sequence number, no need to check SST files
    *found_record_for_key = true;
    return Status::OK();
  }

  // TODO(agiardullo): possible optimization: consider checking cached
  // SST files if cache_only=true?
  if (!cache_only) {
    // Check tables
R
Reid Horuff 已提交
2592
    sv->current->Get(read_options, lkey, nullptr, &s, &merge_context,
A
Andrew Kryczka 已提交
2593 2594
                     &range_del_agg, nullptr /* value_found */,
                     found_record_for_key, seq);
2595 2596 2597

    if (!(s.ok() || s.IsNotFound() || s.IsMergeInProgress())) {
      // unexpected error reading SST files
2598 2599 2600
      ROCKS_LOG_ERROR(immutable_db_options_.info_log,
                      "Unexpected status returned from Version::Get: %s\n",
                      s.ToString().c_str());
2601 2602 2603 2604 2605

      return s;
    }
  }

A
agiardullo 已提交
2606 2607
  return Status::OK();
}
2608 2609 2610 2611 2612 2613 2614 2615 2616 2617 2618 2619 2620 2621 2622 2623

Status DBImpl::IngestExternalFile(
    ColumnFamilyHandle* column_family,
    const std::vector<std::string>& external_files,
    const IngestExternalFileOptions& ingestion_options) {
  Status status;
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();

  ExternalSstFileIngestionJob ingestion_job(env_, versions_.get(), cfd,
                                            immutable_db_options_, env_options_,
                                            &snapshots_, ingestion_options);

  std::list<uint64_t>::iterator pending_output_elem;
  {
    InstrumentedMutexLock l(&mutex_);
2624 2625 2626 2627 2628 2629
    if (!bg_error_.ok()) {
      // Don't ingest files when there is a bg_error
      return bg_error_;
    }

    // Make sure that bg cleanup wont delete the files that we are ingesting
2630 2631 2632 2633 2634 2635 2636 2637
    pending_output_elem = CaptureCurrentFileNumberInPendingOutputs();
  }

  status = ingestion_job.Prepare(external_files);
  if (!status.ok()) {
    return status;
  }

2638
  TEST_SYNC_POINT("DBImpl::AddFile:Start");
2639 2640 2641 2642 2643 2644 2645 2646 2647
  {
    // Lock db mutex
    InstrumentedMutexLock l(&mutex_);
    TEST_SYNC_POINT("DBImpl::AddFile:MutexLock");

    // Stop writes to the DB
    WriteThread::Writer w;
    write_thread_.EnterUnbatched(&w, &mutex_);

2648 2649
    num_running_ingest_file_++;

2650 2651 2652 2653 2654 2655
    // We cannot ingest a file into a dropped CF
    if (cfd->IsDropped()) {
      status = Status::InvalidArgument(
          "Cannot ingest an external file into a dropped CF");
    }

2656
    // Figure out if we need to flush the memtable first
2657 2658 2659
    if (status.ok()) {
      bool need_flush = false;
      status = ingestion_job.NeedsFlush(&need_flush);
2660 2661
      TEST_SYNC_POINT_CALLBACK("DBImpl::IngestExternalFile:NeedFlush",
                               &need_flush);
2662 2663 2664 2665 2666
      if (status.ok() && need_flush) {
        mutex_.Unlock();
        status = FlushMemTable(cfd, FlushOptions(), true /* writes_stopped */);
        mutex_.Lock();
      }
2667 2668 2669 2670 2671 2672 2673 2674 2675 2676 2677 2678 2679 2680 2681 2682 2683 2684 2685 2686 2687 2688 2689 2690 2691 2692 2693 2694 2695 2696 2697 2698 2699 2700 2701 2702 2703 2704 2705 2706 2707
    }

    // Run the ingestion job
    if (status.ok()) {
      status = ingestion_job.Run();
    }

    // Install job edit [Mutex will be unlocked here]
    auto mutable_cf_options = cfd->GetLatestMutableCFOptions();
    if (status.ok()) {
      status =
          versions_->LogAndApply(cfd, *mutable_cf_options, ingestion_job.edit(),
                                 &mutex_, directories_.GetDbDir());
    }
    if (status.ok()) {
      delete InstallSuperVersionAndScheduleWork(cfd, nullptr,
                                                *mutable_cf_options);
    }

    // Resume writes to the DB
    write_thread_.ExitUnbatched(&w);

    // Update stats
    if (status.ok()) {
      ingestion_job.UpdateStats();
    }

    ReleaseFileNumberFromPendingOutputs(pending_output_elem);

    num_running_ingest_file_--;
    if (num_running_ingest_file_ == 0) {
      bg_cv_.SignalAll();
    }

    TEST_SYNC_POINT("DBImpl::AddFile:MutexUnlock");
  }
  // mutex_ is unlocked here

  // Cleanup
  ingestion_job.Cleanup(status);

2708 2709 2710 2711
  if (status.ok()) {
    NotifyOnExternalFileIngested(cfd, ingestion_job);
  }

2712 2713 2714
  return status;
}

2715 2716 2717 2718 2719 2720 2721 2722 2723 2724 2725 2726 2727 2728 2729 2730 2731 2732 2733 2734 2735 2736
void DBImpl::NotifyOnExternalFileIngested(
    ColumnFamilyData* cfd, const ExternalSstFileIngestionJob& ingestion_job) {
#ifndef ROCKSDB_LITE
  if (immutable_db_options_.listeners.empty()) {
    return;
  }

  for (const IngestedFileInfo& f : ingestion_job.files_to_ingest()) {
    ExternalFileIngestionInfo info;
    info.cf_name = cfd->GetName();
    info.external_file_path = f.external_file_path;
    info.internal_file_path = f.internal_file_path;
    info.global_seqno = f.assigned_seqno;
    info.table_properties = f.table_properties;
    for (auto listener : immutable_db_options_.listeners) {
      listener->OnExternalFileIngested(this, info);
    }
  }

#endif
}

2737 2738 2739 2740 2741 2742 2743
void DBImpl::WaitForIngestFile() {
  mutex_.AssertHeld();
  while (num_running_ingest_file_ > 0) {
    bg_cv_.Wait();
  }
}

A
agiardullo 已提交
2744 2745
#endif  // ROCKSDB_LITE

2746
}  // namespace rocksdb