db_impl.h 31.9 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
// 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.
9
#pragma once
K
Kai Liu 已提交
10

H
Haobo Xu 已提交
11
#include <atomic>
12
#include <deque>
13
#include <limits>
I
Igor Canadi 已提交
14
#include <list>
15
#include <set>
I
Igor Canadi 已提交
16
#include <string>
17 18
#include <utility>
#include <vector>
K
kailiu 已提交
19

20
#include "db/column_family.h"
21
#include "db/compaction_job.h"
22
#include "db/dbformat.h"
23
#include "db/flush_job.h"
24 25
#include "db/flush_scheduler.h"
#include "db/internal_stats.h"
A
agiardullo 已提交
26 27
#include "db/log_writer.h"
#include "db/snapshot_impl.h"
28
#include "db/version_edit.h"
I
Igor Canadi 已提交
29
#include "db/wal_manager.h"
30 31
#include "db/write_controller.h"
#include "db/write_thread.h"
32
#include "db/writebuffer.h"
K
Kai Liu 已提交
33 34
#include "memtable_list.h"
#include "port/port.h"
35 36 37 38
#include "rocksdb/db.h"
#include "rocksdb/env.h"
#include "rocksdb/memtablerep.h"
#include "rocksdb/transaction_log.h"
39
#include "util/autovector.h"
I
Igor Canadi 已提交
40 41
#include "util/event_logger.h"
#include "util/hash.h"
42
#include "util/instrumented_mutex.h"
43 44 45
#include "util/scoped_arena_iterator.h"
#include "util/stop_watch.h"
#include "util/thread_local.h"
46

47
namespace rocksdb {
J
jorlow@chromium.org 已提交
48 49 50 51 52 53

class MemTable;
class TableCache;
class Version;
class VersionEdit;
class VersionSet;
D
Danny Guo 已提交
54
class CompactionFilterV2;
55
class Arena;
A
agiardullo 已提交
56
class WriteCallback;
I
Igor Canadi 已提交
57
struct JobContext;
J
jorlow@chromium.org 已提交
58 59 60

class DBImpl : public DB {
 public:
I
Igor Canadi 已提交
61
  DBImpl(const DBOptions& options, const std::string& dbname);
J
jorlow@chromium.org 已提交
62 63 64
  virtual ~DBImpl();

  // Implementations of the DB interface
65 66
  using DB::Put;
  virtual Status Put(const WriteOptions& options,
67
                     ColumnFamilyHandle* column_family, const Slice& key,
I
Igor Sugak 已提交
68
                     const Slice& value) override;
69 70
  using DB::Merge;
  virtual Status Merge(const WriteOptions& options,
71
                       ColumnFamilyHandle* column_family, const Slice& key,
I
Igor Sugak 已提交
72
                       const Slice& value) override;
73 74
  using DB::Delete;
  virtual Status Delete(const WriteOptions& options,
I
Igor Sugak 已提交
75 76
                        ColumnFamilyHandle* column_family,
                        const Slice& key) override;
A
Andres Noetzli 已提交
77 78 79 80
  using DB::SingleDelete;
  virtual Status SingleDelete(const WriteOptions& options,
                              ColumnFamilyHandle* column_family,
                              const Slice& key) override;
81
  using DB::Write;
I
Igor Sugak 已提交
82 83
  virtual Status Write(const WriteOptions& options,
                       WriteBatch* updates) override;
A
agiardullo 已提交
84

85
  using DB::Get;
J
jorlow@chromium.org 已提交
86
  virtual Status Get(const ReadOptions& options,
87
                     ColumnFamilyHandle* column_family, const Slice& key,
I
Igor Sugak 已提交
88
                     std::string* value) override;
89 90 91
  using DB::MultiGet;
  virtual std::vector<Status> MultiGet(
      const ReadOptions& options,
92
      const std::vector<ColumnFamilyHandle*>& column_family,
I
Igor Sugak 已提交
93 94
      const std::vector<Slice>& keys,
      std::vector<std::string>* values) override;
95

96
  virtual Status CreateColumnFamily(const ColumnFamilyOptions& options,
97
                                    const std::string& column_family,
I
Igor Sugak 已提交
98 99
                                    ColumnFamilyHandle** handle) override;
  virtual Status DropColumnFamily(ColumnFamilyHandle* column_family) override;
100

101 102 103 104
  // Returns false if key doesn't exist in the database and true if it may.
  // If value_found is not passed in as null, then return the value if found in
  // memory. On return, if value was found, then value_found will be set to true
  // , otherwise false.
105
  using DB::KeyMayExist;
106
  virtual bool KeyMayExist(const ReadOptions& options,
107
                           ColumnFamilyHandle* column_family, const Slice& key,
I
Igor Sugak 已提交
108 109
                           std::string* value,
                           bool* value_found = nullptr) override;
110 111
  using DB::NewIterator;
  virtual Iterator* NewIterator(const ReadOptions& options,
I
Igor Sugak 已提交
112
                                ColumnFamilyHandle* column_family) override;
113 114
  virtual Status NewIterators(
      const ReadOptions& options,
I
Igor Canadi 已提交
115
      const std::vector<ColumnFamilyHandle*>& column_families,
I
Igor Sugak 已提交
116 117 118
      std::vector<Iterator*>* iterators) override;
  virtual const Snapshot* GetSnapshot() override;
  virtual void ReleaseSnapshot(const Snapshot* snapshot) override;
119
  using DB::GetProperty;
120
  virtual bool GetProperty(ColumnFamilyHandle* column_family,
I
Igor Sugak 已提交
121
                           const Slice& property, std::string* value) override;
122 123 124
  using DB::GetIntProperty;
  virtual bool GetIntProperty(ColumnFamilyHandle* column_family,
                              const Slice& property, uint64_t* value) override;
125
  using DB::GetApproximateSizes;
126
  virtual void GetApproximateSizes(ColumnFamilyHandle* column_family,
127 128
                                   const Range* range, int n, uint64_t* sizes,
                                   bool include_memtable = false) override;
129
  using DB::CompactRange;
130 131 132
  virtual Status CompactRange(const CompactRangeOptions& options,
                              ColumnFamilyHandle* column_family,
                              const Slice* begin, const Slice* end) override;
133

134
  using DB::CompactFiles;
I
Igor Sugak 已提交
135 136 137 138 139
  virtual Status 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 = -1) override;
140

141
  using DB::SetOptions;
I
Igor Sugak 已提交
142 143 144
  Status SetOptions(
      ColumnFamilyHandle* column_family,
      const std::unordered_map<std::string, std::string>& options_map) override;
145

146
  using DB::NumberLevels;
I
Igor Sugak 已提交
147
  virtual int NumberLevels(ColumnFamilyHandle* column_family) override;
148
  using DB::MaxMemCompactionLevel;
I
Igor Sugak 已提交
149
  virtual int MaxMemCompactionLevel(ColumnFamilyHandle* column_family) override;
150
  using DB::Level0StopWriteTrigger;
I
Igor Sugak 已提交
151 152 153 154
  virtual int Level0StopWriteTrigger(
      ColumnFamilyHandle* column_family) override;
  virtual const std::string& GetName() const override;
  virtual Env* GetEnv() const override;
155
  using DB::GetOptions;
I
Igor Sugak 已提交
156 157
  virtual const Options& GetOptions(
      ColumnFamilyHandle* column_family) const override;
158 159
  using DB::GetDBOptions;
  virtual const DBOptions& GetDBOptions() const override;
160 161
  using DB::Flush;
  virtual Status Flush(const FlushOptions& options,
I
Igor Sugak 已提交
162
                       ColumnFamilyHandle* column_family) override;
163
  virtual Status SyncWAL() override;
I
Igor Canadi 已提交
164

I
Igor Sugak 已提交
165
  virtual SequenceNumber GetLatestSequenceNumber() const override;
I
Igor Canadi 已提交
166 167

#ifndef ROCKSDB_LITE
I
Igor Sugak 已提交
168 169
  virtual Status DisableFileDeletions() override;
  virtual Status EnableFileDeletions(bool force) override;
170
  virtual int IsFileDeletionsEnabled() const;
I
Igor Canadi 已提交
171
  // All the returned filenames start with "/"
172
  virtual Status GetLiveFiles(std::vector<std::string>&,
173
                              uint64_t* manifest_file_size,
I
Igor Sugak 已提交
174 175
                              bool flush_memtable = true) override;
  virtual Status GetSortedWalFiles(VectorLogPtr& files) override;
I
Igor Canadi 已提交
176

177 178 179
  virtual Status GetUpdatesSince(
      SequenceNumber seq_number, unique_ptr<TransactionLogIterator>* iter,
      const TransactionLogIterator::ReadOptions&
I
Igor Sugak 已提交
180 181
          read_options = TransactionLogIterator::ReadOptions()) override;
  virtual Status DeleteFile(std::string name) override;
182

I
Igor Sugak 已提交
183 184
  virtual void GetLiveFilesMetaData(
      std::vector<LiveFileMetaData>* metadata) override;
185 186 187 188 189 190 191 192 193

  // Obtains the meta data of the specified column family of the DB.
  // Status::NotFound() will be returned if the current DB does not have
  // any column family match the specified name.
  // TODO(yhchiang): output parameter is placed in the end in this codebase.
  virtual void GetColumnFamilyMetaData(
      ColumnFamilyHandle* column_family,
      ColumnFamilyMetaData* metadata) override;

194 195 196 197
  // experimental API
  Status SuggestCompactRange(ColumnFamilyHandle* column_family,
                             const Slice* begin, const Slice* end);

198 199
  Status PromoteL0(ColumnFamilyHandle* column_family, int target_level);

A
agiardullo 已提交
200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227
  // Similar to Write() but will call the callback once on the single write
  // thread to determine whether it is safe to perform the write.
  virtual Status WriteWithCallback(const WriteOptions& write_options,
                                   WriteBatch* my_batch,
                                   WriteCallback* callback);

  // Returns the sequence number that is guaranteed to be smaller than or equal
  // to the sequence number of any key that could be inserted into the current
  // memtables. It can then be assumed that any write with a larger(or equal)
  // sequence number will be present in this memtable or a later memtable.
  //
  // If the earliest sequence number could not be determined,
  // kMaxSequenceNumber will be returned.
  //
  // If include_history=true, will also search Memtables in MemTableList
  // History.
  SequenceNumber GetEarliestMemTableSequenceNumber(SuperVersion* sv,
                                                   bool include_history);

  // For a given key, check to see if there are any records for this key
  // in the memtables, including memtable history.

  // On success, *seq will contain the sequence number for the
  // latest such change or kMaxSequenceNumber if no records were present.
  // Returns OK on success, other status on error reading memtables.
  Status GetLatestSequenceForKeyFromMemtable(SuperVersion* sv, const Slice& key,
                                             SequenceNumber* seq);

I
Igor Canadi 已提交
228
#endif  // ROCKSDB_LITE
229

I
Igor Canadi 已提交
230 231 232 233
  // checks if all live files exist on file system and that their file sizes
  // match to our in-memory records
  virtual Status CheckConsistency();

234
  virtual Status GetDbIdentity(std::string& identity) const override;
235

I
Igor Canadi 已提交
236
  Status RunManualCompaction(ColumnFamilyData* cfd, int input_level,
237
                             int output_level, uint32_t output_path_id,
238 239
                             const Slice* begin, const Slice* end,
                             bool disallow_trivial_move = false);
240

241
#ifndef ROCKSDB_LITE
J
jorlow@chromium.org 已提交
242
  // Extra methods (for testing) that are not in the public DB interface
I
Igor Canadi 已提交
243
  // Implemented in db_impl_debug.cc
J
jorlow@chromium.org 已提交
244

245
  // Compact any files in the named level that overlap [*begin, *end]
246
  Status TEST_CompactRange(int level, const Slice* begin, const Slice* end,
247 248
                           ColumnFamilyHandle* column_family = nullptr,
                           bool disallow_trivial_move = false);
J
jorlow@chromium.org 已提交
249

250
  // Force current memtable contents to be flushed.
251
  Status TEST_FlushMemTable(bool wait = true);
J
jorlow@chromium.org 已提交
252

253
  // Wait for memtable compaction
254
  Status TEST_WaitForFlushMemTable(ColumnFamilyHandle* column_family = nullptr);
255 256 257 258

  // Wait for any compaction
  Status TEST_WaitForCompact();

J
jorlow@chromium.org 已提交
259 260 261
  // Return an internal iterator over the current state of the database.
  // The keys of this iterator are internal keys (see format.h).
  // The returned iterator should be deleted when no longer needed.
262 263
  Iterator* TEST_NewInternalIterator(
      Arena* arena, ColumnFamilyHandle* column_family = nullptr);
J
jorlow@chromium.org 已提交
264

265 266
  // Return the maximum overlapping data (in bytes) at next level for any
  // file at a level >= 1.
267 268
  int64_t TEST_MaxNextLevelOverlappingBytes(ColumnFamilyHandle* column_family =
                                                nullptr);
269

A
Abhishek Kona 已提交
270 271
  // Return the current manifest file no.
  uint64_t TEST_Current_Manifest_FileNo();
272

273
  // get total level0 file size. Only for testing.
274
  uint64_t TEST_GetLevel0TotalSize();
275

276 277
  void TEST_GetFilesMetaData(ColumnFamilyHandle* column_family,
                             std::vector<std::vector<FileMetaData>>* metadata);
278

279 280 281 282 283 284 285 286 287 288
  void TEST_LockMutex();

  void TEST_UnlockMutex();

  // REQUIRES: mutex locked
  void* TEST_BeginWrite();

  // REQUIRES: mutex locked
  // pass the pointer that you got from TEST_BeginWrite()
  void TEST_EndWrite(void* w);
289

290
  uint64_t TEST_MaxTotalInMemoryState() const {
291 292
    return max_total_in_memory_state_;
  }
293

294 295
  size_t TEST_LogsToFreeSize();

296 297
  uint64_t TEST_LogfileNumber();

298
#endif  // ROCKSDB_LITE
I
Igor Canadi 已提交
299

I
Igor Canadi 已提交
300
  // Returns the list of live files in 'live' and the list
K
kailiu 已提交
301
  // of all files in the filesystem in 'candidate_files'.
I
Igor Canadi 已提交
302
  // If force == false and the last call was less than
303
  // db_options_.delete_obsolete_files_period_micros microseconds ago,
I
Igor Canadi 已提交
304 305
  // it will not fill up the job_context
  void FindObsoleteFiles(JobContext* job_context, bool force,
I
Igor Canadi 已提交
306 307 308 309 310 311
                         bool no_full_scan = false);

  // Diffs the files listed in filenames and those that do not
  // belong to live files are posibly removed. Also, removes all the
  // files in sst_delete_files and log_delete_files.
  // It is not necessary to hold the mutex when invoking this method.
I
Igor Canadi 已提交
312
  void PurgeObsoleteFiles(const JobContext& background_contet);
I
Igor Canadi 已提交
313

I
Igor Sugak 已提交
314
  ColumnFamilyHandle* DefaultColumnFamily() const override;
315

316 317
  const SnapshotList& snapshots() const { return snapshots_; }

318
  void CancelAllBackgroundWork(bool wait);
319

A
agiardullo 已提交
320 321 322 323 324 325 326 327 328 329 330
  // Find Super version and reference it. Based on options, it might return
  // the thread local cached one.
  // Call ReturnAndCleanupSuperVersion() when it is no longer needed.
  SuperVersion* GetAndRefSuperVersion(ColumnFamilyData* cfd);

  // Similar to the previous function but looks up based on a column family id.
  // nullptr will be returned if this column family no longer exists.
  // REQUIRED: this function should only be called on the write thread or if the
  // mutex is held.
  SuperVersion* GetAndRefSuperVersion(uint32_t column_family_id);

A
agiardullo 已提交
331 332 333
  // Same as above, should called without mutex held and not on write thread.
  SuperVersion* GetAndRefSuperVersionUnlocked(uint32_t column_family_id);

A
agiardullo 已提交
334 335 336 337 338 339 340 341 342 343
  // Un-reference the super version and return it to thread local cache if
  // needed. If it is the last reference of the super version. Clean it up
  // after un-referencing it.
  void ReturnAndCleanupSuperVersion(ColumnFamilyData* cfd, SuperVersion* sv);

  // Similar to the previous function but looks up based on a column family id.
  // nullptr will be returned if this column family no longer exists.
  // REQUIRED: this function should only be called on the write thread.
  void ReturnAndCleanupSuperVersion(uint32_t colun_family_id, SuperVersion* sv);

A
agiardullo 已提交
344 345 346 347
  // Same as above, should called without mutex held and not on write thread.
  void ReturnAndCleanupSuperVersionUnlocked(uint32_t colun_family_id,
                                            SuperVersion* sv);

A
agiardullo 已提交
348 349 350 351 352
  // REQUIRED: this function should only be called on the write thread or if the
  // mutex is held.  Return value only valid until next call to this function or
  // mutex is released.
  ColumnFamilyHandle* GetColumnFamilyHandle(uint32_t column_family_id);

A
agiardullo 已提交
353 354 355
  // Same as above, should called without mutex held and not on write thread.
  ColumnFamilyHandle* GetColumnFamilyHandleUnlocked(uint32_t column_family_id);

356
 protected:
H
heyongqiang 已提交
357 358
  Env* const env_;
  const std::string dbname_;
359
  unique_ptr<VersionSet> versions_;
360
  const DBOptions db_options_;
L
Lei Jin 已提交
361
  Statistics* stats_;
H
heyongqiang 已提交
362

363
  Iterator* NewInternalIterator(const ReadOptions&, ColumnFamilyData* cfd,
364
                                SuperVersion* super_version, Arena* arena);
365

366
  void NotifyOnFlushCompleted(ColumnFamilyData* cfd, FileMetaData* file_meta,
367 368
                              const MutableCFOptions& mutable_cf_options,
                              int job_id);
369

O
Ori Bernstein 已提交
370
  void NotifyOnCompactionCompleted(ColumnFamilyData* cfd,
371 372
                                   Compaction *c, const Status &st,
                                   const CompactionJobStats& job_stats,
373
                                   int job_id);
O
Ori Bernstein 已提交
374

Y
Yueh-Hsuan Chiang 已提交
375 376 377 378 379 380
  void NewThreadStatusCfInfo(ColumnFamilyData* cfd) const;

  void EraseThreadStatusCfInfo(ColumnFamilyData* cfd) const;

  void EraseThreadStatusDbInfo() const;

A
agiardullo 已提交
381 382 383
  Status WriteImpl(const WriteOptions& options, WriteBatch* updates,
                   WriteCallback* callback);

J
jorlow@chromium.org 已提交
384 385
 private:
  friend class DB;
386
  friend class InternalStats;
I
Igor Canadi 已提交
387
#ifndef ROCKSDB_LITE
L
Lei Jin 已提交
388
  friend class ForwardIterator;
I
Igor Canadi 已提交
389
#endif
390
  friend struct SuperVersion;
L
Lei Jin 已提交
391
  friend class CompactedDBImpl;
A
agiardullo 已提交
392 393 394
#ifndef NDEBUG
  friend class XFTransactionWriteHandler;
#endif
395
  struct CompactionState;
396

S
Stanislau Hlebik 已提交
397
  struct WriteContext;
J
jorlow@chromium.org 已提交
398 399 400 401 402 403

  Status NewDB();

  // Recover the descriptor from persistent storage.  May do a significant
  // amount of work to recover recently logged updates.  Any changes to
  // be made to the descriptor are added to *edit.
404 405
  Status Recover(const std::vector<ColumnFamilyDescriptor>& column_families,
                 bool read_only = false, bool error_if_log_file_exist = false);
J
jorlow@chromium.org 已提交
406 407 408

  void MaybeIgnoreError(Status* s) const;

409 410
  const Status CreateArchivalDirectory();

J
jorlow@chromium.org 已提交
411 412 413
  // Delete any unneeded files and stale in-memory entries.
  void DeleteObsoleteFiles();

I
Igor Canadi 已提交
414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431
  // Background process needs to call
  //     auto x = CaptureCurrentFileNumberInPendingOutputs()
  //     <do something>
  //     ReleaseFileNumberFromPendingOutputs(x)
  // This will protect any temporary files created while <do something> is
  // executing from being deleted.
  // -----------
  // This function will capture current file number and append it to
  // pending_outputs_. This will prevent any background process to delete any
  // file created after this point.
  std::list<uint64_t>::iterator CaptureCurrentFileNumberInPendingOutputs();
  // This function should be called with the result of
  // CaptureCurrentFileNumberInPendingOutputs(). It then marks that any file
  // created between the calls CaptureCurrentFileNumberInPendingOutputs() and
  // ReleaseFileNumberFromPendingOutputs() can now be deleted (if it's not live
  // and blocked by any other pending_outputs_ calls)
  void ReleaseFileNumberFromPendingOutputs(std::list<uint64_t>::iterator v);

432
  // Flush the in-memory write buffer to storage.  Switches to a new
J
jorlow@chromium.org 已提交
433
  // log-file/memtable and writes a new descriptor iff successful.
I
Igor Canadi 已提交
434 435 436 437
  Status FlushMemTableToOutputFile(ColumnFamilyData* cfd,
                                   const MutableCFOptions& mutable_cf_options,
                                   bool* madeProgress, JobContext* job_context,
                                   LogBuffer* log_buffer);
J
jorlow@chromium.org 已提交
438

S
Stanislau Hlebik 已提交
439 440 441
  // REQUIRES: log_numbers are sorted in ascending order
  Status RecoverLogFiles(const std::vector<uint64_t>& log_numbers,
                         SequenceNumber* max_sequence, bool read_only);
J
jorlow@chromium.org 已提交
442

443 444 445 446 447
  // The following two methods are used to flush a memtable to
  // storage. The first one is used atdatabase RecoveryTime (when the
  // database is opened) and is heavyweight because it holds the mutex
  // for the entire period. The second method WriteLevel0Table supports
  // concurrent flush memtables to storage.
448 449
  Status WriteLevel0TableForRecovery(int job_id, ColumnFamilyData* cfd,
                                     MemTable* mem, VersionEdit* edit);
S
sdong 已提交
450 451 452

  // num_bytes: for slowdown case, delay time is calculated based on
  //            `num_bytes` going through.
453
  Status DelayWrite(uint64_t num_bytes);
454

I
Igor Canadi 已提交
455
  Status ScheduleFlushes(WriteContext* context);
456

I
Igor Canadi 已提交
457
  Status SwitchMemtable(ColumnFamilyData* cfd, WriteContext* context);
S
Stanislau Hlebik 已提交
458

H
heyongqiang 已提交
459
  // Force current memtable contents to be flushed.
460
  Status FlushMemTable(ColumnFamilyData* cfd, const FlushOptions& options);
H
heyongqiang 已提交
461

462
  // Wait for memtable flushed
463
  Status WaitForFlushMemTable(ColumnFamilyData* cfd);
H
heyongqiang 已提交
464

465 466 467
  void RecordFlushIOStats();
  void RecordCompactionIOStats();

I
Igor Canadi 已提交
468
#ifndef ROCKSDB_LITE
469 470 471
  Status CompactFilesImpl(
      const CompactionOptions& compact_options, ColumnFamilyData* cfd,
      Version* version, const std::vector<std::string>& input_file_names,
472 473
      const int output_level, int output_path_id, JobContext* job_context,
      LogBuffer* log_buffer);
I
Igor Canadi 已提交
474
#endif  // ROCKSDB_LITE
475 476 477

  ColumnFamilyData* GetColumnFamilyDataByName(const std::string& cf_name);

478
  void MaybeScheduleFlushOrCompaction();
479 480
  void SchedulePendingFlush(ColumnFamilyData* cfd);
  void SchedulePendingCompaction(ColumnFamilyData* cfd);
481 482 483 484
  static void BGWorkCompaction(void* db);
  static void BGWorkFlush(void* db);
  void BackgroundCallCompaction();
  void BackgroundCallFlush();
I
Igor Canadi 已提交
485
  Status BackgroundCompaction(bool* madeProgress, JobContext* job_context,
486
                              LogBuffer* log_buffer);
I
Igor Canadi 已提交
487
  Status BackgroundFlush(bool* madeProgress, JobContext* job_context,
H
Haobo Xu 已提交
488
                         LogBuffer* log_buffer);
J
jorlow@chromium.org 已提交
489

490 491
  void PrintStatistics();

492
  // dump rocksdb.stats to LOG
493 494
  void MaybeDumpStats();

495 496
  // Return the minimum empty level that could hold the total data in the
  // input level. Return the input level, if such level could not be found.
497 498
  int FindMinimumEmptyLevelFitting(ColumnFamilyData* cfd,
      const MutableCFOptions& mutable_cf_options, int level);
499

500 501 502
  // Move the files in the input level to the target level.
  // If target_level < 0, automatically calculate the minimum level that could
  // hold the data set.
I
Igor Canadi 已提交
503
  Status ReFitLevel(ColumnFamilyData* cfd, int level, int target_level = -1);
504

505 506 507 508 509 510
  // helper functions for adding and removing from flush & compaction queues
  void AddToCompactionQueue(ColumnFamilyData* cfd);
  ColumnFamilyData* PopFirstFromCompactionQueue();
  void AddToFlushQueue(ColumnFamilyData* cfd);
  ColumnFamilyData* PopFirstFromFlushQueue();

511 512 513
  // helper function to call after some of the logs_ were synced
  void MarkLogsSynced(uint64_t up_to, bool synced_dir, const Status& status);

J
jorlow@chromium.org 已提交
514
  // table_cache_ provides its own synchronization
I
Igor Canadi 已提交
515
  std::shared_ptr<Cache> table_cache_;
J
jorlow@chromium.org 已提交
516

517
  // Lock over the persistent DB state.  Non-nullptr iff successfully acquired.
J
jorlow@chromium.org 已提交
518 519 520
  FileLock* db_lock_;

  // State below is protected by mutex_
521
  InstrumentedMutex mutex_;
I
Igor Canadi 已提交
522
  std::atomic<bool> shutting_down_;
523 524 525 526 527 528 529 530
  // This condition variable is signaled on these conditions:
  // * whenever bg_compaction_scheduled_ goes down to 0
  // * if bg_manual_only_ > 0, whenever a compaction finishes, even if it hasn't
  // made any progress
  // * whenever a compaction made any progress
  // * whenever bg_flush_scheduled_ value decreases (i.e. whenever a flush is
  // done, even if it didn't make any progress)
  // * whenever there is an error in background flush or compaction
531
  InstrumentedCondVar bg_cv_;
532
  uint64_t logfile_number_;
533
  bool log_dir_synced_;
I
Igor Canadi 已提交
534
  bool log_empty_;
535
  ColumnFamilyHandleImpl* default_cf_handle_;
536
  InternalStats* default_cf_internal_stats_;
537
  unique_ptr<ColumnFamilyMemTablesImpl> column_family_memtables_;
I
Igor Canadi 已提交
538 539
  struct LogFileNumberSize {
    explicit LogFileNumberSize(uint64_t _number)
540
        : number(_number) {}
I
Igor Canadi 已提交
541 542
    void AddSize(uint64_t new_size) { size += new_size; }
    uint64_t number;
543 544 545 546
    uint64_t size = 0;
    bool getting_flushed = false;
  };
  struct LogWriterNumber {
547 548 549 550 551 552 553 554 555 556 557 558 559 560
    // pass ownership of _writer
    LogWriterNumber(uint64_t _number, log::Writer* _writer)
        : number(_number), writer(_writer) {}

    log::Writer* ReleaseWriter() {
      auto* w = writer;
      writer = nullptr;
      return w;
    }
    void ClearWriter() {
      delete writer;
      writer = nullptr;
    }

561
    uint64_t number;
562 563 564
    // Visual Studio doesn't support deque's member to be noncopyable because
    // of a unique_ptr as a member.
    log::Writer* writer;  // own
565 566
    // true for some prefix of logs_
    bool getting_synced = false;
I
Igor Canadi 已提交
567 568
  };
  std::deque<LogFileNumberSize> alive_log_files_;
569 570 571 572 573 574 575 576 577 578
  // Log files that aren't fully synced, and the current log file.
  // Synchronization:
  //  - push_back() is done from write thread with locked mutex_,
  //  - pop_front() is done from any thread with locked mutex_,
  //  - back() and items with getting_synced=true are not popped,
  //  - it follows that write thread with unlocked mutex_ can safely access
  //    back() and items with getting_synced=true.
  std::deque<LogWriterNumber> logs_;
  // Signaled when getting_synced becomes false for some of the logs_.
  InstrumentedCondVar log_sync_cv_;
I
Igor Canadi 已提交
579 580 581 582
  uint64_t total_log_size_;
  // only used for dynamically adjusting max_total_wal_size. it is a sum of
  // [write_buffer_size * max_write_buffer_number] over all column families
  uint64_t max_total_in_memory_state_;
583 584 585
  // If true, we have only one (default) column family. We use this to optimize
  // some code-paths
  bool single_column_family_mode_;
586 587 588
  // If this is non-empty, we need to delete these log files in background
  // threads. Protected by db mutex.
  autovector<log::Writer*> logs_to_free_;
I
Igor Canadi 已提交
589

S
sdong 已提交
590 591
  bool is_snapshot_supported_;

592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619
  // Class to maintain directories for all database paths other than main one.
  class Directories {
   public:
    Status SetDirectories(Env* env, const std::string& dbname,
                          const std::string& wal_dir,
                          const std::vector<DbPath>& data_paths);

    Directory* GetDataDir(size_t path_id);

    Directory* GetWalDir() {
      if (wal_dir_) {
        return wal_dir_.get();
      }
      return db_dir_.get();
    }

    Directory* GetDbDir() { return db_dir_.get(); }

   private:
    std::unique_ptr<Directory> db_dir_;
    std::vector<std::unique_ptr<Directory>> data_dirs_;
    std::unique_ptr<Directory> wal_dir_;

    Status CreateAndNewDirectory(Env* env, const std::string& dirname,
                                 std::unique_ptr<Directory>* directory) const;
  };

  Directories directories_;
620

621 622
  WriteBuffer write_buffer_;

I
Igor Canadi 已提交
623 624
  WriteThread write_thread_;

625
  WriteBatch tmp_batch_;
626

627
  WriteController write_controller_;
S
sdong 已提交
628 629 630 631 632

  // Size of the last batch group. In slowdown mode, next write needs to
  // sleep if it uses up the quota.
  uint64_t last_batch_group_size_;

I
Igor Canadi 已提交
633
  FlushScheduler flush_scheduler_;
634

J
jorlow@chromium.org 已提交
635 636
  SnapshotList snapshots_;

I
Igor Canadi 已提交
637 638 639 640 641 642 643 644 645 646
  // For each background job, pending_outputs_ keeps the current file number at
  // the time that background job started.
  // FindObsoleteFiles()/PurgeObsoleteFiles() never deletes any file that has
  // number bigger than any of the file number in pending_outputs_. Since file
  // numbers grow monotonically, this also means that pending_outputs_ is always
  // sorted. After a background job is done executing, its file number is
  // deleted from pending_outputs_, which allows PurgeObsoleteFiles() to clean
  // it up.
  // State is protected with db mutex.
  std::list<uint64_t> pending_outputs_;
J
jorlow@chromium.org 已提交
647

648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673
  // flush_queue_ and compaction_queue_ hold column families that we need to
  // flush and compact, respectively.
  // A column family is inserted into flush_queue_ when it satisfies condition
  // cfd->imm()->IsFlushPending()
  // A column family is inserted into compaction_queue_ when it satisfied
  // condition cfd->NeedsCompaction()
  // Column families in this list are all Ref()-erenced
  // TODO(icanadi) Provide some kind of ReferencedColumnFamily class that will
  // do RAII on ColumnFamilyData
  // Column families are in this queue when they need to be flushed or
  // compacted. Consumers of these queues are flush and compaction threads. When
  // column family is put on this queue, we increase unscheduled_flushes_ and
  // unscheduled_compactions_. When these variables are bigger than zero, that
  // means we need to schedule background threads for compaction and thread.
  // Once the background threads are scheduled, we decrease unscheduled_flushes_
  // and unscheduled_compactions_. That way we keep track of number of
  // compaction and flush threads we need to schedule. This scheduling is done
  // in MaybeScheduleFlushOrCompaction()
  // invariant(column family present in flush_queue_ <==>
  // ColumnFamilyData::pending_flush_ == true)
  std::deque<ColumnFamilyData*> flush_queue_;
  // invariant(column family present in compaction_queue_ <==>
  // ColumnFamilyData::pending_compaction_ == true)
  std::deque<ColumnFamilyData*> compaction_queue_;
  int unscheduled_flushes_;
  int unscheduled_compactions_;
674

675
  // count how many background compactions are running or have been scheduled
676
  int bg_compaction_scheduled_;
J
jorlow@chromium.org 已提交
677

678 679 680 681 682
  // If non-zero, MaybeScheduleFlushOrCompaction() will only schedule manual
  // compactions (if manual_compaction_ is not null). This mechanism enables
  // manual compactions to wait until all other compactions are finished.
  int bg_manual_only_;

683 684 685
  // number of background memtable flush jobs, submitted to the HIGH pool
  int bg_flush_scheduled_;

H
hans@chromium.org 已提交
686 687
  // Information for a manual compaction
  struct ManualCompaction {
I
Igor Canadi 已提交
688
    ColumnFamilyData* cfd;
689 690
    int input_level;
    int output_level;
691
    uint32_t output_path_id;
G
Gabor Cselle 已提交
692
    bool done;
L
Lei Jin 已提交
693
    Status status;
694 695 696 697 698
    bool in_progress;             // compaction request being processed?
    const InternalKey* begin;     // nullptr means beginning of key range
    const InternalKey* end;       // nullptr means end of key range
    InternalKey tmp_storage;      // Used to keep track of compaction progress
    bool disallow_trivial_move;   // Force actual compaction to run
H
hans@chromium.org 已提交
699 700
  };
  ManualCompaction* manual_compaction_;
J
jorlow@chromium.org 已提交
701 702 703 704

  // Have we encountered a background error in paranoid mode?
  Status bg_error_;

705
  // shall we disable deletion of obsolete files
706 707 708 709 710 711
  // if 0 the deletion is enabled.
  // if non-zero, files will not be getting deleted
  // This enables two different threads to call
  // EnableFileDeletions() and DisableFileDeletions()
  // without any synchronization
  int disable_delete_obsolete_files_;
712

I
Igor Canadi 已提交
713 714
  // next time when we should run DeleteObsoleteFiles with full scan
  uint64_t delete_obsolete_files_next_run_;
715

716
  // last time stats were dumped to LOG
H
Haobo Xu 已提交
717
  std::atomic<uint64_t> last_stats_dump_time_microsec_;
718

719 720 721 722
  // Each flush or compaction gets its own job id. this counter makes sure
  // they're unique
  std::atomic<int> next_job_id_;

723 724
  bool flush_on_destroy_; // Used when disableWAL is true.

H
heyongqiang 已提交
725
  static const int KEEP_LOG_FILE_NUM = 1000;
D
Dmitri Smirnov 已提交
726
  // MSVC version 1800 still does not have constexpr for ::max()
727
  static const uint64_t kNoTimeOut = port::kMaxUint64;
D
Dmitri Smirnov 已提交
728

H
heyongqiang 已提交
729
  std::string db_absolute_path_;
H
heyongqiang 已提交
730

731
  // The options to access storage files
L
Lei Jin 已提交
732
  const EnvOptions env_options_;
733

I
Igor Canadi 已提交
734 735 736 737
#ifndef ROCKSDB_LITE
  WalManager wal_manager_;
#endif  // ROCKSDB_LITE

I
Igor Canadi 已提交
738 739 740
  // Unified interface for logging events
  EventLogger event_logger_;

741 742 743 744 745 746
  // A value of true temporarily disables scheduling of background work
  bool bg_work_gate_closed_;

  // Guard against multiple concurrent refitting
  bool refitting_level_;

747 748 749
  // Indicate DB was opened successfully
  bool opened_successfully_;

J
jorlow@chromium.org 已提交
750 751 752 753
  // No copying allowed
  DBImpl(const DBImpl&);
  void operator=(const DBImpl&);

754 755 756 757 758 759
  // Return the earliest snapshot where seqno is visible.
  // Store the snapshot right before that, if any, in prev_snapshot
  inline SequenceNumber findEarliestVisibleSnapshot(
    SequenceNumber in,
    std::vector<SequenceNumber>& snapshots,
    SequenceNumber* prev_snapshot);
760

I
Igor Canadi 已提交
761
  // Background threads call this function, which is just a wrapper around
I
Igor Canadi 已提交
762 763 764
  // the InstallSuperVersion() function. Background threads carry
  // job_context which can have new_superversion already
  // allocated.
I
Igor Canadi 已提交
765
  void InstallSuperVersionAndScheduleWorkWrapper(
I
Igor Canadi 已提交
766 767
      ColumnFamilyData* cfd, JobContext* job_context,
      const MutableCFOptions& mutable_cf_options);
L
Lei Jin 已提交
768

769 770 771
  // All ColumnFamily state changes go through this function. Here we analyze
  // the new state and we schedule background work if we detect that the new
  // state needs flush or compaction.
I
Igor Canadi 已提交
772 773 774
  SuperVersion* InstallSuperVersionAndScheduleWork(
      ColumnFamilyData* cfd, SuperVersion* new_sv,
      const MutableCFOptions& mutable_cf_options);
I
Igor Canadi 已提交
775

I
Igor Canadi 已提交
776
#ifndef ROCKSDB_LITE
I
Igor Canadi 已提交
777 778 779
  using DB::GetPropertiesOfAllTables;
  virtual Status GetPropertiesOfAllTables(ColumnFamilyHandle* column_family,
                                          TablePropertiesCollection* props)
780
      override;
I
Igor Canadi 已提交
781
#endif  // ROCKSDB_LITE
782

783 784
  // Function that Get and KeyMayExist call with no_io true or false
  // Note: 'value_found' from KeyMayExist propagates here
785 786 787
  Status GetImpl(const ReadOptions& options, ColumnFamilyHandle* column_family,
                 const Slice& key, std::string* value,
                 bool* value_found = nullptr);
788 789 790 791

  bool GetIntPropertyInternal(ColumnFamilyHandle* column_family,
                              DBPropertyType property_type,
                              bool need_out_of_mutex, uint64_t* value);
J
jorlow@chromium.org 已提交
792 793 794 795 796 797 798
};

// Sanitize db options.  The caller should delete result.info_log if
// it is not equal to src.info_log.
extern Options SanitizeOptions(const std::string& db,
                               const InternalKeyComparator* icmp,
                               const Options& src);
799
extern DBOptions SanitizeOptions(const std::string& db, const DBOptions& src);
S
Siying Dong 已提交
800

M
miguelportilla 已提交
801 802 803 804 805 806 807
// Fix user-supplied options to be reasonable
template <class T, class V>
static void ClipToRange(T* ptr, V minvalue, V maxvalue) {
  if (static_cast<V>(*ptr) > maxvalue) *ptr = maxvalue;
  if (static_cast<V>(*ptr) < minvalue) *ptr = minvalue;
}

808
}  // namespace rocksdb