github.com/zuoyebang/bitalostable@v1.0.1-0.20240229032404-e3b99a834294/internal/keyspan/get.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/zuoyebang/bitalostable/internal/base" 8 9 // Get returns the newest span that contains the target key. If no span 10 // contains the target key, an empty span is returned. The snapshot 11 // parameter controls the visibility of spans (only spans older than the 12 // snapshot sequence number are visible). The iterator must contain 13 // fragmented spans: no span may overlap another. 14 func Get(cmp base.Compare, iter FragmentIterator, key []byte) *Span { 15 // NB: We use SeekLT in order to land on the proper span for a search 16 // key that resides in the middle of a span. Consider the scenario: 17 // 18 // a---e 19 // e---i 20 // 21 // The spans are indexed by their start keys `a` and `e`. If the 22 // search key is `c` we want to land on the span [a,e). If we were 23 // to use SeekGE then the search key `c` would land on the span 24 // [e,i) and we'd have to backtrack. The one complexity here is what 25 // happens for the search key `e`. In that case SeekLT will land us 26 // on the span [a,e) and we'll have to move forward. 27 iterSpan := iter.SeekLT(key) 28 if iterSpan == nil { 29 iterSpan = iter.Next() 30 if iterSpan == nil { 31 // The iterator is empty. 32 return nil 33 } 34 if cmp(key, iterSpan.Start) < 0 { 35 // The search key lies before the first span. 36 return nil 37 } 38 } 39 40 // Invariant: key > iterSpan.Start 41 if cmp(key, iterSpan.End) >= 0 { 42 // The current span lies before the search key. Advance the iterator 43 // once to potentially land on a key with a start key exactly equal to 44 // key. (See the comment at the beginning of this function.) 45 iterSpan = iter.Next() 46 if iterSpan == nil || cmp(key, iterSpan.Start) < 0 { 47 // We've run out of spans or we've moved on to a span which 48 // starts after our search key. 49 return nil 50 } 51 } 52 return iterSpan 53 }