github.com/cockroachdb/pebble@v0.0.0-20231214172447-ab4952c5f87b/internal/keyspan/level_iter.go (about) 1 // Copyright 2022 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 ( 8 "fmt" 9 10 "github.com/cockroachdb/pebble/internal/base" 11 "github.com/cockroachdb/pebble/internal/invariants" 12 "github.com/cockroachdb/pebble/internal/manifest" 13 ) 14 15 // LevelIter provides a merged view of spans from sstables in a level. 16 // It takes advantage of level invariants to only have one sstable span block 17 // open at one time, opened using the newIter function passed in. 18 type LevelIter struct { 19 cmp base.Compare 20 // Denotes the kind of key the level iterator should read. If the key type 21 // is KeyTypePoint, the level iterator will read range tombstones (which 22 // only affect point keys). If the key type is KeyTypeRange, the level 23 // iterator will read range keys. It is invalid to configure an iterator 24 // with the KeyTypePointAndRange key type. 25 // 26 // If key type is KeyTypePoint, no straddle spans are emitted between files, 27 // and point key bounds are used to find files instead of range key bounds. 28 // 29 // TODO(bilal): Straddle spans can safely be produced in rangedel mode once 30 // we can guarantee that we will never read sstables in a level that split 31 // user keys across them. This might be guaranteed in a future release, but 32 // as of CockroachDB 22.2 it is not guaranteed, so to be safe disable it when 33 // keyType == KeyTypePoint 34 keyType manifest.KeyType 35 // The LSM level this LevelIter is initialized for. Used in logging. 36 level manifest.Level 37 // The below fields are used to fill in gaps between adjacent files' range 38 // key spaces. This is an optimization to avoid unnecessarily loading files 39 // in cases where range keys are sparse and rare. dir is set by every 40 // positioning operation, straddleDir is set to dir whenever a straddling 41 // Span is synthesized and the last positioning operation returned a 42 // synthesized straddle span. 43 // 44 // Note that when a straddle span is initialized, iterFile is modified to 45 // point to the next file in the straddleDir direction. A change of direction 46 // on a straddle key therefore necessitates the value of iterFile to be 47 // reverted. 48 dir int 49 straddle Span 50 straddleDir int 51 // The iter for the current file (iterFile). It is nil under any of the 52 // following conditions: 53 // - files.Current() == nil 54 // - err != nil 55 // - straddleDir != 0, in which case iterFile is not nil and points to the 56 // next file (in the straddleDir direction). 57 // - some other constraint, like the bounds in opts, caused the file at index to not 58 // be relevant to the iteration. 59 iter FragmentIterator 60 // iterFile holds the current file. 61 // INVARIANT: iterFile = files.Current() 62 iterFile *manifest.FileMetadata 63 newIter TableNewSpanIter 64 files manifest.LevelIterator 65 err error 66 67 // The options that were passed in. 68 tableOpts SpanIterOptions 69 70 // TODO(bilal): Add InternalIteratorStats. 71 } 72 73 // LevelIter implements the keyspan.FragmentIterator interface. 74 var _ FragmentIterator = (*LevelIter)(nil) 75 76 // NewLevelIter returns a LevelIter. 77 func NewLevelIter( 78 opts SpanIterOptions, 79 cmp base.Compare, 80 newIter TableNewSpanIter, 81 files manifest.LevelIterator, 82 level manifest.Level, 83 keyType manifest.KeyType, 84 ) *LevelIter { 85 l := &LevelIter{} 86 l.Init(opts, cmp, newIter, files, level, keyType) 87 return l 88 } 89 90 // Init initializes a LevelIter. 91 func (l *LevelIter) Init( 92 opts SpanIterOptions, 93 cmp base.Compare, 94 newIter TableNewSpanIter, 95 files manifest.LevelIterator, 96 level manifest.Level, 97 keyType manifest.KeyType, 98 ) { 99 l.err = nil 100 l.level = level 101 l.tableOpts = opts 102 l.cmp = cmp 103 l.iterFile = nil 104 l.newIter = newIter 105 switch keyType { 106 case manifest.KeyTypePoint: 107 l.keyType = keyType 108 l.files = files.Filter(keyType) 109 case manifest.KeyTypeRange: 110 l.keyType = keyType 111 l.files = files.Filter(keyType) 112 default: 113 panic(fmt.Sprintf("unsupported key type: %v", keyType)) 114 } 115 } 116 117 func (l *LevelIter) findFileGE(key []byte) *manifest.FileMetadata { 118 // Find the earliest file whose largest key is >= key. 119 // 120 // If the earliest file has its largest key == key and that largest key is a 121 // range deletion sentinel, we know that we manufactured this sentinel to convert 122 // the exclusive range deletion end key into an inclusive key (reminder: [start, end)#seqnum 123 // is the form of a range deletion sentinel which can contribute a largest key = end#sentinel). 124 // In this case we don't return this as the earliest file since there is nothing actually 125 // equal to key in it. 126 127 m := l.files.SeekGE(l.cmp, key) 128 for m != nil { 129 largestKey := m.LargestRangeKey 130 if l.keyType == manifest.KeyTypePoint { 131 largestKey = m.LargestPointKey 132 } 133 if !largestKey.IsExclusiveSentinel() || l.cmp(largestKey.UserKey, key) != 0 { 134 break 135 } 136 m = l.files.Next() 137 } 138 return m 139 } 140 141 func (l *LevelIter) findFileLT(key []byte) *manifest.FileMetadata { 142 // Find the last file whose smallest key is < key. 143 return l.files.SeekLT(l.cmp, key) 144 } 145 146 type loadFileReturnIndicator int8 147 148 const ( 149 noFileLoaded loadFileReturnIndicator = iota 150 fileAlreadyLoaded 151 newFileLoaded 152 ) 153 154 func (l *LevelIter) loadFile(file *manifest.FileMetadata, dir int) loadFileReturnIndicator { 155 indicator := noFileLoaded 156 if l.iterFile == file { 157 if l.err != nil { 158 return noFileLoaded 159 } 160 if l.iter != nil { 161 // We are already at the file, but we would need to check for bounds. 162 // Set indicator accordingly. 163 indicator = fileAlreadyLoaded 164 } 165 // We were already at file, but don't have an iterator, probably because the file was 166 // beyond the iteration bounds. It may still be, but it is also possible that the bounds 167 // have changed. We handle that below. 168 } 169 170 // Note that LevelIter.Close() can be called multiple times. 171 if indicator != fileAlreadyLoaded { 172 if err := l.Close(); err != nil { 173 return noFileLoaded 174 } 175 } 176 177 l.iterFile = file 178 if file == nil { 179 return noFileLoaded 180 } 181 if indicator != fileAlreadyLoaded { 182 l.iter, l.err = l.newIter(file, l.tableOpts) 183 indicator = newFileLoaded 184 } 185 if l.err != nil { 186 return noFileLoaded 187 } 188 return indicator 189 } 190 191 // SeekGE implements keyspan.FragmentIterator. 192 func (l *LevelIter) SeekGE(key []byte) *Span { 193 l.dir = +1 194 l.straddle = Span{} 195 l.straddleDir = 0 196 l.err = nil // clear cached iteration error 197 198 f := l.findFileGE(key) 199 if f != nil && l.keyType == manifest.KeyTypeRange && l.cmp(key, f.SmallestRangeKey.UserKey) < 0 { 200 // Peek at the previous file. 201 prevFile := l.files.Prev() 202 l.files.Next() 203 if prevFile != nil { 204 // We could unconditionally return an empty span between the seek key and 205 // f.SmallestRangeKey, however if this span is to the left of all range 206 // keys on this level, it could lead to inconsistent behaviour in relative 207 // positioning operations. Consider this example, with a b-c range key: 208 // 209 // SeekGE(a) -> a-b:{} 210 // Next() -> b-c{(#5,RANGEKEYSET,@4,foo)} 211 // Prev() -> nil 212 // 213 // Iterators higher up in the iterator stack rely on this sort of relative 214 // positioning consistency. 215 // 216 // TODO(bilal): Investigate ways to be able to return straddle spans in 217 // cases similar to the above, while still retaining correctness. 218 // Return a straddling key instead of loading the file. 219 l.iterFile = f 220 if err := l.Close(); err != nil { 221 return l.verify(nil) 222 } 223 l.straddleDir = +1 224 l.straddle = Span{ 225 Start: prevFile.LargestRangeKey.UserKey, 226 End: f.SmallestRangeKey.UserKey, 227 Keys: nil, 228 } 229 return l.verify(&l.straddle) 230 } 231 } 232 loadFileIndicator := l.loadFile(f, +1) 233 if loadFileIndicator == noFileLoaded { 234 return l.verify(nil) 235 } 236 if span := l.iter.SeekGE(key); span != nil { 237 return l.verify(span) 238 } 239 return l.skipEmptyFileForward() 240 } 241 242 // SeekLT implements keyspan.FragmentIterator. 243 func (l *LevelIter) SeekLT(key []byte) *Span { 244 l.dir = -1 245 l.straddle = Span{} 246 l.straddleDir = 0 247 l.err = nil // clear cached iteration error 248 249 f := l.findFileLT(key) 250 if f != nil && l.keyType == manifest.KeyTypeRange && l.cmp(f.LargestRangeKey.UserKey, key) < 0 { 251 // Peek at the next file. 252 nextFile := l.files.Next() 253 l.files.Prev() 254 if nextFile != nil { 255 // We could unconditionally return an empty span between f.LargestRangeKey 256 // and the seek key, however if this span is to the right of all range keys 257 // on this level, it could lead to inconsistent behaviour in relative 258 // positioning operations. Consider this example, with a b-c range key: 259 // 260 // SeekLT(d) -> c-d:{} 261 // Prev() -> b-c{(#5,RANGEKEYSET,@4,foo)} 262 // Next() -> nil 263 // 264 // Iterators higher up in the iterator stack rely on this sort of relative 265 // positioning consistency. 266 // 267 // TODO(bilal): Investigate ways to be able to return straddle spans in 268 // cases similar to the above, while still retaining correctness. 269 // Return a straddling key instead of loading the file. 270 l.iterFile = f 271 if err := l.Close(); err != nil { 272 return l.verify(nil) 273 } 274 l.straddleDir = -1 275 l.straddle = Span{ 276 Start: f.LargestRangeKey.UserKey, 277 End: nextFile.SmallestRangeKey.UserKey, 278 Keys: nil, 279 } 280 return l.verify(&l.straddle) 281 } 282 } 283 if l.loadFile(f, -1) == noFileLoaded { 284 return l.verify(nil) 285 } 286 if span := l.iter.SeekLT(key); span != nil { 287 return l.verify(span) 288 } 289 return l.skipEmptyFileBackward() 290 } 291 292 // First implements keyspan.FragmentIterator. 293 func (l *LevelIter) First() *Span { 294 l.dir = +1 295 l.straddle = Span{} 296 l.straddleDir = 0 297 l.err = nil // clear cached iteration error 298 299 if l.loadFile(l.files.First(), +1) == noFileLoaded { 300 return l.verify(nil) 301 } 302 if span := l.iter.First(); span != nil { 303 return l.verify(span) 304 } 305 return l.skipEmptyFileForward() 306 } 307 308 // Last implements keyspan.FragmentIterator. 309 func (l *LevelIter) Last() *Span { 310 l.dir = -1 311 l.straddle = Span{} 312 l.straddleDir = 0 313 l.err = nil // clear cached iteration error 314 315 if l.loadFile(l.files.Last(), -1) == noFileLoaded { 316 return l.verify(nil) 317 } 318 if span := l.iter.Last(); span != nil { 319 return l.verify(span) 320 } 321 return l.skipEmptyFileBackward() 322 } 323 324 // Next implements keyspan.FragmentIterator. 325 func (l *LevelIter) Next() *Span { 326 if l.err != nil || (l.iter == nil && l.iterFile == nil && l.dir > 0) { 327 return l.verify(nil) 328 } 329 if l.iter == nil && l.iterFile == nil { 330 // l.dir <= 0 331 return l.First() 332 } 333 l.dir = +1 334 335 if l.iter != nil { 336 if span := l.iter.Next(); span != nil { 337 return l.verify(span) 338 } 339 } 340 return l.skipEmptyFileForward() 341 } 342 343 // Prev implements keyspan.FragmentIterator. 344 func (l *LevelIter) Prev() *Span { 345 if l.err != nil || (l.iter == nil && l.iterFile == nil && l.dir < 0) { 346 return l.verify(nil) 347 } 348 if l.iter == nil && l.iterFile == nil { 349 // l.dir >= 0 350 return l.Last() 351 } 352 l.dir = -1 353 354 if l.iter != nil { 355 if span := l.iter.Prev(); span != nil { 356 return l.verify(span) 357 } 358 } 359 return l.skipEmptyFileBackward() 360 } 361 362 func (l *LevelIter) skipEmptyFileForward() *Span { 363 if l.straddleDir == 0 && l.keyType == manifest.KeyTypeRange && 364 l.iterFile != nil && l.iter != nil { 365 // We were at a file that had spans. Check if the next file that has 366 // spans is not directly adjacent to the current file i.e. there is a 367 // gap in the span keyspace between the two files. In that case, synthesize 368 // a "straddle span" in l.straddle and return that. 369 // 370 // Straddle spans are not created in rangedel mode. 371 if err := l.Close(); err != nil { 372 l.err = err 373 return l.verify(nil) 374 } 375 startKey := l.iterFile.LargestRangeKey.UserKey 376 // Resetting l.iterFile without loading the file into l.iter is okay and 377 // does not change the logic in loadFile() as long as l.iter is also nil; 378 // which it should be due to the Close() call above. 379 l.iterFile = l.files.Next() 380 if l.iterFile == nil { 381 return l.verify(nil) 382 } 383 endKey := l.iterFile.SmallestRangeKey.UserKey 384 if l.cmp(startKey, endKey) < 0 { 385 // There is a gap between the two files. Synthesize a straddling span 386 // to avoid unnecessarily loading the next file. 387 l.straddle = Span{ 388 Start: startKey, 389 End: endKey, 390 } 391 l.straddleDir = +1 392 return l.verify(&l.straddle) 393 } 394 } else if l.straddleDir < 0 { 395 // We were at a straddle key, but are now changing directions. l.iterFile 396 // was already moved backward by skipEmptyFileBackward, so advance it 397 // forward. 398 l.iterFile = l.files.Next() 399 } 400 l.straddle = Span{} 401 l.straddleDir = 0 402 var span *Span 403 for span.Empty() { 404 fileToLoad := l.iterFile 405 if l.keyType == manifest.KeyTypePoint { 406 // We haven't iterated to the next file yet if we're in point key 407 // (rangedel) mode. 408 fileToLoad = l.files.Next() 409 } 410 if l.loadFile(fileToLoad, +1) == noFileLoaded { 411 return l.verify(nil) 412 } 413 span = l.iter.First() 414 // In rangedel mode, we can expect to get empty files that we'd need to 415 // skip over, but not in range key mode. 416 if l.keyType == manifest.KeyTypeRange { 417 break 418 } 419 } 420 return l.verify(span) 421 } 422 423 func (l *LevelIter) skipEmptyFileBackward() *Span { 424 // We were at a file that had spans. Check if the previous file that has 425 // spans is not directly adjacent to the current file i.e. there is a 426 // gap in the span keyspace between the two files. In that case, synthesize 427 // a "straddle span" in l.straddle and return that. 428 // 429 // Straddle spans are not created in rangedel mode. 430 if l.straddleDir == 0 && l.keyType == manifest.KeyTypeRange && 431 l.iterFile != nil && l.iter != nil { 432 if err := l.Close(); err != nil { 433 l.err = err 434 return l.verify(nil) 435 } 436 endKey := l.iterFile.SmallestRangeKey.UserKey 437 // Resetting l.iterFile without loading the file into l.iter is okay and 438 // does not change the logic in loadFile() as long as l.iter is also nil; 439 // which it should be due to the Close() call above. 440 l.iterFile = l.files.Prev() 441 if l.iterFile == nil { 442 return l.verify(nil) 443 } 444 startKey := l.iterFile.LargestRangeKey.UserKey 445 if l.cmp(startKey, endKey) < 0 { 446 // There is a gap between the two files. Synthesize a straddling span 447 // to avoid unnecessarily loading the next file. 448 l.straddle = Span{ 449 Start: startKey, 450 End: endKey, 451 } 452 l.straddleDir = -1 453 return l.verify(&l.straddle) 454 } 455 } else if l.straddleDir > 0 { 456 // We were at a straddle key, but are now changing directions. l.iterFile 457 // was already advanced forward by skipEmptyFileForward, so move it 458 // backward. 459 l.iterFile = l.files.Prev() 460 } 461 l.straddle = Span{} 462 l.straddleDir = 0 463 var span *Span 464 for span.Empty() { 465 fileToLoad := l.iterFile 466 if l.keyType == manifest.KeyTypePoint { 467 fileToLoad = l.files.Prev() 468 } 469 if l.loadFile(fileToLoad, -1) == noFileLoaded { 470 return l.verify(nil) 471 } 472 span = l.iter.Last() 473 // In rangedel mode, we can expect to get empty files that we'd need to 474 // skip over, but not in range key mode as the filter on the FileMetadata 475 // should guarantee we always get a non-empty file. 476 if l.keyType == manifest.KeyTypeRange { 477 break 478 } 479 } 480 return l.verify(span) 481 } 482 483 // verify is invoked whenever a span is returned from an iterator positioning 484 // method to a caller. During invariant builds, it asserts invariants to the 485 // caller. 486 func (l *LevelIter) verify(s *Span) *Span { 487 // NB: Do not add any logic outside the invariants.Enabled conditional to 488 // ensure that verify is always compiled away in production builds. 489 if invariants.Enabled { 490 if f := l.files.Current(); f != l.iterFile { 491 panic(fmt.Sprintf("LevelIter.files.Current (%s) and l.iterFile (%s) diverged", 492 f, l.iterFile)) 493 } 494 } 495 return s 496 } 497 498 // Error implements keyspan.FragmentIterator. 499 func (l *LevelIter) Error() error { 500 if l.err != nil || l.iter == nil { 501 return l.err 502 } 503 return l.iter.Error() 504 } 505 506 // Close implements keyspan.FragmentIterator. 507 func (l *LevelIter) Close() error { 508 if l.iter != nil { 509 l.err = l.iter.Close() 510 l.iter = nil 511 } 512 return l.err 513 } 514 515 // String implements keyspan.FragmentIterator. 516 func (l *LevelIter) String() string { 517 if l.iterFile != nil { 518 return fmt.Sprintf("%s: fileNum=%s", l.level, l.iterFile.FileNum) 519 } 520 return fmt.Sprintf("%s: fileNum=<nil>", l.level) 521 }