pijul/sanakirja - Change L5CVF6UJYR6FRQA2NULFHGQFID7BGM4D622OJ2TVWRU7EAR57DHAC

Debugging

Created by pmeunier on February 23, 2021

L5CVF6UJYR6FRQA2NULFHGQFID7BGM4D622OJ2TVWRU7EAR57DHAC

Dependencies

In channels

main

Change contents

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 544 [4.2014]
B:BD[4.10907] → [4.10907:10928]
```
            } else {
```
[4.10907]
[2.16622]
```
            } else if m.modified.skip_first {
```

Insertion in sanakirja-core/src/btree/page_unsized.rs at line 554 [4.2014]

[5.1768]

[4.11117]

            } else {
                let mut c1 = m.modified.c1.clone();
                let mut l = m.modified.l;
                if l == 0 {
                    Self::move_next(&mut c1);
                    l = m.modified.r;
                }
                return Ok(Op::Put(Put::Ok(Self::update_left_child(
                    txn,
                    m.modified.page,
                    m.modified.mutable,
                    &c1,
                    l,
                )?)));

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 31 [4.22926]
∅:D[6.5051] → [7.1615:1679]
B:BD[5.1976] → [7.1615:1679]
```
        if let Put::Ok(Ok { page, freed }) = <Page<K, V>>::put(
```
[6.5051]
[4.23842]
```
        let new_left = if let Put::Ok(Ok { page, freed }) = <Page<K, V>>::put(
```

Insertion in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 50 [4.22926]

[4.24133]

        };
        // Append the middle element of the concatenation at the end
        // of the left page. We know the left page to be mutable by
        // now, and we also know there's enough space to do this.
        let lc = PageCursor::after(&new_left.0);
        if let Put::Ok(Ok { freed, page }) = <Page<K, V>>::put(
            txn, new_left.0, true, false, &lc, m.mid.0, m.mid.1, None, 0, rl,
        )? {
            assert_eq!(freed, 0);
            page
        } else {
            unreachable!()

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 63 [4.22926]
B:BD[4.24143] → [4.24143:24156]
```
    } else {
```
[4.24143]
[6.5107]
```
    } else if m.modified.skip_first {
```

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 76 [4.22926]

B:BD[8.994] → [5.2109:2129]

B:BD[5.2129] → [2.22005:22196]

∅:D[2.22196] → [6.5210:5330]

B:BD[5.2129] → [6.5210:5330]

∅:D[6.5330] → [7.1759:1842]

B:BD[7.1759] → [7.1759:1842]

B:BD[5.2375] → [5.2375:2405]

B:BD[5.2405] → [6.5331:5344]

        page
    };
    // Append the middle element of the concatenation at the end of
    // the left page. We know the left page to be mutable by now, and
    // we also know there's enough space to do this.
    let lc = PageCursor::after(&new_left.0);
    let new_left = if let Put::Ok(Ok { freed, page }) = <Page<K, V>>::put(
        txn, new_left.0, true, false, &lc, m.mid.0, m.mid.1, None, 0, rl,
    )? {
        assert_eq!(freed, 0);
        page

[8.994]

[8.1018]

        // Append the middle element of the concatenation at the end
        // of the left page. We know the left page to be mutable by
        // now, and we also know there's enough space to do this.
        let lc = PageCursor::after(&page.0);
        if let Put::Ok(Ok { freed, page }) = <Page<K, V>>::put(
            txn, page.0, true, false, &lc, m.mid.0, m.mid.1, None, 0, rl,
        )? {
            assert_eq!(freed, 0);
            page
        } else {
            unreachable!()
        }

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 90 [4.22926]

B:BD[8.1031] → [8.1031:1054]

        unreachable!()

[8.1031]

[8.1054]

        // Append the middle element of the concatenation at the end
        // of the left page. We know the left page to be mutable by
        // now, and we also know there's enough space to do this.
        let is_dirty = m.modified.page.is_dirty();
        let lc = PageCursor::after(&m.modified.page);
        if let Put::Ok(Ok { freed, page }) = <Page<K, V>>::put(
            txn, m.modified.page, m.modified.mutable, false, &lc, m.mid.0, m.mid.1, None, 0, rl,
        )? {
            if freed > 0 {
                let b = if is_dirty { 1 } else { 0 };
                freed_[0] = freed | b;
            }
            page
        } else {
            unreachable!()
        }

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 159 [4.22926]

B:BD[6.5800] → [2.23455:23508]

        if let Put::Ok(Ok { page, freed }) = P::put(

[6.5800]

[4.25958]

        let new_right = if let Put::Ok(Ok { page, freed }) = P::put(

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 171 [4.22926]

B:BD[4.26188] → [2.23545:23611]

            freed_[0] = if is_dirty { freed | 1 } else { freed };

[4.26188]

            if freed > 0 {
                freed_[0] = if is_dirty { freed | 1 } else { freed };
            }
            page
        } else {
            unreachable!()
        };
        // Add the middle element of the concatenation as the first
        // element of the right page. We know the right page is
        // mutable, since we just modified it (hence the
        // `assert_eq!(freed, 0)`.
        if let Put::Ok(Ok { freed, page }) = P::put(
            txn,
            new_right.0,
            true,
            false,
            &rc,
            m.mid.0,
            m.mid.1,
            None,
            r0,
            rl,
        )? {
            debug_assert_eq!(freed, 0);

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 199 [4.22926]
B:BD[4.26259] → [4.26259:26272]
```
    } else {
```
[4.26259]
[6.5856]
```
    } else if m.modified.skip_first {
```

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 211 [4.22926]

B:BD[8.1716] → [5.2830:2850]

B:BD[5.2850] → [2.23716:23983]

∅:D[9.3234] → [7.1987:2144]

∅:D[6.6035] → [7.1987:2144]

∅:D[2.23983] → [7.1987:2144]

B:BD[7.1987] → [7.1987:2144]

B:BD[7.2144] → [2.23984:24020]

∅:D[2.24020] → [6.6036:6049]

B:BD[5.3070] → [6.6036:6049]

        page
    };
    // Add the middle element of the concatenation as the first
    // element of the right page. We know the right page is mutable,
    // since we just modified it (hence the `assert_eq!(freed, 0)`.
    let new_right = if let Put::Ok(Ok { freed, page }) = P::put(
        txn,
        new_right.0,
        true,
        false,
        &rc,
        m.mid.0,
        m.mid.1,
        None,
        r0,
        rl,
    )? {
        debug_assert_eq!(freed, 0);
        page

[8.1716]

[4.26515]

        // Add the middle element of the concatenation as the first
        // element of the right page. We know the right page is
        // mutable, since we just modified it (hence the
        // `assert_eq!(freed, 0)`.
        if let Put::Ok(Ok { freed, page }) = P::put(
            txn,
            page.0,
            true,
            false,
            &rc,
            m.mid.0,
            m.mid.1,
            None,
            r0,
            rl,
        )? {
            debug_assert_eq!(freed, 0);
            page
        } else {
            unreachable!()
        }

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 233 [4.22926]

B:BD[4.26528] → [4.26528:26551]

        unreachable!()

[4.26528]

[4.26551]

        let is_dirty = m.modified.page.is_dirty();
        if let Put::Ok(Ok { freed, page }) = P::put(
            txn,
            m.modified.page,
            m.modified.mutable,
            false,
            &rc,
            m.mid.0,
            m.mid.1,
            None,
            r0,
            rl,
        )? {
            if freed > 0 {
                freed_[0] = if is_dirty { freed | 1 } else { freed };
            }
            page
        } else {
            unreachable!()
        }

Deletion in sanakirja-core/src/btree/page.rs at line 530 [11.8623]
∅:D[10.3351] → [11.17114:17149]
∅:D[9.3899] → [11.17114:17149]
∅:D[12.5778] → [11.17114:17149]
B:BD[11.17114] → [11.17114:17149]
B:BD[11.17149] → [13.16862:16884]
∅:D[13.16884] → [6.7950:7973]
B:BD[11.17176] → [6.7950:7973]
∅:D[6.7973] → [11.17251:17318]
B:BD[11.17251] → [11.17251:17318]
```
            return Ok(Op::Merged {
                page,
                freed,
                marker: core::marker::PhantomData,
            });
```
Replacement in sanakirja-core/src/btree/page.rs at line 555 [11.8623]
∅:D[10.3692] → [12.6288:6309]
B:BD[12.6288] → [12.6288:6309]
```
            } else {
```
[10.3692]
[13.17533]
```
            } else if m.modified.skip_first {
```

Insertion in sanakirja-core/src/btree/page.rs at line 569 [11.8623]

[5.7893]

[10.3763]

            } else {
                let mut c1 = m.modified.c1.clone();
                let mut l = m.modified.l;
                if l == 0 {
                    Self::move_next(&mut c1);
                    l = m.modified.r;
                }
                return Ok(Op::Put(Put::Ok(Self::update_left_child(
                    txn,
                    m.modified.page,
                    m.modified.mutable,
                    &c1,
                    l,
                )?)));

Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 29 [14.387]
∅:D[6.9149] → [7.8369:8433]
B:BD[14.1271] → [7.8369:8433]
```
        if let Put::Ok(Ok { page, freed }) = <Page<K, V>>::put(
```
[6.9149]
[14.1336]
```
        let page = if let Put::Ok(Ok { page, freed }) = <Page<K, V>>::put(
```

Insertion in sanakirja-core/src/btree/page/rebalance.rs at line 49 [14.387]

[14.1627]

        };
        // Append the middle element of the concatenation at the end
        // of the left page. We know the left page to be mutable by
        // now, and we also know there's enough space to do this.
        let lc = PageCursor::after(&page.0);
        if let Put::Ok(Ok { page, freed }) = <Page<K, V>>::put(
            txn, page.0, true, false, &lc, m.mid.0, m.mid.1, None, 0, rl,
        )? {
            assert_eq!(freed, 0);
            page
        } else {
            unreachable!()

Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 62 [14.387]
B:BD[14.1637] → [14.1637:1650]
```
    } else {
```
[14.1637]
[6.9205]
```
    } else if m.modified.skip_first {
```

Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 76 [14.387]

B:BD[5.8163] → [5.8163:8176]

∅:D[15.4690] → [14.1729:1736]

∅:D[5.8176] → [14.1729:1736]

B:BD[14.1729] → [14.1729:1736]

B:BD[14.1736] → [13.22981:23173]

∅:D[13.23173] → [6.9308:9428]

B:BD[14.1736] → [6.9308:9428]

∅:D[6.9428] → [7.8513:8596]

B:BD[7.8513] → [7.8513:8596]

B:BD[7.8596] → [6.9429:9472]

        page
    };
    // Append the middle element of the concatenation at the end of
    // the left page. We know the left page to be mutable by now, and
    // we also know there's enough space to do this.
    let lc = PageCursor::after(&new_left.0);
    let new_left = if let Put::Ok(Ok { page, freed }) = <Page<K, V>>::put(
        txn, new_left.0, true, false, &lc, m.mid.0, m.mid.1, None, 0, rl,
    )? {
        assert_eq!(freed, 0);
        page

[5.8163]

[8.2754]

        // Append the middle element of the concatenation at the end
        // of the left page. We know the left page to be mutable by
        // now, and we also know there's enough space to do this.
        let lc = PageCursor::after(&page.0);
        if let Put::Ok(Ok { page, freed }) = <Page<K, V>>::put(
            txn, page.0, true, false, &lc, m.mid.0, m.mid.1, None, 0, rl,
        )? {
            assert_eq!(freed, 0);
            page
        } else {
            unreachable!()
        }

Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 89 [14.387]

B:BD[8.2767] → [8.2767:2790]

        unreachable!()

[8.2767]

[8.2790]

        let is_dirty = m.modified.page.is_dirty();
        let lc = PageCursor::after(&m.modified.page);
        if let Put::Ok(Ok { page, freed }) = <Page<K, V>>::put(
            txn, m.modified.page, m.modified.mutable, false, &lc, m.mid.0, m.mid.1, None, 0, rl,
        )? {
            if freed > 0 {
                debug!("freed {:?} {:?}", line!(), freed);
                let b = if is_dirty { 1 } else { 0 };
                freed_[0] = freed | b
            }
            page
        } else {
            unreachable!()
        }

Replacement in sanakirja-core/src/btree/page/put.rs at line 22 [14.5929]

B:BD[2.39373] → [2.39373:39450]

    if mutable && is_dirty && L::can_alloc::<K, V>(header(page.as_page())) {

[2.39373]

[2.39450]

    if mutable && is_dirty && L::can_alloc::<K, V>(hdr) {

Replacement in sanakirja-core/src/btree/page/put.rs at line 46 [14.5929]
B:BD[14.7103] → [2.39971:40015]
```
    } else if L::can_compact::<K, V>(hdr) {
```
[14.7103]
[2.40015]
```
    } else if replace || L::can_compact::<K, V>(hdr) {
```

Insertion in sanakirja-core/src/btree/del.rs at line 473 [11.52511]

[16.5671]

                if !mod_is_left {
                    let curs = cursor.current_mut();
                    P::move_prev(&mut curs.cursor);
                }

Replacement in sanakirja-core/src/btree/del.rs at line 717 [11.52511]

B:BD[7.13152] → [9.13383:13649]

            // If there's no insertion, and `m.l == 0`, we are
            // actually deleting an entry of the root, and so we need
            // to update the right child of the current entry. The
            // following moves one step to the right and updates:

[7.13152]

            // If there's no insertion, and `m.l == 0`, we need to
            // update the right child of the current entry. The
            // following moves one step to the right and updates the
            // left child:

Replacement in sanakirja-core/src/btree/cursor.rs at line 36 [11.63682]

B:BD[11.65195] → [13.38910:38975]

impl<K: ?Sized, V: ?Sized, P: BTreePage<K, V>> Cursor<K, V, P> {

[11.65195]

[13.38975]

impl<K: ?Sized + core::fmt::Debug, V: ?Sized, P: BTreePage<K, V>> Cursor<K, V, P> {

Insertion in sanakirja/src/environment/muttxn.rs at line 355 [11.80166]
[15.13077]
[11.86200]
```
        assert_ne!(offset, 0);
```
Insertion in sanakirja/src/environment/muttxn.rs at line 364 [11.80166]
[15.13123]
[11.86294]
```
        assert_ne!(offset, 0);
```
Insertion in sanakirja/src/environment/muttxn.rs at line 441 [11.80166]
[12.37584]
[3.18520]
```
            assert_ne!(offset, 0);
```
Insertion in sanakirja/src/environment/muttxn.rs at line 451 [11.80166]
[12.37871]
[3.18574]
```
                assert_ne!(offset, 0);
```
Replacement in sanakirja/src/debug.rs at line 53 [17.11]
B:BD[17.1275] → [17.1275:1310]
```
             {}\";\ncolor=black;",
```
[17.1275]
[17.1310]
```
             {} {}\";\ncolor=black;",
```

Replacement in sanakirja/src/debug.rs at line 56 [17.11]

B:BD[17.1354] → [17.1354:1392]

            txn.rc(p.offset).unwrap()

[17.1354]

[17.1392]

            txn.rc(p.offset).unwrap(),
            unsafe { u64::from_le(*(p.data as *const u64).add(1)) & 0xfff }

Debugging

Dependencies

In channels

Change contents

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 544 [4.2014]

Insertion in sanakirja-core/src/btree/page_unsized.rs at line 554 [4.2014]

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 31 [4.22926]

Insertion in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 50 [4.22926]

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 63 [4.22926]

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 76 [4.22926]

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 90 [4.22926]

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 159 [4.22926]

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 171 [4.22926]

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 199 [4.22926]

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 211 [4.22926]

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 233 [4.22926]

Deletion in sanakirja-core/src/btree/page.rs at line 530 [11.8623]

Replacement in sanakirja-core/src/btree/page.rs at line 555 [11.8623]

Insertion in sanakirja-core/src/btree/page.rs at line 569 [11.8623]

Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 29 [14.387]

Insertion in sanakirja-core/src/btree/page/rebalance.rs at line 49 [14.387]

Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 62 [14.387]

Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 76 [14.387]

Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 89 [14.387]

Replacement in sanakirja-core/src/btree/page/put.rs at line 22 [14.5929]

Replacement in sanakirja-core/src/btree/page/put.rs at line 46 [14.5929]

Insertion in sanakirja-core/src/btree/del.rs at line 473 [11.52511]

Replacement in sanakirja-core/src/btree/del.rs at line 717 [11.52511]

Replacement in sanakirja-core/src/btree/cursor.rs at line 36 [11.63682]

Insertion in sanakirja/src/environment/muttxn.rs at line 355 [11.80166]

Insertion in sanakirja/src/environment/muttxn.rs at line 364 [11.80166]

Insertion in sanakirja/src/environment/muttxn.rs at line 441 [11.80166]

Insertion in sanakirja/src/environment/muttxn.rs at line 451 [11.80166]

Replacement in sanakirja/src/debug.rs at line 53 [17.11]

Replacement in sanakirja/src/debug.rs at line 56 [17.11]