db_impl.cc 139.6 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 244
      NewLRUCache(table_cache_size, db_options_.table_cache_numshardbits,
                  db_options_.table_cache_remove_scan_count_limit);
245

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

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

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

259 260 261 262 263 264 265 266 267 268 269 270
void DBImpl::CancelAllBackgroundWork(bool wait) {
  shutting_down_.store(true, std::memory_order_release);
  if (!wait) {
    return;
  }

  // Wait for background work to finish
  while (bg_compaction_scheduled_ || bg_flush_scheduled_ || notifying_events_) {
    bg_cv_.Wait();
  }
}

J
jorlow@chromium.org 已提交
271
DBImpl::~DBImpl() {
Y
Yueh-Hsuan Chiang 已提交
272
  EraseThreadStatusDbInfo();
273
  mutex_.Lock();
274

275 276
  if (flush_on_destroy_) {
    for (auto cfd : *versions_->GetColumnFamilySet()) {
277
      if (!cfd->mem()->IsEmpty()) {
278 279 280 281
        cfd->Ref();
        mutex_.Unlock();
        FlushMemTable(cfd, FlushOptions());
        mutex_.Lock();
282
        cfd->Unref();
283 284
      }
    }
285
    versions_->GetColumnFamilySet()->FreeDeadColumnFamilies();
286
  }
287
  CancelAllBackgroundWork(true);
288
  listeners_.clear();
I
Igor Canadi 已提交
289 290
  flush_scheduler_.Clear();

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

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

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

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

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

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

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

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

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

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

  const uint64_t now_micros = env_->NowMicros();

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

417 418 419 420 421 422
    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 已提交
423
    std::string stats;
424
    {
425
      InstrumentedMutexLock l(&mutex_);
426
      for (auto cfd : *versions_->GetColumnFamilySet()) {
427 428
        cfd->internal_stats()->GetStringProperty(cf_property_type,
                                                 "rocksdb.cfstats", &stats);
429
      }
430 431
      default_cf_internal_stats_->GetStringProperty(db_property_type,
                                                    "rocksdb.dbstats", &stats);
432
    }
433 434 435 436
    Log(InfoLogLevel::INFO_LEVEL,
        db_options_.info_log, "------- DUMPING STATS -------");
    Log(InfoLogLevel::INFO_LEVEL,
        db_options_.info_log, "%s", stats.c_str());
437

438
    PrintStatistics();
439 440 441
  }
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    if (keep) {
      continue;
    }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

J
jorlow@chromium.org 已提交
891 892 893
  return s;
}

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

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

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

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

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

1010 1011 1012 1013
    if (!status.ok()) {
      return status;
    }

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

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

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

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

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

J
jorlow@chromium.org 已提交
1070 1071 1072
  return status;
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

L
Lei Jin 已提交
1279
  return s;
1280 1281
}

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

  auto cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family)->cfd();
  assert(cfd);
1297 1298 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

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

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

I
Igor Canadi 已提交
1342
#ifndef ROCKSDB_LITE
1343 1344 1345
Status DBImpl::CompactFilesImpl(
    const CompactionOptions& compact_options, ColumnFamilyData* cfd,
    Version* version, const std::vector<std::string>& input_file_names,
1346 1347
    const int output_level, int output_path_id, JobContext* job_context,
    LogBuffer* log_buffer) {
1348 1349 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
  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 = [&]() {
1411 1412 1413
    return CallFlushDuringCompaction(
        c->column_family_data(), *c->mutable_cf_options(),
        job_context, log_buffer);
1414
  };
1415
  CompactionJob compaction_job(
1416 1417
      job_context->job_id, c.get(), db_options_, *c->mutable_cf_options(),
      env_options_, versions_.get(), &shutting_down_, log_buffer,
1418 1419 1420
      directories_.GetDbDir(), directories_.GetDataDir(c->GetOutputPathId()),
      stats_, &snapshots_, is_snapshot_supported_, table_cache_,
      std::move(yield_callback));
1421 1422 1423 1424 1425
  compaction_job.Prepare();

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

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

  bg_compaction_scheduled_--;

  return status;
}
I
Igor Canadi 已提交
1452
#endif  // ROCKSDB_LITE
1453

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

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

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

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

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

    minimum_level = i;
  }
  return minimum_level;
}

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

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

  mutex_.Lock();
1545 1546 1547

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

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

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

  assert(to_level <= level);

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

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

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

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

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

  refitting_level_ = false;
  bg_work_gate_closed_ = false;
I
Igor Canadi 已提交
1612 1613 1614 1615

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

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

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

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

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

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

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

G
Gabor Cselle 已提交
1653 1654
  InternalKey begin_storage, end_storage;

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

1681
  InstrumentedMutexLock l(&mutex_);
1682

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

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

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

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

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

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

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

S
Stanislau Hlebik 已提交
1752 1753
    cfd->imm()->FlushRequested();

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

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

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

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

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

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

  while (bg_compaction_scheduled_ < db_options_.max_background_compactions &&
         unscheduled_compactions_ > 0) {
    bg_compaction_scheduled_++;
    unscheduled_compactions_--;
    env_->Schedule(&DBImpl::BGWorkCompaction, this, Env::Priority::LOW);
  }
}

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_;
1865 1866 1867
  }
}

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

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

void DBImpl::BGWorkCompaction(void* db) {
1879
  IOSTATS_SET_THREAD_POOL_ID(Env::Priority::LOW);
1880 1881 1882
  reinterpret_cast<DBImpl*>(db)->BackgroundCallCompaction();
}

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

1887 1888 1889 1890 1891 1892 1893
  Status status = bg_error_;
  if (status.ok() && shutting_down_.load(std::memory_order_acquire)) {
    status = Status::ShutdownInProgress();
  }

  if (!status.ok()) {
    return status;
1894 1895
  }

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

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

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

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

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

I
Igor Canadi 已提交
1942 1943 1944
    auto pending_outputs_inserted_elem =
        CaptureCurrentFileNumberInPendingOutputs();

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

I
Igor Canadi 已提交
1966 1967
    ReleaseFileNumberFromPendingOutputs(pending_outputs_inserted_elem);

H
Haobo Xu 已提交
1968 1969
    // If !s.ok(), this means that Flush failed. In that case, we want
    // to delete all obsolete files and we force FindObsoleteFiles()
I
Igor Canadi 已提交
1970
    FindObsoleteFiles(&job_context, !s.ok());
H
Haobo Xu 已提交
1971
    // delete unnecessary files if any, this is done outside the mutex
I
Igor Canadi 已提交
1972
    if (job_context.HaveSomethingToDelete() || !log_buffer.IsEmpty()) {
1973
      mutex_.Unlock();
1974 1975 1976 1977 1978
      // 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 已提交
1979
      log_buffer.FlushBufferToLog();
I
Igor Canadi 已提交
1980 1981
      if (job_context.HaveSomethingToDelete()) {
        PurgeObsoleteFiles(job_context);
1982
      }
I
Igor Canadi 已提交
1983
      job_context.Clean();
1984 1985
      mutex_.Lock();
    }
I
Igor Canadi 已提交
1986

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

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

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

    auto pending_outputs_inserted_elem =
        CaptureCurrentFileNumberInPendingOutputs();

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

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

2035 2036
    // 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
I
Igor Canadi 已提交
2037 2038 2039
    // FindObsoleteFiles(). This is because job_context does not
    // catch all created files if compaction failed.
    FindObsoleteFiles(&job_context, !s.ok());
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 2125 2126 2127 2128 2129 2130 2131 2132
  // 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);
      if (!flush_status.ok()) {
        if (is_manual) {
          manual_compaction_->status = flush_status;
          manual_compaction_->done = true;
          manual_compaction_->in_progress = false;
          manual_compaction_ = nullptr;
        }
        return flush_status;
2133 2134 2135 2136 2137
      }
    }
  }

  unique_ptr<Compaction> c;
2138 2139
  InternalKey manual_end_storage;
  InternalKey* manual_end = &manual_end_storage;
H
hans@chromium.org 已提交
2140
  if (is_manual) {
G
Gabor Cselle 已提交
2141
    ManualCompaction* m = manual_compaction_;
2142
    assert(m->in_progress);
2143 2144 2145
    c.reset(m->cfd->CompactRange(
          *m->cfd->GetLatestMutableCFOptions(), m->input_level, m->output_level,
          m->output_path_id, m->begin, m->end, &manual_end));
2146
    if (!c) {
2147
      m->done = true;
G
Gabor Cselle 已提交
2148
    }
I
Igor Canadi 已提交
2149 2150 2151 2152 2153 2154 2155 2156 2157
    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()));
2158 2159 2160 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
  } 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 已提交
2205
        }
I
Igor Canadi 已提交
2206 2207
      }
    }
J
jorlow@chromium.org 已提交
2208 2209
  }

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

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

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

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

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

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

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

  DBImpl* db;
2376
  InstrumentedMutex* mu;
2377
  SuperVersion* super_version;
2378 2379 2380 2381
};

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

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

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

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

2400 2401
  delete state;
}
H
Hans Wennborg 已提交
2402
}  // namespace
2403

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

  return internal_iter;
}

2427 2428 2429 2430
ColumnFamilyHandle* DBImpl::DefaultColumnFamily() const {
  return default_cf_handle_;
}

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

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

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

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

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

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

2500 2501 2502
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();

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

2511
  // Acquire SuperVersion
2512
  SuperVersion* sv = GetAndRefSuperVersion(cfd);
I
Igor Canadi 已提交
2513

2514
  // Prepare to store a list of merge operations if merge occurs.
2515
  MergeContext merge_context;
2516

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

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

2537 2538
  {
    PERF_TIMER_GUARD(get_post_process_time);
2539

2540
    ReturnAndCleanupSuperVersion(cfd, sv);
2541

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

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

L
Lei Jin 已提交
2553
  StopWatch sw(env_, stats_, DB_MULTIGET);
2554
  PERF_TIMER_GUARD(get_snapshot_time);
K
Kai Liu 已提交
2555

2556
  SequenceNumber snapshot;
2557

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

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

2587 2588
  // Contain a list of merge operations if merge occurs.
  MergeContext merge_context;
2589

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

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

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

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

    if (s.ok()) {
2625
      bytes_read += value->size();
2626 2627 2628 2629
    }
  }

  // Post processing (decrement reference counts and record statistics)
2630
  PERF_TIMER_GUARD(get_post_process_time);
2631 2632
  autovector<SuperVersion*> superversions_to_delete;

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

  for (auto td : superversions_to_delete) {
    delete td;
  }
  for (auto mgd : multiget_cf_data) {
    delete mgd.second;
2649
  }
2650

L
Lei Jin 已提交
2651 2652 2653
  RecordTick(stats_, NUMBER_MULTIGET_CALLS);
  RecordTick(stats_, NUMBER_MULTIGET_KEYS_READ, num_keys);
  RecordTick(stats_, NUMBER_MULTIGET_BYTES_READ, bytes_read);
L
Lei Jin 已提交
2654
  PERF_TIMER_STOP(get_post_process_time);
2655

2656
  return stat_list;
2657 2658
}

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

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

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

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

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

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

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

I
Igor Canadi 已提交
2732 2733
  VersionEdit edit;
  edit.DropColumnFamily();
2734 2735
  edit.SetColumnFamily(cfd->GetID());

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

    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()) {
        if (!c->mem()->IsSnapshotSupported()) {
          new_is_snapshot_supported = false;
          break;
        }
      }
      is_snapshot_supported_ = new_is_snapshot_supported;
    }
2764
  }
2765

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

2784
  return s;
2785 2786
}

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

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

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

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

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

2848 2849 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
    // 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(
2891
        env_, *cfd->ioptions(), cfd->user_comparator(),
2892
        snapshot, sv->mutable_cf_options.max_sequential_skip_in_iterations,
2893
        read_options.iterate_upper_bound);
2894

2895
    Iterator* internal_iter =
2896
        NewInternalIterator(read_options, cfd, sv, db_iter->GetArena());
2897 2898 2899 2900
    db_iter->SetIterUnderDBIter(internal_iter);

    return db_iter;
  }
2901 2902
  // To stop compiler from complaining
  return nullptr;
J
jorlow@chromium.org 已提交
2903 2904
}

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

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

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

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

  return Status::OK();
2970 2971
}

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

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

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

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

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

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

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

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

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

  WriteContext context;
  mutex_.Lock();
I
Igor Canadi 已提交
3036 3037 3038 3039 3040

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

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

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

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

  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 已提交
3122
    status = DelayWrite(expiration_time);
I
Igor Canadi 已提交
3123 3124 3125 3126 3127
  }

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

D
dgrogan@chromium.org 已提交
3130
  uint64_t last_sequence = versions_->LastSequence();
I
Igor Canadi 已提交
3131
  WriteThread::Writer* last_writer = &w;
S
Stanislau Hlebik 已提交
3132
  if (status.ok()) {
3133
    autovector<WriteBatch*> write_batch_group;
I
Igor Canadi 已提交
3134
    write_thread_.BuildBatchGroup(&last_writer, &write_batch_group);
3135

3136 3137 3138
    // 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
3139
    // into memtables
3140
    {
3141
      mutex_.Unlock();
3142 3143 3144 3145 3146 3147 3148 3149 3150 3151
      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]);
        }
      }

3152 3153 3154 3155
      const SequenceNumber current_sequence = last_sequence + 1;
      WriteBatchInternal::SetSequence(updates, current_sequence);
      int my_batch_count = WriteBatchInternal::Count(updates);
      last_sequence += my_batch_count;
3156
      const uint64_t batch_size = WriteBatchInternal::ByteSize(updates);
3157
      // Record statistics
L
Lei Jin 已提交
3158
      RecordTick(stats_, NUMBER_KEYS_WRITTEN, my_batch_count);
S
sdong 已提交
3159
      RecordTick(stats_, BYTES_WRITTEN, batch_size);
L
Lei Jin 已提交
3160
      if (write_options.disableWAL) {
3161
        flush_on_destroy_ = true;
3162
      }
L
Lei Jin 已提交
3163
      PERF_TIMER_STOP(write_pre_and_post_process_time);
3164

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

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

I
Igor Canadi 已提交
3234
  write_thread_.ExitWriteThread(&w, last_writer, status);
3235 3236 3237 3238

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

3241
  if (status.IsTimedOut()) {
L
Lei Jin 已提交
3242
    RecordTick(stats_, WRITE_TIMEDOUT);
3243 3244
  }

J
jorlow@chromium.org 已提交
3245 3246 3247
  return status;
}

3248 3249
// REQUIRES: mutex_ is held
// REQUIRES: this thread is currently at the front of the writer queue
I
Igor Canadi 已提交
3250
Status DBImpl::DelayWrite(uint64_t expiration_time) {
S
sdong 已提交
3251 3252
  uint64_t time_delayed = 0;
  bool delayed = false;
3253
  bool timed_out = false;
S
sdong 已提交
3254 3255 3256 3257 3258 3259 3260 3261 3262 3263 3264
  {
    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();
    }
3265

S
sdong 已提交
3266 3267 3268 3269 3270
    while (bg_error_.ok() && write_controller_.IsStopped()) {
      delayed = true;
      if (has_timeout) {
        bg_cv_.TimedWait(expiration_time);
        if (env_->NowMicros() > expiration_time) {
3271 3272
          timed_out = true;
          break;
S
sdong 已提交
3273 3274 3275
        }
      } else {
        bg_cv_.Wait();
3276 3277 3278
      }
    }
  }
S
sdong 已提交
3279 3280 3281 3282 3283
  if (delayed) {
    default_cf_internal_stats_->AddDBStats(InternalStats::WRITE_STALL_MICROS,
                                           time_delayed);
    RecordTick(stats_, STALL_MICROS, time_delayed);
  }
I
Igor Canadi 已提交
3284

3285 3286 3287 3288
  if (timed_out) {
    return Status::TimedOut();
  }

I
Igor Canadi 已提交
3289
  return bg_error_;
3290 3291
}

I
Igor Canadi 已提交
3292 3293 3294 3295
Status DBImpl::ScheduleFlushes(WriteContext* context) {
  ColumnFamilyData* cfd;
  while ((cfd = flush_scheduler_.GetNextColumnFamily()) != nullptr) {
    auto status = SetNewMemtableAndNewLogFile(cfd, context);
3296 3297
    SchedulePendingFlush(cfd);
    context->schedule_bg_work_ = true;
I
Igor Canadi 已提交
3298 3299 3300 3301 3302
    if (cfd->Unref()) {
      delete cfd;
    }
    if (!status.ok()) {
      return status;
S
Stanislau Hlebik 已提交
3303 3304
    }
  }
I
Igor Canadi 已提交
3305
  return Status::OK();
S
Stanislau Hlebik 已提交
3306 3307 3308 3309 3310 3311 3312 3313 3314 3315 3316 3317 3318
}

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

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

I
Igor Canadi 已提交
3385
#ifndef ROCKSDB_LITE
I
Igor Canadi 已提交
3386 3387 3388 3389 3390
Status DBImpl::GetPropertiesOfAllTables(ColumnFamilyHandle* column_family,
                                        TablePropertiesCollection* props) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();

3391 3392
  // Increment the ref count
  mutex_.Lock();
I
Igor Canadi 已提交
3393
  auto version = cfd->current();
3394 3395 3396 3397 3398 3399 3400 3401 3402 3403 3404 3405
  version->Ref();
  mutex_.Unlock();

  auto s = version->GetPropertiesOfAllTables(props);

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

  return s;
}
I
Igor Canadi 已提交
3406
#endif  // ROCKSDB_LITE
3407

I
Igor Canadi 已提交
3408 3409 3410 3411
const std::string& DBImpl::GetName() const {
  return dbname_;
}

3412 3413 3414 3415
Env* DBImpl::GetEnv() const {
  return env_;
}

3416 3417
const Options& DBImpl::GetOptions(ColumnFamilyHandle* column_family) const {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
I
Igor Canadi 已提交
3418
  return *cfh->cfd()->options();
I
Igor Canadi 已提交
3419 3420
}

3421
bool DBImpl::GetProperty(ColumnFamilyHandle* column_family,
3422
                         const Slice& property, std::string* value) {
3423 3424
  bool is_int_property = false;
  bool need_out_of_mutex = false;
3425 3426 3427
  DBPropertyType property_type =
      GetPropertyType(property, &is_int_property, &need_out_of_mutex);

3428
  value->clear();
3429 3430 3431 3432 3433
  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) {
3434
      *value = ToString(int_value);
3435 3436 3437 3438 3439
    }
    return ret_value;
  } else {
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
    auto cfd = cfh->cfd();
3440
    InstrumentedMutexLock l(&mutex_);
3441 3442 3443
    return cfd->internal_stats()->GetStringProperty(property_type, property,
                                                    value);
  }
J
jorlow@chromium.org 已提交
3444 3445
}

3446 3447
bool DBImpl::GetIntProperty(ColumnFamilyHandle* column_family,
                            const Slice& property, uint64_t* value) {
3448 3449
  bool is_int_property = false;
  bool need_out_of_mutex = false;
3450 3451 3452 3453 3454 3455 3456 3457 3458 3459 3460 3461
  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) {
3462 3463
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
3464 3465

  if (!need_out_of_mutex) {
3466
    InstrumentedMutexLock l(&mutex_);
3467
    return cfd->internal_stats()->GetIntProperty(property_type, value, this);
3468 3469 3470 3471 3472 3473 3474 3475 3476 3477 3478 3479 3480 3481
  } 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 已提交
3482
  return cfd->GetThreadLocalSuperVersion(&mutex_);
3483 3484 3485 3486
}

void DBImpl::ReturnAndCleanupSuperVersion(ColumnFamilyData* cfd,
                                          SuperVersion* sv) {
I
Igor Canadi 已提交
3487
  bool unref_sv = !cfd->ReturnThreadLocalSuperVersion(sv);
3488 3489 3490 3491 3492

  if (unref_sv) {
    // Release SuperVersion
    if (sv->Unref()) {
      {
3493
        InstrumentedMutexLock l(&mutex_);
3494 3495 3496 3497 3498 3499 3500
        sv->Cleanup();
      }
      delete sv;
      RecordTick(stats_, NUMBER_SUPERVERSION_CLEANUPS);
    }
    RecordTick(stats_, NUMBER_SUPERVERSION_RELEASES);
  }
3501 3502
}

3503
void DBImpl::GetApproximateSizes(ColumnFamilyHandle* column_family,
3504
                                 const Range* range, int n, uint64_t* sizes) {
J
jorlow@chromium.org 已提交
3505 3506
  // TODO(opt): better implementation
  Version* v;
3507 3508
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
J
jorlow@chromium.org 已提交
3509
  {
3510
    InstrumentedMutexLock l(&mutex_);
3511
    v = cfd->current();
3512
    v->Ref();
J
jorlow@chromium.org 已提交
3513 3514 3515 3516 3517 3518 3519 3520 3521 3522 3523 3524
  }

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

  {
3525
    InstrumentedMutexLock l(&mutex_);
J
jorlow@chromium.org 已提交
3526 3527 3528 3529
    v->Unref();
  }
}

I
Igor Canadi 已提交
3530 3531 3532 3533 3534 3535 3536 3537 3538 3539 3540 3541 3542 3543 3544 3545
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 已提交
3546 3547 3548 3549 3550
#ifndef ROCKSDB_LITE
Status DBImpl::GetUpdatesSince(
    SequenceNumber seq, unique_ptr<TransactionLogIterator>* iter,
    const TransactionLogIterator::ReadOptions& read_options) {

L
Lei Jin 已提交
3551
  RecordTick(stats_, GET_UPDATES_SINCE_CALLS);
I
Igor Canadi 已提交
3552 3553 3554
  if (seq > versions_->LastSequence()) {
    return Status::NotFound("Requested sequence not yet written in the db");
  }
I
Igor Canadi 已提交
3555
  return wal_manager_.GetUpdatesSince(seq, iter, read_options, versions_.get());
I
Igor Canadi 已提交
3556 3557
}

3558 3559 3560
Status DBImpl::DeleteFile(std::string name) {
  uint64_t number;
  FileType type;
3561 3562 3563
  WalFileType log_type;
  if (!ParseFileName(name, &number, &type, &log_type) ||
      (type != kTableFile && type != kLogFile)) {
3564 3565
    Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
        "DeleteFile %s failed.\n", name.c_str());
3566 3567 3568
    return Status::InvalidArgument("Invalid file name");
  }

3569 3570 3571 3572
  Status status;
  if (type == kLogFile) {
    // Only allow deleting archived log files
    if (log_type != kArchivedLogFile) {
3573 3574
      Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
          "DeleteFile %s failed - not archived log.\n",
3575
          name.c_str());
3576 3577
      return Status::NotSupported("Delete only supported for archived logs");
    }
3578
    status = env_->DeleteFile(db_options_.wal_dir + "/" + name.c_str());
3579
    if (!status.ok()) {
3580 3581
      Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
          "DeleteFile %s failed -- %s.\n",
3582
          name.c_str(), status.ToString().c_str());
3583 3584 3585 3586
    }
    return status;
  }

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

D
Dhruba Borthakur 已提交
3603
    // If the file is being compacted no need to delete.
3604
    if (metadata->being_compacted) {
3605
      Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
3606
          "DeleteFile %s Skipped. File about to be compacted\n", name.c_str());
I
Igor Canadi 已提交
3607
      job_context.Clean();
D
Dhruba Borthakur 已提交
3608
      return Status::OK();
3609 3610
    }

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

3651
void DBImpl::GetLiveFilesMetaData(std::vector<LiveFileMetaData>* metadata) {
3652
  InstrumentedMutexLock l(&mutex_);
3653
  versions_->GetLiveFilesMetaData(metadata);
3654
}
3655 3656 3657 3658 3659 3660 3661 3662 3663 3664 3665

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 已提交
3666
#endif  // ROCKSDB_LITE
3667

I
Igor Canadi 已提交
3668 3669 3670 3671 3672 3673 3674
Status DBImpl::CheckConsistency() {
  mutex_.AssertHeld();
  std::vector<LiveFileMetaData> metadata;
  versions_->GetLiveFilesMetaData(&metadata);

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

I
Igor Canadi 已提交
3678 3679 3680 3681 3682 3683
    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) {
3684
      corruption_messages += "Sst file size mismatch: " + file_path +
I
Igor Canadi 已提交
3685
                             ". Size recorded in manifest " +
3686 3687
                             ToString(md.size) + ", actual size " +
                             ToString(fsize) + "\n";
I
Igor Canadi 已提交
3688 3689 3690 3691 3692 3693 3694 3695 3696
    }
  }
  if (corruption_messages.size() == 0) {
    return Status::OK();
  } else {
    return Status::Corruption(corruption_messages);
  }
}

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

3736 3737
Status DB::Delete(const WriteOptions& opt, ColumnFamilyHandle* column_family,
                  const Slice& key) {
J
jorlow@chromium.org 已提交
3738
  WriteBatch batch;
3739
  batch.Delete(column_family, key);
J
jorlow@chromium.org 已提交
3740 3741 3742
  return Write(opt, &batch);
}

3743 3744
Status DB::Merge(const WriteOptions& opt, ColumnFamilyHandle* column_family,
                 const Slice& key, const Slice& value) {
3745
  WriteBatch batch;
3746
  batch.Merge(column_family, key, value);
3747 3748 3749
  return Write(opt, &batch);
}

3750
// Default implementation -- returns not supported status
L
Lei Jin 已提交
3751
Status DB::CreateColumnFamily(const ColumnFamilyOptions& cf_options,
3752
                              const std::string& column_family_name,
3753
                              ColumnFamilyHandle** handle) {
3754
  return Status::NotSupported("");
3755
}
3756
Status DB::DropColumnFamily(ColumnFamilyHandle* column_family) {
3757
  return Status::NotSupported("");
3758 3759
}

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

J
Jim Paton 已提交
3762
Status DB::Open(const Options& options, const std::string& dbname, DB** dbptr) {
3763 3764 3765 3766
  DBOptions db_options(options);
  ColumnFamilyOptions cf_options(options);
  std::vector<ColumnFamilyDescriptor> column_families;
  column_families.push_back(
3767
      ColumnFamilyDescriptor(kDefaultColumnFamilyName, cf_options));
3768
  std::vector<ColumnFamilyHandle*> handles;
3769
  Status s = DB::Open(db_options, dbname, column_families, &handles, dbptr);
3770 3771 3772 3773 3774 3775 3776
  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;
3777 3778
}

3779 3780
Status DB::Open(const DBOptions& db_options, const std::string& dbname,
                const std::vector<ColumnFamilyDescriptor>& column_families,
3781
                std::vector<ColumnFamilyHandle*>* handles, DB** dbptr) {
3782
  Status s = SanitizeOptionsByTable(db_options, column_families);
3783 3784 3785
  if (!s.ok()) {
    return s;
  }
3786

3787
  if (db_options.db_paths.size() > 1) {
3788
    for (auto& cfd : column_families) {
3789 3790
      if ((cfd.options.compaction_style != kCompactionStyleUniversal) &&
          (cfd.options.compaction_style != kCompactionStyleLevel)) {
3791 3792
        return Status::NotSupported(
            "More than one DB paths are only supported in "
3793
            "universal and level compaction styles. ");
3794 3795 3796 3797 3798
      }
    }

    if (db_options.db_paths.size() > 4) {
      return Status::NotSupported(
3799
          "More than four DB paths are not supported yet. ");
3800
    }
3801 3802
  }

3803
  *dbptr = nullptr;
3804
  handles->clear();
J
jorlow@chromium.org 已提交
3805

I
Igor Canadi 已提交
3806 3807 3808 3809
  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);
3810
  }
3811

I
Igor Canadi 已提交
3812
  DBImpl* impl = new DBImpl(db_options, dbname);
3813
  s = impl->env_->CreateDirIfMissing(impl->db_options_.wal_dir);
3814
  if (s.ok()) {
3815
    for (auto db_path : impl->db_options_.db_paths) {
3816
      s = impl->env_->CreateDirIfMissing(db_path.path);
3817 3818 3819 3820 3821 3822
      if (!s.ok()) {
        break;
      }
    }
  }

3823 3824 3825 3826 3827 3828
  if (!s.ok()) {
    delete impl;
    return s;
  }

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

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

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

3917 3918
  impl->mutex_.Unlock();

J
jorlow@chromium.org 已提交
3919
  if (s.ok()) {
3920
    impl->opened_successfully_ = true;
S
sdong 已提交
3921 3922
    Log(InfoLogLevel::INFO_LEVEL, impl->db_options_.info_log, "DB pointer %p",
        impl);
J
jorlow@chromium.org 已提交
3923 3924
    *dbptr = impl;
  } else {
Y
Yueh-Hsuan Chiang 已提交
3925
    for (auto* h : *handles) {
3926 3927
      delete h;
    }
3928
    handles->clear();
J
jorlow@chromium.org 已提交
3929 3930 3931 3932 3933
    delete impl;
  }
  return s;
}

3934 3935 3936
Status DB::ListColumnFamilies(const DBOptions& db_options,
                              const std::string& name,
                              std::vector<std::string>* column_families) {
I
Igor Canadi 已提交
3937
  return VersionSet::ListColumnFamilies(column_families, name, db_options.env);
3938 3939
}

3940 3941 3942
Snapshot::~Snapshot() {
}

J
jorlow@chromium.org 已提交
3943
Status DestroyDB(const std::string& dbname, const Options& options) {
3944
  const InternalKeyComparator comparator(options.comparator);
3945
  const Options& soptions(SanitizeOptions(dbname, &comparator, options));
3946
  Env* env = soptions.env;
J
jorlow@chromium.org 已提交
3947
  std::vector<std::string> filenames;
3948

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

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

3974 3975
    for (auto& db_path : options.db_paths) {
      env->GetChildren(db_path.path, &filenames);
3976 3977 3978
      for (size_t i = 0; i < filenames.size(); i++) {
        if (ParseFileName(filenames[i], &number, &type) &&
            type == kTableFile) {  // Lock file will be deleted at end
3979
          Status del = env->DeleteFile(db_path.path + "/" + filenames[i]);
3980 3981 3982 3983 3984 3985 3986
          if (result.ok() && !del.ok()) {
            result = del;
          }
        }
      }
    }

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

J
jorlow@chromium.org 已提交
4019
    env->UnlockFile(lock);  // Ignore error since state is already gone
4020
    env->DeleteFile(lockname);
J
jorlow@chromium.org 已提交
4021
    env->DeleteDir(dbname);  // Ignore error in case dir contains other files
4022
    env->DeleteDir(soptions.wal_dir);
J
jorlow@chromium.org 已提交
4023 4024 4025 4026
  }
  return result;
}

Y
Yueh-Hsuan Chiang 已提交
4027
#if ROCKSDB_USING_THREAD_STATUS
4028

Y
Yueh-Hsuan Chiang 已提交
4029 4030
void DBImpl::NewThreadStatusCfInfo(
    ColumnFamilyData* cfd) const {
4031
  if (db_options_.enable_thread_tracking) {
4032
    ThreadStatusUtil::NewColumnFamilyInfo(this, cfd);
4033
  }
Y
Yueh-Hsuan Chiang 已提交
4034 4035 4036 4037
}

void DBImpl::EraseThreadStatusCfInfo(
    ColumnFamilyData* cfd) const {
4038
  if (db_options_.enable_thread_tracking) {
4039
    ThreadStatusUtil::EraseColumnFamilyInfo(cfd);
4040
  }
Y
Yueh-Hsuan Chiang 已提交
4041 4042 4043
}

void DBImpl::EraseThreadStatusDbInfo() const {
4044
  if (db_options_.enable_thread_tracking) {
4045
    ThreadStatusUtil::EraseDatabaseInfo(this);
4046
  }
Y
Yueh-Hsuan Chiang 已提交
4047 4048 4049 4050 4051 4052 4053 4054 4055 4056 4057 4058 4059 4060 4061
}

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

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

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

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

4077
}  // namespace rocksdb