blob: 3c8d711ae06de2b41dc6d9a3717808947663c09b [file] [log] [blame]
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +00001// Copyright (c) 2011 The LevelDB Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file. See the AUTHORS file for names of contributors.
4
5#ifndef STORAGE_LEVELDB_DB_DB_IMPL_H_
6#define STORAGE_LEVELDB_DB_DB_IMPL_H_
7
Sanjay Ghemawatd79762e2012-03-08 16:23:21 -08008#include <deque>
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +00009#include <set>
10#include "db/dbformat.h"
11#include "db/log_writer.h"
12#include "db/snapshot.h"
jorlow@chromium.org4671a692011-03-30 18:35:40 +000013#include "leveldb/db.h"
14#include "leveldb/env.h"
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +000015#include "port/port.h"
David Grogan946e5b52012-10-12 11:53:12 -070016#include "port/thread_annotations.h"
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +000017
18namespace leveldb {
19
20class MemTable;
21class TableCache;
22class Version;
23class VersionEdit;
24class VersionSet;
25
26class DBImpl : public DB {
27 public:
28 DBImpl(const Options& options, const std::string& dbname);
29 virtual ~DBImpl();
30
31 // Implementations of the DB interface
32 virtual Status Put(const WriteOptions&, const Slice& key, const Slice& value);
33 virtual Status Delete(const WriteOptions&, const Slice& key);
34 virtual Status Write(const WriteOptions& options, WriteBatch* updates);
35 virtual Status Get(const ReadOptions& options,
36 const Slice& key,
37 std::string* value);
38 virtual Iterator* NewIterator(const ReadOptions&);
39 virtual const Snapshot* GetSnapshot();
40 virtual void ReleaseSnapshot(const Snapshot* snapshot);
dgrogan@chromium.orgf779e7a2011-04-12 19:38:58 +000041 virtual bool GetProperty(const Slice& property, std::string* value);
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +000042 virtual void GetApproximateSizes(const Range* range, int n, uint64_t* sizes);
Gabor Cselle299cced2011-10-05 16:30:28 -070043 virtual void CompactRange(const Slice* begin, const Slice* end);
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +000044
45 // Extra methods (for testing) that are not in the public DB interface
46
Gabor Cselle299cced2011-10-05 16:30:28 -070047 // Compact any files in the named level that overlap [*begin,*end]
48 void TEST_CompactRange(int level, const Slice* begin, const Slice* end);
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +000049
50 // Force current memtable contents to be compacted.
51 Status TEST_CompactMemTable();
52
53 // Return an internal iterator over the current state of the database.
54 // The keys of this iterator are internal keys (see format.h).
55 // The returned iterator should be deleted when no longer needed.
56 Iterator* TEST_NewInternalIterator();
57
jorlow@chromium.org13b72af2011-03-22 18:32:49 +000058 // Return the maximum overlapping data (in bytes) at next level for any
59 // file at a level >= 1.
jorlow@chromium.org8303bb12011-03-22 23:24:02 +000060 int64_t TEST_MaxNextLevelOverlappingBytes();
jorlow@chromium.org13b72af2011-03-22 18:32:49 +000061
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +000062 private:
63 friend class DB;
Sanjay Ghemawatd79762e2012-03-08 16:23:21 -080064 struct CompactionState;
65 struct Writer;
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +000066
67 Iterator* NewInternalIterator(const ReadOptions&,
68 SequenceNumber* latest_snapshot);
69
70 Status NewDB();
71
72 // Recover the descriptor from persistent storage. May do a significant
73 // amount of work to recover recently logged updates. Any changes to
74 // be made to the descriptor are added to *edit.
David Grogan946e5b52012-10-12 11:53:12 -070075 Status Recover(VersionEdit* edit) EXCLUSIVE_LOCKS_REQUIRED(mutex_);
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +000076
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +000077 void MaybeIgnoreError(Status* s) const;
78
79 // Delete any unneeded files and stale in-memory entries.
80 void DeleteObsoleteFiles();
81
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +000082 // Compact the in-memory write buffer to disk. Switches to a new
83 // log-file/memtable and writes a new descriptor iff successful.
David Grogan946e5b52012-10-12 11:53:12 -070084 Status CompactMemTable()
85 EXCLUSIVE_LOCKS_REQUIRED(mutex_);
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +000086
87 Status RecoverLogFile(uint64_t log_number,
88 VersionEdit* edit,
David Grogan946e5b52012-10-12 11:53:12 -070089 SequenceNumber* max_sequence)
90 EXCLUSIVE_LOCKS_REQUIRED(mutex_);
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +000091
David Grogan946e5b52012-10-12 11:53:12 -070092 Status WriteLevel0Table(MemTable* mem, VersionEdit* edit, Version* base)
93 EXCLUSIVE_LOCKS_REQUIRED(mutex_);
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +000094
David Grogan946e5b52012-10-12 11:53:12 -070095 Status MakeRoomForWrite(bool force /* compact even if there is room? */)
96 EXCLUSIVE_LOCKS_REQUIRED(mutex_);
Sanjay Ghemawatd79762e2012-03-08 16:23:21 -080097 WriteBatch* BuildBatchGroup(Writer** last_writer);
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +000098
David Grogan946e5b52012-10-12 11:53:12 -070099 void MaybeScheduleCompaction() EXCLUSIVE_LOCKS_REQUIRED(mutex_);
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +0000100 static void BGWork(void* db);
101 void BackgroundCall();
David Grogan946e5b52012-10-12 11:53:12 -0700102 Status BackgroundCompaction() EXCLUSIVE_LOCKS_REQUIRED(mutex_);
103 void CleanupCompaction(CompactionState* compact)
104 EXCLUSIVE_LOCKS_REQUIRED(mutex_);
105 Status DoCompactionWork(CompactionState* compact)
106 EXCLUSIVE_LOCKS_REQUIRED(mutex_);
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +0000107
108 Status OpenCompactionOutputFile(CompactionState* compact);
109 Status FinishCompactionOutputFile(CompactionState* compact, Iterator* input);
David Grogan946e5b52012-10-12 11:53:12 -0700110 Status InstallCompactionResults(CompactionState* compact)
111 EXCLUSIVE_LOCKS_REQUIRED(mutex_);
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +0000112
113 // Constant after construction
114 Env* const env_;
115 const InternalKeyComparator internal_comparator_;
Sanjay Ghemawat85584d42012-04-17 08:36:46 -0700116 const InternalFilterPolicy internal_filter_policy_;
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +0000117 const Options options_; // options_.comparator == &internal_comparator_
118 bool owns_info_log_;
dgrogan@chromium.orgf779e7a2011-04-12 19:38:58 +0000119 bool owns_cache_;
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +0000120 const std::string dbname_;
121
122 // table_cache_ provides its own synchronization
123 TableCache* table_cache_;
124
125 // Lock over the persistent DB state. Non-NULL iff successfully acquired.
126 FileLock* db_lock_;
127
128 // State below is protected by mutex_
129 port::Mutex mutex_;
130 port::AtomicPointer shutting_down_;
hans@chromium.org80e5b0d2011-06-07 14:40:26 +0000131 port::CondVar bg_cv_; // Signalled when background work finishes
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +0000132 MemTable* mem_;
dgrogan@chromium.orgf779e7a2011-04-12 19:38:58 +0000133 MemTable* imm_; // Memtable being compacted
134 port::AtomicPointer has_imm_; // So bg thread can detect non-NULL imm_
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +0000135 WritableFile* logfile_;
gabor@google.comccf0fcd2011-06-22 02:36:45 +0000136 uint64_t logfile_number_;
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +0000137 log::Writer* log_;
Sanjay Ghemawatd79762e2012-03-08 16:23:21 -0800138
139 // Queue of writers.
140 std::deque<Writer*> writers_;
141 WriteBatch* tmp_batch_;
142
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +0000143 SnapshotList snapshots_;
144
145 // Set of table files to protect from deletion because they are
146 // part of ongoing compactions.
147 std::set<uint64_t> pending_outputs_;
148
149 // Has a background compaction been scheduled or is running?
150 bool bg_compaction_scheduled_;
151
hans@chromium.org80e5b0d2011-06-07 14:40:26 +0000152 // Information for a manual compaction
153 struct ManualCompaction {
154 int level;
Gabor Cselle299cced2011-10-05 16:30:28 -0700155 bool done;
156 const InternalKey* begin; // NULL means beginning of key range
157 const InternalKey* end; // NULL means end of key range
158 InternalKey tmp_storage; // Used to keep track of compaction progress
hans@chromium.org80e5b0d2011-06-07 14:40:26 +0000159 };
160 ManualCompaction* manual_compaction_;
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +0000161
162 VersionSet* versions_;
163
164 // Have we encountered a background error in paranoid mode?
165 Status bg_error_;
David Grogan7b094f12013-06-13 16:14:06 -0700166 int consecutive_compaction_errors_;
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +0000167
dgrogan@chromium.orgf779e7a2011-04-12 19:38:58 +0000168 // Per level compaction stats. stats_[level] stores the stats for
169 // compactions that produced data for the specified "level".
170 struct CompactionStats {
171 int64_t micros;
172 int64_t bytes_read;
173 int64_t bytes_written;
174
175 CompactionStats() : micros(0), bytes_read(0), bytes_written(0) { }
176
177 void Add(const CompactionStats& c) {
178 this->micros += c.micros;
179 this->bytes_read += c.bytes_read;
180 this->bytes_written += c.bytes_written;
181 }
182 };
183 CompactionStats stats_[config::kNumLevels];
184
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +0000185 // No copying allowed
186 DBImpl(const DBImpl&);
187 void operator=(const DBImpl&);
188
189 const Comparator* user_comparator() const {
190 return internal_comparator_.user_comparator();
191 }
192};
193
194// Sanitize db options. The caller should delete result.info_log if
195// it is not equal to src.info_log.
196extern Options SanitizeOptions(const std::string& db,
197 const InternalKeyComparator* icmp,
Sanjay Ghemawat85584d42012-04-17 08:36:46 -0700198 const InternalFilterPolicy* ipolicy,
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +0000199 const Options& src);
200
Hans Wennborg36a5f8e2011-10-31 17:22:06 +0000201} // namespace leveldb
jorlow@chromium.orgf67e15e2011-03-18 22:37:00 +0000202
203#endif // STORAGE_LEVELDB_DB_DB_IMPL_H_