github.com/cockroachdb/pebble@v0.0.0-20231214172447-ab4952c5f87b/internal/manifest/level_metadata.go (about) 1 // Copyright 2020 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 manifest 6 7 import ( 8 "bytes" 9 "fmt" 10 11 "github.com/cockroachdb/pebble/internal/base" 12 "github.com/cockroachdb/pebble/internal/invariants" 13 ) 14 15 // LevelMetadata contains metadata for all of the files within 16 // a level of the LSM. 17 type LevelMetadata struct { 18 level int 19 totalSize uint64 20 // NumVirtual is the number of virtual sstables in the level. 21 NumVirtual uint64 22 // VirtualSize is the size of the virtual sstables in the level. 23 VirtualSize uint64 24 tree btree 25 } 26 27 // clone makes a copy of the level metadata, implicitly increasing the ref 28 // count of every file contained within lm. 29 func (lm *LevelMetadata) clone() LevelMetadata { 30 return LevelMetadata{ 31 level: lm.level, 32 totalSize: lm.totalSize, 33 NumVirtual: lm.NumVirtual, 34 VirtualSize: lm.VirtualSize, 35 tree: lm.tree.Clone(), 36 } 37 } 38 39 func (lm *LevelMetadata) release() (obsolete []*FileBacking) { 40 return lm.tree.Release() 41 } 42 43 func makeLevelMetadata(cmp Compare, level int, files []*FileMetadata) LevelMetadata { 44 bcmp := btreeCmpSeqNum 45 if level > 0 { 46 bcmp = btreeCmpSmallestKey(cmp) 47 } 48 var lm LevelMetadata 49 lm.level = level 50 lm.tree, _ = makeBTree(bcmp, files) 51 for _, f := range files { 52 lm.totalSize += f.Size 53 if f.Virtual { 54 lm.NumVirtual++ 55 lm.VirtualSize += f.Size 56 } 57 } 58 return lm 59 } 60 61 func makeBTree(cmp btreeCmp, files []*FileMetadata) (btree, LevelSlice) { 62 var t btree 63 t.cmp = cmp 64 for _, f := range files { 65 t.Insert(f) 66 } 67 return t, newLevelSlice(t.Iter()) 68 } 69 70 func (lm *LevelMetadata) insert(f *FileMetadata) error { 71 if err := lm.tree.Insert(f); err != nil { 72 return err 73 } 74 lm.totalSize += f.Size 75 if f.Virtual { 76 lm.NumVirtual++ 77 lm.VirtualSize += f.Size 78 } 79 return nil 80 } 81 82 func (lm *LevelMetadata) remove(f *FileMetadata) bool { 83 lm.totalSize -= f.Size 84 if f.Virtual { 85 lm.NumVirtual-- 86 lm.VirtualSize -= f.Size 87 } 88 return lm.tree.Delete(f) 89 } 90 91 // Empty indicates whether there are any files in the level. 92 func (lm *LevelMetadata) Empty() bool { 93 return lm.tree.Count() == 0 94 } 95 96 // Len returns the number of files within the level. 97 func (lm *LevelMetadata) Len() int { 98 return lm.tree.Count() 99 } 100 101 // Size returns the cumulative size of all the files within the level. 102 func (lm *LevelMetadata) Size() uint64 { 103 return lm.totalSize 104 } 105 106 // Iter constructs a LevelIterator over the entire level. 107 func (lm *LevelMetadata) Iter() LevelIterator { 108 return LevelIterator{iter: lm.tree.Iter()} 109 } 110 111 // Slice constructs a slice containing the entire level. 112 func (lm *LevelMetadata) Slice() LevelSlice { 113 return newLevelSlice(lm.tree.Iter()) 114 } 115 116 // Find finds the provided file in the level if it exists. 117 func (lm *LevelMetadata) Find(cmp base.Compare, m *FileMetadata) *LevelFile { 118 iter := lm.Iter() 119 if lm.level != 0 { 120 // If lm holds files for levels >0, we can narrow our search by binary 121 // searching by bounds. 122 o := overlaps(iter, cmp, m.Smallest.UserKey, 123 m.Largest.UserKey, m.Largest.IsExclusiveSentinel()) 124 iter = o.Iter() 125 } 126 for f := iter.First(); f != nil; f = iter.Next() { 127 if f == m { 128 lf := iter.Take() 129 return &lf 130 } 131 } 132 return nil 133 } 134 135 // Annotation lazily calculates and returns the annotation defined by 136 // Annotator. The Annotator is used as the key for pre-calculated 137 // values, so equal Annotators must be used to avoid duplicate computations 138 // and cached annotations. Annotation must not be called concurrently, and in 139 // practice this is achieved by requiring callers to hold DB.mu. 140 func (lm *LevelMetadata) Annotation(annotator Annotator) interface{} { 141 if lm.Empty() { 142 return annotator.Zero(nil) 143 } 144 v, _ := lm.tree.root.Annotation(annotator) 145 return v 146 } 147 148 // InvalidateAnnotation clears any cached annotations defined by Annotator. The 149 // Annotator is used as the key for pre-calculated values, so equal Annotators 150 // must be used to clear the appropriate cached annotation. InvalidateAnnotation 151 // must not be called concurrently, and in practice this is achieved by 152 // requiring callers to hold DB.mu. 153 func (lm *LevelMetadata) InvalidateAnnotation(annotator Annotator) { 154 if lm.Empty() { 155 return 156 } 157 lm.tree.root.InvalidateAnnotation(annotator) 158 } 159 160 // LevelFile holds a file's metadata along with its position 161 // within a level of the LSM. 162 type LevelFile struct { 163 *FileMetadata 164 slice LevelSlice 165 } 166 167 // Slice constructs a LevelSlice containing only this file. 168 func (lf LevelFile) Slice() LevelSlice { 169 return lf.slice 170 } 171 172 // NewLevelSliceSeqSorted constructs a LevelSlice over the provided files, 173 // sorted by the L0 sequence number sort order. 174 // TODO(jackson): Can we improve this interface or avoid needing to export 175 // a slice constructor like this? 176 func NewLevelSliceSeqSorted(files []*FileMetadata) LevelSlice { 177 tr, slice := makeBTree(btreeCmpSeqNum, files) 178 tr.Release() 179 slice.verifyInvariants() 180 return slice 181 } 182 183 // NewLevelSliceKeySorted constructs a LevelSlice over the provided files, 184 // sorted by the files smallest keys. 185 // TODO(jackson): Can we improve this interface or avoid needing to export 186 // a slice constructor like this? 187 func NewLevelSliceKeySorted(cmp base.Compare, files []*FileMetadata) LevelSlice { 188 tr, slice := makeBTree(btreeCmpSmallestKey(cmp), files) 189 tr.Release() 190 slice.verifyInvariants() 191 return slice 192 } 193 194 // NewLevelSliceSpecificOrder constructs a LevelSlice over the provided files, 195 // ordering the files by their order in the provided slice. It's used in 196 // tests. 197 // TODO(jackson): Update tests to avoid requiring this and remove it. 198 func NewLevelSliceSpecificOrder(files []*FileMetadata) LevelSlice { 199 tr, slice := makeBTree(btreeCmpSpecificOrder(files), files) 200 tr.Release() 201 slice.verifyInvariants() 202 return slice 203 } 204 205 // newLevelSlice constructs a new LevelSlice backed by iter. 206 func newLevelSlice(iter iterator) LevelSlice { 207 s := LevelSlice{iter: iter} 208 if iter.r != nil { 209 s.length = iter.r.subtreeCount 210 } 211 s.verifyInvariants() 212 return s 213 } 214 215 // newBoundedLevelSlice constructs a new LevelSlice backed by iter and bounded 216 // by the provided start and end bounds. The provided startBound and endBound 217 // iterators must be iterators over the same B-Tree. Both start and end bounds 218 // are inclusive. 219 func newBoundedLevelSlice(iter iterator, startBound, endBound *iterator) LevelSlice { 220 s := LevelSlice{ 221 iter: iter, 222 start: startBound, 223 end: endBound, 224 } 225 if iter.valid() { 226 s.length = endBound.countLeft() - startBound.countLeft() 227 // NB: The +1 is a consequence of the end bound being inclusive. 228 if endBound.valid() { 229 s.length++ 230 } 231 // NB: A slice that's empty due to its bounds may have an endBound 232 // positioned before the startBound due to the inclusive bounds. 233 // TODO(jackson): Consider refactoring the end boundary to be exclusive; 234 // it would simplify some areas (eg, here) and complicate others (eg, 235 // Reslice-ing to grow compactions). 236 if s.length < 0 { 237 s.length = 0 238 } 239 } 240 s.verifyInvariants() 241 return s 242 } 243 244 // LevelSlice contains a slice of the files within a level of the LSM. 245 // A LevelSlice is immutable once created, but may be used to construct a 246 // mutable LevelIterator over the slice's files. 247 // 248 // LevelSlices should be constructed through one of the existing constructors, 249 // not manually initialized. 250 type LevelSlice struct { 251 iter iterator 252 length int 253 // start and end form the inclusive bounds of a slice of files within a 254 // level of the LSM. They may be nil if the entire B-Tree backing iter is 255 // accessible. 256 start *iterator 257 end *iterator 258 } 259 260 func (ls LevelSlice) verifyInvariants() { 261 if invariants.Enabled { 262 i := ls.Iter() 263 var length int 264 for f := i.First(); f != nil; f = i.Next() { 265 length++ 266 } 267 if ls.length != length { 268 panic(fmt.Sprintf("LevelSlice %s has length %d value; actual length is %d", ls, ls.length, length)) 269 } 270 } 271 } 272 273 // Each invokes fn for each element in the slice. 274 func (ls LevelSlice) Each(fn func(*FileMetadata)) { 275 iter := ls.Iter() 276 for f := iter.First(); f != nil; f = iter.Next() { 277 fn(f) 278 } 279 } 280 281 // String implements fmt.Stringer. 282 func (ls LevelSlice) String() string { 283 var buf bytes.Buffer 284 fmt.Fprintf(&buf, "%d files: ", ls.length) 285 ls.Each(func(f *FileMetadata) { 286 if buf.Len() > 0 { 287 fmt.Fprintf(&buf, " ") 288 } 289 fmt.Fprint(&buf, f) 290 }) 291 return buf.String() 292 } 293 294 // Empty indicates whether the slice contains any files. 295 func (ls *LevelSlice) Empty() bool { 296 return emptyWithBounds(ls.iter, ls.start, ls.end) 297 } 298 299 // Iter constructs a LevelIterator that iterates over the slice. 300 func (ls *LevelSlice) Iter() LevelIterator { 301 return LevelIterator{ 302 start: ls.start, 303 end: ls.end, 304 iter: ls.iter.clone(), 305 } 306 } 307 308 // Len returns the number of files in the slice. Its runtime is constant. 309 func (ls *LevelSlice) Len() int { 310 return ls.length 311 } 312 313 // SizeSum sums the size of all files in the slice. Its runtime is linear in 314 // the length of the slice. 315 func (ls *LevelSlice) SizeSum() uint64 { 316 var sum uint64 317 iter := ls.Iter() 318 for f := iter.First(); f != nil; f = iter.Next() { 319 sum += f.Size 320 } 321 return sum 322 } 323 324 // NumVirtual returns the number of virtual sstables in the level. Its runtime is 325 // linear in the length of the slice. 326 func (ls *LevelSlice) NumVirtual() uint64 { 327 var n uint64 328 iter := ls.Iter() 329 for f := iter.First(); f != nil; f = iter.Next() { 330 if f.Virtual { 331 n++ 332 } 333 } 334 return n 335 } 336 337 // VirtualSizeSum returns the sum of the sizes of the virtual sstables in the 338 // level. 339 func (ls *LevelSlice) VirtualSizeSum() uint64 { 340 var sum uint64 341 iter := ls.Iter() 342 for f := iter.First(); f != nil; f = iter.Next() { 343 if f.Virtual { 344 sum += f.Size 345 } 346 } 347 return sum 348 } 349 350 // Reslice constructs a new slice backed by the same underlying level, with 351 // new start and end positions. Reslice invokes the provided function, passing 352 // two LevelIterators: one positioned to i's inclusive start and one 353 // positioned to i's inclusive end. The resliceFunc may move either iterator 354 // forward or backwards, including beyond the callee's original bounds to 355 // capture additional files from the underlying level. Reslice constructs and 356 // returns a new LevelSlice with the final bounds of the iterators after 357 // calling resliceFunc. 358 func (ls LevelSlice) Reslice(resliceFunc func(start, end *LevelIterator)) LevelSlice { 359 if ls.iter.r == nil { 360 return ls 361 } 362 var start, end LevelIterator 363 if ls.start == nil { 364 start.iter = ls.iter.clone() 365 start.iter.first() 366 } else { 367 start.iter = ls.start.clone() 368 } 369 if ls.end == nil { 370 end.iter = ls.iter.clone() 371 end.iter.last() 372 } else { 373 end.iter = ls.end.clone() 374 } 375 resliceFunc(&start, &end) 376 return newBoundedLevelSlice(start.iter.clone(), &start.iter, &end.iter) 377 } 378 379 // KeyType is used to specify the type of keys we're looking for in 380 // LevelIterator positioning operations. Files not containing any keys of the 381 // desired type are skipped. 382 type KeyType int8 383 384 const ( 385 // KeyTypePointAndRange denotes a search among the entire keyspace, including 386 // both point keys and range keys. No sstables are skipped. 387 KeyTypePointAndRange KeyType = iota 388 // KeyTypePoint denotes a search among the point keyspace. SSTables with no 389 // point keys will be skipped. Note that the point keyspace includes rangedels. 390 KeyTypePoint 391 // KeyTypeRange denotes a search among the range keyspace. SSTables with no 392 // range keys will be skipped. 393 KeyTypeRange 394 ) 395 396 type keyTypeAnnotator struct{} 397 398 var _ Annotator = keyTypeAnnotator{} 399 400 func (k keyTypeAnnotator) Zero(dst interface{}) interface{} { 401 var val *KeyType 402 if dst != nil { 403 val = dst.(*KeyType) 404 } else { 405 val = new(KeyType) 406 } 407 *val = KeyTypePoint 408 return val 409 } 410 411 func (k keyTypeAnnotator) Accumulate(m *FileMetadata, dst interface{}) (interface{}, bool) { 412 v := dst.(*KeyType) 413 switch *v { 414 case KeyTypePoint: 415 if m.HasRangeKeys { 416 *v = KeyTypePointAndRange 417 } 418 case KeyTypePointAndRange: 419 // Do nothing. 420 default: 421 panic("unexpected key type") 422 } 423 return v, true 424 } 425 426 func (k keyTypeAnnotator) Merge(src interface{}, dst interface{}) interface{} { 427 v := dst.(*KeyType) 428 srcVal := src.(*KeyType) 429 switch *v { 430 case KeyTypePoint: 431 if *srcVal == KeyTypePointAndRange { 432 *v = KeyTypePointAndRange 433 } 434 case KeyTypePointAndRange: 435 // Do nothing. 436 default: 437 panic("unexpected key type") 438 } 439 return v 440 } 441 442 // LevelIterator iterates over a set of files' metadata. Its zero value is an 443 // empty iterator. 444 type LevelIterator struct { 445 iter iterator 446 start *iterator 447 end *iterator 448 filter KeyType 449 } 450 451 func (i LevelIterator) String() string { 452 var buf bytes.Buffer 453 iter := i.iter.clone() 454 iter.first() 455 iter.prev() 456 if i.iter.pos == -1 { 457 fmt.Fprint(&buf, "(<start>)*") 458 } 459 iter.next() 460 for ; iter.valid(); iter.next() { 461 if buf.Len() > 0 { 462 fmt.Fprint(&buf, " ") 463 } 464 465 if i.start != nil && cmpIter(iter, *i.start) == 0 { 466 fmt.Fprintf(&buf, " [ ") 467 } 468 isCurrentPos := cmpIter(iter, i.iter) == 0 469 if isCurrentPos { 470 fmt.Fprint(&buf, " ( ") 471 } 472 fmt.Fprint(&buf, iter.cur().String()) 473 if isCurrentPos { 474 fmt.Fprint(&buf, " )*") 475 } 476 if i.end != nil && cmpIter(iter, *i.end) == 0 { 477 fmt.Fprintf(&buf, " ]") 478 } 479 } 480 if i.iter.n != nil && i.iter.pos >= i.iter.n.count { 481 if buf.Len() > 0 { 482 fmt.Fprint(&buf, " ") 483 } 484 fmt.Fprint(&buf, "(<end>)*") 485 } 486 return buf.String() 487 } 488 489 // Clone copies the iterator, returning an independent iterator at the same 490 // position. 491 func (i *LevelIterator) Clone() LevelIterator { 492 if i.iter.r == nil { 493 return *i 494 } 495 // The start and end iterators are not cloned and are treated as 496 // immutable. 497 return LevelIterator{ 498 iter: i.iter.clone(), 499 start: i.start, 500 end: i.end, 501 filter: i.filter, 502 } 503 } 504 505 // Current returns the item at the current iterator position. 506 // 507 // Current is deprecated. Callers should instead use the return value of a 508 // positioning operation. 509 func (i *LevelIterator) Current() *FileMetadata { 510 if !i.iter.valid() || 511 (i.end != nil && cmpIter(i.iter, *i.end) > 0) || 512 (i.start != nil && cmpIter(i.iter, *i.start) < 0) { 513 return nil 514 } 515 return i.iter.cur() 516 } 517 518 func (i *LevelIterator) empty() bool { 519 return emptyWithBounds(i.iter, i.start, i.end) 520 } 521 522 // Filter clones the iterator and sets the desired KeyType as the key to filter 523 // files on. 524 func (i *LevelIterator) Filter(keyType KeyType) LevelIterator { 525 l := i.Clone() 526 l.filter = keyType 527 return l 528 } 529 530 func emptyWithBounds(i iterator, start, end *iterator) bool { 531 // If i.r is nil, the iterator was constructed from an empty btree. 532 // If the end bound is before the start bound, the bounds represent an 533 // empty slice of the B-Tree. 534 return i.r == nil || (start != nil && end != nil && cmpIter(*end, *start) < 0) 535 } 536 537 // First seeks to the first file in the iterator and returns it. 538 func (i *LevelIterator) First() *FileMetadata { 539 if i.empty() { 540 return nil 541 } 542 if i.start != nil { 543 i.iter = i.start.clone() 544 } else { 545 i.iter.first() 546 } 547 if !i.iter.valid() { 548 return nil 549 } 550 return i.skipFilteredForward(i.iter.cur()) 551 } 552 553 // Last seeks to the last file in the iterator and returns it. 554 func (i *LevelIterator) Last() *FileMetadata { 555 if i.empty() { 556 return nil 557 } 558 if i.end != nil { 559 i.iter = i.end.clone() 560 } else { 561 i.iter.last() 562 } 563 if !i.iter.valid() { 564 return nil 565 } 566 return i.skipFilteredBackward(i.iter.cur()) 567 } 568 569 // Next advances the iterator to the next file and returns it. 570 func (i *LevelIterator) Next() *FileMetadata { 571 if i.iter.r == nil { 572 return nil 573 } 574 if invariants.Enabled && (i.iter.pos >= i.iter.n.count || (i.end != nil && cmpIter(i.iter, *i.end) > 0)) { 575 panic("pebble: cannot next forward-exhausted iterator") 576 } 577 i.iter.next() 578 if !i.iter.valid() { 579 return nil 580 } 581 return i.skipFilteredForward(i.iter.cur()) 582 } 583 584 // Prev moves the iterator the previous file and returns it. 585 func (i *LevelIterator) Prev() *FileMetadata { 586 if i.iter.r == nil { 587 return nil 588 } 589 if invariants.Enabled && (i.iter.pos < 0 || (i.start != nil && cmpIter(i.iter, *i.start) < 0)) { 590 panic("pebble: cannot prev backward-exhausted iterator") 591 } 592 i.iter.prev() 593 if !i.iter.valid() { 594 return nil 595 } 596 return i.skipFilteredBackward(i.iter.cur()) 597 } 598 599 // SeekGE seeks to the first file in the iterator's file set with a largest 600 // user key greater than or equal to the provided user key. The iterator must 601 // have been constructed from L1+, because it requires the underlying files to 602 // be sorted by user keys and non-overlapping. 603 func (i *LevelIterator) SeekGE(cmp Compare, userKey []byte) *FileMetadata { 604 // TODO(jackson): Assert that i.iter.cmp == btreeCmpSmallestKey. 605 if i.iter.r == nil { 606 return nil 607 } 608 m := i.seek(func(m *FileMetadata) bool { 609 return cmp(m.Largest.UserKey, userKey) >= 0 610 }) 611 if i.filter != KeyTypePointAndRange && m != nil { 612 b, ok := m.LargestBound(i.filter) 613 if !ok { 614 m = i.Next() 615 } else if c := cmp(b.UserKey, userKey); c < 0 || c == 0 && b.IsExclusiveSentinel() { 616 // This file does not contain any keys of the type ≥ lower. It 617 // should be filtered, even though it does contain point keys. 618 m = i.Next() 619 } 620 } 621 return i.skipFilteredForward(m) 622 } 623 624 // SeekLT seeks to the last file in the iterator's file set with a smallest 625 // user key less than the provided user key. The iterator must have been 626 // constructed from L1+, because it requires the underlying files to be sorted 627 // by user keys and non-overlapping. 628 func (i *LevelIterator) SeekLT(cmp Compare, userKey []byte) *FileMetadata { 629 // TODO(jackson): Assert that i.iter.cmp == btreeCmpSmallestKey. 630 if i.iter.r == nil { 631 return nil 632 } 633 i.seek(func(m *FileMetadata) bool { 634 return cmp(m.Smallest.UserKey, userKey) >= 0 635 }) 636 m := i.Prev() 637 // Although i.Prev() guarantees that the current file contains keys of the 638 // relevant type, it doesn't guarantee that the keys of the relevant type 639 // are < userKey. 640 if i.filter != KeyTypePointAndRange && m != nil { 641 b, ok := m.SmallestBound(i.filter) 642 if !ok { 643 panic("unreachable") 644 } 645 if c := cmp(b.UserKey, userKey); c >= 0 { 646 // This file does not contain any keys of the type ≥ lower. It 647 // should be filtered, even though it does contain point keys. 648 m = i.Prev() 649 } 650 } 651 return i.skipFilteredBackward(m) 652 } 653 654 // skipFilteredForward takes the file metadata at the iterator's current 655 // position, and skips forward if the current key-type filter (i.filter) 656 // excludes the file. It skips until it finds an unfiltered file or exhausts the 657 // level. If lower is != nil, skipFilteredForward skips any files that do not 658 // contain keys with the provided key-type ≥ lower. 659 // 660 // skipFilteredForward also enforces the upper bound, returning nil if at any 661 // point the upper bound is exceeded. 662 func (i *LevelIterator) skipFilteredForward(meta *FileMetadata) *FileMetadata { 663 for meta != nil && !meta.ContainsKeyType(i.filter) { 664 i.iter.next() 665 if !i.iter.valid() { 666 meta = nil 667 } else { 668 meta = i.iter.cur() 669 } 670 } 671 if meta != nil && i.end != nil && cmpIter(i.iter, *i.end) > 0 { 672 // Exceeded upper bound. 673 meta = nil 674 } 675 return meta 676 } 677 678 // skipFilteredBackward takes the file metadata at the iterator's current 679 // position, and skips backward if the current key-type filter (i.filter) 680 // excludes the file. It skips until it finds an unfiltered file or exhausts the 681 // level. If upper is != nil, skipFilteredBackward skips any files that do not 682 // contain keys with the provided key-type < upper. 683 // 684 // skipFilteredBackward also enforces the lower bound, returning nil if at any 685 // point the lower bound is exceeded. 686 func (i *LevelIterator) skipFilteredBackward(meta *FileMetadata) *FileMetadata { 687 for meta != nil && !meta.ContainsKeyType(i.filter) { 688 i.iter.prev() 689 if !i.iter.valid() { 690 meta = nil 691 } else { 692 meta = i.iter.cur() 693 } 694 } 695 if meta != nil && i.start != nil && cmpIter(i.iter, *i.start) < 0 { 696 // Exceeded lower bound. 697 meta = nil 698 } 699 return meta 700 } 701 702 func (i *LevelIterator) seek(fn func(*FileMetadata) bool) *FileMetadata { 703 i.iter.seek(fn) 704 705 // i.iter.seek seeked in the unbounded underlying B-Tree. If the iterator 706 // has start or end bounds, we may have exceeded them. Reset to the bounds 707 // if necessary. 708 // 709 // NB: The LevelIterator and LevelSlice semantics require that a bounded 710 // LevelIterator/LevelSlice containing files x0, x1, ..., xn behave 711 // identically to an unbounded LevelIterator/LevelSlice of a B-Tree 712 // containing x0, x1, ..., xn. In other words, any files outside the 713 // LevelIterator's bounds should not influence the iterator's behavior. 714 // When seeking, this means a SeekGE that seeks beyond the end bound, 715 // followed by a Prev should return the last element within bounds. 716 if i.end != nil && cmpIter(i.iter, *i.end) > 0 { 717 i.iter = i.end.clone() 718 // Since seek(fn) positioned beyond i.end, we know there is nothing to 719 // return within bounds. 720 i.iter.next() 721 return nil 722 } else if i.start != nil && cmpIter(i.iter, *i.start) < 0 { 723 i.iter = i.start.clone() 724 } 725 if !i.iter.valid() { 726 return nil 727 } 728 return i.iter.cur() 729 } 730 731 // Take constructs a LevelFile containing the file at the iterator's current 732 // position. Take panics if the iterator is not currently positioned over a 733 // file. 734 func (i *LevelIterator) Take() LevelFile { 735 m := i.Current() 736 if m == nil { 737 panic("Take called on invalid LevelIterator") 738 } 739 // LevelSlice's start and end fields are immutable and are positioned to 740 // the same position for a LevelFile because they're inclusive, so we can 741 // share one iterator stack between the two bounds. 742 boundsIter := i.iter.clone() 743 s := newBoundedLevelSlice(i.iter.clone(), &boundsIter, &boundsIter) 744 return LevelFile{ 745 FileMetadata: m, 746 slice: s, 747 } 748 }