db_impl.cc 140.2 KB
Newer Older
1 2 3 4 5
//  Copyright (c) 2013, Facebook, Inc.  All rights reserved.
//  This source code is licensed under the BSD-style license found in the
//  LICENSE file in the root directory of this source tree. An additional grant
//  of patent rights can be found in the PATENTS file in the same directory.
//
J
jorlow@chromium.org 已提交
6 7 8 9 10 11
// Copyright (c) 2011 The LevelDB Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file. See the AUTHORS file for names of contributors.

#include "db/db_impl.h"

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

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

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

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

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

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

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

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

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

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

118 119
  // result.max_open_files means an "infinite" open files.
  if (result.max_open_files != -1) {
120
    ClipToRange(&result.max_open_files, 20, 1000000);
121
  }
122

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

I
Igor Canadi 已提交
136
  if (result.rate_limiter.get() != nullptr) {
137 138 139 140 141
    if (result.bytes_per_sync == 0) {
      result.bytes_per_sync = 1024 * 1024;
    }
  }

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

150
  if (result.db_paths.size() == 0) {
151
    result.db_paths.emplace_back(dbname, std::numeric_limits<uint64_t>::max());
152 153
  }

J
jorlow@chromium.org 已提交
154 155 156
  return result;
}

157 158
namespace {

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

172
CompressionType GetCompressionFlush(const ImmutableCFOptions& ioptions) {
173 174 175 176 177 178
  // 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;

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

  if (can_compress) {
189
    return ioptions.compression;
190 191 192 193
  } else {
    return kNoCompression;
  }
}
194
}  // namespace
195

I
Igor Canadi 已提交
196
DBImpl::DBImpl(const DBOptions& options, const std::string& dbname)
J
jorlow@chromium.org 已提交
197
    : env_(options.env),
H
heyongqiang 已提交
198
      dbname_(dbname),
199 200
      db_options_(SanitizeOptions(dbname, options)),
      stats_(db_options_.statistics.get()),
201
      db_lock_(nullptr),
I
Igor Canadi 已提交
202
      mutex_(stats_, env_, DB_MUTEX_WAIT_MICROS, options.use_adaptive_mutex),
I
Igor Canadi 已提交
203
      shutting_down_(false),
J
jorlow@chromium.org 已提交
204
      bg_cv_(&mutex_),
205
      logfile_number_(0),
206
      log_dir_synced_(false),
I
Igor Canadi 已提交
207
      log_empty_(true),
208
      default_cf_handle_(nullptr),
I
Igor Canadi 已提交
209 210
      total_log_size_(0),
      max_total_in_memory_state_(0),
S
sdong 已提交
211
      is_snapshot_supported_(true),
212
      write_buffer_(options.db_write_buffer_size),
213 214
      unscheduled_flushes_(0),
      unscheduled_compactions_(0),
215
      bg_compaction_scheduled_(0),
216
      bg_manual_only_(0),
217
      bg_flush_scheduled_(0),
218
      manual_compaction_(nullptr),
219
      disable_delete_obsolete_files_(0),
I
Igor Canadi 已提交
220 221 222
      delete_obsolete_files_next_run_(
          options.env->NowMicros() +
          db_options_.delete_obsolete_files_period_micros),
223
      last_stats_dump_time_microsec_(0),
224
      next_job_id_(1),
225
      flush_on_destroy_(false),
L
Lei Jin 已提交
226
      env_options_(options),
I
Igor Canadi 已提交
227 228 229
#ifndef ROCKSDB_LITE
      wal_manager_(db_options_, env_options_),
#endif  // ROCKSDB_LITE
I
Igor Canadi 已提交
230
      event_logger_(db_options_.info_log.get()),
231
      bg_work_gate_closed_(false),
232
      refitting_level_(false),
233 234
      opened_successfully_(false),
      notifying_events_(0) {
H
heyongqiang 已提交
235
  env_->GetAbsolutePath(dbname, &db_absolute_path_);
236

J
jorlow@chromium.org 已提交
237
  // Reserve ten files or so for other uses and give the rest to TableCache.
238
  // Give a large number for setting of "infinite" open files.
239 240
  const int table_cache_size = (db_options_.max_open_files == -1) ?
        4194304 : db_options_.max_open_files - 10;
241 242
  // Reserve ten files or so for other uses and give the rest to TableCache.
  table_cache_ =
243
      NewLRUCache(table_cache_size, db_options_.table_cache_numshardbits);
244

245
  versions_.reset(new VersionSet(dbname_, &db_options_, env_options_,
246 247
                                 table_cache_.get(), &write_buffer_,
                                 &write_controller_));
I
Igor Canadi 已提交
248 249
  column_family_memtables_.reset(new ColumnFamilyMemTablesImpl(
      versions_->GetColumnFamilySet(), &flush_scheduler_));
250

I
Igor Canadi 已提交
251
  DumpRocksDBBuildVersion(db_options_.info_log.get());
252 253
  DumpDBFileSummary(db_options_, dbname_);
  db_options_.Dump(db_options_.info_log.get());
254

255
  LogFlush(db_options_.info_log);
J
jorlow@chromium.org 已提交
256 257
}

258
void DBImpl::CancelAllBackgroundWork() {
259 260 261
  shutting_down_.store(true, std::memory_order_release);
}

J
jorlow@chromium.org 已提交
262
DBImpl::~DBImpl() {
Y
Yueh-Hsuan Chiang 已提交
263
  EraseThreadStatusDbInfo();
264
  mutex_.Lock();
265

266 267
  if (flush_on_destroy_) {
    for (auto cfd : *versions_->GetColumnFamilySet()) {
268
      if (!cfd->IsDropped() && !cfd->mem()->IsEmpty()) {
269 270 271 272
        cfd->Ref();
        mutex_.Unlock();
        FlushMemTable(cfd, FlushOptions());
        mutex_.Lock();
273
        cfd->Unref();
274 275
      }
    }
276
    versions_->GetColumnFamilySet()->FreeDeadColumnFamilies();
277
  }
278
  CancelAllBackgroundWork();
279 280 281 282 283 284 285 286 287 288 289
  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();
  }
290
  listeners_.clear();
I
Igor Canadi 已提交
291 292
  flush_scheduler_.Clear();

293 294 295 296 297 298 299 300 301 302 303 304 305
  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 已提交
306 307 308 309 310
  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();
311 312
  }

I
Igor Canadi 已提交
313 314 315 316 317 318 319 320 321 322
  // 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_) {
323
    JobContext job_context(next_job_id_.fetch_add(1));
I
Igor Canadi 已提交
324
    FindObsoleteFiles(&job_context, true);
I
Igor Canadi 已提交
325
    // manifest number starting from 2
I
Igor Canadi 已提交
326 327 328
    job_context.manifest_file_number = 1;
    if (job_context.HaveSomethingToDelete()) {
      PurgeObsoleteFiles(job_context);
329
    }
I
Igor Canadi 已提交
330
    job_context.Clean();
331 332
  }

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

341
  LogFlush(db_options_.info_log);
J
jorlow@chromium.org 已提交
342 343 344
}

Status DBImpl::NewDB() {
345
  VersionEdit new_db;
346
  new_db.SetLogNumber(0);
J
jorlow@chromium.org 已提交
347 348 349
  new_db.SetNextFile(2);
  new_db.SetLastSequence(0);

350 351
  Log(InfoLogLevel::INFO_LEVEL,
      db_options_.info_log, "Creating manifest 1 \n");
J
jorlow@chromium.org 已提交
352
  const std::string manifest = DescriptorFileName(dbname_, 1);
353
  unique_ptr<WritableFile> file;
I
Igor Canadi 已提交
354
  Status s = env_->NewWritableFile(
L
Lei Jin 已提交
355
      manifest, &file, env_->OptimizeForManifestWrite(env_options_));
J
jorlow@chromium.org 已提交
356 357 358
  if (!s.ok()) {
    return s;
  }
359
  file->SetPreallocationBlockSize(db_options_.manifest_preallocation_size);
J
jorlow@chromium.org 已提交
360
  {
361
    log::Writer log(std::move(file));
J
jorlow@chromium.org 已提交
362 363 364
    std::string record;
    new_db.EncodeTo(&record);
    s = log.AddRecord(record);
S
sdong 已提交
365 366 367
    if (s.ok()) {
      s = SyncManifest(env_, &db_options_, log.file());
    }
J
jorlow@chromium.org 已提交
368 369 370
  }
  if (s.ok()) {
    // Make "CURRENT" file that points to the new manifest file.
371
    s = SetCurrentFile(env_, dbname_, 1, directories_.GetDbDir());
J
jorlow@chromium.org 已提交
372 373 374 375 376 377 378
  } else {
    env_->DeleteFile(manifest);
  }
  return s;
}

void DBImpl::MaybeIgnoreError(Status* s) const {
379
  if (s->ok() || db_options_.paranoid_checks) {
J
jorlow@chromium.org 已提交
380 381
    // No change needed
  } else {
382 383
    Log(InfoLogLevel::WARN_LEVEL,
        db_options_.info_log, "Ignoring error %s", s->ToString().c_str());
J
jorlow@chromium.org 已提交
384 385 386 387
    *s = Status::OK();
  }
}

388
const Status DBImpl::CreateArchivalDirectory() {
389 390
  if (db_options_.WAL_ttl_seconds > 0 || db_options_.WAL_size_limit_MB > 0) {
    std::string archivalPath = ArchivalDirectory(db_options_.wal_dir);
391 392 393 394 395
    return env_->CreateDirIfMissing(archivalPath);
  }
  return Status::OK();
}

396
void DBImpl::PrintStatistics() {
397
  auto dbstats = db_options_.statistics.get();
398
  if (dbstats) {
399
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
M
Mark Callaghan 已提交
400
        "STATISTICS:\n %s",
401
        dbstats->ToString().c_str());
402 403 404
  }
}

405
void DBImpl::MaybeDumpStats() {
406
  if (db_options_.stats_dump_period_sec == 0) return;
H
Haobo Xu 已提交
407 408 409 410

  const uint64_t now_micros = env_->NowMicros();

  if (last_stats_dump_time_microsec_ +
411
      db_options_.stats_dump_period_sec * 1000000
H
Haobo Xu 已提交
412 413 414 415 416 417
      <= 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;
418

419 420 421 422 423 424
    bool tmp1 = false;
    bool tmp2 = false;
    DBPropertyType cf_property_type =
        GetPropertyType("rocksdb.cfstats", &tmp1, &tmp2);
    DBPropertyType db_property_type =
        GetPropertyType("rocksdb.dbstats", &tmp1, &tmp2);
H
Haobo Xu 已提交
425
    std::string stats;
426
    {
427
      InstrumentedMutexLock l(&mutex_);
428
      for (auto cfd : *versions_->GetColumnFamilySet()) {
429 430
        cfd->internal_stats()->GetStringProperty(cf_property_type,
                                                 "rocksdb.cfstats", &stats);
431
      }
432 433
      default_cf_internal_stats_->GetStringProperty(db_property_type,
                                                    "rocksdb.dbstats", &stats);
434
    }
435 436 437 438
    Log(InfoLogLevel::INFO_LEVEL,
        db_options_.info_log, "------- DUMPING STATS -------");
    Log(InfoLogLevel::INFO_LEVEL,
        db_options_.info_log, "%s", stats.c_str());
439

440
    PrintStatistics();
441 442 443
  }
}

I
Igor Canadi 已提交
444
// * Returns the list of live files in 'sst_live'
I
Igor Canadi 已提交
445
// If it's doing full scan:
I
Igor Canadi 已提交
446 447
// * Returns the list of all files in the filesystem in
// 'full_scan_candidate_files'.
I
Igor Canadi 已提交
448
// Otherwise, gets obsolete files from VersionSet.
I
Igor Canadi 已提交
449 450
// no_full_scan = true -- never do the full scan using GetChildren()
// force = false -- don't force the full scan, except every
451
//  db_options_.delete_obsolete_files_period_micros
I
Igor Canadi 已提交
452
// force = true -- force the full scan
I
Igor Canadi 已提交
453
void DBImpl::FindObsoleteFiles(JobContext* job_context, bool force,
I
Igor Canadi 已提交
454
                               bool no_full_scan) {
D
Dhruba Borthakur 已提交
455 456
  mutex_.AssertHeld();

457
  // if deletion is disabled, do nothing
458
  if (disable_delete_obsolete_files_ > 0) {
459 460 461
    return;
  }

462 463 464 465 466
  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;
467
  } else if (force || db_options_.delete_obsolete_files_period_micros == 0) {
468 469 470
    doing_the_full_scan = true;
  } else {
    const uint64_t now_micros = env_->NowMicros();
I
Igor Canadi 已提交
471
    if (delete_obsolete_files_next_run_ < now_micros) {
472
      doing_the_full_scan = true;
I
Igor Canadi 已提交
473 474
      delete_obsolete_files_next_run_ =
          now_micros + db_options_.delete_obsolete_files_period_micros;
475 476 477
    }
  }

I
Igor Canadi 已提交
478 479 480 481 482 483 484 485 486
  // 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 已提交
487
  // get obsolete files
I
Igor Canadi 已提交
488 489
  versions_->GetObsoleteFiles(&job_context->sst_delete_files,
                              job_context->min_pending_output);
I
Igor Canadi 已提交
490

I
Igor Canadi 已提交
491
  // store the current filenum, lognum, etc
492
  job_context->manifest_file_number = versions_->manifest_file_number();
I
Igor Canadi 已提交
493
  job_context->pending_manifest_file_number =
494
      versions_->pending_manifest_file_number();
I
Igor Canadi 已提交
495
  job_context->log_number = versions_->MinLogNumber();
496
  job_context->prev_log_number = versions_->prev_log_number();
I
Igor Canadi 已提交
497

I
Igor Canadi 已提交
498
  versions_->AddLiveFiles(&job_context->sst_live);
499
  if (doing_the_full_scan) {
I
Igor Canadi 已提交
500 501
    for (uint32_t path_id = 0; path_id < db_options_.db_paths.size();
         path_id++) {
502 503 504
      // set of all files in the directory. We'll exclude files that are still
      // alive in the subsequent processings.
      std::vector<std::string> files;
505
      env_->GetChildren(db_options_.db_paths[path_id].path,
506
                        &files);  // Ignore errors
507
      for (std::string file : files) {
I
Igor Canadi 已提交
508
        // TODO(icanadi) clean up this mess to avoid having one-off "/" prefixes
I
Igor Canadi 已提交
509 510
        job_context->full_scan_candidate_files.emplace_back("/" + file,
                                                            path_id);
511 512
      }
    }
513 514

    //Add log files in wal_dir
515
    if (db_options_.wal_dir != dbname_) {
516
      std::vector<std::string> log_files;
517
      env_->GetChildren(db_options_.wal_dir, &log_files);  // Ignore errors
518
      for (std::string log_file : log_files) {
I
Igor Canadi 已提交
519
        job_context->full_scan_candidate_files.emplace_back(log_file, 0);
520 521
      }
    }
522
    // Add info log files in db_log_dir
523
    if (!db_options_.db_log_dir.empty() && db_options_.db_log_dir != dbname_) {
524
      std::vector<std::string> info_log_files;
525 526
      // Ignore errors
      env_->GetChildren(db_options_.db_log_dir, &info_log_files);
527
      for (std::string log_file : info_log_files) {
I
Igor Canadi 已提交
528
        job_context->full_scan_candidate_files.emplace_back(log_file, 0);
529 530
      }
    }
531
  }
532 533
}

534
namespace {
I
Igor Canadi 已提交
535 536
bool CompareCandidateFile(const JobContext::CandidateFileInfo& first,
                          const JobContext::CandidateFileInfo& second) {
537 538 539 540 541
  if (first.file_name > second.file_name) {
    return true;
  } else if (first.file_name < second.file_name) {
    return false;
  } else {
542
    return (first.path_id > second.path_id);
543 544 545 546
  }
}
};  // namespace

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

I
Igor Canadi 已提交
555 556 557 558
  // 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 已提交
559 560
    return;
  }
561

562
  // Now, convert live list to an unordered map, WITHOUT mutex held;
563
  // set is slow.
564
  std::unordered_map<uint64_t, const FileDescriptor*> sst_live_map;
I
Igor Canadi 已提交
565
  for (const FileDescriptor& fd : state.sst_live) {
566 567
    sst_live_map[fd.GetNumber()] = &fd;
  }
I
Igor Canadi 已提交
568

I
Igor Canadi 已提交
569
  auto candidate_files = state.full_scan_candidate_files;
I
Igor Canadi 已提交
570 571 572
  candidate_files.reserve(candidate_files.size() +
                          state.sst_delete_files.size() +
                          state.log_delete_files.size());
K
kailiu 已提交
573 574
  // We may ignore the dbname when generating the file names.
  const char* kDumbDbName = "";
575
  for (auto file : state.sst_delete_files) {
576 577 578
    candidate_files.emplace_back(
        MakeTableFileName(kDumbDbName, file->fd.GetNumber()),
        file->fd.GetPathId());
579
    delete file;
I
Igor Canadi 已提交
580 581
  }

K
kailiu 已提交
582 583
  for (auto file_num : state.log_delete_files) {
    if (file_num > 0) {
584 585
      candidate_files.emplace_back(LogFileName(kDumbDbName, file_num).substr(1),
                                   0);
I
Igor Canadi 已提交
586 587
    }
  }
588

K
kailiu 已提交
589
  // dedup state.candidate_files so we don't try to delete the same
I
Igor Canadi 已提交
590
  // file twice
591
  sort(candidate_files.begin(), candidate_files.end(), CompareCandidateFile);
592 593
  candidate_files.erase(unique(candidate_files.begin(), candidate_files.end()),
                        candidate_files.end());
J
jorlow@chromium.org 已提交
594

595
  std::vector<std::string> old_info_log_files;
596
  InfoLogPrefix info_log_prefix(!db_options_.db_log_dir.empty(), dbname_);
597 598 599
  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 已提交
600 601 602
    uint64_t number;
    FileType type;
    // Ignore file if we cannot recognize it.
603
    if (!ParseFileName(to_delete, &number, info_log_prefix.prefix, &type)) {
K
kailiu 已提交
604 605
      continue;
    }
J
jorlow@chromium.org 已提交
606

K
kailiu 已提交
607 608 609 610 611 612 613 614
    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'
615
        // (can happen during manifest roll)
K
kailiu 已提交
616 617 618
        keep = (number >= state.manifest_file_number);
        break;
      case kTableFile:
I
Igor Canadi 已提交
619 620 621 622
        // 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 已提交
623 624 625
        break;
      case kTempFile:
        // Any temp files that are currently being written to must
626 627 628 629
        // 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
630
        keep = (sst_live_map.find(number) != sst_live_map.end()) ||
631
               (number == state.pending_manifest_file_number);
K
kailiu 已提交
632 633 634 635
        break;
      case kInfoLogFile:
        keep = true;
        if (number != 0) {
636
          old_info_log_files.push_back(to_delete);
J
jorlow@chromium.org 已提交
637
        }
K
kailiu 已提交
638 639 640 641 642 643 644 645 646 647 648 649 650
        break;
      case kCurrentFile:
      case kDBLockFile:
      case kIdentityFile:
      case kMetaDatabase:
        keep = true;
        break;
    }

    if (keep) {
      continue;
    }

651
    std::string fname;
K
kailiu 已提交
652 653
    if (type == kTableFile) {
      // evict from cache
654
      TableCache::Evict(table_cache_.get(), number);
655
      fname = TableFileName(db_options_.db_paths, number, path_id);
I
Igor Canadi 已提交
656 657 658
      event_logger_.Log() << "event"
                          << "table_file_deletion"
                          << "file_number" << number;
659
    } else {
660 661
      fname = ((type == kLogFile) ?
          db_options_.wal_dir : dbname_) + "/" + to_delete;
K
kailiu 已提交
662
    }
663

I
Igor Canadi 已提交
664 665
#ifdef ROCKSDB_LITE
    Status s = env_->DeleteFile(fname);
666
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
667
        "[JOB %d] Delete %s type=%d #%" PRIu64 " -- %s\n", state.job_id,
I
Igor Canadi 已提交
668 669 670 671 672
        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 已提交
673 674
    } else {
      Status s = env_->DeleteFile(fname);
675
      Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
676
          "[JOB %d] Delete %s type=%d #%" PRIu64 " -- %s\n", state.job_id,
677
          fname.c_str(), type, number, s.ToString().c_str());
J
jorlow@chromium.org 已提交
678
    }
I
Igor Canadi 已提交
679
#endif  // ROCKSDB_LITE
J
jorlow@chromium.org 已提交
680
  }
H
heyongqiang 已提交
681

682
  // Delete old info log files.
683
  size_t old_info_log_file_count = old_info_log_files.size();
684
  if (old_info_log_file_count >= db_options_.keep_log_file_num) {
685
    std::sort(old_info_log_files.begin(), old_info_log_files.end());
686
    size_t end = old_info_log_file_count - db_options_.keep_log_file_num;
687
    for (unsigned int i = 0; i <= end; i++) {
688
      std::string& to_delete = old_info_log_files.at(i);
689 690
      std::string full_path_to_delete = (db_options_.db_log_dir.empty() ?
           dbname_ : db_options_.db_log_dir) + "/" + to_delete;
691
      Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
692
          "[JOB %d] Delete info log file %s\n", state.job_id,
693 694
          full_path_to_delete.c_str());
      Status s = env_->DeleteFile(full_path_to_delete);
695
      if (!s.ok()) {
696 697
        Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
            "[JOB %d] Delete info log file %s FAILED -- %s\n", state.job_id,
698 699
            to_delete.c_str(), s.ToString().c_str());
      }
H
heyongqiang 已提交
700 701
    }
  }
I
Igor Canadi 已提交
702 703 704
#ifndef ROCKSDB_LITE
  wal_manager_.PurgeObsoleteWALFiles();
#endif  // ROCKSDB_LITE
705
  LogFlush(db_options_.info_log);
D
Dhruba Borthakur 已提交
706 707 708 709
}

void DBImpl::DeleteObsoleteFiles() {
  mutex_.AssertHeld();
710
  JobContext job_context(next_job_id_.fetch_add(1));
I
Igor Canadi 已提交
711 712 713
  FindObsoleteFiles(&job_context, true);
  if (job_context.HaveSomethingToDelete()) {
    PurgeObsoleteFiles(job_context);
714
  }
I
Igor Canadi 已提交
715
  job_context.Clean();
716 717
}

718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733
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 已提交
734

735 736 737 738 739 740 741 742 743
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_);
744 745 746
    if (!s.ok()) {
      return s;
    }
747
  }
748

749 750 751 752 753 754 755 756
  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);
757 758 759
      if (!s.ok()) {
        return s;
      }
760
      data_dirs_.emplace_back(path_directory.release());
761
    }
762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780
  }
  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();
781

782 783 784 785 786
  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);
787 788 789 790
    if (!s.ok()) {
      return s;
    }

791
    s = env_->LockFile(LockFileName(dbname_), &db_lock_);
792 793 794
    if (!s.ok()) {
      return s;
    }
J
jorlow@chromium.org 已提交
795

796
    if (!env_->FileExists(CurrentFileName(dbname_))) {
797
      if (db_options_.create_if_missing) {
798
        s = NewDB();
799
        is_new_db = true;
800 801 802 803 804 805
        if (!s.ok()) {
          return s;
        }
      } else {
        return Status::InvalidArgument(
            dbname_, "does not exist (create_if_missing is false)");
J
jorlow@chromium.org 已提交
806 807
      }
    } else {
808
      if (db_options_.error_if_exists) {
809 810 811
        return Status::InvalidArgument(
            dbname_, "exists (error_if_exists is true)");
      }
J
jorlow@chromium.org 已提交
812
    }
M
Mayank Agarwal 已提交
813 814 815 816 817 818 819
    // 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 已提交
820 821
  }

822
  Status s = versions_->Recover(column_families, read_only);
823
  if (db_options_.paranoid_checks && s.ok()) {
I
Igor Canadi 已提交
824 825
    s = CheckConsistency();
  }
J
jorlow@chromium.org 已提交
826 827
  if (s.ok()) {
    SequenceNumber max_sequence(0);
828 829
    default_cf_handle_ = new ColumnFamilyHandleImpl(
        versions_->GetColumnFamilySet()->GetDefault(), this, &mutex_);
830
    default_cf_internal_stats_ = default_cf_handle_->cfd()->internal_stats();
831 832
    single_column_family_mode_ =
        versions_->GetColumnFamilySet()->NumberOfColumnFamilies() == 1;
833 834 835 836 837

    // 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).
    //
838
    // Note that prev_log_number() is no longer used, but we pay
839
    // attention to it in case we are recovering a database
840
    // produced by an older version of rocksdb.
841
    const uint64_t min_log = versions_->MinLogNumber();
842
    const uint64_t prev_log = versions_->prev_log_number();
843
    std::vector<std::string> filenames;
844
    s = env_->GetChildren(db_options_.wal_dir, &filenames);
845 846
    if (!s.ok()) {
      return s;
847
    }
K
kailiu 已提交
848

849 850
    std::vector<uint64_t> logs;
    for (size_t i = 0; i < filenames.size(); i++) {
K
kailiu 已提交
851 852
      uint64_t number;
      FileType type;
853 854 855 856 857 858 859 860 861
      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);
        }
862
      }
J
jorlow@chromium.org 已提交
863
    }
864

H
heyongqiang 已提交
865 866 867 868 869 870
    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 已提交
871 872 873 874 875 876 877
    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 已提交
878
          cfd->CreateNewMemtable(*cfd->GetLatestMutableCFOptions());
S
Stanislau Hlebik 已提交
879 880
        }
      }
881
    }
L
Lei Jin 已提交
882
    SetTickerCount(stats_, SEQUENCE_NUMBER, versions_->LastSequence());
J
jorlow@chromium.org 已提交
883 884
  }

L
Lei Jin 已提交
885 886
  // Initial value
  max_total_in_memory_state_ = 0;
I
Igor Canadi 已提交
887
  for (auto cfd : *versions_->GetColumnFamilySet()) {
L
Lei Jin 已提交
888 889 890
    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 已提交
891 892
  }

J
jorlow@chromium.org 已提交
893 894 895
  return s;
}

S
Stanislau Hlebik 已提交
896 897 898
// 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 已提交
899 900
  struct LogReporter : public log::Reader::Reporter {
    Env* env;
901
    Logger* info_log;
J
jorlow@chromium.org 已提交
902
    const char* fname;
903
    Status* status;  // nullptr if db_options_.paranoid_checks==false
I
Igor Sugak 已提交
904
    virtual void Corruption(size_t bytes, const Status& s) override {
905 906
      Log(InfoLogLevel::WARN_LEVEL,
          info_log, "%s%s: dropping %d bytes; %s",
907
          (this->status == nullptr ? "(ignoring error) " : ""),
J
jorlow@chromium.org 已提交
908
          fname, static_cast<int>(bytes), s.ToString().c_str());
909
      if (this->status != nullptr && this->status->ok()) *this->status = s;
J
jorlow@chromium.org 已提交
910 911 912 913
    }
  };

  mutex_.AssertHeld();
S
Stanislau Hlebik 已提交
914
  Status status;
915
  std::unordered_map<int, VersionEdit> version_edits;
916
  // no need to refcount because iteration is under mutex
917 918
  for (auto cfd : *versions_->GetColumnFamilySet()) {
    VersionEdit edit;
919 920
    edit.SetColumnFamily(cfd->GetID());
    version_edits.insert({cfd->GetID(), edit});
921
  }
I
Igor Canadi 已提交
922

S
Stanislau Hlebik 已提交
923 924 925 926
  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.
927
    versions_->MarkFileNumberUsedDuringRecovery(log_number);
S
Stanislau Hlebik 已提交
928 929 930 931
    // 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 已提交
932
    if (!status.ok()) {
S
Stanislau Hlebik 已提交
933 934 935 936 937 938 939 940
      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 已提交
941 942
    }

S
Stanislau Hlebik 已提交
943 944 945 946 947
    // Create the log reader.
    LogReporter reporter;
    reporter.env = env_;
    reporter.info_log = db_options_.info_log.get();
    reporter.fname = fname.c_str();
948
    reporter.status = (db_options_.paranoid_checks) ? &status : nullptr;
S
Stanislau Hlebik 已提交
949 950 951 952 953 954
    // 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*/);
955 956
    Log(InfoLogLevel::INFO_LEVEL,
        db_options_.info_log, "Recovering log #%" PRIu64 "", log_number);
S
Stanislau Hlebik 已提交
957 958 959 960 961

    // Read all the records and add to a memtable
    std::string scratch;
    Slice record;
    WriteBatch batch;
I
Igor Canadi 已提交
962
    while (reader.ReadRecord(&record, &scratch) && status.ok()) {
S
Stanislau Hlebik 已提交
963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988
      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 已提交
989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005
        // 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;
1006
          }
L
Lei Jin 已提交
1007
          cfd->CreateNewMemtable(*cfd->GetLatestMutableCFOptions());
1008
        }
J
jorlow@chromium.org 已提交
1009 1010 1011
      }
    }

1012 1013 1014 1015
    if (!status.ok()) {
      return status;
    }

I
Igor Canadi 已提交
1016
    flush_scheduler_.Clear();
S
Stanislau Hlebik 已提交
1017 1018 1019
    if (versions_->LastSequence() < *max_sequence) {
      versions_->SetLastSequence(*max_sequence);
    }
1020 1021
  }

1022
  if (!read_only) {
1023 1024
    // 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 已提交
1025
    auto max_log_number = log_numbers.back();
1026
    for (auto cfd : *versions_->GetColumnFamilySet()) {
1027
      auto iter = version_edits.find(cfd->GetID());
1028 1029 1030
      assert(iter != version_edits.end());
      VersionEdit* edit = &iter->second;

S
Stanislau Hlebik 已提交
1031
      if (cfd->GetLogNumber() > max_log_number) {
1032
        // Column family cfd has already flushed the data
S
Stanislau Hlebik 已提交
1033
        // from all logs. Memtable has to be empty because
1034
        // we filter the updates based on log_number
1035
        // (in WriteBatch::InsertInto)
1036 1037 1038 1039 1040 1041 1042
        assert(cfd->mem()->GetFirstSequenceNumber() == 0);
        assert(edit->NumEntries() == 0);
        continue;
      }

      // flush the final memtable (if non-empty)
      if (cfd->mem()->GetFirstSequenceNumber() != 0) {
1043
        status = WriteLevel0TableForRecovery(cfd, cfd->mem(), edit);
S
Stanislau Hlebik 已提交
1044 1045 1046 1047
        if (!status.ok()) {
          // Recovery failed
          break;
        }
L
Lei Jin 已提交
1048
        cfd->CreateNewMemtable(*cfd->GetLatestMutableCFOptions());
1049
      }
J
jorlow@chromium.org 已提交
1050

1051
      // write MANIFEST with update
S
Stanislau Hlebik 已提交
1052
      // writing log_number in the manifest means that any log file
1053 1054
      // with number strongly less than (log_number + 1) is already
      // recovered and should be ignored on next reincarnation.
S
Stanislau Hlebik 已提交
1055 1056 1057
      // 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);
1058 1059 1060
      // 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 已提交
1061
      // log number
1062
      versions_->MarkFileNumberUsedDuringRecovery(max_log_number + 1);
1063 1064
      status = versions_->LogAndApply(
          cfd, *cfd->GetLatestMutableCFOptions(), edit, &mutex_);
1065
      if (!status.ok()) {
S
Stanislau Hlebik 已提交
1066 1067
        // Recovery failed
        break;
1068 1069
      }
    }
1070
  }
I
Igor Canadi 已提交
1071

J
jorlow@chromium.org 已提交
1072 1073 1074
  return status;
}

1075 1076
Status DBImpl::WriteLevel0TableForRecovery(ColumnFamilyData* cfd, MemTable* mem,
                                           VersionEdit* edit) {
J
jorlow@chromium.org 已提交
1077
  mutex_.AssertHeld();
1078
  const uint64_t start_micros = env_->NowMicros();
J
jorlow@chromium.org 已提交
1079
  FileMetaData meta;
1080
  meta.fd = FileDescriptor(versions_->NewFileNumber(), 0, 0);
I
Igor Canadi 已提交
1081 1082
  auto pending_outputs_inserted_elem =
      CaptureCurrentFileNumberInPendingOutputs();
1083 1084
  ReadOptions ro;
  ro.total_order_seek = true;
1085
  Arena arena;
1086 1087
  Status s;
  {
1088 1089 1090 1091
    ScopedArenaIterator iter(mem->NewIterator(ro, &arena));
    const SequenceNumber newest_snapshot = snapshots_.GetNewest();
    const SequenceNumber earliest_seqno_in_memtable =
        mem->GetFirstSequenceNumber();
1092 1093 1094
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
        "[%s] [WriteLevel0TableForRecovery]"
        " Level-0 table #%" PRIu64 ": started",
1095
        cfd->GetName().c_str(), meta.fd.GetNumber());
1096

1097 1098 1099 1100 1101
    {
      mutex_.Unlock();
      s = BuildTable(
          dbname_, env_, *cfd->ioptions(), env_options_, cfd->table_cache(),
          iter.get(), &meta, cfd->internal_comparator(), newest_snapshot,
1102 1103
          earliest_seqno_in_memtable, GetCompressionFlush(*cfd->ioptions()),
          cfd->ioptions()->compression_opts, Env::IO_HIGH);
1104
      LogFlush(db_options_.info_log);
1105 1106
      mutex_.Lock();
    }
1107

1108 1109 1110
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
        "[%s] [WriteLevel0TableForRecovery]"
        " Level-0 table #%" PRIu64 ": %" PRIu64 " bytes %s",
1111 1112 1113
        cfd->GetName().c_str(), meta.fd.GetNumber(), meta.fd.GetFileSize(),
        s.ToString().c_str());
  }
I
Igor Canadi 已提交
1114
  ReleaseFileNumberFromPendingOutputs(pending_outputs_inserted_elem);
1115 1116 1117 1118

  // Note that if file_size is zero, the file has been deleted and
  // should not be added to the manifest.
  int level = 0;
1119
  if (s.ok() && meta.fd.GetFileSize() > 0) {
1120 1121 1122
    edit->AddFile(level, meta.fd.GetNumber(), meta.fd.GetPathId(),
                  meta.fd.GetFileSize(), meta.smallest, meta.largest,
                  meta.smallest_seqno, meta.largest_seqno);
1123 1124
  }

L
Lei Jin 已提交
1125
  InternalStats::CompactionStats stats(1);
1126
  stats.micros = env_->NowMicros() - start_micros;
1127
  stats.bytes_written = meta.fd.GetFileSize();
M
Mark Callaghan 已提交
1128
  stats.files_out_levelnp1 = 1;
1129
  cfd->internal_stats()->AddCompactionStats(level, stats);
1130 1131
  cfd->internal_stats()->AddCFStats(
      InternalStats::BYTES_FLUSHED, meta.fd.GetFileSize());
L
Lei Jin 已提交
1132
  RecordTick(stats_, COMPACT_WRITE_BYTES, meta.fd.GetFileSize());
J
jorlow@chromium.org 已提交
1133 1134 1135
  return s;
}

1136 1137
Status DBImpl::FlushMemTableToOutputFile(
    ColumnFamilyData* cfd, const MutableCFOptions& mutable_cf_options,
I
Igor Canadi 已提交
1138
    bool* madeProgress, JobContext* job_context, LogBuffer* log_buffer) {
1139
  mutex_.AssertHeld();
1140
  assert(cfd->imm()->size() != 0);
1141
  assert(cfd->imm()->IsFlushPending());
1142

I
Igor Canadi 已提交
1143 1144
  FlushJob flush_job(dbname_, cfd, db_options_, mutable_cf_options,
                     env_options_, versions_.get(), &mutex_, &shutting_down_,
I
Igor Canadi 已提交
1145
                     snapshots_.GetNewest(), job_context, log_buffer,
1146
                     directories_.GetDbDir(), directories_.GetDataDir(0U),
I
Igor Canadi 已提交
1147 1148
                     GetCompressionFlush(*cfd->ioptions()), stats_,
                     &event_logger_);
1149

1150 1151
  uint64_t file_number;
  Status s = flush_job.Run(&file_number);
J
jorlow@chromium.org 已提交
1152 1153

  if (s.ok()) {
I
Igor Canadi 已提交
1154
    InstallSuperVersionBackground(cfd, job_context, mutable_cf_options);
1155 1156 1157
    if (madeProgress) {
      *madeProgress = 1;
    }
S
sdong 已提交
1158
    VersionStorageInfo::LevelSummaryStorage tmp;
I
Igor Canadi 已提交
1159
    LogToBuffer(log_buffer, "[%s] Level summary: %s\n", cfd->GetName().c_str(),
S
sdong 已提交
1160
                cfd->current()->storage_info()->LevelSummary(&tmp));
1161

1162
    if (disable_delete_obsolete_files_ == 0) {
I
Igor Canadi 已提交
1163
      // add to deletion state
1164
      while (alive_log_files_.size() &&
I
Igor Canadi 已提交
1165 1166
             alive_log_files_.begin()->number < versions_->MinLogNumber()) {
        const auto& earliest = *alive_log_files_.begin();
I
Igor Canadi 已提交
1167
        job_context->log_delete_files.push_back(earliest.number);
I
Igor Canadi 已提交
1168
        total_log_size_ -= earliest.size;
1169 1170
        alive_log_files_.pop_front();
      }
1171
    }
J
jorlow@chromium.org 已提交
1172
  }
1173

1174
  if (!s.ok() && !s.IsShutdownInProgress() && db_options_.paranoid_checks &&
1175 1176 1177 1178 1179
      bg_error_.ok()) {
    // if a bad error happened (not ShutdownInProgress) and paranoid_checks is
    // true, mark DB read-only
    bg_error_ = s;
  }
1180
  RecordFlushIOStats();
1181 1182 1183
#ifndef ROCKSDB_LITE
  if (s.ok()) {
    // may temporarily unlock and lock the mutex.
1184
    NotifyOnFlushCompleted(cfd, file_number, mutable_cf_options);
1185 1186
  }
#endif  // ROCKSDB_LITE
J
jorlow@chromium.org 已提交
1187 1188 1189
  return s;
}

1190
void DBImpl::NotifyOnFlushCompleted(
1191 1192
    ColumnFamilyData* cfd, uint64_t file_number,
    const MutableCFOptions& mutable_cf_options) {
1193
#ifndef ROCKSDB_LITE
1194 1195 1196
  if (cfd->ioptions()->listeners.size() == 0U) {
    return;
  }
1197 1198 1199 1200 1201 1202
  mutex_.AssertHeld();
  if (shutting_down_.load(std::memory_order_acquire)) {
    return;
  }
  bool triggered_flush_slowdown =
      (cfd->current()->storage_info()->NumLevelFiles(0) >=
1203
       mutable_cf_options.level0_slowdown_writes_trigger);
1204 1205
  bool triggered_flush_stop =
      (cfd->current()->storage_info()->NumLevelFiles(0) >=
1206
       mutable_cf_options.level0_stop_writes_trigger);
1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219
  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.
1220
#endif  // ROCKSDB_LITE
1221 1222
}

1223
Status DBImpl::CompactRange(ColumnFamilyHandle* column_family,
1224
                            const Slice* begin, const Slice* end,
1225 1226
                            bool reduce_level, int target_level,
                            uint32_t target_path_id) {
1227
  if (target_path_id >= db_options_.db_paths.size()) {
1228 1229 1230
    return Status::InvalidArgument("Invalid target path ID");
  }

1231 1232
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
I
Igor Canadi 已提交
1233 1234

  Status s = FlushMemTable(cfd, FlushOptions());
L
Lei Jin 已提交
1235
  if (!s.ok()) {
1236
    LogFlush(db_options_.info_log);
L
Lei Jin 已提交
1237 1238 1239
    return s;
  }

I
Igor Canadi 已提交
1240
  int max_level_with_files = 0;
G
Gabor Cselle 已提交
1241
  {
1242
    InstrumentedMutexLock l(&mutex_);
I
Igor Canadi 已提交
1243 1244
    Version* base = cfd->current();
    for (int level = 1; level < cfd->NumberLevels(); level++) {
S
sdong 已提交
1245
      if (base->storage_info()->OverlapInLevel(level, begin, end)) {
G
Gabor Cselle 已提交
1246 1247 1248 1249
        max_level_with_files = level;
      }
    }
  }
1250 1251
  for (int level = 0; level <= max_level_with_files; level++) {
    // in case the compaction is unversal or if we're compacting the
1252 1253 1254
    // 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)
1255 1256
    if (cfd->ioptions()->compaction_style == kCompactionStyleUniversal ||
        cfd->ioptions()->compaction_style == kCompactionStyleFIFO ||
1257
        (level == max_level_with_files && level > 0)) {
1258
      s = RunManualCompaction(cfd, level, level, target_path_id, begin, end);
1259
    } else {
1260 1261
      s = RunManualCompaction(cfd, level, level + 1, target_path_id, begin,
                              end);
L
Lei Jin 已提交
1262 1263
    }
    if (!s.ok()) {
1264
      LogFlush(db_options_.info_log);
L
Lei Jin 已提交
1265
      return s;
1266
    }
G
Gabor Cselle 已提交
1267
  }
1268 1269

  if (reduce_level) {
I
Igor Canadi 已提交
1270
    s = ReFitLevel(cfd, max_level_with_files, target_level);
1271
  }
1272
  LogFlush(db_options_.info_log);
L
Lei Jin 已提交
1273

1274
  {
1275
    InstrumentedMutexLock l(&mutex_);
1276 1277 1278 1279 1280
    // an automatic compaction that has been scheduled might have been
    // preempted by the manual compactions. Need to schedule it back.
    MaybeScheduleFlushOrCompaction();
  }

L
Lei Jin 已提交
1281
  return s;
1282 1283
}

1284 1285 1286 1287 1288
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 已提交
1289 1290 1291 1292
#ifdef ROCKSDB_LITE
    // not supported in lite version
  return Status::NotSupported("Not supported in ROCKSDB LITE");
#else
1293 1294 1295 1296 1297 1298
  if (column_family == nullptr) {
    return Status::InvalidArgument("ColumnFamilyHandle must be non-null.");
  }

  auto cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family)->cfd();
  assert(cfd);
1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339

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

1340
  return s;
I
Igor Canadi 已提交
1341
#endif  // ROCKSDB_LITE
1342 1343
}

I
Igor Canadi 已提交
1344
#ifndef ROCKSDB_LITE
1345 1346 1347
Status DBImpl::CompactFilesImpl(
    const CompactionOptions& compact_options, ColumnFamilyData* cfd,
    Version* version, const std::vector<std::string>& input_file_names,
1348 1349
    const int output_level, int output_path_id, JobContext* job_context,
    LogBuffer* log_buffer) {
1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 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
  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 = [&]() {
1413 1414 1415
    return CallFlushDuringCompaction(
        c->column_family_data(), *c->mutable_cf_options(),
        job_context, log_buffer);
1416
  };
1417
  CompactionJob compaction_job(
1418 1419
      job_context->job_id, c.get(), db_options_, *c->mutable_cf_options(),
      env_options_, versions_.get(), &shutting_down_, log_buffer,
1420 1421 1422
      directories_.GetDbDir(), directories_.GetDataDir(c->GetOutputPathId()),
      stats_, &snapshots_, is_snapshot_supported_, table_cache_,
      std::move(yield_callback));
1423 1424 1425 1426 1427
  compaction_job.Prepare();

  mutex_.Unlock();
  Status status = compaction_job.Run();
  mutex_.Lock();
1428
  compaction_job.Install(&status, &mutex_);
1429
  if (status.ok()) {
1430
    InstallSuperVersionBackground(c->column_family_data(), job_context,
1431
                                  *c->mutable_cf_options());
1432 1433 1434 1435 1436 1437 1438 1439 1440
  }
  c->ReleaseCompactionFiles(s);
  c.reset();

  if (status.ok()) {
    // Done
  } else if (status.IsShutdownInProgress()) {
    // Ignore compaction errors found during shutting down
  } else {
1441 1442
    Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log,
        "[%s] [JOB %d] Compaction error: %s",
1443
        c->column_family_data()->GetName().c_str(), job_context->job_id,
1444 1445 1446 1447 1448 1449 1450 1451 1452 1453
        status.ToString().c_str());
    if (db_options_.paranoid_checks && bg_error_.ok()) {
      bg_error_ = status;
    }
  }

  bg_compaction_scheduled_--;

  return status;
}
I
Igor Canadi 已提交
1454
#endif  // ROCKSDB_LITE
1455

O
Ori Bernstein 已提交
1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477
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
}

1478
Status DBImpl::SetOptions(ColumnFamilyHandle* column_family,
1479
    const std::unordered_map<std::string, std::string>& options_map) {
I
Igor Canadi 已提交
1480 1481 1482
#ifdef ROCKSDB_LITE
  return Status::NotSupported("Not supported in ROCKSDB LITE");
#else
L
Lei Jin 已提交
1483 1484
  auto* cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family)->cfd();
  if (options_map.empty()) {
1485 1486
    Log(InfoLogLevel::WARN_LEVEL,
        db_options_.info_log, "SetOptions() on column family [%s], empty input",
L
Lei Jin 已提交
1487
        cfd->GetName().c_str());
1488
    return Status::InvalidArgument("empty input");
L
Lei Jin 已提交
1489 1490 1491
  }

  MutableCFOptions new_options;
1492
  Status s;
L
Lei Jin 已提交
1493
  {
1494
    InstrumentedMutexLock l(&mutex_);
1495 1496
    s = cfd->SetOptions(options_map);
    if (s.ok()) {
L
Lei Jin 已提交
1497 1498 1499 1500
      new_options = *cfd->GetLatestMutableCFOptions();
    }
  }

1501 1502
  Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
      "SetOptions() on column family [%s], inputs:",
L
Lei Jin 已提交
1503 1504
      cfd->GetName().c_str());
  for (const auto& o : options_map) {
1505 1506
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
        "%s: %s\n", o.first.c_str(), o.second.c_str());
L
Lei Jin 已提交
1507
  }
1508
  if (s.ok()) {
1509 1510
    Log(InfoLogLevel::INFO_LEVEL,
        db_options_.info_log, "[%s] SetOptions succeeded",
L
Lei Jin 已提交
1511 1512 1513
        cfd->GetName().c_str());
    new_options.Dump(db_options_.info_log.get());
  } else {
1514 1515
    Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log,
        "[%s] SetOptions failed", cfd->GetName().c_str());
L
Lei Jin 已提交
1516
  }
1517
  return s;
I
Igor Canadi 已提交
1518
#endif  // ROCKSDB_LITE
1519 1520
}

1521
// return the same level if it cannot be moved
1522 1523
int DBImpl::FindMinimumEmptyLevelFitting(ColumnFamilyData* cfd,
    const MutableCFOptions& mutable_cf_options, int level) {
1524
  mutex_.AssertHeld();
S
sdong 已提交
1525
  const auto* vstorage = cfd->current()->storage_info();
1526
  int minimum_level = level;
1527
  for (int i = level - 1; i > 0; --i) {
1528
    // stop if level i is not empty
S
sdong 已提交
1529
    if (vstorage->NumLevelFiles(i) > 0) break;
1530
    // stop if level i is too small (cannot fit the level files)
1531
    if (vstorage->MaxBytesForLevel(i) < vstorage->NumLevelBytes(level)) {
1532 1533
      break;
    }
1534 1535 1536 1537 1538 1539

    minimum_level = i;
  }
  return minimum_level;
}

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

I
Igor Canadi 已提交
1543
  SuperVersion* superversion_to_free = nullptr;
1544
  SuperVersion* new_superversion = new SuperVersion();
I
Igor Canadi 已提交
1545 1546

  mutex_.Lock();
1547 1548 1549

  // only allow one thread refitting
  if (refitting_level_) {
I
Igor Canadi 已提交
1550
    mutex_.Unlock();
1551 1552
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
        "[ReFitLevel] another thread is refitting");
I
Igor Canadi 已提交
1553
    delete new_superversion;
L
Lei Jin 已提交
1554
    return Status::NotSupported("another thread is refitting");
1555 1556 1557 1558 1559
  }
  refitting_level_ = true;

  // wait for all background threads to stop
  bg_work_gate_closed_ = true;
1560
  while (bg_compaction_scheduled_ > 0 || bg_flush_scheduled_) {
1561 1562
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
        "[RefitLevel] waiting for background threads to stop: %d %d",
1563
        bg_compaction_scheduled_, bg_flush_scheduled_);
1564 1565 1566
    bg_cv_.Wait();
  }

1567 1568
  const MutableCFOptions mutable_cf_options =
    *cfd->GetLatestMutableCFOptions();
1569
  // move to a smaller level
1570 1571
  int to_level = target_level;
  if (target_level < 0) {
1572
    to_level = FindMinimumEmptyLevelFitting(cfd, mutable_cf_options, level);
1573
  }
1574 1575 1576

  assert(to_level <= level);

L
Lei Jin 已提交
1577
  Status status;
1578
  if (to_level < level) {
1579 1580
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
        "[%s] Before refitting:\n%s",
1581
        cfd->GetName().c_str(), cfd->current()->DebugString().data());
1582

1583
    VersionEdit edit;
I
Igor Canadi 已提交
1584
    edit.SetColumnFamily(cfd->GetID());
S
sdong 已提交
1585
    for (const auto& f : cfd->current()->storage_info()->LevelFiles(level)) {
1586
      edit.DeleteFile(level, f->fd.GetNumber());
1587 1588 1589
      edit.AddFile(to_level, f->fd.GetNumber(), f->fd.GetPathId(),
                   f->fd.GetFileSize(), f->smallest, f->largest,
                   f->smallest_seqno, f->largest_seqno);
1590
    }
1591 1592
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
        "[%s] Apply version edit:\n%s",
I
Igor Canadi 已提交
1593
        cfd->GetName().c_str(), edit.DebugString().data());
1594

1595 1596
    status = versions_->LogAndApply(cfd, mutable_cf_options, &edit, &mutex_,
                                    directories_.GetDbDir());
L
Lei Jin 已提交
1597 1598
    superversion_to_free = InstallSuperVersion(
        cfd, new_superversion, mutable_cf_options);
I
Igor Canadi 已提交
1599
    new_superversion = nullptr;
1600

1601 1602
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
        "[%s] LogAndApply: %s\n", cfd->GetName().c_str(),
I
Igor Canadi 已提交
1603
        status.ToString().data());
1604 1605

    if (status.ok()) {
1606 1607
      Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
          "[%s] After refitting:\n%s",
I
Igor Canadi 已提交
1608
          cfd->GetName().c_str(), cfd->current()->DebugString().data());
1609 1610 1611 1612 1613
    }
  }

  refitting_level_ = false;
  bg_work_gate_closed_ = false;
I
Igor Canadi 已提交
1614 1615 1616 1617

  mutex_.Unlock();
  delete superversion_to_free;
  delete new_superversion;
L
Lei Jin 已提交
1618
  return status;
G
Gabor Cselle 已提交
1619 1620
}

1621 1622 1623
int DBImpl::NumberLevels(ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  return cfh->cfd()->NumberLevels();
1624 1625
}

1626 1627
int DBImpl::MaxMemCompactionLevel(ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
1628
  InstrumentedMutexLock l(&mutex_);
L
Lei Jin 已提交
1629 1630
  return cfh->cfd()->GetSuperVersion()->
      mutable_cf_options.max_mem_compaction_level;
1631 1632
}

1633 1634
int DBImpl::Level0StopWriteTrigger(ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
1635
  InstrumentedMutexLock l(&mutex_);
L
Lei Jin 已提交
1636 1637
  return cfh->cfd()->GetSuperVersion()->
      mutable_cf_options.level0_stop_writes_trigger;
1638 1639
}

L
Lei Jin 已提交
1640
Status DBImpl::Flush(const FlushOptions& flush_options,
1641 1642
                     ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
L
Lei Jin 已提交
1643
  return FlushMemTable(cfh->cfd(), flush_options);
H
heyongqiang 已提交
1644 1645
}

1646
SequenceNumber DBImpl::GetLatestSequenceNumber() const {
1647 1648 1649
  return versions_->LastSequence();
}

I
Igor Canadi 已提交
1650
Status DBImpl::RunManualCompaction(ColumnFamilyData* cfd, int input_level,
1651 1652
                                   int output_level, uint32_t output_path_id,
                                   const Slice* begin, const Slice* end) {
1653
  assert(input_level >= 0);
1654

G
Gabor Cselle 已提交
1655 1656
  InternalKey begin_storage, end_storage;

H
hans@chromium.org 已提交
1657
  ManualCompaction manual;
I
Igor Canadi 已提交
1658
  manual.cfd = cfd;
1659 1660
  manual.input_level = input_level;
  manual.output_level = output_level;
1661
  manual.output_path_id = output_path_id;
G
Gabor Cselle 已提交
1662
  manual.done = false;
1663
  manual.in_progress = false;
1664 1665 1666
  // For universal compaction, we enforce every manual compaction to compact
  // all files.
  if (begin == nullptr ||
1667 1668
      cfd->ioptions()->compaction_style == kCompactionStyleUniversal ||
      cfd->ioptions()->compaction_style == kCompactionStyleFIFO) {
1669
    manual.begin = nullptr;
G
Gabor Cselle 已提交
1670 1671 1672 1673
  } else {
    begin_storage = InternalKey(*begin, kMaxSequenceNumber, kValueTypeForSeek);
    manual.begin = &begin_storage;
  }
1674
  if (end == nullptr ||
1675 1676
      cfd->ioptions()->compaction_style == kCompactionStyleUniversal ||
      cfd->ioptions()->compaction_style == kCompactionStyleFIFO) {
1677
    manual.end = nullptr;
G
Gabor Cselle 已提交
1678 1679 1680 1681 1682
  } else {
    end_storage = InternalKey(*end, 0, static_cast<ValueType>(0));
    manual.end = &end_storage;
  }

1683
  InstrumentedMutexLock l(&mutex_);
1684

1685 1686 1687 1688 1689 1690
  // 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
1691
  // RunManualCompaction(), i.e. during that time no other compaction will
1692 1693 1694
  // get scheduled (see MaybeScheduleFlushOrCompaction).
  //
  // Note that the following loop doesn't stop more that one thread calling
1695
  // RunManualCompaction() from getting to the second while loop below.
1696 1697 1698 1699 1700
  // 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) {
1701
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
I
Igor Canadi 已提交
1702 1703 1704
        "[%s] Manual compaction waiting for all other scheduled background "
        "compactions to finish",
        cfd->GetName().c_str());
1705 1706
    bg_cv_.Wait();
  }
1707

1708 1709
  Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
      "[%s] Manual compaction starting",
I
Igor Canadi 已提交
1710
      cfd->GetName().c_str());
1711

1712 1713 1714 1715
  // 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) {
1716 1717 1718
    assert(bg_manual_only_ > 0);
    if (manual_compaction_ != nullptr) {
      // Running either this or some other manual compaction
G
Gabor Cselle 已提交
1719
      bg_cv_.Wait();
1720 1721
    } else {
      manual_compaction_ = &manual;
1722
      bg_compaction_scheduled_++;
1723
      env_->Schedule(&DBImpl::BGWorkCompaction, this, Env::Priority::LOW, this);
G
Gabor Cselle 已提交
1724
    }
H
hans@chromium.org 已提交
1725
  }
1726

1727 1728 1729
  assert(!manual.in_progress);
  assert(bg_manual_only_ > 0);
  --bg_manual_only_;
L
Lei Jin 已提交
1730
  return manual.status;
J
jorlow@chromium.org 已提交
1731 1732
}

1733
Status DBImpl::FlushMemTable(ColumnFamilyData* cfd,
L
Lei Jin 已提交
1734
                             const FlushOptions& flush_options) {
S
Stanislau Hlebik 已提交
1735 1736 1737
  Status s;
  {
    WriteContext context;
1738
    InstrumentedMutexLock guard_lock(&mutex_);
1739 1740 1741 1742 1743 1744

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

I
Igor Canadi 已提交
1745 1746
    WriteThread::Writer w(&mutex_);
    s = write_thread_.EnterWriteThread(&w, 0);
S
Stanislau Hlebik 已提交
1747 1748 1749 1750 1751
    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);
1752 1753
    write_thread_.ExitWriteThread(&w, &w, s);

S
Stanislau Hlebik 已提交
1754 1755
    cfd->imm()->FlushRequested();

1756 1757 1758
    // schedule flush
    SchedulePendingFlush(cfd);
    MaybeScheduleFlushOrCompaction();
S
Stanislau Hlebik 已提交
1759
  }
S
Stanislau Hlebik 已提交
1760

L
Lei Jin 已提交
1761
  if (s.ok() && flush_options.wait) {
1762
    // Wait until the compaction completes
1763
    s = WaitForFlushMemTable(cfd);
1764 1765
  }
  return s;
J
jorlow@chromium.org 已提交
1766 1767
}

1768
Status DBImpl::WaitForFlushMemTable(ColumnFamilyData* cfd) {
1769 1770
  Status s;
  // Wait until the compaction completes
1771
  InstrumentedMutexLock l(&mutex_);
1772
  while (cfd->imm()->size() > 0 && bg_error_.ok()) {
1773 1774
    bg_cv_.Wait();
  }
1775
  if (!bg_error_.ok()) {
1776 1777 1778
    s = bg_error_;
  }
  return s;
H
heyongqiang 已提交
1779 1780
}

1781
void DBImpl::MaybeScheduleFlushOrCompaction() {
J
jorlow@chromium.org 已提交
1782
  mutex_.AssertHeld();
1783
  if (bg_work_gate_closed_) {
1784 1785
    // gate closed for background work
    return;
I
Igor Canadi 已提交
1786
  } else if (shutting_down_.load(std::memory_order_acquire)) {
J
jorlow@chromium.org 已提交
1787
    // DB is being deleted; no more background compactions
1788 1789 1790 1791 1792
    return;
  } else if (bg_manual_only_) {
    // manual only
    return;
  }
1793

1794 1795 1796 1797
  while (unscheduled_flushes_ > 0 &&
         bg_flush_scheduled_ < db_options_.max_background_flushes) {
    unscheduled_flushes_--;
    bg_flush_scheduled_++;
1798
    env_->Schedule(&DBImpl::BGWorkFlush, this, Env::Priority::HIGH, this);
1799 1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 1810
  }

  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_--;
1811
    }
1812
    bg_compaction_scheduled_++;
1813
    env_->Schedule(&DBImpl::BGWorkCompaction, this, Env::Priority::LOW, this);
1814 1815 1816 1817 1818 1819
  }

  while (bg_compaction_scheduled_ < db_options_.max_background_compactions &&
         unscheduled_compactions_ > 0) {
    bg_compaction_scheduled_++;
    unscheduled_compactions_--;
1820
    env_->Schedule(&DBImpl::BGWorkCompaction, this, Env::Priority::LOW, this);
1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866
  }
}

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_;
1867 1868 1869
  }
}

1870
void DBImpl::RecordFlushIOStats() {
I
Igor Canadi 已提交
1871
  RecordTick(stats_, FLUSH_WRITE_BYTES, IOSTATS(bytes_written));
1872 1873 1874
  IOSTATS_RESET(bytes_written);
}

1875
void DBImpl::BGWorkFlush(void* db) {
1876
  IOSTATS_SET_THREAD_POOL_ID(Env::Priority::HIGH);
1877 1878 1879 1880
  reinterpret_cast<DBImpl*>(db)->BackgroundCallFlush();
}

void DBImpl::BGWorkCompaction(void* db) {
1881
  IOSTATS_SET_THREAD_POOL_ID(Env::Priority::LOW);
1882
  TEST_SYNC_POINT("DBImpl::BGWorkCompaction");
1883 1884 1885
  reinterpret_cast<DBImpl*>(db)->BackgroundCallCompaction();
}

I
Igor Canadi 已提交
1886
Status DBImpl::BackgroundFlush(bool* madeProgress, JobContext* job_context,
H
Haobo Xu 已提交
1887
                               LogBuffer* log_buffer) {
1888
  mutex_.AssertHeld();
1889

1890 1891 1892 1893 1894 1895 1896
  Status status = bg_error_;
  if (status.ok() && shutting_down_.load(std::memory_order_acquire)) {
    status = Status::ShutdownInProgress();
  }

  if (!status.ok()) {
    return status;
1897 1898
  }

1899 1900 1901
  ColumnFamilyData* cfd = nullptr;
  while (!flush_queue_.empty()) {
    // This cfd is already referenced
I
Igor Canadi 已提交
1902
    auto first_cfd = PopFirstFromFlushQueue();
1903

I
Igor Canadi 已提交
1904
    if (first_cfd->IsDropped() || !first_cfd->imm()->IsFlushPending()) {
1905
      // can't flush this CF, try next one
I
Igor Canadi 已提交
1906 1907
      if (first_cfd->Unref()) {
        delete first_cfd;
1908 1909
      }
      continue;
1910
    }
1911 1912

    // found a flush!
I
Igor Canadi 已提交
1913
    cfd = first_cfd;
1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927 1928 1929 1930
    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;
1931
    }
J
jorlow@chromium.org 已提交
1932
  }
1933
  return status;
J
jorlow@chromium.org 已提交
1934 1935
}

1936
void DBImpl::BackgroundCallFlush() {
1937
  bool madeProgress = false;
1938
  JobContext job_context(next_job_id_.fetch_add(1), true);
1939 1940
  assert(bg_flush_scheduled_);

1941
  LogBuffer log_buffer(InfoLogLevel::INFO_LEVEL, db_options_.info_log.get());
H
Haobo Xu 已提交
1942
  {
1943
    InstrumentedMutexLock l(&mutex_);
H
Haobo Xu 已提交
1944

I
Igor Canadi 已提交
1945 1946 1947
    auto pending_outputs_inserted_elem =
        CaptureCurrentFileNumberInPendingOutputs();

1948
    Status s = BackgroundFlush(&madeProgress, &job_context, &log_buffer);
1949 1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965
    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 已提交
1966 1967
    }

I
Igor Canadi 已提交
1968 1969
    ReleaseFileNumberFromPendingOutputs(pending_outputs_inserted_elem);

1970 1971 1972
    // 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 已提交
1973
    // delete unnecessary files if any, this is done outside the mutex
I
Igor Canadi 已提交
1974
    if (job_context.HaveSomethingToDelete() || !log_buffer.IsEmpty()) {
1975
      mutex_.Unlock();
1976 1977 1978 1979 1980
      // 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 已提交
1981
      log_buffer.FlushBufferToLog();
I
Igor Canadi 已提交
1982 1983
      if (job_context.HaveSomethingToDelete()) {
        PurgeObsoleteFiles(job_context);
1984
      }
I
Igor Canadi 已提交
1985
      job_context.Clean();
1986 1987
      mutex_.Lock();
    }
I
Igor Canadi 已提交
1988

H
Haobo Xu 已提交
1989
    bg_flush_scheduled_--;
1990 1991
    // See if there's more work to be done
    MaybeScheduleFlushOrCompaction();
I
Igor Canadi 已提交
1992
    RecordFlushIOStats();
H
Haobo Xu 已提交
1993
    bg_cv_.SignalAll();
I
Igor Canadi 已提交
1994 1995 1996 1997
    // 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.
1998
  }
J
jorlow@chromium.org 已提交
1999 2000
}

2001
void DBImpl::BackgroundCallCompaction() {
2002
  bool madeProgress = false;
2003
  JobContext job_context(next_job_id_.fetch_add(1), true);
H
Haobo Xu 已提交
2004 2005

  MaybeDumpStats();
2006
  LogBuffer log_buffer(InfoLogLevel::INFO_LEVEL, db_options_.info_log.get());
2007
  {
2008
    InstrumentedMutexLock l(&mutex_);
I
Igor Canadi 已提交
2009 2010 2011 2012

    auto pending_outputs_inserted_elem =
        CaptureCurrentFileNumberInPendingOutputs();

2013
    assert(bg_compaction_scheduled_);
2014
    Status s = BackgroundCompaction(&madeProgress, &job_context, &log_buffer);
2015 2016 2017 2018 2019 2020
    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 =
2021
          default_cf_internal_stats_->BumpAndGetBackgroundErrorCount();
2022 2023 2024 2025 2026 2027 2028 2029 2030 2031
      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();
2032
    }
H
Haobo Xu 已提交
2033

I
Igor Canadi 已提交
2034 2035
    ReleaseFileNumberFromPendingOutputs(pending_outputs_inserted_elem);

2036 2037 2038 2039
    // 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());
2040 2041

    // delete unnecessary files if any, this is done outside the mutex
I
Igor Canadi 已提交
2042
    if (job_context.HaveSomethingToDelete() || !log_buffer.IsEmpty()) {
2043
      mutex_.Unlock();
2044 2045 2046 2047 2048
      // 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 已提交
2049
      log_buffer.FlushBufferToLog();
I
Igor Canadi 已提交
2050 2051
      if (job_context.HaveSomethingToDelete()) {
        PurgeObsoleteFiles(job_context);
2052
      }
I
Igor Canadi 已提交
2053
      job_context.Clean();
2054 2055
      mutex_.Lock();
    }
D
Dhruba Borthakur 已提交
2056

2057
    bg_compaction_scheduled_--;
J
jorlow@chromium.org 已提交
2058

2059 2060
    versions_->GetColumnFamilySet()->FreeDeadColumnFamilies();

2061 2062
    // See if there's more work to be done
    MaybeScheduleFlushOrCompaction();
2063 2064
    if (madeProgress || bg_compaction_scheduled_ == 0 || bg_manual_only_ > 0) {
      // signal if
I
Igor Canadi 已提交
2065
      // * madeProgress -- need to wakeup DelayWrite
2066 2067 2068 2069 2070 2071
      // * 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 已提交
2072 2073 2074 2075
    // 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.
2076
  }
J
jorlow@chromium.org 已提交
2077 2078
}

I
Igor Canadi 已提交
2079
Status DBImpl::BackgroundCompaction(bool* madeProgress, JobContext* job_context,
2080
                                    LogBuffer* log_buffer) {
2081
  *madeProgress = false;
J
jorlow@chromium.org 已提交
2082
  mutex_.AssertHeld();
2083

2084 2085
  bool is_manual = (manual_compaction_ != nullptr) &&
                   (manual_compaction_->in_progress == false);
2086

2087 2088 2089 2090 2091 2092
  Status status = bg_error_;
  if (status.ok() && shutting_down_.load(std::memory_order_acquire)) {
    status = Status::ShutdownInProgress();
  }

  if (!status.ok()) {
2093
    if (is_manual) {
2094
      manual_compaction_->status = status;
2095 2096 2097 2098
      manual_compaction_->done = true;
      manual_compaction_->in_progress = false;
      manual_compaction_ = nullptr;
    }
2099
    return status;
2100 2101
  }

2102 2103 2104
  if (is_manual) {
    // another thread cannot pick up the same work
    manual_compaction_->in_progress = true;
2105 2106 2107 2108
  } else if (manual_compaction_ != nullptr) {
    // there should be no automatic compactions running when manual compaction
    // is running
    return Status::OK();
2109 2110
  }

2111 2112 2113 2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124
  // 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);
2125 2126 2127 2128
      // 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()) {
2129 2130 2131 2132 2133 2134 2135
        if (is_manual) {
          manual_compaction_->status = flush_status;
          manual_compaction_->done = true;
          manual_compaction_->in_progress = false;
          manual_compaction_ = nullptr;
        }
        return flush_status;
2136 2137 2138 2139 2140
      }
    }
  }

  unique_ptr<Compaction> c;
2141 2142
  InternalKey manual_end_storage;
  InternalKey* manual_end = &manual_end_storage;
H
hans@chromium.org 已提交
2143
  if (is_manual) {
G
Gabor Cselle 已提交
2144
    ManualCompaction* m = manual_compaction_;
2145
    assert(m->in_progress);
2146 2147 2148
    c.reset(m->cfd->CompactRange(
          *m->cfd->GetLatestMutableCFOptions(), m->input_level, m->output_level,
          m->output_path_id, m->begin, m->end, &manual_end));
2149
    if (!c) {
2150
      m->done = true;
G
Gabor Cselle 已提交
2151
    }
I
Igor Canadi 已提交
2152 2153 2154 2155 2156 2157 2158 2159 2160
    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()));
2161 2162 2163 2164 2165 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189 2190 2191 2192 2193 2194 2195 2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2207
  } 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 已提交
2208
        }
I
Igor Canadi 已提交
2209 2210
      }
    }
J
jorlow@chromium.org 已提交
2211 2212
  }

2213
  if (!c) {
H
hans@chromium.org 已提交
2214
    // Nothing to do
2215
    LogToBuffer(log_buffer, "Compaction nothing to do");
I
Igor Canadi 已提交
2216 2217 2218 2219 2220
  } 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);
2221
    assert(c->column_family_data()->ioptions()->compaction_style ==
I
Igor Canadi 已提交
2222 2223
           kCompactionStyleFIFO);
    for (const auto& f : *c->inputs(0)) {
2224
      c->edit()->DeleteFile(c->level(), f->fd.GetNumber());
I
Igor Canadi 已提交
2225
    }
2226 2227 2228
    status = versions_->LogAndApply(c->column_family_data(),
                                    *c->mutable_cf_options(), c->edit(),
                                    &mutex_, directories_.GetDbDir());
I
Igor Canadi 已提交
2229 2230
    InstallSuperVersionBackground(c->column_family_data(), job_context,
                                  *c->mutable_cf_options());
I
Igor Canadi 已提交
2231 2232 2233 2234
    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 已提交
2235
  } else if (!is_manual && c->IsTrivialMove()) {
2236 2237 2238 2239 2240
    // 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 已提交
2241
    // Move file to next level
2242
    assert(c->num_input_files(0) == 1);
J
jorlow@chromium.org 已提交
2243
    FileMetaData* f = c->input(0, 0);
2244
    c->edit()->DeleteFile(c->level(), f->fd.GetNumber());
2245 2246 2247
    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);
2248
    status = versions_->LogAndApply(c->column_family_data(),
2249 2250
                                    *c->mutable_cf_options(), c->edit(),
                                    &mutex_, directories_.GetDbDir());
2251
    // Use latest MutableCFOptions
I
Igor Canadi 已提交
2252 2253
    InstallSuperVersionBackground(c->column_family_data(), job_context,
                                  *c->mutable_cf_options());
2254

S
sdong 已提交
2255
    VersionStorageInfo::LevelSummaryStorage tmp;
2256 2257
    c->column_family_data()->internal_stats()->IncBytesMoved(
        c->level() + 1, f->fd.GetFileSize());
2258 2259 2260 2261 2262 2263
    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));
2264
    *madeProgress = true;
2265 2266 2267

    // Clear Instrument
    ThreadStatusUtil::ResetThreadStatus();
J
jorlow@chromium.org 已提交
2268
  } else {
I
Igor Canadi 已提交
2269 2270 2271 2272 2273
    auto yield_callback = [&]() {
      return CallFlushDuringCompaction(c->column_family_data(),
                                       *c->mutable_cf_options(), job_context,
                                       log_buffer);
    };
2274
    CompactionJob compaction_job(
2275 2276 2277 2278 2279
        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 已提交
2280 2281 2282 2283
    compaction_job.Prepare();
    mutex_.Unlock();
    status = compaction_job.Run();
    mutex_.Lock();
2284
    compaction_job.Install(&status, &mutex_);
I
Igor Canadi 已提交
2285 2286 2287 2288
    if (status.ok()) {
      InstallSuperVersionBackground(c->column_family_data(), job_context,
                                    *c->mutable_cf_options());
    }
O
Ori Bernstein 已提交
2289 2290 2291 2292 2293
    *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 已提交
2294
    c->ReleaseCompactionFiles(status);
2295
    *madeProgress = true;
J
jorlow@chromium.org 已提交
2296
  }
2297
  // this will unref its input_version and column_family_data
2298
  c.reset();
J
jorlow@chromium.org 已提交
2299 2300 2301

  if (status.ok()) {
    // Done
F
Feng Zhu 已提交
2302
  } else if (status.IsShutdownInProgress()) {
J
jorlow@chromium.org 已提交
2303 2304
    // Ignore compaction errors found during shutting down
  } else {
2305
    Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log, "Compaction error: %s",
2306
        status.ToString().c_str());
2307
    if (db_options_.paranoid_checks && bg_error_.ok()) {
J
jorlow@chromium.org 已提交
2308 2309 2310
      bg_error_ = status;
    }
  }
H
hans@chromium.org 已提交
2311 2312

  if (is_manual) {
G
Gabor Cselle 已提交
2313
    ManualCompaction* m = manual_compaction_;
2314
    if (!status.ok()) {
L
Lei Jin 已提交
2315
      m->status = status;
2316 2317
      m->done = true;
    }
2318 2319 2320 2321 2322 2323 2324 2325 2326
    // 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.
2327 2328 2329 2330 2331
    //
    // 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) {
2332 2333
      m->done = true;
    }
G
Gabor Cselle 已提交
2334 2335 2336
    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 已提交
2337
      // Universal and FIFO compactions should always compact the whole range
2338 2339
      assert(m->cfd->ioptions()->compaction_style != kCompactionStyleUniversal);
      assert(m->cfd->ioptions()->compaction_style != kCompactionStyleFIFO);
2340
      m->tmp_storage = *manual_end;
G
Gabor Cselle 已提交
2341 2342
      m->begin = &m->tmp_storage;
    }
2343
    m->in_progress = false; // not being processed anymore
2344
    manual_compaction_ = nullptr;
H
hans@chromium.org 已提交
2345
  }
2346
  return status;
J
jorlow@chromium.org 已提交
2347 2348
}

I
Igor Canadi 已提交
2349 2350 2351
uint64_t DBImpl::CallFlushDuringCompaction(
    ColumnFamilyData* cfd, const MutableCFOptions& mutable_cf_options,
    JobContext* job_context, LogBuffer* log_buffer) {
2352
  if (db_options_.max_background_flushes > 0) {
2353 2354 2355
    // flush thread will take care of this
    return 0;
  }
I
Igor Canadi 已提交
2356
  if (cfd->imm()->imm_flush_needed.load(std::memory_order_relaxed)) {
I
Igor Canadi 已提交
2357 2358 2359 2360
    const uint64_t imm_start = env_->NowMicros();
    mutex_.Lock();
    if (cfd->imm()->IsFlushPending()) {
      cfd->Ref();
I
Igor Canadi 已提交
2361 2362
      FlushMemTableToOutputFile(cfd, mutable_cf_options, nullptr, job_context,
                                log_buffer);
I
Igor Canadi 已提交
2363
      cfd->Unref();
I
Igor Canadi 已提交
2364
      bg_cv_.SignalAll();  // Wakeup DelayWrite() if necessary
I
Igor Canadi 已提交
2365 2366 2367 2368 2369 2370 2371 2372
    }
    mutex_.Unlock();
    log_buffer->FlushBufferToLog();
    return env_->NowMicros() - imm_start;
  }
  return 0;
}

2373 2374
namespace {
struct IterState {
2375
  IterState(DBImpl* _db, InstrumentedMutex* _mu, SuperVersion* _super_version)
I
Igor Canadi 已提交
2376
      : db(_db), mu(_mu), super_version(_super_version) {}
2377 2378

  DBImpl* db;
2379
  InstrumentedMutex* mu;
2380
  SuperVersion* super_version;
2381 2382 2383 2384
};

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

2386
  if (state->super_version->Unref()) {
2387 2388 2389
    // Job id == 0 means that this is not our background process, but rather
    // user thread
    JobContext job_context(0);
2390

2391 2392
    state->mu->Lock();
    state->super_version->Cleanup();
I
Igor Canadi 已提交
2393
    state->db->FindObsoleteFiles(&job_context, false, true);
2394 2395 2396
    state->mu->Unlock();

    delete state->super_version;
I
Igor Canadi 已提交
2397 2398
    if (job_context.HaveSomethingToDelete()) {
      state->db->PurgeObsoleteFiles(job_context);
2399
    }
I
Igor Canadi 已提交
2400
    job_context.Clean();
I
Igor Canadi 已提交
2401
  }
T
Tomislav Novak 已提交
2402

2403 2404
  delete state;
}
H
Hans Wennborg 已提交
2405
}  // namespace
2406

L
Lei Jin 已提交
2407
Iterator* DBImpl::NewInternalIterator(const ReadOptions& read_options,
2408
                                      ColumnFamilyData* cfd,
2409 2410 2411
                                      SuperVersion* super_version,
                                      Arena* arena) {
  Iterator* internal_iter;
2412 2413 2414 2415 2416
  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 已提交
2417
      super_version->mem->NewIterator(read_options, arena));
2418
  // Collect all needed child iterators for immutable memtables
L
Lei Jin 已提交
2419
  super_version->imm->AddIterators(read_options, &merge_iter_builder);
2420
  // Collect iterators for files in L0 - Ln
L
Lei Jin 已提交
2421
  super_version->current->AddIterators(read_options, env_options_,
2422 2423
                                       &merge_iter_builder);
  internal_iter = merge_iter_builder.Finish();
2424
  IterState* cleanup = new IterState(this, &mutex_, super_version);
2425
  internal_iter->RegisterCleanup(CleanupIteratorState, cleanup, nullptr);
J
jorlow@chromium.org 已提交
2426 2427 2428 2429

  return internal_iter;
}

2430 2431 2432 2433
ColumnFamilyHandle* DBImpl::DefaultColumnFamily() const {
  return default_cf_handle_;
}

L
Lei Jin 已提交
2434
Status DBImpl::Get(const ReadOptions& read_options,
2435
                   ColumnFamilyHandle* column_family, const Slice& key,
J
jorlow@chromium.org 已提交
2436
                   std::string* value) {
L
Lei Jin 已提交
2437
  return GetImpl(read_options, column_family, key, value);
2438 2439
}

I
Igor Canadi 已提交
2440 2441
// JobContext gets created and destructed outside of the lock --
// we
I
Igor Canadi 已提交
2442 2443
// use this convinently to:
// * malloc one SuperVersion() outside of the lock -- new_superversion
2444
// * delete SuperVersion()s outside of the lock -- superversions_to_free
I
Igor Canadi 已提交
2445
//
I
Igor Canadi 已提交
2446 2447 2448 2449
// However, if InstallSuperVersion() gets called twice with the same
// job_context, we can't reuse the SuperVersion() that got
// malloced
// because
I
Igor Canadi 已提交
2450 2451 2452
// 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 已提交
2453 2454
void DBImpl::InstallSuperVersionBackground(
    ColumnFamilyData* cfd, JobContext* job_context,
2455
    const MutableCFOptions& mutable_cf_options) {
2456
  mutex_.AssertHeld();
I
Igor Canadi 已提交
2457 2458 2459 2460
  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 已提交
2461 2462
}

L
Lei Jin 已提交
2463 2464
SuperVersion* DBImpl::InstallSuperVersion(
    ColumnFamilyData* cfd, SuperVersion* new_sv,
2465
    const MutableCFOptions& mutable_cf_options, bool dont_schedule_bg_work) {
L
Lei Jin 已提交
2466
  mutex_.AssertHeld();
2467 2468 2469 2470 2471 2472 2473 2474 2475

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

2479 2480 2481 2482 2483 2484 2485 2486 2487
  // 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 已提交
2488 2489 2490 2491 2492 2493 2494 2495 2496 2497

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

2503 2504 2505
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();

2506
  SequenceNumber snapshot;
L
Lei Jin 已提交
2507 2508 2509
  if (read_options.snapshot != nullptr) {
    snapshot = reinterpret_cast<const SnapshotImpl*>(
        read_options.snapshot)->number_;
2510 2511
  } else {
    snapshot = versions_->LastSequence();
J
jorlow@chromium.org 已提交
2512
  }
2513

2514
  // Acquire SuperVersion
2515
  SuperVersion* sv = GetAndRefSuperVersion(cfd);
I
Igor Canadi 已提交
2516

2517
  // Prepare to store a list of merge operations if merge occurs.
2518
  MergeContext merge_context;
2519

2520
  Status s;
2521
  // First look in the memtable, then in the immutable memtable (if any).
2522
  // s is both in/out. When in, s could either be OK or MergeInProgress.
2523
  // merge_operands will contain the sequence of merges in the latter case.
2524
  LookupKey lkey(key, snapshot);
L
Lei Jin 已提交
2525
  PERF_TIMER_STOP(get_snapshot_time);
2526

2527
  if (sv->mem->Get(lkey, value, &s, &merge_context)) {
2528
    // Done
L
Lei Jin 已提交
2529
    RecordTick(stats_, MEMTABLE_HIT);
2530
  } else if (sv->imm->Get(lkey, value, &s, &merge_context)) {
2531
    // Done
L
Lei Jin 已提交
2532
    RecordTick(stats_, MEMTABLE_HIT);
2533
  } else {
2534
    PERF_TIMER_GUARD(get_from_output_files_time);
L
Lei Jin 已提交
2535 2536
    sv->current->Get(read_options, lkey, value, &s, &merge_context,
                     value_found);
L
Lei Jin 已提交
2537
    RecordTick(stats_, MEMTABLE_MISS);
2538
  }
2539

2540 2541
  {
    PERF_TIMER_GUARD(get_post_process_time);
2542

2543
    ReturnAndCleanupSuperVersion(cfd, sv);
2544

2545 2546 2547
    RecordTick(stats_, NUMBER_KEYS_READ);
    RecordTick(stats_, BYTES_READ, value->size());
  }
2548
  return s;
J
jorlow@chromium.org 已提交
2549 2550
}

2551
std::vector<Status> DBImpl::MultiGet(
L
Lei Jin 已提交
2552
    const ReadOptions& read_options,
2553
    const std::vector<ColumnFamilyHandle*>& column_family,
2554
    const std::vector<Slice>& keys, std::vector<std::string>* values) {
2555

L
Lei Jin 已提交
2556
  StopWatch sw(env_, stats_, DB_MULTIGET);
2557
  PERF_TIMER_GUARD(get_snapshot_time);
K
Kai Liu 已提交
2558

2559
  SequenceNumber snapshot;
2560

2561
  struct MultiGetColumnFamilyData {
I
Igor Canadi 已提交
2562
    ColumnFamilyData* cfd;
2563 2564 2565 2566 2567
    SuperVersion* super_version;
  };
  std::unordered_map<uint32_t, MultiGetColumnFamilyData*> multiget_cf_data;
  // fill up and allocate outside of mutex
  for (auto cf : column_family) {
2568 2569 2570 2571 2572 2573
    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});
2574 2575 2576
    }
  }

2577
  mutex_.Lock();
L
Lei Jin 已提交
2578 2579 2580
  if (read_options.snapshot != nullptr) {
    snapshot = reinterpret_cast<const SnapshotImpl*>(
        read_options.snapshot)->number_;
2581 2582 2583
  } else {
    snapshot = versions_->LastSequence();
  }
2584
  for (auto mgd_iter : multiget_cf_data) {
2585 2586
    mgd_iter.second->super_version =
        mgd_iter.second->cfd->GetSuperVersion()->Ref();
2587
  }
2588
  mutex_.Unlock();
2589

2590 2591
  // Contain a list of merge operations if merge occurs.
  MergeContext merge_context;
2592

2593
  // Note: this always resizes the values array
2594 2595 2596
  size_t num_keys = keys.size();
  std::vector<Status> stat_list(num_keys);
  values->resize(num_keys);
2597 2598

  // Keep track of bytes that we read for statistics-recording later
2599
  uint64_t bytes_read = 0;
L
Lei Jin 已提交
2600
  PERF_TIMER_STOP(get_snapshot_time);
2601 2602 2603 2604

  // 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.
2605
  // merge_operands will contain the sequence of merges in the latter case.
2606
  for (size_t i = 0; i < num_keys; ++i) {
2607
    merge_context.Clear();
2608
    Status& s = stat_list[i];
2609 2610 2611
    std::string* value = &(*values)[i];

    LookupKey lkey(keys[i], snapshot);
2612 2613
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family[i]);
    auto mgd_iter = multiget_cf_data.find(cfh->cfd()->GetID());
2614 2615 2616
    assert(mgd_iter != multiget_cf_data.end());
    auto mgd = mgd_iter->second;
    auto super_version = mgd->super_version;
2617
    if (super_version->mem->Get(lkey, value, &s, &merge_context)) {
2618
      // Done
2619
    } else if (super_version->imm->Get(lkey, value, &s, &merge_context)) {
2620 2621
      // Done
    } else {
2622
      PERF_TIMER_GUARD(get_from_output_files_time);
L
Lei Jin 已提交
2623 2624
      super_version->current->Get(read_options, lkey, value, &s,
                                  &merge_context);
2625 2626 2627
    }

    if (s.ok()) {
2628
      bytes_read += value->size();
2629 2630 2631 2632
    }
  }

  // Post processing (decrement reference counts and record statistics)
2633
  PERF_TIMER_GUARD(get_post_process_time);
2634 2635
  autovector<SuperVersion*> superversions_to_delete;

I
Igor Canadi 已提交
2636
  // TODO(icanadi) do we need lock here or just around Cleanup()?
2637 2638 2639 2640 2641 2642
  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);
2643 2644
    }
  }
2645 2646 2647 2648 2649 2650 2651
  mutex_.Unlock();

  for (auto td : superversions_to_delete) {
    delete td;
  }
  for (auto mgd : multiget_cf_data) {
    delete mgd.second;
2652
  }
2653

L
Lei Jin 已提交
2654 2655 2656
  RecordTick(stats_, NUMBER_MULTIGET_CALLS);
  RecordTick(stats_, NUMBER_MULTIGET_KEYS_READ, num_keys);
  RecordTick(stats_, NUMBER_MULTIGET_BYTES_READ, bytes_read);
L
Lei Jin 已提交
2657
  PERF_TIMER_STOP(get_post_process_time);
2658

2659
  return stat_list;
2660 2661
}

L
Lei Jin 已提交
2662
Status DBImpl::CreateColumnFamily(const ColumnFamilyOptions& cf_options,
2663
                                  const std::string& column_family_name,
2664
                                  ColumnFamilyHandle** handle) {
Y
Yueh-Hsuan Chiang 已提交
2665
  Status s;
I
Igor Canadi 已提交
2666
  *handle = nullptr;
Y
Yueh-Hsuan Chiang 已提交
2667
  {
2668
    InstrumentedMutexLock l(&mutex_);
I
Igor Canadi 已提交
2669

Y
Yueh-Hsuan Chiang 已提交
2670 2671 2672 2673 2674 2675 2676 2677 2678 2679 2680 2681 2682 2683
    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 已提交
2684 2685 2686 2687 2688 2689 2690 2691
    {  // 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,
2692
          &mutex_, directories_.GetDbDir(), false, &cf_options);
I
Igor Canadi 已提交
2693 2694
      write_thread_.ExitWriteThread(&w, &w, s);
    }
Y
Yueh-Hsuan Chiang 已提交
2695 2696 2697 2698 2699 2700 2701
    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 已提交
2702 2703 2704 2705 2706

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

Y
Yueh-Hsuan Chiang 已提交
2707 2708 2709 2710 2711 2712 2713 2714 2715
      *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());
    }
2716
  }  // InstrumentedMutexLock l(&mutex_)
Y
Yueh-Hsuan Chiang 已提交
2717 2718

  // this is outside the mutex
2719
  if (s.ok()) {
Y
Yueh-Hsuan Chiang 已提交
2720 2721
    NewThreadStatusCfInfo(
        reinterpret_cast<ColumnFamilyHandleImpl*>(*handle)->cfd());
2722
  }
2723
  return s;
2724 2725
}

2726 2727 2728 2729
Status DBImpl::DropColumnFamily(ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
  if (cfd->GetID() == 0) {
2730 2731
    return Status::InvalidArgument("Can't drop default column family");
  }
2732

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

I
Igor Canadi 已提交
2735 2736
  VersionEdit edit;
  edit.DropColumnFamily();
2737 2738
  edit.SetColumnFamily(cfd->GetID());

2739
  Status s;
2740
  {
2741
    InstrumentedMutexLock l(&mutex_);
2742 2743 2744 2745
    if (cfd->IsDropped()) {
      s = Status::InvalidArgument("Column family already dropped!\n");
    }
    if (s.ok()) {
2746
      // we drop column family from a single write thread
I
Igor Canadi 已提交
2747 2748
      WriteThread::Writer w(&mutex_);
      s = write_thread_.EnterWriteThread(&w, 0);
2749
      assert(s.ok() && !w.done);  // No timeout and nobody should do our job
2750 2751
      s = versions_->LogAndApply(cfd, *cfd->GetLatestMutableCFOptions(),
                                 &edit, &mutex_);
I
Igor Canadi 已提交
2752
      write_thread_.ExitWriteThread(&w, &w, s);
2753
    }
S
sdong 已提交
2754 2755 2756 2757 2758 2759

    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()) {
2760
        if (!c->IsDropped() && !c->mem()->IsSnapshotSupported()) {
S
sdong 已提交
2761 2762 2763 2764 2765 2766
          new_is_snapshot_supported = false;
          break;
        }
      }
      is_snapshot_supported_ = new_is_snapshot_supported;
    }
2767
  }
2768

2769
  if (s.ok()) {
Y
Yueh-Hsuan Chiang 已提交
2770 2771 2772 2773
    // 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 已提交
2774
    assert(cfd->IsDropped());
L
Lei Jin 已提交
2775 2776 2777
    auto* mutable_cf_options = cfd->GetLatestMutableCFOptions();
    max_total_in_memory_state_ -= mutable_cf_options->write_buffer_size *
                                  mutable_cf_options->max_write_buffer_number;
2778 2779
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
        "Dropped column family with id %u\n",
2780
        cfd->GetID());
2781
  } else {
2782
    Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
2783
        "Dropping column family with id %u FAILED -- %s\n",
2784 2785 2786
        cfd->GetID(), s.ToString().c_str());
  }

2787
  return s;
2788 2789
}

L
Lei Jin 已提交
2790
bool DBImpl::KeyMayExist(const ReadOptions& read_options,
2791 2792
                         ColumnFamilyHandle* column_family, const Slice& key,
                         std::string* value, bool* value_found) {
2793
  if (value_found != nullptr) {
K
Kai Liu 已提交
2794 2795
    // falsify later if key-may-exist but can't fetch value
    *value_found = true;
2796
  }
L
Lei Jin 已提交
2797
  ReadOptions roptions = read_options;
2798
  roptions.read_tier = kBlockCacheTier; // read from block cache only
2799
  auto s = GetImpl(roptions, column_family, key, value, value_found);
K
Kai Liu 已提交
2800

2801
  // If block_cache is enabled and the index block of the table didn't
K
Kai Liu 已提交
2802 2803 2804
  // 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();
2805 2806
}

2807
Iterator* DBImpl::NewIterator(const ReadOptions& read_options,
2808 2809 2810
                              ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
T
Tomislav Novak 已提交
2811

V
Venkatesh Radhakrishnan 已提交
2812 2813 2814 2815 2816 2817 2818 2819 2820 2821 2822 2823 2824 2825 2826 2827 2828 2829
  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 已提交
2830 2831 2832 2833
#ifdef ROCKSDB_LITE
    // not supported in lite version
    return nullptr;
#else
2834 2835
    SuperVersion* sv = cfd->GetReferencedSuperVersion(&mutex_);
    auto iter = new ForwardIterator(this, read_options, cfd, sv);
2836
    return NewDBIterator(env_, *cfd->ioptions(), cfd->user_comparator(), iter,
2837 2838 2839
        kMaxSequenceNumber,
        sv->mutable_cf_options.max_sequential_skip_in_iterations,
        read_options.iterate_upper_bound);
I
Igor Canadi 已提交
2840
#endif
T
Tomislav Novak 已提交
2841
  } else {
2842
    SequenceNumber latest_snapshot = versions_->LastSequence();
2843
    SuperVersion* sv = cfd->GetReferencedSuperVersion(&mutex_);
2844

I
Igor Canadi 已提交
2845
    auto snapshot =
2846 2847 2848
        read_options.snapshot != nullptr
            ? reinterpret_cast<const SnapshotImpl*>(
                read_options.snapshot)->number_
I
Igor Canadi 已提交
2849
            : latest_snapshot;
T
Tomislav Novak 已提交
2850

2851 2852 2853 2854 2855 2856 2857 2858 2859 2860 2861 2862 2863 2864 2865 2866 2867 2868 2869 2870 2871 2872 2873 2874 2875 2876 2877 2878 2879 2880 2881 2882 2883 2884 2885 2886 2887 2888 2889 2890 2891 2892 2893
    // 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(
2894
        env_, *cfd->ioptions(), cfd->user_comparator(),
2895
        snapshot, sv->mutable_cf_options.max_sequential_skip_in_iterations,
2896
        read_options.iterate_upper_bound);
2897

2898
    Iterator* internal_iter =
2899
        NewInternalIterator(read_options, cfd, sv, db_iter->GetArena());
2900 2901 2902 2903
    db_iter->SetIterUnderDBIter(internal_iter);

    return db_iter;
  }
2904 2905
  // To stop compiler from complaining
  return nullptr;
J
jorlow@chromium.org 已提交
2906 2907
}

2908
Status DBImpl::NewIterators(
2909
    const ReadOptions& read_options,
I
Igor Canadi 已提交
2910
    const std::vector<ColumnFamilyHandle*>& column_families,
2911
    std::vector<Iterator*>* iterators) {
I
Igor Canadi 已提交
2912 2913
  iterators->clear();
  iterators->reserve(column_families.size());
V
Venkatesh Radhakrishnan 已提交
2914 2915 2916 2917 2918 2919 2920 2921 2922 2923 2924 2925 2926 2927 2928 2929 2930 2931 2932 2933
  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 已提交
2934 2935 2936 2937
#ifdef ROCKSDB_LITE
    return Status::InvalidArgument(
        "Tailing interator not supported in RocksDB lite");
#else
I
Igor Canadi 已提交
2938 2939
    for (auto cfh : column_families) {
      auto cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(cfh)->cfd();
2940 2941
      SuperVersion* sv = cfd->GetReferencedSuperVersion(&mutex_);
      auto iter = new ForwardIterator(this, read_options, cfd, sv);
L
Lei Jin 已提交
2942
      iterators->push_back(
2943
          NewDBIterator(env_, *cfd->ioptions(), cfd->user_comparator(), iter,
2944 2945
              kMaxSequenceNumber,
              sv->mutable_cf_options.max_sequential_skip_in_iterations));
I
Igor Canadi 已提交
2946
    }
I
Igor Canadi 已提交
2947
#endif
I
Igor Canadi 已提交
2948
  } else {
2949 2950
    SequenceNumber latest_snapshot = versions_->LastSequence();

I
Igor Canadi 已提交
2951
    for (size_t i = 0; i < column_families.size(); ++i) {
2952 2953 2954
      auto* cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(
          column_families[i])->cfd();
      SuperVersion* sv = cfd->GetReferencedSuperVersion(&mutex_);
I
Igor Canadi 已提交
2955 2956

      auto snapshot =
2957 2958 2959
          read_options.snapshot != nullptr
              ? reinterpret_cast<const SnapshotImpl*>(
                  read_options.snapshot)->number_
I
Igor Canadi 已提交
2960 2961
              : latest_snapshot;

2962
      ArenaWrappedDBIter* db_iter = NewArenaWrappedDbIterator(
2963
          env_, *cfd->ioptions(), cfd->user_comparator(), snapshot,
2964
          sv->mutable_cf_options.max_sequential_skip_in_iterations);
2965
      Iterator* internal_iter = NewInternalIterator(
2966
          read_options, cfd, sv, db_iter->GetArena());
2967 2968
      db_iter->SetIterUnderDBIter(internal_iter);
      iterators->push_back(db_iter);
I
Igor Canadi 已提交
2969 2970 2971 2972
    }
  }

  return Status::OK();
2973 2974
}

J
jorlow@chromium.org 已提交
2975
const Snapshot* DBImpl::GetSnapshot() {
2976 2977 2978
  int64_t unix_time = 0;
  env_->GetCurrentTime(&unix_time);  // Ignore error

2979
  InstrumentedMutexLock l(&mutex_);
2980
  // returns null if the underlying memtable does not support snapshot.
S
sdong 已提交
2981
  if (!is_snapshot_supported_) return nullptr;
2982
  return snapshots_.New(versions_->LastSequence(), unix_time);
J
jorlow@chromium.org 已提交
2983 2984 2985
}

void DBImpl::ReleaseSnapshot(const Snapshot* s) {
2986
  InstrumentedMutexLock l(&mutex_);
2987
  snapshots_.Delete(reinterpret_cast<const SnapshotImpl*>(s));
J
jorlow@chromium.org 已提交
2988 2989 2990
}

// Convenience methods
2991 2992
Status DBImpl::Put(const WriteOptions& o, ColumnFamilyHandle* column_family,
                   const Slice& key, const Slice& val) {
2993
  return DB::Put(o, column_family, key, val);
J
jorlow@chromium.org 已提交
2994 2995
}

2996 2997 2998
Status DBImpl::Merge(const WriteOptions& o, ColumnFamilyHandle* column_family,
                     const Slice& key, const Slice& val) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
2999
  if (!cfh->cfd()->ioptions()->merge_operator) {
3000 3001
    return Status::NotSupported("Provide a merge_operator when opening DB");
  } else {
3002
    return DB::Merge(o, column_family, key, val);
3003 3004 3005
  }
}

L
Lei Jin 已提交
3006
Status DBImpl::Delete(const WriteOptions& write_options,
3007
                      ColumnFamilyHandle* column_family, const Slice& key) {
L
Lei Jin 已提交
3008
  return DB::Delete(write_options, column_family, key);
J
jorlow@chromium.org 已提交
3009 3010
}

L
Lei Jin 已提交
3011
Status DBImpl::Write(const WriteOptions& write_options, WriteBatch* my_batch) {
S
Stanislau Hlebik 已提交
3012 3013 3014
  if (my_batch == nullptr) {
    return Status::Corruption("Batch is nullptr!");
  }
3015
  PERF_TIMER_GUARD(write_pre_and_post_process_time);
I
Igor Canadi 已提交
3016
  WriteThread::Writer w(&mutex_);
S
Stanislau Hlebik 已提交
3017
  w.batch = my_batch;
L
Lei Jin 已提交
3018 3019
  w.sync = write_options.sync;
  w.disableWAL = write_options.disableWAL;
S
Stanislau Hlebik 已提交
3020 3021
  w.in_batch_group = false;
  w.done = false;
L
Lei Jin 已提交
3022
  w.timeout_hint_us = write_options.timeout_hint_us;
S
Stanislau Hlebik 已提交
3023 3024

  uint64_t expiration_time = 0;
I
Igor Canadi 已提交
3025
  bool has_timeout = false;
S
Stanislau Hlebik 已提交
3026
  if (w.timeout_hint_us == 0) {
I
Igor Canadi 已提交
3027
    w.timeout_hint_us = WriteThread::kNoTimeOut;
S
Stanislau Hlebik 已提交
3028 3029
  } else {
    expiration_time = env_->NowMicros() + w.timeout_hint_us;
I
Igor Canadi 已提交
3030
    has_timeout = true;
S
Stanislau Hlebik 已提交
3031 3032
  }

L
Lei Jin 已提交
3033
  if (!write_options.disableWAL) {
S
Stanislau Hlebik 已提交
3034 3035 3036 3037 3038
    RecordTick(stats_, WRITE_WITH_WAL);
  }

  WriteContext context;
  mutex_.Lock();
I
Igor Canadi 已提交
3039 3040 3041 3042 3043

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

I
Igor Canadi 已提交
3044
  Status status = write_thread_.EnterWriteThread(&w, expiration_time);
S
Stanislau Hlebik 已提交
3045 3046
  assert(status.ok() || status.IsTimedOut());
  if (status.IsTimedOut()) {
3047
    mutex_.Unlock();
L
Lei Jin 已提交
3048
    RecordTick(stats_, WRITE_TIMEDOUT);
3049
    return Status::TimedOut();
3050
  }
S
Stanislau Hlebik 已提交
3051 3052 3053 3054 3055 3056 3057 3058 3059 3060
  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);
3061

3062 3063 3064 3065
  // 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.
3066 3067 3068
  assert(!single_column_family_mode_ ||
         versions_->GetColumnFamilySet()->NumberOfColumnFamilies() == 1);

3069
  uint64_t max_total_wal_size = (db_options_.max_total_wal_size == 0)
3070
                                    ? 4 * max_total_in_memory_state_
3071
                                    : db_options_.max_total_wal_size;
3072
  if (UNLIKELY(!single_column_family_mode_) &&
3073
      alive_log_files_.begin()->getting_flushed == false &&
I
Igor Canadi 已提交
3074
      total_log_size_ > max_total_wal_size) {
I
Igor Canadi 已提交
3075
    uint64_t flush_column_family_if_log_file = alive_log_files_.begin()->number;
I
Igor Canadi 已提交
3076
    alive_log_files_.begin()->getting_flushed = true;
3077
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
3078 3079 3080
        "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 已提交
3081 3082
    // no need to refcount because drop is happening in write thread, so can't
    // happen while we're in the write thread
3083
    for (auto cfd : *versions_->GetColumnFamilySet()) {
3084 3085 3086
      if (cfd->IsDropped()) {
        continue;
      }
I
Igor Canadi 已提交
3087
      if (cfd->GetLogNumber() <= flush_column_family_if_log_file) {
S
Stanislau Hlebik 已提交
3088
        status = SetNewMemtableAndNewLogFile(cfd, &context);
I
Igor Canadi 已提交
3089 3090 3091
        if (!status.ok()) {
          break;
        }
S
Stanislau Hlebik 已提交
3092
        cfd->imm()->FlushRequested();
3093 3094
        SchedulePendingFlush(cfd);
        context.schedule_bg_work_ = true;
3095
      }
3096
    }
3097 3098 3099 3100 3101 3102 3103 3104
  } 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()) {
3105 3106 3107
      if (cfd->IsDropped()) {
        continue;
      }
3108 3109 3110 3111 3112 3113
      if (!cfd->mem()->IsEmpty()) {
        status = SetNewMemtableAndNewLogFile(cfd, &context);
        if (!status.ok()) {
          break;
        }
        cfd->imm()->FlushRequested();
3114 3115
        SchedulePendingFlush(cfd);
        context.schedule_bg_work_ = true;
3116 3117 3118
      }
    }
    MaybeScheduleFlushOrCompaction();
I
Igor Canadi 已提交
3119 3120 3121 3122 3123 3124 3125 3126 3127 3128 3129 3130
  }

  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 已提交
3131
    status = DelayWrite(expiration_time);
I
Igor Canadi 已提交
3132 3133 3134 3135 3136
  }

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

D
dgrogan@chromium.org 已提交
3139
  uint64_t last_sequence = versions_->LastSequence();
I
Igor Canadi 已提交
3140
  WriteThread::Writer* last_writer = &w;
S
Stanislau Hlebik 已提交
3141
  if (status.ok()) {
3142
    autovector<WriteBatch*> write_batch_group;
I
Igor Canadi 已提交
3143
    write_thread_.BuildBatchGroup(&last_writer, &write_batch_group);
3144

3145 3146 3147
    // 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
3148
    // into memtables
3149
    {
3150
      mutex_.Unlock();
3151 3152 3153 3154 3155 3156 3157 3158 3159 3160
      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]);
        }
      }

3161 3162 3163 3164
      const SequenceNumber current_sequence = last_sequence + 1;
      WriteBatchInternal::SetSequence(updates, current_sequence);
      int my_batch_count = WriteBatchInternal::Count(updates);
      last_sequence += my_batch_count;
3165
      const uint64_t batch_size = WriteBatchInternal::ByteSize(updates);
3166
      // Record statistics
L
Lei Jin 已提交
3167
      RecordTick(stats_, NUMBER_KEYS_WRITTEN, my_batch_count);
S
sdong 已提交
3168
      RecordTick(stats_, BYTES_WRITTEN, batch_size);
L
Lei Jin 已提交
3169
      if (write_options.disableWAL) {
3170
        flush_on_destroy_ = true;
3171
      }
L
Lei Jin 已提交
3172
      PERF_TIMER_STOP(write_pre_and_post_process_time);
3173

3174
      uint64_t log_size = 0;
L
Lei Jin 已提交
3175
      if (!write_options.disableWAL) {
3176
        PERF_TIMER_GUARD(write_wal_time);
3177 3178
        Slice log_entry = WriteBatchInternal::Contents(updates);
        status = log_->AddRecord(log_entry);
I
Igor Canadi 已提交
3179 3180
        total_log_size_ += log_entry.size();
        alive_log_files_.back().AddSize(log_entry.size());
3181
        log_empty_ = false;
3182
        log_size = log_entry.size();
L
Lei Jin 已提交
3183
        RecordTick(stats_, WAL_FILE_BYTES, log_size);
L
Lei Jin 已提交
3184
        if (status.ok() && write_options.sync) {
I
Igor Canadi 已提交
3185
          RecordTick(stats_, WAL_FILE_SYNCED);
3186
          StopWatch sw(env_, stats_, WAL_FILE_SYNC_MICROS);
3187
          if (db_options_.use_fsync) {
3188
            status = log_->file()->Fsync();
3189
          } else {
3190
            status = log_->file()->Sync();
3191
          }
3192
          if (status.ok() && !log_dir_synced_) {
3193 3194 3195 3196 3197
            // 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();
          }
3198
          log_dir_synced_ = true;
H
heyongqiang 已提交
3199
        }
3200 3201
      }
      if (status.ok()) {
3202
        PERF_TIMER_GUARD(write_memtable_time);
Y
Yueh-Hsuan Chiang 已提交
3203

3204
        status = WriteBatchInternal::InsertInto(
I
Igor Canadi 已提交
3205
            updates, column_family_memtables_.get(),
L
Lei Jin 已提交
3206
            write_options.ignore_missing_column_families, 0, this, false);
Y
Yueh-Hsuan Chiang 已提交
3207 3208 3209 3210 3211 3212 3213 3214
        // 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 已提交
3215
        SetTickerCount(stats_, SEQUENCE_NUMBER, last_sequence);
3216
      }
L
Lei Jin 已提交
3217
      PERF_TIMER_START(write_pre_and_post_process_time);
3218 3219 3220
      if (updates == &tmp_batch_) {
        tmp_batch_.Clear();
      }
3221
      mutex_.Lock();
3222 3223 3224
      // internal stats
      default_cf_internal_stats_->AddDBStats(
          InternalStats::BYTES_WRITTEN, batch_size);
S
sdong 已提交
3225 3226
      default_cf_internal_stats_->AddDBStats(InternalStats::NUMBER_KEYS_WRITTEN,
                                             my_batch_count);
L
Lei Jin 已提交
3227
      if (!write_options.disableWAL) {
3228 3229 3230 3231 3232
        default_cf_internal_stats_->AddDBStats(
            InternalStats::WAL_FILE_SYNCED, 1);
        default_cf_internal_stats_->AddDBStats(
            InternalStats::WAL_FILE_BYTES, log_size);
      }
3233
      if (status.ok()) {
3234
        versions_->SetLastSequence(last_sequence);
3235
      }
J
jorlow@chromium.org 已提交
3236 3237
    }
  }
3238
  if (db_options_.paranoid_checks && !status.ok() &&
3239
      !status.IsTimedOut() && bg_error_.ok()) {
I
Igor Canadi 已提交
3240 3241
    bg_error_ = status; // stop compaction & fail any further writes
  }
3242

I
Igor Canadi 已提交
3243
  write_thread_.ExitWriteThread(&w, last_writer, status);
3244 3245 3246 3247

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

3250
  if (status.IsTimedOut()) {
L
Lei Jin 已提交
3251
    RecordTick(stats_, WRITE_TIMEDOUT);
3252 3253
  }

J
jorlow@chromium.org 已提交
3254 3255 3256
  return status;
}

3257 3258
// REQUIRES: mutex_ is held
// REQUIRES: this thread is currently at the front of the writer queue
I
Igor Canadi 已提交
3259
Status DBImpl::DelayWrite(uint64_t expiration_time) {
S
sdong 已提交
3260 3261
  uint64_t time_delayed = 0;
  bool delayed = false;
3262
  bool timed_out = false;
S
sdong 已提交
3263 3264 3265 3266 3267 3268 3269 3270 3271 3272 3273
  {
    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
      env_->SleepForMicroseconds(static_cast<int>(delay));
      mutex_.Lock();
    }
3274

S
sdong 已提交
3275 3276 3277 3278 3279
    while (bg_error_.ok() && write_controller_.IsStopped()) {
      delayed = true;
      if (has_timeout) {
        bg_cv_.TimedWait(expiration_time);
        if (env_->NowMicros() > expiration_time) {
3280 3281
          timed_out = true;
          break;
S
sdong 已提交
3282 3283 3284
        }
      } else {
        bg_cv_.Wait();
3285 3286 3287
      }
    }
  }
S
sdong 已提交
3288 3289 3290 3291 3292
  if (delayed) {
    default_cf_internal_stats_->AddDBStats(InternalStats::WRITE_STALL_MICROS,
                                           time_delayed);
    RecordTick(stats_, STALL_MICROS, time_delayed);
  }
I
Igor Canadi 已提交
3293

3294 3295 3296 3297
  if (timed_out) {
    return Status::TimedOut();
  }

I
Igor Canadi 已提交
3298
  return bg_error_;
3299 3300
}

I
Igor Canadi 已提交
3301 3302 3303 3304
Status DBImpl::ScheduleFlushes(WriteContext* context) {
  ColumnFamilyData* cfd;
  while ((cfd = flush_scheduler_.GetNextColumnFamily()) != nullptr) {
    auto status = SetNewMemtableAndNewLogFile(cfd, context);
3305 3306
    SchedulePendingFlush(cfd);
    context->schedule_bg_work_ = true;
I
Igor Canadi 已提交
3307 3308 3309 3310 3311
    if (cfd->Unref()) {
      delete cfd;
    }
    if (!status.ok()) {
      return status;
S
Stanislau Hlebik 已提交
3312 3313
    }
  }
I
Igor Canadi 已提交
3314
  return Status::OK();
S
Stanislau Hlebik 已提交
3315 3316 3317 3318 3319 3320 3321 3322 3323 3324 3325 3326 3327
}

// 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.
3328
  assert(versions_->prev_log_number() == 0);
S
Stanislau Hlebik 已提交
3329 3330 3331 3332
  bool creating_new_log = !log_empty_;
  uint64_t new_log_number =
      creating_new_log ? versions_->NewFileNumber() : logfile_number_;
  SuperVersion* new_superversion = nullptr;
3333
  const MutableCFOptions mutable_cf_options = *cfd->GetLatestMutableCFOptions();
S
Stanislau Hlebik 已提交
3334 3335 3336 3337
  mutex_.Unlock();
  Status s;
  {
    if (creating_new_log) {
3338
      s = env_->NewWritableFile(
3339 3340
          LogFileName(db_options_.wal_dir, new_log_number), &lfile,
          env_->OptimizeForLogWrite(env_options_));
S
Stanislau Hlebik 已提交
3341 3342 3343
      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 已提交
3344 3345
        lfile->SetPreallocationBlockSize(
            1.1 * mutable_cf_options.write_buffer_size);
S
Stanislau Hlebik 已提交
3346
        new_log = new log::Writer(std::move(lfile));
3347
        log_dir_synced_ = false;
I
Igor Canadi 已提交
3348
      }
S
Stanislau Hlebik 已提交
3349 3350 3351
    }

    if (s.ok()) {
3352
      new_mem = cfd->ConstructNewMemtable(mutable_cf_options);
S
Stanislau Hlebik 已提交
3353 3354 3355
      new_superversion = new SuperVersion();
    }
  }
3356
  Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
I
Igor Canadi 已提交
3357 3358
      "[%s] New memtable created with log file: #%" PRIu64 "\n",
      cfd->GetName().c_str(), new_log_number);
S
Stanislau Hlebik 已提交
3359 3360 3361 3362 3363 3364 3365 3366 3367 3368 3369 3370 3371 3372 3373
  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);
    context->logs_to_free_.push_back(log_.release());
    log_.reset(new_log);
    log_empty_ = true;
    alive_log_files_.push_back(LogFileNumberSize(logfile_number_));
I
Igor Canadi 已提交
3374
    for (auto loop_cfd : *versions_->GetColumnFamilySet()) {
S
Stanislau Hlebik 已提交
3375 3376 3377 3378
      // 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 已提交
3379 3380 3381
      if (loop_cfd->mem()->GetFirstSequenceNumber() == 0 &&
          loop_cfd->imm()->size() == 0) {
        loop_cfd->SetLogNumber(logfile_number_);
3382
      }
3383 3384
    }
  }
S
Stanislau Hlebik 已提交
3385 3386 3387 3388 3389
  cfd->mem()->SetNextLogNumber(logfile_number_);
  cfd->imm()->Add(cfd->mem());
  new_mem->Ref();
  cfd->SetMemtable(new_mem);
  context->superversions_to_free_.push_back(
3390
      InstallSuperVersion(cfd, new_superversion, mutable_cf_options, true));
3391 3392 3393
  return s;
}

I
Igor Canadi 已提交
3394
#ifndef ROCKSDB_LITE
I
Igor Canadi 已提交
3395 3396 3397 3398 3399
Status DBImpl::GetPropertiesOfAllTables(ColumnFamilyHandle* column_family,
                                        TablePropertiesCollection* props) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();

3400 3401
  // Increment the ref count
  mutex_.Lock();
I
Igor Canadi 已提交
3402
  auto version = cfd->current();
3403 3404 3405 3406 3407 3408 3409 3410 3411 3412 3413 3414
  version->Ref();
  mutex_.Unlock();

  auto s = version->GetPropertiesOfAllTables(props);

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

  return s;
}
I
Igor Canadi 已提交
3415
#endif  // ROCKSDB_LITE
3416

I
Igor Canadi 已提交
3417 3418 3419 3420
const std::string& DBImpl::GetName() const {
  return dbname_;
}

3421 3422 3423 3424
Env* DBImpl::GetEnv() const {
  return env_;
}

3425 3426
const Options& DBImpl::GetOptions(ColumnFamilyHandle* column_family) const {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
I
Igor Canadi 已提交
3427
  return *cfh->cfd()->options();
I
Igor Canadi 已提交
3428 3429
}

3430
bool DBImpl::GetProperty(ColumnFamilyHandle* column_family,
3431
                         const Slice& property, std::string* value) {
3432 3433
  bool is_int_property = false;
  bool need_out_of_mutex = false;
3434 3435 3436
  DBPropertyType property_type =
      GetPropertyType(property, &is_int_property, &need_out_of_mutex);

3437
  value->clear();
3438 3439 3440 3441 3442
  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) {
3443
      *value = ToString(int_value);
3444 3445 3446 3447 3448
    }
    return ret_value;
  } else {
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
    auto cfd = cfh->cfd();
3449
    InstrumentedMutexLock l(&mutex_);
3450 3451 3452
    return cfd->internal_stats()->GetStringProperty(property_type, property,
                                                    value);
  }
J
jorlow@chromium.org 已提交
3453 3454
}

3455 3456
bool DBImpl::GetIntProperty(ColumnFamilyHandle* column_family,
                            const Slice& property, uint64_t* value) {
3457 3458
  bool is_int_property = false;
  bool need_out_of_mutex = false;
3459 3460 3461 3462 3463 3464 3465 3466 3467 3468 3469 3470
  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) {
3471 3472
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
3473 3474

  if (!need_out_of_mutex) {
3475
    InstrumentedMutexLock l(&mutex_);
3476
    return cfd->internal_stats()->GetIntProperty(property_type, value, this);
3477 3478 3479 3480 3481 3482 3483 3484 3485 3486 3487 3488 3489 3490
  } 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 已提交
3491
  return cfd->GetThreadLocalSuperVersion(&mutex_);
3492 3493 3494 3495
}

void DBImpl::ReturnAndCleanupSuperVersion(ColumnFamilyData* cfd,
                                          SuperVersion* sv) {
I
Igor Canadi 已提交
3496
  bool unref_sv = !cfd->ReturnThreadLocalSuperVersion(sv);
3497 3498 3499 3500 3501

  if (unref_sv) {
    // Release SuperVersion
    if (sv->Unref()) {
      {
3502
        InstrumentedMutexLock l(&mutex_);
3503 3504 3505 3506 3507 3508 3509
        sv->Cleanup();
      }
      delete sv;
      RecordTick(stats_, NUMBER_SUPERVERSION_CLEANUPS);
    }
    RecordTick(stats_, NUMBER_SUPERVERSION_RELEASES);
  }
3510 3511
}

3512
void DBImpl::GetApproximateSizes(ColumnFamilyHandle* column_family,
3513
                                 const Range* range, int n, uint64_t* sizes) {
J
jorlow@chromium.org 已提交
3514 3515
  // TODO(opt): better implementation
  Version* v;
3516 3517
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
J
jorlow@chromium.org 已提交
3518
  {
3519
    InstrumentedMutexLock l(&mutex_);
3520
    v = cfd->current();
3521
    v->Ref();
J
jorlow@chromium.org 已提交
3522 3523 3524 3525 3526 3527 3528 3529 3530 3531 3532 3533
  }

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

  {
3534
    InstrumentedMutexLock l(&mutex_);
J
jorlow@chromium.org 已提交
3535 3536 3537 3538
    v->Unref();
  }
}

I
Igor Canadi 已提交
3539 3540 3541 3542 3543 3544 3545 3546 3547 3548 3549 3550 3551 3552 3553 3554
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 已提交
3555 3556 3557 3558 3559
#ifndef ROCKSDB_LITE
Status DBImpl::GetUpdatesSince(
    SequenceNumber seq, unique_ptr<TransactionLogIterator>* iter,
    const TransactionLogIterator::ReadOptions& read_options) {

L
Lei Jin 已提交
3560
  RecordTick(stats_, GET_UPDATES_SINCE_CALLS);
I
Igor Canadi 已提交
3561 3562 3563
  if (seq > versions_->LastSequence()) {
    return Status::NotFound("Requested sequence not yet written in the db");
  }
I
Igor Canadi 已提交
3564
  return wal_manager_.GetUpdatesSince(seq, iter, read_options, versions_.get());
I
Igor Canadi 已提交
3565 3566
}

3567 3568 3569
Status DBImpl::DeleteFile(std::string name) {
  uint64_t number;
  FileType type;
3570 3571 3572
  WalFileType log_type;
  if (!ParseFileName(name, &number, &type, &log_type) ||
      (type != kTableFile && type != kLogFile)) {
3573 3574
    Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
        "DeleteFile %s failed.\n", name.c_str());
3575 3576 3577
    return Status::InvalidArgument("Invalid file name");
  }

3578 3579 3580 3581
  Status status;
  if (type == kLogFile) {
    // Only allow deleting archived log files
    if (log_type != kArchivedLogFile) {
3582 3583
      Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
          "DeleteFile %s failed - not archived log.\n",
3584
          name.c_str());
3585 3586
      return Status::NotSupported("Delete only supported for archived logs");
    }
3587
    status = env_->DeleteFile(db_options_.wal_dir + "/" + name.c_str());
3588
    if (!status.ok()) {
3589 3590
      Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
          "DeleteFile %s failed -- %s.\n",
3591
          name.c_str(), status.ToString().c_str());
3592 3593 3594 3595
    }
    return status;
  }

3596
  int level;
I
Igor Canadi 已提交
3597
  FileMetaData* metadata;
3598
  ColumnFamilyData* cfd;
3599
  VersionEdit edit;
3600
  JobContext job_context(next_job_id_.fetch_add(1), true);
D
Dhruba Borthakur 已提交
3601
  {
3602
    InstrumentedMutexLock l(&mutex_);
3603
    status = versions_->GetMetadataForFile(number, &level, &metadata, &cfd);
D
Dhruba Borthakur 已提交
3604
    if (!status.ok()) {
3605 3606
      Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log,
          "DeleteFile %s failed. File not found\n", name.c_str());
I
Igor Canadi 已提交
3607
      job_context.Clean();
D
Dhruba Borthakur 已提交
3608 3609
      return Status::InvalidArgument("File not found");
    }
3610
    assert(level < cfd->NumberLevels());
3611

D
Dhruba Borthakur 已提交
3612
    // If the file is being compacted no need to delete.
3613
    if (metadata->being_compacted) {
3614
      Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
3615
          "DeleteFile %s Skipped. File about to be compacted\n", name.c_str());
I
Igor Canadi 已提交
3616
      job_context.Clean();
D
Dhruba Borthakur 已提交
3617
      return Status::OK();
3618 3619
    }

D
Dhruba Borthakur 已提交
3620 3621 3622
    // 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 已提交
3623
    auto* vstoreage = cfd->current()->storage_info();
I
Igor Canadi 已提交
3624
    for (int i = level + 1; i < cfd->NumberLevels(); i++) {
S
sdong 已提交
3625
      if (vstoreage->NumLevelFiles(i) != 0) {
3626
        Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log,
3627
            "DeleteFile %s FAILED. File not in last level\n", name.c_str());
I
Igor Canadi 已提交
3628
        job_context.Clean();
D
Dhruba Borthakur 已提交
3629 3630 3631
        return Status::InvalidArgument("File not in last level");
      }
    }
3632
    // if level == 0, it has to be the oldest file
S
sdong 已提交
3633 3634
    if (level == 0 &&
        vstoreage->LevelFiles(0).back()->fd.GetNumber() != number) {
3635 3636
      Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log,
          "DeleteFile %s failed ---"
L
Lei Jin 已提交
3637
          " target file in level 0 must be the oldest.", name.c_str());
I
Igor Canadi 已提交
3638
      job_context.Clean();
3639 3640 3641
      return Status::InvalidArgument("File in level 0, but not oldest");
    }
    edit.SetColumnFamily(cfd->GetID());
D
Dhruba Borthakur 已提交
3642
    edit.DeleteFile(level, number);
3643
    status = versions_->LogAndApply(cfd, *cfd->GetLatestMutableCFOptions(),
3644
                                    &edit, &mutex_, directories_.GetDbDir());
I
Igor Canadi 已提交
3645
    if (status.ok()) {
I
Igor Canadi 已提交
3646 3647
      InstallSuperVersionBackground(cfd, &job_context,
                                    *cfd->GetLatestMutableCFOptions());
I
Igor Canadi 已提交
3648
    }
I
Igor Canadi 已提交
3649 3650
    FindObsoleteFiles(&job_context, false);
  }  // lock released here
3651
  LogFlush(db_options_.info_log);
I
Igor Canadi 已提交
3652
  // remove files outside the db-lock
I
Igor Canadi 已提交
3653 3654
  if (job_context.HaveSomethingToDelete()) {
    PurgeObsoleteFiles(job_context);
3655
  }
I
Igor Canadi 已提交
3656
  job_context.Clean();
3657 3658 3659
  return status;
}

3660
void DBImpl::GetLiveFilesMetaData(std::vector<LiveFileMetaData>* metadata) {
3661
  InstrumentedMutexLock l(&mutex_);
3662
  versions_->GetLiveFilesMetaData(metadata);
3663
}
3664 3665 3666 3667 3668 3669 3670 3671 3672 3673 3674

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 已提交
3675
#endif  // ROCKSDB_LITE
3676

I
Igor Canadi 已提交
3677 3678 3679 3680 3681 3682 3683
Status DBImpl::CheckConsistency() {
  mutex_.AssertHeld();
  std::vector<LiveFileMetaData> metadata;
  versions_->GetLiveFilesMetaData(&metadata);

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

I
Igor Canadi 已提交
3687 3688 3689 3690 3691 3692
    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) {
3693
      corruption_messages += "Sst file size mismatch: " + file_path +
I
Igor Canadi 已提交
3694
                             ". Size recorded in manifest " +
3695 3696
                             ToString(md.size) + ", actual size " +
                             ToString(fsize) + "\n";
I
Igor Canadi 已提交
3697 3698 3699 3700 3701 3702 3703 3704 3705
    }
  }
  if (corruption_messages.size() == 0) {
    return Status::OK();
  } else {
    return Status::Corruption(corruption_messages);
  }
}

3706 3707 3708 3709 3710 3711 3712 3713 3714 3715 3716 3717 3718 3719 3720
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;
3721
  s = idfile->Read(static_cast<size_t>(file_size), &id, buffer);
3722 3723 3724 3725 3726 3727 3728 3729 3730 3731 3732
  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 已提交
3733 3734
// Default implementations of convenience methods that subclasses of DB
// can call if they wish
3735
Status DB::Put(const WriteOptions& opt, ColumnFamilyHandle* column_family,
3736
               const Slice& key, const Slice& value) {
3737 3738 3739 3740
  // 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);
3741
  batch.Put(column_family, key, value);
J
jorlow@chromium.org 已提交
3742 3743 3744
  return Write(opt, &batch);
}

3745 3746
Status DB::Delete(const WriteOptions& opt, ColumnFamilyHandle* column_family,
                  const Slice& key) {
J
jorlow@chromium.org 已提交
3747
  WriteBatch batch;
3748
  batch.Delete(column_family, key);
J
jorlow@chromium.org 已提交
3749 3750 3751
  return Write(opt, &batch);
}

3752 3753
Status DB::Merge(const WriteOptions& opt, ColumnFamilyHandle* column_family,
                 const Slice& key, const Slice& value) {
3754
  WriteBatch batch;
3755
  batch.Merge(column_family, key, value);
3756 3757 3758
  return Write(opt, &batch);
}

3759
// Default implementation -- returns not supported status
L
Lei Jin 已提交
3760
Status DB::CreateColumnFamily(const ColumnFamilyOptions& cf_options,
3761
                              const std::string& column_family_name,
3762
                              ColumnFamilyHandle** handle) {
3763
  return Status::NotSupported("");
3764
}
3765
Status DB::DropColumnFamily(ColumnFamilyHandle* column_family) {
3766
  return Status::NotSupported("");
3767 3768
}

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

J
Jim Paton 已提交
3771
Status DB::Open(const Options& options, const std::string& dbname, DB** dbptr) {
3772 3773 3774 3775
  DBOptions db_options(options);
  ColumnFamilyOptions cf_options(options);
  std::vector<ColumnFamilyDescriptor> column_families;
  column_families.push_back(
3776
      ColumnFamilyDescriptor(kDefaultColumnFamilyName, cf_options));
3777
  std::vector<ColumnFamilyHandle*> handles;
3778
  Status s = DB::Open(db_options, dbname, column_families, &handles, dbptr);
3779 3780 3781 3782 3783 3784 3785
  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;
3786 3787
}

3788 3789
Status DB::Open(const DBOptions& db_options, const std::string& dbname,
                const std::vector<ColumnFamilyDescriptor>& column_families,
3790
                std::vector<ColumnFamilyHandle*>* handles, DB** dbptr) {
3791
  Status s = SanitizeOptionsByTable(db_options, column_families);
3792 3793 3794
  if (!s.ok()) {
    return s;
  }
3795

3796
  if (db_options.db_paths.size() > 1) {
3797
    for (auto& cfd : column_families) {
3798 3799
      if ((cfd.options.compaction_style != kCompactionStyleUniversal) &&
          (cfd.options.compaction_style != kCompactionStyleLevel)) {
3800 3801
        return Status::NotSupported(
            "More than one DB paths are only supported in "
3802
            "universal and level compaction styles. ");
3803 3804 3805 3806 3807
      }
    }

    if (db_options.db_paths.size() > 4) {
      return Status::NotSupported(
3808
          "More than four DB paths are not supported yet. ");
3809
    }
3810 3811
  }

3812
  *dbptr = nullptr;
3813
  handles->clear();
J
jorlow@chromium.org 已提交
3814

I
Igor Canadi 已提交
3815 3816 3817 3818
  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);
3819
  }
3820

I
Igor Canadi 已提交
3821
  DBImpl* impl = new DBImpl(db_options, dbname);
3822
  s = impl->env_->CreateDirIfMissing(impl->db_options_.wal_dir);
3823
  if (s.ok()) {
3824
    for (auto db_path : impl->db_options_.db_paths) {
3825
      s = impl->env_->CreateDirIfMissing(db_path.path);
3826 3827 3828 3829 3830 3831
      if (!s.ok()) {
        break;
      }
    }
  }

3832 3833 3834 3835 3836 3837
  if (!s.ok()) {
    delete impl;
    return s;
  }

  s = impl->CreateArchivalDirectory();
3838 3839 3840 3841
  if (!s.ok()) {
    delete impl;
    return s;
  }
J
jorlow@chromium.org 已提交
3842
  impl->mutex_.Lock();
3843 3844
  // Handles create_if_missing, error_if_exists
  s = impl->Recover(column_families);
J
jorlow@chromium.org 已提交
3845
  if (s.ok()) {
3846
    uint64_t new_log_number = impl->versions_->NewFileNumber();
3847
    unique_ptr<WritableFile> lfile;
3848
    EnvOptions soptions(db_options);
3849 3850 3851
    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 已提交
3852
    if (s.ok()) {
3853
      lfile->SetPreallocationBlockSize(1.1 * max_write_buffer_size);
3854
      impl->logfile_number_ = new_log_number;
3855
      impl->log_.reset(new log::Writer(std::move(lfile)));
I
Igor Canadi 已提交
3856

3857 3858
      // set column family handles
      for (auto cf : column_families) {
I
Igor Canadi 已提交
3859 3860
        auto cfd =
            impl->versions_->GetColumnFamilySet()->GetColumnFamily(cf.name);
I
Igor Canadi 已提交
3861 3862 3863
        if (cfd != nullptr) {
          handles->push_back(
              new ColumnFamilyHandleImpl(cfd, impl, &impl->mutex_));
3864
          impl->NewThreadStatusCfInfo(cfd);
I
Igor Canadi 已提交
3865 3866 3867 3868 3869 3870 3871 3872 3873 3874 3875 3876 3877 3878 3879 3880
        } 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 已提交
3881
        }
3882
      }
I
Igor Canadi 已提交
3883 3884
    }
    if (s.ok()) {
3885
      for (auto cfd : *impl->versions_->GetColumnFamilySet()) {
L
Lei Jin 已提交
3886 3887
        delete impl->InstallSuperVersion(
            cfd, nullptr, *cfd->GetLatestMutableCFOptions());
3888
      }
I
Igor Canadi 已提交
3889 3890
      impl->alive_log_files_.push_back(
          DBImpl::LogFileNumberSize(impl->logfile_number_));
J
jorlow@chromium.org 已提交
3891
      impl->DeleteObsoleteFiles();
3892
      s = impl->directories_.GetDbDir()->Fsync();
J
jorlow@chromium.org 已提交
3893 3894
    }
  }
3895

I
Igor Canadi 已提交
3896 3897
  if (s.ok()) {
    for (auto cfd : *impl->versions_->GetColumnFamilySet()) {
3898 3899
      if (cfd->ioptions()->compaction_style == kCompactionStyleUniversal ||
          cfd->ioptions()->compaction_style == kCompactionStyleFIFO) {
S
sdong 已提交
3900
        auto* vstorage = cfd->current()->storage_info();
3901
        for (int i = 1; i < vstorage->num_levels(); ++i) {
S
sdong 已提交
3902
          int num_files = vstorage->NumLevelFiles(i);
I
Igor Canadi 已提交
3903
          if (num_files > 0) {
I
Igor Canadi 已提交
3904 3905 3906
            s = Status::InvalidArgument(
                "Not all files are at level 0. Cannot "
                "open with universal or FIFO compaction style.");
I
Igor Canadi 已提交
3907 3908 3909 3910
            break;
          }
        }
      }
S
sdong 已提交
3911 3912 3913
      if (!cfd->mem()->IsSnapshotSupported()) {
        impl->is_snapshot_supported_ = false;
      }
3914
      if (cfd->ioptions()->merge_operator != nullptr &&
3915 3916 3917 3918 3919
          !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 已提交
3920
      if (!s.ok()) {
3921 3922 3923 3924 3925
        break;
      }
    }
  }

3926 3927
  impl->mutex_.Unlock();

J
jorlow@chromium.org 已提交
3928
  if (s.ok()) {
3929
    impl->opened_successfully_ = true;
S
sdong 已提交
3930 3931
    Log(InfoLogLevel::INFO_LEVEL, impl->db_options_.info_log, "DB pointer %p",
        impl);
J
jorlow@chromium.org 已提交
3932 3933
    *dbptr = impl;
  } else {
Y
Yueh-Hsuan Chiang 已提交
3934
    for (auto* h : *handles) {
3935 3936
      delete h;
    }
3937
    handles->clear();
J
jorlow@chromium.org 已提交
3938 3939 3940 3941 3942
    delete impl;
  }
  return s;
}

3943 3944 3945
Status DB::ListColumnFamilies(const DBOptions& db_options,
                              const std::string& name,
                              std::vector<std::string>* column_families) {
I
Igor Canadi 已提交
3946
  return VersionSet::ListColumnFamilies(column_families, name, db_options.env);
3947 3948
}

3949 3950 3951
Snapshot::~Snapshot() {
}

J
jorlow@chromium.org 已提交
3952
Status DestroyDB(const std::string& dbname, const Options& options) {
3953
  const InternalKeyComparator comparator(options.comparator);
3954
  const Options& soptions(SanitizeOptions(dbname, &comparator, options));
3955
  Env* env = soptions.env;
J
jorlow@chromium.org 已提交
3956
  std::vector<std::string> filenames;
3957

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

J
jorlow@chromium.org 已提交
3961
  FileLock* lock;
3962 3963
  const std::string lockname = LockFileName(dbname);
  Status result = env->LockFile(lockname, &lock);
J
jorlow@chromium.org 已提交
3964 3965 3966
  if (result.ok()) {
    uint64_t number;
    FileType type;
3967
    InfoLogPrefix info_log_prefix(!options.db_log_dir.empty(), dbname);
D
dgrogan@chromium.org 已提交
3968
    for (size_t i = 0; i < filenames.size(); i++) {
3969
      if (ParseFileName(filenames[i], &number, info_log_prefix.prefix, &type) &&
3970
          type != kDBLockFile) {  // Lock file will be deleted at end
K
Kosie van der Merwe 已提交
3971 3972 3973 3974 3975 3976
        Status del;
        if (type == kMetaDatabase) {
          del = DestroyDB(dbname + "/" + filenames[i], options);
        } else {
          del = env->DeleteFile(dbname + "/" + filenames[i]);
        }
J
jorlow@chromium.org 已提交
3977 3978 3979 3980 3981
        if (result.ok() && !del.ok()) {
          result = del;
        }
      }
    }
3982

3983 3984
    for (auto& db_path : options.db_paths) {
      env->GetChildren(db_path.path, &filenames);
3985 3986 3987
      for (size_t i = 0; i < filenames.size(); i++) {
        if (ParseFileName(filenames[i], &number, &type) &&
            type == kTableFile) {  // Lock file will be deleted at end
3988
          Status del = env->DeleteFile(db_path.path + "/" + filenames[i]);
3989 3990 3991 3992 3993 3994 3995
          if (result.ok() && !del.ok()) {
            result = del;
          }
        }
      }
    }

I
Igor Canadi 已提交
3996 3997 3998 3999 4000 4001 4002 4003 4004 4005 4006 4007 4008 4009 4010 4011 4012 4013
    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;
4014
    env->GetChildren(archivedir, &archiveFiles);
4015 4016
    // Delete archival files.
    for (size_t i = 0; i < archiveFiles.size(); ++i) {
4017 4018
      if (ParseFileName(archiveFiles[i], &number, &type) &&
          type == kLogFile) {
4019
        Status del = env->DeleteFile(archivedir + "/" + archiveFiles[i]);
4020 4021 4022 4023 4024
        if (result.ok() && !del.ok()) {
          result = del;
        }
      }
    }
4025
    // ignore case where no archival directory is present.
4026
    env->DeleteDir(archivedir);
4027

J
jorlow@chromium.org 已提交
4028
    env->UnlockFile(lock);  // Ignore error since state is already gone
4029
    env->DeleteFile(lockname);
J
jorlow@chromium.org 已提交
4030
    env->DeleteDir(dbname);  // Ignore error in case dir contains other files
4031
    env->DeleteDir(soptions.wal_dir);
J
jorlow@chromium.org 已提交
4032 4033 4034 4035
  }
  return result;
}

Y
Yueh-Hsuan Chiang 已提交
4036
#if ROCKSDB_USING_THREAD_STATUS
4037

Y
Yueh-Hsuan Chiang 已提交
4038 4039
void DBImpl::NewThreadStatusCfInfo(
    ColumnFamilyData* cfd) const {
4040
  if (db_options_.enable_thread_tracking) {
4041
    ThreadStatusUtil::NewColumnFamilyInfo(this, cfd);
4042
  }
Y
Yueh-Hsuan Chiang 已提交
4043 4044 4045 4046
}

void DBImpl::EraseThreadStatusCfInfo(
    ColumnFamilyData* cfd) const {
4047
  if (db_options_.enable_thread_tracking) {
4048
    ThreadStatusUtil::EraseColumnFamilyInfo(cfd);
4049
  }
Y
Yueh-Hsuan Chiang 已提交
4050 4051 4052
}

void DBImpl::EraseThreadStatusDbInfo() const {
4053
  if (db_options_.enable_thread_tracking) {
4054
    ThreadStatusUtil::EraseDatabaseInfo(this);
4055
  }
Y
Yueh-Hsuan Chiang 已提交
4056 4057 4058 4059 4060 4061 4062 4063 4064 4065 4066 4067 4068 4069 4070
}

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

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

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

4071 4072
//
// A global method that can dump out the build version
I
Igor Canadi 已提交
4073
void DumpRocksDBBuildVersion(Logger * log) {
I
Igor Canadi 已提交
4074
#if !defined(IOS_CROSS_COMPILE)
I
Igor Canadi 已提交
4075 4076
  // if we compile with Xcode, we don't run build_detect_vesion, so we don't
  // generate util/build_version.cc
4077 4078
  Log(InfoLogLevel::INFO_LEVEL, log,
      "RocksDB version: %d.%d.%d\n", ROCKSDB_MAJOR, ROCKSDB_MINOR,
I
Igor Canadi 已提交
4079
      ROCKSDB_PATCH);
4080
  Log(InfoLogLevel::INFO_LEVEL, log, "Git sha %s", rocksdb_build_git_sha);
4081 4082
  Log(InfoLogLevel::INFO_LEVEL, log, "Compile date %s",
      rocksdb_build_compile_date);
I
Igor Canadi 已提交
4083
#endif
4084 4085
}

4086
}  // namespace rocksdb