db_impl.cc 141.2 KB
Newer Older
1 2 3 4 5
//  Copyright (c) 2013, Facebook, Inc.  All rights reserved.
//  This source code is licensed under the BSD-style license found in the
//  LICENSE file in the root directory of this source tree. An additional grant
//  of patent rights can be found in the PATENTS file in the same directory.
//
J
jorlow@chromium.org 已提交
6 7 8 9 10 11
// 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 已提交
12
#ifndef __STDC_FORMAT_MACROS
I
Igor Canadi 已提交
13
#define __STDC_FORMAT_MACROS
L
liuhuahang 已提交
14 15
#endif

I
Igor Canadi 已提交
16
#include <inttypes.h>
J
jorlow@chromium.org 已提交
17
#include <algorithm>
18 19
#include <climits>
#include <cstdio>
J
jorlow@chromium.org 已提交
20
#include <set>
21
#include <stdexcept>
22 23
#include <stdint.h>
#include <string>
24
#include <unordered_set>
25
#include <unordered_map>
T
Tomislav Novak 已提交
26
#include <utility>
27
#include <vector>
28

J
jorlow@chromium.org 已提交
29
#include "db/builder.h"
I
Igor Canadi 已提交
30
#include "db/flush_job.h"
I
Igor Canadi 已提交
31
#include "db/compaction_job.h"
32
#include "db/db_iter.h"
K
kailiu 已提交
33
#include "db/dbformat.h"
J
jorlow@chromium.org 已提交
34
#include "db/filename.h"
I
Igor Canadi 已提交
35
#include "db/job_context.h"
J
jorlow@chromium.org 已提交
36 37
#include "db/log_reader.h"
#include "db/log_writer.h"
V
Venkatesh Radhakrishnan 已提交
38
#include "db/managed_iterator.h"
J
jorlow@chromium.org 已提交
39
#include "db/memtable.h"
K
kailiu 已提交
40
#include "db/memtable_list.h"
41
#include "db/merge_context.h"
42
#include "db/merge_helper.h"
J
jorlow@chromium.org 已提交
43
#include "db/table_cache.h"
K
kailiu 已提交
44
#include "db/table_properties_collector.h"
L
Lei Jin 已提交
45
#include "db/forward_iterator.h"
46
#include "db/transaction_log_impl.h"
J
jorlow@chromium.org 已提交
47
#include "db/version_set.h"
48
#include "db/writebuffer.h"
J
jorlow@chromium.org 已提交
49
#include "db/write_batch_internal.h"
50
#include "port/port.h"
I
Igor Canadi 已提交
51
#include "rocksdb/cache.h"
52
#include "port/likely.h"
53 54 55 56
#include "rocksdb/compaction_filter.h"
#include "rocksdb/db.h"
#include "rocksdb/env.h"
#include "rocksdb/merge_operator.h"
I
Igor Canadi 已提交
57
#include "rocksdb/version.h"
58 59
#include "rocksdb/statistics.h"
#include "rocksdb/status.h"
S
Siying Dong 已提交
60
#include "rocksdb/table.h"
J
jorlow@chromium.org 已提交
61
#include "table/block.h"
62
#include "table/block_based_table_factory.h"
J
jorlow@chromium.org 已提交
63
#include "table/merger.h"
K
kailiu 已提交
64
#include "table/table_builder.h"
J
jorlow@chromium.org 已提交
65
#include "table/two_level_iterator.h"
66
#include "util/auto_roll_logger.h"
K
kailiu 已提交
67
#include "util/autovector.h"
68
#include "util/build_version.h"
J
jorlow@chromium.org 已提交
69
#include "util/coding.h"
70
#include "util/db_info_dumper.h"
71
#include "util/file_util.h"
I
Igor Canadi 已提交
72
#include "util/hash_skiplist_rep.h"
73
#include "util/hash_linklist_rep.h"
J
jorlow@chromium.org 已提交
74
#include "util/logging.h"
H
Haobo Xu 已提交
75
#include "util/log_buffer.h"
J
jorlow@chromium.org 已提交
76
#include "util/mutexlock.h"
77
#include "util/perf_context_imp.h"
78
#include "util/iostats_context_imp.h"
79
#include "util/stop_watch.h"
80
#include "util/sync_point.h"
81
#include "util/string_util.h"
82 83
#include "util/thread_status_updater.h"
#include "util/thread_status_util.h"
V
Venkatesh Radhakrishnan 已提交
84
#include "util/xfunc.h"
J
jorlow@chromium.org 已提交
85

86
namespace rocksdb {
J
jorlow@chromium.org 已提交
87

88
const std::string kDefaultColumnFamilyName("default");
89

I
Igor Canadi 已提交
90
void DumpRocksDBBuildVersion(Logger * log);
91

S
Stanislau Hlebik 已提交
92 93
struct DBImpl::WriteContext {
  autovector<SuperVersion*> superversions_to_free_;
94
  bool schedule_bg_work_ = false;
S
Stanislau Hlebik 已提交
95 96 97 98 99 100 101 102

  ~WriteContext() {
    for (auto& sv : superversions_to_free_) {
      delete sv;
    }
  }
};

J
jorlow@chromium.org 已提交
103 104 105
Options SanitizeOptions(const std::string& dbname,
                        const InternalKeyComparator* icmp,
                        const Options& src) {
106
  auto db_options = SanitizeOptions(dbname, DBOptions(src));
107
  auto cf_options = SanitizeOptions(db_options, icmp, ColumnFamilyOptions(src));
108 109 110 111 112
  return Options(db_options, cf_options);
}

DBOptions SanitizeOptions(const std::string& dbname, const DBOptions& src) {
  DBOptions result = src;
L
Lei Jin 已提交
113

114 115
  // result.max_open_files means an "infinite" open files.
  if (result.max_open_files != -1) {
116
    ClipToRange(&result.max_open_files, 20, 1000000);
117
  }
118

119
  if (result.info_log == nullptr) {
K
Kai Liu 已提交
120 121
    Status s = CreateLoggerFromOptions(dbname, result.db_log_dir, src.env,
                                       result, &result.info_log);
J
jorlow@chromium.org 已提交
122 123
    if (!s.ok()) {
      // No place suitable for logging
124
      result.info_log = nullptr;
J
jorlow@chromium.org 已提交
125 126
    }
  }
127 128 129 130
  result.env->IncBackgroundThreadsIfNeeded(src.max_background_compactions,
                                           Env::Priority::LOW);
  result.env->IncBackgroundThreadsIfNeeded(src.max_background_flushes,
                                           Env::Priority::HIGH);
131

I
Igor Canadi 已提交
132
  if (result.rate_limiter.get() != nullptr) {
133 134 135 136 137
    if (result.bytes_per_sync == 0) {
      result.bytes_per_sync = 1024 * 1024;
    }
  }

138 139 140 141
  if (result.wal_dir.empty()) {
    // Use dbname as default
    result.wal_dir = dbname;
  }
142
  if (result.wal_dir.back() == '/') {
I
Igor Canadi 已提交
143
    result.wal_dir = result.wal_dir.substr(0, result.wal_dir.size() - 1);
144
  }
145

146
  if (result.db_paths.size() == 0) {
147
    result.db_paths.emplace_back(dbname, std::numeric_limits<uint64_t>::max());
148 149
  }

J
jorlow@chromium.org 已提交
150 151 152
  return result;
}

153 154
namespace {

155 156
Status SanitizeOptionsByTable(
    const DBOptions& db_opts,
157 158 159
    const std::vector<ColumnFamilyDescriptor>& column_families) {
  Status s;
  for (auto cf : column_families) {
160
    s = cf.options.table_factory->SanitizeOptions(db_opts, cf.options);
161 162 163 164 165 166 167
    if (!s.ok()) {
      return s;
    }
  }
  return Status::OK();
}

168
CompressionType GetCompressionFlush(const ImmutableCFOptions& ioptions) {
169 170 171 172 173 174
  // 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.

  bool can_compress;

175
  if (ioptions.compaction_style == kCompactionStyleUniversal) {
176
    can_compress =
177
        (ioptions.compaction_options_universal.compression_size_percent < 0);
178 179
  } else {
    // For leveled compress when min_level_to_compress == 0.
180 181
    can_compress = ioptions.compression_per_level.empty() ||
                   ioptions.compression_per_level[0] != kNoCompression;
182 183 184
  }

  if (can_compress) {
185
    return ioptions.compression;
186 187 188 189
  } else {
    return kNoCompression;
  }
}
I
Igor Canadi 已提交
190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213

void DumpCompressionInfo(Logger* logger) {
  Log(InfoLogLevel::INFO_LEVEL, logger, "Snappy "
#ifndef SNAPPY
      "NOT "
#endif
      "supported");
  Log(InfoLogLevel::INFO_LEVEL, logger, "Zlib "
#ifndef ZLIB
      "NOT "
#endif
      "supported");
  Log(InfoLogLevel::INFO_LEVEL, logger, "Bzip "
#ifndef BZIP2
      "NOT "
#endif
      "supported");
  Log(InfoLogLevel::INFO_LEVEL, logger, "LZ4 "
#ifndef LZ4
      "NOT "
#endif
      "supported");
}

214
}  // namespace
215

I
Igor Canadi 已提交
216
DBImpl::DBImpl(const DBOptions& options, const std::string& dbname)
J
jorlow@chromium.org 已提交
217
    : env_(options.env),
H
heyongqiang 已提交
218
      dbname_(dbname),
219 220
      db_options_(SanitizeOptions(dbname, options)),
      stats_(db_options_.statistics.get()),
221
      db_lock_(nullptr),
I
Igor Canadi 已提交
222
      mutex_(stats_, env_, DB_MUTEX_WAIT_MICROS, options.use_adaptive_mutex),
I
Igor Canadi 已提交
223
      shutting_down_(false),
J
jorlow@chromium.org 已提交
224
      bg_cv_(&mutex_),
225
      logfile_number_(0),
226
      log_dir_synced_(false),
I
Igor Canadi 已提交
227
      log_empty_(true),
228
      default_cf_handle_(nullptr),
I
Igor Canadi 已提交
229 230
      total_log_size_(0),
      max_total_in_memory_state_(0),
S
sdong 已提交
231
      is_snapshot_supported_(true),
232
      write_buffer_(options.db_write_buffer_size),
233 234
      unscheduled_flushes_(0),
      unscheduled_compactions_(0),
235
      bg_compaction_scheduled_(0),
236
      bg_manual_only_(0),
237
      bg_flush_scheduled_(0),
238
      manual_compaction_(nullptr),
239
      disable_delete_obsolete_files_(0),
I
Igor Canadi 已提交
240 241 242
      delete_obsolete_files_next_run_(
          options.env->NowMicros() +
          db_options_.delete_obsolete_files_period_micros),
243
      last_stats_dump_time_microsec_(0),
244
      next_job_id_(1),
245
      flush_on_destroy_(false),
L
Lei Jin 已提交
246
      env_options_(options),
I
Igor Canadi 已提交
247 248 249
#ifndef ROCKSDB_LITE
      wal_manager_(db_options_, env_options_),
#endif  // ROCKSDB_LITE
I
Igor Canadi 已提交
250
      event_logger_(db_options_.info_log.get()),
251
      bg_work_gate_closed_(false),
252
      refitting_level_(false),
253 254
      opened_successfully_(false),
      notifying_events_(0) {
H
heyongqiang 已提交
255
  env_->GetAbsolutePath(dbname, &db_absolute_path_);
256

J
jorlow@chromium.org 已提交
257
  // Reserve ten files or so for other uses and give the rest to TableCache.
258
  // Give a large number for setting of "infinite" open files.
259 260
  const int table_cache_size = (db_options_.max_open_files == -1) ?
        4194304 : db_options_.max_open_files - 10;
261 262
  // Reserve ten files or so for other uses and give the rest to TableCache.
  table_cache_ =
263
      NewLRUCache(table_cache_size, db_options_.table_cache_numshardbits);
264

265
  versions_.reset(new VersionSet(dbname_, &db_options_, env_options_,
266 267
                                 table_cache_.get(), &write_buffer_,
                                 &write_controller_));
I
Igor Canadi 已提交
268 269
  column_family_memtables_.reset(new ColumnFamilyMemTablesImpl(
      versions_->GetColumnFamilySet(), &flush_scheduler_));
270

I
Igor Canadi 已提交
271
  DumpRocksDBBuildVersion(db_options_.info_log.get());
272 273
  DumpDBFileSummary(db_options_, dbname_);
  db_options_.Dump(db_options_.info_log.get());
I
Igor Canadi 已提交
274
  DumpCompressionInfo(db_options_.info_log.get());
275

276
  LogFlush(db_options_.info_log);
J
jorlow@chromium.org 已提交
277 278
}

279
void DBImpl::CancelAllBackgroundWork() {
280 281 282
  shutting_down_.store(true, std::memory_order_release);
}

J
jorlow@chromium.org 已提交
283
DBImpl::~DBImpl() {
Y
Yueh-Hsuan Chiang 已提交
284
  EraseThreadStatusDbInfo();
285
  mutex_.Lock();
286

287 288
  if (flush_on_destroy_) {
    for (auto cfd : *versions_->GetColumnFamilySet()) {
289
      if (!cfd->IsDropped() && !cfd->mem()->IsEmpty()) {
290 291 292 293
        cfd->Ref();
        mutex_.Unlock();
        FlushMemTable(cfd, FlushOptions());
        mutex_.Lock();
294
        cfd->Unref();
295 296
      }
    }
297
    versions_->GetColumnFamilySet()->FreeDeadColumnFamilies();
298
  }
299
  CancelAllBackgroundWork();
300 301 302 303 304 305 306 307 308 309 310
  mutex_.Unlock();
  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
  while (bg_compaction_scheduled_ || bg_flush_scheduled_ || notifying_events_) {
    bg_cv_.Wait();
  }
311
  listeners_.clear();
I
Igor Canadi 已提交
312 313
  flush_scheduler_.Clear();

314 315 316 317 318 319 320 321 322 323 324 325 326
  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 已提交
327 328 329 330 331
  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();
332 333
  }

I
Igor Canadi 已提交
334 335 336 337 338 339 340 341 342 343
  // 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_) {
344
    JobContext job_context(next_job_id_.fetch_add(1));
I
Igor Canadi 已提交
345
    FindObsoleteFiles(&job_context, true);
I
Igor Canadi 已提交
346
    // manifest number starting from 2
I
Igor Canadi 已提交
347 348 349
    job_context.manifest_file_number = 1;
    if (job_context.HaveSomethingToDelete()) {
      PurgeObsoleteFiles(job_context);
350
    }
I
Igor Canadi 已提交
351
    job_context.Clean();
352 353
  }

354 355 356 357
  for (auto l : logs_to_free_) {
    delete l;
  }

358
  // versions need to be destroyed before table_cache since it can hold
359 360
  // references to table_cache.
  versions_.reset();
361
  mutex_.Unlock();
I
Igor Canadi 已提交
362 363 364
  if (db_lock_ != nullptr) {
    env_->UnlockFile(db_lock_);
  }
365

366
  LogFlush(db_options_.info_log);
J
jorlow@chromium.org 已提交
367 368 369
}

Status DBImpl::NewDB() {
370
  VersionEdit new_db;
371
  new_db.SetLogNumber(0);
J
jorlow@chromium.org 已提交
372 373 374
  new_db.SetNextFile(2);
  new_db.SetLastSequence(0);

375 376
  Log(InfoLogLevel::INFO_LEVEL,
      db_options_.info_log, "Creating manifest 1 \n");
J
jorlow@chromium.org 已提交
377
  const std::string manifest = DescriptorFileName(dbname_, 1);
378
  unique_ptr<WritableFile> file;
I
Igor Canadi 已提交
379
  Status s = env_->NewWritableFile(
L
Lei Jin 已提交
380
      manifest, &file, env_->OptimizeForManifestWrite(env_options_));
J
jorlow@chromium.org 已提交
381 382 383
  if (!s.ok()) {
    return s;
  }
384
  file->SetPreallocationBlockSize(db_options_.manifest_preallocation_size);
J
jorlow@chromium.org 已提交
385
  {
386
    log::Writer log(std::move(file));
J
jorlow@chromium.org 已提交
387 388 389
    std::string record;
    new_db.EncodeTo(&record);
    s = log.AddRecord(record);
S
sdong 已提交
390 391 392
    if (s.ok()) {
      s = SyncManifest(env_, &db_options_, log.file());
    }
J
jorlow@chromium.org 已提交
393 394 395
  }
  if (s.ok()) {
    // Make "CURRENT" file that points to the new manifest file.
396
    s = SetCurrentFile(env_, dbname_, 1, directories_.GetDbDir());
J
jorlow@chromium.org 已提交
397 398 399 400 401 402 403
  } else {
    env_->DeleteFile(manifest);
  }
  return s;
}

void DBImpl::MaybeIgnoreError(Status* s) const {
404
  if (s->ok() || db_options_.paranoid_checks) {
J
jorlow@chromium.org 已提交
405 406
    // No change needed
  } else {
407 408
    Log(InfoLogLevel::WARN_LEVEL,
        db_options_.info_log, "Ignoring error %s", s->ToString().c_str());
J
jorlow@chromium.org 已提交
409 410 411 412
    *s = Status::OK();
  }
}

413
const Status DBImpl::CreateArchivalDirectory() {
414 415
  if (db_options_.WAL_ttl_seconds > 0 || db_options_.WAL_size_limit_MB > 0) {
    std::string archivalPath = ArchivalDirectory(db_options_.wal_dir);
416 417 418 419 420
    return env_->CreateDirIfMissing(archivalPath);
  }
  return Status::OK();
}

421
void DBImpl::PrintStatistics() {
422
  auto dbstats = db_options_.statistics.get();
423
  if (dbstats) {
424
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
M
Mark Callaghan 已提交
425
        "STATISTICS:\n %s",
426
        dbstats->ToString().c_str());
427 428 429
  }
}

430
void DBImpl::MaybeDumpStats() {
431
  if (db_options_.stats_dump_period_sec == 0) return;
H
Haobo Xu 已提交
432 433 434 435

  const uint64_t now_micros = env_->NowMicros();

  if (last_stats_dump_time_microsec_ +
436
      db_options_.stats_dump_period_sec * 1000000
H
Haobo Xu 已提交
437 438 439 440 441 442
      <= now_micros) {
    // 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;
443

444 445 446
    bool tmp1 = false;
    bool tmp2 = false;
    DBPropertyType cf_property_type =
447
        GetPropertyType(DB::Properties::kCFStats, &tmp1, &tmp2);
448
    DBPropertyType db_property_type =
449
        GetPropertyType(DB::Properties::kDBStats, &tmp1, &tmp2);
H
Haobo Xu 已提交
450
    std::string stats;
451
    {
452
      InstrumentedMutexLock l(&mutex_);
453
      for (auto cfd : *versions_->GetColumnFamilySet()) {
454
        cfd->internal_stats()->GetStringProperty(cf_property_type,
455 456
                                                 DB::Properties::kCFStats,
                                                 &stats);
457
      }
458
      default_cf_internal_stats_->GetStringProperty(db_property_type,
459 460
                                                    DB::Properties::kDBStats,
                                                    &stats);
461
    }
462 463 464 465
    Log(InfoLogLevel::INFO_LEVEL,
        db_options_.info_log, "------- DUMPING STATS -------");
    Log(InfoLogLevel::INFO_LEVEL,
        db_options_.info_log, "%s", stats.c_str());
466

467
    PrintStatistics();
468 469 470
  }
}

I
Igor Canadi 已提交
471
// * Returns the list of live files in 'sst_live'
I
Igor Canadi 已提交
472
// If it's doing full scan:
I
Igor Canadi 已提交
473 474
// * Returns the list of all files in the filesystem in
// 'full_scan_candidate_files'.
I
Igor Canadi 已提交
475
// Otherwise, gets obsolete files from VersionSet.
I
Igor Canadi 已提交
476 477
// no_full_scan = true -- never do the full scan using GetChildren()
// force = false -- don't force the full scan, except every
478
//  db_options_.delete_obsolete_files_period_micros
I
Igor Canadi 已提交
479
// force = true -- force the full scan
I
Igor Canadi 已提交
480
void DBImpl::FindObsoleteFiles(JobContext* job_context, bool force,
I
Igor Canadi 已提交
481
                               bool no_full_scan) {
D
Dhruba Borthakur 已提交
482 483
  mutex_.AssertHeld();

484
  // if deletion is disabled, do nothing
485
  if (disable_delete_obsolete_files_ > 0) {
486 487 488
    return;
  }

489 490 491 492 493
  bool doing_the_full_scan = false;

  // logic for figurint out if we're doing the full scan
  if (no_full_scan) {
    doing_the_full_scan = false;
494
  } else if (force || db_options_.delete_obsolete_files_period_micros == 0) {
495 496 497
    doing_the_full_scan = true;
  } else {
    const uint64_t now_micros = env_->NowMicros();
I
Igor Canadi 已提交
498
    if (delete_obsolete_files_next_run_ < now_micros) {
499
      doing_the_full_scan = true;
I
Igor Canadi 已提交
500 501
      delete_obsolete_files_next_run_ =
          now_micros + db_options_.delete_obsolete_files_period_micros;
502 503 504
    }
  }

I
Igor Canadi 已提交
505 506 507 508 509 510 511 512 513
  // don't delete files that might be currently written to from compaction
  // threads
  if (!pending_outputs_.empty()) {
    job_context->min_pending_output = *pending_outputs_.begin();
  } else {
    // delete all of them
    job_context->min_pending_output = std::numeric_limits<uint64_t>::max();
  }

I
Igor Canadi 已提交
514
  // get obsolete files
I
Igor Canadi 已提交
515 516
  versions_->GetObsoleteFiles(&job_context->sst_delete_files,
                              job_context->min_pending_output);
I
Igor Canadi 已提交
517

I
Igor Canadi 已提交
518
  // store the current filenum, lognum, etc
519
  job_context->manifest_file_number = versions_->manifest_file_number();
I
Igor Canadi 已提交
520
  job_context->pending_manifest_file_number =
521
      versions_->pending_manifest_file_number();
I
Igor Canadi 已提交
522
  job_context->log_number = versions_->MinLogNumber();
523
  job_context->prev_log_number = versions_->prev_log_number();
I
Igor Canadi 已提交
524

I
Igor Canadi 已提交
525
  versions_->AddLiveFiles(&job_context->sst_live);
526
  if (doing_the_full_scan) {
I
Igor Canadi 已提交
527 528
    for (uint32_t path_id = 0; path_id < db_options_.db_paths.size();
         path_id++) {
529 530 531
      // set of all files in the directory. We'll exclude files that are still
      // alive in the subsequent processings.
      std::vector<std::string> files;
532
      env_->GetChildren(db_options_.db_paths[path_id].path,
533
                        &files);  // Ignore errors
534
      for (std::string file : files) {
I
Igor Canadi 已提交
535
        // TODO(icanadi) clean up this mess to avoid having one-off "/" prefixes
I
Igor Canadi 已提交
536 537
        job_context->full_scan_candidate_files.emplace_back("/" + file,
                                                            path_id);
538 539
      }
    }
540 541

    //Add log files in wal_dir
542
    if (db_options_.wal_dir != dbname_) {
543
      std::vector<std::string> log_files;
544
      env_->GetChildren(db_options_.wal_dir, &log_files);  // Ignore errors
545
      for (std::string log_file : log_files) {
I
Igor Canadi 已提交
546
        job_context->full_scan_candidate_files.emplace_back(log_file, 0);
547 548
      }
    }
549
    // Add info log files in db_log_dir
550
    if (!db_options_.db_log_dir.empty() && db_options_.db_log_dir != dbname_) {
551
      std::vector<std::string> info_log_files;
552 553
      // Ignore errors
      env_->GetChildren(db_options_.db_log_dir, &info_log_files);
554
      for (std::string log_file : info_log_files) {
I
Igor Canadi 已提交
555
        job_context->full_scan_candidate_files.emplace_back(log_file, 0);
556 557
      }
    }
558
  }
559 560
}

561
namespace {
I
Igor Canadi 已提交
562 563
bool CompareCandidateFile(const JobContext::CandidateFileInfo& first,
                          const JobContext::CandidateFileInfo& second) {
564 565 566 567 568
  if (first.file_name > second.file_name) {
    return true;
  } else if (first.file_name < second.file_name) {
    return false;
  } else {
569
    return (first.path_id > second.path_id);
570 571 572 573
  }
}
};  // namespace

D
Dhruba Borthakur 已提交
574
// Diffs the files listed in filenames and those that do not
I
Igor Canadi 已提交
575
// belong to live files are posibly removed. Also, removes all the
576
// files in sst_delete_files and log_delete_files.
577
// It is not necessary to hold the mutex when invoking this method.
I
Igor Canadi 已提交
578
void DBImpl::PurgeObsoleteFiles(const JobContext& state) {
579 580
  // we'd better have sth to delete
  assert(state.HaveSomethingToDelete());
581

I
Igor Canadi 已提交
582 583 584 585
  // this checks if FindObsoleteFiles() was run before. If not, don't do
  // PurgeObsoleteFiles(). If FindObsoleteFiles() was run, we need to also
  // run PurgeObsoleteFiles(), even if disable_delete_obsolete_files_ is true
  if (state.manifest_file_number == 0) {
I
Igor Canadi 已提交
586 587
    return;
  }
588

589
  // Now, convert live list to an unordered map, WITHOUT mutex held;
590
  // set is slow.
591
  std::unordered_map<uint64_t, const FileDescriptor*> sst_live_map;
I
Igor Canadi 已提交
592
  for (const FileDescriptor& fd : state.sst_live) {
593 594
    sst_live_map[fd.GetNumber()] = &fd;
  }
I
Igor Canadi 已提交
595

I
Igor Canadi 已提交
596
  auto candidate_files = state.full_scan_candidate_files;
I
Igor Canadi 已提交
597 598 599
  candidate_files.reserve(candidate_files.size() +
                          state.sst_delete_files.size() +
                          state.log_delete_files.size());
K
kailiu 已提交
600 601
  // We may ignore the dbname when generating the file names.
  const char* kDumbDbName = "";
602
  for (auto file : state.sst_delete_files) {
603 604 605
    candidate_files.emplace_back(
        MakeTableFileName(kDumbDbName, file->fd.GetNumber()),
        file->fd.GetPathId());
606
    delete file;
I
Igor Canadi 已提交
607 608
  }

K
kailiu 已提交
609 610
  for (auto file_num : state.log_delete_files) {
    if (file_num > 0) {
611 612
      candidate_files.emplace_back(LogFileName(kDumbDbName, file_num).substr(1),
                                   0);
I
Igor Canadi 已提交
613 614
    }
  }
615

K
kailiu 已提交
616
  // dedup state.candidate_files so we don't try to delete the same
I
Igor Canadi 已提交
617
  // file twice
618
  sort(candidate_files.begin(), candidate_files.end(), CompareCandidateFile);
619 620
  candidate_files.erase(unique(candidate_files.begin(), candidate_files.end()),
                        candidate_files.end());
J
jorlow@chromium.org 已提交
621

622
  std::vector<std::string> old_info_log_files;
623
  InfoLogPrefix info_log_prefix(!db_options_.db_log_dir.empty(), dbname_);
624 625 626
  for (const auto& candidate_file : candidate_files) {
    std::string to_delete = candidate_file.file_name;
    uint32_t path_id = candidate_file.path_id;
K
kailiu 已提交
627 628 629
    uint64_t number;
    FileType type;
    // Ignore file if we cannot recognize it.
630
    if (!ParseFileName(to_delete, &number, info_log_prefix.prefix, &type)) {
K
kailiu 已提交
631 632
      continue;
    }
J
jorlow@chromium.org 已提交
633

K
kailiu 已提交
634 635 636 637 638 639 640 641
    bool keep = true;
    switch (type) {
      case kLogFile:
        keep = ((number >= state.log_number) ||
                (number == state.prev_log_number));
        break;
      case kDescriptorFile:
        // Keep my manifest file, and any newer incarnations'
642
        // (can happen during manifest roll)
K
kailiu 已提交
643 644 645
        keep = (number >= state.manifest_file_number);
        break;
      case kTableFile:
I
Igor Canadi 已提交
646 647 648 649
        // If the second condition is not there, this makes
        // DontDeletePendingOutputs fail
        keep = (sst_live_map.find(number) != sst_live_map.end()) ||
               number >= state.min_pending_output;
K
kailiu 已提交
650 651 652
        break;
      case kTempFile:
        // Any temp files that are currently being written to must
653 654 655 656
        // be recorded in pending_outputs_, which is inserted into "live".
        // Also, SetCurrentFile creates a temp file when writing out new
        // manifest, which is equal to state.pending_manifest_file_number. We
        // should not delete that file
657
        keep = (sst_live_map.find(number) != sst_live_map.end()) ||
658
               (number == state.pending_manifest_file_number);
K
kailiu 已提交
659 660 661 662
        break;
      case kInfoLogFile:
        keep = true;
        if (number != 0) {
663
          old_info_log_files.push_back(to_delete);
J
jorlow@chromium.org 已提交
664
        }
K
kailiu 已提交
665 666 667 668 669 670 671 672 673 674 675 676 677
        break;
      case kCurrentFile:
      case kDBLockFile:
      case kIdentityFile:
      case kMetaDatabase:
        keep = true;
        break;
    }

    if (keep) {
      continue;
    }

678
    std::string fname;
K
kailiu 已提交
679 680
    if (type == kTableFile) {
      // evict from cache
681
      TableCache::Evict(table_cache_.get(), number);
682
      fname = TableFileName(db_options_.db_paths, number, path_id);
I
Igor Canadi 已提交
683 684 685
      event_logger_.Log() << "event"
                          << "table_file_deletion"
                          << "file_number" << number;
686
    } else {
687 688
      fname = ((type == kLogFile) ?
          db_options_.wal_dir : dbname_) + "/" + to_delete;
K
kailiu 已提交
689
    }
690

I
Igor Canadi 已提交
691 692
#ifdef ROCKSDB_LITE
    Status s = env_->DeleteFile(fname);
693
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
694
        "[JOB %d] Delete %s type=%d #%" PRIu64 " -- %s\n", state.job_id,
I
Igor Canadi 已提交
695 696 697 698 699
        fname.c_str(), type, number, s.ToString().c_str());
#else   // not ROCKSDB_LITE
    if (type == kLogFile && (db_options_.WAL_ttl_seconds > 0 ||
                             db_options_.WAL_size_limit_MB > 0)) {
      wal_manager_.ArchiveWALFile(fname, number);
K
kailiu 已提交
700 701
    } else {
      Status s = env_->DeleteFile(fname);
702
      Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
703
          "[JOB %d] Delete %s type=%d #%" PRIu64 " -- %s\n", state.job_id,
704
          fname.c_str(), type, number, s.ToString().c_str());
J
jorlow@chromium.org 已提交
705
    }
I
Igor Canadi 已提交
706
#endif  // ROCKSDB_LITE
J
jorlow@chromium.org 已提交
707
  }
H
heyongqiang 已提交
708

709
  // Delete old info log files.
710
  size_t old_info_log_file_count = old_info_log_files.size();
711
  if (old_info_log_file_count >= db_options_.keep_log_file_num) {
712
    std::sort(old_info_log_files.begin(), old_info_log_files.end());
713
    size_t end = old_info_log_file_count - db_options_.keep_log_file_num;
714
    for (unsigned int i = 0; i <= end; i++) {
715
      std::string& to_delete = old_info_log_files.at(i);
716 717
      std::string full_path_to_delete = (db_options_.db_log_dir.empty() ?
           dbname_ : db_options_.db_log_dir) + "/" + to_delete;
718
      Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
719
          "[JOB %d] Delete info log file %s\n", state.job_id,
720 721
          full_path_to_delete.c_str());
      Status s = env_->DeleteFile(full_path_to_delete);
722
      if (!s.ok()) {
723 724
        Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
            "[JOB %d] Delete info log file %s FAILED -- %s\n", state.job_id,
725 726
            to_delete.c_str(), s.ToString().c_str());
      }
H
heyongqiang 已提交
727 728
    }
  }
I
Igor Canadi 已提交
729 730 731
#ifndef ROCKSDB_LITE
  wal_manager_.PurgeObsoleteWALFiles();
#endif  // ROCKSDB_LITE
732
  LogFlush(db_options_.info_log);
D
Dhruba Borthakur 已提交
733 734 735 736
}

void DBImpl::DeleteObsoleteFiles() {
  mutex_.AssertHeld();
737
  JobContext job_context(next_job_id_.fetch_add(1));
I
Igor Canadi 已提交
738 739 740
  FindObsoleteFiles(&job_context, true);
  if (job_context.HaveSomethingToDelete()) {
    PurgeObsoleteFiles(job_context);
741
  }
I
Igor Canadi 已提交
742
  job_context.Clean();
743 744
}

745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760
Status DBImpl::Directories::CreateAndNewDirectory(
    Env* env, const std::string& dirname,
    std::unique_ptr<Directory>* directory) const {
  // We call CreateDirIfMissing() as the directory may already exist (if we
  // are reopening a DB), when this happens we don't want creating the
  // directory to cause an error. However, we need to check if creating the
  // directory fails or else we may get an obscure message about the lock
  // file not existing. One real-world example of this occurring is if
  // env->CreateDirIfMissing() doesn't create intermediate directories, e.g.
  // when dbname_ is "dir/db" but when "dir" doesn't exist.
  Status s = env->CreateDirIfMissing(dirname);
  if (!s.ok()) {
    return s;
  }
  return env->NewDirectory(dirname, directory);
}
J
jorlow@chromium.org 已提交
761

762 763 764 765 766 767 768 769 770
Status DBImpl::Directories::SetDirectories(
    Env* env, const std::string& dbname, const std::string& wal_dir,
    const std::vector<DbPath>& data_paths) {
  Status s = CreateAndNewDirectory(env, dbname, &db_dir_);
  if (!s.ok()) {
    return s;
  }
  if (!wal_dir.empty() && dbname != wal_dir) {
    s = CreateAndNewDirectory(env, wal_dir, &wal_dir_);
771 772 773
    if (!s.ok()) {
      return s;
    }
774
  }
775

776 777 778 779 780 781 782 783
  data_dirs_.clear();
  for (auto& p : data_paths) {
    const std::string db_path = p.path;
    if (db_path == dbname) {
      data_dirs_.emplace_back(nullptr);
    } else {
      std::unique_ptr<Directory> path_directory;
      s = CreateAndNewDirectory(env, db_path, &path_directory);
784 785 786
      if (!s.ok()) {
        return s;
      }
787
      data_dirs_.emplace_back(path_directory.release());
788
    }
789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807
  }
  assert(data_dirs_.size() == data_paths.size());
  return Status::OK();
}

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();
  }
  return ret_dir;
}

Status DBImpl::Recover(
    const std::vector<ColumnFamilyDescriptor>& column_families, bool read_only,
    bool error_if_log_file_exist) {
  mutex_.AssertHeld();
808

809 810 811 812 813
  bool is_new_db = false;
  assert(db_lock_ == nullptr);
  if (!read_only) {
    Status s = directories_.SetDirectories(env_, dbname_, db_options_.wal_dir,
                                           db_options_.db_paths);
814 815 816 817
    if (!s.ok()) {
      return s;
    }

818
    s = env_->LockFile(LockFileName(dbname_), &db_lock_);
819 820 821
    if (!s.ok()) {
      return s;
    }
J
jorlow@chromium.org 已提交
822

823
    if (!env_->FileExists(CurrentFileName(dbname_))) {
824
      if (db_options_.create_if_missing) {
825
        s = NewDB();
826
        is_new_db = true;
827 828 829 830 831 832
        if (!s.ok()) {
          return s;
        }
      } else {
        return Status::InvalidArgument(
            dbname_, "does not exist (create_if_missing is false)");
J
jorlow@chromium.org 已提交
833 834
      }
    } else {
835
      if (db_options_.error_if_exists) {
836 837 838
        return Status::InvalidArgument(
            dbname_, "exists (error_if_exists is true)");
      }
J
jorlow@chromium.org 已提交
839
    }
M
Mayank Agarwal 已提交
840 841 842 843 844 845 846
    // Check for the IDENTITY file and create it if not there
    if (!env_->FileExists(IdentityFileName(dbname_))) {
      s = SetIdentityFile(env_, dbname_);
      if (!s.ok()) {
        return s;
      }
    }
J
jorlow@chromium.org 已提交
847 848
  }

849
  Status s = versions_->Recover(column_families, read_only);
850
  if (db_options_.paranoid_checks && s.ok()) {
I
Igor Canadi 已提交
851 852
    s = CheckConsistency();
  }
J
jorlow@chromium.org 已提交
853 854
  if (s.ok()) {
    SequenceNumber max_sequence(0);
855 856
    default_cf_handle_ = new ColumnFamilyHandleImpl(
        versions_->GetColumnFamilySet()->GetDefault(), this, &mutex_);
857
    default_cf_internal_stats_ = default_cf_handle_->cfd()->internal_stats();
858 859
    single_column_family_mode_ =
        versions_->GetColumnFamilySet()->NumberOfColumnFamilies() == 1;
860 861 862 863 864

    // Recover from all newer log files than the ones named in the
    // descriptor (new log files may have been added by the previous
    // incarnation without registering them in the descriptor).
    //
865
    // Note that prev_log_number() is no longer used, but we pay
866
    // attention to it in case we are recovering a database
867
    // produced by an older version of rocksdb.
868
    const uint64_t min_log = versions_->MinLogNumber();
869
    const uint64_t prev_log = versions_->prev_log_number();
870
    std::vector<std::string> filenames;
871
    s = env_->GetChildren(db_options_.wal_dir, &filenames);
872 873
    if (!s.ok()) {
      return s;
874
    }
K
kailiu 已提交
875

876 877
    std::vector<uint64_t> logs;
    for (size_t i = 0; i < filenames.size(); i++) {
K
kailiu 已提交
878 879
      uint64_t number;
      FileType type;
880 881 882 883 884 885 886 887 888
      if (ParseFileName(filenames[i], &number, &type) && type == kLogFile) {
        if (is_new_db) {
          return Status::Corruption(
              "While creating a new Db, wal_dir contains "
              "existing log file: ",
              filenames[i]);
        } else if ((number >= min_log) || (number == prev_log)) {
          logs.push_back(number);
        }
889
      }
J
jorlow@chromium.org 已提交
890
    }
891

H
heyongqiang 已提交
892 893 894 895 896 897
    if (logs.size() > 0 && error_if_log_file_exist) {
      return Status::Corruption(""
          "The db was opened in readonly mode with error_if_log_file_exist"
          "flag but a log file already exists");
    }

S
Stanislau Hlebik 已提交
898 899 900 901 902 903 904
    if (!logs.empty()) {
      // Recover in the order in which the logs were generated
      std::sort(logs.begin(), logs.end());
      s = RecoverLogFiles(logs, &max_sequence, read_only);
      if (!s.ok()) {
        // Clear memtables if recovery failed
        for (auto cfd : *versions_->GetColumnFamilySet()) {
L
Lei Jin 已提交
905
          cfd->CreateNewMemtable(*cfd->GetLatestMutableCFOptions());
S
Stanislau Hlebik 已提交
906 907
        }
      }
908
    }
L
Lei Jin 已提交
909
    SetTickerCount(stats_, SEQUENCE_NUMBER, versions_->LastSequence());
J
jorlow@chromium.org 已提交
910 911
  }

L
Lei Jin 已提交
912 913
  // Initial value
  max_total_in_memory_state_ = 0;
I
Igor Canadi 已提交
914
  for (auto cfd : *versions_->GetColumnFamilySet()) {
L
Lei Jin 已提交
915 916 917
    auto* mutable_cf_options = cfd->GetLatestMutableCFOptions();
    max_total_in_memory_state_ += mutable_cf_options->write_buffer_size *
                                  mutable_cf_options->max_write_buffer_number;
I
Igor Canadi 已提交
918 919
  }

J
jorlow@chromium.org 已提交
920 921 922
  return s;
}

S
Stanislau Hlebik 已提交
923 924 925
// REQUIRES: log_numbers are sorted in ascending order
Status DBImpl::RecoverLogFiles(const std::vector<uint64_t>& log_numbers,
                               SequenceNumber* max_sequence, bool read_only) {
J
jorlow@chromium.org 已提交
926 927
  struct LogReporter : public log::Reader::Reporter {
    Env* env;
928
    Logger* info_log;
J
jorlow@chromium.org 已提交
929
    const char* fname;
930
    Status* status;  // nullptr if db_options_.paranoid_checks==false
I
Igor Sugak 已提交
931
    virtual void Corruption(size_t bytes, const Status& s) override {
932 933
      Log(InfoLogLevel::WARN_LEVEL,
          info_log, "%s%s: dropping %d bytes; %s",
934
          (this->status == nullptr ? "(ignoring error) " : ""),
J
jorlow@chromium.org 已提交
935
          fname, static_cast<int>(bytes), s.ToString().c_str());
936
      if (this->status != nullptr && this->status->ok()) *this->status = s;
J
jorlow@chromium.org 已提交
937 938 939 940
    }
  };

  mutex_.AssertHeld();
S
Stanislau Hlebik 已提交
941
  Status status;
942
  std::unordered_map<int, VersionEdit> version_edits;
943
  // no need to refcount because iteration is under mutex
944 945
  for (auto cfd : *versions_->GetColumnFamilySet()) {
    VersionEdit edit;
946 947
    edit.SetColumnFamily(cfd->GetID());
    version_edits.insert({cfd->GetID(), edit});
948
  }
I
Igor Canadi 已提交
949

S
Stanislau Hlebik 已提交
950 951 952 953
  for (auto log_number : log_numbers) {
    // The previous incarnation may not have written any MANIFEST
    // records after allocating this log number.  So we manually
    // update the file number allocation counter in VersionSet.
954
    versions_->MarkFileNumberUsedDuringRecovery(log_number);
S
Stanislau Hlebik 已提交
955 956 957 958
    // Open the log file
    std::string fname = LogFileName(db_options_.wal_dir, log_number);
    unique_ptr<SequentialFile> file;
    status = env_->NewSequentialFile(fname, &file, env_options_);
J
jorlow@chromium.org 已提交
959
    if (!status.ok()) {
S
Stanislau Hlebik 已提交
960 961 962 963 964 965 966 967
      MaybeIgnoreError(&status);
      if (!status.ok()) {
        return status;
      } else {
        // Fail with one log file, but that's ok.
        // Try next one.
        continue;
      }
J
jorlow@chromium.org 已提交
968 969
    }

S
Stanislau Hlebik 已提交
970 971 972 973 974
    // Create the log reader.
    LogReporter reporter;
    reporter.env = env_;
    reporter.info_log = db_options_.info_log.get();
    reporter.fname = fname.c_str();
975
    reporter.status = (db_options_.paranoid_checks) ? &status : nullptr;
S
Stanislau Hlebik 已提交
976 977 978 979 980 981
    // We intentially make log::Reader do checksumming even if
    // paranoid_checks==false so that corruptions cause entire commits
    // to be skipped instead of propagating bad information (like overly
    // large sequence numbers).
    log::Reader reader(std::move(file), &reporter, true /*checksum*/,
                       0 /*initial_offset*/);
982 983
    Log(InfoLogLevel::INFO_LEVEL,
        db_options_.info_log, "Recovering log #%" PRIu64 "", log_number);
S
Stanislau Hlebik 已提交
984 985 986 987 988

    // Read all the records and add to a memtable
    std::string scratch;
    Slice record;
    WriteBatch batch;
I
Igor Canadi 已提交
989
    while (reader.ReadRecord(&record, &scratch) && status.ok()) {
S
Stanislau Hlebik 已提交
990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015
      if (record.size() < 12) {
        reporter.Corruption(record.size(),
                            Status::Corruption("log record too small"));
        continue;
      }
      WriteBatchInternal::SetContents(&batch, record);

      // If column family was not found, it might mean that the WAL write
      // batch references to the column family that was dropped after the
      // insert. We don't want to fail the whole write batch in that case --
      // we just ignore the update.
      // That's why we set ignore missing column families to true
      status = WriteBatchInternal::InsertInto(
          &batch, column_family_memtables_.get(), true, log_number);

      MaybeIgnoreError(&status);
      if (!status.ok()) {
        return status;
      }
      const SequenceNumber last_seq = WriteBatchInternal::Sequence(&batch) +
                                      WriteBatchInternal::Count(&batch) - 1;
      if (last_seq > *max_sequence) {
        *max_sequence = last_seq;
      }

      if (!read_only) {
I
Igor Canadi 已提交
1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032
        // we can do this because this is called before client has access to the
        // DB and there is only a single thread operating on DB
        ColumnFamilyData* cfd;

        while ((cfd = flush_scheduler_.GetNextColumnFamily()) != nullptr) {
          cfd->Unref();
          // If this asserts, it means that InsertInto failed in
          // filtering updates to already-flushed column families
          assert(cfd->GetLogNumber() <= log_number);
          auto iter = version_edits.find(cfd->GetID());
          assert(iter != version_edits.end());
          VersionEdit* edit = &iter->second;
          status = WriteLevel0TableForRecovery(cfd, cfd->mem(), edit);
          if (!status.ok()) {
            // Reflect errors immediately so that conditions like full
            // file-systems cause the DB::Open() to fail.
            return status;
1033
          }
L
Lei Jin 已提交
1034
          cfd->CreateNewMemtable(*cfd->GetLatestMutableCFOptions());
1035
        }
J
jorlow@chromium.org 已提交
1036 1037 1038
      }
    }

1039 1040 1041 1042
    if (!status.ok()) {
      return status;
    }

I
Igor Canadi 已提交
1043
    flush_scheduler_.Clear();
S
Stanislau Hlebik 已提交
1044 1045 1046
    if (versions_->LastSequence() < *max_sequence) {
      versions_->SetLastSequence(*max_sequence);
    }
1047 1048
  }

1049
  if (!read_only) {
1050 1051
    // no need to refcount since client still doesn't have access
    // to the DB and can not drop column families while we iterate
S
Stanislau Hlebik 已提交
1052
    auto max_log_number = log_numbers.back();
1053
    for (auto cfd : *versions_->GetColumnFamilySet()) {
1054
      auto iter = version_edits.find(cfd->GetID());
1055 1056 1057
      assert(iter != version_edits.end());
      VersionEdit* edit = &iter->second;

S
Stanislau Hlebik 已提交
1058
      if (cfd->GetLogNumber() > max_log_number) {
1059
        // Column family cfd has already flushed the data
S
Stanislau Hlebik 已提交
1060
        // from all logs. Memtable has to be empty because
1061
        // we filter the updates based on log_number
1062
        // (in WriteBatch::InsertInto)
1063 1064 1065 1066 1067 1068 1069
        assert(cfd->mem()->GetFirstSequenceNumber() == 0);
        assert(edit->NumEntries() == 0);
        continue;
      }

      // flush the final memtable (if non-empty)
      if (cfd->mem()->GetFirstSequenceNumber() != 0) {
1070
        status = WriteLevel0TableForRecovery(cfd, cfd->mem(), edit);
S
Stanislau Hlebik 已提交
1071 1072 1073 1074
        if (!status.ok()) {
          // Recovery failed
          break;
        }
L
Lei Jin 已提交
1075
        cfd->CreateNewMemtable(*cfd->GetLatestMutableCFOptions());
1076
      }
J
jorlow@chromium.org 已提交
1077

1078
      // write MANIFEST with update
S
Stanislau Hlebik 已提交
1079
      // writing log_number in the manifest means that any log file
1080 1081
      // with number strongly less than (log_number + 1) is already
      // recovered and should be ignored on next reincarnation.
S
Stanislau Hlebik 已提交
1082 1083 1084
      // Since we already recovered max_log_number, we want all logs
      // with numbers `<= max_log_number` (includes this one) to be ignored
      edit->SetLogNumber(max_log_number + 1);
1085 1086 1087
      // we must mark the next log number as used, even though it's
      // not actually used. that is because VersionSet assumes
      // VersionSet::next_file_number_ always to be strictly greater than any
I
Igor Canadi 已提交
1088
      // log number
1089
      versions_->MarkFileNumberUsedDuringRecovery(max_log_number + 1);
1090 1091
      status = versions_->LogAndApply(
          cfd, *cfd->GetLatestMutableCFOptions(), edit, &mutex_);
1092
      if (!status.ok()) {
S
Stanislau Hlebik 已提交
1093 1094
        // Recovery failed
        break;
1095 1096
      }
    }
1097
  }
I
Igor Canadi 已提交
1098

J
jorlow@chromium.org 已提交
1099 1100 1101
  return status;
}

1102 1103
Status DBImpl::WriteLevel0TableForRecovery(ColumnFamilyData* cfd, MemTable* mem,
                                           VersionEdit* edit) {
J
jorlow@chromium.org 已提交
1104
  mutex_.AssertHeld();
1105
  const uint64_t start_micros = env_->NowMicros();
J
jorlow@chromium.org 已提交
1106
  FileMetaData meta;
1107
  meta.fd = FileDescriptor(versions_->NewFileNumber(), 0, 0);
I
Igor Canadi 已提交
1108 1109
  auto pending_outputs_inserted_elem =
      CaptureCurrentFileNumberInPendingOutputs();
1110 1111
  ReadOptions ro;
  ro.total_order_seek = true;
1112
  Arena arena;
1113 1114
  Status s;
  {
1115 1116 1117 1118
    ScopedArenaIterator iter(mem->NewIterator(ro, &arena));
    const SequenceNumber newest_snapshot = snapshots_.GetNewest();
    const SequenceNumber earliest_seqno_in_memtable =
        mem->GetFirstSequenceNumber();
1119 1120 1121
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
        "[%s] [WriteLevel0TableForRecovery]"
        " Level-0 table #%" PRIu64 ": started",
1122
        cfd->GetName().c_str(), meta.fd.GetNumber());
1123

1124 1125 1126 1127 1128
    {
      mutex_.Unlock();
      s = BuildTable(
          dbname_, env_, *cfd->ioptions(), env_options_, cfd->table_cache(),
          iter.get(), &meta, cfd->internal_comparator(), newest_snapshot,
1129 1130
          earliest_seqno_in_memtable, GetCompressionFlush(*cfd->ioptions()),
          cfd->ioptions()->compression_opts, Env::IO_HIGH);
1131
      LogFlush(db_options_.info_log);
1132 1133
      mutex_.Lock();
    }
1134

1135 1136 1137
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
        "[%s] [WriteLevel0TableForRecovery]"
        " Level-0 table #%" PRIu64 ": %" PRIu64 " bytes %s",
1138 1139 1140
        cfd->GetName().c_str(), meta.fd.GetNumber(), meta.fd.GetFileSize(),
        s.ToString().c_str());
  }
I
Igor Canadi 已提交
1141
  ReleaseFileNumberFromPendingOutputs(pending_outputs_inserted_elem);
1142 1143 1144 1145

  // Note that if file_size is zero, the file has been deleted and
  // should not be added to the manifest.
  int level = 0;
1146
  if (s.ok() && meta.fd.GetFileSize() > 0) {
1147 1148 1149
    edit->AddFile(level, meta.fd.GetNumber(), meta.fd.GetPathId(),
                  meta.fd.GetFileSize(), meta.smallest, meta.largest,
                  meta.smallest_seqno, meta.largest_seqno);
1150 1151
  }

L
Lei Jin 已提交
1152
  InternalStats::CompactionStats stats(1);
1153
  stats.micros = env_->NowMicros() - start_micros;
1154
  stats.bytes_written = meta.fd.GetFileSize();
M
Mark Callaghan 已提交
1155
  stats.files_out_levelnp1 = 1;
1156
  cfd->internal_stats()->AddCompactionStats(level, stats);
1157 1158
  cfd->internal_stats()->AddCFStats(
      InternalStats::BYTES_FLUSHED, meta.fd.GetFileSize());
L
Lei Jin 已提交
1159
  RecordTick(stats_, COMPACT_WRITE_BYTES, meta.fd.GetFileSize());
J
jorlow@chromium.org 已提交
1160 1161 1162
  return s;
}

1163 1164
Status DBImpl::FlushMemTableToOutputFile(
    ColumnFamilyData* cfd, const MutableCFOptions& mutable_cf_options,
I
Igor Canadi 已提交
1165
    bool* madeProgress, JobContext* job_context, LogBuffer* log_buffer) {
1166
  mutex_.AssertHeld();
1167
  assert(cfd->imm()->size() != 0);
1168
  assert(cfd->imm()->IsFlushPending());
1169

I
Igor Canadi 已提交
1170 1171
  FlushJob flush_job(dbname_, cfd, db_options_, mutable_cf_options,
                     env_options_, versions_.get(), &mutex_, &shutting_down_,
I
Igor Canadi 已提交
1172
                     snapshots_.GetNewest(), job_context, log_buffer,
1173
                     directories_.GetDbDir(), directories_.GetDataDir(0U),
I
Igor Canadi 已提交
1174 1175
                     GetCompressionFlush(*cfd->ioptions()), stats_,
                     &event_logger_);
1176

1177 1178
  uint64_t file_number;
  Status s = flush_job.Run(&file_number);
J
jorlow@chromium.org 已提交
1179 1180

  if (s.ok()) {
I
Igor Canadi 已提交
1181
    InstallSuperVersionBackground(cfd, job_context, mutable_cf_options);
1182 1183 1184
    if (madeProgress) {
      *madeProgress = 1;
    }
S
sdong 已提交
1185
    VersionStorageInfo::LevelSummaryStorage tmp;
I
Igor Canadi 已提交
1186
    LogToBuffer(log_buffer, "[%s] Level summary: %s\n", cfd->GetName().c_str(),
S
sdong 已提交
1187
                cfd->current()->storage_info()->LevelSummary(&tmp));
1188

1189
    if (disable_delete_obsolete_files_ == 0) {
I
Igor Canadi 已提交
1190
      // add to deletion state
1191
      while (alive_log_files_.size() &&
I
Igor Canadi 已提交
1192 1193
             alive_log_files_.begin()->number < versions_->MinLogNumber()) {
        const auto& earliest = *alive_log_files_.begin();
I
Igor Canadi 已提交
1194
        job_context->log_delete_files.push_back(earliest.number);
I
Igor Canadi 已提交
1195
        total_log_size_ -= earliest.size;
1196 1197
        alive_log_files_.pop_front();
      }
1198
    }
J
jorlow@chromium.org 已提交
1199
  }
1200

1201
  if (!s.ok() && !s.IsShutdownInProgress() && db_options_.paranoid_checks &&
1202 1203 1204 1205 1206
      bg_error_.ok()) {
    // if a bad error happened (not ShutdownInProgress) and paranoid_checks is
    // true, mark DB read-only
    bg_error_ = s;
  }
1207
  RecordFlushIOStats();
1208 1209 1210
#ifndef ROCKSDB_LITE
  if (s.ok()) {
    // may temporarily unlock and lock the mutex.
1211
    NotifyOnFlushCompleted(cfd, file_number, mutable_cf_options);
1212 1213
  }
#endif  // ROCKSDB_LITE
J
jorlow@chromium.org 已提交
1214 1215 1216
  return s;
}

1217
void DBImpl::NotifyOnFlushCompleted(
1218 1219
    ColumnFamilyData* cfd, uint64_t file_number,
    const MutableCFOptions& mutable_cf_options) {
1220
#ifndef ROCKSDB_LITE
1221 1222 1223
  if (cfd->ioptions()->listeners.size() == 0U) {
    return;
  }
1224 1225 1226 1227 1228 1229
  mutex_.AssertHeld();
  if (shutting_down_.load(std::memory_order_acquire)) {
    return;
  }
  bool triggered_flush_slowdown =
      (cfd->current()->storage_info()->NumLevelFiles(0) >=
1230
       mutable_cf_options.level0_slowdown_writes_trigger);
1231 1232
  bool triggered_flush_stop =
      (cfd->current()->storage_info()->NumLevelFiles(0) >=
1233
       mutable_cf_options.level0_stop_writes_trigger);
1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246
  notifying_events_++;
  // release lock while notifying events
  mutex_.Unlock();
  // TODO(yhchiang): make db_paths dynamic.
  cfd->NotifyOnFlushCompleted(
        this, MakeTableFileName(db_options_.db_paths[0].path, file_number),
        triggered_flush_slowdown,
        triggered_flush_stop);
  mutex_.Lock();
  notifying_events_--;
  assert(notifying_events_ >= 0);
  // no need to signal bg_cv_ as it will be signaled at the end of the
  // flush process.
1247
#endif  // ROCKSDB_LITE
1248 1249
}

1250
Status DBImpl::CompactRange(ColumnFamilyHandle* column_family,
1251
                            const Slice* begin, const Slice* end,
1252 1253
                            bool reduce_level, int target_level,
                            uint32_t target_path_id) {
1254
  if (target_path_id >= db_options_.db_paths.size()) {
1255 1256 1257
    return Status::InvalidArgument("Invalid target path ID");
  }

1258 1259
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
I
Igor Canadi 已提交
1260 1261

  Status s = FlushMemTable(cfd, FlushOptions());
L
Lei Jin 已提交
1262
  if (!s.ok()) {
1263
    LogFlush(db_options_.info_log);
L
Lei Jin 已提交
1264 1265 1266
    return s;
  }

I
Igor Canadi 已提交
1267
  int max_level_with_files = 0;
G
Gabor Cselle 已提交
1268
  {
1269
    InstrumentedMutexLock l(&mutex_);
I
Igor Canadi 已提交
1270 1271
    Version* base = cfd->current();
    for (int level = 1; level < cfd->NumberLevels(); level++) {
S
sdong 已提交
1272
      if (base->storage_info()->OverlapInLevel(level, begin, end)) {
G
Gabor Cselle 已提交
1273 1274 1275 1276
        max_level_with_files = level;
      }
    }
  }
1277 1278
  for (int level = 0; level <= max_level_with_files; level++) {
    // in case the compaction is unversal or if we're compacting the
1279 1280 1281
    // bottom-most level, the output level will be the same as input one.
    // level 0 can never be the bottommost level (i.e. if all files are in level
    // 0, we will compact to level 1)
1282 1283
    if (cfd->ioptions()->compaction_style == kCompactionStyleUniversal ||
        cfd->ioptions()->compaction_style == kCompactionStyleFIFO ||
1284
        (level == max_level_with_files && level > 0)) {
1285
      s = RunManualCompaction(cfd, level, level, target_path_id, begin, end);
1286
    } else {
S
sdong 已提交
1287
      // TODO(sdong) Skip empty levels if possible.
1288 1289
      s = RunManualCompaction(cfd, level, level + 1, target_path_id, begin,
                              end);
L
Lei Jin 已提交
1290 1291
    }
    if (!s.ok()) {
1292
      LogFlush(db_options_.info_log);
L
Lei Jin 已提交
1293
      return s;
1294
    }
G
Gabor Cselle 已提交
1295
  }
1296 1297

  if (reduce_level) {
I
Igor Canadi 已提交
1298
    s = ReFitLevel(cfd, max_level_with_files, target_level);
1299
  }
1300
  LogFlush(db_options_.info_log);
L
Lei Jin 已提交
1301

1302
  {
1303
    InstrumentedMutexLock l(&mutex_);
1304 1305 1306 1307 1308
    // an automatic compaction that has been scheduled might have been
    // preempted by the manual compactions. Need to schedule it back.
    MaybeScheduleFlushOrCompaction();
  }

L
Lei Jin 已提交
1309
  return s;
1310 1311
}

1312 1313 1314 1315 1316
Status DBImpl::CompactFiles(
    const CompactionOptions& compact_options,
    ColumnFamilyHandle* column_family,
    const std::vector<std::string>& input_file_names,
    const int output_level, const int output_path_id) {
I
Igor Canadi 已提交
1317 1318 1319 1320
#ifdef ROCKSDB_LITE
    // not supported in lite version
  return Status::NotSupported("Not supported in ROCKSDB LITE");
#else
1321 1322 1323 1324 1325 1326
  if (column_family == nullptr) {
    return Status::InvalidArgument("ColumnFamilyHandle must be non-null.");
  }

  auto cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family)->cfd();
  assert(cfd);
1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367

  Status s;
  JobContext job_context(0, true);
  LogBuffer log_buffer(InfoLogLevel::INFO_LEVEL,
                       db_options_.info_log.get());

  // Perform CompactFiles
  SuperVersion* sv = GetAndRefSuperVersion(cfd);
  {
    InstrumentedMutexLock l(&mutex_);

    s = CompactFilesImpl(compact_options, cfd, sv->current,
                         input_file_names, output_level,
                         output_path_id, &job_context, &log_buffer);
  }
  ReturnAndCleanupSuperVersion(cfd, sv);

  // Find and delete obsolete files
  {
    InstrumentedMutexLock l(&mutex_);
    // If !s.ok(), this means that Compaction failed. In that case, we want
    // to delete all obsolete files we might have created and we force
    // FindObsoleteFiles(). This is because job_context does not
    // catch all created files if compaction failed.
    FindObsoleteFiles(&job_context, !s.ok());
  }

  // delete unnecessary files if any, this is done outside the mutex
  if (job_context.HaveSomethingToDelete() || !log_buffer.IsEmpty()) {
    // Have to flush the info logs before bg_compaction_scheduled_--
    // because if bg_flush_scheduled_ becomes 0 and the lock is
    // released, the deconstructor of DB can kick in and destroy all the
    // states of DB so info_log might not be available after that point.
    // It also applies to access other states that DB owns.
    log_buffer.FlushBufferToLog();
    if (job_context.HaveSomethingToDelete()) {
      PurgeObsoleteFiles(job_context);
    }
    job_context.Clean();
  }

1368
  return s;
I
Igor Canadi 已提交
1369
#endif  // ROCKSDB_LITE
1370 1371
}

I
Igor Canadi 已提交
1372
#ifndef ROCKSDB_LITE
1373 1374 1375
Status DBImpl::CompactFilesImpl(
    const CompactionOptions& compact_options, ColumnFamilyData* cfd,
    Version* version, const std::vector<std::string>& input_file_names,
1376 1377
    const int output_level, int output_path_id, JobContext* job_context,
    LogBuffer* log_buffer) {
1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440
  mutex_.AssertHeld();

  if (shutting_down_.load(std::memory_order_acquire)) {
    return Status::ShutdownInProgress();
  }

  std::unordered_set<uint64_t> input_set;
  for (auto file_name : input_file_names) {
    input_set.insert(TableFileNameToNumber(file_name));
  }

  ColumnFamilyMetaData cf_meta;
  // TODO(yhchiang): can directly use version here if none of the
  // following functions call is pluggable to external developers.
  version->GetColumnFamilyMetaData(&cf_meta);

  if (output_path_id < 0) {
    if (db_options_.db_paths.size() == 1U) {
      output_path_id = 0;
    } else {
      return Status::NotSupported(
          "Automatic output path selection is not "
          "yet supported in CompactFiles()");
    }
  }

  Status s = cfd->compaction_picker()->SanitizeCompactionInputFiles(
      &input_set, cf_meta, output_level);
  if (!s.ok()) {
    return s;
  }

  autovector<CompactionInputFiles> input_files;
  s = cfd->compaction_picker()->GetCompactionInputsFromFileNumbers(
      &input_files, &input_set, version->storage_info(), compact_options);
  if (!s.ok()) {
    return s;
  }

  for (auto inputs : input_files) {
    if (cfd->compaction_picker()->FilesInCompaction(inputs.files)) {
      return Status::Aborted(
          "Some of the necessary compaction input "
          "files are already being compacted");
    }
  }

  // At this point, CompactFiles will be run.
  bg_compaction_scheduled_++;

  unique_ptr<Compaction> c;
  assert(cfd->compaction_picker());
  c.reset(cfd->compaction_picker()->FormCompaction(
        compact_options, input_files,
        output_level, version->storage_info(),
        *cfd->GetLatestMutableCFOptions()));
  assert(c);
  c->SetInputVersion(version);
  c->SetOutputPathId(static_cast<uint32_t>(output_path_id));
  // deletion compaction currently not allowed in CompactFiles.
  assert(!c->IsDeletionCompaction());

  auto yield_callback = [&]() {
1441 1442 1443
    return CallFlushDuringCompaction(
        c->column_family_data(), *c->mutable_cf_options(),
        job_context, log_buffer);
1444
  };
1445
  CompactionJob compaction_job(
1446 1447
      job_context->job_id, c.get(), db_options_, *c->mutable_cf_options(),
      env_options_, versions_.get(), &shutting_down_, log_buffer,
1448 1449 1450
      directories_.GetDbDir(), directories_.GetDataDir(c->GetOutputPathId()),
      stats_, &snapshots_, is_snapshot_supported_, table_cache_,
      std::move(yield_callback));
1451 1452 1453 1454 1455
  compaction_job.Prepare();

  mutex_.Unlock();
  Status status = compaction_job.Run();
  mutex_.Lock();
1456
  compaction_job.Install(&status, &mutex_);
1457
  if (status.ok()) {
1458
    InstallSuperVersionBackground(c->column_family_data(), job_context,
1459
                                  *c->mutable_cf_options());
1460 1461 1462 1463 1464 1465 1466 1467 1468
  }
  c->ReleaseCompactionFiles(s);
  c.reset();

  if (status.ok()) {
    // Done
  } else if (status.IsShutdownInProgress()) {
    // Ignore compaction errors found during shutting down
  } else {
1469 1470
    Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log,
        "[%s] [JOB %d] Compaction error: %s",
1471
        c->column_family_data()->GetName().c_str(), job_context->job_id,
1472 1473 1474 1475 1476 1477 1478 1479 1480 1481
        status.ToString().c_str());
    if (db_options_.paranoid_checks && bg_error_.ok()) {
      bg_error_ = status;
    }
  }

  bg_compaction_scheduled_--;

  return status;
}
I
Igor Canadi 已提交
1482
#endif  // ROCKSDB_LITE
1483

O
Ori Bernstein 已提交
1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505
void DBImpl::NotifyOnCompactionCompleted(
    ColumnFamilyData* cfd, Compaction *c, const Status &st) {
#ifndef ROCKSDB_LITE
  if (cfd->ioptions()->listeners.size() == 0U) {
    return;
  }
  mutex_.AssertHeld();
  if (shutting_down_.load(std::memory_order_acquire)) {
    return;
  }
  notifying_events_++;
  // release lock while notifying events
  mutex_.Unlock();
  cfd->NotifyOnCompactionCompleted(this, c, st);
  mutex_.Lock();
  notifying_events_--;
  assert(notifying_events_ >= 0);
  // no need to signal bg_cv_ as it will be signaled at the end of the
  // flush process.
#endif  // ROCKSDB_LITE
}

1506
Status DBImpl::SetOptions(ColumnFamilyHandle* column_family,
1507
    const std::unordered_map<std::string, std::string>& options_map) {
I
Igor Canadi 已提交
1508 1509 1510
#ifdef ROCKSDB_LITE
  return Status::NotSupported("Not supported in ROCKSDB LITE");
#else
L
Lei Jin 已提交
1511 1512
  auto* cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family)->cfd();
  if (options_map.empty()) {
1513 1514
    Log(InfoLogLevel::WARN_LEVEL,
        db_options_.info_log, "SetOptions() on column family [%s], empty input",
L
Lei Jin 已提交
1515
        cfd->GetName().c_str());
1516
    return Status::InvalidArgument("empty input");
L
Lei Jin 已提交
1517 1518 1519
  }

  MutableCFOptions new_options;
1520
  Status s;
L
Lei Jin 已提交
1521
  {
1522
    InstrumentedMutexLock l(&mutex_);
1523 1524
    s = cfd->SetOptions(options_map);
    if (s.ok()) {
L
Lei Jin 已提交
1525 1526 1527 1528
      new_options = *cfd->GetLatestMutableCFOptions();
    }
  }

1529 1530
  Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
      "SetOptions() on column family [%s], inputs:",
L
Lei Jin 已提交
1531 1532
      cfd->GetName().c_str());
  for (const auto& o : options_map) {
1533 1534
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
        "%s: %s\n", o.first.c_str(), o.second.c_str());
L
Lei Jin 已提交
1535
  }
1536
  if (s.ok()) {
1537 1538
    Log(InfoLogLevel::INFO_LEVEL,
        db_options_.info_log, "[%s] SetOptions succeeded",
L
Lei Jin 已提交
1539 1540 1541
        cfd->GetName().c_str());
    new_options.Dump(db_options_.info_log.get());
  } else {
1542 1543
    Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log,
        "[%s] SetOptions failed", cfd->GetName().c_str());
L
Lei Jin 已提交
1544
  }
1545
  return s;
I
Igor Canadi 已提交
1546
#endif  // ROCKSDB_LITE
1547 1548
}

1549
// return the same level if it cannot be moved
1550 1551
int DBImpl::FindMinimumEmptyLevelFitting(ColumnFamilyData* cfd,
    const MutableCFOptions& mutable_cf_options, int level) {
1552
  mutex_.AssertHeld();
S
sdong 已提交
1553
  const auto* vstorage = cfd->current()->storage_info();
1554
  int minimum_level = level;
1555
  for (int i = level - 1; i > 0; --i) {
1556
    // stop if level i is not empty
S
sdong 已提交
1557
    if (vstorage->NumLevelFiles(i) > 0) break;
1558
    // stop if level i is too small (cannot fit the level files)
1559
    if (vstorage->MaxBytesForLevel(i) < vstorage->NumLevelBytes(level)) {
1560 1561
      break;
    }
1562 1563 1564 1565 1566 1567

    minimum_level = i;
  }
  return minimum_level;
}

I
Igor Canadi 已提交
1568 1569
Status DBImpl::ReFitLevel(ColumnFamilyData* cfd, int level, int target_level) {
  assert(level < cfd->NumberLevels());
1570

I
Igor Canadi 已提交
1571
  SuperVersion* superversion_to_free = nullptr;
1572
  SuperVersion* new_superversion = new SuperVersion();
I
Igor Canadi 已提交
1573 1574

  mutex_.Lock();
1575 1576 1577

  // only allow one thread refitting
  if (refitting_level_) {
I
Igor Canadi 已提交
1578
    mutex_.Unlock();
1579 1580
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
        "[ReFitLevel] another thread is refitting");
I
Igor Canadi 已提交
1581
    delete new_superversion;
L
Lei Jin 已提交
1582
    return Status::NotSupported("another thread is refitting");
1583 1584 1585 1586 1587
  }
  refitting_level_ = true;

  // wait for all background threads to stop
  bg_work_gate_closed_ = true;
1588
  while (bg_compaction_scheduled_ > 0 || bg_flush_scheduled_) {
1589 1590
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
        "[RefitLevel] waiting for background threads to stop: %d %d",
1591
        bg_compaction_scheduled_, bg_flush_scheduled_);
1592 1593 1594
    bg_cv_.Wait();
  }

1595 1596
  const MutableCFOptions mutable_cf_options =
    *cfd->GetLatestMutableCFOptions();
1597
  // move to a smaller level
1598 1599
  int to_level = target_level;
  if (target_level < 0) {
1600
    to_level = FindMinimumEmptyLevelFitting(cfd, mutable_cf_options, level);
1601
  }
1602 1603 1604

  assert(to_level <= level);

L
Lei Jin 已提交
1605
  Status status;
1606
  if (to_level < level) {
1607 1608
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
        "[%s] Before refitting:\n%s",
1609
        cfd->GetName().c_str(), cfd->current()->DebugString().data());
1610

1611
    VersionEdit edit;
I
Igor Canadi 已提交
1612
    edit.SetColumnFamily(cfd->GetID());
S
sdong 已提交
1613
    for (const auto& f : cfd->current()->storage_info()->LevelFiles(level)) {
1614
      edit.DeleteFile(level, f->fd.GetNumber());
1615 1616 1617
      edit.AddFile(to_level, f->fd.GetNumber(), f->fd.GetPathId(),
                   f->fd.GetFileSize(), f->smallest, f->largest,
                   f->smallest_seqno, f->largest_seqno);
1618
    }
1619 1620
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
        "[%s] Apply version edit:\n%s",
I
Igor Canadi 已提交
1621
        cfd->GetName().c_str(), edit.DebugString().data());
1622

1623 1624
    status = versions_->LogAndApply(cfd, mutable_cf_options, &edit, &mutex_,
                                    directories_.GetDbDir());
L
Lei Jin 已提交
1625 1626
    superversion_to_free = InstallSuperVersion(
        cfd, new_superversion, mutable_cf_options);
I
Igor Canadi 已提交
1627
    new_superversion = nullptr;
1628

1629 1630
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
        "[%s] LogAndApply: %s\n", cfd->GetName().c_str(),
I
Igor Canadi 已提交
1631
        status.ToString().data());
1632 1633

    if (status.ok()) {
1634 1635
      Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
          "[%s] After refitting:\n%s",
I
Igor Canadi 已提交
1636
          cfd->GetName().c_str(), cfd->current()->DebugString().data());
1637 1638 1639 1640 1641
    }
  }

  refitting_level_ = false;
  bg_work_gate_closed_ = false;
I
Igor Canadi 已提交
1642 1643 1644 1645

  mutex_.Unlock();
  delete superversion_to_free;
  delete new_superversion;
L
Lei Jin 已提交
1646
  return status;
G
Gabor Cselle 已提交
1647 1648
}

1649 1650 1651
int DBImpl::NumberLevels(ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  return cfh->cfd()->NumberLevels();
1652 1653
}

1654 1655
int DBImpl::MaxMemCompactionLevel(ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
1656
  InstrumentedMutexLock l(&mutex_);
L
Lei Jin 已提交
1657 1658
  return cfh->cfd()->GetSuperVersion()->
      mutable_cf_options.max_mem_compaction_level;
1659 1660
}

1661 1662
int DBImpl::Level0StopWriteTrigger(ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
1663
  InstrumentedMutexLock l(&mutex_);
L
Lei Jin 已提交
1664 1665
  return cfh->cfd()->GetSuperVersion()->
      mutable_cf_options.level0_stop_writes_trigger;
1666 1667
}

L
Lei Jin 已提交
1668
Status DBImpl::Flush(const FlushOptions& flush_options,
1669 1670
                     ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
L
Lei Jin 已提交
1671
  return FlushMemTable(cfh->cfd(), flush_options);
H
heyongqiang 已提交
1672 1673
}

1674
SequenceNumber DBImpl::GetLatestSequenceNumber() const {
1675 1676 1677
  return versions_->LastSequence();
}

I
Igor Canadi 已提交
1678
Status DBImpl::RunManualCompaction(ColumnFamilyData* cfd, int input_level,
1679 1680
                                   int output_level, uint32_t output_path_id,
                                   const Slice* begin, const Slice* end) {
1681
  assert(input_level >= 0);
1682

G
Gabor Cselle 已提交
1683 1684
  InternalKey begin_storage, end_storage;

H
hans@chromium.org 已提交
1685
  ManualCompaction manual;
I
Igor Canadi 已提交
1686
  manual.cfd = cfd;
1687 1688
  manual.input_level = input_level;
  manual.output_level = output_level;
1689
  manual.output_path_id = output_path_id;
G
Gabor Cselle 已提交
1690
  manual.done = false;
1691
  manual.in_progress = false;
1692 1693 1694
  // For universal compaction, we enforce every manual compaction to compact
  // all files.
  if (begin == nullptr ||
1695 1696
      cfd->ioptions()->compaction_style == kCompactionStyleUniversal ||
      cfd->ioptions()->compaction_style == kCompactionStyleFIFO) {
1697
    manual.begin = nullptr;
G
Gabor Cselle 已提交
1698 1699 1700 1701
  } else {
    begin_storage = InternalKey(*begin, kMaxSequenceNumber, kValueTypeForSeek);
    manual.begin = &begin_storage;
  }
1702
  if (end == nullptr ||
1703 1704
      cfd->ioptions()->compaction_style == kCompactionStyleUniversal ||
      cfd->ioptions()->compaction_style == kCompactionStyleFIFO) {
1705
    manual.end = nullptr;
G
Gabor Cselle 已提交
1706 1707 1708 1709 1710
  } else {
    end_storage = InternalKey(*end, 0, static_cast<ValueType>(0));
    manual.end = &end_storage;
  }

1711
  InstrumentedMutexLock l(&mutex_);
1712

1713 1714 1715 1716 1717 1718
  // When a manual compaction arrives, temporarily disable scheduling of
  // non-manual compactions and wait until the number of scheduled compaction
  // jobs drops to zero. This is needed to ensure that this manual compaction
  // can compact any range of keys/files.
  //
  // bg_manual_only_ is non-zero when at least one thread is inside
1719
  // RunManualCompaction(), i.e. during that time no other compaction will
1720 1721 1722
  // get scheduled (see MaybeScheduleFlushOrCompaction).
  //
  // Note that the following loop doesn't stop more that one thread calling
1723
  // RunManualCompaction() from getting to the second while loop below.
1724 1725 1726 1727 1728
  // However, only one of them will actually schedule compaction, while
  // others will wait on a condition variable until it completes.

  ++bg_manual_only_;
  while (bg_compaction_scheduled_ > 0) {
1729
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
I
Igor Canadi 已提交
1730 1731 1732
        "[%s] Manual compaction waiting for all other scheduled background "
        "compactions to finish",
        cfd->GetName().c_str());
1733 1734
    bg_cv_.Wait();
  }
1735

1736 1737
  Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
      "[%s] Manual compaction starting",
I
Igor Canadi 已提交
1738
      cfd->GetName().c_str());
1739

1740 1741 1742 1743
  // We don't check bg_error_ here, because if we get the error in compaction,
  // the compaction will set manual.status to bg_error_ and set manual.done to
  // true.
  while (!manual.done) {
1744 1745 1746
    assert(bg_manual_only_ > 0);
    if (manual_compaction_ != nullptr) {
      // Running either this or some other manual compaction
G
Gabor Cselle 已提交
1747
      bg_cv_.Wait();
1748 1749
    } else {
      manual_compaction_ = &manual;
1750
      bg_compaction_scheduled_++;
1751
      env_->Schedule(&DBImpl::BGWorkCompaction, this, Env::Priority::LOW, this);
G
Gabor Cselle 已提交
1752
    }
H
hans@chromium.org 已提交
1753
  }
1754

1755 1756 1757
  assert(!manual.in_progress);
  assert(bg_manual_only_ > 0);
  --bg_manual_only_;
L
Lei Jin 已提交
1758
  return manual.status;
J
jorlow@chromium.org 已提交
1759 1760
}

1761
Status DBImpl::FlushMemTable(ColumnFamilyData* cfd,
L
Lei Jin 已提交
1762
                             const FlushOptions& flush_options) {
S
Stanislau Hlebik 已提交
1763 1764 1765
  Status s;
  {
    WriteContext context;
1766
    InstrumentedMutexLock guard_lock(&mutex_);
1767 1768 1769 1770 1771 1772

    if (cfd->imm()->size() == 0 && cfd->mem()->IsEmpty()) {
      // Nothing to flush
      return Status::OK();
    }

I
Igor Canadi 已提交
1773 1774
    WriteThread::Writer w(&mutex_);
    s = write_thread_.EnterWriteThread(&w, 0);
S
Stanislau Hlebik 已提交
1775 1776 1777 1778 1779
    assert(s.ok() && !w.done);  // No timeout and nobody should do our job

    // SetNewMemtableAndNewLogFile() will release and reacquire mutex
    // during execution
    s = SetNewMemtableAndNewLogFile(cfd, &context);
1780 1781
    write_thread_.ExitWriteThread(&w, &w, s);

S
Stanislau Hlebik 已提交
1782 1783
    cfd->imm()->FlushRequested();

1784 1785 1786
    // schedule flush
    SchedulePendingFlush(cfd);
    MaybeScheduleFlushOrCompaction();
S
Stanislau Hlebik 已提交
1787
  }
S
Stanislau Hlebik 已提交
1788

L
Lei Jin 已提交
1789
  if (s.ok() && flush_options.wait) {
1790
    // Wait until the compaction completes
1791
    s = WaitForFlushMemTable(cfd);
1792 1793
  }
  return s;
J
jorlow@chromium.org 已提交
1794 1795
}

1796
Status DBImpl::WaitForFlushMemTable(ColumnFamilyData* cfd) {
1797 1798
  Status s;
  // Wait until the compaction completes
1799
  InstrumentedMutexLock l(&mutex_);
1800
  while (cfd->imm()->size() > 0 && bg_error_.ok()) {
1801 1802
    bg_cv_.Wait();
  }
1803
  if (!bg_error_.ok()) {
1804 1805 1806
    s = bg_error_;
  }
  return s;
H
heyongqiang 已提交
1807 1808
}

1809
void DBImpl::MaybeScheduleFlushOrCompaction() {
J
jorlow@chromium.org 已提交
1810
  mutex_.AssertHeld();
1811
  if (bg_work_gate_closed_) {
1812 1813
    // gate closed for background work
    return;
I
Igor Canadi 已提交
1814
  } else if (shutting_down_.load(std::memory_order_acquire)) {
J
jorlow@chromium.org 已提交
1815
    // DB is being deleted; no more background compactions
1816 1817 1818 1819 1820
    return;
  } else if (bg_manual_only_) {
    // manual only
    return;
  }
1821

1822 1823 1824 1825
  while (unscheduled_flushes_ > 0 &&
         bg_flush_scheduled_ < db_options_.max_background_flushes) {
    unscheduled_flushes_--;
    bg_flush_scheduled_++;
1826
    env_->Schedule(&DBImpl::BGWorkFlush, this, Env::Priority::HIGH, this);
1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838
  }

  if (db_options_.max_background_flushes == 0 &&
      bg_compaction_scheduled_ < db_options_.max_background_compactions &&
      unscheduled_flushes_ > 0) {
    // special case where flush is executed by compaction thread
    // (if max_background_flushes == 0).
    // Compaction thread will execute all the flushes
    unscheduled_flushes_ = 0;
    if (unscheduled_compactions_ > 0) {
      // bg compaction will execute one compaction
      unscheduled_compactions_--;
1839
    }
1840
    bg_compaction_scheduled_++;
1841
    env_->Schedule(&DBImpl::BGWorkCompaction, this, Env::Priority::LOW, this);
1842 1843 1844 1845 1846 1847
  }

  while (bg_compaction_scheduled_ < db_options_.max_background_compactions &&
         unscheduled_compactions_ > 0) {
    bg_compaction_scheduled_++;
    unscheduled_compactions_--;
1848
    env_->Schedule(&DBImpl::BGWorkCompaction, this, Env::Priority::LOW, this);
1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 1890 1891 1892 1893 1894
  }
}

void DBImpl::AddToCompactionQueue(ColumnFamilyData* cfd) {
  assert(!cfd->pending_compaction());
  cfd->Ref();
  compaction_queue_.push_back(cfd);
  cfd->set_pending_compaction(true);
}

ColumnFamilyData* DBImpl::PopFirstFromCompactionQueue() {
  assert(!compaction_queue_.empty());
  auto cfd = *compaction_queue_.begin();
  compaction_queue_.pop_front();
  assert(cfd->pending_compaction());
  cfd->set_pending_compaction(false);
  return cfd;
}

void DBImpl::AddToFlushQueue(ColumnFamilyData* cfd) {
  assert(!cfd->pending_flush());
  cfd->Ref();
  flush_queue_.push_back(cfd);
  cfd->set_pending_flush(true);
}

ColumnFamilyData* DBImpl::PopFirstFromFlushQueue() {
  assert(!flush_queue_.empty());
  auto cfd = *flush_queue_.begin();
  flush_queue_.pop_front();
  assert(cfd->pending_flush());
  cfd->set_pending_flush(false);
  return cfd;
}

void DBImpl::SchedulePendingFlush(ColumnFamilyData* cfd) {
  if (!cfd->pending_flush() && cfd->imm()->IsFlushPending()) {
    AddToFlushQueue(cfd);
    ++unscheduled_flushes_;
  }
}

void DBImpl::SchedulePendingCompaction(ColumnFamilyData* cfd) {
  if (!cfd->pending_compaction() && cfd->NeedsCompaction()) {
    AddToCompactionQueue(cfd);
    ++unscheduled_compactions_;
1895 1896 1897
  }
}

1898
void DBImpl::RecordFlushIOStats() {
I
Igor Canadi 已提交
1899
  RecordTick(stats_, FLUSH_WRITE_BYTES, IOSTATS(bytes_written));
1900 1901 1902
  IOSTATS_RESET(bytes_written);
}

1903
void DBImpl::BGWorkFlush(void* db) {
1904
  IOSTATS_SET_THREAD_POOL_ID(Env::Priority::HIGH);
1905 1906 1907 1908
  reinterpret_cast<DBImpl*>(db)->BackgroundCallFlush();
}

void DBImpl::BGWorkCompaction(void* db) {
1909
  IOSTATS_SET_THREAD_POOL_ID(Env::Priority::LOW);
1910
  TEST_SYNC_POINT("DBImpl::BGWorkCompaction");
1911 1912 1913
  reinterpret_cast<DBImpl*>(db)->BackgroundCallCompaction();
}

I
Igor Canadi 已提交
1914
Status DBImpl::BackgroundFlush(bool* madeProgress, JobContext* job_context,
H
Haobo Xu 已提交
1915
                               LogBuffer* log_buffer) {
1916
  mutex_.AssertHeld();
1917

1918 1919 1920 1921 1922 1923 1924
  Status status = bg_error_;
  if (status.ok() && shutting_down_.load(std::memory_order_acquire)) {
    status = Status::ShutdownInProgress();
  }

  if (!status.ok()) {
    return status;
1925 1926
  }

1927 1928 1929
  ColumnFamilyData* cfd = nullptr;
  while (!flush_queue_.empty()) {
    // This cfd is already referenced
I
Igor Canadi 已提交
1930
    auto first_cfd = PopFirstFromFlushQueue();
1931

I
Igor Canadi 已提交
1932
    if (first_cfd->IsDropped() || !first_cfd->imm()->IsFlushPending()) {
1933
      // can't flush this CF, try next one
I
Igor Canadi 已提交
1934 1935
      if (first_cfd->Unref()) {
        delete first_cfd;
1936 1937
      }
      continue;
1938
    }
1939 1940

    // found a flush!
I
Igor Canadi 已提交
1941
    cfd = first_cfd;
1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958
    break;
  }

  if (cfd != nullptr) {
    const MutableCFOptions mutable_cf_options =
        *cfd->GetLatestMutableCFOptions();
    LogToBuffer(
        log_buffer,
        "Calling FlushMemTableToOutputFile with column "
        "family [%s], flush slots available %d, compaction slots available %d",
        cfd->GetName().c_str(),
        db_options_.max_background_flushes - bg_flush_scheduled_,
        db_options_.max_background_compactions - bg_compaction_scheduled_);
    status = FlushMemTableToOutputFile(cfd, mutable_cf_options, madeProgress,
                                       job_context, log_buffer);
    if (cfd->Unref()) {
      delete cfd;
1959
    }
J
jorlow@chromium.org 已提交
1960
  }
1961
  return status;
J
jorlow@chromium.org 已提交
1962 1963
}

1964
void DBImpl::BackgroundCallFlush() {
1965
  bool madeProgress = false;
1966
  JobContext job_context(next_job_id_.fetch_add(1), true);
1967 1968
  assert(bg_flush_scheduled_);

1969
  LogBuffer log_buffer(InfoLogLevel::INFO_LEVEL, db_options_.info_log.get());
H
Haobo Xu 已提交
1970
  {
1971
    InstrumentedMutexLock l(&mutex_);
H
Haobo Xu 已提交
1972

I
Igor Canadi 已提交
1973 1974 1975
    auto pending_outputs_inserted_elem =
        CaptureCurrentFileNumberInPendingOutputs();

1976
    Status s = BackgroundFlush(&madeProgress, &job_context, &log_buffer);
1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993
    if (!s.ok() && !s.IsShutdownInProgress()) {
      // Wait a little bit before retrying background flush in
      // case this is an environmental problem and we do not want to
      // chew up resources for failed flushes for the duration of
      // the problem.
      uint64_t error_cnt =
        default_cf_internal_stats_->BumpAndGetBackgroundErrorCount();
      bg_cv_.SignalAll();  // In case a waiter can proceed despite the error
      mutex_.Unlock();
      Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
          "Waiting after background flush error: %s"
          "Accumulated background error counts: %" PRIu64,
          s.ToString().c_str(), error_cnt);
      log_buffer.FlushBufferToLog();
      LogFlush(db_options_.info_log);
      env_->SleepForMicroseconds(1000000);
      mutex_.Lock();
H
Haobo Xu 已提交
1994 1995
    }

I
Igor Canadi 已提交
1996 1997
    ReleaseFileNumberFromPendingOutputs(pending_outputs_inserted_elem);

1998 1999 2000 2001
    // We're just cleaning up for DB::Write()
    job_context.logs_to_free = logs_to_free_;
    logs_to_free_.clear();

2002 2003 2004
    // If flush failed, we want to delete all temporary files that we might have
    // created. Thus, we force full scan in FindObsoleteFiles()
    FindObsoleteFiles(&job_context, !s.ok() && !s.IsShutdownInProgress());
H
Haobo Xu 已提交
2005
    // delete unnecessary files if any, this is done outside the mutex
I
Igor Canadi 已提交
2006
    if (job_context.HaveSomethingToDelete() || !log_buffer.IsEmpty()) {
2007
      mutex_.Unlock();
2008 2009 2010 2011 2012
      // Have to flush the info logs before bg_flush_scheduled_--
      // because if bg_flush_scheduled_ becomes 0 and the lock is
      // released, the deconstructor of DB can kick in and destroy all the
      // states of DB so info_log might not be available after that point.
      // It also applies to access other states that DB owns.
H
Haobo Xu 已提交
2013
      log_buffer.FlushBufferToLog();
I
Igor Canadi 已提交
2014 2015
      if (job_context.HaveSomethingToDelete()) {
        PurgeObsoleteFiles(job_context);
2016
      }
I
Igor Canadi 已提交
2017
      job_context.Clean();
2018 2019
      mutex_.Lock();
    }
I
Igor Canadi 已提交
2020

H
Haobo Xu 已提交
2021
    bg_flush_scheduled_--;
2022 2023
    // See if there's more work to be done
    MaybeScheduleFlushOrCompaction();
I
Igor Canadi 已提交
2024
    RecordFlushIOStats();
H
Haobo Xu 已提交
2025
    bg_cv_.SignalAll();
I
Igor Canadi 已提交
2026 2027 2028 2029
    // 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.
2030
  }
J
jorlow@chromium.org 已提交
2031 2032
}

2033
void DBImpl::BackgroundCallCompaction() {
2034
  bool madeProgress = false;
2035
  JobContext job_context(next_job_id_.fetch_add(1), true);
H
Haobo Xu 已提交
2036 2037

  MaybeDumpStats();
2038
  LogBuffer log_buffer(InfoLogLevel::INFO_LEVEL, db_options_.info_log.get());
2039
  {
2040
    InstrumentedMutexLock l(&mutex_);
I
Igor Canadi 已提交
2041 2042 2043 2044

    auto pending_outputs_inserted_elem =
        CaptureCurrentFileNumberInPendingOutputs();

2045
    assert(bg_compaction_scheduled_);
2046
    Status s = BackgroundCompaction(&madeProgress, &job_context, &log_buffer);
2047 2048 2049 2050 2051 2052
    if (!s.ok() && !s.IsShutdownInProgress()) {
      // Wait a little bit before retrying background compaction in
      // case this is an environmental problem and we do not want to
      // chew up resources for failed compactions for the duration of
      // the problem.
      uint64_t error_cnt =
2053
          default_cf_internal_stats_->BumpAndGetBackgroundErrorCount();
2054 2055 2056 2057 2058 2059 2060 2061 2062 2063
      bg_cv_.SignalAll();  // In case a waiter can proceed despite the error
      mutex_.Unlock();
      log_buffer.FlushBufferToLog();
      Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
          "Waiting after background compaction error: %s, "
          "Accumulated background error counts: %" PRIu64,
          s.ToString().c_str(), error_cnt);
      LogFlush(db_options_.info_log);
      env_->SleepForMicroseconds(1000000);
      mutex_.Lock();
2064
    }
H
Haobo Xu 已提交
2065

I
Igor Canadi 已提交
2066 2067
    ReleaseFileNumberFromPendingOutputs(pending_outputs_inserted_elem);

2068 2069 2070 2071
    // We're just cleaning up for DB::Write()
    job_context.logs_to_free = logs_to_free_;
    logs_to_free_.clear();

2072 2073 2074 2075
    // If compaction failed, we want to delete all temporary files that we might
    // have created (they might not be all recorded in job_context in case of a
    // failure). Thus, we force full scan in FindObsoleteFiles()
    FindObsoleteFiles(&job_context, !s.ok() && !s.IsShutdownInProgress());
2076 2077

    // delete unnecessary files if any, this is done outside the mutex
I
Igor Canadi 已提交
2078
    if (job_context.HaveSomethingToDelete() || !log_buffer.IsEmpty()) {
2079
      mutex_.Unlock();
2080 2081 2082 2083 2084
      // Have to flush the info logs before bg_compaction_scheduled_--
      // because if bg_flush_scheduled_ becomes 0 and the lock is
      // released, the deconstructor of DB can kick in and destroy all the
      // states of DB so info_log might not be available after that point.
      // It also applies to access other states that DB owns.
H
Haobo Xu 已提交
2085
      log_buffer.FlushBufferToLog();
I
Igor Canadi 已提交
2086 2087
      if (job_context.HaveSomethingToDelete()) {
        PurgeObsoleteFiles(job_context);
2088
      }
I
Igor Canadi 已提交
2089
      job_context.Clean();
2090 2091
      mutex_.Lock();
    }
D
Dhruba Borthakur 已提交
2092

2093
    bg_compaction_scheduled_--;
J
jorlow@chromium.org 已提交
2094

2095 2096
    versions_->GetColumnFamilySet()->FreeDeadColumnFamilies();

2097 2098
    // See if there's more work to be done
    MaybeScheduleFlushOrCompaction();
2099 2100
    if (madeProgress || bg_compaction_scheduled_ == 0 || bg_manual_only_ > 0) {
      // signal if
I
Igor Canadi 已提交
2101
      // * madeProgress -- need to wakeup DelayWrite
2102 2103 2104 2105 2106 2107
      // * bg_compaction_scheduled_ == 0 -- need to wakeup ~DBImpl
      // * bg_manual_only_ > 0 -- need to wakeup RunManualCompaction
      // If none of this is true, there is no need to signal since nobody is
      // waiting for it
      bg_cv_.SignalAll();
    }
I
Igor Canadi 已提交
2108 2109 2110 2111
    // 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.
2112
  }
J
jorlow@chromium.org 已提交
2113 2114
}

I
Igor Canadi 已提交
2115
Status DBImpl::BackgroundCompaction(bool* madeProgress, JobContext* job_context,
2116
                                    LogBuffer* log_buffer) {
2117
  *madeProgress = false;
J
jorlow@chromium.org 已提交
2118
  mutex_.AssertHeld();
2119

2120 2121
  bool is_manual = (manual_compaction_ != nullptr) &&
                   (manual_compaction_->in_progress == false);
2122

2123 2124 2125 2126 2127 2128
  Status status = bg_error_;
  if (status.ok() && shutting_down_.load(std::memory_order_acquire)) {
    status = Status::ShutdownInProgress();
  }

  if (!status.ok()) {
2129
    if (is_manual) {
2130
      manual_compaction_->status = status;
2131 2132 2133 2134
      manual_compaction_->done = true;
      manual_compaction_->in_progress = false;
      manual_compaction_ = nullptr;
    }
2135
    return status;
2136 2137
  }

2138 2139 2140
  if (is_manual) {
    // another thread cannot pick up the same work
    manual_compaction_->in_progress = true;
2141 2142 2143 2144
  } else if (manual_compaction_ != nullptr) {
    // there should be no automatic compactions running when manual compaction
    // is running
    return Status::OK();
2145 2146
  }

2147 2148 2149 2150 2151 2152 2153 2154 2155 2156 2157 2158 2159 2160
  // If there are no flush threads, then compaction thread needs to execute the
  // flushes
  if (db_options_.max_background_flushes == 0) {
    // BackgroundFlush() will only execute a single flush. We keep calling it as
    // long as there's more flushes to be done
    while (!flush_queue_.empty()) {
      LogToBuffer(
          log_buffer,
          "BackgroundCompaction calling BackgroundFlush. flush slots available "
          "%d, compaction slots available %d",
          db_options_.max_background_flushes - bg_flush_scheduled_,
          db_options_.max_background_compactions - bg_compaction_scheduled_);
      auto flush_status =
          BackgroundFlush(madeProgress, job_context, log_buffer);
2161 2162 2163 2164
      // the second condition will be false when a column family is dropped. we
      // don't want to fail compaction because of that (because it might be a
      // different column family)
      if (!flush_status.ok() && !flush_status.IsShutdownInProgress()) {
2165 2166 2167 2168 2169 2170 2171
        if (is_manual) {
          manual_compaction_->status = flush_status;
          manual_compaction_->done = true;
          manual_compaction_->in_progress = false;
          manual_compaction_ = nullptr;
        }
        return flush_status;
2172 2173 2174 2175 2176
      }
    }
  }

  unique_ptr<Compaction> c;
2177 2178
  InternalKey manual_end_storage;
  InternalKey* manual_end = &manual_end_storage;
H
hans@chromium.org 已提交
2179
  if (is_manual) {
G
Gabor Cselle 已提交
2180
    ManualCompaction* m = manual_compaction_;
2181
    assert(m->in_progress);
2182 2183 2184
    c.reset(m->cfd->CompactRange(
          *m->cfd->GetLatestMutableCFOptions(), m->input_level, m->output_level,
          m->output_path_id, m->begin, m->end, &manual_end));
2185
    if (!c) {
2186
      m->done = true;
G
Gabor Cselle 已提交
2187
    }
I
Igor Canadi 已提交
2188 2189 2190 2191 2192 2193 2194 2195 2196
    LogToBuffer(log_buffer,
                "[%s] Manual compaction from level-%d to level-%d from %s .. "
                "%s; will stop at %s\n",
                m->cfd->GetName().c_str(), m->input_level, m->output_level,
                (m->begin ? m->begin->DebugString().c_str() : "(begin)"),
                (m->end ? m->end->DebugString().c_str() : "(end)"),
                ((m->done || manual_end == nullptr)
                     ? "(end)"
                     : manual_end->DebugString().c_str()));
2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 2213 2214 2215 2216 2217 2218 2219 2220 2221 2222 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232 2233 2234 2235 2236 2237 2238 2239 2240 2241 2242 2243
  } else if (!compaction_queue_.empty()) {
    // cfd is referenced here
    auto cfd = PopFirstFromCompactionQueue();
    // We unreference here because the following code will take a Ref() on
    // this cfd if it is going to use it (Compaction class holds a
    // reference).
    // This will all happen under a mutex so we don't have to be afraid of
    // somebody else deleting it.
    if (cfd->Unref()) {
      delete cfd;
      // This was the last reference of the column family, so no need to
      // compact.
      return Status::OK();
    }

    // Pick up latest mutable CF Options and use it throughout the
    // compaction job
    // Compaction makes a copy of the latest MutableCFOptions. It should be used
    // throughout the compaction procedure to make sure consistency. It will
    // eventually be installed into SuperVersion
    auto* mutable_cf_options = cfd->GetLatestMutableCFOptions();
    if (!mutable_cf_options->disable_auto_compactions && !cfd->IsDropped()) {
      // NOTE: try to avoid unnecessary copy of MutableCFOptions if
      // compaction is not necessary. Need to make sure mutex is held
      // until we make a copy in the following code
      c.reset(cfd->PickCompaction(*mutable_cf_options, log_buffer));
      if (c != nullptr) {
        // update statistics
        MeasureTime(stats_, NUM_FILES_IN_SINGLE_COMPACTION,
                    c->inputs(0)->size());
        // There are three things that can change compaction score:
        // 1) When flush or compaction finish. This case is covered by
        // InstallSuperVersion()
        // 2) When MutableCFOptions changes. This case is also covered by
        // InstallSuperVersion(), because this is when the new options take
        // effect.
        // 3) When we Pick a new compaction, we "remove" those files being
        // compacted from the calculation, which then influences compaction
        // score. Here we check if we need the new compaction even without the
        // files that are currently being compacted. If we need another
        // compaction, we might be able to execute it in parallel, so we add it
        // to the queue and schedule a new thread.
        if (cfd->NeedsCompaction()) {
          // Yes, we need more compactions!
          AddToCompactionQueue(cfd);
          ++unscheduled_compactions_;
          MaybeScheduleFlushOrCompaction();
I
Igor Canadi 已提交
2244
        }
I
Igor Canadi 已提交
2245 2246
      }
    }
J
jorlow@chromium.org 已提交
2247 2248
  }

2249
  if (!c) {
H
hans@chromium.org 已提交
2250
    // Nothing to do
2251
    LogToBuffer(log_buffer, "Compaction nothing to do");
I
Igor Canadi 已提交
2252 2253 2254 2255 2256
  } else if (c->IsDeletionCompaction()) {
    // TODO(icanadi) Do we want to honor snapshots here? i.e. not delete old
    // file if there is alive snapshot pointing to it
    assert(c->num_input_files(1) == 0);
    assert(c->level() == 0);
2257
    assert(c->column_family_data()->ioptions()->compaction_style ==
I
Igor Canadi 已提交
2258 2259
           kCompactionStyleFIFO);
    for (const auto& f : *c->inputs(0)) {
2260
      c->edit()->DeleteFile(c->level(), f->fd.GetNumber());
I
Igor Canadi 已提交
2261
    }
2262 2263 2264
    status = versions_->LogAndApply(c->column_family_data(),
                                    *c->mutable_cf_options(), c->edit(),
                                    &mutex_, directories_.GetDbDir());
I
Igor Canadi 已提交
2265 2266
    InstallSuperVersionBackground(c->column_family_data(), job_context,
                                  *c->mutable_cf_options());
I
Igor Canadi 已提交
2267 2268 2269 2270
    LogToBuffer(log_buffer, "[%s] Deleted %d files\n",
                c->column_family_data()->GetName().c_str(),
                c->num_input_files(0));
    *madeProgress = true;
H
hans@chromium.org 已提交
2271
  } else if (!is_manual && c->IsTrivialMove()) {
2272 2273 2274 2275 2276
    // Instrument for event update
    // TODO(yhchiang): add op details for showing trivial-move.
    ThreadStatusUtil::SetColumnFamily(c->column_family_data());
    ThreadStatusUtil::SetThreadOperation(ThreadStatus::OP_COMPACTION);

J
jorlow@chromium.org 已提交
2277
    // Move file to next level
2278
    assert(c->num_input_files(0) == 1);
J
jorlow@chromium.org 已提交
2279
    FileMetaData* f = c->input(0, 0);
2280
    c->edit()->DeleteFile(c->level(), f->fd.GetNumber());
2281 2282 2283
    c->edit()->AddFile(c->level() + 1, f->fd.GetNumber(), f->fd.GetPathId(),
                       f->fd.GetFileSize(), f->smallest, f->largest,
                       f->smallest_seqno, f->largest_seqno);
2284
    status = versions_->LogAndApply(c->column_family_data(),
2285 2286
                                    *c->mutable_cf_options(), c->edit(),
                                    &mutex_, directories_.GetDbDir());
2287
    // Use latest MutableCFOptions
I
Igor Canadi 已提交
2288 2289
    InstallSuperVersionBackground(c->column_family_data(), job_context,
                                  *c->mutable_cf_options());
2290

S
sdong 已提交
2291
    VersionStorageInfo::LevelSummaryStorage tmp;
2292 2293
    c->column_family_data()->internal_stats()->IncBytesMoved(
        c->level() + 1, f->fd.GetFileSize());
2294 2295 2296 2297 2298 2299
    LogToBuffer(
        log_buffer,
        "[%s] Moved #%" PRIu64 " to level-%d %" PRIu64 " bytes %s: %s\n",
        c->column_family_data()->GetName().c_str(), f->fd.GetNumber(),
        c->level() + 1, f->fd.GetFileSize(), status.ToString().c_str(),
        c->column_family_data()->current()->storage_info()->LevelSummary(&tmp));
2300
    *madeProgress = true;
2301 2302 2303

    // Clear Instrument
    ThreadStatusUtil::ResetThreadStatus();
J
jorlow@chromium.org 已提交
2304
  } else {
I
Igor Canadi 已提交
2305 2306 2307 2308 2309
    auto yield_callback = [&]() {
      return CallFlushDuringCompaction(c->column_family_data(),
                                       *c->mutable_cf_options(), job_context,
                                       log_buffer);
    };
2310
    CompactionJob compaction_job(
2311 2312 2313 2314 2315
        job_context->job_id, c.get(), db_options_, *c->mutable_cf_options(),
        env_options_, versions_.get(), &shutting_down_, log_buffer,
        directories_.GetDbDir(), directories_.GetDataDir(c->GetOutputPathId()),
        stats_, &snapshots_, is_snapshot_supported_, table_cache_,
        std::move(yield_callback));
I
Igor Canadi 已提交
2316 2317 2318 2319
    compaction_job.Prepare();
    mutex_.Unlock();
    status = compaction_job.Run();
    mutex_.Lock();
2320
    compaction_job.Install(&status, &mutex_);
I
Igor Canadi 已提交
2321 2322 2323 2324
    if (status.ok()) {
      InstallSuperVersionBackground(c->column_family_data(), job_context,
                                    *c->mutable_cf_options());
    }
O
Ori Bernstein 已提交
2325 2326 2327 2328 2329
    *madeProgress = true;
  }
  // FIXME(orib): should I check if column family data is null?
  if (c != nullptr) {
    NotifyOnCompactionCompleted(c->column_family_data(), c.get(), status);
I
Igor Canadi 已提交
2330
    c->ReleaseCompactionFiles(status);
2331
    *madeProgress = true;
J
jorlow@chromium.org 已提交
2332
  }
2333
  // this will unref its input_version and column_family_data
2334
  c.reset();
J
jorlow@chromium.org 已提交
2335 2336 2337

  if (status.ok()) {
    // Done
F
Feng Zhu 已提交
2338
  } else if (status.IsShutdownInProgress()) {
J
jorlow@chromium.org 已提交
2339 2340
    // Ignore compaction errors found during shutting down
  } else {
2341
    Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log, "Compaction error: %s",
2342
        status.ToString().c_str());
2343
    if (db_options_.paranoid_checks && bg_error_.ok()) {
J
jorlow@chromium.org 已提交
2344 2345 2346
      bg_error_ = status;
    }
  }
H
hans@chromium.org 已提交
2347 2348

  if (is_manual) {
G
Gabor Cselle 已提交
2349
    ManualCompaction* m = manual_compaction_;
2350
    if (!status.ok()) {
L
Lei Jin 已提交
2351
      m->status = status;
2352 2353
      m->done = true;
    }
2354 2355 2356 2357 2358 2359 2360 2361 2362
    // For universal compaction:
    //   Because universal compaction always happens at level 0, so one
    //   compaction will pick up all overlapped files. No files will be
    //   filtered out due to size limit and left for a successive compaction.
    //   So we can safely conclude the current compaction.
    //
    //   Also note that, if we don't stop here, then the current compaction
    //   writes a new file back to level 0, which will be used in successive
    //   compaction. Hence the manual compaction will never finish.
2363 2364 2365 2366 2367
    //
    // Stop the compaction if manual_end points to nullptr -- this means
    // that we compacted the whole range. manual_end should always point
    // to nullptr in case of universal compaction
    if (manual_end == nullptr) {
2368 2369
      m->done = true;
    }
G
Gabor Cselle 已提交
2370 2371 2372
    if (!m->done) {
      // We only compacted part of the requested range.  Update *m
      // to the range that is left to be compacted.
I
Igor Canadi 已提交
2373
      // Universal and FIFO compactions should always compact the whole range
S
sdong 已提交
2374 2375 2376
      assert(m->cfd->ioptions()->compaction_style !=
                 kCompactionStyleUniversal ||
             m->cfd->ioptions()->num_levels > 1);
2377
      assert(m->cfd->ioptions()->compaction_style != kCompactionStyleFIFO);
2378
      m->tmp_storage = *manual_end;
G
Gabor Cselle 已提交
2379 2380
      m->begin = &m->tmp_storage;
    }
2381
    m->in_progress = false; // not being processed anymore
2382
    manual_compaction_ = nullptr;
H
hans@chromium.org 已提交
2383
  }
2384
  return status;
J
jorlow@chromium.org 已提交
2385 2386
}

I
Igor Canadi 已提交
2387 2388 2389
uint64_t DBImpl::CallFlushDuringCompaction(
    ColumnFamilyData* cfd, const MutableCFOptions& mutable_cf_options,
    JobContext* job_context, LogBuffer* log_buffer) {
2390
  if (db_options_.max_background_flushes > 0) {
2391 2392 2393
    // flush thread will take care of this
    return 0;
  }
I
Igor Canadi 已提交
2394
  if (cfd->imm()->imm_flush_needed.load(std::memory_order_relaxed)) {
I
Igor Canadi 已提交
2395 2396 2397 2398
    const uint64_t imm_start = env_->NowMicros();
    mutex_.Lock();
    if (cfd->imm()->IsFlushPending()) {
      cfd->Ref();
I
Igor Canadi 已提交
2399 2400
      FlushMemTableToOutputFile(cfd, mutable_cf_options, nullptr, job_context,
                                log_buffer);
I
Igor Canadi 已提交
2401
      cfd->Unref();
I
Igor Canadi 已提交
2402
      bg_cv_.SignalAll();  // Wakeup DelayWrite() if necessary
I
Igor Canadi 已提交
2403 2404 2405 2406 2407 2408 2409 2410
    }
    mutex_.Unlock();
    log_buffer->FlushBufferToLog();
    return env_->NowMicros() - imm_start;
  }
  return 0;
}

2411 2412
namespace {
struct IterState {
2413
  IterState(DBImpl* _db, InstrumentedMutex* _mu, SuperVersion* _super_version)
I
Igor Canadi 已提交
2414
      : db(_db), mu(_mu), super_version(_super_version) {}
2415 2416

  DBImpl* db;
2417
  InstrumentedMutex* mu;
2418
  SuperVersion* super_version;
2419 2420 2421 2422
};

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

2424
  if (state->super_version->Unref()) {
2425 2426 2427
    // Job id == 0 means that this is not our background process, but rather
    // user thread
    JobContext job_context(0);
2428

2429 2430
    state->mu->Lock();
    state->super_version->Cleanup();
I
Igor Canadi 已提交
2431
    state->db->FindObsoleteFiles(&job_context, false, true);
2432 2433 2434
    state->mu->Unlock();

    delete state->super_version;
I
Igor Canadi 已提交
2435 2436
    if (job_context.HaveSomethingToDelete()) {
      state->db->PurgeObsoleteFiles(job_context);
2437
    }
I
Igor Canadi 已提交
2438
    job_context.Clean();
I
Igor Canadi 已提交
2439
  }
T
Tomislav Novak 已提交
2440

2441 2442
  delete state;
}
H
Hans Wennborg 已提交
2443
}  // namespace
2444

L
Lei Jin 已提交
2445
Iterator* DBImpl::NewInternalIterator(const ReadOptions& read_options,
2446
                                      ColumnFamilyData* cfd,
2447 2448 2449
                                      SuperVersion* super_version,
                                      Arena* arena) {
  Iterator* internal_iter;
2450 2451 2452 2453 2454
  assert(arena != nullptr);
  // Need to create internal iterator from the arena.
  MergeIteratorBuilder merge_iter_builder(&cfd->internal_comparator(), arena);
  // Collect iterator for mutable mem
  merge_iter_builder.AddIterator(
L
Lei Jin 已提交
2455
      super_version->mem->NewIterator(read_options, arena));
2456
  // Collect all needed child iterators for immutable memtables
L
Lei Jin 已提交
2457
  super_version->imm->AddIterators(read_options, &merge_iter_builder);
2458
  // Collect iterators for files in L0 - Ln
L
Lei Jin 已提交
2459
  super_version->current->AddIterators(read_options, env_options_,
2460 2461
                                       &merge_iter_builder);
  internal_iter = merge_iter_builder.Finish();
2462
  IterState* cleanup = new IterState(this, &mutex_, super_version);
2463
  internal_iter->RegisterCleanup(CleanupIteratorState, cleanup, nullptr);
J
jorlow@chromium.org 已提交
2464 2465 2466 2467

  return internal_iter;
}

2468 2469 2470 2471
ColumnFamilyHandle* DBImpl::DefaultColumnFamily() const {
  return default_cf_handle_;
}

L
Lei Jin 已提交
2472
Status DBImpl::Get(const ReadOptions& read_options,
2473
                   ColumnFamilyHandle* column_family, const Slice& key,
J
jorlow@chromium.org 已提交
2474
                   std::string* value) {
L
Lei Jin 已提交
2475
  return GetImpl(read_options, column_family, key, value);
2476 2477
}

I
Igor Canadi 已提交
2478 2479
// JobContext gets created and destructed outside of the lock --
// we
I
Igor Canadi 已提交
2480 2481
// use this convinently to:
// * malloc one SuperVersion() outside of the lock -- new_superversion
2482
// * delete SuperVersion()s outside of the lock -- superversions_to_free
I
Igor Canadi 已提交
2483
//
I
Igor Canadi 已提交
2484 2485 2486 2487
// However, if InstallSuperVersion() gets called twice with the same
// job_context, we can't reuse the SuperVersion() that got
// malloced
// because
I
Igor Canadi 已提交
2488 2489 2490
// first call already used it. In that rare case, we take a hit and create a
// new SuperVersion() inside of the mutex. We do similar thing
// for superversion_to_free
I
Igor Canadi 已提交
2491 2492
void DBImpl::InstallSuperVersionBackground(
    ColumnFamilyData* cfd, JobContext* job_context,
2493
    const MutableCFOptions& mutable_cf_options) {
2494
  mutex_.AssertHeld();
I
Igor Canadi 已提交
2495 2496 2497 2498
  SuperVersion* old_superversion = InstallSuperVersion(
      cfd, job_context->new_superversion, mutable_cf_options);
  job_context->new_superversion = nullptr;
  job_context->superversions_to_free.push_back(old_superversion);
I
Igor Canadi 已提交
2499 2500
}

L
Lei Jin 已提交
2501 2502
SuperVersion* DBImpl::InstallSuperVersion(
    ColumnFamilyData* cfd, SuperVersion* new_sv,
2503
    const MutableCFOptions& mutable_cf_options, bool dont_schedule_bg_work) {
L
Lei Jin 已提交
2504
  mutex_.AssertHeld();
2505 2506 2507 2508 2509 2510 2511 2512 2513

  // Update max_total_in_memory_state_
  size_t old_memtable_size = 0;
  auto* old_sv = cfd->GetSuperVersion();
  if (old_sv) {
    old_memtable_size = old_sv->mutable_cf_options.write_buffer_size *
                        old_sv->mutable_cf_options.max_write_buffer_number;
  }

L
Lei Jin 已提交
2514 2515 2516
  auto* old = cfd->InstallSuperVersion(
      new_sv ? new_sv : new SuperVersion(), &mutex_, mutable_cf_options);

2517 2518 2519 2520 2521 2522 2523 2524 2525
  // Whenever we install new SuperVersion, we might need to issue new flushes or
  // compactions. dont_schedule_bg_work is true when scheduling from write
  // thread and we don't want to add additional overhead. Callers promise to
  // call SchedulePendingFlush() and MaybeScheduleFlushOrCompaction() eventually
  if (!dont_schedule_bg_work) {
    SchedulePendingFlush(cfd);
    SchedulePendingCompaction(cfd);
    MaybeScheduleFlushOrCompaction();
  }
L
Lei Jin 已提交
2526 2527 2528 2529 2530 2531 2532 2533 2534 2535

  // Update max_total_in_memory_state_
  max_total_in_memory_state_ =
      max_total_in_memory_state_ - old_memtable_size +
      mutable_cf_options.write_buffer_size *
      mutable_cf_options.max_write_buffer_number;
  return old;
}

Status DBImpl::GetImpl(const ReadOptions& read_options,
2536 2537
                       ColumnFamilyHandle* column_family, const Slice& key,
                       std::string* value, bool* value_found) {
L
Lei Jin 已提交
2538
  StopWatch sw(env_, stats_, DB_GET);
2539
  PERF_TIMER_GUARD(get_snapshot_time);
2540

2541 2542 2543
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();

2544
  SequenceNumber snapshot;
L
Lei Jin 已提交
2545 2546 2547
  if (read_options.snapshot != nullptr) {
    snapshot = reinterpret_cast<const SnapshotImpl*>(
        read_options.snapshot)->number_;
2548 2549
  } else {
    snapshot = versions_->LastSequence();
J
jorlow@chromium.org 已提交
2550
  }
2551

2552
  // Acquire SuperVersion
2553
  SuperVersion* sv = GetAndRefSuperVersion(cfd);
I
Igor Canadi 已提交
2554

2555
  // Prepare to store a list of merge operations if merge occurs.
2556
  MergeContext merge_context;
2557

2558
  Status s;
2559
  // First look in the memtable, then in the immutable memtable (if any).
2560
  // s is both in/out. When in, s could either be OK or MergeInProgress.
2561
  // merge_operands will contain the sequence of merges in the latter case.
2562
  LookupKey lkey(key, snapshot);
L
Lei Jin 已提交
2563
  PERF_TIMER_STOP(get_snapshot_time);
2564

2565
  if (sv->mem->Get(lkey, value, &s, &merge_context)) {
2566
    // Done
L
Lei Jin 已提交
2567
    RecordTick(stats_, MEMTABLE_HIT);
2568
  } else if (sv->imm->Get(lkey, value, &s, &merge_context)) {
2569
    // Done
L
Lei Jin 已提交
2570
    RecordTick(stats_, MEMTABLE_HIT);
2571
  } else {
2572
    PERF_TIMER_GUARD(get_from_output_files_time);
L
Lei Jin 已提交
2573 2574
    sv->current->Get(read_options, lkey, value, &s, &merge_context,
                     value_found);
L
Lei Jin 已提交
2575
    RecordTick(stats_, MEMTABLE_MISS);
2576
  }
2577

2578 2579
  {
    PERF_TIMER_GUARD(get_post_process_time);
2580

2581
    ReturnAndCleanupSuperVersion(cfd, sv);
2582

2583 2584 2585
    RecordTick(stats_, NUMBER_KEYS_READ);
    RecordTick(stats_, BYTES_READ, value->size());
  }
2586
  return s;
J
jorlow@chromium.org 已提交
2587 2588
}

2589
std::vector<Status> DBImpl::MultiGet(
L
Lei Jin 已提交
2590
    const ReadOptions& read_options,
2591
    const std::vector<ColumnFamilyHandle*>& column_family,
2592
    const std::vector<Slice>& keys, std::vector<std::string>* values) {
2593

L
Lei Jin 已提交
2594
  StopWatch sw(env_, stats_, DB_MULTIGET);
2595
  PERF_TIMER_GUARD(get_snapshot_time);
K
Kai Liu 已提交
2596

2597
  SequenceNumber snapshot;
2598

2599
  struct MultiGetColumnFamilyData {
I
Igor Canadi 已提交
2600
    ColumnFamilyData* cfd;
2601 2602 2603 2604 2605
    SuperVersion* super_version;
  };
  std::unordered_map<uint32_t, MultiGetColumnFamilyData*> multiget_cf_data;
  // fill up and allocate outside of mutex
  for (auto cf : column_family) {
2606 2607 2608 2609 2610 2611
    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});
2612 2613 2614
    }
  }

2615
  mutex_.Lock();
L
Lei Jin 已提交
2616 2617 2618
  if (read_options.snapshot != nullptr) {
    snapshot = reinterpret_cast<const SnapshotImpl*>(
        read_options.snapshot)->number_;
2619 2620 2621
  } else {
    snapshot = versions_->LastSequence();
  }
2622
  for (auto mgd_iter : multiget_cf_data) {
2623 2624
    mgd_iter.second->super_version =
        mgd_iter.second->cfd->GetSuperVersion()->Ref();
2625
  }
2626
  mutex_.Unlock();
2627

2628 2629
  // Contain a list of merge operations if merge occurs.
  MergeContext merge_context;
2630

2631
  // Note: this always resizes the values array
2632 2633 2634
  size_t num_keys = keys.size();
  std::vector<Status> stat_list(num_keys);
  values->resize(num_keys);
2635 2636

  // Keep track of bytes that we read for statistics-recording later
2637
  uint64_t bytes_read = 0;
L
Lei Jin 已提交
2638
  PERF_TIMER_STOP(get_snapshot_time);
2639 2640 2641 2642

  // 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.
2643
  // merge_operands will contain the sequence of merges in the latter case.
2644
  for (size_t i = 0; i < num_keys; ++i) {
2645
    merge_context.Clear();
2646
    Status& s = stat_list[i];
2647 2648 2649
    std::string* value = &(*values)[i];

    LookupKey lkey(keys[i], snapshot);
2650 2651
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family[i]);
    auto mgd_iter = multiget_cf_data.find(cfh->cfd()->GetID());
2652 2653 2654
    assert(mgd_iter != multiget_cf_data.end());
    auto mgd = mgd_iter->second;
    auto super_version = mgd->super_version;
2655
    if (super_version->mem->Get(lkey, value, &s, &merge_context)) {
2656
      // Done
2657
    } else if (super_version->imm->Get(lkey, value, &s, &merge_context)) {
2658 2659
      // Done
    } else {
2660
      PERF_TIMER_GUARD(get_from_output_files_time);
L
Lei Jin 已提交
2661 2662
      super_version->current->Get(read_options, lkey, value, &s,
                                  &merge_context);
2663 2664 2665
    }

    if (s.ok()) {
2666
      bytes_read += value->size();
2667 2668 2669 2670
    }
  }

  // Post processing (decrement reference counts and record statistics)
2671
  PERF_TIMER_GUARD(get_post_process_time);
2672 2673
  autovector<SuperVersion*> superversions_to_delete;

I
Igor Canadi 已提交
2674
  // TODO(icanadi) do we need lock here or just around Cleanup()?
2675 2676 2677 2678 2679 2680
  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);
2681 2682
    }
  }
2683 2684 2685 2686 2687 2688 2689
  mutex_.Unlock();

  for (auto td : superversions_to_delete) {
    delete td;
  }
  for (auto mgd : multiget_cf_data) {
    delete mgd.second;
2690
  }
2691

L
Lei Jin 已提交
2692 2693 2694
  RecordTick(stats_, NUMBER_MULTIGET_CALLS);
  RecordTick(stats_, NUMBER_MULTIGET_KEYS_READ, num_keys);
  RecordTick(stats_, NUMBER_MULTIGET_BYTES_READ, bytes_read);
L
Lei Jin 已提交
2695
  PERF_TIMER_STOP(get_post_process_time);
2696

2697
  return stat_list;
2698 2699
}

L
Lei Jin 已提交
2700
Status DBImpl::CreateColumnFamily(const ColumnFamilyOptions& cf_options,
2701
                                  const std::string& column_family_name,
2702
                                  ColumnFamilyHandle** handle) {
Y
Yueh-Hsuan Chiang 已提交
2703
  Status s;
I
Igor Canadi 已提交
2704
  *handle = nullptr;
Y
Yueh-Hsuan Chiang 已提交
2705
  {
2706
    InstrumentedMutexLock l(&mutex_);
I
Igor Canadi 已提交
2707

Y
Yueh-Hsuan Chiang 已提交
2708 2709 2710 2711 2712 2713 2714 2715 2716 2717 2718 2719 2720 2721
    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
    Options opt(db_options_, cf_options);
I
Igor Canadi 已提交
2722 2723 2724 2725 2726 2727 2728 2729
    {  // write thread
      WriteThread::Writer w(&mutex_);
      s = write_thread_.EnterWriteThread(&w, 0);
      assert(s.ok() && !w.done);  // No timeout and nobody should do our job
      // LogAndApply will both write the creation in MANIFEST and create
      // ColumnFamilyData object
      s = versions_->LogAndApply(
          nullptr, MutableCFOptions(opt, ImmutableCFOptions(opt)), &edit,
2730
          &mutex_, directories_.GetDbDir(), false, &cf_options);
I
Igor Canadi 已提交
2731 2732
      write_thread_.ExitWriteThread(&w, &w, s);
    }
Y
Yueh-Hsuan Chiang 已提交
2733 2734 2735 2736 2737 2738 2739
    if (s.ok()) {
      single_column_family_mode_ = false;
      auto* cfd =
          versions_->GetColumnFamilySet()->GetColumnFamily(column_family_name);
      assert(cfd != nullptr);
      delete InstallSuperVersion(
          cfd, nullptr, *cfd->GetLatestMutableCFOptions());
S
sdong 已提交
2740 2741 2742 2743 2744

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

Y
Yueh-Hsuan Chiang 已提交
2745 2746 2747 2748 2749 2750 2751 2752 2753
      *handle = new ColumnFamilyHandleImpl(cfd, this, &mutex_);
      Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
          "Created column family [%s] (ID %u)",
          column_family_name.c_str(), (unsigned)cfd->GetID());
    } else {
      Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
          "Creating column family [%s] FAILED -- %s",
          column_family_name.c_str(), s.ToString().c_str());
    }
2754
  }  // InstrumentedMutexLock l(&mutex_)
Y
Yueh-Hsuan Chiang 已提交
2755 2756

  // this is outside the mutex
2757
  if (s.ok()) {
Y
Yueh-Hsuan Chiang 已提交
2758 2759
    NewThreadStatusCfInfo(
        reinterpret_cast<ColumnFamilyHandleImpl*>(*handle)->cfd());
2760
  }
2761
  return s;
2762 2763
}

2764 2765 2766 2767
Status DBImpl::DropColumnFamily(ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
  if (cfd->GetID() == 0) {
2768 2769
    return Status::InvalidArgument("Can't drop default column family");
  }
2770

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

I
Igor Canadi 已提交
2773 2774
  VersionEdit edit;
  edit.DropColumnFamily();
2775 2776
  edit.SetColumnFamily(cfd->GetID());

2777
  Status s;
2778
  {
2779
    InstrumentedMutexLock l(&mutex_);
2780 2781 2782 2783
    if (cfd->IsDropped()) {
      s = Status::InvalidArgument("Column family already dropped!\n");
    }
    if (s.ok()) {
2784
      // we drop column family from a single write thread
I
Igor Canadi 已提交
2785 2786
      WriteThread::Writer w(&mutex_);
      s = write_thread_.EnterWriteThread(&w, 0);
2787
      assert(s.ok() && !w.done);  // No timeout and nobody should do our job
2788 2789
      s = versions_->LogAndApply(cfd, *cfd->GetLatestMutableCFOptions(),
                                 &edit, &mutex_);
I
Igor Canadi 已提交
2790
      write_thread_.ExitWriteThread(&w, &w, s);
2791
    }
S
sdong 已提交
2792 2793 2794 2795 2796 2797

    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()) {
2798
        if (!c->IsDropped() && !c->mem()->IsSnapshotSupported()) {
S
sdong 已提交
2799 2800 2801 2802 2803 2804
          new_is_snapshot_supported = false;
          break;
        }
      }
      is_snapshot_supported_ = new_is_snapshot_supported;
    }
2805
  }
2806

2807
  if (s.ok()) {
Y
Yueh-Hsuan Chiang 已提交
2808 2809 2810 2811
    // 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 已提交
2812
    assert(cfd->IsDropped());
L
Lei Jin 已提交
2813 2814 2815
    auto* mutable_cf_options = cfd->GetLatestMutableCFOptions();
    max_total_in_memory_state_ -= mutable_cf_options->write_buffer_size *
                                  mutable_cf_options->max_write_buffer_number;
2816 2817
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
        "Dropped column family with id %u\n",
2818
        cfd->GetID());
2819
  } else {
2820
    Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
2821
        "Dropping column family with id %u FAILED -- %s\n",
2822 2823 2824
        cfd->GetID(), s.ToString().c_str());
  }

2825
  return s;
2826 2827
}

L
Lei Jin 已提交
2828
bool DBImpl::KeyMayExist(const ReadOptions& read_options,
2829 2830
                         ColumnFamilyHandle* column_family, const Slice& key,
                         std::string* value, bool* value_found) {
2831
  if (value_found != nullptr) {
K
Kai Liu 已提交
2832 2833
    // falsify later if key-may-exist but can't fetch value
    *value_found = true;
2834
  }
L
Lei Jin 已提交
2835
  ReadOptions roptions = read_options;
2836
  roptions.read_tier = kBlockCacheTier; // read from block cache only
2837
  auto s = GetImpl(roptions, column_family, key, value, value_found);
K
Kai Liu 已提交
2838

2839
  // If block_cache is enabled and the index block of the table didn't
K
Kai Liu 已提交
2840 2841 2842
  // 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();
2843 2844
}

2845
Iterator* DBImpl::NewIterator(const ReadOptions& read_options,
2846 2847 2848
                              ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
T
Tomislav Novak 已提交
2849

V
Venkatesh Radhakrishnan 已提交
2850 2851 2852 2853 2854 2855 2856 2857 2858 2859 2860 2861 2862 2863 2864 2865 2866 2867
  XFUNC_TEST("", "managed_new", managed_new1, xf_manage_new,
             reinterpret_cast<DBImpl*>(this),
             const_cast<ReadOptions*>(&read_options), is_snapshot_supported_);
  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 已提交
2868 2869 2870 2871
#ifdef ROCKSDB_LITE
    // not supported in lite version
    return nullptr;
#else
2872 2873
    SuperVersion* sv = cfd->GetReferencedSuperVersion(&mutex_);
    auto iter = new ForwardIterator(this, read_options, cfd, sv);
2874
    return NewDBIterator(env_, *cfd->ioptions(), cfd->user_comparator(), iter,
2875 2876 2877
        kMaxSequenceNumber,
        sv->mutable_cf_options.max_sequential_skip_in_iterations,
        read_options.iterate_upper_bound);
I
Igor Canadi 已提交
2878
#endif
T
Tomislav Novak 已提交
2879
  } else {
2880
    SequenceNumber latest_snapshot = versions_->LastSequence();
2881
    SuperVersion* sv = cfd->GetReferencedSuperVersion(&mutex_);
2882

I
Igor Canadi 已提交
2883
    auto snapshot =
2884 2885 2886
        read_options.snapshot != nullptr
            ? reinterpret_cast<const SnapshotImpl*>(
                read_options.snapshot)->number_
I
Igor Canadi 已提交
2887
            : latest_snapshot;
T
Tomislav Novak 已提交
2888

2889 2890 2891 2892 2893 2894 2895 2896 2897 2898 2899 2900 2901 2902 2903 2904 2905 2906 2907 2908 2909 2910 2911 2912 2913 2914 2915 2916 2917 2918 2919 2920 2921 2922 2923 2924 2925 2926 2927 2928 2929 2930 2931
    // 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         | <----+
    // |       |   +-------------------+
    // |       |                       |
    // +-------+-----------------------+
    //
    // ArenaWrappedDBIter inlines an arena area where all the iterartor in the
    // the iterator tree is allocated in the order of being accessed when
    // 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(
2932
        env_, *cfd->ioptions(), cfd->user_comparator(),
2933
        snapshot, sv->mutable_cf_options.max_sequential_skip_in_iterations,
2934
        read_options.iterate_upper_bound);
2935

2936
    Iterator* internal_iter =
2937
        NewInternalIterator(read_options, cfd, sv, db_iter->GetArena());
2938 2939 2940 2941
    db_iter->SetIterUnderDBIter(internal_iter);

    return db_iter;
  }
2942 2943
  // To stop compiler from complaining
  return nullptr;
J
jorlow@chromium.org 已提交
2944 2945
}

2946
Status DBImpl::NewIterators(
2947
    const ReadOptions& read_options,
I
Igor Canadi 已提交
2948
    const std::vector<ColumnFamilyHandle*>& column_families,
2949
    std::vector<Iterator*>* iterators) {
I
Igor Canadi 已提交
2950 2951
  iterators->clear();
  iterators->reserve(column_families.size());
V
Venkatesh Radhakrishnan 已提交
2952 2953 2954 2955 2956 2957 2958 2959 2960 2961 2962 2963 2964 2965 2966 2967 2968 2969 2970 2971
  XFUNC_TEST("", "managed_new", managed_new1, xf_manage_new,
             reinterpret_cast<DBImpl*>(this),
             const_cast<ReadOptions*>(&read_options), is_snapshot_supported_);
  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");
    }
    for (auto cfh : column_families) {
      auto cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(cfh)->cfd();
      auto iter = new ManagedIterator(this, read_options, cfd);
      iterators->push_back(iter);
    }
#endif
  } else if (read_options.tailing) {
I
Igor Canadi 已提交
2972 2973 2974 2975
#ifdef ROCKSDB_LITE
    return Status::InvalidArgument(
        "Tailing interator not supported in RocksDB lite");
#else
I
Igor Canadi 已提交
2976 2977
    for (auto cfh : column_families) {
      auto cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(cfh)->cfd();
2978 2979
      SuperVersion* sv = cfd->GetReferencedSuperVersion(&mutex_);
      auto iter = new ForwardIterator(this, read_options, cfd, sv);
L
Lei Jin 已提交
2980
      iterators->push_back(
2981
          NewDBIterator(env_, *cfd->ioptions(), cfd->user_comparator(), iter,
2982 2983
              kMaxSequenceNumber,
              sv->mutable_cf_options.max_sequential_skip_in_iterations));
I
Igor Canadi 已提交
2984
    }
I
Igor Canadi 已提交
2985
#endif
I
Igor Canadi 已提交
2986
  } else {
2987 2988
    SequenceNumber latest_snapshot = versions_->LastSequence();

I
Igor Canadi 已提交
2989
    for (size_t i = 0; i < column_families.size(); ++i) {
2990 2991 2992
      auto* cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(
          column_families[i])->cfd();
      SuperVersion* sv = cfd->GetReferencedSuperVersion(&mutex_);
I
Igor Canadi 已提交
2993 2994

      auto snapshot =
2995 2996 2997
          read_options.snapshot != nullptr
              ? reinterpret_cast<const SnapshotImpl*>(
                  read_options.snapshot)->number_
I
Igor Canadi 已提交
2998 2999
              : latest_snapshot;

3000
      ArenaWrappedDBIter* db_iter = NewArenaWrappedDbIterator(
3001
          env_, *cfd->ioptions(), cfd->user_comparator(), snapshot,
3002
          sv->mutable_cf_options.max_sequential_skip_in_iterations);
3003
      Iterator* internal_iter = NewInternalIterator(
3004
          read_options, cfd, sv, db_iter->GetArena());
3005 3006
      db_iter->SetIterUnderDBIter(internal_iter);
      iterators->push_back(db_iter);
I
Igor Canadi 已提交
3007 3008 3009 3010
    }
  }

  return Status::OK();
3011 3012
}

J
jorlow@chromium.org 已提交
3013
const Snapshot* DBImpl::GetSnapshot() {
3014 3015 3016
  int64_t unix_time = 0;
  env_->GetCurrentTime(&unix_time);  // Ignore error

3017
  InstrumentedMutexLock l(&mutex_);
3018
  // returns null if the underlying memtable does not support snapshot.
S
sdong 已提交
3019
  if (!is_snapshot_supported_) return nullptr;
3020
  return snapshots_.New(versions_->LastSequence(), unix_time);
J
jorlow@chromium.org 已提交
3021 3022 3023
}

void DBImpl::ReleaseSnapshot(const Snapshot* s) {
3024
  InstrumentedMutexLock l(&mutex_);
3025
  snapshots_.Delete(reinterpret_cast<const SnapshotImpl*>(s));
J
jorlow@chromium.org 已提交
3026 3027 3028
}

// Convenience methods
3029 3030
Status DBImpl::Put(const WriteOptions& o, ColumnFamilyHandle* column_family,
                   const Slice& key, const Slice& val) {
3031
  return DB::Put(o, column_family, key, val);
J
jorlow@chromium.org 已提交
3032 3033
}

3034 3035 3036
Status DBImpl::Merge(const WriteOptions& o, ColumnFamilyHandle* column_family,
                     const Slice& key, const Slice& val) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
3037
  if (!cfh->cfd()->ioptions()->merge_operator) {
3038 3039
    return Status::NotSupported("Provide a merge_operator when opening DB");
  } else {
3040
    return DB::Merge(o, column_family, key, val);
3041 3042 3043
  }
}

L
Lei Jin 已提交
3044
Status DBImpl::Delete(const WriteOptions& write_options,
3045
                      ColumnFamilyHandle* column_family, const Slice& key) {
L
Lei Jin 已提交
3046
  return DB::Delete(write_options, column_family, key);
J
jorlow@chromium.org 已提交
3047 3048
}

L
Lei Jin 已提交
3049
Status DBImpl::Write(const WriteOptions& write_options, WriteBatch* my_batch) {
S
Stanislau Hlebik 已提交
3050 3051 3052
  if (my_batch == nullptr) {
    return Status::Corruption("Batch is nullptr!");
  }
3053
  PERF_TIMER_GUARD(write_pre_and_post_process_time);
I
Igor Canadi 已提交
3054
  WriteThread::Writer w(&mutex_);
S
Stanislau Hlebik 已提交
3055
  w.batch = my_batch;
L
Lei Jin 已提交
3056 3057
  w.sync = write_options.sync;
  w.disableWAL = write_options.disableWAL;
S
Stanislau Hlebik 已提交
3058 3059
  w.in_batch_group = false;
  w.done = false;
L
Lei Jin 已提交
3060
  w.timeout_hint_us = write_options.timeout_hint_us;
S
Stanislau Hlebik 已提交
3061 3062

  uint64_t expiration_time = 0;
I
Igor Canadi 已提交
3063
  bool has_timeout = false;
S
Stanislau Hlebik 已提交
3064
  if (w.timeout_hint_us == 0) {
I
Igor Canadi 已提交
3065
    w.timeout_hint_us = WriteThread::kNoTimeOut;
S
Stanislau Hlebik 已提交
3066 3067
  } else {
    expiration_time = env_->NowMicros() + w.timeout_hint_us;
I
Igor Canadi 已提交
3068
    has_timeout = true;
S
Stanislau Hlebik 已提交
3069 3070
  }

L
Lei Jin 已提交
3071
  if (!write_options.disableWAL) {
S
Stanislau Hlebik 已提交
3072 3073 3074 3075 3076
    RecordTick(stats_, WRITE_WITH_WAL);
  }

  WriteContext context;
  mutex_.Lock();
I
Igor Canadi 已提交
3077 3078 3079 3080 3081

  if (!write_options.disableWAL) {
    default_cf_internal_stats_->AddDBStats(InternalStats::WRITE_WITH_WAL, 1);
  }

I
Igor Canadi 已提交
3082
  Status status = write_thread_.EnterWriteThread(&w, expiration_time);
S
Stanislau Hlebik 已提交
3083 3084
  assert(status.ok() || status.IsTimedOut());
  if (status.IsTimedOut()) {
3085
    mutex_.Unlock();
L
Lei Jin 已提交
3086
    RecordTick(stats_, WRITE_TIMEDOUT);
3087
    return Status::TimedOut();
3088
  }
S
Stanislau Hlebik 已提交
3089 3090 3091 3092 3093 3094 3095 3096 3097 3098
  if (w.done) {  // write was done by someone else
    default_cf_internal_stats_->AddDBStats(InternalStats::WRITE_DONE_BY_OTHER,
                                           1);
    mutex_.Unlock();
    RecordTick(stats_, WRITE_DONE_BY_OTHER);
    return w.status;
  }

  RecordTick(stats_, WRITE_DONE_BY_SELF);
  default_cf_internal_stats_->AddDBStats(InternalStats::WRITE_DONE_BY_SELF, 1);
3099

3100 3101 3102 3103
  // Once reaches this point, the current writer "w" will try to do its write
  // job.  It may also pick up some of the remaining writers in the "writers_"
  // when it finds suitable, and finish them in the same write batch.
  // This is how a write job could be done by the other writer.
3104 3105 3106
  assert(!single_column_family_mode_ ||
         versions_->GetColumnFamilySet()->NumberOfColumnFamilies() == 1);

3107
  uint64_t max_total_wal_size = (db_options_.max_total_wal_size == 0)
3108
                                    ? 4 * max_total_in_memory_state_
3109
                                    : db_options_.max_total_wal_size;
3110
  if (UNLIKELY(!single_column_family_mode_) &&
3111
      alive_log_files_.begin()->getting_flushed == false &&
I
Igor Canadi 已提交
3112
      total_log_size_ > max_total_wal_size) {
I
Igor Canadi 已提交
3113
    uint64_t flush_column_family_if_log_file = alive_log_files_.begin()->number;
I
Igor Canadi 已提交
3114
    alive_log_files_.begin()->getting_flushed = true;
3115
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
3116 3117 3118
        "Flushing all column families with data in WAL number %" PRIu64
        ". Total log size is %" PRIu64 " while max_total_wal_size is %" PRIu64,
        flush_column_family_if_log_file, total_log_size_, max_total_wal_size);
I
Igor Canadi 已提交
3119 3120
    // no need to refcount because drop is happening in write thread, so can't
    // happen while we're in the write thread
3121
    for (auto cfd : *versions_->GetColumnFamilySet()) {
3122 3123 3124
      if (cfd->IsDropped()) {
        continue;
      }
I
Igor Canadi 已提交
3125
      if (cfd->GetLogNumber() <= flush_column_family_if_log_file) {
S
Stanislau Hlebik 已提交
3126
        status = SetNewMemtableAndNewLogFile(cfd, &context);
I
Igor Canadi 已提交
3127 3128 3129
        if (!status.ok()) {
          break;
        }
S
Stanislau Hlebik 已提交
3130
        cfd->imm()->FlushRequested();
3131 3132
        SchedulePendingFlush(cfd);
        context.schedule_bg_work_ = true;
3133
      }
3134
    }
3135 3136 3137 3138 3139 3140 3141 3142
  } else if (UNLIKELY(write_buffer_.ShouldFlush())) {
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
        "Flushing all column families. Write buffer is using %" PRIu64
        " bytes out of a total of %" PRIu64 ".",
        write_buffer_.memory_usage(), write_buffer_.buffer_size());
    // no need to refcount because drop is happening in write thread, so can't
    // happen while we're in the write thread
    for (auto cfd : *versions_->GetColumnFamilySet()) {
3143 3144 3145
      if (cfd->IsDropped()) {
        continue;
      }
3146 3147 3148 3149 3150 3151
      if (!cfd->mem()->IsEmpty()) {
        status = SetNewMemtableAndNewLogFile(cfd, &context);
        if (!status.ok()) {
          break;
        }
        cfd->imm()->FlushRequested();
3152 3153
        SchedulePendingFlush(cfd);
        context.schedule_bg_work_ = true;
3154 3155 3156
      }
    }
    MaybeScheduleFlushOrCompaction();
I
Igor Canadi 已提交
3157 3158 3159 3160 3161 3162 3163 3164 3165 3166 3167 3168
  }

  if (UNLIKELY(status.ok() && !bg_error_.ok())) {
    status = bg_error_;
  }

  if (UNLIKELY(status.ok() && !flush_scheduler_.Empty())) {
    status = ScheduleFlushes(&context);
  }

  if (UNLIKELY(status.ok()) &&
      (write_controller_.IsStopped() || write_controller_.GetDelay() > 0)) {
I
Igor Canadi 已提交
3169
    status = DelayWrite(expiration_time);
I
Igor Canadi 已提交
3170 3171 3172 3173 3174
  }

  if (UNLIKELY(status.ok() && has_timeout &&
               env_->NowMicros() > expiration_time)) {
    status = Status::TimedOut();
3175
  }
3176

D
dgrogan@chromium.org 已提交
3177
  uint64_t last_sequence = versions_->LastSequence();
I
Igor Canadi 已提交
3178
  WriteThread::Writer* last_writer = &w;
S
Stanislau Hlebik 已提交
3179
  if (status.ok()) {
3180
    autovector<WriteBatch*> write_batch_group;
I
Igor Canadi 已提交
3181
    write_thread_.BuildBatchGroup(&last_writer, &write_batch_group);
3182

3183 3184 3185
    // Add to log and apply to memtable.  We can release the lock
    // during this phase since &w is currently responsible for logging
    // and protects against concurrent loggers and concurrent writes
3186
    // into memtables
3187
    {
3188
      mutex_.Unlock();
3189 3190 3191 3192 3193 3194 3195 3196 3197 3198
      WriteBatch* updates = nullptr;
      if (write_batch_group.size() == 1) {
        updates = write_batch_group[0];
      } else {
        updates = &tmp_batch_;
        for (size_t i = 0; i < write_batch_group.size(); ++i) {
          WriteBatchInternal::Append(updates, write_batch_group[i]);
        }
      }

3199 3200 3201 3202
      const SequenceNumber current_sequence = last_sequence + 1;
      WriteBatchInternal::SetSequence(updates, current_sequence);
      int my_batch_count = WriteBatchInternal::Count(updates);
      last_sequence += my_batch_count;
3203
      const uint64_t batch_size = WriteBatchInternal::ByteSize(updates);
3204
      // Record statistics
L
Lei Jin 已提交
3205
      RecordTick(stats_, NUMBER_KEYS_WRITTEN, my_batch_count);
S
sdong 已提交
3206
      RecordTick(stats_, BYTES_WRITTEN, batch_size);
L
Lei Jin 已提交
3207
      if (write_options.disableWAL) {
3208
        flush_on_destroy_ = true;
3209
      }
L
Lei Jin 已提交
3210
      PERF_TIMER_STOP(write_pre_and_post_process_time);
3211

3212
      uint64_t log_size = 0;
L
Lei Jin 已提交
3213
      if (!write_options.disableWAL) {
3214
        PERF_TIMER_GUARD(write_wal_time);
3215 3216
        Slice log_entry = WriteBatchInternal::Contents(updates);
        status = log_->AddRecord(log_entry);
I
Igor Canadi 已提交
3217 3218
        total_log_size_ += log_entry.size();
        alive_log_files_.back().AddSize(log_entry.size());
3219
        log_empty_ = false;
3220
        log_size = log_entry.size();
L
Lei Jin 已提交
3221
        RecordTick(stats_, WAL_FILE_BYTES, log_size);
L
Lei Jin 已提交
3222
        if (status.ok() && write_options.sync) {
I
Igor Canadi 已提交
3223
          RecordTick(stats_, WAL_FILE_SYNCED);
3224
          StopWatch sw(env_, stats_, WAL_FILE_SYNC_MICROS);
3225
          if (db_options_.use_fsync) {
3226
            status = log_->file()->Fsync();
3227
          } else {
3228
            status = log_->file()->Sync();
3229
          }
3230
          if (status.ok() && !log_dir_synced_) {
3231 3232 3233 3234 3235
            // We only sync WAL directory the first time WAL syncing is
            // requested, so that in case users never turn on WAL sync,
            // we can avoid the disk I/O in the write code path.
            status = directories_.GetWalDir()->Fsync();
          }
3236
          log_dir_synced_ = true;
H
heyongqiang 已提交
3237
        }
3238 3239
      }
      if (status.ok()) {
3240
        PERF_TIMER_GUARD(write_memtable_time);
Y
Yueh-Hsuan Chiang 已提交
3241

3242
        status = WriteBatchInternal::InsertInto(
I
Igor Canadi 已提交
3243
            updates, column_family_memtables_.get(),
L
Lei Jin 已提交
3244
            write_options.ignore_missing_column_families, 0, this, false);
Y
Yueh-Hsuan Chiang 已提交
3245 3246 3247 3248 3249 3250 3251 3252
        // A non-OK status here indicates iteration failure (either in-memory
        // writebatch corruption (very bad), or the client specified invalid
        // column family).  This will later on trigger bg_error_.
        //
        // Note that existing logic was not sound. Any partial failure writing
        // into the memtable would result in a state that some write ops might
        // have succeeded in memtable but Status reports error for all writes.

L
Lei Jin 已提交
3253
        SetTickerCount(stats_, SEQUENCE_NUMBER, last_sequence);
3254
      }
L
Lei Jin 已提交
3255
      PERF_TIMER_START(write_pre_and_post_process_time);
3256 3257 3258
      if (updates == &tmp_batch_) {
        tmp_batch_.Clear();
      }
3259
      mutex_.Lock();
3260 3261 3262
      // internal stats
      default_cf_internal_stats_->AddDBStats(
          InternalStats::BYTES_WRITTEN, batch_size);
S
sdong 已提交
3263 3264
      default_cf_internal_stats_->AddDBStats(InternalStats::NUMBER_KEYS_WRITTEN,
                                             my_batch_count);
L
Lei Jin 已提交
3265
      if (!write_options.disableWAL) {
3266 3267 3268 3269 3270
        default_cf_internal_stats_->AddDBStats(
            InternalStats::WAL_FILE_SYNCED, 1);
        default_cf_internal_stats_->AddDBStats(
            InternalStats::WAL_FILE_BYTES, log_size);
      }
3271
      if (status.ok()) {
3272
        versions_->SetLastSequence(last_sequence);
3273
      }
J
jorlow@chromium.org 已提交
3274 3275
    }
  }
3276
  if (db_options_.paranoid_checks && !status.ok() &&
3277
      !status.IsTimedOut() && bg_error_.ok()) {
I
Igor Canadi 已提交
3278 3279
    bg_error_ = status; // stop compaction & fail any further writes
  }
3280

I
Igor Canadi 已提交
3281
  write_thread_.ExitWriteThread(&w, last_writer, status);
3282 3283 3284 3285

  if (context.schedule_bg_work_) {
    MaybeScheduleFlushOrCompaction();
  }
I
Igor Canadi 已提交
3286
  mutex_.Unlock();
3287

3288
  if (status.IsTimedOut()) {
L
Lei Jin 已提交
3289
    RecordTick(stats_, WRITE_TIMEDOUT);
3290 3291
  }

J
jorlow@chromium.org 已提交
3292 3293 3294
  return status;
}

3295 3296
// REQUIRES: mutex_ is held
// REQUIRES: this thread is currently at the front of the writer queue
I
Igor Canadi 已提交
3297
Status DBImpl::DelayWrite(uint64_t expiration_time) {
S
sdong 已提交
3298 3299
  uint64_t time_delayed = 0;
  bool delayed = false;
3300
  bool timed_out = false;
S
sdong 已提交
3301 3302 3303 3304 3305 3306 3307 3308
  {
    StopWatch sw(env_, stats_, WRITE_STALL, &time_delayed);
    bool has_timeout = (expiration_time > 0);
    auto delay = write_controller_.GetDelay();
    if (write_controller_.IsStopped() == false && delay > 0) {
      mutex_.Unlock();
      delayed = true;
      // hopefully we don't have to sleep more than 2 billion microseconds
S
sdong 已提交
3309
      TEST_SYNC_POINT("DBImpl::DelayWrite:Sleep");
S
sdong 已提交
3310 3311 3312
      env_->SleepForMicroseconds(static_cast<int>(delay));
      mutex_.Lock();
    }
3313

S
sdong 已提交
3314 3315 3316
    while (bg_error_.ok() && write_controller_.IsStopped()) {
      delayed = true;
      if (has_timeout) {
S
sdong 已提交
3317
        TEST_SYNC_POINT("DBImpl::DelayWrite:TimedWait");
S
sdong 已提交
3318 3319
        bg_cv_.TimedWait(expiration_time);
        if (env_->NowMicros() > expiration_time) {
3320 3321
          timed_out = true;
          break;
S
sdong 已提交
3322 3323 3324
        }
      } else {
        bg_cv_.Wait();
3325 3326 3327
      }
    }
  }
S
sdong 已提交
3328 3329 3330 3331 3332
  if (delayed) {
    default_cf_internal_stats_->AddDBStats(InternalStats::WRITE_STALL_MICROS,
                                           time_delayed);
    RecordTick(stats_, STALL_MICROS, time_delayed);
  }
I
Igor Canadi 已提交
3333

3334 3335 3336 3337
  if (timed_out) {
    return Status::TimedOut();
  }

I
Igor Canadi 已提交
3338
  return bg_error_;
3339 3340
}

I
Igor Canadi 已提交
3341 3342 3343 3344
Status DBImpl::ScheduleFlushes(WriteContext* context) {
  ColumnFamilyData* cfd;
  while ((cfd = flush_scheduler_.GetNextColumnFamily()) != nullptr) {
    auto status = SetNewMemtableAndNewLogFile(cfd, context);
3345 3346
    SchedulePendingFlush(cfd);
    context->schedule_bg_work_ = true;
I
Igor Canadi 已提交
3347 3348 3349 3350 3351
    if (cfd->Unref()) {
      delete cfd;
    }
    if (!status.ok()) {
      return status;
S
Stanislau Hlebik 已提交
3352 3353
    }
  }
I
Igor Canadi 已提交
3354
  return Status::OK();
S
Stanislau Hlebik 已提交
3355 3356 3357 3358 3359 3360 3361 3362 3363 3364 3365 3366 3367
}

// REQUIRES: mutex_ is held
// REQUIRES: this thread is currently at the front of the writer queue
Status DBImpl::SetNewMemtableAndNewLogFile(ColumnFamilyData* cfd,
                                           WriteContext* context) {
  mutex_.AssertHeld();
  unique_ptr<WritableFile> lfile;
  log::Writer* new_log = nullptr;
  MemTable* new_mem = nullptr;

  // Attempt to switch to a new memtable and trigger flush of old.
  // Do this without holding the dbmutex lock.
3368
  assert(versions_->prev_log_number() == 0);
S
Stanislau Hlebik 已提交
3369 3370 3371 3372
  bool creating_new_log = !log_empty_;
  uint64_t new_log_number =
      creating_new_log ? versions_->NewFileNumber() : logfile_number_;
  SuperVersion* new_superversion = nullptr;
3373
  const MutableCFOptions mutable_cf_options = *cfd->GetLatestMutableCFOptions();
S
Stanislau Hlebik 已提交
3374 3375 3376 3377
  mutex_.Unlock();
  Status s;
  {
    if (creating_new_log) {
3378
      s = env_->NewWritableFile(
3379 3380
          LogFileName(db_options_.wal_dir, new_log_number), &lfile,
          env_->OptimizeForLogWrite(env_options_));
S
Stanislau Hlebik 已提交
3381 3382 3383
      if (s.ok()) {
        // Our final size should be less than write_buffer_size
        // (compression, etc) but err on the side of caution.
L
Lei Jin 已提交
3384 3385
        lfile->SetPreallocationBlockSize(
            1.1 * mutable_cf_options.write_buffer_size);
S
Stanislau Hlebik 已提交
3386
        new_log = new log::Writer(std::move(lfile));
3387
        log_dir_synced_ = false;
I
Igor Canadi 已提交
3388
      }
S
Stanislau Hlebik 已提交
3389 3390 3391
    }

    if (s.ok()) {
3392
      new_mem = cfd->ConstructNewMemtable(mutable_cf_options);
S
Stanislau Hlebik 已提交
3393 3394 3395
      new_superversion = new SuperVersion();
    }
  }
3396
  Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
I
Igor Canadi 已提交
3397 3398
      "[%s] New memtable created with log file: #%" PRIu64 "\n",
      cfd->GetName().c_str(), new_log_number);
S
Stanislau Hlebik 已提交
3399 3400 3401 3402 3403 3404 3405 3406 3407 3408 3409
  mutex_.Lock();
  if (!s.ok()) {
    // how do we fail if we're not creating new log?
    assert(creating_new_log);
    assert(!new_mem);
    assert(!new_log);
    return s;
  }
  if (creating_new_log) {
    logfile_number_ = new_log_number;
    assert(new_log != nullptr);
3410
    logs_to_free_.push_back(log_.release());
S
Stanislau Hlebik 已提交
3411 3412 3413
    log_.reset(new_log);
    log_empty_ = true;
    alive_log_files_.push_back(LogFileNumberSize(logfile_number_));
I
Igor Canadi 已提交
3414
    for (auto loop_cfd : *versions_->GetColumnFamilySet()) {
S
Stanislau Hlebik 已提交
3415 3416 3417 3418
      // all this is just optimization to delete logs that
      // are no longer needed -- if CF is empty, that means it
      // doesn't need that particular log to stay alive, so we just
      // advance the log number. no need to persist this in the manifest
I
Igor Canadi 已提交
3419 3420 3421
      if (loop_cfd->mem()->GetFirstSequenceNumber() == 0 &&
          loop_cfd->imm()->size() == 0) {
        loop_cfd->SetLogNumber(logfile_number_);
3422
      }
3423 3424
    }
  }
S
Stanislau Hlebik 已提交
3425 3426 3427 3428 3429
  cfd->mem()->SetNextLogNumber(logfile_number_);
  cfd->imm()->Add(cfd->mem());
  new_mem->Ref();
  cfd->SetMemtable(new_mem);
  context->superversions_to_free_.push_back(
3430
      InstallSuperVersion(cfd, new_superversion, mutable_cf_options, true));
3431 3432 3433
  return s;
}

I
Igor Canadi 已提交
3434
#ifndef ROCKSDB_LITE
I
Igor Canadi 已提交
3435 3436 3437 3438 3439
Status DBImpl::GetPropertiesOfAllTables(ColumnFamilyHandle* column_family,
                                        TablePropertiesCollection* props) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();

3440 3441
  // Increment the ref count
  mutex_.Lock();
I
Igor Canadi 已提交
3442
  auto version = cfd->current();
3443 3444 3445 3446 3447 3448 3449 3450 3451 3452 3453 3454
  version->Ref();
  mutex_.Unlock();

  auto s = version->GetPropertiesOfAllTables(props);

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

  return s;
}
I
Igor Canadi 已提交
3455
#endif  // ROCKSDB_LITE
3456

I
Igor Canadi 已提交
3457 3458 3459 3460
const std::string& DBImpl::GetName() const {
  return dbname_;
}

3461 3462 3463 3464
Env* DBImpl::GetEnv() const {
  return env_;
}

3465 3466
const Options& DBImpl::GetOptions(ColumnFamilyHandle* column_family) const {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
I
Igor Canadi 已提交
3467
  return *cfh->cfd()->options();
I
Igor Canadi 已提交
3468 3469
}

3470
bool DBImpl::GetProperty(ColumnFamilyHandle* column_family,
3471
                         const Slice& property, std::string* value) {
3472 3473
  bool is_int_property = false;
  bool need_out_of_mutex = false;
3474 3475 3476
  DBPropertyType property_type =
      GetPropertyType(property, &is_int_property, &need_out_of_mutex);

3477
  value->clear();
3478 3479 3480 3481 3482
  if (is_int_property) {
    uint64_t int_value;
    bool ret_value = GetIntPropertyInternal(column_family, property_type,
                                            need_out_of_mutex, &int_value);
    if (ret_value) {
3483
      *value = ToString(int_value);
3484 3485 3486 3487 3488
    }
    return ret_value;
  } else {
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
    auto cfd = cfh->cfd();
3489
    InstrumentedMutexLock l(&mutex_);
3490 3491 3492
    return cfd->internal_stats()->GetStringProperty(property_type, property,
                                                    value);
  }
J
jorlow@chromium.org 已提交
3493 3494
}

3495 3496
bool DBImpl::GetIntProperty(ColumnFamilyHandle* column_family,
                            const Slice& property, uint64_t* value) {
3497 3498
  bool is_int_property = false;
  bool need_out_of_mutex = false;
3499 3500 3501 3502 3503 3504 3505 3506 3507 3508 3509 3510
  DBPropertyType property_type =
      GetPropertyType(property, &is_int_property, &need_out_of_mutex);
  if (!is_int_property) {
    return false;
  }
  return GetIntPropertyInternal(column_family, property_type, need_out_of_mutex,
                                value);
}

bool DBImpl::GetIntPropertyInternal(ColumnFamilyHandle* column_family,
                                    DBPropertyType property_type,
                                    bool need_out_of_mutex, uint64_t* value) {
3511 3512
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
3513 3514

  if (!need_out_of_mutex) {
3515
    InstrumentedMutexLock l(&mutex_);
3516
    return cfd->internal_stats()->GetIntProperty(property_type, value, this);
3517 3518 3519 3520 3521 3522 3523 3524 3525 3526 3527 3528 3529 3530
  } else {
    SuperVersion* sv = GetAndRefSuperVersion(cfd);

    bool ret = cfd->internal_stats()->GetIntPropertyOutOfMutex(
        property_type, sv->current, value);

    ReturnAndCleanupSuperVersion(cfd, sv);

    return ret;
  }
}

SuperVersion* DBImpl::GetAndRefSuperVersion(ColumnFamilyData* cfd) {
  // TODO(ljin): consider using GetReferencedSuperVersion() directly
I
Igor Canadi 已提交
3531
  return cfd->GetThreadLocalSuperVersion(&mutex_);
3532 3533 3534 3535
}

void DBImpl::ReturnAndCleanupSuperVersion(ColumnFamilyData* cfd,
                                          SuperVersion* sv) {
I
Igor Canadi 已提交
3536
  bool unref_sv = !cfd->ReturnThreadLocalSuperVersion(sv);
3537 3538 3539 3540 3541

  if (unref_sv) {
    // Release SuperVersion
    if (sv->Unref()) {
      {
3542
        InstrumentedMutexLock l(&mutex_);
3543 3544 3545 3546 3547 3548 3549
        sv->Cleanup();
      }
      delete sv;
      RecordTick(stats_, NUMBER_SUPERVERSION_CLEANUPS);
    }
    RecordTick(stats_, NUMBER_SUPERVERSION_RELEASES);
  }
3550 3551
}

3552
void DBImpl::GetApproximateSizes(ColumnFamilyHandle* column_family,
3553
                                 const Range* range, int n, uint64_t* sizes) {
J
jorlow@chromium.org 已提交
3554 3555
  // TODO(opt): better implementation
  Version* v;
3556 3557
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
J
jorlow@chromium.org 已提交
3558
  {
3559
    InstrumentedMutexLock l(&mutex_);
3560
    v = cfd->current();
3561
    v->Ref();
J
jorlow@chromium.org 已提交
3562 3563 3564 3565 3566 3567 3568 3569 3570 3571 3572 3573
  }

  for (int i = 0; i < n; i++) {
    // Convert user_key into a corresponding internal key.
    InternalKey k1(range[i].start, kMaxSequenceNumber, kValueTypeForSeek);
    InternalKey k2(range[i].limit, kMaxSequenceNumber, kValueTypeForSeek);
    uint64_t start = versions_->ApproximateOffsetOf(v, k1);
    uint64_t limit = versions_->ApproximateOffsetOf(v, k2);
    sizes[i] = (limit >= start ? limit - start : 0);
  }

  {
3574
    InstrumentedMutexLock l(&mutex_);
J
jorlow@chromium.org 已提交
3575 3576 3577 3578
    v->Unref();
  }
}

I
Igor Canadi 已提交
3579 3580 3581 3582 3583 3584 3585 3586 3587 3588 3589 3590 3591 3592 3593 3594
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 已提交
3595 3596 3597 3598 3599
#ifndef ROCKSDB_LITE
Status DBImpl::GetUpdatesSince(
    SequenceNumber seq, unique_ptr<TransactionLogIterator>* iter,
    const TransactionLogIterator::ReadOptions& read_options) {

L
Lei Jin 已提交
3600
  RecordTick(stats_, GET_UPDATES_SINCE_CALLS);
I
Igor Canadi 已提交
3601 3602 3603
  if (seq > versions_->LastSequence()) {
    return Status::NotFound("Requested sequence not yet written in the db");
  }
I
Igor Canadi 已提交
3604
  return wal_manager_.GetUpdatesSince(seq, iter, read_options, versions_.get());
I
Igor Canadi 已提交
3605 3606
}

3607 3608 3609
Status DBImpl::DeleteFile(std::string name) {
  uint64_t number;
  FileType type;
3610 3611 3612
  WalFileType log_type;
  if (!ParseFileName(name, &number, &type, &log_type) ||
      (type != kTableFile && type != kLogFile)) {
3613 3614
    Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
        "DeleteFile %s failed.\n", name.c_str());
3615 3616 3617
    return Status::InvalidArgument("Invalid file name");
  }

3618 3619 3620 3621
  Status status;
  if (type == kLogFile) {
    // Only allow deleting archived log files
    if (log_type != kArchivedLogFile) {
3622 3623
      Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
          "DeleteFile %s failed - not archived log.\n",
3624
          name.c_str());
3625 3626
      return Status::NotSupported("Delete only supported for archived logs");
    }
3627
    status = env_->DeleteFile(db_options_.wal_dir + "/" + name.c_str());
3628
    if (!status.ok()) {
3629 3630
      Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
          "DeleteFile %s failed -- %s.\n",
3631
          name.c_str(), status.ToString().c_str());
3632 3633 3634 3635
    }
    return status;
  }

3636
  int level;
I
Igor Canadi 已提交
3637
  FileMetaData* metadata;
3638
  ColumnFamilyData* cfd;
3639
  VersionEdit edit;
3640
  JobContext job_context(next_job_id_.fetch_add(1), true);
D
Dhruba Borthakur 已提交
3641
  {
3642
    InstrumentedMutexLock l(&mutex_);
3643
    status = versions_->GetMetadataForFile(number, &level, &metadata, &cfd);
D
Dhruba Borthakur 已提交
3644
    if (!status.ok()) {
3645 3646
      Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log,
          "DeleteFile %s failed. File not found\n", name.c_str());
I
Igor Canadi 已提交
3647
      job_context.Clean();
D
Dhruba Borthakur 已提交
3648 3649
      return Status::InvalidArgument("File not found");
    }
3650
    assert(level < cfd->NumberLevels());
3651

D
Dhruba Borthakur 已提交
3652
    // If the file is being compacted no need to delete.
3653
    if (metadata->being_compacted) {
3654
      Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
3655
          "DeleteFile %s Skipped. File about to be compacted\n", name.c_str());
I
Igor Canadi 已提交
3656
      job_context.Clean();
D
Dhruba Borthakur 已提交
3657
      return Status::OK();
3658 3659
    }

D
Dhruba Borthakur 已提交
3660 3661 3662
    // 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 已提交
3663
    auto* vstoreage = cfd->current()->storage_info();
I
Igor Canadi 已提交
3664
    for (int i = level + 1; i < cfd->NumberLevels(); i++) {
S
sdong 已提交
3665
      if (vstoreage->NumLevelFiles(i) != 0) {
3666
        Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log,
3667
            "DeleteFile %s FAILED. File not in last level\n", name.c_str());
I
Igor Canadi 已提交
3668
        job_context.Clean();
D
Dhruba Borthakur 已提交
3669 3670 3671
        return Status::InvalidArgument("File not in last level");
      }
    }
3672
    // if level == 0, it has to be the oldest file
S
sdong 已提交
3673 3674
    if (level == 0 &&
        vstoreage->LevelFiles(0).back()->fd.GetNumber() != number) {
3675 3676
      Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log,
          "DeleteFile %s failed ---"
L
Lei Jin 已提交
3677
          " target file in level 0 must be the oldest.", name.c_str());
I
Igor Canadi 已提交
3678
      job_context.Clean();
3679 3680 3681
      return Status::InvalidArgument("File in level 0, but not oldest");
    }
    edit.SetColumnFamily(cfd->GetID());
D
Dhruba Borthakur 已提交
3682
    edit.DeleteFile(level, number);
3683
    status = versions_->LogAndApply(cfd, *cfd->GetLatestMutableCFOptions(),
3684
                                    &edit, &mutex_, directories_.GetDbDir());
I
Igor Canadi 已提交
3685
    if (status.ok()) {
I
Igor Canadi 已提交
3686 3687
      InstallSuperVersionBackground(cfd, &job_context,
                                    *cfd->GetLatestMutableCFOptions());
I
Igor Canadi 已提交
3688
    }
I
Igor Canadi 已提交
3689 3690
    FindObsoleteFiles(&job_context, false);
  }  // lock released here
3691
  LogFlush(db_options_.info_log);
I
Igor Canadi 已提交
3692
  // remove files outside the db-lock
I
Igor Canadi 已提交
3693 3694
  if (job_context.HaveSomethingToDelete()) {
    PurgeObsoleteFiles(job_context);
3695
  }
I
Igor Canadi 已提交
3696
  job_context.Clean();
3697 3698 3699
  return status;
}

3700
void DBImpl::GetLiveFilesMetaData(std::vector<LiveFileMetaData>* metadata) {
3701
  InstrumentedMutexLock l(&mutex_);
3702
  versions_->GetLiveFilesMetaData(metadata);
3703
}
3704 3705 3706 3707 3708 3709 3710 3711 3712 3713 3714

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 已提交
3715
#endif  // ROCKSDB_LITE
3716

I
Igor Canadi 已提交
3717 3718 3719 3720 3721 3722 3723
Status DBImpl::CheckConsistency() {
  mutex_.AssertHeld();
  std::vector<LiveFileMetaData> metadata;
  versions_->GetLiveFilesMetaData(&metadata);

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

I
Igor Canadi 已提交
3727 3728 3729 3730 3731 3732
    uint64_t fsize = 0;
    Status s = env_->GetFileSize(file_path, &fsize);
    if (!s.ok()) {
      corruption_messages +=
          "Can't access " + md.name + ": " + s.ToString() + "\n";
    } else if (fsize != md.size) {
3733
      corruption_messages += "Sst file size mismatch: " + file_path +
I
Igor Canadi 已提交
3734
                             ". Size recorded in manifest " +
3735 3736
                             ToString(md.size) + ", actual size " +
                             ToString(fsize) + "\n";
I
Igor Canadi 已提交
3737 3738 3739 3740 3741 3742 3743 3744 3745
    }
  }
  if (corruption_messages.size() == 0) {
    return Status::OK();
  } else {
    return Status::Corruption(corruption_messages);
  }
}

3746 3747 3748 3749 3750 3751 3752 3753 3754 3755 3756 3757 3758 3759 3760
Status DBImpl::GetDbIdentity(std::string& identity) {
  std::string idfilename = IdentityFileName(dbname_);
  unique_ptr<SequentialFile> idfile;
  const EnvOptions soptions;
  Status s = env_->NewSequentialFile(idfilename, &idfile, soptions);
  if (!s.ok()) {
    return s;
  }
  uint64_t file_size;
  s = env_->GetFileSize(idfilename, &file_size);
  if (!s.ok()) {
    return s;
  }
  char buffer[file_size];
  Slice id;
3761
  s = idfile->Read(static_cast<size_t>(file_size), &id, buffer);
3762 3763 3764 3765 3766 3767 3768 3769 3770 3771 3772
  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;
}

J
jorlow@chromium.org 已提交
3773 3774
// Default implementations of convenience methods that subclasses of DB
// can call if they wish
3775
Status DB::Put(const WriteOptions& opt, ColumnFamilyHandle* column_family,
3776
               const Slice& key, const Slice& value) {
3777 3778 3779 3780
  // Pre-allocate size of write batch conservatively.
  // 8 bytes are taken by header, 4 bytes for count, 1 byte for type,
  // and we allocate 11 extra bytes for key length, as well as value length.
  WriteBatch batch(key.size() + value.size() + 24);
3781
  batch.Put(column_family, key, value);
J
jorlow@chromium.org 已提交
3782 3783 3784
  return Write(opt, &batch);
}

3785 3786
Status DB::Delete(const WriteOptions& opt, ColumnFamilyHandle* column_family,
                  const Slice& key) {
J
jorlow@chromium.org 已提交
3787
  WriteBatch batch;
3788
  batch.Delete(column_family, key);
J
jorlow@chromium.org 已提交
3789 3790 3791
  return Write(opt, &batch);
}

3792 3793
Status DB::Merge(const WriteOptions& opt, ColumnFamilyHandle* column_family,
                 const Slice& key, const Slice& value) {
3794
  WriteBatch batch;
3795
  batch.Merge(column_family, key, value);
3796 3797 3798
  return Write(opt, &batch);
}

3799
// Default implementation -- returns not supported status
L
Lei Jin 已提交
3800
Status DB::CreateColumnFamily(const ColumnFamilyOptions& cf_options,
3801
                              const std::string& column_family_name,
3802
                              ColumnFamilyHandle** handle) {
3803
  return Status::NotSupported("");
3804
}
3805
Status DB::DropColumnFamily(ColumnFamilyHandle* column_family) {
3806
  return Status::NotSupported("");
3807 3808
}

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

J
Jim Paton 已提交
3811
Status DB::Open(const Options& options, const std::string& dbname, DB** dbptr) {
3812 3813 3814 3815
  DBOptions db_options(options);
  ColumnFamilyOptions cf_options(options);
  std::vector<ColumnFamilyDescriptor> column_families;
  column_families.push_back(
3816
      ColumnFamilyDescriptor(kDefaultColumnFamilyName, cf_options));
3817
  std::vector<ColumnFamilyHandle*> handles;
3818
  Status s = DB::Open(db_options, dbname, column_families, &handles, dbptr);
3819 3820 3821 3822 3823 3824 3825
  if (s.ok()) {
    assert(handles.size() == 1);
    // i can delete the handle since DBImpl is always holding a reference to
    // default column family
    delete handles[0];
  }
  return s;
3826 3827
}

3828 3829
Status DB::Open(const DBOptions& db_options, const std::string& dbname,
                const std::vector<ColumnFamilyDescriptor>& column_families,
3830
                std::vector<ColumnFamilyHandle*>* handles, DB** dbptr) {
3831
  Status s = SanitizeOptionsByTable(db_options, column_families);
3832 3833 3834
  if (!s.ok()) {
    return s;
  }
3835

3836
  if (db_options.db_paths.size() > 1) {
3837
    for (auto& cfd : column_families) {
3838 3839
      if ((cfd.options.compaction_style != kCompactionStyleUniversal) &&
          (cfd.options.compaction_style != kCompactionStyleLevel)) {
3840 3841
        return Status::NotSupported(
            "More than one DB paths are only supported in "
3842
            "universal and level compaction styles. ");
3843 3844 3845 3846 3847
      }
    }

    if (db_options.db_paths.size() > 4) {
      return Status::NotSupported(
3848
          "More than four DB paths are not supported yet. ");
3849
    }
3850 3851
  }

3852
  *dbptr = nullptr;
3853
  handles->clear();
J
jorlow@chromium.org 已提交
3854

I
Igor Canadi 已提交
3855 3856 3857 3858
  size_t max_write_buffer_size = 0;
  for (auto cf : column_families) {
    max_write_buffer_size =
        std::max(max_write_buffer_size, cf.options.write_buffer_size);
3859
  }
3860

I
Igor Canadi 已提交
3861
  DBImpl* impl = new DBImpl(db_options, dbname);
3862
  s = impl->env_->CreateDirIfMissing(impl->db_options_.wal_dir);
3863
  if (s.ok()) {
3864
    for (auto db_path : impl->db_options_.db_paths) {
3865
      s = impl->env_->CreateDirIfMissing(db_path.path);
3866 3867 3868 3869 3870 3871
      if (!s.ok()) {
        break;
      }
    }
  }

3872 3873 3874 3875 3876 3877
  if (!s.ok()) {
    delete impl;
    return s;
  }

  s = impl->CreateArchivalDirectory();
3878 3879 3880 3881
  if (!s.ok()) {
    delete impl;
    return s;
  }
J
jorlow@chromium.org 已提交
3882
  impl->mutex_.Lock();
3883 3884
  // Handles create_if_missing, error_if_exists
  s = impl->Recover(column_families);
J
jorlow@chromium.org 已提交
3885
  if (s.ok()) {
3886
    uint64_t new_log_number = impl->versions_->NewFileNumber();
3887
    unique_ptr<WritableFile> lfile;
3888
    EnvOptions soptions(db_options);
3889 3890 3891
    s = impl->db_options_.env->NewWritableFile(
        LogFileName(impl->db_options_.wal_dir, new_log_number), &lfile,
        impl->db_options_.env->OptimizeForLogWrite(soptions));
J
jorlow@chromium.org 已提交
3892
    if (s.ok()) {
3893
      lfile->SetPreallocationBlockSize(1.1 * max_write_buffer_size);
3894
      impl->logfile_number_ = new_log_number;
3895
      impl->log_.reset(new log::Writer(std::move(lfile)));
I
Igor Canadi 已提交
3896

3897 3898
      // set column family handles
      for (auto cf : column_families) {
I
Igor Canadi 已提交
3899 3900
        auto cfd =
            impl->versions_->GetColumnFamilySet()->GetColumnFamily(cf.name);
I
Igor Canadi 已提交
3901 3902 3903
        if (cfd != nullptr) {
          handles->push_back(
              new ColumnFamilyHandleImpl(cfd, impl, &impl->mutex_));
3904
          impl->NewThreadStatusCfInfo(cfd);
I
Igor Canadi 已提交
3905 3906 3907 3908 3909 3910 3911 3912 3913 3914 3915 3916 3917 3918 3919 3920
        } else {
          if (db_options.create_missing_column_families) {
            // missing column family, create it
            ColumnFamilyHandle* handle;
            impl->mutex_.Unlock();
            s = impl->CreateColumnFamily(cf.options, cf.name, &handle);
            impl->mutex_.Lock();
            if (s.ok()) {
              handles->push_back(handle);
            } else {
              break;
            }
          } else {
            s = Status::InvalidArgument("Column family not found: ", cf.name);
            break;
          }
I
Igor Canadi 已提交
3921
        }
3922
      }
I
Igor Canadi 已提交
3923 3924
    }
    if (s.ok()) {
3925
      for (auto cfd : *impl->versions_->GetColumnFamilySet()) {
L
Lei Jin 已提交
3926 3927
        delete impl->InstallSuperVersion(
            cfd, nullptr, *cfd->GetLatestMutableCFOptions());
3928
      }
I
Igor Canadi 已提交
3929 3930
      impl->alive_log_files_.push_back(
          DBImpl::LogFileNumberSize(impl->logfile_number_));
J
jorlow@chromium.org 已提交
3931
      impl->DeleteObsoleteFiles();
3932
      s = impl->directories_.GetDbDir()->Fsync();
J
jorlow@chromium.org 已提交
3933 3934
    }
  }
3935

I
Igor Canadi 已提交
3936 3937
  if (s.ok()) {
    for (auto cfd : *impl->versions_->GetColumnFamilySet()) {
S
sdong 已提交
3938
      if (cfd->ioptions()->compaction_style == kCompactionStyleFIFO) {
S
sdong 已提交
3939
        auto* vstorage = cfd->current()->storage_info();
3940
        for (int i = 1; i < vstorage->num_levels(); ++i) {
S
sdong 已提交
3941
          int num_files = vstorage->NumLevelFiles(i);
I
Igor Canadi 已提交
3942
          if (num_files > 0) {
I
Igor Canadi 已提交
3943 3944
            s = Status::InvalidArgument(
                "Not all files are at level 0. Cannot "
S
sdong 已提交
3945
                "open with FIFO compaction style.");
I
Igor Canadi 已提交
3946 3947 3948 3949
            break;
          }
        }
      }
S
sdong 已提交
3950 3951 3952
      if (!cfd->mem()->IsSnapshotSupported()) {
        impl->is_snapshot_supported_ = false;
      }
3953
      if (cfd->ioptions()->merge_operator != nullptr &&
3954 3955 3956 3957 3958
          !cfd->mem()->IsMergeOperatorSupported()) {
        s = Status::InvalidArgument(
            "The memtable of column family %s does not support merge operator "
            "its options.merge_operator is non-null", cfd->GetName().c_str());
      }
I
Igor Canadi 已提交
3959
      if (!s.ok()) {
3960 3961 3962 3963 3964
        break;
      }
    }
  }

3965 3966
  impl->mutex_.Unlock();

J
jorlow@chromium.org 已提交
3967
  if (s.ok()) {
3968
    impl->opened_successfully_ = true;
S
sdong 已提交
3969 3970
    Log(InfoLogLevel::INFO_LEVEL, impl->db_options_.info_log, "DB pointer %p",
        impl);
J
jorlow@chromium.org 已提交
3971 3972
    *dbptr = impl;
  } else {
Y
Yueh-Hsuan Chiang 已提交
3973
    for (auto* h : *handles) {
3974 3975
      delete h;
    }
3976
    handles->clear();
J
jorlow@chromium.org 已提交
3977 3978 3979 3980 3981
    delete impl;
  }
  return s;
}

3982 3983 3984
Status DB::ListColumnFamilies(const DBOptions& db_options,
                              const std::string& name,
                              std::vector<std::string>* column_families) {
I
Igor Canadi 已提交
3985
  return VersionSet::ListColumnFamilies(column_families, name, db_options.env);
3986 3987
}

3988 3989 3990
Snapshot::~Snapshot() {
}

J
jorlow@chromium.org 已提交
3991
Status DestroyDB(const std::string& dbname, const Options& options) {
3992
  const InternalKeyComparator comparator(options.comparator);
3993
  const Options& soptions(SanitizeOptions(dbname, &comparator, options));
3994
  Env* env = soptions.env;
J
jorlow@chromium.org 已提交
3995
  std::vector<std::string> filenames;
3996

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

J
jorlow@chromium.org 已提交
4000
  FileLock* lock;
4001 4002
  const std::string lockname = LockFileName(dbname);
  Status result = env->LockFile(lockname, &lock);
J
jorlow@chromium.org 已提交
4003 4004 4005
  if (result.ok()) {
    uint64_t number;
    FileType type;
4006
    InfoLogPrefix info_log_prefix(!options.db_log_dir.empty(), dbname);
D
dgrogan@chromium.org 已提交
4007
    for (size_t i = 0; i < filenames.size(); i++) {
4008
      if (ParseFileName(filenames[i], &number, info_log_prefix.prefix, &type) &&
4009
          type != kDBLockFile) {  // Lock file will be deleted at end
K
Kosie van der Merwe 已提交
4010 4011 4012 4013 4014 4015
        Status del;
        if (type == kMetaDatabase) {
          del = DestroyDB(dbname + "/" + filenames[i], options);
        } else {
          del = env->DeleteFile(dbname + "/" + filenames[i]);
        }
J
jorlow@chromium.org 已提交
4016 4017 4018 4019 4020
        if (result.ok() && !del.ok()) {
          result = del;
        }
      }
    }
4021

4022 4023
    for (auto& db_path : options.db_paths) {
      env->GetChildren(db_path.path, &filenames);
4024 4025 4026
      for (size_t i = 0; i < filenames.size(); i++) {
        if (ParseFileName(filenames[i], &number, &type) &&
            type == kTableFile) {  // Lock file will be deleted at end
4027
          Status del = env->DeleteFile(db_path.path + "/" + filenames[i]);
4028 4029 4030 4031 4032 4033 4034
          if (result.ok() && !del.ok()) {
            result = del;
          }
        }
      }
    }

I
Igor Canadi 已提交
4035 4036 4037 4038 4039 4040 4041 4042 4043 4044 4045 4046 4047 4048 4049 4050 4051 4052
    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;
4053
    env->GetChildren(archivedir, &archiveFiles);
4054 4055
    // Delete archival files.
    for (size_t i = 0; i < archiveFiles.size(); ++i) {
4056 4057
      if (ParseFileName(archiveFiles[i], &number, &type) &&
          type == kLogFile) {
4058
        Status del = env->DeleteFile(archivedir + "/" + archiveFiles[i]);
4059 4060 4061 4062 4063
        if (result.ok() && !del.ok()) {
          result = del;
        }
      }
    }
4064
    // ignore case where no archival directory is present.
4065
    env->DeleteDir(archivedir);
4066

J
jorlow@chromium.org 已提交
4067
    env->UnlockFile(lock);  // Ignore error since state is already gone
4068
    env->DeleteFile(lockname);
J
jorlow@chromium.org 已提交
4069
    env->DeleteDir(dbname);  // Ignore error in case dir contains other files
4070
    env->DeleteDir(soptions.wal_dir);
J
jorlow@chromium.org 已提交
4071 4072 4073 4074
  }
  return result;
}

Y
Yueh-Hsuan Chiang 已提交
4075
#if ROCKSDB_USING_THREAD_STATUS
4076

Y
Yueh-Hsuan Chiang 已提交
4077 4078
void DBImpl::NewThreadStatusCfInfo(
    ColumnFamilyData* cfd) const {
4079
  if (db_options_.enable_thread_tracking) {
4080
    ThreadStatusUtil::NewColumnFamilyInfo(this, cfd);
4081
  }
Y
Yueh-Hsuan Chiang 已提交
4082 4083 4084 4085
}

void DBImpl::EraseThreadStatusCfInfo(
    ColumnFamilyData* cfd) const {
4086
  if (db_options_.enable_thread_tracking) {
4087
    ThreadStatusUtil::EraseColumnFamilyInfo(cfd);
4088
  }
Y
Yueh-Hsuan Chiang 已提交
4089 4090 4091
}

void DBImpl::EraseThreadStatusDbInfo() const {
4092
  if (db_options_.enable_thread_tracking) {
4093
    ThreadStatusUtil::EraseDatabaseInfo(this);
4094
  }
Y
Yueh-Hsuan Chiang 已提交
4095 4096 4097 4098 4099 4100 4101 4102 4103 4104 4105 4106 4107 4108 4109
}

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

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

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

4110 4111
//
// A global method that can dump out the build version
I
Igor Canadi 已提交
4112
void DumpRocksDBBuildVersion(Logger * log) {
I
Igor Canadi 已提交
4113
#if !defined(IOS_CROSS_COMPILE)
I
Igor Canadi 已提交
4114 4115
  // if we compile with Xcode, we don't run build_detect_vesion, so we don't
  // generate util/build_version.cc
4116 4117
  Log(InfoLogLevel::INFO_LEVEL, log,
      "RocksDB version: %d.%d.%d\n", ROCKSDB_MAJOR, ROCKSDB_MINOR,
I
Igor Canadi 已提交
4118
      ROCKSDB_PATCH);
4119
  Log(InfoLogLevel::INFO_LEVEL, log, "Git sha %s", rocksdb_build_git_sha);
4120 4121
  Log(InfoLogLevel::INFO_LEVEL, log, "Compile date %s",
      rocksdb_build_compile_date);
I
Igor Canadi 已提交
4122
#endif
4123 4124
}

4125
}  // namespace rocksdb