Commit 4a2bfc1
committed
fix(btree): detect leaf-revisit cycles during forward scans
The per-descent guard inside next_leaf_after is rebuilt on every call and
only proves a single step doesn't revisit a page. An internal node whose
leftmost_child and a later entry both point at the same child answers
"after A comes B" and "after B comes A", so a scan built from individually
acyclic steps can alternate between two leaves forever. Track visited
leaves for the lifetime of the whole scan instead of per descent.1 parent d6796b9 commit 4a2bfc1
2 files changed
Lines changed: 105 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
6 | | - | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
7 | 27 | | |
8 | 28 | | |
9 | 29 | | |
| |||
18 | 38 | | |
19 | 39 | | |
20 | 40 | | |
| 41 | + | |
21 | 42 | | |
22 | 43 | | |
23 | 44 | | |
| 45 | + | |
24 | 46 | | |
25 | 47 | | |
26 | 48 | | |
| |||
53 | 75 | | |
54 | 76 | | |
55 | 77 | | |
| 78 | + | |
56 | 79 | | |
57 | 80 | | |
58 | 81 | | |
| 82 | + | |
59 | 83 | | |
60 | 84 | | |
61 | 85 | | |
| |||
90 | 114 | | |
91 | 115 | | |
92 | 116 | | |
| 117 | + | |
93 | 118 | | |
94 | 119 | | |
95 | 120 | | |
| 121 | + | |
96 | 122 | | |
97 | 123 | | |
98 | 124 | | |
| |||
166 | 192 | | |
167 | 193 | | |
168 | 194 | | |
| 195 | + | |
169 | 196 | | |
170 | 197 | | |
171 | 198 | | |
| 199 | + | |
172 | 200 | | |
173 | 201 | | |
174 | 202 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
6 | | - | |
| 6 | + | |
7 | 7 | | |
8 | 8 | | |
9 | 9 | | |
| |||
585 | 585 | | |
586 | 586 | | |
587 | 587 | | |
| 588 | + | |
| 589 | + | |
| 590 | + | |
| 591 | + | |
| 592 | + | |
| 593 | + | |
| 594 | + | |
| 595 | + | |
| 596 | + | |
| 597 | + | |
| 598 | + | |
| 599 | + | |
| 600 | + | |
| 601 | + | |
| 602 | + | |
| 603 | + | |
| 604 | + | |
| 605 | + | |
| 606 | + | |
| 607 | + | |
| 608 | + | |
| 609 | + | |
| 610 | + | |
| 611 | + | |
| 612 | + | |
| 613 | + | |
| 614 | + | |
| 615 | + | |
| 616 | + | |
| 617 | + | |
| 618 | + | |
| 619 | + | |
| 620 | + | |
| 621 | + | |
| 622 | + | |
| 623 | + | |
| 624 | + | |
| 625 | + | |
| 626 | + | |
| 627 | + | |
| 628 | + | |
| 629 | + | |
| 630 | + | |
| 631 | + | |
| 632 | + | |
| 633 | + | |
| 634 | + | |
| 635 | + | |
| 636 | + | |
| 637 | + | |
| 638 | + | |
| 639 | + | |
| 640 | + | |
| 641 | + | |
| 642 | + | |
| 643 | + | |
| 644 | + | |
| 645 | + | |
| 646 | + | |
| 647 | + | |
| 648 | + | |
| 649 | + | |
| 650 | + | |
| 651 | + | |
| 652 | + | |
| 653 | + | |
| 654 | + | |
| 655 | + | |
| 656 | + | |
| 657 | + | |
| 658 | + | |
| 659 | + | |
| 660 | + | |
| 661 | + | |
| 662 | + | |
588 | 663 | | |
589 | 664 | | |
590 | 665 | | |
| |||
0 commit comments