db_impl.cc 141.3 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
    TEST_SYNC_POINT("DBImpl::BackgroundCompaction:TrivialMove");
2273 2274 2275 2276 2277
    // 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 已提交
2278
    // Move file to next level
2279
    assert(c->num_input_files(0) == 1);
J
jorlow@chromium.org 已提交
2280
    FileMetaData* f = c->input(0, 0);
2281
    c->edit()->DeleteFile(c->level(), f->fd.GetNumber());
2282 2283 2284
    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);
2285
    status = versions_->LogAndApply(c->column_family_data(),
2286 2287
                                    *c->mutable_cf_options(), c->edit(),
                                    &mutex_, directories_.GetDbDir());
2288
    // Use latest MutableCFOptions
I
Igor Canadi 已提交
2289 2290
    InstallSuperVersionBackground(c->column_family_data(), job_context,
                                  *c->mutable_cf_options());
2291

S
sdong 已提交
2292
    VersionStorageInfo::LevelSummaryStorage tmp;
2293 2294
    c->column_family_data()->internal_stats()->IncBytesMoved(
        c->level() + 1, f->fd.GetFileSize());
2295 2296 2297 2298 2299 2300
    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));
2301
    *madeProgress = true;
2302 2303 2304

    // Clear Instrument
    ThreadStatusUtil::ResetThreadStatus();
J
jorlow@chromium.org 已提交
2305
  } else {
2306
    TEST_SYNC_POINT("DBImpl::BackgroundCompaction:NonTrivial");
I
Igor Canadi 已提交
2307 2308 2309 2310 2311
    auto yield_callback = [&]() {
      return CallFlushDuringCompaction(c->column_family_data(),
                                       *c->mutable_cf_options(), job_context,
                                       log_buffer);
    };
2312
    CompactionJob compaction_job(
2313 2314 2315 2316 2317
        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 已提交
2318 2319 2320 2321
    compaction_job.Prepare();
    mutex_.Unlock();
    status = compaction_job.Run();
    mutex_.Lock();
2322
    compaction_job.Install(&status, &mutex_);
I
Igor Canadi 已提交
2323 2324 2325 2326
    if (status.ok()) {
      InstallSuperVersionBackground(c->column_family_data(), job_context,
                                    *c->mutable_cf_options());
    }
O
Ori Bernstein 已提交
2327 2328 2329 2330 2331
    *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 已提交
2332
    c->ReleaseCompactionFiles(status);
2333
    *madeProgress = true;
J
jorlow@chromium.org 已提交
2334
  }
2335
  // this will unref its input_version and column_family_data
2336
  c.reset();
J
jorlow@chromium.org 已提交
2337 2338 2339

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

  if (is_manual) {
G
Gabor Cselle 已提交
2351
    ManualCompaction* m = manual_compaction_;
2352
    if (!status.ok()) {
L
Lei Jin 已提交
2353
      m->status = status;
2354 2355
      m->done = true;
    }
2356 2357 2358 2359 2360 2361 2362 2363 2364
    // 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.
2365 2366 2367 2368 2369
    //
    // 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) {
2370 2371
      m->done = true;
    }
G
Gabor Cselle 已提交
2372 2373 2374
    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 已提交
2375
      // Universal and FIFO compactions should always compact the whole range
S
sdong 已提交
2376 2377 2378
      assert(m->cfd->ioptions()->compaction_style !=
                 kCompactionStyleUniversal ||
             m->cfd->ioptions()->num_levels > 1);
2379
      assert(m->cfd->ioptions()->compaction_style != kCompactionStyleFIFO);
2380
      m->tmp_storage = *manual_end;
G
Gabor Cselle 已提交
2381 2382
      m->begin = &m->tmp_storage;
    }
2383
    m->in_progress = false; // not being processed anymore
2384
    manual_compaction_ = nullptr;
H
hans@chromium.org 已提交
2385
  }
2386
  return status;
J
jorlow@chromium.org 已提交
2387 2388
}

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

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

  DBImpl* db;
2419
  InstrumentedMutex* mu;
2420
  SuperVersion* super_version;
2421 2422 2423 2424
};

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

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

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

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

2443 2444
  delete state;
}
H
Hans Wennborg 已提交
2445
}  // namespace
2446

L
Lei Jin 已提交
2447
Iterator* DBImpl::NewInternalIterator(const ReadOptions& read_options,
2448
                                      ColumnFamilyData* cfd,
2449 2450 2451
                                      SuperVersion* super_version,
                                      Arena* arena) {
  Iterator* internal_iter;
2452 2453 2454 2455 2456
  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 已提交
2457
      super_version->mem->NewIterator(read_options, arena));
2458
  // Collect all needed child iterators for immutable memtables
L
Lei Jin 已提交
2459
  super_version->imm->AddIterators(read_options, &merge_iter_builder);
2460
  // Collect iterators for files in L0 - Ln
L
Lei Jin 已提交
2461
  super_version->current->AddIterators(read_options, env_options_,
2462 2463
                                       &merge_iter_builder);
  internal_iter = merge_iter_builder.Finish();
2464
  IterState* cleanup = new IterState(this, &mutex_, super_version);
2465
  internal_iter->RegisterCleanup(CleanupIteratorState, cleanup, nullptr);
J
jorlow@chromium.org 已提交
2466 2467 2468 2469

  return internal_iter;
}

2470 2471 2472 2473
ColumnFamilyHandle* DBImpl::DefaultColumnFamily() const {
  return default_cf_handle_;
}

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

I
Igor Canadi 已提交
2480 2481
// JobContext gets created and destructed outside of the lock --
// we
I
Igor Canadi 已提交
2482 2483
// use this convinently to:
// * malloc one SuperVersion() outside of the lock -- new_superversion
2484
// * delete SuperVersion()s outside of the lock -- superversions_to_free
I
Igor Canadi 已提交
2485
//
I
Igor Canadi 已提交
2486 2487 2488 2489
// However, if InstallSuperVersion() gets called twice with the same
// job_context, we can't reuse the SuperVersion() that got
// malloced
// because
I
Igor Canadi 已提交
2490 2491 2492
// 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 已提交
2493 2494
void DBImpl::InstallSuperVersionBackground(
    ColumnFamilyData* cfd, JobContext* job_context,
2495
    const MutableCFOptions& mutable_cf_options) {
2496
  mutex_.AssertHeld();
I
Igor Canadi 已提交
2497 2498 2499 2500
  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 已提交
2501 2502
}

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

  // 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 已提交
2516 2517 2518
  auto* old = cfd->InstallSuperVersion(
      new_sv ? new_sv : new SuperVersion(), &mutex_, mutable_cf_options);

2519 2520 2521 2522 2523 2524 2525 2526 2527
  // 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 已提交
2528 2529 2530 2531 2532 2533 2534 2535 2536 2537

  // 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,
2538 2539
                       ColumnFamilyHandle* column_family, const Slice& key,
                       std::string* value, bool* value_found) {
L
Lei Jin 已提交
2540
  StopWatch sw(env_, stats_, DB_GET);
2541
  PERF_TIMER_GUARD(get_snapshot_time);
2542

2543 2544 2545
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();

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

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

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

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

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

2580 2581
  {
    PERF_TIMER_GUARD(get_post_process_time);
2582

2583
    ReturnAndCleanupSuperVersion(cfd, sv);
2584

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

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

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

2599
  SequenceNumber snapshot;
2600

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

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

2630 2631
  // Contain a list of merge operations if merge occurs.
  MergeContext merge_context;
2632

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

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

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

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

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

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

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

  for (auto td : superversions_to_delete) {
    delete td;
  }
  for (auto mgd : multiget_cf_data) {
    delete mgd.second;
2692
  }
2693

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

2699
  return stat_list;
2700 2701
}

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

Y
Yueh-Hsuan Chiang 已提交
2710 2711 2712 2713 2714 2715 2716 2717 2718 2719 2720 2721 2722 2723
    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 已提交
2724 2725 2726 2727 2728 2729 2730 2731
    {  // 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,
2732
          &mutex_, directories_.GetDbDir(), false, &cf_options);
I
Igor Canadi 已提交
2733 2734
      write_thread_.ExitWriteThread(&w, &w, s);
    }
Y
Yueh-Hsuan Chiang 已提交
2735 2736 2737 2738 2739 2740 2741
    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 已提交
2742 2743 2744 2745 2746

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

Y
Yueh-Hsuan Chiang 已提交
2747 2748 2749 2750 2751 2752 2753 2754 2755
      *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());
    }
2756
  }  // InstrumentedMutexLock l(&mutex_)
Y
Yueh-Hsuan Chiang 已提交
2757 2758

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

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

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

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

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

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

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

2827
  return s;
2828 2829
}

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

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

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

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

I
Igor Canadi 已提交
2885
    auto snapshot =
2886 2887 2888
        read_options.snapshot != nullptr
            ? reinterpret_cast<const SnapshotImpl*>(
                read_options.snapshot)->number_
I
Igor Canadi 已提交
2889
            : latest_snapshot;
T
Tomislav Novak 已提交
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 2932 2933
    // 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(
2934
        env_, *cfd->ioptions(), cfd->user_comparator(),
2935
        snapshot, sv->mutable_cf_options.max_sequential_skip_in_iterations,
2936
        read_options.iterate_upper_bound);
2937

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

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

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

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

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

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

  return Status::OK();
3013 3014
}

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

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

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

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

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

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

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

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

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

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

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

I
Igor Canadi 已提交
3084
  Status status = write_thread_.EnterWriteThread(&w, expiration_time);
S
Stanislau Hlebik 已提交
3085 3086
  assert(status.ok() || status.IsTimedOut());
  if (status.IsTimedOut()) {
3087
    mutex_.Unlock();
L
Lei Jin 已提交
3088
    RecordTick(stats_, WRITE_TIMEDOUT);
3089
    return Status::TimedOut();
3090
  }
S
Stanislau Hlebik 已提交
3091 3092 3093 3094 3095 3096 3097 3098 3099 3100
  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);
3101

3102 3103 3104 3105
  // 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.
3106 3107 3108
  assert(!single_column_family_mode_ ||
         versions_->GetColumnFamilySet()->NumberOfColumnFamilies() == 1);

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

  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 已提交
3171
    status = DelayWrite(expiration_time);
I
Igor Canadi 已提交
3172 3173 3174 3175 3176
  }

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

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

3185 3186 3187
    // 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
3188
    // into memtables
3189
    {
3190
      mutex_.Unlock();
3191 3192 3193 3194 3195 3196 3197 3198 3199 3200
      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]);
        }
      }

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

3214
      uint64_t log_size = 0;
L
Lei Jin 已提交
3215
      if (!write_options.disableWAL) {
3216
        PERF_TIMER_GUARD(write_wal_time);
3217 3218
        Slice log_entry = WriteBatchInternal::Contents(updates);
        status = log_->AddRecord(log_entry);
I
Igor Canadi 已提交
3219 3220
        total_log_size_ += log_entry.size();
        alive_log_files_.back().AddSize(log_entry.size());
3221
        log_empty_ = false;
3222
        log_size = log_entry.size();
L
Lei Jin 已提交
3223
        RecordTick(stats_, WAL_FILE_BYTES, log_size);
L
Lei Jin 已提交
3224
        if (status.ok() && write_options.sync) {
I
Igor Canadi 已提交
3225
          RecordTick(stats_, WAL_FILE_SYNCED);
3226
          StopWatch sw(env_, stats_, WAL_FILE_SYNC_MICROS);
3227
          if (db_options_.use_fsync) {
3228
            status = log_->file()->Fsync();
3229
          } else {
3230
            status = log_->file()->Sync();
3231
          }
3232
          if (status.ok() && !log_dir_synced_) {
3233 3234 3235 3236 3237
            // 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();
          }
3238
          log_dir_synced_ = true;
H
heyongqiang 已提交
3239
        }
3240 3241
      }
      if (status.ok()) {
3242
        PERF_TIMER_GUARD(write_memtable_time);
Y
Yueh-Hsuan Chiang 已提交
3243

3244
        status = WriteBatchInternal::InsertInto(
I
Igor Canadi 已提交
3245
            updates, column_family_memtables_.get(),
L
Lei Jin 已提交
3246
            write_options.ignore_missing_column_families, 0, this, false);
Y
Yueh-Hsuan Chiang 已提交
3247 3248 3249 3250 3251 3252 3253 3254
        // 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 已提交
3255
        SetTickerCount(stats_, SEQUENCE_NUMBER, last_sequence);
3256
      }
L
Lei Jin 已提交
3257
      PERF_TIMER_START(write_pre_and_post_process_time);
3258 3259 3260
      if (updates == &tmp_batch_) {
        tmp_batch_.Clear();
      }
3261
      mutex_.Lock();
3262 3263 3264
      // internal stats
      default_cf_internal_stats_->AddDBStats(
          InternalStats::BYTES_WRITTEN, batch_size);
S
sdong 已提交
3265 3266
      default_cf_internal_stats_->AddDBStats(InternalStats::NUMBER_KEYS_WRITTEN,
                                             my_batch_count);
L
Lei Jin 已提交
3267
      if (!write_options.disableWAL) {
3268 3269 3270 3271 3272
        default_cf_internal_stats_->AddDBStats(
            InternalStats::WAL_FILE_SYNCED, 1);
        default_cf_internal_stats_->AddDBStats(
            InternalStats::WAL_FILE_BYTES, log_size);
      }
3273
      if (status.ok()) {
3274
        versions_->SetLastSequence(last_sequence);
3275
      }
J
jorlow@chromium.org 已提交
3276 3277
    }
  }
3278
  if (db_options_.paranoid_checks && !status.ok() &&
3279
      !status.IsTimedOut() && bg_error_.ok()) {
I
Igor Canadi 已提交
3280 3281
    bg_error_ = status; // stop compaction & fail any further writes
  }
3282

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

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

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

J
jorlow@chromium.org 已提交
3294 3295 3296
  return status;
}

3297 3298
// REQUIRES: mutex_ is held
// REQUIRES: this thread is currently at the front of the writer queue
I
Igor Canadi 已提交
3299
Status DBImpl::DelayWrite(uint64_t expiration_time) {
S
sdong 已提交
3300 3301
  uint64_t time_delayed = 0;
  bool delayed = false;
3302
  bool timed_out = false;
S
sdong 已提交
3303 3304 3305 3306 3307 3308 3309 3310
  {
    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 已提交
3311
      TEST_SYNC_POINT("DBImpl::DelayWrite:Sleep");
S
sdong 已提交
3312 3313 3314
      env_->SleepForMicroseconds(static_cast<int>(delay));
      mutex_.Lock();
    }
3315

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

3336 3337 3338 3339
  if (timed_out) {
    return Status::TimedOut();
  }

I
Igor Canadi 已提交
3340
  return bg_error_;
3341 3342
}

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

// 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.
3370
  assert(versions_->prev_log_number() == 0);
S
Stanislau Hlebik 已提交
3371 3372 3373 3374
  bool creating_new_log = !log_empty_;
  uint64_t new_log_number =
      creating_new_log ? versions_->NewFileNumber() : logfile_number_;
  SuperVersion* new_superversion = nullptr;
3375
  const MutableCFOptions mutable_cf_options = *cfd->GetLatestMutableCFOptions();
S
Stanislau Hlebik 已提交
3376 3377 3378 3379
  mutex_.Unlock();
  Status s;
  {
    if (creating_new_log) {
3380
      s = env_->NewWritableFile(
3381 3382
          LogFileName(db_options_.wal_dir, new_log_number), &lfile,
          env_->OptimizeForLogWrite(env_options_));
S
Stanislau Hlebik 已提交
3383 3384 3385
      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 已提交
3386 3387
        lfile->SetPreallocationBlockSize(
            1.1 * mutable_cf_options.write_buffer_size);
S
Stanislau Hlebik 已提交
3388
        new_log = new log::Writer(std::move(lfile));
3389
        log_dir_synced_ = false;
I
Igor Canadi 已提交
3390
      }
S
Stanislau Hlebik 已提交
3391 3392 3393
    }

    if (s.ok()) {
3394
      new_mem = cfd->ConstructNewMemtable(mutable_cf_options);
S
Stanislau Hlebik 已提交
3395 3396 3397
      new_superversion = new SuperVersion();
    }
  }
3398
  Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
I
Igor Canadi 已提交
3399 3400
      "[%s] New memtable created with log file: #%" PRIu64 "\n",
      cfd->GetName().c_str(), new_log_number);
S
Stanislau Hlebik 已提交
3401 3402 3403 3404 3405 3406 3407 3408 3409 3410 3411
  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);
3412
    logs_to_free_.push_back(log_.release());
S
Stanislau Hlebik 已提交
3413 3414 3415
    log_.reset(new_log);
    log_empty_ = true;
    alive_log_files_.push_back(LogFileNumberSize(logfile_number_));
I
Igor Canadi 已提交
3416
    for (auto loop_cfd : *versions_->GetColumnFamilySet()) {
S
Stanislau Hlebik 已提交
3417 3418 3419 3420
      // 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 已提交
3421 3422 3423
      if (loop_cfd->mem()->GetFirstSequenceNumber() == 0 &&
          loop_cfd->imm()->size() == 0) {
        loop_cfd->SetLogNumber(logfile_number_);
3424
      }
3425 3426
    }
  }
S
Stanislau Hlebik 已提交
3427 3428 3429 3430 3431
  cfd->mem()->SetNextLogNumber(logfile_number_);
  cfd->imm()->Add(cfd->mem());
  new_mem->Ref();
  cfd->SetMemtable(new_mem);
  context->superversions_to_free_.push_back(
3432
      InstallSuperVersion(cfd, new_superversion, mutable_cf_options, true));
3433 3434 3435
  return s;
}

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

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

  auto s = version->GetPropertiesOfAllTables(props);

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

  return s;
}
I
Igor Canadi 已提交
3457
#endif  // ROCKSDB_LITE
3458

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

3463 3464 3465 3466
Env* DBImpl::GetEnv() const {
  return env_;
}

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

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

3479
  value->clear();
3480 3481 3482 3483 3484
  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) {
3485
      *value = ToString(int_value);
3486 3487 3488 3489 3490
    }
    return ret_value;
  } else {
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
    auto cfd = cfh->cfd();
3491
    InstrumentedMutexLock l(&mutex_);
3492 3493 3494
    return cfd->internal_stats()->GetStringProperty(property_type, property,
                                                    value);
  }
J
jorlow@chromium.org 已提交
3495 3496
}

3497 3498
bool DBImpl::GetIntProperty(ColumnFamilyHandle* column_family,
                            const Slice& property, uint64_t* value) {
3499 3500
  bool is_int_property = false;
  bool need_out_of_mutex = false;
3501 3502 3503 3504 3505 3506 3507 3508 3509 3510 3511 3512
  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) {
3513 3514
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
3515 3516

  if (!need_out_of_mutex) {
3517
    InstrumentedMutexLock l(&mutex_);
3518
    return cfd->internal_stats()->GetIntProperty(property_type, value, this);
3519 3520 3521 3522 3523 3524 3525 3526 3527 3528 3529 3530 3531 3532
  } 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 已提交
3533
  return cfd->GetThreadLocalSuperVersion(&mutex_);
3534 3535 3536 3537
}

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

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

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

  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);
  }

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

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

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

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

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

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

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

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

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

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 已提交
3717
#endif  // ROCKSDB_LITE
3718

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

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

I
Igor Canadi 已提交
3729 3730 3731 3732 3733 3734
    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) {
3735
      corruption_messages += "Sst file size mismatch: " + file_path +
I
Igor Canadi 已提交
3736
                             ". Size recorded in manifest " +
3737 3738
                             ToString(md.size) + ", actual size " +
                             ToString(fsize) + "\n";
I
Igor Canadi 已提交
3739 3740 3741 3742 3743 3744 3745 3746 3747
    }
  }
  if (corruption_messages.size() == 0) {
    return Status::OK();
  } else {
    return Status::Corruption(corruption_messages);
  }
}

3748 3749 3750 3751 3752 3753 3754 3755 3756 3757 3758 3759 3760 3761 3762
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;
3763
  s = idfile->Read(static_cast<size_t>(file_size), &id, buffer);
3764 3765 3766 3767 3768 3769 3770 3771 3772 3773 3774
  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 已提交
3775 3776
// Default implementations of convenience methods that subclasses of DB
// can call if they wish
3777
Status DB::Put(const WriteOptions& opt, ColumnFamilyHandle* column_family,
3778
               const Slice& key, const Slice& value) {
3779 3780 3781 3782
  // 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);
3783
  batch.Put(column_family, key, value);
J
jorlow@chromium.org 已提交
3784 3785 3786
  return Write(opt, &batch);
}

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

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

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

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

J
Jim Paton 已提交
3813
Status DB::Open(const Options& options, const std::string& dbname, DB** dbptr) {
3814 3815 3816 3817
  DBOptions db_options(options);
  ColumnFamilyOptions cf_options(options);
  std::vector<ColumnFamilyDescriptor> column_families;
  column_families.push_back(
3818
      ColumnFamilyDescriptor(kDefaultColumnFamilyName, cf_options));
3819
  std::vector<ColumnFamilyHandle*> handles;
3820
  Status s = DB::Open(db_options, dbname, column_families, &handles, dbptr);
3821 3822 3823 3824 3825 3826 3827
  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;
3828 3829
}

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

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

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

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

I
Igor Canadi 已提交
3857 3858 3859 3860
  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);
3861
  }
3862

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

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

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

3899 3900
      // set column family handles
      for (auto cf : column_families) {
I
Igor Canadi 已提交
3901 3902
        auto cfd =
            impl->versions_->GetColumnFamilySet()->GetColumnFamily(cf.name);
I
Igor Canadi 已提交
3903 3904 3905
        if (cfd != nullptr) {
          handles->push_back(
              new ColumnFamilyHandleImpl(cfd, impl, &impl->mutex_));
3906
          impl->NewThreadStatusCfInfo(cfd);
I
Igor Canadi 已提交
3907 3908 3909 3910 3911 3912 3913 3914 3915 3916 3917 3918 3919 3920 3921 3922
        } 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 已提交
3923
        }
3924
      }
I
Igor Canadi 已提交
3925 3926
    }
    if (s.ok()) {
3927
      for (auto cfd : *impl->versions_->GetColumnFamilySet()) {
L
Lei Jin 已提交
3928 3929
        delete impl->InstallSuperVersion(
            cfd, nullptr, *cfd->GetLatestMutableCFOptions());
3930
      }
I
Igor Canadi 已提交
3931 3932
      impl->alive_log_files_.push_back(
          DBImpl::LogFileNumberSize(impl->logfile_number_));
J
jorlow@chromium.org 已提交
3933
      impl->DeleteObsoleteFiles();
3934
      s = impl->directories_.GetDbDir()->Fsync();
J
jorlow@chromium.org 已提交
3935 3936
    }
  }
3937

I
Igor Canadi 已提交
3938 3939
  if (s.ok()) {
    for (auto cfd : *impl->versions_->GetColumnFamilySet()) {
S
sdong 已提交
3940
      if (cfd->ioptions()->compaction_style == kCompactionStyleFIFO) {
S
sdong 已提交
3941
        auto* vstorage = cfd->current()->storage_info();
3942
        for (int i = 1; i < vstorage->num_levels(); ++i) {
S
sdong 已提交
3943
          int num_files = vstorage->NumLevelFiles(i);
I
Igor Canadi 已提交
3944
          if (num_files > 0) {
I
Igor Canadi 已提交
3945 3946
            s = Status::InvalidArgument(
                "Not all files are at level 0. Cannot "
S
sdong 已提交
3947
                "open with FIFO compaction style.");
I
Igor Canadi 已提交
3948 3949 3950 3951
            break;
          }
        }
      }
S
sdong 已提交
3952 3953 3954
      if (!cfd->mem()->IsSnapshotSupported()) {
        impl->is_snapshot_supported_ = false;
      }
3955
      if (cfd->ioptions()->merge_operator != nullptr &&
3956 3957 3958 3959 3960
          !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 已提交
3961
      if (!s.ok()) {
3962 3963 3964 3965 3966
        break;
      }
    }
  }

3967 3968
  impl->mutex_.Unlock();

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

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

3990 3991 3992
Snapshot::~Snapshot() {
}

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

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

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

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

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

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

Y
Yueh-Hsuan Chiang 已提交
4077
#if ROCKSDB_USING_THREAD_STATUS
4078

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

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

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

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

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

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

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

4127
}  // namespace rocksdb