db_iter.cc 13.1 KB
Newer Older
J
jorlow@chromium.org 已提交
1 2 3 4 5
// Copyright (c) 2011 The LevelDB Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file. See the AUTHORS file for names of contributors.

#include "db/db_iter.h"
6
#include <stdexcept>
7
#include <deque>
J
jorlow@chromium.org 已提交
8 9 10

#include "db/filename.h"
#include "db/dbformat.h"
11
#include "leveldb/env.h"
12
#include "leveldb/options.h"
13
#include "leveldb/iterator.h"
14
#include "leveldb/merge_operator.h"
J
jorlow@chromium.org 已提交
15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42
#include "port/port.h"
#include "util/logging.h"
#include "util/mutexlock.h"

namespace leveldb {

#if 0
static void DumpInternalIter(Iterator* iter) {
  for (iter->SeekToFirst(); iter->Valid(); iter->Next()) {
    ParsedInternalKey k;
    if (!ParseInternalKey(iter->key(), &k)) {
      fprintf(stderr, "Corrupt '%s'\n", EscapeString(iter->key()).c_str());
    } else {
      fprintf(stderr, "@ '%s'\n", k.DebugString().c_str());
    }
  }
}
#endif

namespace {

// Memtables and sstables that make the DB representation contain
// (userkey,seq,type) => uservalue entries.  DBIter
// combines multiple entries for the same userkey found in the DB
// representation into a single entry while accounting for sequence
// numbers, deletion markers, overwrites, etc.
class DBIter: public Iterator {
 public:
43
  // The following is grossly complicated. TODO: clean it up
J
jorlow@chromium.org 已提交
44 45 46 47 48 49 50 51 52 53
  // Which direction is the iterator currently moving?
  // (1) When moving forward, the internal iterator is positioned at
  //     the exact entry that yields this->key(), this->value()
  // (2) When moving backwards, the internal iterator is positioned
  //     just before all entries whose user key == this->key().
  enum Direction {
    kForward,
    kReverse
  };

54
  DBIter(const std::string* dbname, Env* env, const Options& options,
J
jorlow@chromium.org 已提交
55 56 57
         const Comparator* cmp, Iterator* iter, SequenceNumber s)
      : dbname_(dbname),
        env_(env),
58
        logger_(options.info_log),
J
jorlow@chromium.org 已提交
59
        user_comparator_(cmp),
60
        user_merge_operator_(options.merge_operator.get()),
J
jorlow@chromium.org 已提交
61 62
        iter_(iter),
        sequence_(s),
J
jorlow@chromium.org 已提交
63
        direction_(kForward),
64
        valid_(false),
65 66 67
        current_entry_is_merged_(false),
        statistics_(options.statistics) {
    RecordTick(statistics_, NO_ITERATORS, 1);
J
jorlow@chromium.org 已提交
68 69
  }
  virtual ~DBIter() {
70
    RecordTick(statistics_, NO_ITERATORS, -1);
J
jorlow@chromium.org 已提交
71 72 73 74 75
    delete iter_;
  }
  virtual bool Valid() const { return valid_; }
  virtual Slice key() const {
    assert(valid_);
76
    return saved_key_;
J
jorlow@chromium.org 已提交
77 78 79
  }
  virtual Slice value() const {
    assert(valid_);
80 81
    return (direction_ == kForward && !current_entry_is_merged_) ?
      iter_->value() : saved_value_;
J
jorlow@chromium.org 已提交
82 83 84 85 86 87 88 89 90
  }
  virtual Status status() const {
    if (status_.ok()) {
      return iter_->status();
    } else {
      return status_;
    }
  }

J
jorlow@chromium.org 已提交
91 92 93 94 95
  virtual void Next();
  virtual void Prev();
  virtual void Seek(const Slice& target);
  virtual void SeekToFirst();
  virtual void SeekToLast();
J
jorlow@chromium.org 已提交
96

J
jorlow@chromium.org 已提交
97
 private:
98
  void FindNextUserEntry(bool skipping);
J
jorlow@chromium.org 已提交
99 100
  void FindPrevUserEntry();
  bool ParseKey(ParsedInternalKey* key);
101
  void MergeValuesNewToOld();
J
jorlow@chromium.org 已提交
102 103 104 105 106 107 108 109 110 111 112 113 114 115

  inline void SaveKey(const Slice& k, std::string* dst) {
    dst->assign(k.data(), k.size());
  }

  inline void ClearSavedValue() {
    if (saved_value_.capacity() > 1048576) {
      std::string empty;
      swap(empty, saved_value_);
    } else {
      saved_value_.clear();
    }
  }

J
jorlow@chromium.org 已提交
116 117
  const std::string* const dbname_;
  Env* const env_;
118
  shared_ptr<Logger> logger_;
J
jorlow@chromium.org 已提交
119
  const Comparator* const user_comparator_;
120
  const MergeOperator* const user_merge_operator_;
J
jorlow@chromium.org 已提交
121 122
  Iterator* const iter_;
  SequenceNumber const sequence_;
J
jorlow@chromium.org 已提交
123

J
jorlow@chromium.org 已提交
124
  Status status_;
J
jorlow@chromium.org 已提交
125 126
  std::string saved_key_;     // == current key when direction_==kReverse
  std::string saved_value_;   // == current raw value when direction_==kReverse
127
  std::string skip_key_;
J
jorlow@chromium.org 已提交
128
  Direction direction_;
J
jorlow@chromium.org 已提交
129
  bool valid_;
130
  bool current_entry_is_merged_;
131
  std::shared_ptr<Statistics> statistics_;
J
jorlow@chromium.org 已提交
132 133 134 135 136 137 138 139 140

  // No copying allowed
  DBIter(const DBIter&);
  void operator=(const DBIter&);
};

inline bool DBIter::ParseKey(ParsedInternalKey* ikey) {
  if (!ParseInternalKey(iter_->key(), ikey)) {
    status_ = Status::Corruption("corrupted internal key in DBIter");
141 142
    Log(logger_, "corrupted internal key in DBIter: %s",
        iter_->key().ToString(true).c_str());
J
jorlow@chromium.org 已提交
143 144 145 146 147 148
    return false;
  } else {
    return true;
  }
}

J
jorlow@chromium.org 已提交
149 150 151 152 153 154 155 156 157 158 159
void DBIter::Next() {
  assert(valid_);

  if (direction_ == kReverse) {  // Switch directions?
    direction_ = kForward;
    // iter_ is pointing just before the entries for this->key(),
    // so advance into the range of entries for this->key() and then
    // use the normal skipping code below.
    if (!iter_->Valid()) {
      iter_->SeekToFirst();
    } else {
J
jorlow@chromium.org 已提交
160 161
      iter_->Next();
    }
J
jorlow@chromium.org 已提交
162 163 164 165
    if (!iter_->Valid()) {
      valid_ = false;
      saved_key_.clear();
      return;
J
jorlow@chromium.org 已提交
166 167
    }
  }
J
jorlow@chromium.org 已提交
168

169 170 171 172 173 174
  // If the current value is merged, we might already hit end of iter_
  if (!iter_->Valid()) {
    valid_ = false;
    return;
  }
  FindNextUserEntry(true /* skipping the current user key */);
J
jorlow@chromium.org 已提交
175 176
}

177 178 179 180 181 182 183 184 185 186

// PRE: saved_key_ has the current user key if skipping
// POST: saved_key_ should have the next user key if valid_,
//       if the current entry is a result of merge
//           current_entry_is_merged_ => true
//           saved_value_             => the merged value
//
// NOTE: In between, saved_key_ can point to a user key that has
//       a delete marker
void DBIter::FindNextUserEntry(bool skipping) {
J
jorlow@chromium.org 已提交
187 188 189
  // Loop until we hit an acceptable entry to yield
  assert(iter_->Valid());
  assert(direction_ == kForward);
190
  current_entry_is_merged_ = false;
J
jorlow@chromium.org 已提交
191
  do {
J
jorlow@chromium.org 已提交
192
    ParsedInternalKey ikey;
J
jorlow@chromium.org 已提交
193
    if (ParseKey(&ikey) && ikey.sequence <= sequence_) {
194 195 196 197 198 199 200 201 202 203 204 205 206
      if (skipping &&
          user_comparator_->Compare(ikey.user_key, saved_key_) <= 0) {
        // skip this entry
      } else {
        skipping = false;
        switch (ikey.type) {
          case kTypeDeletion:
            // Arrange to skip all upcoming entries for this key since
            // they are hidden by this deletion.
            SaveKey(ikey.user_key, &saved_key_);
            skipping = true;
            break;
          case kTypeValue:
J
jorlow@chromium.org 已提交
207
            valid_ = true;
208
            SaveKey(ikey.user_key, &saved_key_);
J
jorlow@chromium.org 已提交
209
            return;
210 211 212 213 214
          case kTypeMerge:
            // By now, we are sure the current ikey is going to yield a value
            SaveKey(ikey.user_key, &saved_key_);
            current_entry_is_merged_ = true;
            valid_ = true;
D
Deon Nicholas 已提交
215
            MergeValuesNewToOld();  // Go to a different state machine
216
            return;
J
Jim Paton 已提交
217 218 219
          case kTypeLogData:
            assert(false);
            break;
220
        }
J
jorlow@chromium.org 已提交
221
      }
J
jorlow@chromium.org 已提交
222 223
    }
    iter_->Next();
J
jorlow@chromium.org 已提交
224 225
  } while (iter_->Valid());
  valid_ = false;
J
jorlow@chromium.org 已提交
226 227
}

228 229 230 231 232 233 234
// Merge values of the same user key starting from the current iter_ position
// Scan from the newer entries to older entries.
// PRE: iter_->key() points to the first merge type entry
//      saved_key_ stores the user key
// POST: saved_value_ has the merged value for the user key
//       iter_ points to the next entry (or invalid)
void DBIter::MergeValuesNewToOld() {
D
Deon Nicholas 已提交
235 236 237 238 239
  if (!user_merge_operator_) {
    Log(logger_, "Options::merge_operator is null.");
    throw std::logic_error("DBIter::MergeValuesNewToOld() with"
                           " Options::merge_operator null");
  }
240

241 242 243
  // Start the merge process by pushing the first operand
  std::deque<std::string> operands;
  operands.push_front(iter_->value().ToString());
244

245
  std::string merge_result;   // Temporary string to hold merge result later
246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265
  ParsedInternalKey ikey;
  for (iter_->Next(); iter_->Valid(); iter_->Next()) {
    if (!ParseKey(&ikey)) {
      // skip corrupted key
      continue;
    }

    if (user_comparator_->Compare(ikey.user_key, saved_key_) != 0) {
      // hit the next user key, stop right here
      break;
    }

    if (kTypeDeletion == ikey.type) {
      // hit a delete with the same user key, stop right here
      // iter_ is positioned after delete
      iter_->Next();
      break;
    }

    if (kTypeValue == ikey.type) {
266 267 268
      // hit a put, merge the put value with operands and store the
      // final result in saved_value_. We are done!
      // ignore corruption if there is any.
269
      const Slice value = iter_->value();
D
Deon Nicholas 已提交
270 271
      user_merge_operator_->FullMerge(ikey.user_key, &value, operands,
                                      &saved_value_, logger_.get());
272 273 274 275 276 277
      // iter_ is positioned after put
      iter_->Next();
      return;
    }

    if (kTypeMerge == ikey.type) {
278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296
      // hit a merge, add the value as an operand and run associative merge.
      // when complete, add result to operands and continue.
      const Slice& value = iter_->value();
      operands.push_front(value.ToString());
      while(operands.size() >= 2) {
        // Call user associative-merge until it returns false
        if (user_merge_operator_->PartialMerge(ikey.user_key,
                                               Slice(operands[0]),
                                               Slice(operands[1]),
                                               &merge_result,
                                               logger_.get())) {
          operands.pop_front();
          swap(operands.front(), merge_result);
        } else {
          // Associative merge returns false ==> stack the operands
          break;
        }
      }

297 298 299 300 301
    }
  }

  // we either exhausted all internal keys under this user key, or hit
  // a deletion marker.
302
  // feed null as the existing value to the merge operator, such that
303
  // client can differentiate this scenario and do things accordingly.
D
Deon Nicholas 已提交
304 305
  user_merge_operator_->FullMerge(saved_key_, nullptr, operands,
                                  &saved_value_, logger_.get());
306 307
}

J
jorlow@chromium.org 已提交
308 309
void DBIter::Prev() {
  assert(valid_);
J
jorlow@chromium.org 已提交
310

311
  // Throw an exception now if merge_operator is provided
312
  // TODO: support backward iteration
313 314 315 316 317 318
  if (user_merge_operator_) {
    Log(logger_, "Prev not supported yet if merge_operator is provided");
    throw std::logic_error("DBIter::Prev backward iteration not supported"
                           " if merge_operator is provided");
  }

J
jorlow@chromium.org 已提交
319 320 321 322 323 324 325
  if (direction_ == kForward) {  // Switch directions?
    // iter_ is pointing at the current entry.  Scan backwards until
    // the key changes so we can use the normal reverse scanning code.
    assert(iter_->Valid());  // Otherwise valid_ would have been false
    SaveKey(ExtractUserKey(iter_->key()), &saved_key_);
    while (true) {
      iter_->Prev();
J
jorlow@chromium.org 已提交
326
      if (!iter_->Valid()) {
J
jorlow@chromium.org 已提交
327 328 329
        valid_ = false;
        saved_key_.clear();
        ClearSavedValue();
J
jorlow@chromium.org 已提交
330 331
        return;
      }
J
jorlow@chromium.org 已提交
332 333 334 335
      if (user_comparator_->Compare(ExtractUserKey(iter_->key()),
                                    saved_key_) < 0) {
        break;
      }
J
jorlow@chromium.org 已提交
336
    }
J
jorlow@chromium.org 已提交
337
    direction_ = kReverse;
J
jorlow@chromium.org 已提交
338
  }
J
jorlow@chromium.org 已提交
339 340

  FindPrevUserEntry();
J
jorlow@chromium.org 已提交
341 342
}

J
jorlow@chromium.org 已提交
343 344
void DBIter::FindPrevUserEntry() {
  assert(direction_ == kReverse);
J
jorlow@chromium.org 已提交
345

J
jorlow@chromium.org 已提交
346 347 348 349 350 351 352 353 354 355 356 357
  ValueType value_type = kTypeDeletion;
  if (iter_->Valid()) {
    do {
      ParsedInternalKey ikey;
      if (ParseKey(&ikey) && ikey.sequence <= sequence_) {
        if ((value_type != kTypeDeletion) &&
            user_comparator_->Compare(ikey.user_key, saved_key_) < 0) {
          // We encountered a non-deleted value in entries for previous keys,
          break;
        }
        value_type = ikey.type;
        if (value_type == kTypeDeletion) {
358
          saved_key_.clear();
J
jorlow@chromium.org 已提交
359 360 361 362 363 364 365
          ClearSavedValue();
        } else {
          Slice raw_value = iter_->value();
          if (saved_value_.capacity() > raw_value.size() + 1048576) {
            std::string empty;
            swap(empty, saved_value_);
          }
366
          SaveKey(ExtractUserKey(iter_->key()), &saved_key_);
J
jorlow@chromium.org 已提交
367 368 369
          saved_value_.assign(raw_value.data(), raw_value.size());
        }
      }
J
jorlow@chromium.org 已提交
370
      iter_->Prev();
J
jorlow@chromium.org 已提交
371 372
    } while (iter_->Valid());
  }
J
jorlow@chromium.org 已提交
373

J
jorlow@chromium.org 已提交
374 375 376 377 378 379 380 381 382 383
  if (value_type == kTypeDeletion) {
    // End
    valid_ = false;
    saved_key_.clear();
    ClearSavedValue();
    direction_ = kForward;
  } else {
    valid_ = true;
  }
}
J
jorlow@chromium.org 已提交
384

J
jorlow@chromium.org 已提交
385 386 387 388 389 390 391 392
void DBIter::Seek(const Slice& target) {
  direction_ = kForward;
  ClearSavedValue();
  saved_key_.clear();
  AppendInternalKey(
      &saved_key_, ParsedInternalKey(target, sequence_, kValueTypeForSeek));
  iter_->Seek(saved_key_);
  if (iter_->Valid()) {
393
    FindNextUserEntry(false /*not skipping */);
J
jorlow@chromium.org 已提交
394 395 396 397
  } else {
    valid_ = false;
  }
}
J
jorlow@chromium.org 已提交
398

J
jorlow@chromium.org 已提交
399 400 401 402 403
void DBIter::SeekToFirst() {
  direction_ = kForward;
  ClearSavedValue();
  iter_->SeekToFirst();
  if (iter_->Valid()) {
404
    FindNextUserEntry(false /* not skipping */);
J
jorlow@chromium.org 已提交
405 406
  } else {
    valid_ = false;
J
jorlow@chromium.org 已提交
407 408 409
  }
}

J
jorlow@chromium.org 已提交
410
void DBIter::SeekToLast() {
411
  // Throw an exception for now if merge_operator is provided
412 413 414 415 416 417 418
  // TODO: support backward iteration
  if (user_merge_operator_) {
    Log(logger_, "SeekToLast not supported yet if merge_operator is provided");
    throw std::logic_error("DBIter::SeekToLast: backward iteration not"
                           " supported if merge_operator is provided");
  }

J
jorlow@chromium.org 已提交
419 420 421 422 423 424
  direction_ = kReverse;
  ClearSavedValue();
  iter_->SeekToLast();
  FindPrevUserEntry();
}

J
jorlow@chromium.org 已提交
425 426 427 428 429
}  // anonymous namespace

Iterator* NewDBIterator(
    const std::string* dbname,
    Env* env,
430 431
    const Options& options,
    const Comparator *user_key_comparator,
J
jorlow@chromium.org 已提交
432 433
    Iterator* internal_iter,
    const SequenceNumber& sequence) {
434 435
  return new DBIter(dbname, env, options, user_key_comparator,
                    internal_iter, sequence);
J
jorlow@chromium.org 已提交
436 437
}

H
Hans Wennborg 已提交
438
}  // namespace leveldb