db_iter.cc 44.9 KB
Newer Older
1
//  Copyright (c) 2011-present, Facebook, Inc.  All rights reserved.
S
Siying Dong 已提交
2 3 4
//  This source code is licensed under both the GPLv2 (found in the
//  COPYING file in the root directory) and Apache 2.0 License
//  (found in the LICENSE.Apache file in the root directory).
5
//
J
jorlow@chromium.org 已提交
6 7 8 9 10
// 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"
S
Stanislau Hlebik 已提交
11
#include <string>
12
#include <iostream>
S
Stanislau Hlebik 已提交
13
#include <limits>
J
jorlow@chromium.org 已提交
14 15

#include "db/dbformat.h"
16
#include "db/merge_context.h"
17
#include "db/merge_helper.h"
18
#include "db/pinned_iterators_manager.h"
19
#include "file/filename.h"
20
#include "logging/logging.h"
21
#include "memory/arena.h"
22
#include "monitoring/perf_context_imp.h"
23 24 25
#include "rocksdb/env.h"
#include "rocksdb/iterator.h"
#include "rocksdb/merge_operator.h"
26
#include "rocksdb/options.h"
S
sdong 已提交
27
#include "table/internal_iterator.h"
28
#include "table/iterator_wrapper.h"
29
#include "trace_replay/trace_replay.h"
J
jorlow@chromium.org 已提交
30
#include "util/mutexlock.h"
31
#include "util/string_util.h"
32
#include "util/user_comparator_wrapper.h"
J
jorlow@chromium.org 已提交
33

34
namespace rocksdb {
J
jorlow@chromium.org 已提交
35 36 37 38 39 40 41 42 43 44 45 46 47 48

#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

49
DBIter::DBIter(Env* _env, const ReadOptions& read_options,
50 51 52 53 54 55 56 57
               const ImmutableCFOptions& cf_options,
               const MutableCFOptions& mutable_cf_options,
               const Comparator* cmp, InternalIterator* iter, SequenceNumber s,
               bool arena_mode, uint64_t max_sequential_skip_in_iterations,
               ReadCallback* read_callback, DBImpl* db_impl,
               ColumnFamilyData* cfd, bool allow_blob)
    : prefix_extractor_(mutable_cf_options.prefix_extractor.get()),
      env_(_env),
58 59 60 61 62 63 64 65 66 67 68 69 70 71
      logger_(cf_options.info_log),
      user_comparator_(cmp),
      merge_operator_(cf_options.merge_operator),
      iter_(iter),
      read_callback_(read_callback),
      sequence_(s),
      statistics_(cf_options.statistics),
      num_internal_keys_skipped_(0),
      iterate_lower_bound_(read_options.iterate_lower_bound),
      iterate_upper_bound_(read_options.iterate_upper_bound),
      direction_(kForward),
      valid_(false),
      current_entry_is_merged_(false),
      is_key_seqnum_zero_(false),
72 73 74
      prefix_same_as_start_(mutable_cf_options.prefix_extractor
                                ? read_options.prefix_same_as_start
                                : false),
75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90
      pin_thru_lifetime_(read_options.pin_data),
      total_order_seek_(read_options.total_order_seek),
      allow_blob_(allow_blob),
      is_blob_(false),
      arena_mode_(arena_mode),
      range_del_agg_(&cf_options.internal_comparator, s),
      db_impl_(db_impl),
      cfd_(cfd),
      start_seqnum_(read_options.iter_start_seqnum) {
  RecordTick(statistics_, NO_ITERATOR_CREATED);
  max_skip_ = max_sequential_skip_in_iterations;
  max_skippable_internal_keys_ = read_options.max_skippable_internal_keys;
  if (pin_thru_lifetime_) {
    pinned_iters_mgr_.StartPinning();
  }
  if (iter_.iter()) {
91
    iter_.iter()->SetPinnedItersMgr(&pinned_iters_mgr_);
J
jorlow@chromium.org 已提交
92
  }
93
}
94

95 96 97
Status DBIter::GetProperty(std::string prop_name, std::string* prop) {
  if (prop == nullptr) {
    return Status::InvalidArgument("prop is nullptr");
98
  }
99 100 101 102
  if (prop_name == "rocksdb.iterator.super-version-number") {
    // First try to pass the value returned from inner iterator.
    return iter_.iter()->GetProperty(prop_name, prop);
  } else if (prop_name == "rocksdb.iterator.is-key-pinned") {
103
    if (valid_) {
104 105 106
      *prop = (pin_thru_lifetime_ && saved_key_.IsKeyPinned()) ? "1" : "0";
    } else {
      *prop = "Iterator is not valid.";
107
    }
108 109 110 111
    return Status::OK();
  } else if (prop_name == "rocksdb.iterator.internal-key") {
    *prop = saved_key_.GetUserKey().ToString();
    return Status::OK();
112
  }
113 114
  return Status::InvalidArgument("Unidentified property.");
}
115

116
bool DBIter::ParseKey(ParsedInternalKey* ikey) {
117
  if (!ParseInternalKey(iter_.key(), ikey)) {
J
jorlow@chromium.org 已提交
118
    status_ = Status::Corruption("corrupted internal key in DBIter");
119
    valid_ = false;
120
    ROCKS_LOG_ERROR(logger_, "corrupted internal key in DBIter: %s",
121
                    iter_.key().ToString(true).c_str());
J
jorlow@chromium.org 已提交
122 123 124 125 126 127
    return false;
  } else {
    return true;
  }
}

J
jorlow@chromium.org 已提交
128 129
void DBIter::Next() {
  assert(valid_);
130
  assert(status_.ok());
J
jorlow@chromium.org 已提交
131

132
  PERF_CPU_TIMER_GUARD(iter_next_cpu_nanos, env_);
133 134
  // Release temporarily pinned blocks from last operation
  ReleaseTempPinnedData();
135 136 137
  local_stats_.skip_count_ += num_internal_keys_skipped_;
  local_stats_.skip_count_--;
  num_internal_keys_skipped_ = 0;
138
  bool ok = true;
S
Stanislau Hlebik 已提交
139
  if (direction_ == kReverse) {
140
    is_key_seqnum_zero_ = false;
141 142 143
    if (!ReverseToForward()) {
      ok = false;
    }
144
  } else if (!current_entry_is_merged_) {
145 146 147 148 149
    // If the current value is not a merge, the iter position is the
    // current key, which is already returned. We can safely issue a
    // Next() without checking the current key.
    // If the current key is a merge, very likely iter already points
    // to the next internal position.
150 151
    assert(iter_.Valid());
    iter_.Next();
152
    PERF_COUNTER_ADD(internal_key_skipped_count, 1);
J
jorlow@chromium.org 已提交
153
  }
J
jorlow@chromium.org 已提交
154

155
  local_stats_.next_count_++;
156
  if (ok && iter_.Valid()) {
157 158 159 160 161
    Slice prefix;
    if (prefix_same_as_start_) {
      assert(prefix_extractor_ != nullptr);
      prefix = prefix_.GetUserKey();
    }
162
    FindNextUserEntry(true /* skipping the current user key */,
163
                      prefix_same_as_start_ ? &prefix : nullptr);
164
  } else {
165
    is_key_seqnum_zero_ = false;
166 167
    valid_ = false;
  }
168 169 170 171
  if (statistics_ != nullptr && valid_) {
    local_stats_.next_found_count_++;
    local_stats_.bytes_read_ += (key().size() + value().size());
  }
J
jorlow@chromium.org 已提交
172 173
}

174
// PRE: saved_key_ has the current user key if skipping_saved_key
175 176 177 178 179 180
// 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
181
//       a delete marker or a sequence number higher than sequence_
182
//       saved_key_ MUST have a proper user_key before calling this function
183
//
184 185 186 187
// The prefix parameter, if not null, indicates that we need to iterator
// within the prefix, and the iterator needs to be made invalid, if no
// more entry for the prefix can be found.
bool DBIter::FindNextUserEntry(bool skipping_saved_key, const Slice* prefix) {
188
  PERF_TIMER_GUARD(find_next_user_entry_time);
189
  return FindNextUserEntryInternal(skipping_saved_key, prefix);
190 191 192
}

// Actual implementation of DBIter::FindNextUserEntry()
193 194
bool DBIter::FindNextUserEntryInternal(bool skipping_saved_key,
                                       const Slice* prefix) {
J
jorlow@chromium.org 已提交
195
  // Loop until we hit an acceptable entry to yield
196
  assert(iter_.Valid());
197
  assert(status_.ok());
J
jorlow@chromium.org 已提交
198
  assert(direction_ == kForward);
199
  current_entry_is_merged_ = false;
200 201 202

  // How many times in a row we have skipped an entry with user key less than
  // or equal to saved_key_. We could skip these entries either because
203
  // sequence numbers were too high or because skipping_saved_key = true.
204
  // What saved_key_ contains throughout this method:
205 206
  //  - if skipping_saved_key        : saved_key_ contains the key that we need
  //  to skip,
207 208 209 210 211
  //                         and we haven't seen any keys greater than that,
  //  - if num_skipped > 0 : saved_key_ contains the key that we have skipped
  //                         num_skipped times, and we haven't seen any keys
  //                         greater than that,
  //  - none of the above  : saved_key_ can contain anything, it doesn't matter.
212
  uint64_t num_skipped = 0;
213 214 215 216 217
  // For write unprepared, the target sequence number in reseek could be larger
  // than the snapshot, and thus needs to be skipped again. This could result in
  // an infinite loop of reseeks. To avoid that, we limit the number of reseeks
  // to one.
  bool reseek_done = false;
218

Y
Yi Wu 已提交
219 220
  is_blob_ = false;

J
jorlow@chromium.org 已提交
221
  do {
222 223 224
    // Will update is_key_seqnum_zero_ as soon as we parsed the current key
    // but we need to save the previous value to be used in the loop.
    bool is_prev_key_seqnum_zero = is_key_seqnum_zero_;
225
    if (!ParseKey(&ikey_)) {
226
      is_key_seqnum_zero_ = false;
227
      return false;
228
    }
229

230 231
    is_key_seqnum_zero_ = (ikey_.sequence == 0);

232 233 234
    assert(iterate_upper_bound_ == nullptr || iter_.MayBeOutOfUpperBound() ||
           user_comparator_.Compare(ikey_.user_key, *iterate_upper_bound_) < 0);
    if (iterate_upper_bound_ != nullptr && iter_.MayBeOutOfUpperBound() &&
235
        user_comparator_.Compare(ikey_.user_key, *iterate_upper_bound_) >= 0) {
236 237
      break;
    }
238

239 240 241 242
    assert(prefix == nullptr || prefix_extractor_ != nullptr);
    if (prefix != nullptr &&
        prefix_extractor_->Transform(ikey_.user_key).compare(*prefix) != 0) {
      assert(prefix_same_as_start_);
243 244 245
      break;
    }

246
    if (TooManyInternalKeysSkipped()) {
247
      return false;
248 249
    }

Y
Yi Wu 已提交
250
    if (IsVisible(ikey_.sequence)) {
251 252 253 254
      // If the previous entry is of seqnum 0, the current entry will not
      // possibly be skipped. This condition can potentially be relaxed to
      // prev_key.seq <= ikey_.sequence. We are cautious because it will be more
      // prone to bugs causing the same user key with the same sequence number.
255
      if (!is_prev_key_seqnum_zero && skipping_saved_key &&
256 257
          user_comparator_.Compare(ikey_.user_key, saved_key_.GetUserKey()) <=
              0) {
258 259 260
        num_skipped++;  // skip this entry
        PERF_COUNTER_ADD(internal_key_skipped_count, 1);
      } else {
261 262 263
        assert(!skipping_saved_key ||
               user_comparator_.Compare(ikey_.user_key,
                                        saved_key_.GetUserKey()) > 0);
264
        num_skipped = 0;
265
        reseek_done = false;
266
        switch (ikey_.type) {
267 268 269 270
          case kTypeDeletion:
          case kTypeSingleDeletion:
            // Arrange to skip all upcoming entries for this key since
            // they are hidden by this deletion.
271 272 273
            // if iterartor specified start_seqnum we
            // 1) return internal key, including the type
            // 2) return ikey only if ikey.seqnum >= start_seqnum_
274
            // note that if deletion seqnum is < start_seqnum_ we
275 276 277
            // just skip it like in normal iterator.
            if (start_seqnum_ > 0 && ikey_.sequence >= start_seqnum_)  {
              saved_key_.SetInternalKey(ikey_);
278 279
              valid_ = true;
              return true;
280 281
            } else {
              saved_key_.SetUserKey(
282 283
                  ikey_.user_key, !pin_thru_lifetime_ ||
                                      !iter_.iter()->IsKeyPinned() /* copy */);
284
              skipping_saved_key = true;
285
              PERF_COUNTER_ADD(internal_delete_skipped_count, 1);
286
            }
287 288
            break;
          case kTypeValue:
Y
Yi Wu 已提交
289
          case kTypeBlobIndex:
290 291 292 293 294 295 296 297
            if (start_seqnum_ > 0) {
              // we are taking incremental snapshot here
              // incremental snapshots aren't supported on DB with range deletes
              assert(!(
                (ikey_.type == kTypeBlobIndex) && (start_seqnum_ > 0)
              ));
              if (ikey_.sequence >= start_seqnum_) {
                saved_key_.SetInternalKey(ikey_);
Y
Yi Wu 已提交
298
                valid_ = true;
299
                return true;
300 301
              } else {
                // this key and all previous versions shouldn't be included,
302
                // skipping_saved_key
303 304 305 306
                saved_key_.SetUserKey(
                    ikey_.user_key,
                    !pin_thru_lifetime_ ||
                        !iter_.iter()->IsKeyPinned() /* copy */);
307
                skipping_saved_key = true;
Y
Yi Wu 已提交
308
              }
309
            } else {
310
              saved_key_.SetUserKey(
311 312
                  ikey_.user_key, !pin_thru_lifetime_ ||
                                      !iter_.iter()->IsKeyPinned() /* copy */);
313
              if (range_del_agg_.ShouldDelete(
314
                      ikey_, RangeDelPositioningMode::kForwardTraversal)) {
315 316
                // Arrange to skip all upcoming entries for this key since
                // they are hidden by this deletion.
317
                skipping_saved_key = true;
318
                num_skipped = 0;
319
                reseek_done = false;
320 321 322 323 324 325 326 327
                PERF_COUNTER_ADD(internal_delete_skipped_count, 1);
              } else if (ikey_.type == kTypeBlobIndex) {
                if (!allow_blob_) {
                  ROCKS_LOG_ERROR(logger_, "Encounter unexpected blob index.");
                  status_ = Status::NotSupported(
                      "Encounter unexpected blob index. Please open DB with "
                      "rocksdb::blob_db::BlobDB instead.");
                  valid_ = false;
328
                  return false;
329
                }
330 331 332 333

                is_blob_ = true;
                valid_ = true;
                return true;
334 335
              } else {
                valid_ = true;
336
                return true;
337
              }
338 339 340
            }
            break;
          case kTypeMerge:
341
            saved_key_.SetUserKey(
342
                ikey_.user_key,
343
                !pin_thru_lifetime_ || !iter_.iter()->IsKeyPinned() /* copy */);
344
            if (range_del_agg_.ShouldDelete(
345
                    ikey_, RangeDelPositioningMode::kForwardTraversal)) {
346 347
              // Arrange to skip all upcoming entries for this key since
              // they are hidden by this deletion.
348
              skipping_saved_key = true;
349
              num_skipped = 0;
350
              reseek_done = false;
351 352 353 354 355 356
              PERF_COUNTER_ADD(internal_delete_skipped_count, 1);
            } else {
              // By now, we are sure the current ikey is going to yield a
              // value
              current_entry_is_merged_ = true;
              valid_ = true;
357
              return MergeValuesNewToOld();  // Go to a different state machine
358 359 360 361 362
            }
            break;
          default:
            assert(false);
            break;
363
        }
J
jorlow@chromium.org 已提交
364
      }
365 366 367
    } else {
      PERF_COUNTER_ADD(internal_recent_skipped_count, 1);

368 369 370 371
      // This key was inserted after our snapshot was taken.
      // If this happens too many times in a row for the same user key, we want
      // to seek to the target sequence number.
      int cmp =
372
          user_comparator_.Compare(ikey_.user_key, saved_key_.GetUserKey());
373
      if (cmp == 0 || (skipping_saved_key && cmp <= 0)) {
374 375
        num_skipped++;
      } else {
376
        saved_key_.SetUserKey(
377
            ikey_.user_key,
378
            !iter_.iter()->IsKeyPinned() || !pin_thru_lifetime_ /* copy */);
379
        skipping_saved_key = false;
380
        num_skipped = 0;
381
        reseek_done = false;
382
      }
J
jorlow@chromium.org 已提交
383
    }
384 385 386

    // If we have sequentially iterated via numerous equal keys, then it's
    // better to seek so that we can avoid too many key comparisons.
387 388 389 390 391 392 393 394
    //
    // To avoid infinite loops, do not reseek if we have already attempted to
    // reseek previously.
    //
    // TODO(lth): If we reseek to sequence number greater than ikey_.sequence,
    // than it does not make sense to reseek as we would actually land further
    // away from the desired key. There is opportunity for optimization here.
    if (num_skipped > max_skip_ && !reseek_done) {
395
      is_key_seqnum_zero_ = false;
396
      num_skipped = 0;
397
      reseek_done = true;
398
      std::string last_key;
399
      if (skipping_saved_key) {
400 401 402
        // We're looking for the next user-key but all we see are the same
        // user-key with decreasing sequence numbers. Fast forward to
        // sequence number 0 and type deletion (the smallest type).
403 404
        AppendInternalKey(&last_key, ParsedInternalKey(saved_key_.GetUserKey(),
                                                       0, kTypeDeletion));
405 406
        // Don't set skipping_saved_key = false because we may still see more
        // user-keys equal to saved_key_.
407 408 409 410 411 412 413
      } else {
        // We saw multiple entries with this user key and sequence numbers
        // higher than sequence_. Fast forward to sequence_.
        // Note that this only covers a case when a higher key was overwritten
        // many times since our snapshot was taken, not the case when a lot of
        // different keys were inserted after our snapshot was taken.
        AppendInternalKey(&last_key,
414
                          ParsedInternalKey(saved_key_.GetUserKey(), sequence_,
415 416
                                            kValueTypeForSeek));
      }
417
      iter_.Seek(last_key);
418 419
      RecordTick(statistics_, NUMBER_OF_RESEEKS_IN_ITERATION);
    } else {
420
      iter_.Next();
421
    }
422
  } while (iter_.Valid());
423

J
jorlow@chromium.org 已提交
424
  valid_ = false;
425
  return iter_.status().ok();
J
jorlow@chromium.org 已提交
426 427
}

428 429
// Merge values of the same user key starting from the current iter_ position
// Scan from the newer entries to older entries.
430
// PRE: iter_.key() points to the first merge type entry
431 432 433
//      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)
434
bool DBIter::MergeValuesNewToOld() {
435
  if (!merge_operator_) {
436
    ROCKS_LOG_ERROR(logger_, "Options::merge_operator is null.");
437
    status_ = Status::InvalidArgument("merge_operator_ must be set.");
438
    valid_ = false;
439
    return false;
D
Deon Nicholas 已提交
440
  }
441

442 443
  // Temporarily pin the blocks that hold merge operands
  TempPinData();
444
  merge_context_.Clear();
445
  // Start the merge process by pushing the first operand
446 447
  merge_context_.PushOperand(
      iter_.value(), iter_.iter()->IsValuePinned() /* operand_pinned */);
448
  TEST_SYNC_POINT("DBIter::MergeValuesNewToOld:PushedFirstOperand");
449 450

  ParsedInternalKey ikey;
451
  Status s;
452
  for (iter_.Next(); iter_.Valid(); iter_.Next()) {
453
    TEST_SYNC_POINT("DBIter::MergeValuesNewToOld:SteppedToNextOperand");
454
    if (!ParseKey(&ikey)) {
455
      return false;
456 457
    }

458
    if (!user_comparator_.Equal(ikey.user_key, saved_key_.GetUserKey())) {
459 460
      // hit the next user key, stop right here
      break;
A
Andrew Kryczka 已提交
461
    } else if (kTypeDeletion == ikey.type || kTypeSingleDeletion == ikey.type ||
462
               range_del_agg_.ShouldDelete(
463
                   ikey, RangeDelPositioningMode::kForwardTraversal)) {
464 465
      // hit a delete with the same user key, stop right here
      // iter_ is positioned after delete
466
      iter_.Next();
467
      break;
A
Andres Noetzli 已提交
468
    } else if (kTypeValue == ikey.type) {
469 470
      // hit a put, merge the put value with operands and store the
      // final result in saved_value_. We are done!
471
      const Slice val = iter_.value();
472 473
      s = MergeHelper::TimedFullMerge(
          merge_operator_, ikey.user_key, &val, merge_context_.GetOperands(),
474
          &saved_value_, logger_, statistics_, env_, &pinned_value_, true);
475
      if (!s.ok()) {
Y
Yi Wu 已提交
476
        valid_ = false;
477
        status_ = s;
478
        return false;
479
      }
480
      // iter_ is positioned after put
481 482
      iter_.Next();
      if (!iter_.status().ok()) {
483 484 485 486
        valid_ = false;
        return false;
      }
      return true;
A
Andres Noetzli 已提交
487
    } else if (kTypeMerge == ikey.type) {
488 489
      // hit a merge, add the value as an operand and run associative merge.
      // when complete, add result to operands and continue.
490 491
      merge_context_.PushOperand(
          iter_.value(), iter_.iter()->IsValuePinned() /* operand_pinned */);
492
      PERF_COUNTER_ADD(internal_merge_count, 1);
Y
Yi Wu 已提交
493 494 495 496 497 498 499 500 501 502 503
    } else if (kTypeBlobIndex == ikey.type) {
      if (!allow_blob_) {
        ROCKS_LOG_ERROR(logger_, "Encounter unexpected blob index.");
        status_ = Status::NotSupported(
            "Encounter unexpected blob index. Please open DB with "
            "rocksdb::blob_db::BlobDB instead.");
      } else {
        status_ =
            Status::NotSupported("Blob DB does not support merge operator.");
      }
      valid_ = false;
504
      return false;
A
Andres Noetzli 已提交
505 506
    } else {
      assert(false);
507 508 509
    }
  }

510
  if (!iter_.status().ok()) {
511 512 513 514
    valid_ = false;
    return false;
  }

515 516 517 518
  // we either exhausted all internal keys under this user key, or hit
  // a deletion marker.
  // feed null as the existing value to the merge operator, such that
  // client can differentiate this scenario and do things accordingly.
519 520 521
  s = MergeHelper::TimedFullMerge(merge_operator_, saved_key_.GetUserKey(),
                                  nullptr, merge_context_.GetOperands(),
                                  &saved_value_, logger_, statistics_, env_,
522
                                  &pinned_value_, true);
523
  if (!s.ok()) {
Y
Yi Wu 已提交
524
    valid_ = false;
525
    status_ = s;
526
    return false;
527
  }
528 529 530

  assert(status_.ok());
  return true;
531 532
}

J
jorlow@chromium.org 已提交
533 534
void DBIter::Prev() {
  assert(valid_);
535
  assert(status_.ok());
536 537

  PERF_CPU_TIMER_GUARD(iter_prev_cpu_nanos, env_);
538
  ReleaseTempPinnedData();
539
  ResetInternalKeysSkippedCounter();
540
  bool ok = true;
S
Stanislau Hlebik 已提交
541
  if (direction_ == kForward) {
542 543 544 545 546
    if (!ReverseToBackward()) {
      ok = false;
    }
  }
  if (ok) {
547 548 549 550 551 552
    Slice prefix;
    if (prefix_same_as_start_) {
      assert(prefix_extractor_ != nullptr);
      prefix = prefix_.GetUserKey();
    }
    PrevInternal(prefix_same_as_start_ ? &prefix : nullptr);
S
Stanislau Hlebik 已提交
553
  }
554

M
Manuel Ung 已提交
555
  if (statistics_ != nullptr) {
556
    local_stats_.prev_count_++;
M
Manuel Ung 已提交
557
    if (valid_) {
558 559
      local_stats_.prev_found_count_++;
      local_stats_.bytes_read_ += (key().size() + value().size());
M
Manuel Ung 已提交
560 561
    }
  }
S
Stanislau Hlebik 已提交
562
}
J
jorlow@chromium.org 已提交
563

564
bool DBIter::ReverseToForward() {
565
  assert(iter_.status().ok());
566 567 568 569

  // When moving backwards, iter_ is positioned on _previous_ key, which may
  // not exist or may have different prefix than the current key().
  // If that's the case, seek iter_ to current key.
570
  if ((prefix_extractor_ != nullptr && !total_order_seek_) || !iter_.Valid()) {
571 572
    IterKey last_key;
    last_key.SetInternalKey(ParsedInternalKey(
573
        saved_key_.GetUserKey(), kMaxSequenceNumber, kValueTypeForSeek));
574
    iter_.Seek(last_key.GetInternalKey());
575
  }
576

577
  direction_ = kForward;
578
  // Skip keys less than the current key() (a.k.a. saved_key_).
579
  while (iter_.Valid()) {
580 581 582 583
    ParsedInternalKey ikey;
    if (!ParseKey(&ikey)) {
      return false;
    }
584
    if (user_comparator_.Compare(ikey.user_key, saved_key_.GetUserKey()) >= 0) {
585 586
      return true;
    }
587
    iter_.Next();
588 589
  }

590
  if (!iter_.status().ok()) {
591 592
    valid_ = false;
    return false;
593
  }
594 595

  return true;
596 597
}

598 599
// Move iter_ to the key before saved_key_.
bool DBIter::ReverseToBackward() {
600
  assert(iter_.status().ok());
601 602 603 604 605 606

  // When current_entry_is_merged_ is true, iter_ may be positioned on the next
  // key, which may not exist or may have prefix different from current.
  // If that's the case, seek to saved_key_.
  if (current_entry_is_merged_ &&
      ((prefix_extractor_ != nullptr && !total_order_seek_) ||
607
       !iter_.Valid())) {
608
    IterKey last_key;
609 610 611 612 613 614
    // Using kMaxSequenceNumber and kValueTypeForSeek
    // (not kValueTypeForSeekForPrev) to seek to a key strictly smaller
    // than saved_key_.
    last_key.SetInternalKey(ParsedInternalKey(
        saved_key_.GetUserKey(), kMaxSequenceNumber, kValueTypeForSeek));
    if (prefix_extractor_ != nullptr && !total_order_seek_) {
615
      iter_.SeekForPrev(last_key.GetInternalKey());
616 617 618 619 620
    } else {
      // Some iterators may not support SeekForPrev(), so we avoid using it
      // when prefix seek mode is disabled. This is somewhat expensive
      // (an extra Prev(), as well as an extra change of direction of iter_),
      // so we may need to reconsider it later.
621 622 623
      iter_.Seek(last_key.GetInternalKey());
      if (!iter_.Valid() && iter_.status().ok()) {
        iter_.SeekToLast();
624
      }
625 626 627 628
    }
  }

  direction_ = kReverse;
629
  return FindUserKeyBeforeSavedKey();
630 631
}

632
void DBIter::PrevInternal(const Slice* prefix) {
633
  while (iter_.Valid()) {
634
    saved_key_.SetUserKey(
635 636
        ExtractUserKey(iter_.key()),
        !iter_.iter()->IsKeyPinned() || !pin_thru_lifetime_ /* copy */);
637

638 639
    assert(prefix == nullptr || prefix_extractor_ != nullptr);
    if (prefix != nullptr &&
640
        prefix_extractor_->Transform(saved_key_.GetUserKey())
641 642
                .compare(*prefix) != 0) {
      assert(prefix_same_as_start_);
643 644 645 646 647
      // Current key does not have the same prefix as start
      valid_ = false;
      return;
    }

648 649 650 651
    assert(iterate_lower_bound_ == nullptr || iter_.MayBeOutOfLowerBound() ||
           user_comparator_.Compare(saved_key_.GetUserKey(),
                                    *iterate_lower_bound_) >= 0);
    if (iterate_lower_bound_ != nullptr && iter_.MayBeOutOfLowerBound() &&
652 653
        user_comparator_.Compare(saved_key_.GetUserKey(),
                                 *iterate_lower_bound_) < 0) {
654 655 656 657 658
      // We've iterated earlier than the user-specified lower bound.
      valid_ = false;
      return;
    }

659
    if (!FindValueForCurrentKey()) {  // assigns valid_
S
Stanislau Hlebik 已提交
660
      return;
J
jorlow@chromium.org 已提交
661
    }
662

663 664 665
    // Whether or not we found a value for current key, we need iter_ to end up
    // on a smaller key.
    if (!FindUserKeyBeforeSavedKey()) {
666 667 668
      return;
    }

669 670 671
    if (valid_) {
      // Found the value.
      return;
S
Stanislau Hlebik 已提交
672
    }
673 674 675

    if (TooManyInternalKeysSkipped(false)) {
      return;
S
Stanislau Hlebik 已提交
676 677
    }
  }
678

S
Stanislau Hlebik 已提交
679 680
  // We haven't found any key - iterator is not valid
  valid_ = false;
J
jorlow@chromium.org 已提交
681 682
}

683 684 685 686 687 688 689 690 691 692 693
// Used for backwards iteration.
// Looks at the entries with user key saved_key_ and finds the most up-to-date
// value for it, or executes a merge, or determines that the value was deleted.
// Sets valid_ to true if the value is found and is ready to be presented to
// the user through value().
// Sets valid_ to false if the value was deleted, and we should try another key.
// Returns false if an error occurred, and !status().ok() and !valid_.
//
// PRE: iter_ is positioned on the last entry with user key equal to saved_key_.
// POST: iter_ is positioned on one of the entries equal to saved_key_, or on
//       the entry just before them, or on the entry just after them.
S
Stanislau Hlebik 已提交
694
bool DBIter::FindValueForCurrentKey() {
695
  assert(iter_.Valid());
696
  merge_context_.Clear();
697
  current_entry_is_merged_ = false;
A
Andres Noetzli 已提交
698 699
  // last entry before merge (could be kTypeDeletion, kTypeSingleDeletion or
  // kTypeValue)
S
Stanislau Hlebik 已提交
700 701
  ValueType last_not_merge_type = kTypeDeletion;
  ValueType last_key_entry_type = kTypeDeletion;
J
jorlow@chromium.org 已提交
702

703 704 705
  // Temporarily pin blocks that hold (merge operands / the value)
  ReleaseTempPinnedData();
  TempPinData();
S
Stanislau Hlebik 已提交
706
  size_t num_skipped = 0;
707
  while (iter_.Valid()) {
708 709 710 711 712 713
    ParsedInternalKey ikey;
    if (!ParseKey(&ikey)) {
      return false;
    }

    if (!IsVisible(ikey.sequence) ||
714
        !user_comparator_.Equal(ikey.user_key, saved_key_.GetUserKey())) {
715 716
      break;
    }
717 718 719 720
    if (TooManyInternalKeysSkipped()) {
      return false;
    }

721 722 723
    // This user key has lots of entries.
    // We're going from old to new, and it's taking too long. Let's do a Seek()
    // and go from new to old. This helps when a key was overwritten many times.
724
    if (num_skipped >= max_skip_) {
S
Stanislau Hlebik 已提交
725 726 727 728 729 730
      return FindValueForCurrentKeyUsingSeek();
    }

    last_key_entry_type = ikey.type;
    switch (last_key_entry_type) {
      case kTypeValue:
Y
Yi Wu 已提交
731
      case kTypeBlobIndex:
732
        if (range_del_agg_.ShouldDelete(
733
                ikey, RangeDelPositioningMode::kBackwardTraversal)) {
A
Andrew Kryczka 已提交
734 735 736
          last_key_entry_type = kTypeRangeDeletion;
          PERF_COUNTER_ADD(internal_delete_skipped_count, 1);
        } else {
737 738
          assert(iter_.iter()->IsValuePinned());
          pinned_value_ = iter_.value();
A
Andrew Kryczka 已提交
739
        }
740
        merge_context_.Clear();
A
Andrew Kryczka 已提交
741
        last_not_merge_type = last_key_entry_type;
S
Stanislau Hlebik 已提交
742 743
        break;
      case kTypeDeletion:
A
Andres Noetzli 已提交
744
      case kTypeSingleDeletion:
745
        merge_context_.Clear();
A
Andres Noetzli 已提交
746
        last_not_merge_type = last_key_entry_type;
747
        PERF_COUNTER_ADD(internal_delete_skipped_count, 1);
S
Stanislau Hlebik 已提交
748 749
        break;
      case kTypeMerge:
750
        if (range_del_agg_.ShouldDelete(
751
                ikey, RangeDelPositioningMode::kBackwardTraversal)) {
A
Andrew Kryczka 已提交
752 753 754 755 756 757 758
          merge_context_.Clear();
          last_key_entry_type = kTypeRangeDeletion;
          last_not_merge_type = last_key_entry_type;
          PERF_COUNTER_ADD(internal_delete_skipped_count, 1);
        } else {
          assert(merge_operator_ != nullptr);
          merge_context_.PushOperandBack(
759 760
              iter_.value(),
              iter_.iter()->IsValuePinned() /* operand_pinned */);
761
          PERF_COUNTER_ADD(internal_merge_count, 1);
A
Andrew Kryczka 已提交
762
        }
S
Stanislau Hlebik 已提交
763 764 765 766 767
        break;
      default:
        assert(false);
    }

768
    PERF_COUNTER_ADD(internal_key_skipped_count, 1);
769
    iter_.Prev();
S
Stanislau Hlebik 已提交
770
    ++num_skipped;
771 772
  }

773
  if (!iter_.status().ok()) {
774 775
    valid_ = false;
    return false;
S
Stanislau Hlebik 已提交
776 777
  }

778
  Status s;
Y
Yi Wu 已提交
779
  is_blob_ = false;
S
Stanislau Hlebik 已提交
780 781
  switch (last_key_entry_type) {
    case kTypeDeletion:
A
Andres Noetzli 已提交
782
    case kTypeSingleDeletion:
A
Andrew Kryczka 已提交
783
    case kTypeRangeDeletion:
S
Stanislau Hlebik 已提交
784
      valid_ = false;
785
      return true;
S
Stanislau Hlebik 已提交
786
    case kTypeMerge:
787
      current_entry_is_merged_ = true;
A
Aaron Gao 已提交
788
      if (last_not_merge_type == kTypeDeletion ||
A
Andrew Kryczka 已提交
789 790
          last_not_merge_type == kTypeSingleDeletion ||
          last_not_merge_type == kTypeRangeDeletion) {
791 792 793
        s = MergeHelper::TimedFullMerge(
            merge_operator_, saved_key_.GetUserKey(), nullptr,
            merge_context_.GetOperands(), &saved_value_, logger_, statistics_,
794
            env_, &pinned_value_, true);
Y
Yi Wu 已提交
795 796 797 798 799 800 801 802 803 804 805
      } else if (last_not_merge_type == kTypeBlobIndex) {
        if (!allow_blob_) {
          ROCKS_LOG_ERROR(logger_, "Encounter unexpected blob index.");
          status_ = Status::NotSupported(
              "Encounter unexpected blob index. Please open DB with "
              "rocksdb::blob_db::BlobDB instead.");
        } else {
          status_ =
              Status::NotSupported("Blob DB does not support merge operator.");
        }
        valid_ = false;
806
        return false;
807
      } else {
S
Stanislau Hlebik 已提交
808
        assert(last_not_merge_type == kTypeValue);
809
        s = MergeHelper::TimedFullMerge(
810
            merge_operator_, saved_key_.GetUserKey(), &pinned_value_,
811
            merge_context_.GetOperands(), &saved_value_, logger_, statistics_,
812
            env_, &pinned_value_, true);
813
      }
S
Stanislau Hlebik 已提交
814 815
      break;
    case kTypeValue:
816
      // do nothing - we've already has value in pinned_value_
S
Stanislau Hlebik 已提交
817
      break;
Y
Yi Wu 已提交
818 819 820 821 822 823 824
    case kTypeBlobIndex:
      if (!allow_blob_) {
        ROCKS_LOG_ERROR(logger_, "Encounter unexpected blob index.");
        status_ = Status::NotSupported(
            "Encounter unexpected blob index. Please open DB with "
            "rocksdb::blob_db::BlobDB instead.");
        valid_ = false;
825
        return false;
Y
Yi Wu 已提交
826 827 828
      }
      is_blob_ = true;
      break;
S
Stanislau Hlebik 已提交
829 830 831
    default:
      assert(false);
      break;
J
jorlow@chromium.org 已提交
832
  }
833
  if (!s.ok()) {
Y
Yi Wu 已提交
834
    valid_ = false;
835
    status_ = s;
836
    return false;
837
  }
838
  valid_ = true;
S
Stanislau Hlebik 已提交
839 840
  return true;
}
J
jorlow@chromium.org 已提交
841

S
Stanislau Hlebik 已提交
842 843
// This function is used in FindValueForCurrentKey.
// We use Seek() function instead of Prev() to find necessary value
844 845
// TODO: This is very similar to FindNextUserEntry() and MergeValuesNewToOld().
//       Would be nice to reuse some code.
S
Stanislau Hlebik 已提交
846
bool DBIter::FindValueForCurrentKeyUsingSeek() {
847 848 849
  // FindValueForCurrentKey will enable pinning before calling
  // FindValueForCurrentKeyUsingSeek()
  assert(pinned_iters_mgr_.PinningEnabled());
S
Stanislau Hlebik 已提交
850
  std::string last_key;
851 852
  AppendInternalKey(&last_key, ParsedInternalKey(saved_key_.GetUserKey(),
                                                 sequence_, kValueTypeForSeek));
853
  iter_.Seek(last_key);
S
Stanislau Hlebik 已提交
854 855
  RecordTick(statistics_, NUMBER_OF_RESEEKS_IN_ITERATION);

856 857
  // In case read_callback presents, the value we seek to may not be visible.
  // Find the next value that's visible.
S
Stanislau Hlebik 已提交
858
  ParsedInternalKey ikey;
859
  while (true) {
860
    if (!iter_.Valid()) {
861
      valid_ = false;
862
      return iter_.status().ok();
863 864 865 866 867
    }

    if (!ParseKey(&ikey)) {
      return false;
    }
868
    if (!user_comparator_.Equal(ikey.user_key, saved_key_.GetUserKey())) {
869 870 871 872 873 874 875 876 877 878
      // No visible values for this key, even though FindValueForCurrentKey()
      // has seen some. This is possible if we're using a tailing iterator, and
      // the entries were discarded in a compaction.
      valid_ = false;
      return true;
    }

    if (IsVisible(ikey.sequence)) {
      break;
    }
879

880
    iter_.Next();
881
  }
S
Stanislau Hlebik 已提交
882

A
Andrew Kryczka 已提交
883
  if (ikey.type == kTypeDeletion || ikey.type == kTypeSingleDeletion ||
884
      range_del_agg_.ShouldDelete(
885
          ikey, RangeDelPositioningMode::kBackwardTraversal)) {
J
jorlow@chromium.org 已提交
886
    valid_ = false;
887
    return true;
S
Stanislau Hlebik 已提交
888
  }
Y
Yi Wu 已提交
889 890 891 892 893 894
  if (ikey.type == kTypeBlobIndex && !allow_blob_) {
    ROCKS_LOG_ERROR(logger_, "Encounter unexpected blob index.");
    status_ = Status::NotSupported(
        "Encounter unexpected blob index. Please open DB with "
        "rocksdb::blob_db::BlobDB instead.");
    valid_ = false;
895
    return false;
Y
Yi Wu 已提交
896 897
  }
  if (ikey.type == kTypeValue || ikey.type == kTypeBlobIndex) {
898 899
    assert(iter_.iter()->IsValuePinned());
    pinned_value_ = iter_.value();
A
Andrew Kryczka 已提交
900 901 902
    valid_ = true;
    return true;
  }
S
Stanislau Hlebik 已提交
903 904 905

  // kTypeMerge. We need to collect all kTypeMerge values and save them
  // in operands
906
  assert(ikey.type == kTypeMerge);
907
  current_entry_is_merged_ = true;
908
  merge_context_.Clear();
909 910
  merge_context_.PushOperand(
      iter_.value(), iter_.iter()->IsValuePinned() /* operand_pinned */);
911
  while (true) {
912
    iter_.Next();
S
Stanislau Hlebik 已提交
913

914 915
    if (!iter_.Valid()) {
      if (!iter_.status().ok()) {
916 917 918 919
        valid_ = false;
        return false;
      }
      break;
S
Stanislau Hlebik 已提交
920
    }
921 922 923
    if (!ParseKey(&ikey)) {
      return false;
    }
924
    if (!user_comparator_.Equal(ikey.user_key, saved_key_.GetUserKey())) {
925 926 927 928 929
      break;
    }

    if (ikey.type == kTypeDeletion || ikey.type == kTypeSingleDeletion ||
        range_del_agg_.ShouldDelete(
930
            ikey, RangeDelPositioningMode::kForwardTraversal)) {
931 932
      break;
    } else if (ikey.type == kTypeValue) {
933
      const Slice val = iter_.value();
934 935 936 937 938 939 940 941 942
      Status s = MergeHelper::TimedFullMerge(
          merge_operator_, saved_key_.GetUserKey(), &val,
          merge_context_.GetOperands(), &saved_value_, logger_, statistics_,
          env_, &pinned_value_, true);
      if (!s.ok()) {
        valid_ = false;
        status_ = s;
        return false;
      }
Y
Yi Wu 已提交
943
      valid_ = true;
944 945
      return true;
    } else if (ikey.type == kTypeMerge) {
946 947
      merge_context_.PushOperand(
          iter_.value(), iter_.iter()->IsValuePinned() /* operand_pinned */);
948 949 950 951 952 953 954 955 956 957 958
      PERF_COUNTER_ADD(internal_merge_count, 1);
    } else if (ikey.type == kTypeBlobIndex) {
      if (!allow_blob_) {
        ROCKS_LOG_ERROR(logger_, "Encounter unexpected blob index.");
        status_ = Status::NotSupported(
            "Encounter unexpected blob index. Please open DB with "
            "rocksdb::blob_db::BlobDB instead.");
      } else {
        status_ =
            Status::NotSupported("Blob DB does not support merge operator.");
      }
Y
Yi Wu 已提交
959
      valid_ = false;
960 961 962
      return false;
    } else {
      assert(false);
963
    }
S
Stanislau Hlebik 已提交
964 965
  }

966 967 968 969 970
  Status s = MergeHelper::TimedFullMerge(
      merge_operator_, saved_key_.GetUserKey(), nullptr,
      merge_context_.GetOperands(), &saved_value_, logger_, statistics_, env_,
      &pinned_value_, true);
  if (!s.ok()) {
Y
Yi Wu 已提交
971
    valid_ = false;
972
    status_ = s;
973
    return false;
974
  }
S
Stanislau Hlebik 已提交
975

976 977 978
  // Make sure we leave iter_ in a good state. If it's valid and we don't care
  // about prefixes, that's already good enough. Otherwise it needs to be
  // seeked to the current key.
979
  if ((prefix_extractor_ != nullptr && !total_order_seek_) || !iter_.Valid()) {
980
    if (prefix_extractor_ != nullptr && !total_order_seek_) {
981
      iter_.SeekForPrev(last_key);
982
    } else {
983 984 985
      iter_.Seek(last_key);
      if (!iter_.Valid() && iter_.status().ok()) {
        iter_.SeekToLast();
986 987 988
      }
    }
    RecordTick(statistics_, NUMBER_OF_RESEEKS_IN_ITERATION);
S
Stanislau Hlebik 已提交
989
  }
990 991 992

  valid_ = true;
  return true;
S
Stanislau Hlebik 已提交
993 994
}

995 996 997 998
// Move backwards until the key smaller than saved_key_.
// Changes valid_ only if return value is false.
bool DBIter::FindUserKeyBeforeSavedKey() {
  assert(status_.ok());
S
Stanislau Hlebik 已提交
999
  size_t num_skipped = 0;
1000
  while (iter_.Valid()) {
1001 1002 1003
    ParsedInternalKey ikey;
    if (!ParseKey(&ikey)) {
      return false;
1004 1005
    }

1006
    if (user_comparator_.Compare(ikey.user_key, saved_key_.GetUserKey()) < 0) {
1007 1008 1009 1010 1011
      return true;
    }

    if (TooManyInternalKeysSkipped()) {
      return false;
S
Stanislau Hlebik 已提交
1012
    }
1013

S
Siying Dong 已提交
1014
    assert(ikey.sequence != kMaxSequenceNumber);
Y
Yi Wu 已提交
1015
    if (!IsVisible(ikey.sequence)) {
1016 1017 1018 1019
      PERF_COUNTER_ADD(internal_recent_skipped_count, 1);
    } else {
      PERF_COUNTER_ADD(internal_key_skipped_count, 1);
    }
1020

1021
    if (num_skipped >= max_skip_) {
1022 1023 1024 1025 1026 1027
      num_skipped = 0;
      IterKey last_key;
      last_key.SetInternalKey(ParsedInternalKey(
          saved_key_.GetUserKey(), kMaxSequenceNumber, kValueTypeForSeek));
      // It would be more efficient to use SeekForPrev() here, but some
      // iterators may not support it.
1028
      iter_.Seek(last_key.GetInternalKey());
1029
      RecordTick(statistics_, NUMBER_OF_RESEEKS_IN_ITERATION);
1030
      if (!iter_.Valid()) {
1031 1032 1033 1034 1035 1036
        break;
      }
    } else {
      ++num_skipped;
    }

1037
    iter_.Prev();
S
Stanislau Hlebik 已提交
1038
  }
1039

1040
  if (!iter_.status().ok()) {
1041 1042 1043 1044 1045
    valid_ = false;
    return false;
  }

  return true;
S
Stanislau Hlebik 已提交
1046 1047
}

1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059
bool DBIter::TooManyInternalKeysSkipped(bool increment) {
  if ((max_skippable_internal_keys_ > 0) &&
      (num_internal_keys_skipped_ > max_skippable_internal_keys_)) {
    valid_ = false;
    status_ = Status::Incomplete("Too many internal keys skipped.");
    return true;
  } else if (increment) {
    num_internal_keys_skipped_++;
  }
  return false;
}

Y
Yi Wu 已提交
1060
bool DBIter::IsVisible(SequenceNumber sequence) {
1061
  if (read_callback_ == nullptr) {
1062 1063 1064
    return sequence <= sequence_;
  } else {
    return read_callback_->IsVisible(sequence);
1065
  }
1066
}
1067

1068
void DBIter::SetSavedKeyToSeekTarget(const Slice& target) {
1069
  is_key_seqnum_zero_ = false;
1070
  SequenceNumber seq = sequence_;
1071
  saved_key_.Clear();
1072
  saved_key_.SetInternalKey(target, seq);
1073

Z
zhangjinpeng1987 已提交
1074
  if (iterate_lower_bound_ != nullptr &&
1075 1076
      user_comparator_.Compare(saved_key_.GetUserKey(), *iterate_lower_bound_) <
          0) {
1077
    // Seek key is smaller than the lower bound.
Z
zhangjinpeng1987 已提交
1078
    saved_key_.Clear();
1079
    saved_key_.SetInternalKey(*iterate_lower_bound_, seq);
Z
zhangjinpeng1987 已提交
1080
  }
1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110
}

void DBIter::SetSavedKeyToSeekForPrevTarget(const Slice& target) {
  is_key_seqnum_zero_ = false;
  saved_key_.Clear();
  // now saved_key is used to store internal key.
  saved_key_.SetInternalKey(target, 0 /* sequence_number */,
                            kValueTypeForSeekForPrev);

  if (iterate_upper_bound_ != nullptr &&
      user_comparator_.Compare(saved_key_.GetUserKey(),
                               *iterate_upper_bound_) >= 0) {
    saved_key_.Clear();
    saved_key_.SetInternalKey(*iterate_upper_bound_, kMaxSequenceNumber);
  }
}

void DBIter::Seek(const Slice& target) {
  PERF_CPU_TIMER_GUARD(iter_seek_cpu_nanos, env_);
  StopWatch sw(env_, statistics_, DB_SEEK);

#ifndef ROCKSDB_LITE
  if (db_impl_ != nullptr && cfd_ != nullptr) {
    db_impl_->TraceIteratorSeek(cfd_->GetID(), target);
  }
#endif  // ROCKSDB_LITE

  status_ = Status::OK();
  ReleaseTempPinnedData();
  ResetInternalKeysSkippedCounter();
Z
zhangjinpeng1987 已提交
1111

1112
  // Seek the inner iterator based on the target key.
1113 1114
  {
    PERF_TIMER_GUARD(seek_internal_seek_time);
1115 1116

    SetSavedKeyToSeekTarget(target);
1117
    iter_.Seek(saved_key_.GetInternalKey());
1118

1119
    range_del_agg_.InvalidateRangeDelMapPositions();
1120
    RecordTick(statistics_, NUMBER_DB_SEEK);
1121
  }
1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143
  if (!iter_.Valid()) {
    valid_ = false;
    return;
  }
  direction_ = kForward;

  // Now the inner iterator is placed to the target position. From there,
  // we need to find out the next key that is visible to the user.
  //
  ClearSavedValue();
  if (prefix_same_as_start_) {
    // The case where the iterator needs to be invalidated if it has exausted
    // keys within the same prefix of the seek key.
    assert(prefix_extractor_ != nullptr);
    Slice target_prefix;
    target_prefix = prefix_extractor_->Transform(target);
    FindNextUserEntry(false /* not skipping saved_key */,
                      &target_prefix /* prefix */);
    if (valid_) {
      // Remember the prefix of the seek key for the future Prev() call to
      // check.
      prefix_.SetUserKey(target_prefix);
M
Manuel Ung 已提交
1144
    }
J
jorlow@chromium.org 已提交
1145
  } else {
1146 1147 1148 1149
    FindNextUserEntry(false /* not skipping saved_key */, nullptr);
  }
  if (!valid_) {
    return;
J
jorlow@chromium.org 已提交
1150
  }
1151

1152 1153 1154 1155 1156
  // Updating stats and perf context counters.
  if (statistics_ != nullptr) {
    // Decrement since we don't want to count this key as skipped
    RecordTick(statistics_, NUMBER_DB_SEEK_FOUND);
    RecordTick(statistics_, ITER_BYTES_READ, key().size() + value().size());
1157
  }
1158
  PERF_COUNTER_ADD(iter_read_bytes, key().size() + value().size());
J
jorlow@chromium.org 已提交
1159
}
J
jorlow@chromium.org 已提交
1160

A
Aaron Gao 已提交
1161
void DBIter::SeekForPrev(const Slice& target) {
1162
  PERF_CPU_TIMER_GUARD(iter_seek_cpu_nanos, env_);
A
Aaron Gao 已提交
1163
  StopWatch sw(env_, statistics_, DB_SEEK);
1164 1165 1166 1167 1168 1169 1170

#ifndef ROCKSDB_LITE
  if (db_impl_ != nullptr && cfd_ != nullptr) {
    db_impl_->TraceIteratorSeekForPrev(cfd_->GetID(), target);
  }
#endif  // ROCKSDB_LITE

1171
  status_ = Status::OK();
A
Aaron Gao 已提交
1172
  ReleaseTempPinnedData();
1173
  ResetInternalKeysSkippedCounter();
Z
zhangjinpeng1987 已提交
1174

1175
  // Seek the inner iterator based on the target key.
A
Aaron Gao 已提交
1176 1177
  {
    PERF_TIMER_GUARD(seek_internal_seek_time);
1178
    SetSavedKeyToSeekForPrevTarget(target);
1179
    iter_.SeekForPrev(saved_key_.GetInternalKey());
1180
    range_del_agg_.InvalidateRangeDelMapPositions();
1181
    RecordTick(statistics_, NUMBER_DB_SEEK);
A
Aaron Gao 已提交
1182
  }
1183 1184 1185
  if (!iter_.Valid()) {
    valid_ = false;
    return;
1186
  }
1187
  direction_ = kReverse;
1188

1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203
  // Now the inner iterator is placed to the target position. From there,
  // we need to find out the first key that is visible to the user in the
  // backward direction.
  ClearSavedValue();
  if (prefix_same_as_start_) {
    // The case where the iterator needs to be invalidated if it has exausted
    // keys within the same prefix of the seek key.
    assert(prefix_extractor_ != nullptr);
    Slice target_prefix;
    target_prefix = prefix_extractor_->Transform(target);
    PrevInternal(&target_prefix);
    if (valid_) {
      // Remember the prefix of the seek key for the future Prev() call to
      // check.
      prefix_.SetUserKey(target_prefix);
A
Aaron Gao 已提交
1204 1205
    }
  } else {
1206
    PrevInternal(nullptr);
A
Aaron Gao 已提交
1207
  }
1208 1209 1210 1211 1212 1213

  // Report stats and perf context.
  if (statistics_ != nullptr && valid_) {
    RecordTick(statistics_, NUMBER_DB_SEEK_FOUND);
    RecordTick(statistics_, ITER_BYTES_READ, key().size() + value().size());
    PERF_COUNTER_ADD(iter_read_bytes, key().size() + value().size());
A
Aaron Gao 已提交
1214 1215 1216
  }
}

J
jorlow@chromium.org 已提交
1217
void DBIter::SeekToFirst() {
1218 1219 1220 1221
  if (iterate_lower_bound_ != nullptr) {
    Seek(*iterate_lower_bound_);
    return;
  }
1222
  PERF_CPU_TIMER_GUARD(iter_seek_cpu_nanos, env_);
1223 1224 1225 1226 1227 1228
  // Don't use iter_::Seek() if we set a prefix extractor
  // because prefix seek will be used.
  if (prefix_extractor_ != nullptr && !total_order_seek_) {
    max_skip_ = std::numeric_limits<uint64_t>::max();
  }
  status_ = Status::OK();
J
jorlow@chromium.org 已提交
1229
  direction_ = kForward;
1230
  ReleaseTempPinnedData();
1231
  ResetInternalKeysSkippedCounter();
J
jorlow@chromium.org 已提交
1232
  ClearSavedValue();
1233
  is_key_seqnum_zero_ = false;
1234 1235 1236

  {
    PERF_TIMER_GUARD(seek_internal_seek_time);
1237
    iter_.SeekToFirst();
1238
    range_del_agg_.InvalidateRangeDelMapPositions();
1239 1240
  }

M
Manuel Ung 已提交
1241
  RecordTick(statistics_, NUMBER_DB_SEEK);
1242
  if (iter_.Valid()) {
1243
    saved_key_.SetUserKey(
1244 1245
        ExtractUserKey(iter_.key()),
        !iter_.iter()->IsKeyPinned() || !pin_thru_lifetime_ /* copy */);
1246 1247
    FindNextUserEntry(false /* not skipping saved_key */,
                      nullptr /* no prefix check */);
M
Manuel Ung 已提交
1248 1249 1250 1251
    if (statistics_ != nullptr) {
      if (valid_) {
        RecordTick(statistics_, NUMBER_DB_SEEK_FOUND);
        RecordTick(statistics_, ITER_BYTES_READ, key().size() + value().size());
1252
        PERF_COUNTER_ADD(iter_read_bytes, key().size() + value().size());
M
Manuel Ung 已提交
1253 1254
      }
    }
J
jorlow@chromium.org 已提交
1255 1256
  } else {
    valid_ = false;
J
jorlow@chromium.org 已提交
1257
  }
1258 1259 1260
  if (valid_ && prefix_same_as_start_) {
    assert(prefix_extractor_ != nullptr);
    prefix_.SetUserKey(prefix_extractor_->Transform(saved_key_.GetUserKey()));
1261
  }
J
jorlow@chromium.org 已提交
1262 1263
}

J
jorlow@chromium.org 已提交
1264
void DBIter::SeekToLast() {
1265 1266 1267
  if (iterate_upper_bound_ != nullptr) {
    // Seek to last key strictly less than ReadOptions.iterate_upper_bound.
    SeekForPrev(*iterate_upper_bound_);
1268
    if (Valid() && user_comparator_.Equal(*iterate_upper_bound_, key())) {
1269
      ReleaseTempPinnedData();
1270
      PrevInternal(nullptr);
1271 1272 1273 1274
    }
    return;
  }

1275
  PERF_CPU_TIMER_GUARD(iter_seek_cpu_nanos, env_);
S
Stanislau Hlebik 已提交
1276
  // Don't use iter_::Seek() if we set a prefix extractor
1277
  // because prefix seek will be used.
1278
  if (prefix_extractor_ != nullptr && !total_order_seek_) {
S
Stanislau Hlebik 已提交
1279 1280
    max_skip_ = std::numeric_limits<uint64_t>::max();
  }
1281
  status_ = Status::OK();
J
jorlow@chromium.org 已提交
1282
  direction_ = kReverse;
1283
  ReleaseTempPinnedData();
1284
  ResetInternalKeysSkippedCounter();
J
jorlow@chromium.org 已提交
1285
  ClearSavedValue();
1286
  is_key_seqnum_zero_ = false;
1287 1288 1289

  {
    PERF_TIMER_GUARD(seek_internal_seek_time);
1290
    iter_.SeekToLast();
1291
    range_del_agg_.InvalidateRangeDelMapPositions();
1292
  }
1293
  PrevInternal(nullptr);
M
Manuel Ung 已提交
1294 1295 1296 1297 1298
  if (statistics_ != nullptr) {
    RecordTick(statistics_, NUMBER_DB_SEEK);
    if (valid_) {
      RecordTick(statistics_, NUMBER_DB_SEEK_FOUND);
      RecordTick(statistics_, ITER_BYTES_READ, key().size() + value().size());
1299
      PERF_COUNTER_ADD(iter_read_bytes, key().size() + value().size());
M
Manuel Ung 已提交
1300 1301
    }
  }
1302 1303 1304
  if (valid_ && prefix_same_as_start_) {
    assert(prefix_extractor_ != nullptr);
    prefix_.SetUserKey(prefix_extractor_->Transform(saved_key_.GetUserKey()));
1305
  }
J
jorlow@chromium.org 已提交
1306 1307
}

1308 1309
Iterator* NewDBIterator(Env* env, const ReadOptions& read_options,
                        const ImmutableCFOptions& cf_options,
1310
                        const MutableCFOptions& mutable_cf_options,
1311 1312 1313
                        const Comparator* user_key_comparator,
                        InternalIterator* internal_iter,
                        const SequenceNumber& sequence,
Y
Yi Wu 已提交
1314
                        uint64_t max_sequential_skip_in_iterations,
1315 1316 1317 1318 1319 1320
                        ReadCallback* read_callback, DBImpl* db_impl,
                        ColumnFamilyData* cfd, bool allow_blob) {
  DBIter* db_iter = new DBIter(
      env, read_options, cf_options, mutable_cf_options, user_key_comparator,
      internal_iter, sequence, false, max_sequential_skip_in_iterations,
      read_callback, db_impl, cfd, allow_blob);
1321
  return db_iter;
1322 1323
}

1324
}  // namespace rocksdb