db_impl.cc 142.8 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"
I
Igor Canadi 已提交
70
#include "util/compression.h"
71
#include "util/db_info_dumper.h"
72
#include "util/file_util.h"
I
Igor Canadi 已提交
73
#include "util/hash_skiplist_rep.h"
74
#include "util/hash_linklist_rep.h"
J
jorlow@chromium.org 已提交
75
#include "util/logging.h"
H
Haobo Xu 已提交
76
#include "util/log_buffer.h"
J
jorlow@chromium.org 已提交
77
#include "util/mutexlock.h"
78
#include "util/perf_context_imp.h"
79
#include "util/iostats_context_imp.h"
80
#include "util/stop_watch.h"
81
#include "util/sync_point.h"
82
#include "util/string_util.h"
83 84
#include "util/thread_status_updater.h"
#include "util/thread_status_util.h"
V
Venkatesh Radhakrishnan 已提交
85
#include "util/xfunc.h"
J
jorlow@chromium.org 已提交
86

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

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

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

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

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

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

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

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

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

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

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

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

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

154 155
namespace {

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

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

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

  if (can_compress) {
186
    return ioptions.compression;
187 188 189 190
  } else {
    return kNoCompression;
  }
}
I
Igor Canadi 已提交
191 192

void DumpCompressionInfo(Logger* logger) {
I
Igor Canadi 已提交
193 194 195 196 197 198 199 200
  Log(InfoLogLevel::INFO_LEVEL, logger, "Compression algorithms supported:");
  Log(InfoLogLevel::INFO_LEVEL, logger, "\tSnappy supported: %d",
      Snappy_Supported());
  Log(InfoLogLevel::INFO_LEVEL, logger, "\tZlib supported: %d",
      Zlib_Supported());
  Log(InfoLogLevel::INFO_LEVEL, logger, "\tBzip supported: %d",
      BZip2_Supported());
  Log(InfoLogLevel::INFO_LEVEL, logger, "\tLZ4 supported: %d", LZ4_Supported());
I
Igor Canadi 已提交
201 202
}

203
}  // namespace
204

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

J
jorlow@chromium.org 已提交
246
  // Reserve ten files or so for other uses and give the rest to TableCache.
247
  // Give a large number for setting of "infinite" open files.
248 249
  const int table_cache_size = (db_options_.max_open_files == -1) ?
        4194304 : db_options_.max_open_files - 10;
250 251
  // Reserve ten files or so for other uses and give the rest to TableCache.
  table_cache_ =
252
      NewLRUCache(table_cache_size, db_options_.table_cache_numshardbits);
253

254
  versions_.reset(new VersionSet(dbname_, &db_options_, env_options_,
255 256
                                 table_cache_.get(), &write_buffer_,
                                 &write_controller_));
I
Igor Canadi 已提交
257 258
  column_family_memtables_.reset(new ColumnFamilyMemTablesImpl(
      versions_->GetColumnFamilySet(), &flush_scheduler_));
259

I
Igor Canadi 已提交
260
  DumpRocksDBBuildVersion(db_options_.info_log.get());
261 262
  DumpDBFileSummary(db_options_, dbname_);
  db_options_.Dump(db_options_.info_log.get());
I
Igor Canadi 已提交
263
  DumpCompressionInfo(db_options_.info_log.get());
264

265
  LogFlush(db_options_.info_log);
J
jorlow@chromium.org 已提交
266 267
}

268
void DBImpl::CancelAllBackgroundWork() {
269 270 271
  shutting_down_.store(true, std::memory_order_release);
}

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

276 277
  if (flush_on_destroy_) {
    for (auto cfd : *versions_->GetColumnFamilySet()) {
278
      if (!cfd->IsDropped() && !cfd->mem()->IsEmpty()) {
279 280 281 282
        cfd->Ref();
        mutex_.Unlock();
        FlushMemTable(cfd, FlushOptions());
        mutex_.Lock();
283
        cfd->Unref();
284 285
      }
    }
286
    versions_->GetColumnFamilySet()->FreeDeadColumnFamilies();
287
  }
288
  CancelAllBackgroundWork();
289 290 291 292 293 294 295 296 297 298 299
  mutex_.Unlock();
  int compactions_unscheduled = env_->UnSchedule(this, Env::Priority::LOW);
  int flushes_unscheduled = env_->UnSchedule(this, Env::Priority::HIGH);
  mutex_.Lock();
  bg_compaction_scheduled_ -= compactions_unscheduled;
  bg_flush_scheduled_ -= flushes_unscheduled;

  // Wait for background work to finish
  while (bg_compaction_scheduled_ || bg_flush_scheduled_ || notifying_events_) {
    bg_cv_.Wait();
  }
300
  listeners_.clear();
I
Igor Canadi 已提交
301 302
  flush_scheduler_.Clear();

303 304 305 306 307 308 309 310 311 312 313 314 315
  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 已提交
316 317 318 319 320
  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();
321 322
  }

I
Igor Canadi 已提交
323 324 325 326 327 328 329 330 331 332
  // 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_) {
333
    JobContext job_context(next_job_id_.fetch_add(1));
I
Igor Canadi 已提交
334
    FindObsoleteFiles(&job_context, true);
I
Igor Canadi 已提交
335
    // manifest number starting from 2
I
Igor Canadi 已提交
336 337 338
    job_context.manifest_file_number = 1;
    if (job_context.HaveSomethingToDelete()) {
      PurgeObsoleteFiles(job_context);
339
    }
I
Igor Canadi 已提交
340
    job_context.Clean();
341 342
  }

343 344 345 346
  for (auto l : logs_to_free_) {
    delete l;
  }

347
  // versions need to be destroyed before table_cache since it can hold
348 349
  // references to table_cache.
  versions_.reset();
350
  mutex_.Unlock();
I
Igor Canadi 已提交
351 352 353
  if (db_lock_ != nullptr) {
    env_->UnlockFile(db_lock_);
  }
354

355
  LogFlush(db_options_.info_log);
J
jorlow@chromium.org 已提交
356 357 358
}

Status DBImpl::NewDB() {
359
  VersionEdit new_db;
360
  new_db.SetLogNumber(0);
J
jorlow@chromium.org 已提交
361 362 363
  new_db.SetNextFile(2);
  new_db.SetLastSequence(0);

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

void DBImpl::MaybeIgnoreError(Status* s) const {
393
  if (s->ok() || db_options_.paranoid_checks) {
J
jorlow@chromium.org 已提交
394 395
    // No change needed
  } else {
396 397
    Log(InfoLogLevel::WARN_LEVEL,
        db_options_.info_log, "Ignoring error %s", s->ToString().c_str());
J
jorlow@chromium.org 已提交
398 399 400 401
    *s = Status::OK();
  }
}

402
const Status DBImpl::CreateArchivalDirectory() {
403 404
  if (db_options_.WAL_ttl_seconds > 0 || db_options_.WAL_size_limit_MB > 0) {
    std::string archivalPath = ArchivalDirectory(db_options_.wal_dir);
405 406 407 408 409
    return env_->CreateDirIfMissing(archivalPath);
  }
  return Status::OK();
}

410
void DBImpl::PrintStatistics() {
411
  auto dbstats = db_options_.statistics.get();
412
  if (dbstats) {
413
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
M
Mark Callaghan 已提交
414
        "STATISTICS:\n %s",
415
        dbstats->ToString().c_str());
416 417 418
  }
}

419
void DBImpl::MaybeDumpStats() {
420
  if (db_options_.stats_dump_period_sec == 0) return;
H
Haobo Xu 已提交
421 422 423 424

  const uint64_t now_micros = env_->NowMicros();

  if (last_stats_dump_time_microsec_ +
425
      db_options_.stats_dump_period_sec * 1000000
H
Haobo Xu 已提交
426 427 428 429 430 431
      <= 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;
432

433
#ifndef ROCKSDB_LITE
434 435 436
    bool tmp1 = false;
    bool tmp2 = false;
    DBPropertyType cf_property_type =
437
        GetPropertyType(DB::Properties::kCFStats, &tmp1, &tmp2);
438
    DBPropertyType db_property_type =
439
        GetPropertyType(DB::Properties::kDBStats, &tmp1, &tmp2);
H
Haobo Xu 已提交
440
    std::string stats;
441
    {
442
      InstrumentedMutexLock l(&mutex_);
443
      for (auto cfd : *versions_->GetColumnFamilySet()) {
444
        cfd->internal_stats()->GetStringProperty(cf_property_type,
445 446
                                                 DB::Properties::kCFStats,
                                                 &stats);
447
      }
448
      default_cf_internal_stats_->GetStringProperty(db_property_type,
449 450
                                                    DB::Properties::kDBStats,
                                                    &stats);
451
    }
452 453 454 455
    Log(InfoLogLevel::INFO_LEVEL,
        db_options_.info_log, "------- DUMPING STATS -------");
    Log(InfoLogLevel::INFO_LEVEL,
        db_options_.info_log, "%s", stats.c_str());
456
#endif  // !ROCKSDB_LITE
457

458
    PrintStatistics();
459 460 461
  }
}

I
Igor Canadi 已提交
462
// * Returns the list of live files in 'sst_live'
I
Igor Canadi 已提交
463
// If it's doing full scan:
I
Igor Canadi 已提交
464 465
// * Returns the list of all files in the filesystem in
// 'full_scan_candidate_files'.
I
Igor Canadi 已提交
466
// Otherwise, gets obsolete files from VersionSet.
I
Igor Canadi 已提交
467 468
// no_full_scan = true -- never do the full scan using GetChildren()
// force = false -- don't force the full scan, except every
469
//  db_options_.delete_obsolete_files_period_micros
I
Igor Canadi 已提交
470
// force = true -- force the full scan
I
Igor Canadi 已提交
471
void DBImpl::FindObsoleteFiles(JobContext* job_context, bool force,
I
Igor Canadi 已提交
472
                               bool no_full_scan) {
D
Dhruba Borthakur 已提交
473 474
  mutex_.AssertHeld();

475
  // if deletion is disabled, do nothing
476
  if (disable_delete_obsolete_files_ > 0) {
477 478 479
    return;
  }

480 481 482 483 484
  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;
485
  } else if (force || db_options_.delete_obsolete_files_period_micros == 0) {
486 487 488
    doing_the_full_scan = true;
  } else {
    const uint64_t now_micros = env_->NowMicros();
I
Igor Canadi 已提交
489
    if (delete_obsolete_files_next_run_ < now_micros) {
490
      doing_the_full_scan = true;
I
Igor Canadi 已提交
491 492
      delete_obsolete_files_next_run_ =
          now_micros + db_options_.delete_obsolete_files_period_micros;
493 494 495
    }
  }

I
Igor Canadi 已提交
496 497 498 499 500 501 502 503 504
  // 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 已提交
505
  // get obsolete files
I
Igor Canadi 已提交
506 507
  versions_->GetObsoleteFiles(&job_context->sst_delete_files,
                              job_context->min_pending_output);
I
Igor Canadi 已提交
508

I
Igor Canadi 已提交
509
  // store the current filenum, lognum, etc
510
  job_context->manifest_file_number = versions_->manifest_file_number();
I
Igor Canadi 已提交
511
  job_context->pending_manifest_file_number =
512
      versions_->pending_manifest_file_number();
I
Igor Canadi 已提交
513
  job_context->log_number = versions_->MinLogNumber();
514
  job_context->prev_log_number = versions_->prev_log_number();
I
Igor Canadi 已提交
515

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

    //Add log files in wal_dir
533
    if (db_options_.wal_dir != dbname_) {
534
      std::vector<std::string> log_files;
535
      env_->GetChildren(db_options_.wal_dir, &log_files);  // Ignore errors
536
      for (std::string log_file : log_files) {
I
Igor Canadi 已提交
537
        job_context->full_scan_candidate_files.emplace_back(log_file, 0);
538 539
      }
    }
540
    // Add info log files in db_log_dir
541
    if (!db_options_.db_log_dir.empty() && db_options_.db_log_dir != dbname_) {
542
      std::vector<std::string> info_log_files;
543 544
      // Ignore errors
      env_->GetChildren(db_options_.db_log_dir, &info_log_files);
545
      for (std::string log_file : info_log_files) {
I
Igor Canadi 已提交
546
        job_context->full_scan_candidate_files.emplace_back(log_file, 0);
547 548
      }
    }
549
  }
550 551
}

552
namespace {
I
Igor Canadi 已提交
553 554
bool CompareCandidateFile(const JobContext::CandidateFileInfo& first,
                          const JobContext::CandidateFileInfo& second) {
555 556 557 558 559
  if (first.file_name > second.file_name) {
    return true;
  } else if (first.file_name < second.file_name) {
    return false;
  } else {
560
    return (first.path_id > second.path_id);
561 562 563 564
  }
}
};  // namespace

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

I
Igor Canadi 已提交
573 574 575 576
  // 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 已提交
577 578
    return;
  }
579

580
  // Now, convert live list to an unordered map, WITHOUT mutex held;
581
  // set is slow.
582
  std::unordered_map<uint64_t, const FileDescriptor*> sst_live_map;
I
Igor Canadi 已提交
583
  for (const FileDescriptor& fd : state.sst_live) {
584 585
    sst_live_map[fd.GetNumber()] = &fd;
  }
I
Igor Canadi 已提交
586

I
Igor Canadi 已提交
587
  auto candidate_files = state.full_scan_candidate_files;
I
Igor Canadi 已提交
588 589 590
  candidate_files.reserve(candidate_files.size() +
                          state.sst_delete_files.size() +
                          state.log_delete_files.size());
K
kailiu 已提交
591 592
  // We may ignore the dbname when generating the file names.
  const char* kDumbDbName = "";
593
  for (auto file : state.sst_delete_files) {
594 595 596
    candidate_files.emplace_back(
        MakeTableFileName(kDumbDbName, file->fd.GetNumber()),
        file->fd.GetPathId());
597
    delete file;
I
Igor Canadi 已提交
598 599
  }

K
kailiu 已提交
600 601
  for (auto file_num : state.log_delete_files) {
    if (file_num > 0) {
602 603
      candidate_files.emplace_back(LogFileName(kDumbDbName, file_num).substr(1),
                                   0);
I
Igor Canadi 已提交
604 605
    }
  }
606

K
kailiu 已提交
607
  // dedup state.candidate_files so we don't try to delete the same
I
Igor Canadi 已提交
608
  // file twice
609
  sort(candidate_files.begin(), candidate_files.end(), CompareCandidateFile);
610 611
  candidate_files.erase(unique(candidate_files.begin(), candidate_files.end()),
                        candidate_files.end());
J
jorlow@chromium.org 已提交
612

613
  std::vector<std::string> old_info_log_files;
614
  InfoLogPrefix info_log_prefix(!db_options_.db_log_dir.empty(), dbname_);
615 616 617
  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 已提交
618 619 620
    uint64_t number;
    FileType type;
    // Ignore file if we cannot recognize it.
621
    if (!ParseFileName(to_delete, &number, info_log_prefix.prefix, &type)) {
K
kailiu 已提交
622 623
      continue;
    }
J
jorlow@chromium.org 已提交
624

K
kailiu 已提交
625 626 627 628 629 630 631 632
    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'
633
        // (can happen during manifest roll)
K
kailiu 已提交
634 635 636
        keep = (number >= state.manifest_file_number);
        break;
      case kTableFile:
I
Igor Canadi 已提交
637 638 639 640
        // 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 已提交
641 642 643
        break;
      case kTempFile:
        // Any temp files that are currently being written to must
644 645 646 647
        // 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
648
        keep = (sst_live_map.find(number) != sst_live_map.end()) ||
649
               (number == state.pending_manifest_file_number);
K
kailiu 已提交
650 651 652 653
        break;
      case kInfoLogFile:
        keep = true;
        if (number != 0) {
654
          old_info_log_files.push_back(to_delete);
J
jorlow@chromium.org 已提交
655
        }
K
kailiu 已提交
656 657 658 659 660 661 662 663 664 665 666 667 668
        break;
      case kCurrentFile:
      case kDBLockFile:
      case kIdentityFile:
      case kMetaDatabase:
        keep = true;
        break;
    }

    if (keep) {
      continue;
    }

669
    std::string fname;
K
kailiu 已提交
670 671
    if (type == kTableFile) {
      // evict from cache
672
      TableCache::Evict(table_cache_.get(), number);
673
      fname = TableFileName(db_options_.db_paths, number, path_id);
674
      event_logger_.Log() << "job" << state.job_id << "event"
I
Igor Canadi 已提交
675 676
                          << "table_file_deletion"
                          << "file_number" << number;
677
    } else {
678 679
      fname = ((type == kLogFile) ?
          db_options_.wal_dir : dbname_) + "/" + to_delete;
K
kailiu 已提交
680
    }
681

I
Igor Canadi 已提交
682 683
#ifdef ROCKSDB_LITE
    Status s = env_->DeleteFile(fname);
684
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
685
        "[JOB %d] Delete %s type=%d #%" PRIu64 " -- %s\n", state.job_id,
I
Igor Canadi 已提交
686 687 688 689 690
        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 已提交
691 692
    } else {
      Status s = env_->DeleteFile(fname);
693
      Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
694
          "[JOB %d] Delete %s type=%d #%" PRIu64 " -- %s\n", state.job_id,
695
          fname.c_str(), type, number, s.ToString().c_str());
J
jorlow@chromium.org 已提交
696
    }
I
Igor Canadi 已提交
697
#endif  // ROCKSDB_LITE
J
jorlow@chromium.org 已提交
698
  }
H
heyongqiang 已提交
699

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

void DBImpl::DeleteObsoleteFiles() {
  mutex_.AssertHeld();
728
  JobContext job_context(next_job_id_.fetch_add(1));
I
Igor Canadi 已提交
729 730 731
  FindObsoleteFiles(&job_context, true);
  if (job_context.HaveSomethingToDelete()) {
    PurgeObsoleteFiles(job_context);
732
  }
I
Igor Canadi 已提交
733
  job_context.Clean();
734 735
}

736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751
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 已提交
752

753 754 755 756 757 758 759 760 761
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_);
762 763 764
    if (!s.ok()) {
      return s;
    }
765
  }
766

767 768 769 770 771 772 773 774
  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);
775 776 777
      if (!s.ok()) {
        return s;
      }
778
      data_dirs_.emplace_back(path_directory.release());
779
    }
780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798
  }
  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();
799

800 801 802 803 804
  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);
805 806 807 808
    if (!s.ok()) {
      return s;
    }

809
    s = env_->LockFile(LockFileName(dbname_), &db_lock_);
810 811 812
    if (!s.ok()) {
      return s;
    }
J
jorlow@chromium.org 已提交
813

814
    if (!env_->FileExists(CurrentFileName(dbname_))) {
815
      if (db_options_.create_if_missing) {
816
        s = NewDB();
817
        is_new_db = true;
818 819 820 821 822 823
        if (!s.ok()) {
          return s;
        }
      } else {
        return Status::InvalidArgument(
            dbname_, "does not exist (create_if_missing is false)");
J
jorlow@chromium.org 已提交
824 825
      }
    } else {
826
      if (db_options_.error_if_exists) {
827 828 829
        return Status::InvalidArgument(
            dbname_, "exists (error_if_exists is true)");
      }
J
jorlow@chromium.org 已提交
830
    }
M
Mayank Agarwal 已提交
831 832 833 834 835 836 837
    // 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 已提交
838 839
  }

840
  Status s = versions_->Recover(column_families, read_only);
841
  if (db_options_.paranoid_checks && s.ok()) {
I
Igor Canadi 已提交
842 843
    s = CheckConsistency();
  }
J
jorlow@chromium.org 已提交
844 845
  if (s.ok()) {
    SequenceNumber max_sequence(0);
846 847
    default_cf_handle_ = new ColumnFamilyHandleImpl(
        versions_->GetColumnFamilySet()->GetDefault(), this, &mutex_);
848
    default_cf_internal_stats_ = default_cf_handle_->cfd()->internal_stats();
849 850
    single_column_family_mode_ =
        versions_->GetColumnFamilySet()->NumberOfColumnFamilies() == 1;
851 852 853 854 855

    // 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).
    //
856
    // Note that prev_log_number() is no longer used, but we pay
857
    // attention to it in case we are recovering a database
858
    // produced by an older version of rocksdb.
859
    const uint64_t min_log = versions_->MinLogNumber();
860
    const uint64_t prev_log = versions_->prev_log_number();
861
    std::vector<std::string> filenames;
862
    s = env_->GetChildren(db_options_.wal_dir, &filenames);
863 864
    if (!s.ok()) {
      return s;
865
    }
K
kailiu 已提交
866

867 868
    std::vector<uint64_t> logs;
    for (size_t i = 0; i < filenames.size(); i++) {
K
kailiu 已提交
869 870
      uint64_t number;
      FileType type;
871 872 873 874 875 876 877 878 879
      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);
        }
880
      }
J
jorlow@chromium.org 已提交
881
    }
882

H
heyongqiang 已提交
883 884 885 886 887 888
    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 已提交
889 890 891 892 893 894 895
    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 已提交
896
          cfd->CreateNewMemtable(*cfd->GetLatestMutableCFOptions());
S
Stanislau Hlebik 已提交
897 898
        }
      }
899
    }
L
Lei Jin 已提交
900
    SetTickerCount(stats_, SEQUENCE_NUMBER, versions_->LastSequence());
J
jorlow@chromium.org 已提交
901 902
  }

L
Lei Jin 已提交
903 904
  // Initial value
  max_total_in_memory_state_ = 0;
I
Igor Canadi 已提交
905
  for (auto cfd : *versions_->GetColumnFamilySet()) {
L
Lei Jin 已提交
906 907 908
    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 已提交
909 910
  }

J
jorlow@chromium.org 已提交
911 912 913
  return s;
}

S
Stanislau Hlebik 已提交
914 915 916
// 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 已提交
917 918
  struct LogReporter : public log::Reader::Reporter {
    Env* env;
919
    Logger* info_log;
J
jorlow@chromium.org 已提交
920
    const char* fname;
921
    Status* status;  // nullptr if db_options_.paranoid_checks==false
I
Igor Sugak 已提交
922
    virtual void Corruption(size_t bytes, const Status& s) override {
923 924
      Log(InfoLogLevel::WARN_LEVEL,
          info_log, "%s%s: dropping %d bytes; %s",
925
          (this->status == nullptr ? "(ignoring error) " : ""),
J
jorlow@chromium.org 已提交
926
          fname, static_cast<int>(bytes), s.ToString().c_str());
927
      if (this->status != nullptr && this->status->ok()) *this->status = s;
J
jorlow@chromium.org 已提交
928 929 930 931
    }
  };

  mutex_.AssertHeld();
S
Stanislau Hlebik 已提交
932
  Status status;
933
  std::unordered_map<int, VersionEdit> version_edits;
934
  // no need to refcount because iteration is under mutex
935 936
  for (auto cfd : *versions_->GetColumnFamilySet()) {
    VersionEdit edit;
937 938
    edit.SetColumnFamily(cfd->GetID());
    version_edits.insert({cfd->GetID(), edit});
939
  }
940 941 942 943 944 945 946 947 948 949 950 951
  int job_id = next_job_id_.fetch_add(1);
  {
    auto stream = event_logger_.Log();
    stream << "job" << job_id << "event"
           << "recovery_started";
    stream << "log_files";
    stream.StartArray();
    for (auto log_number : log_numbers) {
      stream << log_number;
    }
    stream.EndArray();
  }
I
Igor Canadi 已提交
952

S
Stanislau Hlebik 已提交
953 954 955 956
  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.
957
    versions_->MarkFileNumberUsedDuringRecovery(log_number);
S
Stanislau Hlebik 已提交
958 959 960 961
    // 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 已提交
962
    if (!status.ok()) {
S
Stanislau Hlebik 已提交
963 964 965 966 967 968 969 970
      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 已提交
971 972
    }

S
Stanislau Hlebik 已提交
973 974 975 976 977
    // Create the log reader.
    LogReporter reporter;
    reporter.env = env_;
    reporter.info_log = db_options_.info_log.get();
    reporter.fname = fname.c_str();
978
    reporter.status = (db_options_.paranoid_checks) ? &status : nullptr;
S
Stanislau Hlebik 已提交
979 980 981 982 983 984
    // 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*/);
985 986
    Log(InfoLogLevel::INFO_LEVEL,
        db_options_.info_log, "Recovering log #%" PRIu64 "", log_number);
S
Stanislau Hlebik 已提交
987 988 989 990 991

    // Read all the records and add to a memtable
    std::string scratch;
    Slice record;
    WriteBatch batch;
I
Igor Canadi 已提交
992
    while (reader.ReadRecord(&record, &scratch) && status.ok()) {
S
Stanislau Hlebik 已提交
993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018
      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 已提交
1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030
        // 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;
1031
          status = WriteLevel0TableForRecovery(job_id, cfd, cfd->mem(), edit);
I
Igor Canadi 已提交
1032 1033 1034 1035
          if (!status.ok()) {
            // Reflect errors immediately so that conditions like full
            // file-systems cause the DB::Open() to fail.
            return status;
1036
          }
L
Lei Jin 已提交
1037
          cfd->CreateNewMemtable(*cfd->GetLatestMutableCFOptions());
1038
        }
J
jorlow@chromium.org 已提交
1039 1040 1041
      }
    }

1042 1043 1044 1045
    if (!status.ok()) {
      return status;
    }

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

1052
  if (!read_only) {
1053 1054
    // 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 已提交
1055
    auto max_log_number = log_numbers.back();
1056
    for (auto cfd : *versions_->GetColumnFamilySet()) {
1057
      auto iter = version_edits.find(cfd->GetID());
1058 1059 1060
      assert(iter != version_edits.end());
      VersionEdit* edit = &iter->second;

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

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

1081
      // write MANIFEST with update
S
Stanislau Hlebik 已提交
1082
      // writing log_number in the manifest means that any log file
1083 1084
      // with number strongly less than (log_number + 1) is already
      // recovered and should be ignored on next reincarnation.
S
Stanislau Hlebik 已提交
1085 1086 1087
      // 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);
1088 1089 1090
      // 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 已提交
1091
      // log number
1092
      versions_->MarkFileNumberUsedDuringRecovery(max_log_number + 1);
1093 1094
      status = versions_->LogAndApply(
          cfd, *cfd->GetLatestMutableCFOptions(), edit, &mutex_);
1095
      if (!status.ok()) {
S
Stanislau Hlebik 已提交
1096 1097
        // Recovery failed
        break;
1098 1099
      }
    }
1100
  }
I
Igor Canadi 已提交
1101

1102 1103 1104
  event_logger_.Log() << "job" << job_id << "event"
                      << "recovery_finished";

J
jorlow@chromium.org 已提交
1105 1106 1107
  return status;
}

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

1130 1131 1132 1133
    {
      mutex_.Unlock();
      s = BuildTable(
          dbname_, env_, *cfd->ioptions(), env_options_, cfd->table_cache(),
1134 1135
          iter.get(), &meta, cfd->internal_comparator(),
          cfd->int_tbl_prop_collector_factories(), newest_snapshot,
1136 1137
          earliest_seqno_in_memtable, GetCompressionFlush(*cfd->ioptions()),
          cfd->ioptions()->compression_opts, Env::IO_HIGH);
1138
      LogFlush(db_options_.info_log);
1139 1140
      mutex_.Lock();
    }
1141

1142 1143 1144
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
        "[%s] [WriteLevel0TableForRecovery]"
        " Level-0 table #%" PRIu64 ": %" PRIu64 " bytes %s",
1145 1146
        cfd->GetName().c_str(), meta.fd.GetNumber(), meta.fd.GetFileSize(),
        s.ToString().c_str());
1147 1148 1149 1150
    event_logger_.Log() << "job" << job_id << "event"
                        << "table_file_creation"
                        << "file_number" << meta.fd.GetNumber() << "file_size"
                        << meta.fd.GetFileSize();
1151
  }
I
Igor Canadi 已提交
1152
  ReleaseFileNumberFromPendingOutputs(pending_outputs_inserted_elem);
1153 1154 1155 1156

  // Note that if file_size is zero, the file has been deleted and
  // should not be added to the manifest.
  int level = 0;
1157
  if (s.ok() && meta.fd.GetFileSize() > 0) {
1158 1159 1160
    edit->AddFile(level, meta.fd.GetNumber(), meta.fd.GetPathId(),
                  meta.fd.GetFileSize(), meta.smallest, meta.largest,
                  meta.smallest_seqno, meta.largest_seqno);
1161 1162
  }

L
Lei Jin 已提交
1163
  InternalStats::CompactionStats stats(1);
1164
  stats.micros = env_->NowMicros() - start_micros;
1165
  stats.bytes_written = meta.fd.GetFileSize();
M
Mark Callaghan 已提交
1166
  stats.files_out_levelnp1 = 1;
1167
  cfd->internal_stats()->AddCompactionStats(level, stats);
1168 1169
  cfd->internal_stats()->AddCFStats(
      InternalStats::BYTES_FLUSHED, meta.fd.GetFileSize());
L
Lei Jin 已提交
1170
  RecordTick(stats_, COMPACT_WRITE_BYTES, meta.fd.GetFileSize());
J
jorlow@chromium.org 已提交
1171 1172 1173
  return s;
}

1174 1175
Status DBImpl::FlushMemTableToOutputFile(
    ColumnFamilyData* cfd, const MutableCFOptions& mutable_cf_options,
I
Igor Canadi 已提交
1176
    bool* madeProgress, JobContext* job_context, LogBuffer* log_buffer) {
1177
  mutex_.AssertHeld();
1178
  assert(cfd->imm()->size() != 0);
1179
  assert(cfd->imm()->IsFlushPending());
1180

I
Igor Canadi 已提交
1181 1182
  FlushJob flush_job(dbname_, cfd, db_options_, mutable_cf_options,
                     env_options_, versions_.get(), &mutex_, &shutting_down_,
I
Igor Canadi 已提交
1183
                     snapshots_.GetNewest(), job_context, log_buffer,
1184
                     directories_.GetDbDir(), directories_.GetDataDir(0U),
I
Igor Canadi 已提交
1185 1186
                     GetCompressionFlush(*cfd->ioptions()), stats_,
                     &event_logger_);
1187

1188 1189
  uint64_t file_number;
  Status s = flush_job.Run(&file_number);
J
jorlow@chromium.org 已提交
1190 1191

  if (s.ok()) {
I
Igor Canadi 已提交
1192
    InstallSuperVersionBackground(cfd, job_context, mutable_cf_options);
1193 1194 1195
    if (madeProgress) {
      *madeProgress = 1;
    }
S
sdong 已提交
1196
    VersionStorageInfo::LevelSummaryStorage tmp;
I
Igor Canadi 已提交
1197
    LogToBuffer(log_buffer, "[%s] Level summary: %s\n", cfd->GetName().c_str(),
S
sdong 已提交
1198
                cfd->current()->storage_info()->LevelSummary(&tmp));
1199

1200
    if (disable_delete_obsolete_files_ == 0) {
I
Igor Canadi 已提交
1201
      // add to deletion state
1202
      while (alive_log_files_.size() &&
I
Igor Canadi 已提交
1203 1204
             alive_log_files_.begin()->number < versions_->MinLogNumber()) {
        const auto& earliest = *alive_log_files_.begin();
I
Igor Canadi 已提交
1205
        job_context->log_delete_files.push_back(earliest.number);
I
Igor Canadi 已提交
1206
        total_log_size_ -= earliest.size;
1207 1208
        alive_log_files_.pop_front();
      }
1209
    }
J
jorlow@chromium.org 已提交
1210
  }
1211

1212
  if (!s.ok() && !s.IsShutdownInProgress() && db_options_.paranoid_checks &&
1213 1214 1215 1216 1217
      bg_error_.ok()) {
    // if a bad error happened (not ShutdownInProgress) and paranoid_checks is
    // true, mark DB read-only
    bg_error_ = s;
  }
1218
  RecordFlushIOStats();
1219 1220 1221
#ifndef ROCKSDB_LITE
  if (s.ok()) {
    // may temporarily unlock and lock the mutex.
1222
    NotifyOnFlushCompleted(cfd, file_number, mutable_cf_options);
1223 1224
  }
#endif  // ROCKSDB_LITE
J
jorlow@chromium.org 已提交
1225 1226 1227
  return s;
}

1228
void DBImpl::NotifyOnFlushCompleted(
1229 1230
    ColumnFamilyData* cfd, uint64_t file_number,
    const MutableCFOptions& mutable_cf_options) {
1231
#ifndef ROCKSDB_LITE
1232 1233 1234
  if (cfd->ioptions()->listeners.size() == 0U) {
    return;
  }
1235 1236 1237 1238 1239 1240
  mutex_.AssertHeld();
  if (shutting_down_.load(std::memory_order_acquire)) {
    return;
  }
  bool triggered_flush_slowdown =
      (cfd->current()->storage_info()->NumLevelFiles(0) >=
1241
       mutable_cf_options.level0_slowdown_writes_trigger);
1242 1243
  bool triggered_flush_stop =
      (cfd->current()->storage_info()->NumLevelFiles(0) >=
1244
       mutable_cf_options.level0_stop_writes_trigger);
1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257
  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.
1258
#endif  // ROCKSDB_LITE
1259 1260
}

1261
Status DBImpl::CompactRange(ColumnFamilyHandle* column_family,
1262
                            const Slice* begin, const Slice* end,
1263 1264
                            bool reduce_level, int target_level,
                            uint32_t target_path_id) {
1265
  if (target_path_id >= db_options_.db_paths.size()) {
1266 1267 1268
    return Status::InvalidArgument("Invalid target path ID");
  }

1269 1270
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
I
Igor Canadi 已提交
1271 1272

  Status s = FlushMemTable(cfd, FlushOptions());
L
Lei Jin 已提交
1273
  if (!s.ok()) {
1274
    LogFlush(db_options_.info_log);
L
Lei Jin 已提交
1275 1276 1277
    return s;
  }

I
Igor Canadi 已提交
1278
  int max_level_with_files = 0;
G
Gabor Cselle 已提交
1279
  {
1280
    InstrumentedMutexLock l(&mutex_);
I
Igor Canadi 已提交
1281
    Version* base = cfd->current();
1282 1283
    for (int level = 1; level < base->storage_info()->num_non_empty_levels();
         level++) {
S
sdong 已提交
1284
      if (base->storage_info()->OverlapInLevel(level, begin, end)) {
G
Gabor Cselle 已提交
1285 1286 1287 1288
        max_level_with_files = level;
      }
    }
  }
1289 1290 1291 1292 1293 1294 1295 1296

  if (cfd->ioptions()->compaction_style == kCompactionStyleUniversal &&
      cfd->NumberLevels() > 1) {
    // Always compact all files together.
    int output_level = 0;
    if (cfd->ioptions()->compaction_style == kCompactionStyleUniversal &&
        cfd->NumberLevels() > 1) {
      output_level = cfd->NumberLevels() - 1;
L
Lei Jin 已提交
1297
    }
1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317
    s = RunManualCompaction(cfd, ColumnFamilyData::kCompactAllLevels,
                            output_level, target_path_id, begin, end);
  } else {
    for (int level = 0; level <= max_level_with_files; level++) {
      // in case the compaction is unversal or if we're compacting the
      // 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)
      if (cfd->ioptions()->compaction_style == kCompactionStyleUniversal ||
          cfd->ioptions()->compaction_style == kCompactionStyleFIFO ||
          (level == max_level_with_files && level > 0)) {
        s = RunManualCompaction(cfd, level, level, target_path_id, begin, end);
      } else {
        // TODO(sdong) Skip empty levels if possible.
        s = RunManualCompaction(cfd, level, level + 1, target_path_id, begin,
                                end);
      }
      if (!s.ok()) {
        break;
      }
1318
    }
G
Gabor Cselle 已提交
1319
  }
1320 1321 1322 1323
  if (!s.ok()) {
    LogFlush(db_options_.info_log);
    return s;
  }
1324 1325

  if (reduce_level) {
I
Igor Canadi 已提交
1326
    s = ReFitLevel(cfd, max_level_with_files, target_level);
1327
  }
1328
  LogFlush(db_options_.info_log);
L
Lei Jin 已提交
1329

1330
  {
1331
    InstrumentedMutexLock l(&mutex_);
1332 1333 1334 1335 1336
    // an automatic compaction that has been scheduled might have been
    // preempted by the manual compactions. Need to schedule it back.
    MaybeScheduleFlushOrCompaction();
  }

L
Lei Jin 已提交
1337
  return s;
1338 1339
}

1340 1341 1342 1343 1344
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 已提交
1345 1346 1347 1348
#ifdef ROCKSDB_LITE
    // not supported in lite version
  return Status::NotSupported("Not supported in ROCKSDB LITE");
#else
1349 1350 1351 1352 1353 1354
  if (column_family == nullptr) {
    return Status::InvalidArgument("ColumnFamilyHandle must be non-null.");
  }

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

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

1396
  return s;
I
Igor Canadi 已提交
1397
#endif  // ROCKSDB_LITE
1398 1399
}

I
Igor Canadi 已提交
1400
#ifndef ROCKSDB_LITE
1401 1402 1403
Status DBImpl::CompactFilesImpl(
    const CompactionOptions& compact_options, ColumnFamilyData* cfd,
    Version* version, const std::vector<std::string>& input_file_names,
1404 1405
    const int output_level, int output_path_id, JobContext* job_context,
    LogBuffer* log_buffer) {
1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437
  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;
  }

1438
  std::vector<CompactionInputFiles> input_files;
1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458
  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(
1459 1460
      compact_options, input_files, output_level, version->storage_info(),
      *cfd->GetLatestMutableCFOptions(), output_path_id));
1461 1462 1463 1464 1465 1466
  assert(c);
  c->SetInputVersion(version);
  // deletion compaction currently not allowed in CompactFiles.
  assert(!c->IsDeletionCompaction());

  auto yield_callback = [&]() {
1467 1468 1469
    return CallFlushDuringCompaction(
        c->column_family_data(), *c->mutable_cf_options(),
        job_context, log_buffer);
1470
  };
1471
  CompactionJob compaction_job(
1472 1473
      job_context->job_id, c.get(), db_options_, *c->mutable_cf_options(),
      env_options_, versions_.get(), &shutting_down_, log_buffer,
1474 1475
      directories_.GetDbDir(), directories_.GetDataDir(c->GetOutputPathId()),
      stats_, &snapshots_, is_snapshot_supported_, table_cache_,
1476
      std::move(yield_callback), &event_logger_);
1477 1478 1479 1480 1481
  compaction_job.Prepare();

  mutex_.Unlock();
  Status status = compaction_job.Run();
  mutex_.Lock();
1482
  compaction_job.Install(&status, &mutex_);
1483
  if (status.ok()) {
1484
    InstallSuperVersionBackground(c->column_family_data(), job_context,
1485
                                  *c->mutable_cf_options());
1486 1487 1488 1489 1490 1491 1492 1493 1494
  }
  c->ReleaseCompactionFiles(s);
  c.reset();

  if (status.ok()) {
    // Done
  } else if (status.IsShutdownInProgress()) {
    // Ignore compaction errors found during shutting down
  } else {
1495 1496
    Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log,
        "[%s] [JOB %d] Compaction error: %s",
1497
        c->column_family_data()->GetName().c_str(), job_context->job_id,
1498 1499 1500 1501 1502 1503 1504 1505 1506 1507
        status.ToString().c_str());
    if (db_options_.paranoid_checks && bg_error_.ok()) {
      bg_error_ = status;
    }
  }

  bg_compaction_scheduled_--;

  return status;
}
I
Igor Canadi 已提交
1508
#endif  // ROCKSDB_LITE
1509

O
Ori Bernstein 已提交
1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531
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
}

1532
Status DBImpl::SetOptions(ColumnFamilyHandle* column_family,
1533
    const std::unordered_map<std::string, std::string>& options_map) {
I
Igor Canadi 已提交
1534 1535 1536
#ifdef ROCKSDB_LITE
  return Status::NotSupported("Not supported in ROCKSDB LITE");
#else
L
Lei Jin 已提交
1537 1538
  auto* cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family)->cfd();
  if (options_map.empty()) {
1539 1540
    Log(InfoLogLevel::WARN_LEVEL,
        db_options_.info_log, "SetOptions() on column family [%s], empty input",
L
Lei Jin 已提交
1541
        cfd->GetName().c_str());
1542
    return Status::InvalidArgument("empty input");
L
Lei Jin 已提交
1543 1544 1545
  }

  MutableCFOptions new_options;
1546
  Status s;
L
Lei Jin 已提交
1547
  {
1548
    InstrumentedMutexLock l(&mutex_);
1549 1550
    s = cfd->SetOptions(options_map);
    if (s.ok()) {
L
Lei Jin 已提交
1551 1552 1553 1554
      new_options = *cfd->GetLatestMutableCFOptions();
    }
  }

1555 1556
  Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
      "SetOptions() on column family [%s], inputs:",
L
Lei Jin 已提交
1557 1558
      cfd->GetName().c_str());
  for (const auto& o : options_map) {
1559 1560
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
        "%s: %s\n", o.first.c_str(), o.second.c_str());
L
Lei Jin 已提交
1561
  }
1562
  if (s.ok()) {
1563 1564
    Log(InfoLogLevel::INFO_LEVEL,
        db_options_.info_log, "[%s] SetOptions succeeded",
L
Lei Jin 已提交
1565 1566 1567
        cfd->GetName().c_str());
    new_options.Dump(db_options_.info_log.get());
  } else {
1568 1569
    Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log,
        "[%s] SetOptions failed", cfd->GetName().c_str());
L
Lei Jin 已提交
1570
  }
1571
  return s;
I
Igor Canadi 已提交
1572
#endif  // ROCKSDB_LITE
1573 1574
}

1575
// return the same level if it cannot be moved
1576 1577
int DBImpl::FindMinimumEmptyLevelFitting(ColumnFamilyData* cfd,
    const MutableCFOptions& mutable_cf_options, int level) {
1578
  mutex_.AssertHeld();
S
sdong 已提交
1579
  const auto* vstorage = cfd->current()->storage_info();
1580
  int minimum_level = level;
1581
  for (int i = level - 1; i > 0; --i) {
1582
    // stop if level i is not empty
S
sdong 已提交
1583
    if (vstorage->NumLevelFiles(i) > 0) break;
1584
    // stop if level i is too small (cannot fit the level files)
1585
    if (vstorage->MaxBytesForLevel(i) < vstorage->NumLevelBytes(level)) {
1586 1587
      break;
    }
1588 1589 1590 1591 1592 1593

    minimum_level = i;
  }
  return minimum_level;
}

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

I
Igor Canadi 已提交
1597
  SuperVersion* superversion_to_free = nullptr;
1598
  SuperVersion* new_superversion = new SuperVersion();
I
Igor Canadi 已提交
1599 1600

  mutex_.Lock();
1601 1602 1603

  // only allow one thread refitting
  if (refitting_level_) {
I
Igor Canadi 已提交
1604
    mutex_.Unlock();
1605 1606
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
        "[ReFitLevel] another thread is refitting");
I
Igor Canadi 已提交
1607
    delete new_superversion;
L
Lei Jin 已提交
1608
    return Status::NotSupported("another thread is refitting");
1609 1610 1611 1612 1613
  }
  refitting_level_ = true;

  // wait for all background threads to stop
  bg_work_gate_closed_ = true;
1614
  while (bg_compaction_scheduled_ > 0 || bg_flush_scheduled_) {
1615 1616
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
        "[RefitLevel] waiting for background threads to stop: %d %d",
1617
        bg_compaction_scheduled_, bg_flush_scheduled_);
1618 1619 1620
    bg_cv_.Wait();
  }

1621 1622
  const MutableCFOptions mutable_cf_options =
    *cfd->GetLatestMutableCFOptions();
1623
  // move to a smaller level
1624 1625
  int to_level = target_level;
  if (target_level < 0) {
1626
    to_level = FindMinimumEmptyLevelFitting(cfd, mutable_cf_options, level);
1627
  }
1628 1629 1630

  assert(to_level <= level);

L
Lei Jin 已提交
1631
  Status status;
1632
  if (to_level < level) {
1633 1634
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
        "[%s] Before refitting:\n%s",
1635
        cfd->GetName().c_str(), cfd->current()->DebugString().data());
1636

1637
    VersionEdit edit;
I
Igor Canadi 已提交
1638
    edit.SetColumnFamily(cfd->GetID());
S
sdong 已提交
1639
    for (const auto& f : cfd->current()->storage_info()->LevelFiles(level)) {
1640
      edit.DeleteFile(level, f->fd.GetNumber());
1641 1642 1643
      edit.AddFile(to_level, f->fd.GetNumber(), f->fd.GetPathId(),
                   f->fd.GetFileSize(), f->smallest, f->largest,
                   f->smallest_seqno, f->largest_seqno);
1644
    }
1645 1646
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
        "[%s] Apply version edit:\n%s",
I
Igor Canadi 已提交
1647
        cfd->GetName().c_str(), edit.DebugString().data());
1648

1649 1650
    status = versions_->LogAndApply(cfd, mutable_cf_options, &edit, &mutex_,
                                    directories_.GetDbDir());
L
Lei Jin 已提交
1651 1652
    superversion_to_free = InstallSuperVersion(
        cfd, new_superversion, mutable_cf_options);
I
Igor Canadi 已提交
1653
    new_superversion = nullptr;
1654

1655 1656
    Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
        "[%s] LogAndApply: %s\n", cfd->GetName().c_str(),
I
Igor Canadi 已提交
1657
        status.ToString().data());
1658 1659

    if (status.ok()) {
1660 1661
      Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
          "[%s] After refitting:\n%s",
I
Igor Canadi 已提交
1662
          cfd->GetName().c_str(), cfd->current()->DebugString().data());
1663 1664 1665 1666 1667
    }
  }

  refitting_level_ = false;
  bg_work_gate_closed_ = false;
I
Igor Canadi 已提交
1668 1669 1670 1671

  mutex_.Unlock();
  delete superversion_to_free;
  delete new_superversion;
L
Lei Jin 已提交
1672
  return status;
G
Gabor Cselle 已提交
1673 1674
}

1675 1676 1677
int DBImpl::NumberLevels(ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  return cfh->cfd()->NumberLevels();
1678 1679
}

1680 1681
int DBImpl::MaxMemCompactionLevel(ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
1682
  InstrumentedMutexLock l(&mutex_);
L
Lei Jin 已提交
1683 1684
  return cfh->cfd()->GetSuperVersion()->
      mutable_cf_options.max_mem_compaction_level;
1685 1686
}

1687 1688
int DBImpl::Level0StopWriteTrigger(ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
1689
  InstrumentedMutexLock l(&mutex_);
L
Lei Jin 已提交
1690 1691
  return cfh->cfd()->GetSuperVersion()->
      mutable_cf_options.level0_stop_writes_trigger;
1692 1693
}

L
Lei Jin 已提交
1694
Status DBImpl::Flush(const FlushOptions& flush_options,
1695 1696
                     ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
L
Lei Jin 已提交
1697
  return FlushMemTable(cfh->cfd(), flush_options);
H
heyongqiang 已提交
1698 1699
}

1700
SequenceNumber DBImpl::GetLatestSequenceNumber() const {
1701 1702 1703
  return versions_->LastSequence();
}

I
Igor Canadi 已提交
1704
Status DBImpl::RunManualCompaction(ColumnFamilyData* cfd, int input_level,
1705 1706
                                   int output_level, uint32_t output_path_id,
                                   const Slice* begin, const Slice* end) {
1707 1708
  assert(input_level == ColumnFamilyData::kCompactAllLevels ||
         input_level >= 0);
1709

G
Gabor Cselle 已提交
1710 1711
  InternalKey begin_storage, end_storage;

H
hans@chromium.org 已提交
1712
  ManualCompaction manual;
I
Igor Canadi 已提交
1713
  manual.cfd = cfd;
1714 1715
  manual.input_level = input_level;
  manual.output_level = output_level;
1716
  manual.output_path_id = output_path_id;
G
Gabor Cselle 已提交
1717
  manual.done = false;
1718
  manual.in_progress = false;
1719 1720 1721
  // For universal compaction, we enforce every manual compaction to compact
  // all files.
  if (begin == nullptr ||
1722 1723
      cfd->ioptions()->compaction_style == kCompactionStyleUniversal ||
      cfd->ioptions()->compaction_style == kCompactionStyleFIFO) {
1724
    manual.begin = nullptr;
G
Gabor Cselle 已提交
1725
  } else {
1726
    begin_storage.SetMaxPossibleForUserKey(*begin);
G
Gabor Cselle 已提交
1727 1728
    manual.begin = &begin_storage;
  }
1729
  if (end == nullptr ||
1730 1731
      cfd->ioptions()->compaction_style == kCompactionStyleUniversal ||
      cfd->ioptions()->compaction_style == kCompactionStyleFIFO) {
1732
    manual.end = nullptr;
G
Gabor Cselle 已提交
1733
  } else {
1734
    end_storage.SetMinPossibleForUserKey(*end);
G
Gabor Cselle 已提交
1735 1736 1737
    manual.end = &end_storage;
  }

1738
  InstrumentedMutexLock l(&mutex_);
1739

1740 1741 1742 1743 1744 1745
  // 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
1746
  // RunManualCompaction(), i.e. during that time no other compaction will
1747 1748 1749
  // get scheduled (see MaybeScheduleFlushOrCompaction).
  //
  // Note that the following loop doesn't stop more that one thread calling
1750
  // RunManualCompaction() from getting to the second while loop below.
1751 1752 1753 1754 1755
  // 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) {
1756
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
I
Igor Canadi 已提交
1757 1758 1759
        "[%s] Manual compaction waiting for all other scheduled background "
        "compactions to finish",
        cfd->GetName().c_str());
1760 1761
    bg_cv_.Wait();
  }
1762

1763 1764
  Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
      "[%s] Manual compaction starting",
I
Igor Canadi 已提交
1765
      cfd->GetName().c_str());
1766

1767 1768 1769 1770
  // 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) {
1771 1772 1773
    assert(bg_manual_only_ > 0);
    if (manual_compaction_ != nullptr) {
      // Running either this or some other manual compaction
G
Gabor Cselle 已提交
1774
      bg_cv_.Wait();
1775 1776
    } else {
      manual_compaction_ = &manual;
1777
      bg_compaction_scheduled_++;
1778
      env_->Schedule(&DBImpl::BGWorkCompaction, this, Env::Priority::LOW, this);
G
Gabor Cselle 已提交
1779
    }
H
hans@chromium.org 已提交
1780
  }
1781

1782 1783 1784
  assert(!manual.in_progress);
  assert(bg_manual_only_ > 0);
  --bg_manual_only_;
L
Lei Jin 已提交
1785
  return manual.status;
J
jorlow@chromium.org 已提交
1786 1787
}

1788
Status DBImpl::FlushMemTable(ColumnFamilyData* cfd,
L
Lei Jin 已提交
1789
                             const FlushOptions& flush_options) {
S
Stanislau Hlebik 已提交
1790 1791 1792
  Status s;
  {
    WriteContext context;
1793
    InstrumentedMutexLock guard_lock(&mutex_);
1794 1795 1796 1797 1798 1799

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

I
Igor Canadi 已提交
1800 1801
    WriteThread::Writer w(&mutex_);
    s = write_thread_.EnterWriteThread(&w, 0);
S
Stanislau Hlebik 已提交
1802 1803 1804 1805 1806
    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);
1807 1808
    write_thread_.ExitWriteThread(&w, &w, s);

S
Stanislau Hlebik 已提交
1809 1810
    cfd->imm()->FlushRequested();

1811 1812 1813
    // schedule flush
    SchedulePendingFlush(cfd);
    MaybeScheduleFlushOrCompaction();
S
Stanislau Hlebik 已提交
1814
  }
S
Stanislau Hlebik 已提交
1815

L
Lei Jin 已提交
1816
  if (s.ok() && flush_options.wait) {
1817
    // Wait until the compaction completes
1818
    s = WaitForFlushMemTable(cfd);
1819 1820
  }
  return s;
J
jorlow@chromium.org 已提交
1821 1822
}

1823
Status DBImpl::WaitForFlushMemTable(ColumnFamilyData* cfd) {
1824 1825
  Status s;
  // Wait until the compaction completes
1826
  InstrumentedMutexLock l(&mutex_);
1827
  while (cfd->imm()->size() > 0 && bg_error_.ok()) {
1828 1829
    bg_cv_.Wait();
  }
1830
  if (!bg_error_.ok()) {
1831 1832 1833
    s = bg_error_;
  }
  return s;
H
heyongqiang 已提交
1834 1835
}

1836
void DBImpl::MaybeScheduleFlushOrCompaction() {
J
jorlow@chromium.org 已提交
1837
  mutex_.AssertHeld();
1838
  if (bg_work_gate_closed_) {
1839 1840
    // gate closed for background work
    return;
I
Igor Canadi 已提交
1841
  } else if (shutting_down_.load(std::memory_order_acquire)) {
J
jorlow@chromium.org 已提交
1842
    // DB is being deleted; no more background compactions
1843 1844 1845 1846 1847
    return;
  } else if (bg_manual_only_) {
    // manual only
    return;
  }
1848

1849 1850 1851 1852
  while (unscheduled_flushes_ > 0 &&
         bg_flush_scheduled_ < db_options_.max_background_flushes) {
    unscheduled_flushes_--;
    bg_flush_scheduled_++;
1853
    env_->Schedule(&DBImpl::BGWorkFlush, this, Env::Priority::HIGH, this);
1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865
  }

  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_--;
1866
    }
1867
    bg_compaction_scheduled_++;
1868
    env_->Schedule(&DBImpl::BGWorkCompaction, this, Env::Priority::LOW, this);
1869 1870 1871 1872 1873 1874
  }

  while (bg_compaction_scheduled_ < db_options_.max_background_compactions &&
         unscheduled_compactions_ > 0) {
    bg_compaction_scheduled_++;
    unscheduled_compactions_--;
1875
    env_->Schedule(&DBImpl::BGWorkCompaction, this, Env::Priority::LOW, this);
1876 1877 1878 1879 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 1890 1891 1892 1893 1894 1895 1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921
  }
}

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_;
1922 1923 1924
  }
}

1925
void DBImpl::RecordFlushIOStats() {
I
Igor Canadi 已提交
1926
  RecordTick(stats_, FLUSH_WRITE_BYTES, IOSTATS(bytes_written));
1927 1928 1929
  IOSTATS_RESET(bytes_written);
}

1930
void DBImpl::BGWorkFlush(void* db) {
1931
  IOSTATS_SET_THREAD_POOL_ID(Env::Priority::HIGH);
1932 1933 1934 1935
  reinterpret_cast<DBImpl*>(db)->BackgroundCallFlush();
}

void DBImpl::BGWorkCompaction(void* db) {
1936
  IOSTATS_SET_THREAD_POOL_ID(Env::Priority::LOW);
1937
  TEST_SYNC_POINT("DBImpl::BGWorkCompaction");
1938 1939 1940
  reinterpret_cast<DBImpl*>(db)->BackgroundCallCompaction();
}

I
Igor Canadi 已提交
1941
Status DBImpl::BackgroundFlush(bool* madeProgress, JobContext* job_context,
H
Haobo Xu 已提交
1942
                               LogBuffer* log_buffer) {
1943
  mutex_.AssertHeld();
1944

1945 1946 1947 1948 1949 1950 1951
  Status status = bg_error_;
  if (status.ok() && shutting_down_.load(std::memory_order_acquire)) {
    status = Status::ShutdownInProgress();
  }

  if (!status.ok()) {
    return status;
1952 1953
  }

1954 1955 1956
  ColumnFamilyData* cfd = nullptr;
  while (!flush_queue_.empty()) {
    // This cfd is already referenced
I
Igor Canadi 已提交
1957
    auto first_cfd = PopFirstFromFlushQueue();
1958

I
Igor Canadi 已提交
1959
    if (first_cfd->IsDropped() || !first_cfd->imm()->IsFlushPending()) {
1960
      // can't flush this CF, try next one
I
Igor Canadi 已提交
1961 1962
      if (first_cfd->Unref()) {
        delete first_cfd;
1963 1964
      }
      continue;
1965
    }
1966 1967

    // found a flush!
I
Igor Canadi 已提交
1968
    cfd = first_cfd;
1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985
    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;
1986
    }
J
jorlow@chromium.org 已提交
1987
  }
1988
  return status;
J
jorlow@chromium.org 已提交
1989 1990
}

1991
void DBImpl::BackgroundCallFlush() {
1992
  bool madeProgress = false;
1993
  JobContext job_context(next_job_id_.fetch_add(1), true);
1994 1995
  assert(bg_flush_scheduled_);

1996
  LogBuffer log_buffer(InfoLogLevel::INFO_LEVEL, db_options_.info_log.get());
H
Haobo Xu 已提交
1997
  {
1998
    InstrumentedMutexLock l(&mutex_);
H
Haobo Xu 已提交
1999

I
Igor Canadi 已提交
2000 2001 2002
    auto pending_outputs_inserted_elem =
        CaptureCurrentFileNumberInPendingOutputs();

2003
    Status s = BackgroundFlush(&madeProgress, &job_context, &log_buffer);
2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020
    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 已提交
2021 2022
    }

I
Igor Canadi 已提交
2023 2024
    ReleaseFileNumberFromPendingOutputs(pending_outputs_inserted_elem);

2025 2026 2027 2028
    // We're just cleaning up for DB::Write()
    job_context.logs_to_free = logs_to_free_;
    logs_to_free_.clear();

2029 2030 2031
    // If flush failed, we want to delete all temporary files that we might have
    // created. Thus, we force full scan in FindObsoleteFiles()
    FindObsoleteFiles(&job_context, !s.ok() && !s.IsShutdownInProgress());
H
Haobo Xu 已提交
2032
    // delete unnecessary files if any, this is done outside the mutex
I
Igor Canadi 已提交
2033
    if (job_context.HaveSomethingToDelete() || !log_buffer.IsEmpty()) {
2034
      mutex_.Unlock();
2035 2036 2037 2038 2039
      // 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 已提交
2040
      log_buffer.FlushBufferToLog();
I
Igor Canadi 已提交
2041 2042
      if (job_context.HaveSomethingToDelete()) {
        PurgeObsoleteFiles(job_context);
2043
      }
I
Igor Canadi 已提交
2044
      job_context.Clean();
2045 2046
      mutex_.Lock();
    }
I
Igor Canadi 已提交
2047

H
Haobo Xu 已提交
2048
    bg_flush_scheduled_--;
2049 2050
    // See if there's more work to be done
    MaybeScheduleFlushOrCompaction();
I
Igor Canadi 已提交
2051
    RecordFlushIOStats();
H
Haobo Xu 已提交
2052
    bg_cv_.SignalAll();
I
Igor Canadi 已提交
2053 2054 2055 2056
    // 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.
2057
  }
J
jorlow@chromium.org 已提交
2058 2059
}

2060
void DBImpl::BackgroundCallCompaction() {
2061
  bool madeProgress = false;
2062
  JobContext job_context(next_job_id_.fetch_add(1), true);
H
Haobo Xu 已提交
2063 2064

  MaybeDumpStats();
2065
  LogBuffer log_buffer(InfoLogLevel::INFO_LEVEL, db_options_.info_log.get());
2066
  {
2067
    InstrumentedMutexLock l(&mutex_);
I
Igor Canadi 已提交
2068 2069 2070 2071

    auto pending_outputs_inserted_elem =
        CaptureCurrentFileNumberInPendingOutputs();

2072
    assert(bg_compaction_scheduled_);
2073
    Status s = BackgroundCompaction(&madeProgress, &job_context, &log_buffer);
2074 2075 2076 2077 2078 2079
    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 =
2080
          default_cf_internal_stats_->BumpAndGetBackgroundErrorCount();
2081 2082 2083 2084 2085 2086 2087 2088 2089 2090
      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();
2091
    }
H
Haobo Xu 已提交
2092

I
Igor Canadi 已提交
2093 2094
    ReleaseFileNumberFromPendingOutputs(pending_outputs_inserted_elem);

2095 2096 2097 2098
    // We're just cleaning up for DB::Write()
    job_context.logs_to_free = logs_to_free_;
    logs_to_free_.clear();

2099 2100 2101 2102
    // If compaction failed, we want to delete all temporary files that we might
    // have created (they might not be all recorded in job_context in case of a
    // failure). Thus, we force full scan in FindObsoleteFiles()
    FindObsoleteFiles(&job_context, !s.ok() && !s.IsShutdownInProgress());
2103 2104

    // delete unnecessary files if any, this is done outside the mutex
I
Igor Canadi 已提交
2105
    if (job_context.HaveSomethingToDelete() || !log_buffer.IsEmpty()) {
2106
      mutex_.Unlock();
2107 2108 2109 2110 2111
      // 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 已提交
2112
      log_buffer.FlushBufferToLog();
I
Igor Canadi 已提交
2113 2114
      if (job_context.HaveSomethingToDelete()) {
        PurgeObsoleteFiles(job_context);
2115
      }
I
Igor Canadi 已提交
2116
      job_context.Clean();
2117 2118
      mutex_.Lock();
    }
D
Dhruba Borthakur 已提交
2119

2120
    bg_compaction_scheduled_--;
J
jorlow@chromium.org 已提交
2121

2122 2123
    versions_->GetColumnFamilySet()->FreeDeadColumnFamilies();

2124 2125
    // See if there's more work to be done
    MaybeScheduleFlushOrCompaction();
2126 2127
    if (madeProgress || bg_compaction_scheduled_ == 0 || bg_manual_only_ > 0) {
      // signal if
I
Igor Canadi 已提交
2128
      // * madeProgress -- need to wakeup DelayWrite
2129 2130 2131 2132 2133 2134
      // * 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 已提交
2135 2136 2137 2138
    // 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.
2139
  }
J
jorlow@chromium.org 已提交
2140 2141
}

I
Igor Canadi 已提交
2142
Status DBImpl::BackgroundCompaction(bool* madeProgress, JobContext* job_context,
2143
                                    LogBuffer* log_buffer) {
2144
  *madeProgress = false;
J
jorlow@chromium.org 已提交
2145
  mutex_.AssertHeld();
2146

2147 2148
  bool is_manual = (manual_compaction_ != nullptr) &&
                   (manual_compaction_->in_progress == false);
2149

2150 2151 2152 2153 2154 2155
  Status status = bg_error_;
  if (status.ok() && shutting_down_.load(std::memory_order_acquire)) {
    status = Status::ShutdownInProgress();
  }

  if (!status.ok()) {
2156
    if (is_manual) {
2157
      manual_compaction_->status = status;
2158 2159 2160 2161
      manual_compaction_->done = true;
      manual_compaction_->in_progress = false;
      manual_compaction_ = nullptr;
    }
2162
    return status;
2163 2164
  }

2165 2166 2167
  if (is_manual) {
    // another thread cannot pick up the same work
    manual_compaction_->in_progress = true;
2168 2169 2170 2171
  } else if (manual_compaction_ != nullptr) {
    // there should be no automatic compactions running when manual compaction
    // is running
    return Status::OK();
2172 2173
  }

2174 2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187
  // 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);
2188 2189 2190 2191
      // the second condition will be false when a column family is dropped. we
      // don't want to fail compaction because of that (because it might be a
      // different column family)
      if (!flush_status.ok() && !flush_status.IsShutdownInProgress()) {
2192 2193 2194 2195 2196 2197 2198
        if (is_manual) {
          manual_compaction_->status = flush_status;
          manual_compaction_->done = true;
          manual_compaction_->in_progress = false;
          manual_compaction_ = nullptr;
        }
        return flush_status;
2199 2200 2201 2202 2203
      }
    }
  }

  unique_ptr<Compaction> c;
2204 2205
  InternalKey manual_end_storage;
  InternalKey* manual_end = &manual_end_storage;
H
hans@chromium.org 已提交
2206
  if (is_manual) {
G
Gabor Cselle 已提交
2207
    ManualCompaction* m = manual_compaction_;
2208
    assert(m->in_progress);
2209 2210 2211
    c.reset(m->cfd->CompactRange(
          *m->cfd->GetLatestMutableCFOptions(), m->input_level, m->output_level,
          m->output_path_id, m->begin, m->end, &manual_end));
2212
    if (!c) {
2213
      m->done = true;
G
Gabor Cselle 已提交
2214
    }
I
Igor Canadi 已提交
2215 2216 2217 2218 2219 2220 2221 2222 2223
    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()));
2224 2225 2226 2227 2228 2229 2230 2231 2232 2233 2234 2235 2236 2237 2238 2239 2240 2241 2242 2243 2244 2245 2246 2247 2248 2249 2250 2251 2252 2253 2254 2255 2256 2257 2258 2259 2260 2261 2262 2263 2264 2265 2266 2267 2268 2269 2270
  } 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 已提交
2271
        }
I
Igor Canadi 已提交
2272 2273
      }
    }
J
jorlow@chromium.org 已提交
2274 2275
  }

2276
  if (!c) {
H
hans@chromium.org 已提交
2277
    // Nothing to do
2278
    LogToBuffer(log_buffer, "Compaction nothing to do");
I
Igor Canadi 已提交
2279 2280 2281 2282 2283
  } 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);
2284
    assert(c->column_family_data()->ioptions()->compaction_style ==
I
Igor Canadi 已提交
2285 2286
           kCompactionStyleFIFO);
    for (const auto& f : *c->inputs(0)) {
2287
      c->edit()->DeleteFile(c->level(), f->fd.GetNumber());
I
Igor Canadi 已提交
2288
    }
2289 2290 2291
    status = versions_->LogAndApply(c->column_family_data(),
                                    *c->mutable_cf_options(), c->edit(),
                                    &mutex_, directories_.GetDbDir());
I
Igor Canadi 已提交
2292 2293
    InstallSuperVersionBackground(c->column_family_data(), job_context,
                                  *c->mutable_cf_options());
I
Igor Canadi 已提交
2294 2295 2296 2297
    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 已提交
2298
  } else if (!is_manual && c->IsTrivialMove()) {
2299
    TEST_SYNC_POINT("DBImpl::BackgroundCompaction:TrivialMove");
2300 2301 2302 2303 2304
    // 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 已提交
2305
    // Move file to next level
2306
    assert(c->num_input_files(0) == 1);
J
jorlow@chromium.org 已提交
2307
    FileMetaData* f = c->input(0, 0);
2308
    c->edit()->DeleteFile(c->level(), f->fd.GetNumber());
S
sdong 已提交
2309
    c->edit()->AddFile(c->output_level(), f->fd.GetNumber(), f->fd.GetPathId(),
2310 2311
                       f->fd.GetFileSize(), f->smallest, f->largest,
                       f->smallest_seqno, f->largest_seqno);
2312
    status = versions_->LogAndApply(c->column_family_data(),
2313 2314
                                    *c->mutable_cf_options(), c->edit(),
                                    &mutex_, directories_.GetDbDir());
2315
    // Use latest MutableCFOptions
I
Igor Canadi 已提交
2316 2317
    InstallSuperVersionBackground(c->column_family_data(), job_context,
                                  *c->mutable_cf_options());
2318

S
sdong 已提交
2319
    VersionStorageInfo::LevelSummaryStorage tmp;
2320 2321
    c->column_family_data()->internal_stats()->IncBytesMoved(
        c->level() + 1, f->fd.GetFileSize());
2322 2323 2324 2325 2326 2327 2328
    {
      event_logger_.LogToBuffer(log_buffer)
          << "job" << job_context->job_id << "event"
          << "trivial_move"
          << "destination_level" << c->level() + 1 << "file_number"
          << f->fd.GetNumber() << "file_size" << f->fd.GetFileSize();
    }
2329 2330 2331 2332 2333 2334
    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));
2335
    *madeProgress = true;
2336 2337 2338

    // Clear Instrument
    ThreadStatusUtil::ResetThreadStatus();
J
jorlow@chromium.org 已提交
2339
  } else {
2340
    TEST_SYNC_POINT("DBImpl::BackgroundCompaction:NonTrivial");
I
Igor Canadi 已提交
2341 2342 2343 2344 2345
    auto yield_callback = [&]() {
      return CallFlushDuringCompaction(c->column_family_data(),
                                       *c->mutable_cf_options(), job_context,
                                       log_buffer);
    };
2346
    CompactionJob compaction_job(
2347 2348 2349 2350
        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_,
2351
        std::move(yield_callback), &event_logger_);
I
Igor Canadi 已提交
2352 2353 2354 2355
    compaction_job.Prepare();
    mutex_.Unlock();
    status = compaction_job.Run();
    mutex_.Lock();
2356
    compaction_job.Install(&status, &mutex_);
I
Igor Canadi 已提交
2357 2358 2359 2360
    if (status.ok()) {
      InstallSuperVersionBackground(c->column_family_data(), job_context,
                                    *c->mutable_cf_options());
    }
O
Ori Bernstein 已提交
2361 2362 2363 2364 2365
    *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 已提交
2366
    c->ReleaseCompactionFiles(status);
2367
    *madeProgress = true;
J
jorlow@chromium.org 已提交
2368
  }
2369
  // this will unref its input_version and column_family_data
2370
  c.reset();
J
jorlow@chromium.org 已提交
2371 2372 2373

  if (status.ok()) {
    // Done
F
Feng Zhu 已提交
2374
  } else if (status.IsShutdownInProgress()) {
J
jorlow@chromium.org 已提交
2375 2376
    // Ignore compaction errors found during shutting down
  } else {
2377
    Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log, "Compaction error: %s",
2378
        status.ToString().c_str());
2379
    if (db_options_.paranoid_checks && bg_error_.ok()) {
J
jorlow@chromium.org 已提交
2380 2381 2382
      bg_error_ = status;
    }
  }
H
hans@chromium.org 已提交
2383 2384

  if (is_manual) {
G
Gabor Cselle 已提交
2385
    ManualCompaction* m = manual_compaction_;
2386
    if (!status.ok()) {
L
Lei Jin 已提交
2387
      m->status = status;
2388 2389
      m->done = true;
    }
2390 2391 2392 2393 2394 2395 2396 2397 2398
    // 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.
2399 2400 2401 2402 2403
    //
    // 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) {
2404 2405
      m->done = true;
    }
G
Gabor Cselle 已提交
2406 2407 2408
    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 已提交
2409
      // Universal and FIFO compactions should always compact the whole range
S
sdong 已提交
2410 2411 2412
      assert(m->cfd->ioptions()->compaction_style !=
                 kCompactionStyleUniversal ||
             m->cfd->ioptions()->num_levels > 1);
2413
      assert(m->cfd->ioptions()->compaction_style != kCompactionStyleFIFO);
2414
      m->tmp_storage = *manual_end;
G
Gabor Cselle 已提交
2415 2416
      m->begin = &m->tmp_storage;
    }
2417
    m->in_progress = false; // not being processed anymore
2418
    manual_compaction_ = nullptr;
H
hans@chromium.org 已提交
2419
  }
2420
  return status;
J
jorlow@chromium.org 已提交
2421 2422
}

I
Igor Canadi 已提交
2423 2424 2425
uint64_t DBImpl::CallFlushDuringCompaction(
    ColumnFamilyData* cfd, const MutableCFOptions& mutable_cf_options,
    JobContext* job_context, LogBuffer* log_buffer) {
2426
  if (db_options_.max_background_flushes > 0) {
2427 2428 2429
    // flush thread will take care of this
    return 0;
  }
I
Igor Canadi 已提交
2430
  if (cfd->imm()->imm_flush_needed.load(std::memory_order_relaxed)) {
I
Igor Canadi 已提交
2431 2432 2433 2434
    const uint64_t imm_start = env_->NowMicros();
    mutex_.Lock();
    if (cfd->imm()->IsFlushPending()) {
      cfd->Ref();
I
Igor Canadi 已提交
2435 2436
      FlushMemTableToOutputFile(cfd, mutable_cf_options, nullptr, job_context,
                                log_buffer);
I
Igor Canadi 已提交
2437
      cfd->Unref();
I
Igor Canadi 已提交
2438
      bg_cv_.SignalAll();  // Wakeup DelayWrite() if necessary
I
Igor Canadi 已提交
2439 2440 2441 2442 2443 2444 2445 2446
    }
    mutex_.Unlock();
    log_buffer->FlushBufferToLog();
    return env_->NowMicros() - imm_start;
  }
  return 0;
}

2447 2448
namespace {
struct IterState {
2449
  IterState(DBImpl* _db, InstrumentedMutex* _mu, SuperVersion* _super_version)
I
Igor Canadi 已提交
2450
      : db(_db), mu(_mu), super_version(_super_version) {}
2451 2452

  DBImpl* db;
2453
  InstrumentedMutex* mu;
2454
  SuperVersion* super_version;
2455 2456 2457 2458
};

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

2460
  if (state->super_version->Unref()) {
2461 2462 2463
    // Job id == 0 means that this is not our background process, but rather
    // user thread
    JobContext job_context(0);
2464

2465 2466
    state->mu->Lock();
    state->super_version->Cleanup();
I
Igor Canadi 已提交
2467
    state->db->FindObsoleteFiles(&job_context, false, true);
2468 2469 2470
    state->mu->Unlock();

    delete state->super_version;
I
Igor Canadi 已提交
2471 2472
    if (job_context.HaveSomethingToDelete()) {
      state->db->PurgeObsoleteFiles(job_context);
2473
    }
I
Igor Canadi 已提交
2474
    job_context.Clean();
I
Igor Canadi 已提交
2475
  }
T
Tomislav Novak 已提交
2476

2477 2478
  delete state;
}
H
Hans Wennborg 已提交
2479
}  // namespace
2480

L
Lei Jin 已提交
2481
Iterator* DBImpl::NewInternalIterator(const ReadOptions& read_options,
2482
                                      ColumnFamilyData* cfd,
2483 2484 2485
                                      SuperVersion* super_version,
                                      Arena* arena) {
  Iterator* internal_iter;
2486 2487 2488 2489 2490
  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 已提交
2491
      super_version->mem->NewIterator(read_options, arena));
2492
  // Collect all needed child iterators for immutable memtables
L
Lei Jin 已提交
2493
  super_version->imm->AddIterators(read_options, &merge_iter_builder);
2494
  // Collect iterators for files in L0 - Ln
L
Lei Jin 已提交
2495
  super_version->current->AddIterators(read_options, env_options_,
2496 2497
                                       &merge_iter_builder);
  internal_iter = merge_iter_builder.Finish();
2498
  IterState* cleanup = new IterState(this, &mutex_, super_version);
2499
  internal_iter->RegisterCleanup(CleanupIteratorState, cleanup, nullptr);
J
jorlow@chromium.org 已提交
2500 2501 2502 2503

  return internal_iter;
}

2504 2505 2506 2507
ColumnFamilyHandle* DBImpl::DefaultColumnFamily() const {
  return default_cf_handle_;
}

L
Lei Jin 已提交
2508
Status DBImpl::Get(const ReadOptions& read_options,
2509
                   ColumnFamilyHandle* column_family, const Slice& key,
J
jorlow@chromium.org 已提交
2510
                   std::string* value) {
L
Lei Jin 已提交
2511
  return GetImpl(read_options, column_family, key, value);
2512 2513
}

I
Igor Canadi 已提交
2514 2515
// JobContext gets created and destructed outside of the lock --
// we
I
Igor Canadi 已提交
2516 2517
// use this convinently to:
// * malloc one SuperVersion() outside of the lock -- new_superversion
2518
// * delete SuperVersion()s outside of the lock -- superversions_to_free
I
Igor Canadi 已提交
2519
//
I
Igor Canadi 已提交
2520 2521 2522 2523
// However, if InstallSuperVersion() gets called twice with the same
// job_context, we can't reuse the SuperVersion() that got
// malloced
// because
I
Igor Canadi 已提交
2524 2525 2526
// 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 已提交
2527 2528
void DBImpl::InstallSuperVersionBackground(
    ColumnFamilyData* cfd, JobContext* job_context,
2529
    const MutableCFOptions& mutable_cf_options) {
2530
  mutex_.AssertHeld();
I
Igor Canadi 已提交
2531 2532 2533 2534
  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 已提交
2535 2536
}

L
Lei Jin 已提交
2537 2538
SuperVersion* DBImpl::InstallSuperVersion(
    ColumnFamilyData* cfd, SuperVersion* new_sv,
2539
    const MutableCFOptions& mutable_cf_options, bool dont_schedule_bg_work) {
L
Lei Jin 已提交
2540
  mutex_.AssertHeld();
2541 2542 2543 2544 2545 2546 2547 2548 2549

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

2553 2554 2555 2556 2557 2558 2559 2560 2561
  // 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 已提交
2562 2563 2564 2565 2566 2567 2568 2569 2570 2571

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

2577 2578 2579
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();

2580
  SequenceNumber snapshot;
L
Lei Jin 已提交
2581 2582 2583
  if (read_options.snapshot != nullptr) {
    snapshot = reinterpret_cast<const SnapshotImpl*>(
        read_options.snapshot)->number_;
2584 2585
  } else {
    snapshot = versions_->LastSequence();
J
jorlow@chromium.org 已提交
2586
  }
2587

2588
  // Acquire SuperVersion
2589
  SuperVersion* sv = GetAndRefSuperVersion(cfd);
I
Igor Canadi 已提交
2590

2591
  // Prepare to store a list of merge operations if merge occurs.
2592
  MergeContext merge_context;
2593

2594
  Status s;
2595
  // First look in the memtable, then in the immutable memtable (if any).
2596
  // s is both in/out. When in, s could either be OK or MergeInProgress.
2597
  // merge_operands will contain the sequence of merges in the latter case.
2598
  LookupKey lkey(key, snapshot);
L
Lei Jin 已提交
2599
  PERF_TIMER_STOP(get_snapshot_time);
2600

2601
  if (sv->mem->Get(lkey, value, &s, &merge_context)) {
2602
    // Done
L
Lei Jin 已提交
2603
    RecordTick(stats_, MEMTABLE_HIT);
2604
  } else if (sv->imm->Get(lkey, value, &s, &merge_context)) {
2605
    // Done
L
Lei Jin 已提交
2606
    RecordTick(stats_, MEMTABLE_HIT);
2607
  } else {
2608
    PERF_TIMER_GUARD(get_from_output_files_time);
L
Lei Jin 已提交
2609 2610
    sv->current->Get(read_options, lkey, value, &s, &merge_context,
                     value_found);
L
Lei Jin 已提交
2611
    RecordTick(stats_, MEMTABLE_MISS);
2612
  }
2613

2614 2615
  {
    PERF_TIMER_GUARD(get_post_process_time);
2616

2617
    ReturnAndCleanupSuperVersion(cfd, sv);
2618

2619 2620 2621
    RecordTick(stats_, NUMBER_KEYS_READ);
    RecordTick(stats_, BYTES_READ, value->size());
  }
2622
  return s;
J
jorlow@chromium.org 已提交
2623 2624
}

2625
std::vector<Status> DBImpl::MultiGet(
L
Lei Jin 已提交
2626
    const ReadOptions& read_options,
2627
    const std::vector<ColumnFamilyHandle*>& column_family,
2628
    const std::vector<Slice>& keys, std::vector<std::string>* values) {
2629

L
Lei Jin 已提交
2630
  StopWatch sw(env_, stats_, DB_MULTIGET);
2631
  PERF_TIMER_GUARD(get_snapshot_time);
K
Kai Liu 已提交
2632

2633
  SequenceNumber snapshot;
2634

2635
  struct MultiGetColumnFamilyData {
I
Igor Canadi 已提交
2636
    ColumnFamilyData* cfd;
2637 2638 2639 2640 2641
    SuperVersion* super_version;
  };
  std::unordered_map<uint32_t, MultiGetColumnFamilyData*> multiget_cf_data;
  // fill up and allocate outside of mutex
  for (auto cf : column_family) {
2642 2643 2644 2645 2646 2647
    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});
2648 2649 2650
    }
  }

2651
  mutex_.Lock();
L
Lei Jin 已提交
2652 2653 2654
  if (read_options.snapshot != nullptr) {
    snapshot = reinterpret_cast<const SnapshotImpl*>(
        read_options.snapshot)->number_;
2655 2656 2657
  } else {
    snapshot = versions_->LastSequence();
  }
2658
  for (auto mgd_iter : multiget_cf_data) {
2659 2660
    mgd_iter.second->super_version =
        mgd_iter.second->cfd->GetSuperVersion()->Ref();
2661
  }
2662
  mutex_.Unlock();
2663

2664 2665
  // Contain a list of merge operations if merge occurs.
  MergeContext merge_context;
2666

2667
  // Note: this always resizes the values array
2668 2669 2670
  size_t num_keys = keys.size();
  std::vector<Status> stat_list(num_keys);
  values->resize(num_keys);
2671 2672

  // Keep track of bytes that we read for statistics-recording later
2673
  uint64_t bytes_read = 0;
L
Lei Jin 已提交
2674
  PERF_TIMER_STOP(get_snapshot_time);
2675 2676 2677 2678

  // 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.
2679
  // merge_operands will contain the sequence of merges in the latter case.
2680
  for (size_t i = 0; i < num_keys; ++i) {
2681
    merge_context.Clear();
2682
    Status& s = stat_list[i];
2683 2684 2685
    std::string* value = &(*values)[i];

    LookupKey lkey(keys[i], snapshot);
2686 2687
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family[i]);
    auto mgd_iter = multiget_cf_data.find(cfh->cfd()->GetID());
2688 2689 2690
    assert(mgd_iter != multiget_cf_data.end());
    auto mgd = mgd_iter->second;
    auto super_version = mgd->super_version;
2691
    if (super_version->mem->Get(lkey, value, &s, &merge_context)) {
2692
      // Done
2693
    } else if (super_version->imm->Get(lkey, value, &s, &merge_context)) {
2694 2695
      // Done
    } else {
2696
      PERF_TIMER_GUARD(get_from_output_files_time);
L
Lei Jin 已提交
2697 2698
      super_version->current->Get(read_options, lkey, value, &s,
                                  &merge_context);
2699 2700 2701
    }

    if (s.ok()) {
2702
      bytes_read += value->size();
2703 2704 2705 2706
    }
  }

  // Post processing (decrement reference counts and record statistics)
2707
  PERF_TIMER_GUARD(get_post_process_time);
2708 2709
  autovector<SuperVersion*> superversions_to_delete;

I
Igor Canadi 已提交
2710
  // TODO(icanadi) do we need lock here or just around Cleanup()?
2711 2712 2713 2714 2715 2716
  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);
2717 2718
    }
  }
2719 2720 2721 2722 2723 2724 2725
  mutex_.Unlock();

  for (auto td : superversions_to_delete) {
    delete td;
  }
  for (auto mgd : multiget_cf_data) {
    delete mgd.second;
2726
  }
2727

L
Lei Jin 已提交
2728 2729 2730
  RecordTick(stats_, NUMBER_MULTIGET_CALLS);
  RecordTick(stats_, NUMBER_MULTIGET_KEYS_READ, num_keys);
  RecordTick(stats_, NUMBER_MULTIGET_BYTES_READ, bytes_read);
L
Lei Jin 已提交
2731
  PERF_TIMER_STOP(get_post_process_time);
2732

2733
  return stat_list;
2734 2735
}

L
Lei Jin 已提交
2736
Status DBImpl::CreateColumnFamily(const ColumnFamilyOptions& cf_options,
2737
                                  const std::string& column_family_name,
2738
                                  ColumnFamilyHandle** handle) {
Y
Yueh-Hsuan Chiang 已提交
2739
  Status s;
I
Igor Canadi 已提交
2740
  *handle = nullptr;
Y
Yueh-Hsuan Chiang 已提交
2741
  {
2742
    InstrumentedMutexLock l(&mutex_);
I
Igor Canadi 已提交
2743

Y
Yueh-Hsuan Chiang 已提交
2744 2745 2746 2747 2748 2749 2750 2751 2752 2753 2754 2755 2756 2757
    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 已提交
2758 2759 2760 2761 2762 2763 2764 2765
    {  // 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,
2766
          &mutex_, directories_.GetDbDir(), false, &cf_options);
I
Igor Canadi 已提交
2767 2768
      write_thread_.ExitWriteThread(&w, &w, s);
    }
Y
Yueh-Hsuan Chiang 已提交
2769 2770 2771 2772 2773 2774 2775
    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 已提交
2776 2777 2778 2779 2780

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

Y
Yueh-Hsuan Chiang 已提交
2781 2782 2783 2784 2785 2786 2787 2788 2789
      *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());
    }
2790
  }  // InstrumentedMutexLock l(&mutex_)
Y
Yueh-Hsuan Chiang 已提交
2791 2792

  // this is outside the mutex
2793
  if (s.ok()) {
Y
Yueh-Hsuan Chiang 已提交
2794 2795
    NewThreadStatusCfInfo(
        reinterpret_cast<ColumnFamilyHandleImpl*>(*handle)->cfd());
2796
  }
2797
  return s;
2798 2799
}

2800 2801 2802 2803
Status DBImpl::DropColumnFamily(ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
  if (cfd->GetID() == 0) {
2804 2805
    return Status::InvalidArgument("Can't drop default column family");
  }
2806

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

I
Igor Canadi 已提交
2809 2810
  VersionEdit edit;
  edit.DropColumnFamily();
2811 2812
  edit.SetColumnFamily(cfd->GetID());

2813
  Status s;
2814
  {
2815
    InstrumentedMutexLock l(&mutex_);
2816 2817 2818 2819
    if (cfd->IsDropped()) {
      s = Status::InvalidArgument("Column family already dropped!\n");
    }
    if (s.ok()) {
2820
      // we drop column family from a single write thread
I
Igor Canadi 已提交
2821 2822
      WriteThread::Writer w(&mutex_);
      s = write_thread_.EnterWriteThread(&w, 0);
2823
      assert(s.ok() && !w.done);  // No timeout and nobody should do our job
2824 2825
      s = versions_->LogAndApply(cfd, *cfd->GetLatestMutableCFOptions(),
                                 &edit, &mutex_);
I
Igor Canadi 已提交
2826
      write_thread_.ExitWriteThread(&w, &w, s);
2827
    }
S
sdong 已提交
2828 2829 2830 2831 2832 2833

    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()) {
2834
        if (!c->IsDropped() && !c->mem()->IsSnapshotSupported()) {
S
sdong 已提交
2835 2836 2837 2838 2839 2840
          new_is_snapshot_supported = false;
          break;
        }
      }
      is_snapshot_supported_ = new_is_snapshot_supported;
    }
2841
  }
2842

2843
  if (s.ok()) {
Y
Yueh-Hsuan Chiang 已提交
2844 2845 2846 2847
    // 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 已提交
2848
    assert(cfd->IsDropped());
L
Lei Jin 已提交
2849 2850 2851
    auto* mutable_cf_options = cfd->GetLatestMutableCFOptions();
    max_total_in_memory_state_ -= mutable_cf_options->write_buffer_size *
                                  mutable_cf_options->max_write_buffer_number;
2852 2853
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
        "Dropped column family with id %u\n",
2854
        cfd->GetID());
2855
  } else {
2856
    Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
2857
        "Dropping column family with id %u FAILED -- %s\n",
2858 2859 2860
        cfd->GetID(), s.ToString().c_str());
  }

2861
  return s;
2862 2863
}

L
Lei Jin 已提交
2864
bool DBImpl::KeyMayExist(const ReadOptions& read_options,
2865 2866
                         ColumnFamilyHandle* column_family, const Slice& key,
                         std::string* value, bool* value_found) {
2867
  if (value_found != nullptr) {
K
Kai Liu 已提交
2868 2869
    // falsify later if key-may-exist but can't fetch value
    *value_found = true;
2870
  }
L
Lei Jin 已提交
2871
  ReadOptions roptions = read_options;
2872
  roptions.read_tier = kBlockCacheTier; // read from block cache only
2873
  auto s = GetImpl(roptions, column_family, key, value, value_found);
K
Kai Liu 已提交
2874

2875
  // If block_cache is enabled and the index block of the table didn't
K
Kai Liu 已提交
2876 2877 2878
  // 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();
2879 2880
}

2881
Iterator* DBImpl::NewIterator(const ReadOptions& read_options,
2882 2883 2884
                              ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
T
Tomislav Novak 已提交
2885

V
Venkatesh Radhakrishnan 已提交
2886 2887 2888 2889 2890 2891 2892 2893 2894 2895 2896 2897 2898 2899 2900 2901 2902 2903
  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 已提交
2904 2905 2906 2907
#ifdef ROCKSDB_LITE
    // not supported in lite version
    return nullptr;
#else
2908 2909
    SuperVersion* sv = cfd->GetReferencedSuperVersion(&mutex_);
    auto iter = new ForwardIterator(this, read_options, cfd, sv);
2910
    return NewDBIterator(env_, *cfd->ioptions(), cfd->user_comparator(), iter,
2911 2912 2913
        kMaxSequenceNumber,
        sv->mutable_cf_options.max_sequential_skip_in_iterations,
        read_options.iterate_upper_bound);
I
Igor Canadi 已提交
2914
#endif
T
Tomislav Novak 已提交
2915
  } else {
2916
    SequenceNumber latest_snapshot = versions_->LastSequence();
2917
    SuperVersion* sv = cfd->GetReferencedSuperVersion(&mutex_);
2918

I
Igor Canadi 已提交
2919
    auto snapshot =
2920 2921 2922
        read_options.snapshot != nullptr
            ? reinterpret_cast<const SnapshotImpl*>(
                read_options.snapshot)->number_
I
Igor Canadi 已提交
2923
            : latest_snapshot;
T
Tomislav Novak 已提交
2924

2925 2926 2927 2928 2929 2930 2931 2932 2933 2934 2935 2936 2937 2938 2939 2940 2941 2942 2943 2944 2945 2946 2947 2948 2949 2950 2951 2952 2953 2954 2955 2956 2957 2958 2959 2960 2961 2962 2963 2964 2965 2966 2967
    // 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(
2968
        env_, *cfd->ioptions(), cfd->user_comparator(),
2969
        snapshot, sv->mutable_cf_options.max_sequential_skip_in_iterations,
2970
        read_options.iterate_upper_bound);
2971

2972
    Iterator* internal_iter =
2973
        NewInternalIterator(read_options, cfd, sv, db_iter->GetArena());
2974 2975 2976 2977
    db_iter->SetIterUnderDBIter(internal_iter);

    return db_iter;
  }
2978 2979
  // To stop compiler from complaining
  return nullptr;
J
jorlow@chromium.org 已提交
2980 2981
}

2982
Status DBImpl::NewIterators(
2983
    const ReadOptions& read_options,
I
Igor Canadi 已提交
2984
    const std::vector<ColumnFamilyHandle*>& column_families,
2985
    std::vector<Iterator*>* iterators) {
I
Igor Canadi 已提交
2986 2987
  iterators->clear();
  iterators->reserve(column_families.size());
V
Venkatesh Radhakrishnan 已提交
2988 2989 2990 2991 2992 2993 2994 2995 2996 2997 2998 2999 3000 3001 3002 3003 3004 3005 3006 3007
  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 已提交
3008 3009 3010 3011
#ifdef ROCKSDB_LITE
    return Status::InvalidArgument(
        "Tailing interator not supported in RocksDB lite");
#else
I
Igor Canadi 已提交
3012 3013
    for (auto cfh : column_families) {
      auto cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(cfh)->cfd();
3014 3015
      SuperVersion* sv = cfd->GetReferencedSuperVersion(&mutex_);
      auto iter = new ForwardIterator(this, read_options, cfd, sv);
L
Lei Jin 已提交
3016
      iterators->push_back(
3017
          NewDBIterator(env_, *cfd->ioptions(), cfd->user_comparator(), iter,
3018 3019
              kMaxSequenceNumber,
              sv->mutable_cf_options.max_sequential_skip_in_iterations));
I
Igor Canadi 已提交
3020
    }
I
Igor Canadi 已提交
3021
#endif
I
Igor Canadi 已提交
3022
  } else {
3023 3024
    SequenceNumber latest_snapshot = versions_->LastSequence();

I
Igor Canadi 已提交
3025
    for (size_t i = 0; i < column_families.size(); ++i) {
3026 3027 3028
      auto* cfd = reinterpret_cast<ColumnFamilyHandleImpl*>(
          column_families[i])->cfd();
      SuperVersion* sv = cfd->GetReferencedSuperVersion(&mutex_);
I
Igor Canadi 已提交
3029 3030

      auto snapshot =
3031 3032 3033
          read_options.snapshot != nullptr
              ? reinterpret_cast<const SnapshotImpl*>(
                  read_options.snapshot)->number_
I
Igor Canadi 已提交
3034 3035
              : latest_snapshot;

3036
      ArenaWrappedDBIter* db_iter = NewArenaWrappedDbIterator(
3037
          env_, *cfd->ioptions(), cfd->user_comparator(), snapshot,
3038
          sv->mutable_cf_options.max_sequential_skip_in_iterations);
3039
      Iterator* internal_iter = NewInternalIterator(
3040
          read_options, cfd, sv, db_iter->GetArena());
3041 3042
      db_iter->SetIterUnderDBIter(internal_iter);
      iterators->push_back(db_iter);
I
Igor Canadi 已提交
3043 3044 3045 3046
    }
  }

  return Status::OK();
3047 3048
}

J
jorlow@chromium.org 已提交
3049
const Snapshot* DBImpl::GetSnapshot() {
3050 3051 3052
  int64_t unix_time = 0;
  env_->GetCurrentTime(&unix_time);  // Ignore error

3053
  InstrumentedMutexLock l(&mutex_);
3054
  // returns null if the underlying memtable does not support snapshot.
S
sdong 已提交
3055
  if (!is_snapshot_supported_) return nullptr;
3056
  return snapshots_.New(versions_->LastSequence(), unix_time);
J
jorlow@chromium.org 已提交
3057 3058 3059
}

void DBImpl::ReleaseSnapshot(const Snapshot* s) {
3060
  InstrumentedMutexLock l(&mutex_);
3061
  snapshots_.Delete(reinterpret_cast<const SnapshotImpl*>(s));
J
jorlow@chromium.org 已提交
3062 3063 3064
}

// Convenience methods
3065 3066
Status DBImpl::Put(const WriteOptions& o, ColumnFamilyHandle* column_family,
                   const Slice& key, const Slice& val) {
3067
  return DB::Put(o, column_family, key, val);
J
jorlow@chromium.org 已提交
3068 3069
}

3070 3071 3072
Status DBImpl::Merge(const WriteOptions& o, ColumnFamilyHandle* column_family,
                     const Slice& key, const Slice& val) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
3073
  if (!cfh->cfd()->ioptions()->merge_operator) {
3074 3075
    return Status::NotSupported("Provide a merge_operator when opening DB");
  } else {
3076
    return DB::Merge(o, column_family, key, val);
3077 3078 3079
  }
}

L
Lei Jin 已提交
3080
Status DBImpl::Delete(const WriteOptions& write_options,
3081
                      ColumnFamilyHandle* column_family, const Slice& key) {
L
Lei Jin 已提交
3082
  return DB::Delete(write_options, column_family, key);
J
jorlow@chromium.org 已提交
3083 3084
}

L
Lei Jin 已提交
3085
Status DBImpl::Write(const WriteOptions& write_options, WriteBatch* my_batch) {
S
Stanislau Hlebik 已提交
3086 3087 3088
  if (my_batch == nullptr) {
    return Status::Corruption("Batch is nullptr!");
  }
3089
  PERF_TIMER_GUARD(write_pre_and_post_process_time);
I
Igor Canadi 已提交
3090
  WriteThread::Writer w(&mutex_);
S
Stanislau Hlebik 已提交
3091
  w.batch = my_batch;
L
Lei Jin 已提交
3092 3093
  w.sync = write_options.sync;
  w.disableWAL = write_options.disableWAL;
S
Stanislau Hlebik 已提交
3094 3095
  w.in_batch_group = false;
  w.done = false;
L
Lei Jin 已提交
3096
  w.timeout_hint_us = write_options.timeout_hint_us;
S
Stanislau Hlebik 已提交
3097 3098

  uint64_t expiration_time = 0;
I
Igor Canadi 已提交
3099
  bool has_timeout = false;
S
Stanislau Hlebik 已提交
3100
  if (w.timeout_hint_us == 0) {
I
Igor Canadi 已提交
3101
    w.timeout_hint_us = WriteThread::kNoTimeOut;
S
Stanislau Hlebik 已提交
3102 3103
  } else {
    expiration_time = env_->NowMicros() + w.timeout_hint_us;
I
Igor Canadi 已提交
3104
    has_timeout = true;
S
Stanislau Hlebik 已提交
3105 3106
  }

L
Lei Jin 已提交
3107
  if (!write_options.disableWAL) {
S
Stanislau Hlebik 已提交
3108 3109 3110 3111 3112
    RecordTick(stats_, WRITE_WITH_WAL);
  }

  WriteContext context;
  mutex_.Lock();
I
Igor Canadi 已提交
3113 3114 3115 3116 3117

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

I
Igor Canadi 已提交
3118
  Status status = write_thread_.EnterWriteThread(&w, expiration_time);
S
Stanislau Hlebik 已提交
3119 3120
  assert(status.ok() || status.IsTimedOut());
  if (status.IsTimedOut()) {
3121
    mutex_.Unlock();
L
Lei Jin 已提交
3122
    RecordTick(stats_, WRITE_TIMEDOUT);
3123
    return Status::TimedOut();
3124
  }
S
Stanislau Hlebik 已提交
3125 3126 3127 3128 3129 3130 3131 3132 3133 3134
  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);
3135

3136 3137 3138 3139
  // 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.
3140 3141 3142
  assert(!single_column_family_mode_ ||
         versions_->GetColumnFamilySet()->NumberOfColumnFamilies() == 1);

3143
  uint64_t max_total_wal_size = (db_options_.max_total_wal_size == 0)
3144
                                    ? 4 * max_total_in_memory_state_
3145
                                    : db_options_.max_total_wal_size;
3146
  if (UNLIKELY(!single_column_family_mode_) &&
3147
      alive_log_files_.begin()->getting_flushed == false &&
I
Igor Canadi 已提交
3148
      total_log_size_ > max_total_wal_size) {
I
Igor Canadi 已提交
3149
    uint64_t flush_column_family_if_log_file = alive_log_files_.begin()->number;
I
Igor Canadi 已提交
3150
    alive_log_files_.begin()->getting_flushed = true;
3151
    Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
3152 3153 3154
        "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 已提交
3155 3156
    // no need to refcount because drop is happening in write thread, so can't
    // happen while we're in the write thread
3157
    for (auto cfd : *versions_->GetColumnFamilySet()) {
3158 3159 3160
      if (cfd->IsDropped()) {
        continue;
      }
I
Igor Canadi 已提交
3161
      if (cfd->GetLogNumber() <= flush_column_family_if_log_file) {
S
Stanislau Hlebik 已提交
3162
        status = SetNewMemtableAndNewLogFile(cfd, &context);
I
Igor Canadi 已提交
3163 3164 3165
        if (!status.ok()) {
          break;
        }
S
Stanislau Hlebik 已提交
3166
        cfd->imm()->FlushRequested();
3167 3168
        SchedulePendingFlush(cfd);
        context.schedule_bg_work_ = true;
3169
      }
3170
    }
3171 3172 3173 3174 3175 3176 3177 3178
  } 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()) {
3179 3180 3181
      if (cfd->IsDropped()) {
        continue;
      }
3182 3183 3184 3185 3186 3187
      if (!cfd->mem()->IsEmpty()) {
        status = SetNewMemtableAndNewLogFile(cfd, &context);
        if (!status.ok()) {
          break;
        }
        cfd->imm()->FlushRequested();
3188 3189
        SchedulePendingFlush(cfd);
        context.schedule_bg_work_ = true;
3190 3191 3192
      }
    }
    MaybeScheduleFlushOrCompaction();
I
Igor Canadi 已提交
3193 3194 3195 3196 3197 3198 3199 3200 3201 3202 3203 3204
  }

  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 已提交
3205
    status = DelayWrite(expiration_time);
I
Igor Canadi 已提交
3206 3207 3208 3209 3210
  }

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

D
dgrogan@chromium.org 已提交
3213
  uint64_t last_sequence = versions_->LastSequence();
I
Igor Canadi 已提交
3214
  WriteThread::Writer* last_writer = &w;
S
Stanislau Hlebik 已提交
3215
  if (status.ok()) {
3216
    autovector<WriteBatch*> write_batch_group;
I
Igor Canadi 已提交
3217
    write_thread_.BuildBatchGroup(&last_writer, &write_batch_group);
3218

3219 3220 3221
    // 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
3222
    // into memtables
3223
    {
3224
      mutex_.Unlock();
3225 3226 3227 3228 3229 3230 3231 3232 3233 3234
      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]);
        }
      }

3235 3236 3237 3238
      const SequenceNumber current_sequence = last_sequence + 1;
      WriteBatchInternal::SetSequence(updates, current_sequence);
      int my_batch_count = WriteBatchInternal::Count(updates);
      last_sequence += my_batch_count;
3239
      const uint64_t batch_size = WriteBatchInternal::ByteSize(updates);
3240
      // Record statistics
L
Lei Jin 已提交
3241
      RecordTick(stats_, NUMBER_KEYS_WRITTEN, my_batch_count);
S
sdong 已提交
3242
      RecordTick(stats_, BYTES_WRITTEN, batch_size);
L
Lei Jin 已提交
3243
      if (write_options.disableWAL) {
3244
        flush_on_destroy_ = true;
3245
      }
L
Lei Jin 已提交
3246
      PERF_TIMER_STOP(write_pre_and_post_process_time);
3247

3248
      uint64_t log_size = 0;
L
Lei Jin 已提交
3249
      if (!write_options.disableWAL) {
3250
        PERF_TIMER_GUARD(write_wal_time);
3251 3252
        Slice log_entry = WriteBatchInternal::Contents(updates);
        status = log_->AddRecord(log_entry);
I
Igor Canadi 已提交
3253 3254
        total_log_size_ += log_entry.size();
        alive_log_files_.back().AddSize(log_entry.size());
3255
        log_empty_ = false;
3256
        log_size = log_entry.size();
L
Lei Jin 已提交
3257
        RecordTick(stats_, WAL_FILE_BYTES, log_size);
L
Lei Jin 已提交
3258
        if (status.ok() && write_options.sync) {
I
Igor Canadi 已提交
3259
          RecordTick(stats_, WAL_FILE_SYNCED);
3260
          StopWatch sw(env_, stats_, WAL_FILE_SYNC_MICROS);
3261
          if (db_options_.use_fsync) {
3262
            status = log_->file()->Fsync();
3263
          } else {
3264
            status = log_->file()->Sync();
3265
          }
3266
          if (status.ok() && !log_dir_synced_) {
3267 3268 3269 3270 3271
            // 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();
          }
3272
          log_dir_synced_ = true;
H
heyongqiang 已提交
3273
        }
3274 3275
      }
      if (status.ok()) {
3276
        PERF_TIMER_GUARD(write_memtable_time);
Y
Yueh-Hsuan Chiang 已提交
3277

3278
        status = WriteBatchInternal::InsertInto(
I
Igor Canadi 已提交
3279
            updates, column_family_memtables_.get(),
L
Lei Jin 已提交
3280
            write_options.ignore_missing_column_families, 0, this, false);
Y
Yueh-Hsuan Chiang 已提交
3281 3282 3283 3284 3285 3286 3287 3288
        // 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 已提交
3289
        SetTickerCount(stats_, SEQUENCE_NUMBER, last_sequence);
3290
      }
L
Lei Jin 已提交
3291
      PERF_TIMER_START(write_pre_and_post_process_time);
3292 3293 3294
      if (updates == &tmp_batch_) {
        tmp_batch_.Clear();
      }
3295
      mutex_.Lock();
3296 3297 3298
      // internal stats
      default_cf_internal_stats_->AddDBStats(
          InternalStats::BYTES_WRITTEN, batch_size);
S
sdong 已提交
3299 3300
      default_cf_internal_stats_->AddDBStats(InternalStats::NUMBER_KEYS_WRITTEN,
                                             my_batch_count);
L
Lei Jin 已提交
3301
      if (!write_options.disableWAL) {
3302 3303 3304 3305 3306
        default_cf_internal_stats_->AddDBStats(
            InternalStats::WAL_FILE_SYNCED, 1);
        default_cf_internal_stats_->AddDBStats(
            InternalStats::WAL_FILE_BYTES, log_size);
      }
3307
      if (status.ok()) {
3308
        versions_->SetLastSequence(last_sequence);
3309
      }
J
jorlow@chromium.org 已提交
3310 3311
    }
  }
3312
  if (db_options_.paranoid_checks && !status.ok() &&
3313
      !status.IsTimedOut() && bg_error_.ok()) {
I
Igor Canadi 已提交
3314 3315
    bg_error_ = status; // stop compaction & fail any further writes
  }
3316

I
Igor Canadi 已提交
3317
  write_thread_.ExitWriteThread(&w, last_writer, status);
3318 3319 3320 3321

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

3324
  if (status.IsTimedOut()) {
L
Lei Jin 已提交
3325
    RecordTick(stats_, WRITE_TIMEDOUT);
3326 3327
  }

J
jorlow@chromium.org 已提交
3328 3329 3330
  return status;
}

3331 3332
// REQUIRES: mutex_ is held
// REQUIRES: this thread is currently at the front of the writer queue
I
Igor Canadi 已提交
3333
Status DBImpl::DelayWrite(uint64_t expiration_time) {
S
sdong 已提交
3334 3335
  uint64_t time_delayed = 0;
  bool delayed = false;
3336
  bool timed_out = false;
S
sdong 已提交
3337 3338 3339 3340 3341 3342 3343 3344
  {
    StopWatch sw(env_, stats_, WRITE_STALL, &time_delayed);
    bool has_timeout = (expiration_time > 0);
    auto delay = write_controller_.GetDelay();
    if (write_controller_.IsStopped() == false && delay > 0) {
      mutex_.Unlock();
      delayed = true;
      // hopefully we don't have to sleep more than 2 billion microseconds
S
sdong 已提交
3345
      TEST_SYNC_POINT("DBImpl::DelayWrite:Sleep");
S
sdong 已提交
3346 3347 3348
      env_->SleepForMicroseconds(static_cast<int>(delay));
      mutex_.Lock();
    }
3349

S
sdong 已提交
3350 3351 3352
    while (bg_error_.ok() && write_controller_.IsStopped()) {
      delayed = true;
      if (has_timeout) {
S
sdong 已提交
3353
        TEST_SYNC_POINT("DBImpl::DelayWrite:TimedWait");
S
sdong 已提交
3354 3355
        bg_cv_.TimedWait(expiration_time);
        if (env_->NowMicros() > expiration_time) {
3356 3357
          timed_out = true;
          break;
S
sdong 已提交
3358 3359 3360
        }
      } else {
        bg_cv_.Wait();
3361 3362 3363
      }
    }
  }
S
sdong 已提交
3364 3365 3366 3367 3368
  if (delayed) {
    default_cf_internal_stats_->AddDBStats(InternalStats::WRITE_STALL_MICROS,
                                           time_delayed);
    RecordTick(stats_, STALL_MICROS, time_delayed);
  }
I
Igor Canadi 已提交
3369

3370 3371 3372 3373
  if (timed_out) {
    return Status::TimedOut();
  }

I
Igor Canadi 已提交
3374
  return bg_error_;
3375 3376
}

I
Igor Canadi 已提交
3377 3378 3379 3380
Status DBImpl::ScheduleFlushes(WriteContext* context) {
  ColumnFamilyData* cfd;
  while ((cfd = flush_scheduler_.GetNextColumnFamily()) != nullptr) {
    auto status = SetNewMemtableAndNewLogFile(cfd, context);
3381 3382
    SchedulePendingFlush(cfd);
    context->schedule_bg_work_ = true;
I
Igor Canadi 已提交
3383 3384 3385 3386 3387
    if (cfd->Unref()) {
      delete cfd;
    }
    if (!status.ok()) {
      return status;
S
Stanislau Hlebik 已提交
3388 3389
    }
  }
I
Igor Canadi 已提交
3390
  return Status::OK();
S
Stanislau Hlebik 已提交
3391 3392 3393 3394 3395 3396 3397 3398 3399 3400 3401 3402 3403
}

// 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.
3404
  assert(versions_->prev_log_number() == 0);
S
Stanislau Hlebik 已提交
3405 3406 3407 3408
  bool creating_new_log = !log_empty_;
  uint64_t new_log_number =
      creating_new_log ? versions_->NewFileNumber() : logfile_number_;
  SuperVersion* new_superversion = nullptr;
3409
  const MutableCFOptions mutable_cf_options = *cfd->GetLatestMutableCFOptions();
S
Stanislau Hlebik 已提交
3410 3411 3412 3413
  mutex_.Unlock();
  Status s;
  {
    if (creating_new_log) {
3414
      s = env_->NewWritableFile(
3415 3416
          LogFileName(db_options_.wal_dir, new_log_number), &lfile,
          env_->OptimizeForLogWrite(env_options_));
S
Stanislau Hlebik 已提交
3417 3418 3419
      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 已提交
3420 3421
        lfile->SetPreallocationBlockSize(
            1.1 * mutable_cf_options.write_buffer_size);
S
Stanislau Hlebik 已提交
3422
        new_log = new log::Writer(std::move(lfile));
3423
        log_dir_synced_ = false;
I
Igor Canadi 已提交
3424
      }
S
Stanislau Hlebik 已提交
3425 3426 3427
    }

    if (s.ok()) {
3428
      new_mem = cfd->ConstructNewMemtable(mutable_cf_options);
S
Stanislau Hlebik 已提交
3429 3430 3431
      new_superversion = new SuperVersion();
    }
  }
3432
  Log(InfoLogLevel::DEBUG_LEVEL, db_options_.info_log,
I
Igor Canadi 已提交
3433 3434
      "[%s] New memtable created with log file: #%" PRIu64 "\n",
      cfd->GetName().c_str(), new_log_number);
S
Stanislau Hlebik 已提交
3435 3436 3437 3438 3439 3440 3441 3442 3443 3444 3445
  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);
3446
    logs_to_free_.push_back(log_.release());
S
Stanislau Hlebik 已提交
3447 3448 3449
    log_.reset(new_log);
    log_empty_ = true;
    alive_log_files_.push_back(LogFileNumberSize(logfile_number_));
I
Igor Canadi 已提交
3450
    for (auto loop_cfd : *versions_->GetColumnFamilySet()) {
S
Stanislau Hlebik 已提交
3451 3452 3453 3454
      // 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 已提交
3455 3456 3457
      if (loop_cfd->mem()->GetFirstSequenceNumber() == 0 &&
          loop_cfd->imm()->size() == 0) {
        loop_cfd->SetLogNumber(logfile_number_);
3458
      }
3459 3460
    }
  }
S
Stanislau Hlebik 已提交
3461 3462 3463 3464 3465
  cfd->mem()->SetNextLogNumber(logfile_number_);
  cfd->imm()->Add(cfd->mem());
  new_mem->Ref();
  cfd->SetMemtable(new_mem);
  context->superversions_to_free_.push_back(
3466
      InstallSuperVersion(cfd, new_superversion, mutable_cf_options, true));
3467 3468 3469
  return s;
}

I
Igor Canadi 已提交
3470
#ifndef ROCKSDB_LITE
I
Igor Canadi 已提交
3471 3472 3473 3474 3475
Status DBImpl::GetPropertiesOfAllTables(ColumnFamilyHandle* column_family,
                                        TablePropertiesCollection* props) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();

3476 3477
  // Increment the ref count
  mutex_.Lock();
I
Igor Canadi 已提交
3478
  auto version = cfd->current();
3479 3480 3481 3482 3483 3484 3485 3486 3487 3488 3489 3490
  version->Ref();
  mutex_.Unlock();

  auto s = version->GetPropertiesOfAllTables(props);

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

  return s;
}
I
Igor Canadi 已提交
3491
#endif  // ROCKSDB_LITE
3492

I
Igor Canadi 已提交
3493 3494 3495 3496
const std::string& DBImpl::GetName() const {
  return dbname_;
}

3497 3498 3499 3500
Env* DBImpl::GetEnv() const {
  return env_;
}

3501 3502
const Options& DBImpl::GetOptions(ColumnFamilyHandle* column_family) const {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
I
Igor Canadi 已提交
3503
  return *cfh->cfd()->options();
I
Igor Canadi 已提交
3504 3505
}

3506
bool DBImpl::GetProperty(ColumnFamilyHandle* column_family,
3507
                         const Slice& property, std::string* value) {
3508 3509
  bool is_int_property = false;
  bool need_out_of_mutex = false;
3510 3511 3512
  DBPropertyType property_type =
      GetPropertyType(property, &is_int_property, &need_out_of_mutex);

3513
  value->clear();
3514 3515 3516 3517 3518
  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) {
3519
      *value = ToString(int_value);
3520 3521 3522 3523 3524
    }
    return ret_value;
  } else {
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
    auto cfd = cfh->cfd();
3525
    InstrumentedMutexLock l(&mutex_);
3526 3527 3528
    return cfd->internal_stats()->GetStringProperty(property_type, property,
                                                    value);
  }
J
jorlow@chromium.org 已提交
3529 3530
}

3531 3532
bool DBImpl::GetIntProperty(ColumnFamilyHandle* column_family,
                            const Slice& property, uint64_t* value) {
3533 3534
  bool is_int_property = false;
  bool need_out_of_mutex = false;
3535 3536 3537 3538 3539 3540 3541 3542 3543 3544 3545 3546
  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) {
3547 3548
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
3549 3550

  if (!need_out_of_mutex) {
3551
    InstrumentedMutexLock l(&mutex_);
3552
    return cfd->internal_stats()->GetIntProperty(property_type, value, this);
3553 3554 3555 3556 3557 3558 3559 3560 3561 3562 3563 3564 3565 3566
  } 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 已提交
3567
  return cfd->GetThreadLocalSuperVersion(&mutex_);
3568 3569 3570 3571
}

void DBImpl::ReturnAndCleanupSuperVersion(ColumnFamilyData* cfd,
                                          SuperVersion* sv) {
I
Igor Canadi 已提交
3572
  bool unref_sv = !cfd->ReturnThreadLocalSuperVersion(sv);
3573 3574 3575 3576 3577

  if (unref_sv) {
    // Release SuperVersion
    if (sv->Unref()) {
      {
3578
        InstrumentedMutexLock l(&mutex_);
3579 3580 3581 3582 3583 3584 3585
        sv->Cleanup();
      }
      delete sv;
      RecordTick(stats_, NUMBER_SUPERVERSION_CLEANUPS);
    }
    RecordTick(stats_, NUMBER_SUPERVERSION_RELEASES);
  }
3586 3587
}

3588
void DBImpl::GetApproximateSizes(ColumnFamilyHandle* column_family,
3589
                                 const Range* range, int n, uint64_t* sizes) {
J
jorlow@chromium.org 已提交
3590
  Version* v;
3591 3592
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
J
jorlow@chromium.org 已提交
3593
  {
3594
    InstrumentedMutexLock l(&mutex_);
3595
    v = cfd->current();
3596
    v->Ref();
J
jorlow@chromium.org 已提交
3597 3598 3599 3600
  }

  for (int i = 0; i < n; i++) {
    // Convert user_key into a corresponding internal key.
3601 3602 3603
    InternalKey k1(range[i].start, kMaxSequenceNumber, kValueTypeForSeek);
    InternalKey k2(range[i].limit, kMaxSequenceNumber, kValueTypeForSeek);
    sizes[i] = versions_->ApproximateSize(v, k1.Encode(), k2.Encode());
J
jorlow@chromium.org 已提交
3604 3605 3606
  }

  {
3607
    InstrumentedMutexLock l(&mutex_);
J
jorlow@chromium.org 已提交
3608 3609 3610 3611
    v->Unref();
  }
}

I
Igor Canadi 已提交
3612 3613 3614 3615 3616 3617 3618 3619 3620 3621 3622 3623 3624 3625 3626 3627
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 已提交
3628 3629 3630 3631 3632
#ifndef ROCKSDB_LITE
Status DBImpl::GetUpdatesSince(
    SequenceNumber seq, unique_ptr<TransactionLogIterator>* iter,
    const TransactionLogIterator::ReadOptions& read_options) {

L
Lei Jin 已提交
3633
  RecordTick(stats_, GET_UPDATES_SINCE_CALLS);
I
Igor Canadi 已提交
3634 3635 3636
  if (seq > versions_->LastSequence()) {
    return Status::NotFound("Requested sequence not yet written in the db");
  }
I
Igor Canadi 已提交
3637
  return wal_manager_.GetUpdatesSince(seq, iter, read_options, versions_.get());
I
Igor Canadi 已提交
3638 3639
}

3640 3641 3642
Status DBImpl::DeleteFile(std::string name) {
  uint64_t number;
  FileType type;
3643 3644 3645
  WalFileType log_type;
  if (!ParseFileName(name, &number, &type, &log_type) ||
      (type != kTableFile && type != kLogFile)) {
3646 3647
    Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
        "DeleteFile %s failed.\n", name.c_str());
3648 3649 3650
    return Status::InvalidArgument("Invalid file name");
  }

3651 3652 3653 3654
  Status status;
  if (type == kLogFile) {
    // Only allow deleting archived log files
    if (log_type != kArchivedLogFile) {
3655 3656
      Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
          "DeleteFile %s failed - not archived log.\n",
3657
          name.c_str());
3658 3659
      return Status::NotSupported("Delete only supported for archived logs");
    }
3660
    status = env_->DeleteFile(db_options_.wal_dir + "/" + name.c_str());
3661
    if (!status.ok()) {
3662 3663
      Log(InfoLogLevel::ERROR_LEVEL, db_options_.info_log,
          "DeleteFile %s failed -- %s.\n",
3664
          name.c_str(), status.ToString().c_str());
3665 3666 3667 3668
    }
    return status;
  }

3669
  int level;
I
Igor Canadi 已提交
3670
  FileMetaData* metadata;
3671
  ColumnFamilyData* cfd;
3672
  VersionEdit edit;
3673
  JobContext job_context(next_job_id_.fetch_add(1), true);
D
Dhruba Borthakur 已提交
3674
  {
3675
    InstrumentedMutexLock l(&mutex_);
3676
    status = versions_->GetMetadataForFile(number, &level, &metadata, &cfd);
D
Dhruba Borthakur 已提交
3677
    if (!status.ok()) {
3678 3679
      Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log,
          "DeleteFile %s failed. File not found\n", name.c_str());
I
Igor Canadi 已提交
3680
      job_context.Clean();
D
Dhruba Borthakur 已提交
3681 3682
      return Status::InvalidArgument("File not found");
    }
3683
    assert(level < cfd->NumberLevels());
3684

D
Dhruba Borthakur 已提交
3685
    // If the file is being compacted no need to delete.
3686
    if (metadata->being_compacted) {
3687
      Log(InfoLogLevel::INFO_LEVEL, db_options_.info_log,
3688
          "DeleteFile %s Skipped. File about to be compacted\n", name.c_str());
I
Igor Canadi 已提交
3689
      job_context.Clean();
D
Dhruba Borthakur 已提交
3690
      return Status::OK();
3691 3692
    }

D
Dhruba Borthakur 已提交
3693 3694 3695
    // 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 已提交
3696
    auto* vstoreage = cfd->current()->storage_info();
I
Igor Canadi 已提交
3697
    for (int i = level + 1; i < cfd->NumberLevels(); i++) {
S
sdong 已提交
3698
      if (vstoreage->NumLevelFiles(i) != 0) {
3699
        Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log,
3700
            "DeleteFile %s FAILED. File not in last level\n", name.c_str());
I
Igor Canadi 已提交
3701
        job_context.Clean();
D
Dhruba Borthakur 已提交
3702 3703 3704
        return Status::InvalidArgument("File not in last level");
      }
    }
3705
    // if level == 0, it has to be the oldest file
S
sdong 已提交
3706 3707
    if (level == 0 &&
        vstoreage->LevelFiles(0).back()->fd.GetNumber() != number) {
3708 3709
      Log(InfoLogLevel::WARN_LEVEL, db_options_.info_log,
          "DeleteFile %s failed ---"
L
Lei Jin 已提交
3710
          " target file in level 0 must be the oldest.", name.c_str());
I
Igor Canadi 已提交
3711
      job_context.Clean();
3712 3713 3714
      return Status::InvalidArgument("File in level 0, but not oldest");
    }
    edit.SetColumnFamily(cfd->GetID());
D
Dhruba Borthakur 已提交
3715
    edit.DeleteFile(level, number);
3716
    status = versions_->LogAndApply(cfd, *cfd->GetLatestMutableCFOptions(),
3717
                                    &edit, &mutex_, directories_.GetDbDir());
I
Igor Canadi 已提交
3718
    if (status.ok()) {
I
Igor Canadi 已提交
3719 3720
      InstallSuperVersionBackground(cfd, &job_context,
                                    *cfd->GetLatestMutableCFOptions());
I
Igor Canadi 已提交
3721
    }
I
Igor Canadi 已提交
3722 3723
    FindObsoleteFiles(&job_context, false);
  }  // lock released here
3724
  LogFlush(db_options_.info_log);
I
Igor Canadi 已提交
3725
  // remove files outside the db-lock
I
Igor Canadi 已提交
3726 3727
  if (job_context.HaveSomethingToDelete()) {
    PurgeObsoleteFiles(job_context);
3728
  }
I
Igor Canadi 已提交
3729
  job_context.Clean();
3730 3731 3732
  return status;
}

3733
void DBImpl::GetLiveFilesMetaData(std::vector<LiveFileMetaData>* metadata) {
3734
  InstrumentedMutexLock l(&mutex_);
3735
  versions_->GetLiveFilesMetaData(metadata);
3736
}
3737 3738 3739 3740 3741 3742 3743 3744 3745 3746 3747

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 已提交
3748
#endif  // ROCKSDB_LITE
3749

I
Igor Canadi 已提交
3750 3751 3752 3753 3754 3755 3756
Status DBImpl::CheckConsistency() {
  mutex_.AssertHeld();
  std::vector<LiveFileMetaData> metadata;
  versions_->GetLiveFilesMetaData(&metadata);

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

I
Igor Canadi 已提交
3760 3761 3762 3763 3764 3765
    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) {
3766
      corruption_messages += "Sst file size mismatch: " + file_path +
I
Igor Canadi 已提交
3767
                             ". Size recorded in manifest " +
3768 3769
                             ToString(md.size) + ", actual size " +
                             ToString(fsize) + "\n";
I
Igor Canadi 已提交
3770 3771 3772 3773 3774 3775 3776 3777 3778
    }
  }
  if (corruption_messages.size() == 0) {
    return Status::OK();
  } else {
    return Status::Corruption(corruption_messages);
  }
}

3779 3780 3781 3782 3783 3784 3785 3786 3787 3788 3789 3790 3791 3792 3793
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;
3794
  s = idfile->Read(static_cast<size_t>(file_size), &id, buffer);
3795 3796 3797 3798 3799 3800 3801 3802 3803 3804 3805
  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 已提交
3806 3807
// Default implementations of convenience methods that subclasses of DB
// can call if they wish
3808
Status DB::Put(const WriteOptions& opt, ColumnFamilyHandle* column_family,
3809
               const Slice& key, const Slice& value) {
3810 3811 3812 3813
  // 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);
3814
  batch.Put(column_family, key, value);
J
jorlow@chromium.org 已提交
3815 3816 3817
  return Write(opt, &batch);
}

3818 3819
Status DB::Delete(const WriteOptions& opt, ColumnFamilyHandle* column_family,
                  const Slice& key) {
J
jorlow@chromium.org 已提交
3820
  WriteBatch batch;
3821
  batch.Delete(column_family, key);
J
jorlow@chromium.org 已提交
3822 3823 3824
  return Write(opt, &batch);
}

3825 3826
Status DB::Merge(const WriteOptions& opt, ColumnFamilyHandle* column_family,
                 const Slice& key, const Slice& value) {
3827
  WriteBatch batch;
3828
  batch.Merge(column_family, key, value);
3829 3830 3831
  return Write(opt, &batch);
}

3832
// Default implementation -- returns not supported status
L
Lei Jin 已提交
3833
Status DB::CreateColumnFamily(const ColumnFamilyOptions& cf_options,
3834
                              const std::string& column_family_name,
3835
                              ColumnFamilyHandle** handle) {
3836
  return Status::NotSupported("");
3837
}
3838
Status DB::DropColumnFamily(ColumnFamilyHandle* column_family) {
3839
  return Status::NotSupported("");
3840 3841
}

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

J
Jim Paton 已提交
3844
Status DB::Open(const Options& options, const std::string& dbname, DB** dbptr) {
3845 3846 3847 3848
  DBOptions db_options(options);
  ColumnFamilyOptions cf_options(options);
  std::vector<ColumnFamilyDescriptor> column_families;
  column_families.push_back(
3849
      ColumnFamilyDescriptor(kDefaultColumnFamilyName, cf_options));
3850
  std::vector<ColumnFamilyHandle*> handles;
3851
  Status s = DB::Open(db_options, dbname, column_families, &handles, dbptr);
3852 3853 3854 3855 3856 3857 3858
  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;
3859 3860
}

3861 3862
Status DB::Open(const DBOptions& db_options, const std::string& dbname,
                const std::vector<ColumnFamilyDescriptor>& column_families,
3863
                std::vector<ColumnFamilyHandle*>* handles, DB** dbptr) {
3864
  Status s = SanitizeOptionsByTable(db_options, column_families);
3865 3866 3867
  if (!s.ok()) {
    return s;
  }
3868

3869
  if (db_options.db_paths.size() > 1) {
3870
    for (auto& cfd : column_families) {
3871 3872
      if ((cfd.options.compaction_style != kCompactionStyleUniversal) &&
          (cfd.options.compaction_style != kCompactionStyleLevel)) {
3873 3874
        return Status::NotSupported(
            "More than one DB paths are only supported in "
3875
            "universal and level compaction styles. ");
3876 3877 3878 3879 3880
      }
    }

    if (db_options.db_paths.size() > 4) {
      return Status::NotSupported(
3881
          "More than four DB paths are not supported yet. ");
3882
    }
3883 3884
  }

3885
  *dbptr = nullptr;
3886
  handles->clear();
J
jorlow@chromium.org 已提交
3887

I
Igor Canadi 已提交
3888 3889 3890 3891
  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);
3892
  }
3893

I
Igor Canadi 已提交
3894
  DBImpl* impl = new DBImpl(db_options, dbname);
3895
  s = impl->env_->CreateDirIfMissing(impl->db_options_.wal_dir);
3896
  if (s.ok()) {
3897
    for (auto db_path : impl->db_options_.db_paths) {
3898
      s = impl->env_->CreateDirIfMissing(db_path.path);
3899 3900 3901 3902 3903 3904
      if (!s.ok()) {
        break;
      }
    }
  }

3905 3906 3907 3908 3909 3910
  if (!s.ok()) {
    delete impl;
    return s;
  }

  s = impl->CreateArchivalDirectory();
3911 3912 3913 3914
  if (!s.ok()) {
    delete impl;
    return s;
  }
J
jorlow@chromium.org 已提交
3915
  impl->mutex_.Lock();
3916 3917
  // Handles create_if_missing, error_if_exists
  s = impl->Recover(column_families);
J
jorlow@chromium.org 已提交
3918
  if (s.ok()) {
3919
    uint64_t new_log_number = impl->versions_->NewFileNumber();
3920
    unique_ptr<WritableFile> lfile;
3921
    EnvOptions soptions(db_options);
3922 3923 3924
    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 已提交
3925
    if (s.ok()) {
3926
      lfile->SetPreallocationBlockSize(1.1 * max_write_buffer_size);
3927
      impl->logfile_number_ = new_log_number;
3928
      impl->log_.reset(new log::Writer(std::move(lfile)));
I
Igor Canadi 已提交
3929

3930 3931
      // set column family handles
      for (auto cf : column_families) {
I
Igor Canadi 已提交
3932 3933
        auto cfd =
            impl->versions_->GetColumnFamilySet()->GetColumnFamily(cf.name);
I
Igor Canadi 已提交
3934 3935 3936
        if (cfd != nullptr) {
          handles->push_back(
              new ColumnFamilyHandleImpl(cfd, impl, &impl->mutex_));
3937
          impl->NewThreadStatusCfInfo(cfd);
I
Igor Canadi 已提交
3938 3939 3940 3941 3942 3943 3944 3945 3946 3947 3948 3949 3950 3951 3952 3953
        } 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 已提交
3954
        }
3955
      }
I
Igor Canadi 已提交
3956 3957
    }
    if (s.ok()) {
3958
      for (auto cfd : *impl->versions_->GetColumnFamilySet()) {
L
Lei Jin 已提交
3959 3960
        delete impl->InstallSuperVersion(
            cfd, nullptr, *cfd->GetLatestMutableCFOptions());
3961
      }
I
Igor Canadi 已提交
3962 3963
      impl->alive_log_files_.push_back(
          DBImpl::LogFileNumberSize(impl->logfile_number_));
J
jorlow@chromium.org 已提交
3964
      impl->DeleteObsoleteFiles();
3965
      s = impl->directories_.GetDbDir()->Fsync();
J
jorlow@chromium.org 已提交
3966 3967
    }
  }
3968

I
Igor Canadi 已提交
3969 3970
  if (s.ok()) {
    for (auto cfd : *impl->versions_->GetColumnFamilySet()) {
S
sdong 已提交
3971
      if (cfd->ioptions()->compaction_style == kCompactionStyleFIFO) {
S
sdong 已提交
3972
        auto* vstorage = cfd->current()->storage_info();
3973
        for (int i = 1; i < vstorage->num_levels(); ++i) {
S
sdong 已提交
3974
          int num_files = vstorage->NumLevelFiles(i);
I
Igor Canadi 已提交
3975
          if (num_files > 0) {
I
Igor Canadi 已提交
3976 3977
            s = Status::InvalidArgument(
                "Not all files are at level 0. Cannot "
S
sdong 已提交
3978
                "open with FIFO compaction style.");
I
Igor Canadi 已提交
3979 3980 3981 3982
            break;
          }
        }
      }
S
sdong 已提交
3983 3984 3985
      if (!cfd->mem()->IsSnapshotSupported()) {
        impl->is_snapshot_supported_ = false;
      }
3986
      if (cfd->ioptions()->merge_operator != nullptr &&
3987 3988 3989 3990 3991
          !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 已提交
3992
      if (!s.ok()) {
3993 3994 3995 3996 3997
        break;
      }
    }
  }

3998 3999
  impl->mutex_.Unlock();

J
jorlow@chromium.org 已提交
4000
  if (s.ok()) {
4001
    impl->opened_successfully_ = true;
S
sdong 已提交
4002 4003
    Log(InfoLogLevel::INFO_LEVEL, impl->db_options_.info_log, "DB pointer %p",
        impl);
J
jorlow@chromium.org 已提交
4004 4005
    *dbptr = impl;
  } else {
Y
Yueh-Hsuan Chiang 已提交
4006
    for (auto* h : *handles) {
4007 4008
      delete h;
    }
4009
    handles->clear();
J
jorlow@chromium.org 已提交
4010 4011 4012 4013 4014
    delete impl;
  }
  return s;
}

4015 4016 4017
Status DB::ListColumnFamilies(const DBOptions& db_options,
                              const std::string& name,
                              std::vector<std::string>* column_families) {
I
Igor Canadi 已提交
4018
  return VersionSet::ListColumnFamilies(column_families, name, db_options.env);
4019 4020
}

4021 4022 4023
Snapshot::~Snapshot() {
}

J
jorlow@chromium.org 已提交
4024
Status DestroyDB(const std::string& dbname, const Options& options) {
4025
  const InternalKeyComparator comparator(options.comparator);
4026
  const Options& soptions(SanitizeOptions(dbname, &comparator, options));
4027
  Env* env = soptions.env;
J
jorlow@chromium.org 已提交
4028
  std::vector<std::string> filenames;
4029

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

J
jorlow@chromium.org 已提交
4033
  FileLock* lock;
4034 4035
  const std::string lockname = LockFileName(dbname);
  Status result = env->LockFile(lockname, &lock);
J
jorlow@chromium.org 已提交
4036 4037 4038
  if (result.ok()) {
    uint64_t number;
    FileType type;
4039
    InfoLogPrefix info_log_prefix(!options.db_log_dir.empty(), dbname);
D
dgrogan@chromium.org 已提交
4040
    for (size_t i = 0; i < filenames.size(); i++) {
4041
      if (ParseFileName(filenames[i], &number, info_log_prefix.prefix, &type) &&
4042
          type != kDBLockFile) {  // Lock file will be deleted at end
K
Kosie van der Merwe 已提交
4043 4044 4045 4046 4047 4048
        Status del;
        if (type == kMetaDatabase) {
          del = DestroyDB(dbname + "/" + filenames[i], options);
        } else {
          del = env->DeleteFile(dbname + "/" + filenames[i]);
        }
J
jorlow@chromium.org 已提交
4049 4050 4051 4052 4053
        if (result.ok() && !del.ok()) {
          result = del;
        }
      }
    }
4054

4055 4056
    for (auto& db_path : options.db_paths) {
      env->GetChildren(db_path.path, &filenames);
4057 4058 4059
      for (size_t i = 0; i < filenames.size(); i++) {
        if (ParseFileName(filenames[i], &number, &type) &&
            type == kTableFile) {  // Lock file will be deleted at end
4060
          Status del = env->DeleteFile(db_path.path + "/" + filenames[i]);
4061 4062 4063 4064 4065 4066 4067
          if (result.ok() && !del.ok()) {
            result = del;
          }
        }
      }
    }

I
Igor Canadi 已提交
4068 4069 4070 4071 4072 4073 4074 4075 4076 4077 4078 4079 4080 4081 4082 4083 4084 4085
    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;
4086
    env->GetChildren(archivedir, &archiveFiles);
4087 4088
    // Delete archival files.
    for (size_t i = 0; i < archiveFiles.size(); ++i) {
4089 4090
      if (ParseFileName(archiveFiles[i], &number, &type) &&
          type == kLogFile) {
4091
        Status del = env->DeleteFile(archivedir + "/" + archiveFiles[i]);
4092 4093 4094 4095 4096
        if (result.ok() && !del.ok()) {
          result = del;
        }
      }
    }
4097
    // ignore case where no archival directory is present.
4098
    env->DeleteDir(archivedir);
4099

J
jorlow@chromium.org 已提交
4100
    env->UnlockFile(lock);  // Ignore error since state is already gone
4101
    env->DeleteFile(lockname);
J
jorlow@chromium.org 已提交
4102
    env->DeleteDir(dbname);  // Ignore error in case dir contains other files
4103
    env->DeleteDir(soptions.wal_dir);
J
jorlow@chromium.org 已提交
4104 4105 4106 4107
  }
  return result;
}

Y
Yueh-Hsuan Chiang 已提交
4108
#if ROCKSDB_USING_THREAD_STATUS
4109

Y
Yueh-Hsuan Chiang 已提交
4110 4111
void DBImpl::NewThreadStatusCfInfo(
    ColumnFamilyData* cfd) const {
4112
  if (db_options_.enable_thread_tracking) {
4113
    ThreadStatusUtil::NewColumnFamilyInfo(this, cfd);
4114
  }
Y
Yueh-Hsuan Chiang 已提交
4115 4116 4117 4118
}

void DBImpl::EraseThreadStatusCfInfo(
    ColumnFamilyData* cfd) const {
4119
  if (db_options_.enable_thread_tracking) {
4120
    ThreadStatusUtil::EraseColumnFamilyInfo(cfd);
4121
  }
Y
Yueh-Hsuan Chiang 已提交
4122 4123 4124
}

void DBImpl::EraseThreadStatusDbInfo() const {
4125
  if (db_options_.enable_thread_tracking) {
4126
    ThreadStatusUtil::EraseDatabaseInfo(this);
4127
  }
Y
Yueh-Hsuan Chiang 已提交
4128 4129 4130 4131 4132 4133 4134 4135 4136 4137 4138 4139 4140 4141 4142
}

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

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

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

4143 4144
//
// A global method that can dump out the build version
I
Igor Canadi 已提交
4145
void DumpRocksDBBuildVersion(Logger * log) {
I
Igor Canadi 已提交
4146
#if !defined(IOS_CROSS_COMPILE)
I
Igor Canadi 已提交
4147 4148
  // if we compile with Xcode, we don't run build_detect_vesion, so we don't
  // generate util/build_version.cc
4149 4150
  Log(InfoLogLevel::INFO_LEVEL, log,
      "RocksDB version: %d.%d.%d\n", ROCKSDB_MAJOR, ROCKSDB_MINOR,
I
Igor Canadi 已提交
4151
      ROCKSDB_PATCH);
4152
  Log(InfoLogLevel::INFO_LEVEL, log, "Git sha %s", rocksdb_build_git_sha);
4153 4154
  Log(InfoLogLevel::INFO_LEVEL, log, "Compile date %s",
      rocksdb_build_compile_date);
I
Igor Canadi 已提交
4155
#endif
4156 4157
}

4158
}  // namespace rocksdb