github.com/cockroachdb/pebble@v1.1.1-0.20240513155919-3622ade60459/internal/keyspan/seek.go (about) 1 // Copyright 2018 The LevelDB-Go and Pebble Authors. All rights reserved. Use 2 // of this source code is governed by a BSD-style license that can be found in 3 // the LICENSE file. 4 5 package keyspan 6 7 import "github.com/cockroachdb/pebble/internal/base" 8 9 // SeekLE seeks to the span that contains or is before the target key. 10 func SeekLE(cmp base.Compare, iter FragmentIterator, key []byte) *Span { 11 // NB: We use SeekLT in order to land on the proper span for a search 12 // key that resides in the middle of a span. Consider the scenario: 13 // 14 // a---e 15 // e---i 16 // 17 // The spans are indexed by their start keys `a` and `e`. If the 18 // search key is `c` we want to land on the span [a,e). If we were to 19 // use SeekGE then the search key `c` would land on the span [e,i) and 20 // we'd have to backtrack. The one complexity here is what happens for the 21 // search key `e`. In that case SeekLT will land us on the span [a,e) 22 // and we'll have to move forward. 23 iterSpan := iter.SeekLT(key) 24 25 if iterSpan == nil { 26 // Advance the iterator once to see if the next span has a start key 27 // equal to key. 28 iterSpan = iter.Next() 29 if iterSpan == nil || cmp(key, iterSpan.Start) < 0 { 30 // The iterator is exhausted or we've hit the next span. 31 return nil 32 } 33 } else { 34 // Invariant: key > iterSpan.Start 35 if cmp(key, iterSpan.End) >= 0 { 36 // The current span lies entirely before the search key. Check to see if 37 // the next span contains the search key. If it doesn't, we'll backup 38 // and return to our earlier candidate. 39 iterSpan = iter.Next() 40 if iterSpan == nil || cmp(key, iterSpan.Start) < 0 { 41 // The next span is past our search key or there is no next span. Go 42 // back. 43 iterSpan = iter.Prev() 44 } 45 } 46 } 47 return iterSpan 48 }