1*9507f98cSAndroid Build Coastguard Worker // Copyright (c) 2011 The LevelDB Authors. All rights reserved.
2*9507f98cSAndroid Build Coastguard Worker // Use of this source code is governed by a BSD-style license that can be
3*9507f98cSAndroid Build Coastguard Worker // found in the LICENSE file. See the AUTHORS file for names of contributors.
4*9507f98cSAndroid Build Coastguard Worker
5*9507f98cSAndroid Build Coastguard Worker #include "db/version_set.h"
6*9507f98cSAndroid Build Coastguard Worker
7*9507f98cSAndroid Build Coastguard Worker #include <algorithm>
8*9507f98cSAndroid Build Coastguard Worker #include <cstdio>
9*9507f98cSAndroid Build Coastguard Worker
10*9507f98cSAndroid Build Coastguard Worker #include "db/filename.h"
11*9507f98cSAndroid Build Coastguard Worker #include "db/log_reader.h"
12*9507f98cSAndroid Build Coastguard Worker #include "db/log_writer.h"
13*9507f98cSAndroid Build Coastguard Worker #include "db/memtable.h"
14*9507f98cSAndroid Build Coastguard Worker #include "db/table_cache.h"
15*9507f98cSAndroid Build Coastguard Worker #include "leveldb/env.h"
16*9507f98cSAndroid Build Coastguard Worker #include "leveldb/table_builder.h"
17*9507f98cSAndroid Build Coastguard Worker #include "table/merger.h"
18*9507f98cSAndroid Build Coastguard Worker #include "table/two_level_iterator.h"
19*9507f98cSAndroid Build Coastguard Worker #include "util/coding.h"
20*9507f98cSAndroid Build Coastguard Worker #include "util/logging.h"
21*9507f98cSAndroid Build Coastguard Worker
22*9507f98cSAndroid Build Coastguard Worker namespace leveldb {
23*9507f98cSAndroid Build Coastguard Worker
TargetFileSize(const Options * options)24*9507f98cSAndroid Build Coastguard Worker static size_t TargetFileSize(const Options* options) {
25*9507f98cSAndroid Build Coastguard Worker return options->max_file_size;
26*9507f98cSAndroid Build Coastguard Worker }
27*9507f98cSAndroid Build Coastguard Worker
28*9507f98cSAndroid Build Coastguard Worker // Maximum bytes of overlaps in grandparent (i.e., level+2) before we
29*9507f98cSAndroid Build Coastguard Worker // stop building a single file in a level->level+1 compaction.
MaxGrandParentOverlapBytes(const Options * options)30*9507f98cSAndroid Build Coastguard Worker static int64_t MaxGrandParentOverlapBytes(const Options* options) {
31*9507f98cSAndroid Build Coastguard Worker return 10 * TargetFileSize(options);
32*9507f98cSAndroid Build Coastguard Worker }
33*9507f98cSAndroid Build Coastguard Worker
34*9507f98cSAndroid Build Coastguard Worker // Maximum number of bytes in all compacted files. We avoid expanding
35*9507f98cSAndroid Build Coastguard Worker // the lower level file set of a compaction if it would make the
36*9507f98cSAndroid Build Coastguard Worker // total compaction cover more than this many bytes.
ExpandedCompactionByteSizeLimit(const Options * options)37*9507f98cSAndroid Build Coastguard Worker static int64_t ExpandedCompactionByteSizeLimit(const Options* options) {
38*9507f98cSAndroid Build Coastguard Worker return 25 * TargetFileSize(options);
39*9507f98cSAndroid Build Coastguard Worker }
40*9507f98cSAndroid Build Coastguard Worker
MaxBytesForLevel(const Options * options,int level)41*9507f98cSAndroid Build Coastguard Worker static double MaxBytesForLevel(const Options* options, int level) {
42*9507f98cSAndroid Build Coastguard Worker // Note: the result for level zero is not really used since we set
43*9507f98cSAndroid Build Coastguard Worker // the level-0 compaction threshold based on number of files.
44*9507f98cSAndroid Build Coastguard Worker
45*9507f98cSAndroid Build Coastguard Worker // Result for both level-0 and level-1
46*9507f98cSAndroid Build Coastguard Worker double result = 10. * 1048576.0;
47*9507f98cSAndroid Build Coastguard Worker while (level > 1) {
48*9507f98cSAndroid Build Coastguard Worker result *= 10;
49*9507f98cSAndroid Build Coastguard Worker level--;
50*9507f98cSAndroid Build Coastguard Worker }
51*9507f98cSAndroid Build Coastguard Worker return result;
52*9507f98cSAndroid Build Coastguard Worker }
53*9507f98cSAndroid Build Coastguard Worker
MaxFileSizeForLevel(const Options * options,int level)54*9507f98cSAndroid Build Coastguard Worker static uint64_t MaxFileSizeForLevel(const Options* options, int level) {
55*9507f98cSAndroid Build Coastguard Worker // We could vary per level to reduce number of files?
56*9507f98cSAndroid Build Coastguard Worker return TargetFileSize(options);
57*9507f98cSAndroid Build Coastguard Worker }
58*9507f98cSAndroid Build Coastguard Worker
TotalFileSize(const std::vector<FileMetaData * > & files)59*9507f98cSAndroid Build Coastguard Worker static int64_t TotalFileSize(const std::vector<FileMetaData*>& files) {
60*9507f98cSAndroid Build Coastguard Worker int64_t sum = 0;
61*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < files.size(); i++) {
62*9507f98cSAndroid Build Coastguard Worker sum += files[i]->file_size;
63*9507f98cSAndroid Build Coastguard Worker }
64*9507f98cSAndroid Build Coastguard Worker return sum;
65*9507f98cSAndroid Build Coastguard Worker }
66*9507f98cSAndroid Build Coastguard Worker
~Version()67*9507f98cSAndroid Build Coastguard Worker Version::~Version() {
68*9507f98cSAndroid Build Coastguard Worker assert(refs_ == 0);
69*9507f98cSAndroid Build Coastguard Worker
70*9507f98cSAndroid Build Coastguard Worker // Remove from linked list
71*9507f98cSAndroid Build Coastguard Worker prev_->next_ = next_;
72*9507f98cSAndroid Build Coastguard Worker next_->prev_ = prev_;
73*9507f98cSAndroid Build Coastguard Worker
74*9507f98cSAndroid Build Coastguard Worker // Drop references to files
75*9507f98cSAndroid Build Coastguard Worker for (int level = 0; level < config::kNumLevels; level++) {
76*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < files_[level].size(); i++) {
77*9507f98cSAndroid Build Coastguard Worker FileMetaData* f = files_[level][i];
78*9507f98cSAndroid Build Coastguard Worker assert(f->refs > 0);
79*9507f98cSAndroid Build Coastguard Worker f->refs--;
80*9507f98cSAndroid Build Coastguard Worker if (f->refs <= 0) {
81*9507f98cSAndroid Build Coastguard Worker delete f;
82*9507f98cSAndroid Build Coastguard Worker }
83*9507f98cSAndroid Build Coastguard Worker }
84*9507f98cSAndroid Build Coastguard Worker }
85*9507f98cSAndroid Build Coastguard Worker }
86*9507f98cSAndroid Build Coastguard Worker
FindFile(const InternalKeyComparator & icmp,const std::vector<FileMetaData * > & files,const Slice & key)87*9507f98cSAndroid Build Coastguard Worker int FindFile(const InternalKeyComparator& icmp,
88*9507f98cSAndroid Build Coastguard Worker const std::vector<FileMetaData*>& files, const Slice& key) {
89*9507f98cSAndroid Build Coastguard Worker uint32_t left = 0;
90*9507f98cSAndroid Build Coastguard Worker uint32_t right = files.size();
91*9507f98cSAndroid Build Coastguard Worker while (left < right) {
92*9507f98cSAndroid Build Coastguard Worker uint32_t mid = (left + right) / 2;
93*9507f98cSAndroid Build Coastguard Worker const FileMetaData* f = files[mid];
94*9507f98cSAndroid Build Coastguard Worker if (icmp.InternalKeyComparator::Compare(f->largest.Encode(), key) < 0) {
95*9507f98cSAndroid Build Coastguard Worker // Key at "mid.largest" is < "target". Therefore all
96*9507f98cSAndroid Build Coastguard Worker // files at or before "mid" are uninteresting.
97*9507f98cSAndroid Build Coastguard Worker left = mid + 1;
98*9507f98cSAndroid Build Coastguard Worker } else {
99*9507f98cSAndroid Build Coastguard Worker // Key at "mid.largest" is >= "target". Therefore all files
100*9507f98cSAndroid Build Coastguard Worker // after "mid" are uninteresting.
101*9507f98cSAndroid Build Coastguard Worker right = mid;
102*9507f98cSAndroid Build Coastguard Worker }
103*9507f98cSAndroid Build Coastguard Worker }
104*9507f98cSAndroid Build Coastguard Worker return right;
105*9507f98cSAndroid Build Coastguard Worker }
106*9507f98cSAndroid Build Coastguard Worker
AfterFile(const Comparator * ucmp,const Slice * user_key,const FileMetaData * f)107*9507f98cSAndroid Build Coastguard Worker static bool AfterFile(const Comparator* ucmp, const Slice* user_key,
108*9507f98cSAndroid Build Coastguard Worker const FileMetaData* f) {
109*9507f98cSAndroid Build Coastguard Worker // null user_key occurs before all keys and is therefore never after *f
110*9507f98cSAndroid Build Coastguard Worker return (user_key != nullptr &&
111*9507f98cSAndroid Build Coastguard Worker ucmp->Compare(*user_key, f->largest.user_key()) > 0);
112*9507f98cSAndroid Build Coastguard Worker }
113*9507f98cSAndroid Build Coastguard Worker
BeforeFile(const Comparator * ucmp,const Slice * user_key,const FileMetaData * f)114*9507f98cSAndroid Build Coastguard Worker static bool BeforeFile(const Comparator* ucmp, const Slice* user_key,
115*9507f98cSAndroid Build Coastguard Worker const FileMetaData* f) {
116*9507f98cSAndroid Build Coastguard Worker // null user_key occurs after all keys and is therefore never before *f
117*9507f98cSAndroid Build Coastguard Worker return (user_key != nullptr &&
118*9507f98cSAndroid Build Coastguard Worker ucmp->Compare(*user_key, f->smallest.user_key()) < 0);
119*9507f98cSAndroid Build Coastguard Worker }
120*9507f98cSAndroid Build Coastguard Worker
SomeFileOverlapsRange(const InternalKeyComparator & icmp,bool disjoint_sorted_files,const std::vector<FileMetaData * > & files,const Slice * smallest_user_key,const Slice * largest_user_key)121*9507f98cSAndroid Build Coastguard Worker bool SomeFileOverlapsRange(const InternalKeyComparator& icmp,
122*9507f98cSAndroid Build Coastguard Worker bool disjoint_sorted_files,
123*9507f98cSAndroid Build Coastguard Worker const std::vector<FileMetaData*>& files,
124*9507f98cSAndroid Build Coastguard Worker const Slice* smallest_user_key,
125*9507f98cSAndroid Build Coastguard Worker const Slice* largest_user_key) {
126*9507f98cSAndroid Build Coastguard Worker const Comparator* ucmp = icmp.user_comparator();
127*9507f98cSAndroid Build Coastguard Worker if (!disjoint_sorted_files) {
128*9507f98cSAndroid Build Coastguard Worker // Need to check against all files
129*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < files.size(); i++) {
130*9507f98cSAndroid Build Coastguard Worker const FileMetaData* f = files[i];
131*9507f98cSAndroid Build Coastguard Worker if (AfterFile(ucmp, smallest_user_key, f) ||
132*9507f98cSAndroid Build Coastguard Worker BeforeFile(ucmp, largest_user_key, f)) {
133*9507f98cSAndroid Build Coastguard Worker // No overlap
134*9507f98cSAndroid Build Coastguard Worker } else {
135*9507f98cSAndroid Build Coastguard Worker return true; // Overlap
136*9507f98cSAndroid Build Coastguard Worker }
137*9507f98cSAndroid Build Coastguard Worker }
138*9507f98cSAndroid Build Coastguard Worker return false;
139*9507f98cSAndroid Build Coastguard Worker }
140*9507f98cSAndroid Build Coastguard Worker
141*9507f98cSAndroid Build Coastguard Worker // Binary search over file list
142*9507f98cSAndroid Build Coastguard Worker uint32_t index = 0;
143*9507f98cSAndroid Build Coastguard Worker if (smallest_user_key != nullptr) {
144*9507f98cSAndroid Build Coastguard Worker // Find the earliest possible internal key for smallest_user_key
145*9507f98cSAndroid Build Coastguard Worker InternalKey small_key(*smallest_user_key, kMaxSequenceNumber,
146*9507f98cSAndroid Build Coastguard Worker kValueTypeForSeek);
147*9507f98cSAndroid Build Coastguard Worker index = FindFile(icmp, files, small_key.Encode());
148*9507f98cSAndroid Build Coastguard Worker }
149*9507f98cSAndroid Build Coastguard Worker
150*9507f98cSAndroid Build Coastguard Worker if (index >= files.size()) {
151*9507f98cSAndroid Build Coastguard Worker // beginning of range is after all files, so no overlap.
152*9507f98cSAndroid Build Coastguard Worker return false;
153*9507f98cSAndroid Build Coastguard Worker }
154*9507f98cSAndroid Build Coastguard Worker
155*9507f98cSAndroid Build Coastguard Worker return !BeforeFile(ucmp, largest_user_key, files[index]);
156*9507f98cSAndroid Build Coastguard Worker }
157*9507f98cSAndroid Build Coastguard Worker
158*9507f98cSAndroid Build Coastguard Worker // An internal iterator. For a given version/level pair, yields
159*9507f98cSAndroid Build Coastguard Worker // information about the files in the level. For a given entry, key()
160*9507f98cSAndroid Build Coastguard Worker // is the largest key that occurs in the file, and value() is an
161*9507f98cSAndroid Build Coastguard Worker // 16-byte value containing the file number and file size, both
162*9507f98cSAndroid Build Coastguard Worker // encoded using EncodeFixed64.
163*9507f98cSAndroid Build Coastguard Worker class Version::LevelFileNumIterator : public Iterator {
164*9507f98cSAndroid Build Coastguard Worker public:
LevelFileNumIterator(const InternalKeyComparator & icmp,const std::vector<FileMetaData * > * flist)165*9507f98cSAndroid Build Coastguard Worker LevelFileNumIterator(const InternalKeyComparator& icmp,
166*9507f98cSAndroid Build Coastguard Worker const std::vector<FileMetaData*>* flist)
167*9507f98cSAndroid Build Coastguard Worker : icmp_(icmp), flist_(flist), index_(flist->size()) { // Marks as invalid
168*9507f98cSAndroid Build Coastguard Worker }
Valid() const169*9507f98cSAndroid Build Coastguard Worker bool Valid() const override { return index_ < flist_->size(); }
Seek(const Slice & target)170*9507f98cSAndroid Build Coastguard Worker void Seek(const Slice& target) override {
171*9507f98cSAndroid Build Coastguard Worker index_ = FindFile(icmp_, *flist_, target);
172*9507f98cSAndroid Build Coastguard Worker }
SeekToFirst()173*9507f98cSAndroid Build Coastguard Worker void SeekToFirst() override { index_ = 0; }
SeekToLast()174*9507f98cSAndroid Build Coastguard Worker void SeekToLast() override {
175*9507f98cSAndroid Build Coastguard Worker index_ = flist_->empty() ? 0 : flist_->size() - 1;
176*9507f98cSAndroid Build Coastguard Worker }
Next()177*9507f98cSAndroid Build Coastguard Worker void Next() override {
178*9507f98cSAndroid Build Coastguard Worker assert(Valid());
179*9507f98cSAndroid Build Coastguard Worker index_++;
180*9507f98cSAndroid Build Coastguard Worker }
Prev()181*9507f98cSAndroid Build Coastguard Worker void Prev() override {
182*9507f98cSAndroid Build Coastguard Worker assert(Valid());
183*9507f98cSAndroid Build Coastguard Worker if (index_ == 0) {
184*9507f98cSAndroid Build Coastguard Worker index_ = flist_->size(); // Marks as invalid
185*9507f98cSAndroid Build Coastguard Worker } else {
186*9507f98cSAndroid Build Coastguard Worker index_--;
187*9507f98cSAndroid Build Coastguard Worker }
188*9507f98cSAndroid Build Coastguard Worker }
key() const189*9507f98cSAndroid Build Coastguard Worker Slice key() const override {
190*9507f98cSAndroid Build Coastguard Worker assert(Valid());
191*9507f98cSAndroid Build Coastguard Worker return (*flist_)[index_]->largest.Encode();
192*9507f98cSAndroid Build Coastguard Worker }
value() const193*9507f98cSAndroid Build Coastguard Worker Slice value() const override {
194*9507f98cSAndroid Build Coastguard Worker assert(Valid());
195*9507f98cSAndroid Build Coastguard Worker EncodeFixed64(value_buf_, (*flist_)[index_]->number);
196*9507f98cSAndroid Build Coastguard Worker EncodeFixed64(value_buf_ + 8, (*flist_)[index_]->file_size);
197*9507f98cSAndroid Build Coastguard Worker return Slice(value_buf_, sizeof(value_buf_));
198*9507f98cSAndroid Build Coastguard Worker }
status() const199*9507f98cSAndroid Build Coastguard Worker Status status() const override { return Status::OK(); }
200*9507f98cSAndroid Build Coastguard Worker
201*9507f98cSAndroid Build Coastguard Worker private:
202*9507f98cSAndroid Build Coastguard Worker const InternalKeyComparator icmp_;
203*9507f98cSAndroid Build Coastguard Worker const std::vector<FileMetaData*>* const flist_;
204*9507f98cSAndroid Build Coastguard Worker uint32_t index_;
205*9507f98cSAndroid Build Coastguard Worker
206*9507f98cSAndroid Build Coastguard Worker // Backing store for value(). Holds the file number and size.
207*9507f98cSAndroid Build Coastguard Worker mutable char value_buf_[16];
208*9507f98cSAndroid Build Coastguard Worker };
209*9507f98cSAndroid Build Coastguard Worker
GetFileIterator(void * arg,const ReadOptions & options,const Slice & file_value)210*9507f98cSAndroid Build Coastguard Worker static Iterator* GetFileIterator(void* arg, const ReadOptions& options,
211*9507f98cSAndroid Build Coastguard Worker const Slice& file_value) {
212*9507f98cSAndroid Build Coastguard Worker TableCache* cache = reinterpret_cast<TableCache*>(arg);
213*9507f98cSAndroid Build Coastguard Worker if (file_value.size() != 16) {
214*9507f98cSAndroid Build Coastguard Worker return NewErrorIterator(
215*9507f98cSAndroid Build Coastguard Worker Status::Corruption("FileReader invoked with unexpected value"));
216*9507f98cSAndroid Build Coastguard Worker } else {
217*9507f98cSAndroid Build Coastguard Worker return cache->NewIterator(options, DecodeFixed64(file_value.data()),
218*9507f98cSAndroid Build Coastguard Worker DecodeFixed64(file_value.data() + 8));
219*9507f98cSAndroid Build Coastguard Worker }
220*9507f98cSAndroid Build Coastguard Worker }
221*9507f98cSAndroid Build Coastguard Worker
NewConcatenatingIterator(const ReadOptions & options,int level) const222*9507f98cSAndroid Build Coastguard Worker Iterator* Version::NewConcatenatingIterator(const ReadOptions& options,
223*9507f98cSAndroid Build Coastguard Worker int level) const {
224*9507f98cSAndroid Build Coastguard Worker return NewTwoLevelIterator(
225*9507f98cSAndroid Build Coastguard Worker new LevelFileNumIterator(vset_->icmp_, &files_[level]), &GetFileIterator,
226*9507f98cSAndroid Build Coastguard Worker vset_->table_cache_, options);
227*9507f98cSAndroid Build Coastguard Worker }
228*9507f98cSAndroid Build Coastguard Worker
AddIterators(const ReadOptions & options,std::vector<Iterator * > * iters)229*9507f98cSAndroid Build Coastguard Worker void Version::AddIterators(const ReadOptions& options,
230*9507f98cSAndroid Build Coastguard Worker std::vector<Iterator*>* iters) {
231*9507f98cSAndroid Build Coastguard Worker // Merge all level zero files together since they may overlap
232*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < files_[0].size(); i++) {
233*9507f98cSAndroid Build Coastguard Worker iters->push_back(vset_->table_cache_->NewIterator(
234*9507f98cSAndroid Build Coastguard Worker options, files_[0][i]->number, files_[0][i]->file_size));
235*9507f98cSAndroid Build Coastguard Worker }
236*9507f98cSAndroid Build Coastguard Worker
237*9507f98cSAndroid Build Coastguard Worker // For levels > 0, we can use a concatenating iterator that sequentially
238*9507f98cSAndroid Build Coastguard Worker // walks through the non-overlapping files in the level, opening them
239*9507f98cSAndroid Build Coastguard Worker // lazily.
240*9507f98cSAndroid Build Coastguard Worker for (int level = 1; level < config::kNumLevels; level++) {
241*9507f98cSAndroid Build Coastguard Worker if (!files_[level].empty()) {
242*9507f98cSAndroid Build Coastguard Worker iters->push_back(NewConcatenatingIterator(options, level));
243*9507f98cSAndroid Build Coastguard Worker }
244*9507f98cSAndroid Build Coastguard Worker }
245*9507f98cSAndroid Build Coastguard Worker }
246*9507f98cSAndroid Build Coastguard Worker
247*9507f98cSAndroid Build Coastguard Worker // Callback from TableCache::Get()
248*9507f98cSAndroid Build Coastguard Worker namespace {
249*9507f98cSAndroid Build Coastguard Worker enum SaverState {
250*9507f98cSAndroid Build Coastguard Worker kNotFound,
251*9507f98cSAndroid Build Coastguard Worker kFound,
252*9507f98cSAndroid Build Coastguard Worker kDeleted,
253*9507f98cSAndroid Build Coastguard Worker kCorrupt,
254*9507f98cSAndroid Build Coastguard Worker };
255*9507f98cSAndroid Build Coastguard Worker struct Saver {
256*9507f98cSAndroid Build Coastguard Worker SaverState state;
257*9507f98cSAndroid Build Coastguard Worker const Comparator* ucmp;
258*9507f98cSAndroid Build Coastguard Worker Slice user_key;
259*9507f98cSAndroid Build Coastguard Worker std::string* value;
260*9507f98cSAndroid Build Coastguard Worker };
261*9507f98cSAndroid Build Coastguard Worker } // namespace
SaveValue(void * arg,const Slice & ikey,const Slice & v)262*9507f98cSAndroid Build Coastguard Worker static void SaveValue(void* arg, const Slice& ikey, const Slice& v) {
263*9507f98cSAndroid Build Coastguard Worker Saver* s = reinterpret_cast<Saver*>(arg);
264*9507f98cSAndroid Build Coastguard Worker ParsedInternalKey parsed_key;
265*9507f98cSAndroid Build Coastguard Worker if (!ParseInternalKey(ikey, &parsed_key)) {
266*9507f98cSAndroid Build Coastguard Worker s->state = kCorrupt;
267*9507f98cSAndroid Build Coastguard Worker } else {
268*9507f98cSAndroid Build Coastguard Worker if (s->ucmp->Compare(parsed_key.user_key, s->user_key) == 0) {
269*9507f98cSAndroid Build Coastguard Worker s->state = (parsed_key.type == kTypeValue) ? kFound : kDeleted;
270*9507f98cSAndroid Build Coastguard Worker if (s->state == kFound) {
271*9507f98cSAndroid Build Coastguard Worker s->value->assign(v.data(), v.size());
272*9507f98cSAndroid Build Coastguard Worker }
273*9507f98cSAndroid Build Coastguard Worker }
274*9507f98cSAndroid Build Coastguard Worker }
275*9507f98cSAndroid Build Coastguard Worker }
276*9507f98cSAndroid Build Coastguard Worker
NewestFirst(FileMetaData * a,FileMetaData * b)277*9507f98cSAndroid Build Coastguard Worker static bool NewestFirst(FileMetaData* a, FileMetaData* b) {
278*9507f98cSAndroid Build Coastguard Worker return a->number > b->number;
279*9507f98cSAndroid Build Coastguard Worker }
280*9507f98cSAndroid Build Coastguard Worker
ForEachOverlapping(Slice user_key,Slice internal_key,void * arg,bool (* func)(void *,int,FileMetaData *))281*9507f98cSAndroid Build Coastguard Worker void Version::ForEachOverlapping(Slice user_key, Slice internal_key, void* arg,
282*9507f98cSAndroid Build Coastguard Worker bool (*func)(void*, int, FileMetaData*)) {
283*9507f98cSAndroid Build Coastguard Worker const Comparator* ucmp = vset_->icmp_.user_comparator();
284*9507f98cSAndroid Build Coastguard Worker
285*9507f98cSAndroid Build Coastguard Worker // Search level-0 in order from newest to oldest.
286*9507f98cSAndroid Build Coastguard Worker std::vector<FileMetaData*> tmp;
287*9507f98cSAndroid Build Coastguard Worker tmp.reserve(files_[0].size());
288*9507f98cSAndroid Build Coastguard Worker for (uint32_t i = 0; i < files_[0].size(); i++) {
289*9507f98cSAndroid Build Coastguard Worker FileMetaData* f = files_[0][i];
290*9507f98cSAndroid Build Coastguard Worker if (ucmp->Compare(user_key, f->smallest.user_key()) >= 0 &&
291*9507f98cSAndroid Build Coastguard Worker ucmp->Compare(user_key, f->largest.user_key()) <= 0) {
292*9507f98cSAndroid Build Coastguard Worker tmp.push_back(f);
293*9507f98cSAndroid Build Coastguard Worker }
294*9507f98cSAndroid Build Coastguard Worker }
295*9507f98cSAndroid Build Coastguard Worker if (!tmp.empty()) {
296*9507f98cSAndroid Build Coastguard Worker std::sort(tmp.begin(), tmp.end(), NewestFirst);
297*9507f98cSAndroid Build Coastguard Worker for (uint32_t i = 0; i < tmp.size(); i++) {
298*9507f98cSAndroid Build Coastguard Worker if (!(*func)(arg, 0, tmp[i])) {
299*9507f98cSAndroid Build Coastguard Worker return;
300*9507f98cSAndroid Build Coastguard Worker }
301*9507f98cSAndroid Build Coastguard Worker }
302*9507f98cSAndroid Build Coastguard Worker }
303*9507f98cSAndroid Build Coastguard Worker
304*9507f98cSAndroid Build Coastguard Worker // Search other levels.
305*9507f98cSAndroid Build Coastguard Worker for (int level = 1; level < config::kNumLevels; level++) {
306*9507f98cSAndroid Build Coastguard Worker size_t num_files = files_[level].size();
307*9507f98cSAndroid Build Coastguard Worker if (num_files == 0) continue;
308*9507f98cSAndroid Build Coastguard Worker
309*9507f98cSAndroid Build Coastguard Worker // Binary search to find earliest index whose largest key >= internal_key.
310*9507f98cSAndroid Build Coastguard Worker uint32_t index = FindFile(vset_->icmp_, files_[level], internal_key);
311*9507f98cSAndroid Build Coastguard Worker if (index < num_files) {
312*9507f98cSAndroid Build Coastguard Worker FileMetaData* f = files_[level][index];
313*9507f98cSAndroid Build Coastguard Worker if (ucmp->Compare(user_key, f->smallest.user_key()) < 0) {
314*9507f98cSAndroid Build Coastguard Worker // All of "f" is past any data for user_key
315*9507f98cSAndroid Build Coastguard Worker } else {
316*9507f98cSAndroid Build Coastguard Worker if (!(*func)(arg, level, f)) {
317*9507f98cSAndroid Build Coastguard Worker return;
318*9507f98cSAndroid Build Coastguard Worker }
319*9507f98cSAndroid Build Coastguard Worker }
320*9507f98cSAndroid Build Coastguard Worker }
321*9507f98cSAndroid Build Coastguard Worker }
322*9507f98cSAndroid Build Coastguard Worker }
323*9507f98cSAndroid Build Coastguard Worker
Get(const ReadOptions & options,const LookupKey & k,std::string * value,GetStats * stats)324*9507f98cSAndroid Build Coastguard Worker Status Version::Get(const ReadOptions& options, const LookupKey& k,
325*9507f98cSAndroid Build Coastguard Worker std::string* value, GetStats* stats) {
326*9507f98cSAndroid Build Coastguard Worker stats->seek_file = nullptr;
327*9507f98cSAndroid Build Coastguard Worker stats->seek_file_level = -1;
328*9507f98cSAndroid Build Coastguard Worker
329*9507f98cSAndroid Build Coastguard Worker struct State {
330*9507f98cSAndroid Build Coastguard Worker Saver saver;
331*9507f98cSAndroid Build Coastguard Worker GetStats* stats;
332*9507f98cSAndroid Build Coastguard Worker const ReadOptions* options;
333*9507f98cSAndroid Build Coastguard Worker Slice ikey;
334*9507f98cSAndroid Build Coastguard Worker FileMetaData* last_file_read;
335*9507f98cSAndroid Build Coastguard Worker int last_file_read_level;
336*9507f98cSAndroid Build Coastguard Worker
337*9507f98cSAndroid Build Coastguard Worker VersionSet* vset;
338*9507f98cSAndroid Build Coastguard Worker Status s;
339*9507f98cSAndroid Build Coastguard Worker bool found;
340*9507f98cSAndroid Build Coastguard Worker
341*9507f98cSAndroid Build Coastguard Worker static bool Match(void* arg, int level, FileMetaData* f) {
342*9507f98cSAndroid Build Coastguard Worker State* state = reinterpret_cast<State*>(arg);
343*9507f98cSAndroid Build Coastguard Worker
344*9507f98cSAndroid Build Coastguard Worker if (state->stats->seek_file == nullptr &&
345*9507f98cSAndroid Build Coastguard Worker state->last_file_read != nullptr) {
346*9507f98cSAndroid Build Coastguard Worker // We have had more than one seek for this read. Charge the 1st file.
347*9507f98cSAndroid Build Coastguard Worker state->stats->seek_file = state->last_file_read;
348*9507f98cSAndroid Build Coastguard Worker state->stats->seek_file_level = state->last_file_read_level;
349*9507f98cSAndroid Build Coastguard Worker }
350*9507f98cSAndroid Build Coastguard Worker
351*9507f98cSAndroid Build Coastguard Worker state->last_file_read = f;
352*9507f98cSAndroid Build Coastguard Worker state->last_file_read_level = level;
353*9507f98cSAndroid Build Coastguard Worker
354*9507f98cSAndroid Build Coastguard Worker state->s = state->vset->table_cache_->Get(*state->options, f->number,
355*9507f98cSAndroid Build Coastguard Worker f->file_size, state->ikey,
356*9507f98cSAndroid Build Coastguard Worker &state->saver, SaveValue);
357*9507f98cSAndroid Build Coastguard Worker if (!state->s.ok()) {
358*9507f98cSAndroid Build Coastguard Worker state->found = true;
359*9507f98cSAndroid Build Coastguard Worker return false;
360*9507f98cSAndroid Build Coastguard Worker }
361*9507f98cSAndroid Build Coastguard Worker switch (state->saver.state) {
362*9507f98cSAndroid Build Coastguard Worker case kNotFound:
363*9507f98cSAndroid Build Coastguard Worker return true; // Keep searching in other files
364*9507f98cSAndroid Build Coastguard Worker case kFound:
365*9507f98cSAndroid Build Coastguard Worker state->found = true;
366*9507f98cSAndroid Build Coastguard Worker return false;
367*9507f98cSAndroid Build Coastguard Worker case kDeleted:
368*9507f98cSAndroid Build Coastguard Worker return false;
369*9507f98cSAndroid Build Coastguard Worker case kCorrupt:
370*9507f98cSAndroid Build Coastguard Worker state->s =
371*9507f98cSAndroid Build Coastguard Worker Status::Corruption("corrupted key for ", state->saver.user_key);
372*9507f98cSAndroid Build Coastguard Worker state->found = true;
373*9507f98cSAndroid Build Coastguard Worker return false;
374*9507f98cSAndroid Build Coastguard Worker }
375*9507f98cSAndroid Build Coastguard Worker
376*9507f98cSAndroid Build Coastguard Worker // Not reached. Added to avoid false compilation warnings of
377*9507f98cSAndroid Build Coastguard Worker // "control reaches end of non-void function".
378*9507f98cSAndroid Build Coastguard Worker return false;
379*9507f98cSAndroid Build Coastguard Worker }
380*9507f98cSAndroid Build Coastguard Worker };
381*9507f98cSAndroid Build Coastguard Worker
382*9507f98cSAndroid Build Coastguard Worker State state;
383*9507f98cSAndroid Build Coastguard Worker state.found = false;
384*9507f98cSAndroid Build Coastguard Worker state.stats = stats;
385*9507f98cSAndroid Build Coastguard Worker state.last_file_read = nullptr;
386*9507f98cSAndroid Build Coastguard Worker state.last_file_read_level = -1;
387*9507f98cSAndroid Build Coastguard Worker
388*9507f98cSAndroid Build Coastguard Worker state.options = &options;
389*9507f98cSAndroid Build Coastguard Worker state.ikey = k.internal_key();
390*9507f98cSAndroid Build Coastguard Worker state.vset = vset_;
391*9507f98cSAndroid Build Coastguard Worker
392*9507f98cSAndroid Build Coastguard Worker state.saver.state = kNotFound;
393*9507f98cSAndroid Build Coastguard Worker state.saver.ucmp = vset_->icmp_.user_comparator();
394*9507f98cSAndroid Build Coastguard Worker state.saver.user_key = k.user_key();
395*9507f98cSAndroid Build Coastguard Worker state.saver.value = value;
396*9507f98cSAndroid Build Coastguard Worker
397*9507f98cSAndroid Build Coastguard Worker ForEachOverlapping(state.saver.user_key, state.ikey, &state, &State::Match);
398*9507f98cSAndroid Build Coastguard Worker
399*9507f98cSAndroid Build Coastguard Worker return state.found ? state.s : Status::NotFound(Slice());
400*9507f98cSAndroid Build Coastguard Worker }
401*9507f98cSAndroid Build Coastguard Worker
UpdateStats(const GetStats & stats)402*9507f98cSAndroid Build Coastguard Worker bool Version::UpdateStats(const GetStats& stats) {
403*9507f98cSAndroid Build Coastguard Worker FileMetaData* f = stats.seek_file;
404*9507f98cSAndroid Build Coastguard Worker if (f != nullptr) {
405*9507f98cSAndroid Build Coastguard Worker f->allowed_seeks--;
406*9507f98cSAndroid Build Coastguard Worker if (f->allowed_seeks <= 0 && file_to_compact_ == nullptr) {
407*9507f98cSAndroid Build Coastguard Worker file_to_compact_ = f;
408*9507f98cSAndroid Build Coastguard Worker file_to_compact_level_ = stats.seek_file_level;
409*9507f98cSAndroid Build Coastguard Worker return true;
410*9507f98cSAndroid Build Coastguard Worker }
411*9507f98cSAndroid Build Coastguard Worker }
412*9507f98cSAndroid Build Coastguard Worker return false;
413*9507f98cSAndroid Build Coastguard Worker }
414*9507f98cSAndroid Build Coastguard Worker
RecordReadSample(Slice internal_key)415*9507f98cSAndroid Build Coastguard Worker bool Version::RecordReadSample(Slice internal_key) {
416*9507f98cSAndroid Build Coastguard Worker ParsedInternalKey ikey;
417*9507f98cSAndroid Build Coastguard Worker if (!ParseInternalKey(internal_key, &ikey)) {
418*9507f98cSAndroid Build Coastguard Worker return false;
419*9507f98cSAndroid Build Coastguard Worker }
420*9507f98cSAndroid Build Coastguard Worker
421*9507f98cSAndroid Build Coastguard Worker struct State {
422*9507f98cSAndroid Build Coastguard Worker GetStats stats; // Holds first matching file
423*9507f98cSAndroid Build Coastguard Worker int matches;
424*9507f98cSAndroid Build Coastguard Worker
425*9507f98cSAndroid Build Coastguard Worker static bool Match(void* arg, int level, FileMetaData* f) {
426*9507f98cSAndroid Build Coastguard Worker State* state = reinterpret_cast<State*>(arg);
427*9507f98cSAndroid Build Coastguard Worker state->matches++;
428*9507f98cSAndroid Build Coastguard Worker if (state->matches == 1) {
429*9507f98cSAndroid Build Coastguard Worker // Remember first match.
430*9507f98cSAndroid Build Coastguard Worker state->stats.seek_file = f;
431*9507f98cSAndroid Build Coastguard Worker state->stats.seek_file_level = level;
432*9507f98cSAndroid Build Coastguard Worker }
433*9507f98cSAndroid Build Coastguard Worker // We can stop iterating once we have a second match.
434*9507f98cSAndroid Build Coastguard Worker return state->matches < 2;
435*9507f98cSAndroid Build Coastguard Worker }
436*9507f98cSAndroid Build Coastguard Worker };
437*9507f98cSAndroid Build Coastguard Worker
438*9507f98cSAndroid Build Coastguard Worker State state;
439*9507f98cSAndroid Build Coastguard Worker state.matches = 0;
440*9507f98cSAndroid Build Coastguard Worker ForEachOverlapping(ikey.user_key, internal_key, &state, &State::Match);
441*9507f98cSAndroid Build Coastguard Worker
442*9507f98cSAndroid Build Coastguard Worker // Must have at least two matches since we want to merge across
443*9507f98cSAndroid Build Coastguard Worker // files. But what if we have a single file that contains many
444*9507f98cSAndroid Build Coastguard Worker // overwrites and deletions? Should we have another mechanism for
445*9507f98cSAndroid Build Coastguard Worker // finding such files?
446*9507f98cSAndroid Build Coastguard Worker if (state.matches >= 2) {
447*9507f98cSAndroid Build Coastguard Worker // 1MB cost is about 1 seek (see comment in Builder::Apply).
448*9507f98cSAndroid Build Coastguard Worker return UpdateStats(state.stats);
449*9507f98cSAndroid Build Coastguard Worker }
450*9507f98cSAndroid Build Coastguard Worker return false;
451*9507f98cSAndroid Build Coastguard Worker }
452*9507f98cSAndroid Build Coastguard Worker
Ref()453*9507f98cSAndroid Build Coastguard Worker void Version::Ref() { ++refs_; }
454*9507f98cSAndroid Build Coastguard Worker
Unref()455*9507f98cSAndroid Build Coastguard Worker void Version::Unref() {
456*9507f98cSAndroid Build Coastguard Worker assert(this != &vset_->dummy_versions_);
457*9507f98cSAndroid Build Coastguard Worker assert(refs_ >= 1);
458*9507f98cSAndroid Build Coastguard Worker --refs_;
459*9507f98cSAndroid Build Coastguard Worker if (refs_ == 0) {
460*9507f98cSAndroid Build Coastguard Worker delete this;
461*9507f98cSAndroid Build Coastguard Worker }
462*9507f98cSAndroid Build Coastguard Worker }
463*9507f98cSAndroid Build Coastguard Worker
OverlapInLevel(int level,const Slice * smallest_user_key,const Slice * largest_user_key)464*9507f98cSAndroid Build Coastguard Worker bool Version::OverlapInLevel(int level, const Slice* smallest_user_key,
465*9507f98cSAndroid Build Coastguard Worker const Slice* largest_user_key) {
466*9507f98cSAndroid Build Coastguard Worker return SomeFileOverlapsRange(vset_->icmp_, (level > 0), files_[level],
467*9507f98cSAndroid Build Coastguard Worker smallest_user_key, largest_user_key);
468*9507f98cSAndroid Build Coastguard Worker }
469*9507f98cSAndroid Build Coastguard Worker
PickLevelForMemTableOutput(const Slice & smallest_user_key,const Slice & largest_user_key)470*9507f98cSAndroid Build Coastguard Worker int Version::PickLevelForMemTableOutput(const Slice& smallest_user_key,
471*9507f98cSAndroid Build Coastguard Worker const Slice& largest_user_key) {
472*9507f98cSAndroid Build Coastguard Worker int level = 0;
473*9507f98cSAndroid Build Coastguard Worker if (!OverlapInLevel(0, &smallest_user_key, &largest_user_key)) {
474*9507f98cSAndroid Build Coastguard Worker // Push to next level if there is no overlap in next level,
475*9507f98cSAndroid Build Coastguard Worker // and the #bytes overlapping in the level after that are limited.
476*9507f98cSAndroid Build Coastguard Worker InternalKey start(smallest_user_key, kMaxSequenceNumber, kValueTypeForSeek);
477*9507f98cSAndroid Build Coastguard Worker InternalKey limit(largest_user_key, 0, static_cast<ValueType>(0));
478*9507f98cSAndroid Build Coastguard Worker std::vector<FileMetaData*> overlaps;
479*9507f98cSAndroid Build Coastguard Worker while (level < config::kMaxMemCompactLevel) {
480*9507f98cSAndroid Build Coastguard Worker if (OverlapInLevel(level + 1, &smallest_user_key, &largest_user_key)) {
481*9507f98cSAndroid Build Coastguard Worker break;
482*9507f98cSAndroid Build Coastguard Worker }
483*9507f98cSAndroid Build Coastguard Worker if (level + 2 < config::kNumLevels) {
484*9507f98cSAndroid Build Coastguard Worker // Check that file does not overlap too many grandparent bytes.
485*9507f98cSAndroid Build Coastguard Worker GetOverlappingInputs(level + 2, &start, &limit, &overlaps);
486*9507f98cSAndroid Build Coastguard Worker const int64_t sum = TotalFileSize(overlaps);
487*9507f98cSAndroid Build Coastguard Worker if (sum > MaxGrandParentOverlapBytes(vset_->options_)) {
488*9507f98cSAndroid Build Coastguard Worker break;
489*9507f98cSAndroid Build Coastguard Worker }
490*9507f98cSAndroid Build Coastguard Worker }
491*9507f98cSAndroid Build Coastguard Worker level++;
492*9507f98cSAndroid Build Coastguard Worker }
493*9507f98cSAndroid Build Coastguard Worker }
494*9507f98cSAndroid Build Coastguard Worker return level;
495*9507f98cSAndroid Build Coastguard Worker }
496*9507f98cSAndroid Build Coastguard Worker
497*9507f98cSAndroid Build Coastguard Worker // Store in "*inputs" all files in "level" that overlap [begin,end]
GetOverlappingInputs(int level,const InternalKey * begin,const InternalKey * end,std::vector<FileMetaData * > * inputs)498*9507f98cSAndroid Build Coastguard Worker void Version::GetOverlappingInputs(int level, const InternalKey* begin,
499*9507f98cSAndroid Build Coastguard Worker const InternalKey* end,
500*9507f98cSAndroid Build Coastguard Worker std::vector<FileMetaData*>* inputs) {
501*9507f98cSAndroid Build Coastguard Worker assert(level >= 0);
502*9507f98cSAndroid Build Coastguard Worker assert(level < config::kNumLevels);
503*9507f98cSAndroid Build Coastguard Worker inputs->clear();
504*9507f98cSAndroid Build Coastguard Worker Slice user_begin, user_end;
505*9507f98cSAndroid Build Coastguard Worker if (begin != nullptr) {
506*9507f98cSAndroid Build Coastguard Worker user_begin = begin->user_key();
507*9507f98cSAndroid Build Coastguard Worker }
508*9507f98cSAndroid Build Coastguard Worker if (end != nullptr) {
509*9507f98cSAndroid Build Coastguard Worker user_end = end->user_key();
510*9507f98cSAndroid Build Coastguard Worker }
511*9507f98cSAndroid Build Coastguard Worker const Comparator* user_cmp = vset_->icmp_.user_comparator();
512*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < files_[level].size();) {
513*9507f98cSAndroid Build Coastguard Worker FileMetaData* f = files_[level][i++];
514*9507f98cSAndroid Build Coastguard Worker const Slice file_start = f->smallest.user_key();
515*9507f98cSAndroid Build Coastguard Worker const Slice file_limit = f->largest.user_key();
516*9507f98cSAndroid Build Coastguard Worker if (begin != nullptr && user_cmp->Compare(file_limit, user_begin) < 0) {
517*9507f98cSAndroid Build Coastguard Worker // "f" is completely before specified range; skip it
518*9507f98cSAndroid Build Coastguard Worker } else if (end != nullptr && user_cmp->Compare(file_start, user_end) > 0) {
519*9507f98cSAndroid Build Coastguard Worker // "f" is completely after specified range; skip it
520*9507f98cSAndroid Build Coastguard Worker } else {
521*9507f98cSAndroid Build Coastguard Worker inputs->push_back(f);
522*9507f98cSAndroid Build Coastguard Worker if (level == 0) {
523*9507f98cSAndroid Build Coastguard Worker // Level-0 files may overlap each other. So check if the newly
524*9507f98cSAndroid Build Coastguard Worker // added file has expanded the range. If so, restart search.
525*9507f98cSAndroid Build Coastguard Worker if (begin != nullptr && user_cmp->Compare(file_start, user_begin) < 0) {
526*9507f98cSAndroid Build Coastguard Worker user_begin = file_start;
527*9507f98cSAndroid Build Coastguard Worker inputs->clear();
528*9507f98cSAndroid Build Coastguard Worker i = 0;
529*9507f98cSAndroid Build Coastguard Worker } else if (end != nullptr &&
530*9507f98cSAndroid Build Coastguard Worker user_cmp->Compare(file_limit, user_end) > 0) {
531*9507f98cSAndroid Build Coastguard Worker user_end = file_limit;
532*9507f98cSAndroid Build Coastguard Worker inputs->clear();
533*9507f98cSAndroid Build Coastguard Worker i = 0;
534*9507f98cSAndroid Build Coastguard Worker }
535*9507f98cSAndroid Build Coastguard Worker }
536*9507f98cSAndroid Build Coastguard Worker }
537*9507f98cSAndroid Build Coastguard Worker }
538*9507f98cSAndroid Build Coastguard Worker }
539*9507f98cSAndroid Build Coastguard Worker
DebugString() const540*9507f98cSAndroid Build Coastguard Worker std::string Version::DebugString() const {
541*9507f98cSAndroid Build Coastguard Worker std::string r;
542*9507f98cSAndroid Build Coastguard Worker for (int level = 0; level < config::kNumLevels; level++) {
543*9507f98cSAndroid Build Coastguard Worker // E.g.,
544*9507f98cSAndroid Build Coastguard Worker // --- level 1 ---
545*9507f98cSAndroid Build Coastguard Worker // 17:123['a' .. 'd']
546*9507f98cSAndroid Build Coastguard Worker // 20:43['e' .. 'g']
547*9507f98cSAndroid Build Coastguard Worker r.append("--- level ");
548*9507f98cSAndroid Build Coastguard Worker AppendNumberTo(&r, level);
549*9507f98cSAndroid Build Coastguard Worker r.append(" ---\n");
550*9507f98cSAndroid Build Coastguard Worker const std::vector<FileMetaData*>& files = files_[level];
551*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < files.size(); i++) {
552*9507f98cSAndroid Build Coastguard Worker r.push_back(' ');
553*9507f98cSAndroid Build Coastguard Worker AppendNumberTo(&r, files[i]->number);
554*9507f98cSAndroid Build Coastguard Worker r.push_back(':');
555*9507f98cSAndroid Build Coastguard Worker AppendNumberTo(&r, files[i]->file_size);
556*9507f98cSAndroid Build Coastguard Worker r.append("[");
557*9507f98cSAndroid Build Coastguard Worker r.append(files[i]->smallest.DebugString());
558*9507f98cSAndroid Build Coastguard Worker r.append(" .. ");
559*9507f98cSAndroid Build Coastguard Worker r.append(files[i]->largest.DebugString());
560*9507f98cSAndroid Build Coastguard Worker r.append("]\n");
561*9507f98cSAndroid Build Coastguard Worker }
562*9507f98cSAndroid Build Coastguard Worker }
563*9507f98cSAndroid Build Coastguard Worker return r;
564*9507f98cSAndroid Build Coastguard Worker }
565*9507f98cSAndroid Build Coastguard Worker
566*9507f98cSAndroid Build Coastguard Worker // A helper class so we can efficiently apply a whole sequence
567*9507f98cSAndroid Build Coastguard Worker // of edits to a particular state without creating intermediate
568*9507f98cSAndroid Build Coastguard Worker // Versions that contain full copies of the intermediate state.
569*9507f98cSAndroid Build Coastguard Worker class VersionSet::Builder {
570*9507f98cSAndroid Build Coastguard Worker private:
571*9507f98cSAndroid Build Coastguard Worker // Helper to sort by v->files_[file_number].smallest
572*9507f98cSAndroid Build Coastguard Worker struct BySmallestKey {
573*9507f98cSAndroid Build Coastguard Worker const InternalKeyComparator* internal_comparator;
574*9507f98cSAndroid Build Coastguard Worker
operator ()leveldb::VersionSet::Builder::BySmallestKey575*9507f98cSAndroid Build Coastguard Worker bool operator()(FileMetaData* f1, FileMetaData* f2) const {
576*9507f98cSAndroid Build Coastguard Worker int r = internal_comparator->Compare(f1->smallest, f2->smallest);
577*9507f98cSAndroid Build Coastguard Worker if (r != 0) {
578*9507f98cSAndroid Build Coastguard Worker return (r < 0);
579*9507f98cSAndroid Build Coastguard Worker } else {
580*9507f98cSAndroid Build Coastguard Worker // Break ties by file number
581*9507f98cSAndroid Build Coastguard Worker return (f1->number < f2->number);
582*9507f98cSAndroid Build Coastguard Worker }
583*9507f98cSAndroid Build Coastguard Worker }
584*9507f98cSAndroid Build Coastguard Worker };
585*9507f98cSAndroid Build Coastguard Worker
586*9507f98cSAndroid Build Coastguard Worker typedef std::set<FileMetaData*, BySmallestKey> FileSet;
587*9507f98cSAndroid Build Coastguard Worker struct LevelState {
588*9507f98cSAndroid Build Coastguard Worker std::set<uint64_t> deleted_files;
589*9507f98cSAndroid Build Coastguard Worker FileSet* added_files;
590*9507f98cSAndroid Build Coastguard Worker };
591*9507f98cSAndroid Build Coastguard Worker
592*9507f98cSAndroid Build Coastguard Worker VersionSet* vset_;
593*9507f98cSAndroid Build Coastguard Worker Version* base_;
594*9507f98cSAndroid Build Coastguard Worker LevelState levels_[config::kNumLevels];
595*9507f98cSAndroid Build Coastguard Worker
596*9507f98cSAndroid Build Coastguard Worker public:
597*9507f98cSAndroid Build Coastguard Worker // Initialize a builder with the files from *base and other info from *vset
Builder(VersionSet * vset,Version * base)598*9507f98cSAndroid Build Coastguard Worker Builder(VersionSet* vset, Version* base) : vset_(vset), base_(base) {
599*9507f98cSAndroid Build Coastguard Worker base_->Ref();
600*9507f98cSAndroid Build Coastguard Worker BySmallestKey cmp;
601*9507f98cSAndroid Build Coastguard Worker cmp.internal_comparator = &vset_->icmp_;
602*9507f98cSAndroid Build Coastguard Worker for (int level = 0; level < config::kNumLevels; level++) {
603*9507f98cSAndroid Build Coastguard Worker levels_[level].added_files = new FileSet(cmp);
604*9507f98cSAndroid Build Coastguard Worker }
605*9507f98cSAndroid Build Coastguard Worker }
606*9507f98cSAndroid Build Coastguard Worker
~Builder()607*9507f98cSAndroid Build Coastguard Worker ~Builder() {
608*9507f98cSAndroid Build Coastguard Worker for (int level = 0; level < config::kNumLevels; level++) {
609*9507f98cSAndroid Build Coastguard Worker const FileSet* added = levels_[level].added_files;
610*9507f98cSAndroid Build Coastguard Worker std::vector<FileMetaData*> to_unref;
611*9507f98cSAndroid Build Coastguard Worker to_unref.reserve(added->size());
612*9507f98cSAndroid Build Coastguard Worker for (FileSet::const_iterator it = added->begin(); it != added->end();
613*9507f98cSAndroid Build Coastguard Worker ++it) {
614*9507f98cSAndroid Build Coastguard Worker to_unref.push_back(*it);
615*9507f98cSAndroid Build Coastguard Worker }
616*9507f98cSAndroid Build Coastguard Worker delete added;
617*9507f98cSAndroid Build Coastguard Worker for (uint32_t i = 0; i < to_unref.size(); i++) {
618*9507f98cSAndroid Build Coastguard Worker FileMetaData* f = to_unref[i];
619*9507f98cSAndroid Build Coastguard Worker f->refs--;
620*9507f98cSAndroid Build Coastguard Worker if (f->refs <= 0) {
621*9507f98cSAndroid Build Coastguard Worker delete f;
622*9507f98cSAndroid Build Coastguard Worker }
623*9507f98cSAndroid Build Coastguard Worker }
624*9507f98cSAndroid Build Coastguard Worker }
625*9507f98cSAndroid Build Coastguard Worker base_->Unref();
626*9507f98cSAndroid Build Coastguard Worker }
627*9507f98cSAndroid Build Coastguard Worker
628*9507f98cSAndroid Build Coastguard Worker // Apply all of the edits in *edit to the current state.
Apply(VersionEdit * edit)629*9507f98cSAndroid Build Coastguard Worker void Apply(VersionEdit* edit) {
630*9507f98cSAndroid Build Coastguard Worker // Update compaction pointers
631*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < edit->compact_pointers_.size(); i++) {
632*9507f98cSAndroid Build Coastguard Worker const int level = edit->compact_pointers_[i].first;
633*9507f98cSAndroid Build Coastguard Worker vset_->compact_pointer_[level] =
634*9507f98cSAndroid Build Coastguard Worker edit->compact_pointers_[i].second.Encode().ToString();
635*9507f98cSAndroid Build Coastguard Worker }
636*9507f98cSAndroid Build Coastguard Worker
637*9507f98cSAndroid Build Coastguard Worker // Delete files
638*9507f98cSAndroid Build Coastguard Worker for (const auto& deleted_file_set_kvp : edit->deleted_files_) {
639*9507f98cSAndroid Build Coastguard Worker const int level = deleted_file_set_kvp.first;
640*9507f98cSAndroid Build Coastguard Worker const uint64_t number = deleted_file_set_kvp.second;
641*9507f98cSAndroid Build Coastguard Worker levels_[level].deleted_files.insert(number);
642*9507f98cSAndroid Build Coastguard Worker }
643*9507f98cSAndroid Build Coastguard Worker
644*9507f98cSAndroid Build Coastguard Worker // Add new files
645*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < edit->new_files_.size(); i++) {
646*9507f98cSAndroid Build Coastguard Worker const int level = edit->new_files_[i].first;
647*9507f98cSAndroid Build Coastguard Worker FileMetaData* f = new FileMetaData(edit->new_files_[i].second);
648*9507f98cSAndroid Build Coastguard Worker f->refs = 1;
649*9507f98cSAndroid Build Coastguard Worker
650*9507f98cSAndroid Build Coastguard Worker // We arrange to automatically compact this file after
651*9507f98cSAndroid Build Coastguard Worker // a certain number of seeks. Let's assume:
652*9507f98cSAndroid Build Coastguard Worker // (1) One seek costs 10ms
653*9507f98cSAndroid Build Coastguard Worker // (2) Writing or reading 1MB costs 10ms (100MB/s)
654*9507f98cSAndroid Build Coastguard Worker // (3) A compaction of 1MB does 25MB of IO:
655*9507f98cSAndroid Build Coastguard Worker // 1MB read from this level
656*9507f98cSAndroid Build Coastguard Worker // 10-12MB read from next level (boundaries may be misaligned)
657*9507f98cSAndroid Build Coastguard Worker // 10-12MB written to next level
658*9507f98cSAndroid Build Coastguard Worker // This implies that 25 seeks cost the same as the compaction
659*9507f98cSAndroid Build Coastguard Worker // of 1MB of data. I.e., one seek costs approximately the
660*9507f98cSAndroid Build Coastguard Worker // same as the compaction of 40KB of data. We are a little
661*9507f98cSAndroid Build Coastguard Worker // conservative and allow approximately one seek for every 16KB
662*9507f98cSAndroid Build Coastguard Worker // of data before triggering a compaction.
663*9507f98cSAndroid Build Coastguard Worker f->allowed_seeks = static_cast<int>((f->file_size / 16384U));
664*9507f98cSAndroid Build Coastguard Worker if (f->allowed_seeks < 100) f->allowed_seeks = 100;
665*9507f98cSAndroid Build Coastguard Worker
666*9507f98cSAndroid Build Coastguard Worker levels_[level].deleted_files.erase(f->number);
667*9507f98cSAndroid Build Coastguard Worker levels_[level].added_files->insert(f);
668*9507f98cSAndroid Build Coastguard Worker }
669*9507f98cSAndroid Build Coastguard Worker }
670*9507f98cSAndroid Build Coastguard Worker
671*9507f98cSAndroid Build Coastguard Worker // Save the current state in *v.
SaveTo(Version * v)672*9507f98cSAndroid Build Coastguard Worker void SaveTo(Version* v) {
673*9507f98cSAndroid Build Coastguard Worker BySmallestKey cmp;
674*9507f98cSAndroid Build Coastguard Worker cmp.internal_comparator = &vset_->icmp_;
675*9507f98cSAndroid Build Coastguard Worker for (int level = 0; level < config::kNumLevels; level++) {
676*9507f98cSAndroid Build Coastguard Worker // Merge the set of added files with the set of pre-existing files.
677*9507f98cSAndroid Build Coastguard Worker // Drop any deleted files. Store the result in *v.
678*9507f98cSAndroid Build Coastguard Worker const std::vector<FileMetaData*>& base_files = base_->files_[level];
679*9507f98cSAndroid Build Coastguard Worker std::vector<FileMetaData*>::const_iterator base_iter = base_files.begin();
680*9507f98cSAndroid Build Coastguard Worker std::vector<FileMetaData*>::const_iterator base_end = base_files.end();
681*9507f98cSAndroid Build Coastguard Worker const FileSet* added_files = levels_[level].added_files;
682*9507f98cSAndroid Build Coastguard Worker v->files_[level].reserve(base_files.size() + added_files->size());
683*9507f98cSAndroid Build Coastguard Worker for (const auto& added_file : *added_files) {
684*9507f98cSAndroid Build Coastguard Worker // Add all smaller files listed in base_
685*9507f98cSAndroid Build Coastguard Worker for (std::vector<FileMetaData*>::const_iterator bpos =
686*9507f98cSAndroid Build Coastguard Worker std::upper_bound(base_iter, base_end, added_file, cmp);
687*9507f98cSAndroid Build Coastguard Worker base_iter != bpos; ++base_iter) {
688*9507f98cSAndroid Build Coastguard Worker MaybeAddFile(v, level, *base_iter);
689*9507f98cSAndroid Build Coastguard Worker }
690*9507f98cSAndroid Build Coastguard Worker
691*9507f98cSAndroid Build Coastguard Worker MaybeAddFile(v, level, added_file);
692*9507f98cSAndroid Build Coastguard Worker }
693*9507f98cSAndroid Build Coastguard Worker
694*9507f98cSAndroid Build Coastguard Worker // Add remaining base files
695*9507f98cSAndroid Build Coastguard Worker for (; base_iter != base_end; ++base_iter) {
696*9507f98cSAndroid Build Coastguard Worker MaybeAddFile(v, level, *base_iter);
697*9507f98cSAndroid Build Coastguard Worker }
698*9507f98cSAndroid Build Coastguard Worker
699*9507f98cSAndroid Build Coastguard Worker #ifndef NDEBUG
700*9507f98cSAndroid Build Coastguard Worker // Make sure there is no overlap in levels > 0
701*9507f98cSAndroid Build Coastguard Worker if (level > 0) {
702*9507f98cSAndroid Build Coastguard Worker for (uint32_t i = 1; i < v->files_[level].size(); i++) {
703*9507f98cSAndroid Build Coastguard Worker const InternalKey& prev_end = v->files_[level][i - 1]->largest;
704*9507f98cSAndroid Build Coastguard Worker const InternalKey& this_begin = v->files_[level][i]->smallest;
705*9507f98cSAndroid Build Coastguard Worker if (vset_->icmp_.Compare(prev_end, this_begin) >= 0) {
706*9507f98cSAndroid Build Coastguard Worker std::fprintf(stderr, "overlapping ranges in same level %s vs. %s\n",
707*9507f98cSAndroid Build Coastguard Worker prev_end.DebugString().c_str(),
708*9507f98cSAndroid Build Coastguard Worker this_begin.DebugString().c_str());
709*9507f98cSAndroid Build Coastguard Worker std::abort();
710*9507f98cSAndroid Build Coastguard Worker }
711*9507f98cSAndroid Build Coastguard Worker }
712*9507f98cSAndroid Build Coastguard Worker }
713*9507f98cSAndroid Build Coastguard Worker #endif
714*9507f98cSAndroid Build Coastguard Worker }
715*9507f98cSAndroid Build Coastguard Worker }
716*9507f98cSAndroid Build Coastguard Worker
MaybeAddFile(Version * v,int level,FileMetaData * f)717*9507f98cSAndroid Build Coastguard Worker void MaybeAddFile(Version* v, int level, FileMetaData* f) {
718*9507f98cSAndroid Build Coastguard Worker if (levels_[level].deleted_files.count(f->number) > 0) {
719*9507f98cSAndroid Build Coastguard Worker // File is deleted: do nothing
720*9507f98cSAndroid Build Coastguard Worker } else {
721*9507f98cSAndroid Build Coastguard Worker std::vector<FileMetaData*>* files = &v->files_[level];
722*9507f98cSAndroid Build Coastguard Worker if (level > 0 && !files->empty()) {
723*9507f98cSAndroid Build Coastguard Worker // Must not overlap
724*9507f98cSAndroid Build Coastguard Worker assert(vset_->icmp_.Compare((*files)[files->size() - 1]->largest,
725*9507f98cSAndroid Build Coastguard Worker f->smallest) < 0);
726*9507f98cSAndroid Build Coastguard Worker }
727*9507f98cSAndroid Build Coastguard Worker f->refs++;
728*9507f98cSAndroid Build Coastguard Worker files->push_back(f);
729*9507f98cSAndroid Build Coastguard Worker }
730*9507f98cSAndroid Build Coastguard Worker }
731*9507f98cSAndroid Build Coastguard Worker };
732*9507f98cSAndroid Build Coastguard Worker
VersionSet(const std::string & dbname,const Options * options,TableCache * table_cache,const InternalKeyComparator * cmp)733*9507f98cSAndroid Build Coastguard Worker VersionSet::VersionSet(const std::string& dbname, const Options* options,
734*9507f98cSAndroid Build Coastguard Worker TableCache* table_cache,
735*9507f98cSAndroid Build Coastguard Worker const InternalKeyComparator* cmp)
736*9507f98cSAndroid Build Coastguard Worker : env_(options->env),
737*9507f98cSAndroid Build Coastguard Worker dbname_(dbname),
738*9507f98cSAndroid Build Coastguard Worker options_(options),
739*9507f98cSAndroid Build Coastguard Worker table_cache_(table_cache),
740*9507f98cSAndroid Build Coastguard Worker icmp_(*cmp),
741*9507f98cSAndroid Build Coastguard Worker next_file_number_(2),
742*9507f98cSAndroid Build Coastguard Worker manifest_file_number_(0), // Filled by Recover()
743*9507f98cSAndroid Build Coastguard Worker last_sequence_(0),
744*9507f98cSAndroid Build Coastguard Worker log_number_(0),
745*9507f98cSAndroid Build Coastguard Worker prev_log_number_(0),
746*9507f98cSAndroid Build Coastguard Worker descriptor_file_(nullptr),
747*9507f98cSAndroid Build Coastguard Worker descriptor_log_(nullptr),
748*9507f98cSAndroid Build Coastguard Worker dummy_versions_(this),
749*9507f98cSAndroid Build Coastguard Worker current_(nullptr) {
750*9507f98cSAndroid Build Coastguard Worker AppendVersion(new Version(this));
751*9507f98cSAndroid Build Coastguard Worker }
752*9507f98cSAndroid Build Coastguard Worker
~VersionSet()753*9507f98cSAndroid Build Coastguard Worker VersionSet::~VersionSet() {
754*9507f98cSAndroid Build Coastguard Worker current_->Unref();
755*9507f98cSAndroid Build Coastguard Worker assert(dummy_versions_.next_ == &dummy_versions_); // List must be empty
756*9507f98cSAndroid Build Coastguard Worker delete descriptor_log_;
757*9507f98cSAndroid Build Coastguard Worker delete descriptor_file_;
758*9507f98cSAndroid Build Coastguard Worker }
759*9507f98cSAndroid Build Coastguard Worker
AppendVersion(Version * v)760*9507f98cSAndroid Build Coastguard Worker void VersionSet::AppendVersion(Version* v) {
761*9507f98cSAndroid Build Coastguard Worker // Make "v" current
762*9507f98cSAndroid Build Coastguard Worker assert(v->refs_ == 0);
763*9507f98cSAndroid Build Coastguard Worker assert(v != current_);
764*9507f98cSAndroid Build Coastguard Worker if (current_ != nullptr) {
765*9507f98cSAndroid Build Coastguard Worker current_->Unref();
766*9507f98cSAndroid Build Coastguard Worker }
767*9507f98cSAndroid Build Coastguard Worker current_ = v;
768*9507f98cSAndroid Build Coastguard Worker v->Ref();
769*9507f98cSAndroid Build Coastguard Worker
770*9507f98cSAndroid Build Coastguard Worker // Append to linked list
771*9507f98cSAndroid Build Coastguard Worker v->prev_ = dummy_versions_.prev_;
772*9507f98cSAndroid Build Coastguard Worker v->next_ = &dummy_versions_;
773*9507f98cSAndroid Build Coastguard Worker v->prev_->next_ = v;
774*9507f98cSAndroid Build Coastguard Worker v->next_->prev_ = v;
775*9507f98cSAndroid Build Coastguard Worker }
776*9507f98cSAndroid Build Coastguard Worker
LogAndApply(VersionEdit * edit,port::Mutex * mu)777*9507f98cSAndroid Build Coastguard Worker Status VersionSet::LogAndApply(VersionEdit* edit, port::Mutex* mu) {
778*9507f98cSAndroid Build Coastguard Worker if (edit->has_log_number_) {
779*9507f98cSAndroid Build Coastguard Worker assert(edit->log_number_ >= log_number_);
780*9507f98cSAndroid Build Coastguard Worker assert(edit->log_number_ < next_file_number_);
781*9507f98cSAndroid Build Coastguard Worker } else {
782*9507f98cSAndroid Build Coastguard Worker edit->SetLogNumber(log_number_);
783*9507f98cSAndroid Build Coastguard Worker }
784*9507f98cSAndroid Build Coastguard Worker
785*9507f98cSAndroid Build Coastguard Worker if (!edit->has_prev_log_number_) {
786*9507f98cSAndroid Build Coastguard Worker edit->SetPrevLogNumber(prev_log_number_);
787*9507f98cSAndroid Build Coastguard Worker }
788*9507f98cSAndroid Build Coastguard Worker
789*9507f98cSAndroid Build Coastguard Worker edit->SetNextFile(next_file_number_);
790*9507f98cSAndroid Build Coastguard Worker edit->SetLastSequence(last_sequence_);
791*9507f98cSAndroid Build Coastguard Worker
792*9507f98cSAndroid Build Coastguard Worker Version* v = new Version(this);
793*9507f98cSAndroid Build Coastguard Worker {
794*9507f98cSAndroid Build Coastguard Worker Builder builder(this, current_);
795*9507f98cSAndroid Build Coastguard Worker builder.Apply(edit);
796*9507f98cSAndroid Build Coastguard Worker builder.SaveTo(v);
797*9507f98cSAndroid Build Coastguard Worker }
798*9507f98cSAndroid Build Coastguard Worker Finalize(v);
799*9507f98cSAndroid Build Coastguard Worker
800*9507f98cSAndroid Build Coastguard Worker // Initialize new descriptor log file if necessary by creating
801*9507f98cSAndroid Build Coastguard Worker // a temporary file that contains a snapshot of the current version.
802*9507f98cSAndroid Build Coastguard Worker std::string new_manifest_file;
803*9507f98cSAndroid Build Coastguard Worker Status s;
804*9507f98cSAndroid Build Coastguard Worker if (descriptor_log_ == nullptr) {
805*9507f98cSAndroid Build Coastguard Worker // No reason to unlock *mu here since we only hit this path in the
806*9507f98cSAndroid Build Coastguard Worker // first call to LogAndApply (when opening the database).
807*9507f98cSAndroid Build Coastguard Worker assert(descriptor_file_ == nullptr);
808*9507f98cSAndroid Build Coastguard Worker new_manifest_file = DescriptorFileName(dbname_, manifest_file_number_);
809*9507f98cSAndroid Build Coastguard Worker edit->SetNextFile(next_file_number_);
810*9507f98cSAndroid Build Coastguard Worker s = env_->NewWritableFile(new_manifest_file, &descriptor_file_);
811*9507f98cSAndroid Build Coastguard Worker if (s.ok()) {
812*9507f98cSAndroid Build Coastguard Worker descriptor_log_ = new log::Writer(descriptor_file_);
813*9507f98cSAndroid Build Coastguard Worker s = WriteSnapshot(descriptor_log_);
814*9507f98cSAndroid Build Coastguard Worker }
815*9507f98cSAndroid Build Coastguard Worker }
816*9507f98cSAndroid Build Coastguard Worker
817*9507f98cSAndroid Build Coastguard Worker // Unlock during expensive MANIFEST log write
818*9507f98cSAndroid Build Coastguard Worker {
819*9507f98cSAndroid Build Coastguard Worker mu->Unlock();
820*9507f98cSAndroid Build Coastguard Worker
821*9507f98cSAndroid Build Coastguard Worker // Write new record to MANIFEST log
822*9507f98cSAndroid Build Coastguard Worker if (s.ok()) {
823*9507f98cSAndroid Build Coastguard Worker std::string record;
824*9507f98cSAndroid Build Coastguard Worker edit->EncodeTo(&record);
825*9507f98cSAndroid Build Coastguard Worker s = descriptor_log_->AddRecord(record);
826*9507f98cSAndroid Build Coastguard Worker if (s.ok()) {
827*9507f98cSAndroid Build Coastguard Worker s = descriptor_file_->Sync();
828*9507f98cSAndroid Build Coastguard Worker }
829*9507f98cSAndroid Build Coastguard Worker if (!s.ok()) {
830*9507f98cSAndroid Build Coastguard Worker Log(options_->info_log, "MANIFEST write: %s\n", s.ToString().c_str());
831*9507f98cSAndroid Build Coastguard Worker }
832*9507f98cSAndroid Build Coastguard Worker }
833*9507f98cSAndroid Build Coastguard Worker
834*9507f98cSAndroid Build Coastguard Worker // If we just created a new descriptor file, install it by writing a
835*9507f98cSAndroid Build Coastguard Worker // new CURRENT file that points to it.
836*9507f98cSAndroid Build Coastguard Worker if (s.ok() && !new_manifest_file.empty()) {
837*9507f98cSAndroid Build Coastguard Worker s = SetCurrentFile(env_, dbname_, manifest_file_number_);
838*9507f98cSAndroid Build Coastguard Worker }
839*9507f98cSAndroid Build Coastguard Worker
840*9507f98cSAndroid Build Coastguard Worker mu->Lock();
841*9507f98cSAndroid Build Coastguard Worker }
842*9507f98cSAndroid Build Coastguard Worker
843*9507f98cSAndroid Build Coastguard Worker // Install the new version
844*9507f98cSAndroid Build Coastguard Worker if (s.ok()) {
845*9507f98cSAndroid Build Coastguard Worker AppendVersion(v);
846*9507f98cSAndroid Build Coastguard Worker log_number_ = edit->log_number_;
847*9507f98cSAndroid Build Coastguard Worker prev_log_number_ = edit->prev_log_number_;
848*9507f98cSAndroid Build Coastguard Worker } else {
849*9507f98cSAndroid Build Coastguard Worker delete v;
850*9507f98cSAndroid Build Coastguard Worker if (!new_manifest_file.empty()) {
851*9507f98cSAndroid Build Coastguard Worker delete descriptor_log_;
852*9507f98cSAndroid Build Coastguard Worker delete descriptor_file_;
853*9507f98cSAndroid Build Coastguard Worker descriptor_log_ = nullptr;
854*9507f98cSAndroid Build Coastguard Worker descriptor_file_ = nullptr;
855*9507f98cSAndroid Build Coastguard Worker env_->RemoveFile(new_manifest_file);
856*9507f98cSAndroid Build Coastguard Worker }
857*9507f98cSAndroid Build Coastguard Worker }
858*9507f98cSAndroid Build Coastguard Worker
859*9507f98cSAndroid Build Coastguard Worker return s;
860*9507f98cSAndroid Build Coastguard Worker }
861*9507f98cSAndroid Build Coastguard Worker
Recover(bool * save_manifest)862*9507f98cSAndroid Build Coastguard Worker Status VersionSet::Recover(bool* save_manifest) {
863*9507f98cSAndroid Build Coastguard Worker struct LogReporter : public log::Reader::Reporter {
864*9507f98cSAndroid Build Coastguard Worker Status* status;
865*9507f98cSAndroid Build Coastguard Worker void Corruption(size_t bytes, const Status& s) override {
866*9507f98cSAndroid Build Coastguard Worker if (this->status->ok()) *this->status = s;
867*9507f98cSAndroid Build Coastguard Worker }
868*9507f98cSAndroid Build Coastguard Worker };
869*9507f98cSAndroid Build Coastguard Worker
870*9507f98cSAndroid Build Coastguard Worker // Read "CURRENT" file, which contains a pointer to the current manifest file
871*9507f98cSAndroid Build Coastguard Worker std::string current;
872*9507f98cSAndroid Build Coastguard Worker Status s = ReadFileToString(env_, CurrentFileName(dbname_), ¤t);
873*9507f98cSAndroid Build Coastguard Worker if (!s.ok()) {
874*9507f98cSAndroid Build Coastguard Worker return s;
875*9507f98cSAndroid Build Coastguard Worker }
876*9507f98cSAndroid Build Coastguard Worker if (current.empty() || current[current.size() - 1] != '\n') {
877*9507f98cSAndroid Build Coastguard Worker return Status::Corruption("CURRENT file does not end with newline");
878*9507f98cSAndroid Build Coastguard Worker }
879*9507f98cSAndroid Build Coastguard Worker current.resize(current.size() - 1);
880*9507f98cSAndroid Build Coastguard Worker
881*9507f98cSAndroid Build Coastguard Worker std::string dscname = dbname_ + "/" + current;
882*9507f98cSAndroid Build Coastguard Worker SequentialFile* file;
883*9507f98cSAndroid Build Coastguard Worker s = env_->NewSequentialFile(dscname, &file);
884*9507f98cSAndroid Build Coastguard Worker if (!s.ok()) {
885*9507f98cSAndroid Build Coastguard Worker if (s.IsNotFound()) {
886*9507f98cSAndroid Build Coastguard Worker return Status::Corruption("CURRENT points to a non-existent file",
887*9507f98cSAndroid Build Coastguard Worker s.ToString());
888*9507f98cSAndroid Build Coastguard Worker }
889*9507f98cSAndroid Build Coastguard Worker return s;
890*9507f98cSAndroid Build Coastguard Worker }
891*9507f98cSAndroid Build Coastguard Worker
892*9507f98cSAndroid Build Coastguard Worker bool have_log_number = false;
893*9507f98cSAndroid Build Coastguard Worker bool have_prev_log_number = false;
894*9507f98cSAndroid Build Coastguard Worker bool have_next_file = false;
895*9507f98cSAndroid Build Coastguard Worker bool have_last_sequence = false;
896*9507f98cSAndroid Build Coastguard Worker uint64_t next_file = 0;
897*9507f98cSAndroid Build Coastguard Worker uint64_t last_sequence = 0;
898*9507f98cSAndroid Build Coastguard Worker uint64_t log_number = 0;
899*9507f98cSAndroid Build Coastguard Worker uint64_t prev_log_number = 0;
900*9507f98cSAndroid Build Coastguard Worker Builder builder(this, current_);
901*9507f98cSAndroid Build Coastguard Worker int read_records = 0;
902*9507f98cSAndroid Build Coastguard Worker
903*9507f98cSAndroid Build Coastguard Worker {
904*9507f98cSAndroid Build Coastguard Worker LogReporter reporter;
905*9507f98cSAndroid Build Coastguard Worker reporter.status = &s;
906*9507f98cSAndroid Build Coastguard Worker log::Reader reader(file, &reporter, true /*checksum*/,
907*9507f98cSAndroid Build Coastguard Worker 0 /*initial_offset*/);
908*9507f98cSAndroid Build Coastguard Worker Slice record;
909*9507f98cSAndroid Build Coastguard Worker std::string scratch;
910*9507f98cSAndroid Build Coastguard Worker while (reader.ReadRecord(&record, &scratch) && s.ok()) {
911*9507f98cSAndroid Build Coastguard Worker ++read_records;
912*9507f98cSAndroid Build Coastguard Worker VersionEdit edit;
913*9507f98cSAndroid Build Coastguard Worker s = edit.DecodeFrom(record);
914*9507f98cSAndroid Build Coastguard Worker if (s.ok()) {
915*9507f98cSAndroid Build Coastguard Worker if (edit.has_comparator_ &&
916*9507f98cSAndroid Build Coastguard Worker edit.comparator_ != icmp_.user_comparator()->Name()) {
917*9507f98cSAndroid Build Coastguard Worker s = Status::InvalidArgument(
918*9507f98cSAndroid Build Coastguard Worker edit.comparator_ + " does not match existing comparator ",
919*9507f98cSAndroid Build Coastguard Worker icmp_.user_comparator()->Name());
920*9507f98cSAndroid Build Coastguard Worker }
921*9507f98cSAndroid Build Coastguard Worker }
922*9507f98cSAndroid Build Coastguard Worker
923*9507f98cSAndroid Build Coastguard Worker if (s.ok()) {
924*9507f98cSAndroid Build Coastguard Worker builder.Apply(&edit);
925*9507f98cSAndroid Build Coastguard Worker }
926*9507f98cSAndroid Build Coastguard Worker
927*9507f98cSAndroid Build Coastguard Worker if (edit.has_log_number_) {
928*9507f98cSAndroid Build Coastguard Worker log_number = edit.log_number_;
929*9507f98cSAndroid Build Coastguard Worker have_log_number = true;
930*9507f98cSAndroid Build Coastguard Worker }
931*9507f98cSAndroid Build Coastguard Worker
932*9507f98cSAndroid Build Coastguard Worker if (edit.has_prev_log_number_) {
933*9507f98cSAndroid Build Coastguard Worker prev_log_number = edit.prev_log_number_;
934*9507f98cSAndroid Build Coastguard Worker have_prev_log_number = true;
935*9507f98cSAndroid Build Coastguard Worker }
936*9507f98cSAndroid Build Coastguard Worker
937*9507f98cSAndroid Build Coastguard Worker if (edit.has_next_file_number_) {
938*9507f98cSAndroid Build Coastguard Worker next_file = edit.next_file_number_;
939*9507f98cSAndroid Build Coastguard Worker have_next_file = true;
940*9507f98cSAndroid Build Coastguard Worker }
941*9507f98cSAndroid Build Coastguard Worker
942*9507f98cSAndroid Build Coastguard Worker if (edit.has_last_sequence_) {
943*9507f98cSAndroid Build Coastguard Worker last_sequence = edit.last_sequence_;
944*9507f98cSAndroid Build Coastguard Worker have_last_sequence = true;
945*9507f98cSAndroid Build Coastguard Worker }
946*9507f98cSAndroid Build Coastguard Worker }
947*9507f98cSAndroid Build Coastguard Worker }
948*9507f98cSAndroid Build Coastguard Worker delete file;
949*9507f98cSAndroid Build Coastguard Worker file = nullptr;
950*9507f98cSAndroid Build Coastguard Worker
951*9507f98cSAndroid Build Coastguard Worker if (s.ok()) {
952*9507f98cSAndroid Build Coastguard Worker if (!have_next_file) {
953*9507f98cSAndroid Build Coastguard Worker s = Status::Corruption("no meta-nextfile entry in descriptor");
954*9507f98cSAndroid Build Coastguard Worker } else if (!have_log_number) {
955*9507f98cSAndroid Build Coastguard Worker s = Status::Corruption("no meta-lognumber entry in descriptor");
956*9507f98cSAndroid Build Coastguard Worker } else if (!have_last_sequence) {
957*9507f98cSAndroid Build Coastguard Worker s = Status::Corruption("no last-sequence-number entry in descriptor");
958*9507f98cSAndroid Build Coastguard Worker }
959*9507f98cSAndroid Build Coastguard Worker
960*9507f98cSAndroid Build Coastguard Worker if (!have_prev_log_number) {
961*9507f98cSAndroid Build Coastguard Worker prev_log_number = 0;
962*9507f98cSAndroid Build Coastguard Worker }
963*9507f98cSAndroid Build Coastguard Worker
964*9507f98cSAndroid Build Coastguard Worker MarkFileNumberUsed(prev_log_number);
965*9507f98cSAndroid Build Coastguard Worker MarkFileNumberUsed(log_number);
966*9507f98cSAndroid Build Coastguard Worker }
967*9507f98cSAndroid Build Coastguard Worker
968*9507f98cSAndroid Build Coastguard Worker if (s.ok()) {
969*9507f98cSAndroid Build Coastguard Worker Version* v = new Version(this);
970*9507f98cSAndroid Build Coastguard Worker builder.SaveTo(v);
971*9507f98cSAndroid Build Coastguard Worker // Install recovered version
972*9507f98cSAndroid Build Coastguard Worker Finalize(v);
973*9507f98cSAndroid Build Coastguard Worker AppendVersion(v);
974*9507f98cSAndroid Build Coastguard Worker manifest_file_number_ = next_file;
975*9507f98cSAndroid Build Coastguard Worker next_file_number_ = next_file + 1;
976*9507f98cSAndroid Build Coastguard Worker last_sequence_ = last_sequence;
977*9507f98cSAndroid Build Coastguard Worker log_number_ = log_number;
978*9507f98cSAndroid Build Coastguard Worker prev_log_number_ = prev_log_number;
979*9507f98cSAndroid Build Coastguard Worker
980*9507f98cSAndroid Build Coastguard Worker // See if we can reuse the existing MANIFEST file.
981*9507f98cSAndroid Build Coastguard Worker if (ReuseManifest(dscname, current)) {
982*9507f98cSAndroid Build Coastguard Worker // No need to save new manifest
983*9507f98cSAndroid Build Coastguard Worker } else {
984*9507f98cSAndroid Build Coastguard Worker *save_manifest = true;
985*9507f98cSAndroid Build Coastguard Worker }
986*9507f98cSAndroid Build Coastguard Worker } else {
987*9507f98cSAndroid Build Coastguard Worker std::string error = s.ToString();
988*9507f98cSAndroid Build Coastguard Worker Log(options_->info_log, "Error recovering version set with %d records: %s",
989*9507f98cSAndroid Build Coastguard Worker read_records, error.c_str());
990*9507f98cSAndroid Build Coastguard Worker }
991*9507f98cSAndroid Build Coastguard Worker
992*9507f98cSAndroid Build Coastguard Worker return s;
993*9507f98cSAndroid Build Coastguard Worker }
994*9507f98cSAndroid Build Coastguard Worker
ReuseManifest(const std::string & dscname,const std::string & dscbase)995*9507f98cSAndroid Build Coastguard Worker bool VersionSet::ReuseManifest(const std::string& dscname,
996*9507f98cSAndroid Build Coastguard Worker const std::string& dscbase) {
997*9507f98cSAndroid Build Coastguard Worker if (!options_->reuse_logs) {
998*9507f98cSAndroid Build Coastguard Worker return false;
999*9507f98cSAndroid Build Coastguard Worker }
1000*9507f98cSAndroid Build Coastguard Worker FileType manifest_type;
1001*9507f98cSAndroid Build Coastguard Worker uint64_t manifest_number;
1002*9507f98cSAndroid Build Coastguard Worker uint64_t manifest_size;
1003*9507f98cSAndroid Build Coastguard Worker if (!ParseFileName(dscbase, &manifest_number, &manifest_type) ||
1004*9507f98cSAndroid Build Coastguard Worker manifest_type != kDescriptorFile ||
1005*9507f98cSAndroid Build Coastguard Worker !env_->GetFileSize(dscname, &manifest_size).ok() ||
1006*9507f98cSAndroid Build Coastguard Worker // Make new compacted MANIFEST if old one is too big
1007*9507f98cSAndroid Build Coastguard Worker manifest_size >= TargetFileSize(options_)) {
1008*9507f98cSAndroid Build Coastguard Worker return false;
1009*9507f98cSAndroid Build Coastguard Worker }
1010*9507f98cSAndroid Build Coastguard Worker
1011*9507f98cSAndroid Build Coastguard Worker assert(descriptor_file_ == nullptr);
1012*9507f98cSAndroid Build Coastguard Worker assert(descriptor_log_ == nullptr);
1013*9507f98cSAndroid Build Coastguard Worker Status r = env_->NewAppendableFile(dscname, &descriptor_file_);
1014*9507f98cSAndroid Build Coastguard Worker if (!r.ok()) {
1015*9507f98cSAndroid Build Coastguard Worker Log(options_->info_log, "Reuse MANIFEST: %s\n", r.ToString().c_str());
1016*9507f98cSAndroid Build Coastguard Worker assert(descriptor_file_ == nullptr);
1017*9507f98cSAndroid Build Coastguard Worker return false;
1018*9507f98cSAndroid Build Coastguard Worker }
1019*9507f98cSAndroid Build Coastguard Worker
1020*9507f98cSAndroid Build Coastguard Worker Log(options_->info_log, "Reusing MANIFEST %s\n", dscname.c_str());
1021*9507f98cSAndroid Build Coastguard Worker descriptor_log_ = new log::Writer(descriptor_file_, manifest_size);
1022*9507f98cSAndroid Build Coastguard Worker manifest_file_number_ = manifest_number;
1023*9507f98cSAndroid Build Coastguard Worker return true;
1024*9507f98cSAndroid Build Coastguard Worker }
1025*9507f98cSAndroid Build Coastguard Worker
MarkFileNumberUsed(uint64_t number)1026*9507f98cSAndroid Build Coastguard Worker void VersionSet::MarkFileNumberUsed(uint64_t number) {
1027*9507f98cSAndroid Build Coastguard Worker if (next_file_number_ <= number) {
1028*9507f98cSAndroid Build Coastguard Worker next_file_number_ = number + 1;
1029*9507f98cSAndroid Build Coastguard Worker }
1030*9507f98cSAndroid Build Coastguard Worker }
1031*9507f98cSAndroid Build Coastguard Worker
Finalize(Version * v)1032*9507f98cSAndroid Build Coastguard Worker void VersionSet::Finalize(Version* v) {
1033*9507f98cSAndroid Build Coastguard Worker // Precomputed best level for next compaction
1034*9507f98cSAndroid Build Coastguard Worker int best_level = -1;
1035*9507f98cSAndroid Build Coastguard Worker double best_score = -1;
1036*9507f98cSAndroid Build Coastguard Worker
1037*9507f98cSAndroid Build Coastguard Worker for (int level = 0; level < config::kNumLevels - 1; level++) {
1038*9507f98cSAndroid Build Coastguard Worker double score;
1039*9507f98cSAndroid Build Coastguard Worker if (level == 0) {
1040*9507f98cSAndroid Build Coastguard Worker // We treat level-0 specially by bounding the number of files
1041*9507f98cSAndroid Build Coastguard Worker // instead of number of bytes for two reasons:
1042*9507f98cSAndroid Build Coastguard Worker //
1043*9507f98cSAndroid Build Coastguard Worker // (1) With larger write-buffer sizes, it is nice not to do too
1044*9507f98cSAndroid Build Coastguard Worker // many level-0 compactions.
1045*9507f98cSAndroid Build Coastguard Worker //
1046*9507f98cSAndroid Build Coastguard Worker // (2) The files in level-0 are merged on every read and
1047*9507f98cSAndroid Build Coastguard Worker // therefore we wish to avoid too many files when the individual
1048*9507f98cSAndroid Build Coastguard Worker // file size is small (perhaps because of a small write-buffer
1049*9507f98cSAndroid Build Coastguard Worker // setting, or very high compression ratios, or lots of
1050*9507f98cSAndroid Build Coastguard Worker // overwrites/deletions).
1051*9507f98cSAndroid Build Coastguard Worker score = v->files_[level].size() /
1052*9507f98cSAndroid Build Coastguard Worker static_cast<double>(config::kL0_CompactionTrigger);
1053*9507f98cSAndroid Build Coastguard Worker } else {
1054*9507f98cSAndroid Build Coastguard Worker // Compute the ratio of current size to size limit.
1055*9507f98cSAndroid Build Coastguard Worker const uint64_t level_bytes = TotalFileSize(v->files_[level]);
1056*9507f98cSAndroid Build Coastguard Worker score =
1057*9507f98cSAndroid Build Coastguard Worker static_cast<double>(level_bytes) / MaxBytesForLevel(options_, level);
1058*9507f98cSAndroid Build Coastguard Worker }
1059*9507f98cSAndroid Build Coastguard Worker
1060*9507f98cSAndroid Build Coastguard Worker if (score > best_score) {
1061*9507f98cSAndroid Build Coastguard Worker best_level = level;
1062*9507f98cSAndroid Build Coastguard Worker best_score = score;
1063*9507f98cSAndroid Build Coastguard Worker }
1064*9507f98cSAndroid Build Coastguard Worker }
1065*9507f98cSAndroid Build Coastguard Worker
1066*9507f98cSAndroid Build Coastguard Worker v->compaction_level_ = best_level;
1067*9507f98cSAndroid Build Coastguard Worker v->compaction_score_ = best_score;
1068*9507f98cSAndroid Build Coastguard Worker }
1069*9507f98cSAndroid Build Coastguard Worker
WriteSnapshot(log::Writer * log)1070*9507f98cSAndroid Build Coastguard Worker Status VersionSet::WriteSnapshot(log::Writer* log) {
1071*9507f98cSAndroid Build Coastguard Worker // TODO: Break up into multiple records to reduce memory usage on recovery?
1072*9507f98cSAndroid Build Coastguard Worker
1073*9507f98cSAndroid Build Coastguard Worker // Save metadata
1074*9507f98cSAndroid Build Coastguard Worker VersionEdit edit;
1075*9507f98cSAndroid Build Coastguard Worker edit.SetComparatorName(icmp_.user_comparator()->Name());
1076*9507f98cSAndroid Build Coastguard Worker
1077*9507f98cSAndroid Build Coastguard Worker // Save compaction pointers
1078*9507f98cSAndroid Build Coastguard Worker for (int level = 0; level < config::kNumLevels; level++) {
1079*9507f98cSAndroid Build Coastguard Worker if (!compact_pointer_[level].empty()) {
1080*9507f98cSAndroid Build Coastguard Worker InternalKey key;
1081*9507f98cSAndroid Build Coastguard Worker key.DecodeFrom(compact_pointer_[level]);
1082*9507f98cSAndroid Build Coastguard Worker edit.SetCompactPointer(level, key);
1083*9507f98cSAndroid Build Coastguard Worker }
1084*9507f98cSAndroid Build Coastguard Worker }
1085*9507f98cSAndroid Build Coastguard Worker
1086*9507f98cSAndroid Build Coastguard Worker // Save files
1087*9507f98cSAndroid Build Coastguard Worker for (int level = 0; level < config::kNumLevels; level++) {
1088*9507f98cSAndroid Build Coastguard Worker const std::vector<FileMetaData*>& files = current_->files_[level];
1089*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < files.size(); i++) {
1090*9507f98cSAndroid Build Coastguard Worker const FileMetaData* f = files[i];
1091*9507f98cSAndroid Build Coastguard Worker edit.AddFile(level, f->number, f->file_size, f->smallest, f->largest);
1092*9507f98cSAndroid Build Coastguard Worker }
1093*9507f98cSAndroid Build Coastguard Worker }
1094*9507f98cSAndroid Build Coastguard Worker
1095*9507f98cSAndroid Build Coastguard Worker std::string record;
1096*9507f98cSAndroid Build Coastguard Worker edit.EncodeTo(&record);
1097*9507f98cSAndroid Build Coastguard Worker return log->AddRecord(record);
1098*9507f98cSAndroid Build Coastguard Worker }
1099*9507f98cSAndroid Build Coastguard Worker
NumLevelFiles(int level) const1100*9507f98cSAndroid Build Coastguard Worker int VersionSet::NumLevelFiles(int level) const {
1101*9507f98cSAndroid Build Coastguard Worker assert(level >= 0);
1102*9507f98cSAndroid Build Coastguard Worker assert(level < config::kNumLevels);
1103*9507f98cSAndroid Build Coastguard Worker return current_->files_[level].size();
1104*9507f98cSAndroid Build Coastguard Worker }
1105*9507f98cSAndroid Build Coastguard Worker
LevelSummary(LevelSummaryStorage * scratch) const1106*9507f98cSAndroid Build Coastguard Worker const char* VersionSet::LevelSummary(LevelSummaryStorage* scratch) const {
1107*9507f98cSAndroid Build Coastguard Worker // Update code if kNumLevels changes
1108*9507f98cSAndroid Build Coastguard Worker static_assert(config::kNumLevels == 7, "");
1109*9507f98cSAndroid Build Coastguard Worker std::snprintf(
1110*9507f98cSAndroid Build Coastguard Worker scratch->buffer, sizeof(scratch->buffer), "files[ %d %d %d %d %d %d %d ]",
1111*9507f98cSAndroid Build Coastguard Worker int(current_->files_[0].size()), int(current_->files_[1].size()),
1112*9507f98cSAndroid Build Coastguard Worker int(current_->files_[2].size()), int(current_->files_[3].size()),
1113*9507f98cSAndroid Build Coastguard Worker int(current_->files_[4].size()), int(current_->files_[5].size()),
1114*9507f98cSAndroid Build Coastguard Worker int(current_->files_[6].size()));
1115*9507f98cSAndroid Build Coastguard Worker return scratch->buffer;
1116*9507f98cSAndroid Build Coastguard Worker }
1117*9507f98cSAndroid Build Coastguard Worker
ApproximateOffsetOf(Version * v,const InternalKey & ikey)1118*9507f98cSAndroid Build Coastguard Worker uint64_t VersionSet::ApproximateOffsetOf(Version* v, const InternalKey& ikey) {
1119*9507f98cSAndroid Build Coastguard Worker uint64_t result = 0;
1120*9507f98cSAndroid Build Coastguard Worker for (int level = 0; level < config::kNumLevels; level++) {
1121*9507f98cSAndroid Build Coastguard Worker const std::vector<FileMetaData*>& files = v->files_[level];
1122*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < files.size(); i++) {
1123*9507f98cSAndroid Build Coastguard Worker if (icmp_.Compare(files[i]->largest, ikey) <= 0) {
1124*9507f98cSAndroid Build Coastguard Worker // Entire file is before "ikey", so just add the file size
1125*9507f98cSAndroid Build Coastguard Worker result += files[i]->file_size;
1126*9507f98cSAndroid Build Coastguard Worker } else if (icmp_.Compare(files[i]->smallest, ikey) > 0) {
1127*9507f98cSAndroid Build Coastguard Worker // Entire file is after "ikey", so ignore
1128*9507f98cSAndroid Build Coastguard Worker if (level > 0) {
1129*9507f98cSAndroid Build Coastguard Worker // Files other than level 0 are sorted by meta->smallest, so
1130*9507f98cSAndroid Build Coastguard Worker // no further files in this level will contain data for
1131*9507f98cSAndroid Build Coastguard Worker // "ikey".
1132*9507f98cSAndroid Build Coastguard Worker break;
1133*9507f98cSAndroid Build Coastguard Worker }
1134*9507f98cSAndroid Build Coastguard Worker } else {
1135*9507f98cSAndroid Build Coastguard Worker // "ikey" falls in the range for this table. Add the
1136*9507f98cSAndroid Build Coastguard Worker // approximate offset of "ikey" within the table.
1137*9507f98cSAndroid Build Coastguard Worker Table* tableptr;
1138*9507f98cSAndroid Build Coastguard Worker Iterator* iter = table_cache_->NewIterator(
1139*9507f98cSAndroid Build Coastguard Worker ReadOptions(), files[i]->number, files[i]->file_size, &tableptr);
1140*9507f98cSAndroid Build Coastguard Worker if (tableptr != nullptr) {
1141*9507f98cSAndroid Build Coastguard Worker result += tableptr->ApproximateOffsetOf(ikey.Encode());
1142*9507f98cSAndroid Build Coastguard Worker }
1143*9507f98cSAndroid Build Coastguard Worker delete iter;
1144*9507f98cSAndroid Build Coastguard Worker }
1145*9507f98cSAndroid Build Coastguard Worker }
1146*9507f98cSAndroid Build Coastguard Worker }
1147*9507f98cSAndroid Build Coastguard Worker return result;
1148*9507f98cSAndroid Build Coastguard Worker }
1149*9507f98cSAndroid Build Coastguard Worker
AddLiveFiles(std::set<uint64_t> * live)1150*9507f98cSAndroid Build Coastguard Worker void VersionSet::AddLiveFiles(std::set<uint64_t>* live) {
1151*9507f98cSAndroid Build Coastguard Worker for (Version* v = dummy_versions_.next_; v != &dummy_versions_;
1152*9507f98cSAndroid Build Coastguard Worker v = v->next_) {
1153*9507f98cSAndroid Build Coastguard Worker for (int level = 0; level < config::kNumLevels; level++) {
1154*9507f98cSAndroid Build Coastguard Worker const std::vector<FileMetaData*>& files = v->files_[level];
1155*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < files.size(); i++) {
1156*9507f98cSAndroid Build Coastguard Worker live->insert(files[i]->number);
1157*9507f98cSAndroid Build Coastguard Worker }
1158*9507f98cSAndroid Build Coastguard Worker }
1159*9507f98cSAndroid Build Coastguard Worker }
1160*9507f98cSAndroid Build Coastguard Worker }
1161*9507f98cSAndroid Build Coastguard Worker
NumLevelBytes(int level) const1162*9507f98cSAndroid Build Coastguard Worker int64_t VersionSet::NumLevelBytes(int level) const {
1163*9507f98cSAndroid Build Coastguard Worker assert(level >= 0);
1164*9507f98cSAndroid Build Coastguard Worker assert(level < config::kNumLevels);
1165*9507f98cSAndroid Build Coastguard Worker return TotalFileSize(current_->files_[level]);
1166*9507f98cSAndroid Build Coastguard Worker }
1167*9507f98cSAndroid Build Coastguard Worker
MaxNextLevelOverlappingBytes()1168*9507f98cSAndroid Build Coastguard Worker int64_t VersionSet::MaxNextLevelOverlappingBytes() {
1169*9507f98cSAndroid Build Coastguard Worker int64_t result = 0;
1170*9507f98cSAndroid Build Coastguard Worker std::vector<FileMetaData*> overlaps;
1171*9507f98cSAndroid Build Coastguard Worker for (int level = 1; level < config::kNumLevels - 1; level++) {
1172*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < current_->files_[level].size(); i++) {
1173*9507f98cSAndroid Build Coastguard Worker const FileMetaData* f = current_->files_[level][i];
1174*9507f98cSAndroid Build Coastguard Worker current_->GetOverlappingInputs(level + 1, &f->smallest, &f->largest,
1175*9507f98cSAndroid Build Coastguard Worker &overlaps);
1176*9507f98cSAndroid Build Coastguard Worker const int64_t sum = TotalFileSize(overlaps);
1177*9507f98cSAndroid Build Coastguard Worker if (sum > result) {
1178*9507f98cSAndroid Build Coastguard Worker result = sum;
1179*9507f98cSAndroid Build Coastguard Worker }
1180*9507f98cSAndroid Build Coastguard Worker }
1181*9507f98cSAndroid Build Coastguard Worker }
1182*9507f98cSAndroid Build Coastguard Worker return result;
1183*9507f98cSAndroid Build Coastguard Worker }
1184*9507f98cSAndroid Build Coastguard Worker
1185*9507f98cSAndroid Build Coastguard Worker // Stores the minimal range that covers all entries in inputs in
1186*9507f98cSAndroid Build Coastguard Worker // *smallest, *largest.
1187*9507f98cSAndroid Build Coastguard Worker // REQUIRES: inputs is not empty
GetRange(const std::vector<FileMetaData * > & inputs,InternalKey * smallest,InternalKey * largest)1188*9507f98cSAndroid Build Coastguard Worker void VersionSet::GetRange(const std::vector<FileMetaData*>& inputs,
1189*9507f98cSAndroid Build Coastguard Worker InternalKey* smallest, InternalKey* largest) {
1190*9507f98cSAndroid Build Coastguard Worker assert(!inputs.empty());
1191*9507f98cSAndroid Build Coastguard Worker smallest->Clear();
1192*9507f98cSAndroid Build Coastguard Worker largest->Clear();
1193*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < inputs.size(); i++) {
1194*9507f98cSAndroid Build Coastguard Worker FileMetaData* f = inputs[i];
1195*9507f98cSAndroid Build Coastguard Worker if (i == 0) {
1196*9507f98cSAndroid Build Coastguard Worker *smallest = f->smallest;
1197*9507f98cSAndroid Build Coastguard Worker *largest = f->largest;
1198*9507f98cSAndroid Build Coastguard Worker } else {
1199*9507f98cSAndroid Build Coastguard Worker if (icmp_.Compare(f->smallest, *smallest) < 0) {
1200*9507f98cSAndroid Build Coastguard Worker *smallest = f->smallest;
1201*9507f98cSAndroid Build Coastguard Worker }
1202*9507f98cSAndroid Build Coastguard Worker if (icmp_.Compare(f->largest, *largest) > 0) {
1203*9507f98cSAndroid Build Coastguard Worker *largest = f->largest;
1204*9507f98cSAndroid Build Coastguard Worker }
1205*9507f98cSAndroid Build Coastguard Worker }
1206*9507f98cSAndroid Build Coastguard Worker }
1207*9507f98cSAndroid Build Coastguard Worker }
1208*9507f98cSAndroid Build Coastguard Worker
1209*9507f98cSAndroid Build Coastguard Worker // Stores the minimal range that covers all entries in inputs1 and inputs2
1210*9507f98cSAndroid Build Coastguard Worker // in *smallest, *largest.
1211*9507f98cSAndroid Build Coastguard Worker // REQUIRES: inputs is not empty
GetRange2(const std::vector<FileMetaData * > & inputs1,const std::vector<FileMetaData * > & inputs2,InternalKey * smallest,InternalKey * largest)1212*9507f98cSAndroid Build Coastguard Worker void VersionSet::GetRange2(const std::vector<FileMetaData*>& inputs1,
1213*9507f98cSAndroid Build Coastguard Worker const std::vector<FileMetaData*>& inputs2,
1214*9507f98cSAndroid Build Coastguard Worker InternalKey* smallest, InternalKey* largest) {
1215*9507f98cSAndroid Build Coastguard Worker std::vector<FileMetaData*> all = inputs1;
1216*9507f98cSAndroid Build Coastguard Worker all.insert(all.end(), inputs2.begin(), inputs2.end());
1217*9507f98cSAndroid Build Coastguard Worker GetRange(all, smallest, largest);
1218*9507f98cSAndroid Build Coastguard Worker }
1219*9507f98cSAndroid Build Coastguard Worker
MakeInputIterator(Compaction * c)1220*9507f98cSAndroid Build Coastguard Worker Iterator* VersionSet::MakeInputIterator(Compaction* c) {
1221*9507f98cSAndroid Build Coastguard Worker ReadOptions options;
1222*9507f98cSAndroid Build Coastguard Worker options.verify_checksums = options_->paranoid_checks;
1223*9507f98cSAndroid Build Coastguard Worker options.fill_cache = false;
1224*9507f98cSAndroid Build Coastguard Worker
1225*9507f98cSAndroid Build Coastguard Worker // Level-0 files have to be merged together. For other levels,
1226*9507f98cSAndroid Build Coastguard Worker // we will make a concatenating iterator per level.
1227*9507f98cSAndroid Build Coastguard Worker // TODO(opt): use concatenating iterator for level-0 if there is no overlap
1228*9507f98cSAndroid Build Coastguard Worker const int space = (c->level() == 0 ? c->inputs_[0].size() + 1 : 2);
1229*9507f98cSAndroid Build Coastguard Worker Iterator** list = new Iterator*[space];
1230*9507f98cSAndroid Build Coastguard Worker int num = 0;
1231*9507f98cSAndroid Build Coastguard Worker for (int which = 0; which < 2; which++) {
1232*9507f98cSAndroid Build Coastguard Worker if (!c->inputs_[which].empty()) {
1233*9507f98cSAndroid Build Coastguard Worker if (c->level() + which == 0) {
1234*9507f98cSAndroid Build Coastguard Worker const std::vector<FileMetaData*>& files = c->inputs_[which];
1235*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < files.size(); i++) {
1236*9507f98cSAndroid Build Coastguard Worker list[num++] = table_cache_->NewIterator(options, files[i]->number,
1237*9507f98cSAndroid Build Coastguard Worker files[i]->file_size);
1238*9507f98cSAndroid Build Coastguard Worker }
1239*9507f98cSAndroid Build Coastguard Worker } else {
1240*9507f98cSAndroid Build Coastguard Worker // Create concatenating iterator for the files from this level
1241*9507f98cSAndroid Build Coastguard Worker list[num++] = NewTwoLevelIterator(
1242*9507f98cSAndroid Build Coastguard Worker new Version::LevelFileNumIterator(icmp_, &c->inputs_[which]),
1243*9507f98cSAndroid Build Coastguard Worker &GetFileIterator, table_cache_, options);
1244*9507f98cSAndroid Build Coastguard Worker }
1245*9507f98cSAndroid Build Coastguard Worker }
1246*9507f98cSAndroid Build Coastguard Worker }
1247*9507f98cSAndroid Build Coastguard Worker assert(num <= space);
1248*9507f98cSAndroid Build Coastguard Worker Iterator* result = NewMergingIterator(&icmp_, list, num);
1249*9507f98cSAndroid Build Coastguard Worker delete[] list;
1250*9507f98cSAndroid Build Coastguard Worker return result;
1251*9507f98cSAndroid Build Coastguard Worker }
1252*9507f98cSAndroid Build Coastguard Worker
PickCompaction()1253*9507f98cSAndroid Build Coastguard Worker Compaction* VersionSet::PickCompaction() {
1254*9507f98cSAndroid Build Coastguard Worker Compaction* c;
1255*9507f98cSAndroid Build Coastguard Worker int level;
1256*9507f98cSAndroid Build Coastguard Worker
1257*9507f98cSAndroid Build Coastguard Worker // We prefer compactions triggered by too much data in a level over
1258*9507f98cSAndroid Build Coastguard Worker // the compactions triggered by seeks.
1259*9507f98cSAndroid Build Coastguard Worker const bool size_compaction = (current_->compaction_score_ >= 1);
1260*9507f98cSAndroid Build Coastguard Worker const bool seek_compaction = (current_->file_to_compact_ != nullptr);
1261*9507f98cSAndroid Build Coastguard Worker if (size_compaction) {
1262*9507f98cSAndroid Build Coastguard Worker level = current_->compaction_level_;
1263*9507f98cSAndroid Build Coastguard Worker assert(level >= 0);
1264*9507f98cSAndroid Build Coastguard Worker assert(level + 1 < config::kNumLevels);
1265*9507f98cSAndroid Build Coastguard Worker c = new Compaction(options_, level);
1266*9507f98cSAndroid Build Coastguard Worker
1267*9507f98cSAndroid Build Coastguard Worker // Pick the first file that comes after compact_pointer_[level]
1268*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < current_->files_[level].size(); i++) {
1269*9507f98cSAndroid Build Coastguard Worker FileMetaData* f = current_->files_[level][i];
1270*9507f98cSAndroid Build Coastguard Worker if (compact_pointer_[level].empty() ||
1271*9507f98cSAndroid Build Coastguard Worker icmp_.Compare(f->largest.Encode(), compact_pointer_[level]) > 0) {
1272*9507f98cSAndroid Build Coastguard Worker c->inputs_[0].push_back(f);
1273*9507f98cSAndroid Build Coastguard Worker break;
1274*9507f98cSAndroid Build Coastguard Worker }
1275*9507f98cSAndroid Build Coastguard Worker }
1276*9507f98cSAndroid Build Coastguard Worker if (c->inputs_[0].empty()) {
1277*9507f98cSAndroid Build Coastguard Worker // Wrap-around to the beginning of the key space
1278*9507f98cSAndroid Build Coastguard Worker c->inputs_[0].push_back(current_->files_[level][0]);
1279*9507f98cSAndroid Build Coastguard Worker }
1280*9507f98cSAndroid Build Coastguard Worker } else if (seek_compaction) {
1281*9507f98cSAndroid Build Coastguard Worker level = current_->file_to_compact_level_;
1282*9507f98cSAndroid Build Coastguard Worker c = new Compaction(options_, level);
1283*9507f98cSAndroid Build Coastguard Worker c->inputs_[0].push_back(current_->file_to_compact_);
1284*9507f98cSAndroid Build Coastguard Worker } else {
1285*9507f98cSAndroid Build Coastguard Worker return nullptr;
1286*9507f98cSAndroid Build Coastguard Worker }
1287*9507f98cSAndroid Build Coastguard Worker
1288*9507f98cSAndroid Build Coastguard Worker c->input_version_ = current_;
1289*9507f98cSAndroid Build Coastguard Worker c->input_version_->Ref();
1290*9507f98cSAndroid Build Coastguard Worker
1291*9507f98cSAndroid Build Coastguard Worker // Files in level 0 may overlap each other, so pick up all overlapping ones
1292*9507f98cSAndroid Build Coastguard Worker if (level == 0) {
1293*9507f98cSAndroid Build Coastguard Worker InternalKey smallest, largest;
1294*9507f98cSAndroid Build Coastguard Worker GetRange(c->inputs_[0], &smallest, &largest);
1295*9507f98cSAndroid Build Coastguard Worker // Note that the next call will discard the file we placed in
1296*9507f98cSAndroid Build Coastguard Worker // c->inputs_[0] earlier and replace it with an overlapping set
1297*9507f98cSAndroid Build Coastguard Worker // which will include the picked file.
1298*9507f98cSAndroid Build Coastguard Worker current_->GetOverlappingInputs(0, &smallest, &largest, &c->inputs_[0]);
1299*9507f98cSAndroid Build Coastguard Worker assert(!c->inputs_[0].empty());
1300*9507f98cSAndroid Build Coastguard Worker }
1301*9507f98cSAndroid Build Coastguard Worker
1302*9507f98cSAndroid Build Coastguard Worker SetupOtherInputs(c);
1303*9507f98cSAndroid Build Coastguard Worker
1304*9507f98cSAndroid Build Coastguard Worker return c;
1305*9507f98cSAndroid Build Coastguard Worker }
1306*9507f98cSAndroid Build Coastguard Worker
1307*9507f98cSAndroid Build Coastguard Worker // Finds the largest key in a vector of files. Returns true if files it not
1308*9507f98cSAndroid Build Coastguard Worker // empty.
FindLargestKey(const InternalKeyComparator & icmp,const std::vector<FileMetaData * > & files,InternalKey * largest_key)1309*9507f98cSAndroid Build Coastguard Worker bool FindLargestKey(const InternalKeyComparator& icmp,
1310*9507f98cSAndroid Build Coastguard Worker const std::vector<FileMetaData*>& files,
1311*9507f98cSAndroid Build Coastguard Worker InternalKey* largest_key) {
1312*9507f98cSAndroid Build Coastguard Worker if (files.empty()) {
1313*9507f98cSAndroid Build Coastguard Worker return false;
1314*9507f98cSAndroid Build Coastguard Worker }
1315*9507f98cSAndroid Build Coastguard Worker *largest_key = files[0]->largest;
1316*9507f98cSAndroid Build Coastguard Worker for (size_t i = 1; i < files.size(); ++i) {
1317*9507f98cSAndroid Build Coastguard Worker FileMetaData* f = files[i];
1318*9507f98cSAndroid Build Coastguard Worker if (icmp.Compare(f->largest, *largest_key) > 0) {
1319*9507f98cSAndroid Build Coastguard Worker *largest_key = f->largest;
1320*9507f98cSAndroid Build Coastguard Worker }
1321*9507f98cSAndroid Build Coastguard Worker }
1322*9507f98cSAndroid Build Coastguard Worker return true;
1323*9507f98cSAndroid Build Coastguard Worker }
1324*9507f98cSAndroid Build Coastguard Worker
1325*9507f98cSAndroid Build Coastguard Worker // Finds minimum file b2=(l2, u2) in level file for which l2 > u1 and
1326*9507f98cSAndroid Build Coastguard Worker // user_key(l2) = user_key(u1)
FindSmallestBoundaryFile(const InternalKeyComparator & icmp,const std::vector<FileMetaData * > & level_files,const InternalKey & largest_key)1327*9507f98cSAndroid Build Coastguard Worker FileMetaData* FindSmallestBoundaryFile(
1328*9507f98cSAndroid Build Coastguard Worker const InternalKeyComparator& icmp,
1329*9507f98cSAndroid Build Coastguard Worker const std::vector<FileMetaData*>& level_files,
1330*9507f98cSAndroid Build Coastguard Worker const InternalKey& largest_key) {
1331*9507f98cSAndroid Build Coastguard Worker const Comparator* user_cmp = icmp.user_comparator();
1332*9507f98cSAndroid Build Coastguard Worker FileMetaData* smallest_boundary_file = nullptr;
1333*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < level_files.size(); ++i) {
1334*9507f98cSAndroid Build Coastguard Worker FileMetaData* f = level_files[i];
1335*9507f98cSAndroid Build Coastguard Worker if (icmp.Compare(f->smallest, largest_key) > 0 &&
1336*9507f98cSAndroid Build Coastguard Worker user_cmp->Compare(f->smallest.user_key(), largest_key.user_key()) ==
1337*9507f98cSAndroid Build Coastguard Worker 0) {
1338*9507f98cSAndroid Build Coastguard Worker if (smallest_boundary_file == nullptr ||
1339*9507f98cSAndroid Build Coastguard Worker icmp.Compare(f->smallest, smallest_boundary_file->smallest) < 0) {
1340*9507f98cSAndroid Build Coastguard Worker smallest_boundary_file = f;
1341*9507f98cSAndroid Build Coastguard Worker }
1342*9507f98cSAndroid Build Coastguard Worker }
1343*9507f98cSAndroid Build Coastguard Worker }
1344*9507f98cSAndroid Build Coastguard Worker return smallest_boundary_file;
1345*9507f98cSAndroid Build Coastguard Worker }
1346*9507f98cSAndroid Build Coastguard Worker
1347*9507f98cSAndroid Build Coastguard Worker // Extracts the largest file b1 from |compaction_files| and then searches for a
1348*9507f98cSAndroid Build Coastguard Worker // b2 in |level_files| for which user_key(u1) = user_key(l2). If it finds such a
1349*9507f98cSAndroid Build Coastguard Worker // file b2 (known as a boundary file) it adds it to |compaction_files| and then
1350*9507f98cSAndroid Build Coastguard Worker // searches again using this new upper bound.
1351*9507f98cSAndroid Build Coastguard Worker //
1352*9507f98cSAndroid Build Coastguard Worker // If there are two blocks, b1=(l1, u1) and b2=(l2, u2) and
1353*9507f98cSAndroid Build Coastguard Worker // user_key(u1) = user_key(l2), and if we compact b1 but not b2 then a
1354*9507f98cSAndroid Build Coastguard Worker // subsequent get operation will yield an incorrect result because it will
1355*9507f98cSAndroid Build Coastguard Worker // return the record from b2 in level i rather than from b1 because it searches
1356*9507f98cSAndroid Build Coastguard Worker // level by level for records matching the supplied user key.
1357*9507f98cSAndroid Build Coastguard Worker //
1358*9507f98cSAndroid Build Coastguard Worker // parameters:
1359*9507f98cSAndroid Build Coastguard Worker // in level_files: List of files to search for boundary files.
1360*9507f98cSAndroid Build Coastguard Worker // in/out compaction_files: List of files to extend by adding boundary files.
AddBoundaryInputs(const InternalKeyComparator & icmp,const std::vector<FileMetaData * > & level_files,std::vector<FileMetaData * > * compaction_files)1361*9507f98cSAndroid Build Coastguard Worker void AddBoundaryInputs(const InternalKeyComparator& icmp,
1362*9507f98cSAndroid Build Coastguard Worker const std::vector<FileMetaData*>& level_files,
1363*9507f98cSAndroid Build Coastguard Worker std::vector<FileMetaData*>* compaction_files) {
1364*9507f98cSAndroid Build Coastguard Worker InternalKey largest_key;
1365*9507f98cSAndroid Build Coastguard Worker
1366*9507f98cSAndroid Build Coastguard Worker // Quick return if compaction_files is empty.
1367*9507f98cSAndroid Build Coastguard Worker if (!FindLargestKey(icmp, *compaction_files, &largest_key)) {
1368*9507f98cSAndroid Build Coastguard Worker return;
1369*9507f98cSAndroid Build Coastguard Worker }
1370*9507f98cSAndroid Build Coastguard Worker
1371*9507f98cSAndroid Build Coastguard Worker bool continue_searching = true;
1372*9507f98cSAndroid Build Coastguard Worker while (continue_searching) {
1373*9507f98cSAndroid Build Coastguard Worker FileMetaData* smallest_boundary_file =
1374*9507f98cSAndroid Build Coastguard Worker FindSmallestBoundaryFile(icmp, level_files, largest_key);
1375*9507f98cSAndroid Build Coastguard Worker
1376*9507f98cSAndroid Build Coastguard Worker // If a boundary file was found advance largest_key, otherwise we're done.
1377*9507f98cSAndroid Build Coastguard Worker if (smallest_boundary_file != NULL) {
1378*9507f98cSAndroid Build Coastguard Worker compaction_files->push_back(smallest_boundary_file);
1379*9507f98cSAndroid Build Coastguard Worker largest_key = smallest_boundary_file->largest;
1380*9507f98cSAndroid Build Coastguard Worker } else {
1381*9507f98cSAndroid Build Coastguard Worker continue_searching = false;
1382*9507f98cSAndroid Build Coastguard Worker }
1383*9507f98cSAndroid Build Coastguard Worker }
1384*9507f98cSAndroid Build Coastguard Worker }
1385*9507f98cSAndroid Build Coastguard Worker
SetupOtherInputs(Compaction * c)1386*9507f98cSAndroid Build Coastguard Worker void VersionSet::SetupOtherInputs(Compaction* c) {
1387*9507f98cSAndroid Build Coastguard Worker const int level = c->level();
1388*9507f98cSAndroid Build Coastguard Worker InternalKey smallest, largest;
1389*9507f98cSAndroid Build Coastguard Worker
1390*9507f98cSAndroid Build Coastguard Worker AddBoundaryInputs(icmp_, current_->files_[level], &c->inputs_[0]);
1391*9507f98cSAndroid Build Coastguard Worker GetRange(c->inputs_[0], &smallest, &largest);
1392*9507f98cSAndroid Build Coastguard Worker
1393*9507f98cSAndroid Build Coastguard Worker current_->GetOverlappingInputs(level + 1, &smallest, &largest,
1394*9507f98cSAndroid Build Coastguard Worker &c->inputs_[1]);
1395*9507f98cSAndroid Build Coastguard Worker
1396*9507f98cSAndroid Build Coastguard Worker // Get entire range covered by compaction
1397*9507f98cSAndroid Build Coastguard Worker InternalKey all_start, all_limit;
1398*9507f98cSAndroid Build Coastguard Worker GetRange2(c->inputs_[0], c->inputs_[1], &all_start, &all_limit);
1399*9507f98cSAndroid Build Coastguard Worker
1400*9507f98cSAndroid Build Coastguard Worker // See if we can grow the number of inputs in "level" without
1401*9507f98cSAndroid Build Coastguard Worker // changing the number of "level+1" files we pick up.
1402*9507f98cSAndroid Build Coastguard Worker if (!c->inputs_[1].empty()) {
1403*9507f98cSAndroid Build Coastguard Worker std::vector<FileMetaData*> expanded0;
1404*9507f98cSAndroid Build Coastguard Worker current_->GetOverlappingInputs(level, &all_start, &all_limit, &expanded0);
1405*9507f98cSAndroid Build Coastguard Worker AddBoundaryInputs(icmp_, current_->files_[level], &expanded0);
1406*9507f98cSAndroid Build Coastguard Worker const int64_t inputs0_size = TotalFileSize(c->inputs_[0]);
1407*9507f98cSAndroid Build Coastguard Worker const int64_t inputs1_size = TotalFileSize(c->inputs_[1]);
1408*9507f98cSAndroid Build Coastguard Worker const int64_t expanded0_size = TotalFileSize(expanded0);
1409*9507f98cSAndroid Build Coastguard Worker if (expanded0.size() > c->inputs_[0].size() &&
1410*9507f98cSAndroid Build Coastguard Worker inputs1_size + expanded0_size <
1411*9507f98cSAndroid Build Coastguard Worker ExpandedCompactionByteSizeLimit(options_)) {
1412*9507f98cSAndroid Build Coastguard Worker InternalKey new_start, new_limit;
1413*9507f98cSAndroid Build Coastguard Worker GetRange(expanded0, &new_start, &new_limit);
1414*9507f98cSAndroid Build Coastguard Worker std::vector<FileMetaData*> expanded1;
1415*9507f98cSAndroid Build Coastguard Worker current_->GetOverlappingInputs(level + 1, &new_start, &new_limit,
1416*9507f98cSAndroid Build Coastguard Worker &expanded1);
1417*9507f98cSAndroid Build Coastguard Worker if (expanded1.size() == c->inputs_[1].size()) {
1418*9507f98cSAndroid Build Coastguard Worker Log(options_->info_log,
1419*9507f98cSAndroid Build Coastguard Worker "Expanding@%d %d+%d (%ld+%ld bytes) to %d+%d (%ld+%ld bytes)\n",
1420*9507f98cSAndroid Build Coastguard Worker level, int(c->inputs_[0].size()), int(c->inputs_[1].size()),
1421*9507f98cSAndroid Build Coastguard Worker long(inputs0_size), long(inputs1_size), int(expanded0.size()),
1422*9507f98cSAndroid Build Coastguard Worker int(expanded1.size()), long(expanded0_size), long(inputs1_size));
1423*9507f98cSAndroid Build Coastguard Worker smallest = new_start;
1424*9507f98cSAndroid Build Coastguard Worker largest = new_limit;
1425*9507f98cSAndroid Build Coastguard Worker c->inputs_[0] = expanded0;
1426*9507f98cSAndroid Build Coastguard Worker c->inputs_[1] = expanded1;
1427*9507f98cSAndroid Build Coastguard Worker GetRange2(c->inputs_[0], c->inputs_[1], &all_start, &all_limit);
1428*9507f98cSAndroid Build Coastguard Worker }
1429*9507f98cSAndroid Build Coastguard Worker }
1430*9507f98cSAndroid Build Coastguard Worker }
1431*9507f98cSAndroid Build Coastguard Worker
1432*9507f98cSAndroid Build Coastguard Worker // Compute the set of grandparent files that overlap this compaction
1433*9507f98cSAndroid Build Coastguard Worker // (parent == level+1; grandparent == level+2)
1434*9507f98cSAndroid Build Coastguard Worker if (level + 2 < config::kNumLevels) {
1435*9507f98cSAndroid Build Coastguard Worker current_->GetOverlappingInputs(level + 2, &all_start, &all_limit,
1436*9507f98cSAndroid Build Coastguard Worker &c->grandparents_);
1437*9507f98cSAndroid Build Coastguard Worker }
1438*9507f98cSAndroid Build Coastguard Worker
1439*9507f98cSAndroid Build Coastguard Worker // Update the place where we will do the next compaction for this level.
1440*9507f98cSAndroid Build Coastguard Worker // We update this immediately instead of waiting for the VersionEdit
1441*9507f98cSAndroid Build Coastguard Worker // to be applied so that if the compaction fails, we will try a different
1442*9507f98cSAndroid Build Coastguard Worker // key range next time.
1443*9507f98cSAndroid Build Coastguard Worker compact_pointer_[level] = largest.Encode().ToString();
1444*9507f98cSAndroid Build Coastguard Worker c->edit_.SetCompactPointer(level, largest);
1445*9507f98cSAndroid Build Coastguard Worker }
1446*9507f98cSAndroid Build Coastguard Worker
CompactRange(int level,const InternalKey * begin,const InternalKey * end)1447*9507f98cSAndroid Build Coastguard Worker Compaction* VersionSet::CompactRange(int level, const InternalKey* begin,
1448*9507f98cSAndroid Build Coastguard Worker const InternalKey* end) {
1449*9507f98cSAndroid Build Coastguard Worker std::vector<FileMetaData*> inputs;
1450*9507f98cSAndroid Build Coastguard Worker current_->GetOverlappingInputs(level, begin, end, &inputs);
1451*9507f98cSAndroid Build Coastguard Worker if (inputs.empty()) {
1452*9507f98cSAndroid Build Coastguard Worker return nullptr;
1453*9507f98cSAndroid Build Coastguard Worker }
1454*9507f98cSAndroid Build Coastguard Worker
1455*9507f98cSAndroid Build Coastguard Worker // Avoid compacting too much in one shot in case the range is large.
1456*9507f98cSAndroid Build Coastguard Worker // But we cannot do this for level-0 since level-0 files can overlap
1457*9507f98cSAndroid Build Coastguard Worker // and we must not pick one file and drop another older file if the
1458*9507f98cSAndroid Build Coastguard Worker // two files overlap.
1459*9507f98cSAndroid Build Coastguard Worker if (level > 0) {
1460*9507f98cSAndroid Build Coastguard Worker const uint64_t limit = MaxFileSizeForLevel(options_, level);
1461*9507f98cSAndroid Build Coastguard Worker uint64_t total = 0;
1462*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < inputs.size(); i++) {
1463*9507f98cSAndroid Build Coastguard Worker uint64_t s = inputs[i]->file_size;
1464*9507f98cSAndroid Build Coastguard Worker total += s;
1465*9507f98cSAndroid Build Coastguard Worker if (total >= limit) {
1466*9507f98cSAndroid Build Coastguard Worker inputs.resize(i + 1);
1467*9507f98cSAndroid Build Coastguard Worker break;
1468*9507f98cSAndroid Build Coastguard Worker }
1469*9507f98cSAndroid Build Coastguard Worker }
1470*9507f98cSAndroid Build Coastguard Worker }
1471*9507f98cSAndroid Build Coastguard Worker
1472*9507f98cSAndroid Build Coastguard Worker Compaction* c = new Compaction(options_, level);
1473*9507f98cSAndroid Build Coastguard Worker c->input_version_ = current_;
1474*9507f98cSAndroid Build Coastguard Worker c->input_version_->Ref();
1475*9507f98cSAndroid Build Coastguard Worker c->inputs_[0] = inputs;
1476*9507f98cSAndroid Build Coastguard Worker SetupOtherInputs(c);
1477*9507f98cSAndroid Build Coastguard Worker return c;
1478*9507f98cSAndroid Build Coastguard Worker }
1479*9507f98cSAndroid Build Coastguard Worker
Compaction(const Options * options,int level)1480*9507f98cSAndroid Build Coastguard Worker Compaction::Compaction(const Options* options, int level)
1481*9507f98cSAndroid Build Coastguard Worker : level_(level),
1482*9507f98cSAndroid Build Coastguard Worker max_output_file_size_(MaxFileSizeForLevel(options, level)),
1483*9507f98cSAndroid Build Coastguard Worker input_version_(nullptr),
1484*9507f98cSAndroid Build Coastguard Worker grandparent_index_(0),
1485*9507f98cSAndroid Build Coastguard Worker seen_key_(false),
1486*9507f98cSAndroid Build Coastguard Worker overlapped_bytes_(0) {
1487*9507f98cSAndroid Build Coastguard Worker for (int i = 0; i < config::kNumLevels; i++) {
1488*9507f98cSAndroid Build Coastguard Worker level_ptrs_[i] = 0;
1489*9507f98cSAndroid Build Coastguard Worker }
1490*9507f98cSAndroid Build Coastguard Worker }
1491*9507f98cSAndroid Build Coastguard Worker
~Compaction()1492*9507f98cSAndroid Build Coastguard Worker Compaction::~Compaction() {
1493*9507f98cSAndroid Build Coastguard Worker if (input_version_ != nullptr) {
1494*9507f98cSAndroid Build Coastguard Worker input_version_->Unref();
1495*9507f98cSAndroid Build Coastguard Worker }
1496*9507f98cSAndroid Build Coastguard Worker }
1497*9507f98cSAndroid Build Coastguard Worker
IsTrivialMove() const1498*9507f98cSAndroid Build Coastguard Worker bool Compaction::IsTrivialMove() const {
1499*9507f98cSAndroid Build Coastguard Worker const VersionSet* vset = input_version_->vset_;
1500*9507f98cSAndroid Build Coastguard Worker // Avoid a move if there is lots of overlapping grandparent data.
1501*9507f98cSAndroid Build Coastguard Worker // Otherwise, the move could create a parent file that will require
1502*9507f98cSAndroid Build Coastguard Worker // a very expensive merge later on.
1503*9507f98cSAndroid Build Coastguard Worker return (num_input_files(0) == 1 && num_input_files(1) == 0 &&
1504*9507f98cSAndroid Build Coastguard Worker TotalFileSize(grandparents_) <=
1505*9507f98cSAndroid Build Coastguard Worker MaxGrandParentOverlapBytes(vset->options_));
1506*9507f98cSAndroid Build Coastguard Worker }
1507*9507f98cSAndroid Build Coastguard Worker
AddInputDeletions(VersionEdit * edit)1508*9507f98cSAndroid Build Coastguard Worker void Compaction::AddInputDeletions(VersionEdit* edit) {
1509*9507f98cSAndroid Build Coastguard Worker for (int which = 0; which < 2; which++) {
1510*9507f98cSAndroid Build Coastguard Worker for (size_t i = 0; i < inputs_[which].size(); i++) {
1511*9507f98cSAndroid Build Coastguard Worker edit->RemoveFile(level_ + which, inputs_[which][i]->number);
1512*9507f98cSAndroid Build Coastguard Worker }
1513*9507f98cSAndroid Build Coastguard Worker }
1514*9507f98cSAndroid Build Coastguard Worker }
1515*9507f98cSAndroid Build Coastguard Worker
IsBaseLevelForKey(const Slice & user_key)1516*9507f98cSAndroid Build Coastguard Worker bool Compaction::IsBaseLevelForKey(const Slice& user_key) {
1517*9507f98cSAndroid Build Coastguard Worker // Maybe use binary search to find right entry instead of linear search?
1518*9507f98cSAndroid Build Coastguard Worker const Comparator* user_cmp = input_version_->vset_->icmp_.user_comparator();
1519*9507f98cSAndroid Build Coastguard Worker for (int lvl = level_ + 2; lvl < config::kNumLevels; lvl++) {
1520*9507f98cSAndroid Build Coastguard Worker const std::vector<FileMetaData*>& files = input_version_->files_[lvl];
1521*9507f98cSAndroid Build Coastguard Worker while (level_ptrs_[lvl] < files.size()) {
1522*9507f98cSAndroid Build Coastguard Worker FileMetaData* f = files[level_ptrs_[lvl]];
1523*9507f98cSAndroid Build Coastguard Worker if (user_cmp->Compare(user_key, f->largest.user_key()) <= 0) {
1524*9507f98cSAndroid Build Coastguard Worker // We've advanced far enough
1525*9507f98cSAndroid Build Coastguard Worker if (user_cmp->Compare(user_key, f->smallest.user_key()) >= 0) {
1526*9507f98cSAndroid Build Coastguard Worker // Key falls in this file's range, so definitely not base level
1527*9507f98cSAndroid Build Coastguard Worker return false;
1528*9507f98cSAndroid Build Coastguard Worker }
1529*9507f98cSAndroid Build Coastguard Worker break;
1530*9507f98cSAndroid Build Coastguard Worker }
1531*9507f98cSAndroid Build Coastguard Worker level_ptrs_[lvl]++;
1532*9507f98cSAndroid Build Coastguard Worker }
1533*9507f98cSAndroid Build Coastguard Worker }
1534*9507f98cSAndroid Build Coastguard Worker return true;
1535*9507f98cSAndroid Build Coastguard Worker }
1536*9507f98cSAndroid Build Coastguard Worker
ShouldStopBefore(const Slice & internal_key)1537*9507f98cSAndroid Build Coastguard Worker bool Compaction::ShouldStopBefore(const Slice& internal_key) {
1538*9507f98cSAndroid Build Coastguard Worker const VersionSet* vset = input_version_->vset_;
1539*9507f98cSAndroid Build Coastguard Worker // Scan to find earliest grandparent file that contains key.
1540*9507f98cSAndroid Build Coastguard Worker const InternalKeyComparator* icmp = &vset->icmp_;
1541*9507f98cSAndroid Build Coastguard Worker while (grandparent_index_ < grandparents_.size() &&
1542*9507f98cSAndroid Build Coastguard Worker icmp->Compare(internal_key,
1543*9507f98cSAndroid Build Coastguard Worker grandparents_[grandparent_index_]->largest.Encode()) >
1544*9507f98cSAndroid Build Coastguard Worker 0) {
1545*9507f98cSAndroid Build Coastguard Worker if (seen_key_) {
1546*9507f98cSAndroid Build Coastguard Worker overlapped_bytes_ += grandparents_[grandparent_index_]->file_size;
1547*9507f98cSAndroid Build Coastguard Worker }
1548*9507f98cSAndroid Build Coastguard Worker grandparent_index_++;
1549*9507f98cSAndroid Build Coastguard Worker }
1550*9507f98cSAndroid Build Coastguard Worker seen_key_ = true;
1551*9507f98cSAndroid Build Coastguard Worker
1552*9507f98cSAndroid Build Coastguard Worker if (overlapped_bytes_ > MaxGrandParentOverlapBytes(vset->options_)) {
1553*9507f98cSAndroid Build Coastguard Worker // Too much overlap for current output; start new output
1554*9507f98cSAndroid Build Coastguard Worker overlapped_bytes_ = 0;
1555*9507f98cSAndroid Build Coastguard Worker return true;
1556*9507f98cSAndroid Build Coastguard Worker } else {
1557*9507f98cSAndroid Build Coastguard Worker return false;
1558*9507f98cSAndroid Build Coastguard Worker }
1559*9507f98cSAndroid Build Coastguard Worker }
1560*9507f98cSAndroid Build Coastguard Worker
ReleaseInputs()1561*9507f98cSAndroid Build Coastguard Worker void Compaction::ReleaseInputs() {
1562*9507f98cSAndroid Build Coastguard Worker if (input_version_ != nullptr) {
1563*9507f98cSAndroid Build Coastguard Worker input_version_->Unref();
1564*9507f98cSAndroid Build Coastguard Worker input_version_ = nullptr;
1565*9507f98cSAndroid Build Coastguard Worker }
1566*9507f98cSAndroid Build Coastguard Worker }
1567*9507f98cSAndroid Build Coastguard Worker
1568*9507f98cSAndroid Build Coastguard Worker } // namespace leveldb
1569