pijul/sanakirja - Change Q7DRIBBRE4MNG4NP3PVIXAJF5PQYLFWYIVK2O4VVLEO6XY3BOSFQC

Debugging replace (which cannot be del+put)

Created by pmeunier on February 11, 2021

Q7DRIBBRE4MNG4NP3PVIXAJF5PQYLFWYIVK2O4VVLEO6XY3BOSFQC

Dependencies

In channels

main

Change contents

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

B:BD[5.3929] → [6.411:505]

            put::put::<_, _, _, Leaf>(txn, page, mutable, c.cur as usize, k0, v0, k1v1, 0, 0)

[5.3929]

[5.4014]

            put::put::<_, _, _, Leaf>(
                txn,
                page,
                mutable,
                false,
                c.cur as usize,
                k0,
                v0,
                k1v1,
                0,
                0,
            )

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 89 [5.2014]

B:BD[5.4031] → [6.506:604]

            put::put::<_, _, _, Internal>(txn, page, mutable, c.cur as usize, k0, v0, k1v1, l, r)

[5.4031]

[5.4120]

            put::put::<_, _, _, Internal>(
                txn,
                page,
                mutable,
                false,
                c.cur as usize,
                k0,
                v0,
                k1v1,
                l,
                r,
            )

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 115 [5.2014]

B:BD[5.4415] → [5.4415:4469]

B:BD[5.4469] → [7.454:569]

        // We're never in a leaf if we're doing this.
        let new = Self::del(txn, page, mutable, c, l)?;
        Self::put(txn, new.0, true, c, k0, v0, k1v1, l, r)

[5.4415]

[5.4578]

        assert!(c.cur >= 0);
        assert!(!c.is_leaf);
        put::put::<_, _, _, Internal>(txn, page, mutable, true, c.cur as usize, k0, v0, k1v1, l, r)

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 159 [5.2014]
B:BD[8.1303] → [8.1303:1340]
```
    ) -> Result<MutPage, T::Error> {
```
[8.1303]
[6.653]
```
    ) -> Result<(MutPage, u64), T::Error> {
```

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

B:BD[5.6630] → [6.787:864]

                    core::ptr::copy(ptr.offset(1), ptr, n - c.cur as usize);

[5.6630]

[5.6698]

                    core::ptr::copy(ptr.offset(1), ptr, n - c.cur as usize - 1);

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 178 [5.2014]

B:BD[5.6998] → [6.941:1033]

                    core::ptr::copy(ptr.offset(1), ptr, hdr.n() as usize - c.cur as usize);

[5.6998]

[5.7081]

                    core::ptr::copy(ptr.offset(1), ptr, hdr.n() as usize - c.cur as usize - 1);

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 191 [5.2014]
B:BD[5.7521] → [5.7521:7542]
```
            Ok(page)
```
[5.7521]
[5.7542]
```
            Ok((page, 0))
```

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 209 [5.2014]

B:BD[5.8320] → [5.8320:8398]

B:BD[5.8398] → [4.0:71]

                    let off = (page.data.add(HDR) as *mut u64).offset(n - 1);
                    *off = (l | (u64::from_le(*off) & 0xfff)).to_le();

[5.8320]

[5.8436]

                    if l > 0 {
                        let off = (new.0.data.add(HDR) as *mut u64).offset(n - 1);
                        *off = (l | (u64::from_le(*off) & 0xfff)).to_le();
                    } else {
                        let hdr = header(page.as_page());
                        let left = hdr.left_page() & !0xfff;
                        *(new.0.data.add(HDR) as *mut u64).offset(-1) = left.to_le();
                    }

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 219 [5.2014]
B:BD[5.8537] → [5.8537:8561]
```
                Ok(new)
```
[5.8537]
[5.8561]
```
                Ok((new, page.as_page().offset))
```

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 288 [5.2014]

B:BD[5.10928] → [5.10928:10975]

B:BD[5.10975] → [7.650:903]

∅:D[7.903] → [5.11065:11117]

B:BD[5.11065] → [5.11065:11117]

                return Ok(Op::Put(Put::Ok(Ok {
                    page: Self::del(
                        txn,
                        m.modified.page,
                        m.modified.mutable,
                        &m.modified.c1,
                        m.modified.l,
                    )?,
                    freed: 0,
                })));

[5.10928]

[5.11117]

                let (page, freed) = Self::del(
                    txn,
                    m.modified.page,
                    m.modified.mutable,
                    &m.modified.c1,
                    m.modified.l,
                )?;
                return Ok(Op::Put(Put::Ok(Ok { page, freed })));

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 374 [5.2014]

B:BD[5.13595] → [5.13595:13715]

B:BD[5.13715] → [6.2735:2815]

∅:D[6.2815] → [8.1888:1917]

B:BD[5.13792] → [8.1888:1917]

∅:D[8.1917] → [5.13883:13967]

B:BD[5.13883] → [5.13883:13967]

B:BD[5.13967] → [7.1213:1350]

∅:D[7.1350] → [5.14101:14134]

B:BD[5.14101] → [5.14101:14134]

        unsafe {
            if c.is_leaf {
                2 + entry_size::<K, V>(page.data.as_ptr().add(u16::from_le(
                    *(page.data.as_ptr().add(HDR) as *const u16).offset(c.cur),
                ) as usize))
            } else {
                8 + entry_size::<K, V>(page.data.as_ptr().add(
                    (u64::from_le(*(page.data.as_ptr().add(HDR) as *const u64).offset(c.cur))
                        & 0xfff) as usize,
                ))
            }

[5.13595]

[5.14134]

        if c.is_leaf {
            Leaf::current_size::<K, V>(page, c.cur)
        } else {
            Internal::current_size::<K, V>(page, c.cur)

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 24 [5.22926]
B:BD[5.23715] → [5.23715:23777]
```
    let mut new_left = if let Some((k, v)) = m.modified.ins {
```
[5.23715]
[9.129]
```
    let new_left = if let Some((k, v)) = m.modified.ins {
```
Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 49 [5.22926]
B:BD[5.24156] → [7.1837:1864]
```
        <Page<K, V>>::del(
```
[5.24156]
[7.1864]
```
        let (page, freed) = <Page<K, V>>::del(
```
Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 55 [5.22926]
B:BD[7.1996] → [7.1996:2007]
∅:D[7.2007] → [5.24235:24242]
B:BD[5.24235] → [5.24235:24242]
B:BD[5.24242] → [10.742:801]
∅:D[6.4608] → [9.656:789]
∅:D[10.801] → [9.656:789]
B:BD[9.656] → [9.656:789]
```
        )?
    };
    let lc = PageCursor::after(m.modified.page.as_page());
    if let Put::Ok(Ok { page, freed }) =
        <Page<K, V>>::put(txn, new_left.0, true, &lc, m.mid.0, m.mid.1, None, 0, rl)?
    {
```
[7.1996]
[9.789]
```
        )?;
```

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

B:BD[9.812] → [9.812:877]

            let b = if header(new_left.0.as_page()).is_dirty() {

[9.812]

[9.877]

            let b = if header(m.modified.page.as_page()).is_dirty() {

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

B:BD[9.994] → [9.994:1018]

        new_left = page

[9.994]

[9.1018]

        page
    };
    let lc = PageCursor::after(m.modified.page.as_page());
    if let Put::Ok(Ok { page, freed }) =
        <Page<K, V>>::put(txn, new_left.0, true, &lc, m.mid.0, m.mid.1, None, 0, rl)?
    {
        assert_eq!(page.0.offset, new_left.0.offset);
        assert_eq!(freed, 0);

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

B:BD[5.24372] → [5.24372:24432]

B:BD[5.24432] → [7.2008:2082]

∅:D[7.2082] → [5.24486:24623]

B:BD[5.24486] → [5.24486:24623]

    let (new_right, k, v): (_, &K, &V) = unsafe {
        (
            <Page<K, V>>::del(txn, m.other, m.other_is_mutable, &rc, r)?,
            core::mem::transmute(k),
            core::mem::transmute(v),
        )
    };
    if new_right.0.offset != m.other.offset {

[5.24372]

[5.24623]

    let (new_right, freed) = <Page<K, V>>::del(txn, m.other, m.other_is_mutable, &rc, r)?;
    let (k, v): (&K, &V) = unsafe { (core::mem::transmute(k), core::mem::transmute(v)) };
    if freed > 0 {

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 81 [5.22926]
B:BD[5.24722] → [9.1062:1101]
```
        freed_[1] = m.other.offset | b
```
[5.24722]
[5.24760]
```
        freed_[1] = freed | b
```
Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 114 [5.22926]
B:BD[5.25830] → [5.25830:25893]
```
    let mut new_right = if let Some((k, v)) = m.modified.ins {
```
[5.25830]
[9.1156]
```
    let new_right = if let Some((k, v)) = m.modified.ins {
```
Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 139 [5.22926]
B:BD[5.26272] → [7.2083:2110]
```
        <Page<K, V>>::del(
```
[5.26272]
[7.2110]
```
        let (page, freed) = <Page<K, V>>::del(
```
Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 145 [5.22926]
B:BD[7.2242] → [7.2242:2253]
∅:D[7.2253] → [5.26351:26358]
B:BD[5.26351] → [5.26351:26358]
B:BD[5.26358] → [9.1468:1509]
∅:D[9.1509] → [5.26396:26490]
B:BD[5.26396] → [5.26396:26490]
```
        )?
    };
    if let Put::Ok(Ok { page, freed }) =
        <Page<K, V>>::put(txn, new_right.0, true, &rc, m.mid.0, m.mid.1, None, r0, rl)?
    {
```
[7.2242]
[9.1510]
```
        )?;
```

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

B:BD[9.1533] → [9.1533:1599]

            let b = if header(new_right.0.as_page()).is_dirty() {

[9.1533]

[9.1599]

            let b = if header(m.modified.page.as_page()).is_dirty() {

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

∅:D[9.1716] → [5.26490:26515]

B:BD[5.26490] → [5.26490:26515]

        new_right = page

[9.1716]

[5.26515]

        page
    };
    if let Put::Ok(Ok { page, freed }) =
        <Page<K, V>>::put(txn, new_right.0, true, &rc, m.mid.0, m.mid.1, None, r0, rl)?
    {
        assert_eq!(new_right.0.offset, page.0.offset);
        assert_eq!(freed, 0);

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

B:BD[5.26559] → [7.2254:2335]

∅:D[7.2335] → [5.26620:26665]

B:BD[5.26620] → [5.26620:26665]

    let new_left = <Page<K, V>>::del(txn, m.other, m.other_is_mutable, &lc, 0)?;
    if new_left.0.offset != m.other.offset {

[5.26559]

[5.26665]

    let (new_left, freed) = <Page<K, V>>::del(txn, m.other, m.other_is_mutable, &lc, 0)?;
    if freed > 0 {

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 169 [5.22926]
B:BD[5.26764] → [9.1717:1756]
```
        freed_[1] = m.other.offset | b
```
[5.26764]
[5.26802]
```
        freed_[1] = freed | b
```
Insertion in sanakirja-core/src/btree/page_unsized/put.rs at line 14 [5.27023]
[5.27256]
[5.27256]
```
    replace: bool,
```

Insertion in sanakirja-core/src/btree/page_unsized/put.rs at line 28 [5.27023]

[5.27545]

    let size_replaced = if replace {
        // We're always in an internal node if we replace.
        let cur_size = Internal::current_size::<K, V>(page.as_page(), u as isize);
        size as isize - cur_size as isize
    } else {
        size as isize
    };

Replacement in sanakirja-core/src/btree/page_unsized/put.rs at line 40 [5.27023]
B:BD[5.27786] → [5.27786:27848]
```
        let mut page = unsafe { core::mem::transmute(page) };
```
[5.27786]
[5.27848]
```
        let mut page = MutPage(page);
```

Insertion in sanakirja-core/src/btree/page_unsized/put.rs at line 42 [5.27023]

[5.27880]

        if replace {
            assert!(!hdr.is_leaf());
            unsafe {
                let p = page.0.data;
                let ptr = p.add(HDR + n as usize * 8) as *mut u64;
                let off = (u64::from_le(*ptr) & 0xfff) as usize;
                let kv_ptr = p.add(off);
                let size = entry_size::<K, V>(kv_ptr);
                core::ptr::copy(ptr.offset(1), ptr, hdr.n() as usize - n as usize - 1);
                header_mut(&mut page).decr(size)
            }
        }

Replacement in sanakirja-core/src/btree/page_unsized/put.rs at line 61 [5.27023]
B:BD[5.28178] → [8.2478:2520]
```
    } else if L::can_compact(hdr, size) {
```
[5.28178]
[5.28228]
```
    } else if L::can_compact(hdr, size_replaced) {
```
Insertion in sanakirja-core/src/btree/page_unsized/put.rs at line 68 [5.27023]
[5.28543]
[5.28543]
```
        let s1 = if replace { s1.split_at(1).1 } else { s1 };
```

Replacement in sanakirja-core/src/btree/page_unsized/put.rs at line 86 [5.27023]

B:BD[5.29136] → [5.29136:29224]

        return split_unsized::<_, _, _, L>(txn, page.as_page(), u, k0, v0, k1v1, l, r);

[5.29136]

[5.29224]

        return split_unsized::<_, _, _, L>(txn, page.as_page(), replace, u, k0, v0, k1v1, l, r);

Insertion in sanakirja-core/src/btree/page_unsized/put.rs at line 99 [5.27023]
[5.29434]
[5.29434]
```
    replace: bool,
```
Replacement in sanakirja-core/src/btree/page_unsized/put.rs at line 140 [5.27023]
B:BD[11.767] → [11.767:768]
[11.767]
[5.30307]
```
        if replace {
            continue;
        }
```

Insertion in sanakirja-core/src/btree/page_unsized/alloc.rs at line 6 [5.33822]

[8.2975]

    fn current_size<K: Representable + ?Sized, V: Representable + ?Sized>(
        page: crate::Page,
        cur: isize,
    ) -> usize;

Replacement in sanakirja-core/src/btree/page_unsized/alloc.rs at line 11 [5.33822]
B:BD[8.3028] → [8.3028:3083]
```
    fn can_compact(hdr: &Header, size: usize) -> bool;
```
[8.3028]
[8.3083]
```
    fn can_compact(hdr: &Header, size: isize) -> bool;
```

Insertion in sanakirja-core/src/btree/page_unsized/alloc.rs at line 68 [5.33822]

[5.35961]

[8.3182]

    fn current_size<K: Representable + ?Sized, V: Representable + ?Sized>(
        page: crate::Page,
        cur: isize,
    ) -> usize {
        unsafe {
            2 + entry_size::<K, V>(page.data.as_ptr().add(u16::from_le(
                *(page.data.as_ptr().add(HDR) as *const u16).offset(cur),
            ) as usize))
        }
    }

Replacement in sanakirja-core/src/btree/page_unsized/alloc.rs at line 89 [5.33822]
B:BD[5.36218] → [8.3318:3374]
```
    fn can_compact(hdr: &Header, size: usize) -> bool {
```
[5.36218]
[8.3374]
```
    fn can_compact(hdr: &Header, size: isize) -> bool {
```

Replacement in sanakirja-core/src/btree/page_unsized/alloc.rs at line 96 [5.33822]

∅:D[11.1795] → [8.3525:3623]

B:BD[8.3525] → [8.3525:3623]

B:BD[8.3623] → [7.3016:3041]

        (HDR as usize) + (hdr.n() as usize) * 2 + ((hdr.left_page() & 0xfff) as usize) + 2 + size
            <= PAGE_SIZE

[8.3525]

[5.36463]

        (HDR as isize) + (hdr.n() as isize) * 2 + ((hdr.left_page() & 0xfff) as isize) + 2 + size
            <= PAGE_SIZE as isize

Insertion in sanakirja-core/src/btree/page_unsized/alloc.rs at line 192 [5.33822]

[5.39747]

    }
    fn current_size<K: Representable + ?Sized, V: Representable + ?Sized>(
        page: crate::Page,
        cur: isize,
    ) -> usize {
        unsafe {
            8 + entry_size::<K, V>(page.data.as_ptr().add(
                (u64::from_le(*(page.data.as_ptr().add(HDR) as *const u64).offset(cur)) & 0xfff)
                    as usize,
            ))
        }

Insertion in sanakirja-core/src/btree/page_unsized/alloc.rs at line 204 [5.33822]
[5.39753]
[8.4206]
Replacement in sanakirja-core/src/btree/page_unsized/alloc.rs at line 215 [5.33822]
B:BD[5.39948] → [8.4261:4317]
```
    fn can_compact(hdr: &Header, size: usize) -> bool {
```
[5.39948]
[8.4317]
```
    fn can_compact(hdr: &Header, size: isize) -> bool {
```

Replacement in sanakirja-core/src/btree/page_unsized/alloc.rs at line 222 [5.33822]

B:BD[8.4468] → [8.4468:4566]

B:BD[8.4566] → [7.3125:3150]

        (HDR as usize) + (hdr.n() as usize) * 8 + ((hdr.left_page() & 0xfff) as usize) + 8 + size
            <= PAGE_SIZE

[8.4468]

[5.40203]

        (HDR as isize) + (hdr.n() as isize) * 8 + ((hdr.left_page() & 0xfff) as isize) + 8 + size
            <= PAGE_SIZE as isize

Replacement in sanakirja-core/src/btree/page.rs at line 93 [13.8623]

B:BD[12.1844] → [6.4879:4973]

            put::put::<_, _, _, Leaf>(txn, page, mutable, c.cur as usize, k0, v0, k1v1, 0, 0)

[12.1844]

[12.1918]

            put::put::<_, _, _, Leaf>(
                txn,
                page,
                mutable,
                false,
                c.cur as usize,
                k0,
                v0,
                k1v1,
                0,
                0,
            )

Replacement in sanakirja-core/src/btree/page.rs at line 106 [13.8623]

B:BD[12.1935] → [6.4974:5072]

            put::put::<_, _, _, Internal>(txn, page, mutable, c.cur as usize, k0, v0, k1v1, l, r)

[12.1935]

[13.11455]

            put::put::<_, _, _, Internal>(
                txn,
                page,
                mutable,
                false,
                c.cur as usize,
                k0,
                v0,
                k1v1,
                l,
                r,
            )

Replacement in sanakirja-core/src/btree/page.rs at line 132 [13.8623]

B:BD[14.1326] → [14.1326:1380]

B:BD[14.1380] → [7.3287:3402]

        // We're never in a leaf if we're doing this.
        let new = Self::del(txn, page, mutable, c, l)?;
        Self::put(txn, new.0, true, c, k0, v0, k1v1, l, r)

[14.1326]

[14.1513]

        if r == 0 {
            put::put::<_, _, _, Leaf>(txn, page, mutable, true, c.cur as usize, k0, v0, k1v1, 0, 0)
        } else {
            put::put::<_, _, _, Internal>(
                txn,
                page,
                mutable,
                true,
                c.cur as usize,
                k0,
                v0,
                k1v1,
                l,
                r,
            )
        }

Replacement in sanakirja-core/src/btree/page.rs at line 188 [13.8623]
B:BD[8.5274] → [8.5274:5311]
```
    ) -> Result<MutPage, T::Error> {
```
[8.5274]
[6.5137]
```
    ) -> Result<(MutPage, u64), T::Error> {
```

Replacement in sanakirja-core/src/btree/page.rs at line 206 [13.8623]

B:BD[6.5414] → [6.5414:5506]

                    core::ptr::copy(ptr.offset(1), ptr, hdr.n() as usize - c.cur as usize);

[6.5414]

[8.5374]

                    core::ptr::copy(ptr.offset(1), ptr, hdr.n() as usize - c.cur as usize - 1);

Replacement in sanakirja-core/src/btree/page.rs at line 219 [13.8623]
∅:D[15.312] → [12.4428:4449]
B:BD[12.4428] → [12.4428:4449]
```
            Ok(page)
```
[15.312]
[13.14580]
```
            Ok((page, 0))
```
Insertion in sanakirja-core/src/btree/page.rs at line 226 [13.8623]
[12.4646]
[6.5507]
```
                    debug!("s = {:?}", s);
```
Insertion in sanakirja-core/src/btree/page.rs at line 229 [13.8623]
[3.152]
[13.14932]
```
                    debug!("leaf s0 {:?} s1 {:?}", s0, s1);
```
Insertion in sanakirja-core/src/btree/page.rs at line 235 [13.8623]
[12.4891]
[6.5571]
```
                    debug!("s = {:?}", s);
```

Insertion in sanakirja-core/src/btree/page.rs at line 238 [13.8623]

[3.203]

[13.15312]

                    debug!("internal s0 {:?} s1 {:?}", s0, s1);

Replacement in sanakirja-core/src/btree/page.rs at line 241 [13.8623]

∅:D[12.4978] → [13.15423:15501]

∅:D[16.2460] → [13.15423:15501]

B:BD[13.15423] → [13.15423:15501]

B:BD[13.15501] → [4.72:143]

                    let off = (page.data.add(HDR) as *mut u64).offset(n - 1);
                    *off = (l | (u64::from_le(*off) & 0xfff)).to_le();

[16.2460]

[16.2461]

                    debug!("offset {:?}", n);
                    if l > 0 {
                        let off = (new.0.data.add(HDR) as *mut u64).offset(n - 1);
                        *off = (l | (u64::from_le(*off) & 0xfff)).to_le();
                        debug!("set offset {:?} {:?}", *off, l);
                    } else {
                        let hdr = header(page.as_page());
                        let left = hdr.left_page() & !0xfff;
                        *(new.0.data.add(HDR) as *mut u64).offset(-1) = left.to_le();
                    }

Replacement in sanakirja-core/src/btree/page.rs at line 253 [13.8623]
B:BD[13.15633] → [13.15633:15657]
```
                Ok(new)
```
[13.15633]
[13.15657]
```
                Ok((new, page.offset))
```

Replacement in sanakirja-core/src/btree/page.rs at line 321 [13.8623]

B:BD[12.6309] → [14.3693:3740]

B:BD[14.3740] → [7.3483:3736]

∅:D[7.3736] → [12.6428:6458]

B:BD[12.6428] → [12.6428:6458]

B:BD[12.6458] → [14.3741:3763]

                return Ok(Op::Put(Put::Ok(Ok {
                    page: Self::del(
                        txn,
                        m.modified.page,
                        m.modified.mutable,
                        &m.modified.c1,
                        m.modified.l,
                    )?,
                    freed: 0,
                })));

[12.6309]

[14.3763]

                let (page, freed) = Self::del(
                    txn,
                    m.modified.page,
                    m.modified.mutable,
                    &m.modified.c1,
                    m.modified.l,
                )?;
                return Ok(Op::Put(Put::Ok(Ok { page, freed })));

Deletion in sanakirja-core/src/btree/page.rs at line 380 [13.8623]
B:BD[13.19851] → [6.6185:6226]
```
            debug!("current {:?}", off);
```
Deletion in sanakirja-core/src/btree/page.rs at line 382 [13.8623]
B:BD[6.6336] → [6.6336:6408]
```
                debug!("k {:?}", K::from_raw_ptr(txn, k as *const u8));
```
Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 48 [17.387]
B:BD[17.1650] → [7.4520:4547]
```
        <Page<K, V>>::del(
```
[17.1650]
[7.4547]
```
        let (page, freed) = <Page<K, V>>::del(
```

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

B:BD[7.4679] → [7.4679:4690]

)?

[7.4679]

[17.1729]

        )?;
        if freed > 0 {
            let b = if header(m.modified.page.as_page()).is_dirty() {
                1
            } else {
                0
            };
            freed_[0] = freed | b
        }
        page

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

B:BD[5.47398] → [5.47398:47415]

∅:D[5.47415] → [17.3292:3306]

B:BD[17.3292] → [17.3292:3306]

B:BD[17.3306] → [7.4691:4769]

∅:D[7.4769] → [17.3364:3460]

B:BD[17.3364] → [17.3364:3460]

        unsafe {
            (
                <Page<K, V>>::del(txn, m.other, m.other_is_mutable, &rc, r)?,
                core::mem::transmute(k),
                core::mem::transmute(v),
            )

[5.47398]

[5.47416]

        let (page, freed) = <Page<K, V>>::del(txn, m.other, m.other_is_mutable, &rc, r)?;
        if freed > 0 {
            let hdr = &*header(m.other.as_page());
            let b = if hdr.is_dirty() { 1 } else { 0 };
            freed_[1] = freed | b;

Insertion in sanakirja-core/src/btree/page/rebalance.rs at line 118 [17.387]
[5.47426]
[17.3471]
```
        unsafe { (page, core::mem::transmute(k), core::mem::transmute(v)) }
```

Deletion in sanakirja-core/src/btree/page/rebalance.rs at line 120 [17.387]

B:BD[17.3478] → [17.3478:3623]

B:BD[17.3623] → [9.2799:2838]

∅:D[9.2838] → [17.3661:3667]

B:BD[17.3661] → [17.3661:3667]

    if new_right.0.offset != m.other.offset {
        let hdr = &*header(m.other.as_page());
        let b = if hdr.is_dirty() { 1 } else { 0 };
        freed_[1] = m.other.offset | b
    }

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

B:BD[17.4736] → [17.4736:4799]

    let mut new_right = if let Some((k, v)) = m.modified.ins {

[17.4736]

[9.2893]

    let new_right = if let Some((k, v)) = m.modified.ins {

Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 174 [17.387]
B:BD[17.5178] → [7.4770:4797]
```
        <Page<K, V>>::del(
```
[17.5178]
[7.4797]
```
        let (page, freed) = <Page<K, V>>::del(
```
Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 180 [17.387]
B:BD[7.4929] → [7.4929:4940]
∅:D[7.4940] → [17.5257:5264]
B:BD[17.5257] → [17.5257:5264]
B:BD[17.5264] → [9.3140:3181]
∅:D[9.3181] → [17.5302:5396]
B:BD[17.5302] → [17.5302:5396]
```
        )?
    };
    if let Put::Ok(Ok { page, freed }) =
        <Page<K, V>>::put(txn, new_right.0, true, &rc, m.mid.0, m.mid.1, None, r0, rl)?
    {
```
[7.4929]
[9.3182]
```
        )?;
```

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

B:BD[9.3205] → [9.3205:3271]

            let b = if header(new_right.0.as_page()).is_dirty() {

[9.3205]

[9.3271]

            let b = if header(m.modified.page.as_page()).is_dirty() {

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

∅:D[9.3388] → [17.5396:5421]

B:BD[17.5396] → [17.5396:5421]

        new_right = page

[9.3388]

[17.5421]

        page
    };
    if let Put::Ok(Ok { page, freed }) =
        <Page<K, V>>::put(txn, new_right.0, true, &rc, m.mid.0, m.mid.1, None, r0, rl)?
    {
        assert_eq!(freed, 0);
        assert_eq!(new_right.0.offset, page.0.offset);

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

B:BD[17.5465] → [7.4941:5022]

∅:D[7.5022] → [17.5526:5571]

B:BD[17.5526] → [17.5526:5571]

    let new_left = <Page<K, V>>::del(txn, m.other, m.other_is_mutable, &lc, 0)?;
    if new_left.0.offset != m.other.offset {

[17.5465]

[17.5571]

    let (new_left, freed) = <Page<K, V>>::del(txn, m.other, m.other_is_mutable, &lc, 0)?;
    if freed > 0 {

Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 204 [17.387]
B:BD[17.5670] → [9.3389:3428]
```
        freed_[1] = m.other.offset | b
```
[17.5670]
[17.5708]
```
        freed_[1] = freed | b
```
Insertion in sanakirja-core/src/btree/page/put.rs at line 13 [17.5929]
[17.6169]
[17.6169]
```
    replace: bool,
```
Replacement in sanakirja-core/src/btree/page/put.rs at line 30 [17.5929]
B:BD[17.6702] → [17.6702:6764]
```
        let mut page = unsafe { core::mem::transmute(page) };
```
[8.6224]
[17.6764]
```
        let mut page = MutPage(page);
```

Insertion in sanakirja-core/src/btree/page/put.rs at line 32 [17.5929]

[17.6796]

        if replace {
            assert!(!hdr.is_leaf());
            unsafe {
                let p = page.0.data;
                let ptr = p.add(HDR + n as usize * 8) as *mut u64;
                let off = (u64::from_le(*ptr) & 0xfff) as usize;
                let kv_ptr = p.add(off);
                let size = entry_size::<K, V>(kv_ptr);
                core::ptr::copy(ptr.offset(1), ptr, hdr.n() as usize - n as usize - 1);
                let hdr = header_mut(&mut page);
                hdr.decr(size);
                hdr.set_n(hdr.n() - 1);
            }
        }

Insertion in sanakirja-core/src/btree/page/put.rs at line 60 [17.5929]
[17.7477]
[17.7477]
```
        let s1 = if replace { s1.split_at(1).1 } else { s1 };
```
Insertion in sanakirja-core/src/btree/page/put.rs at line 63 [17.5929]
[16.8004]
[17.7567]
```
        debug!("alloc: {:?} {:?} {:?}", l, r, n);
```

Insertion in sanakirja-core/src/btree/page/put.rs at line 70 [17.5929]

[17.7828]

[16.8193]

        debug!("alloc: {:?}", new);
        debug!("alloc: {:?}", header(new.0.as_page()).left_page());

Replacement in sanakirja-core/src/btree/page/put.rs at line 73 [17.5929]
∅:D[16.8257] → [17.7895:7974]
B:BD[17.7895] → [17.7895:7974]
```
        let b0 = if is_dirty { 1 } else { 0 };
        return Ok(Put::Ok(Ok {
```
[16.8257]
[17.7974]
```
        Ok(Put::Ok(Ok {
```

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

B:BD[17.7997] → [17.7997:8047]

            freed: page.offset | b0,
        }));

[17.7997]

[17.8047]

            freed: if is_dirty {
                page.offset | 1
            } else {
                page.offset
            },
        }))

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

B:BD[5.47513] → [5.47513:47589]

        return split::<_, _, _, L>(txn, page, mutable, s, u, k0, v0, l, r);

[5.47513]

[17.8372]

        split::<_, _, _, L>(txn, page, mutable, s, u, k0, v0, l, r)

Insertion in sanakirja-core/src/btree/page/alloc.rs at line 192 [17.17232]
[8.7404]
[17.26259]
```
        debug!("can_alloc {:?}", hdr.data());
```
Replacement in sanakirja-core/src/btree/mod.rs at line 125 [13.45735]
∅:D[8.8945] → [5.50475:50495]
B:BD[5.50475] → [5.50475:50495]
```
    BTreePage<K, V>
```
[8.8945]
[13.48223]
```
    BTreePage<K, V> + core::fmt::Debug
```
Replacement in sanakirja-core/src/btree/mod.rs at line 160 [13.45735]
B:BD[8.9058] → [8.9058:9094]
```
    ) -> Result<MutPage, T::Error>;
```
[8.9058]
[13.48757]
```
    ) -> Result<(MutPage, u64), T::Error>;
```
Insertion in sanakirja-core/src/btree/mod.rs at line 183 [13.45735]
[13.49472]
[18.5469]
```
        debug!("modify: {:?}", m);
```

Replacement in sanakirja-core/src/btree/mod.rs at line 192 [13.45735]

B:BD[15.3421] → [7.5620:5695]

∅:D[7.5695] → [15.3485:3742]

B:BD[15.3485] → [15.3485:3742]

                let page = Self::del(txn, m.page, m.mutable, &m.c1, m.l)?;
                Ok(Put::Ok(Ok {
                    freed: if page.0.offset != m.page.offset {
                        m.page.offset
                    } else {
                        0
                    },
                    page,
                }))

[15.3421]

[18.5668]

                let (page, freed) = Self::del(txn, m.page, m.mutable, &m.c1, m.l)?;
                Ok(Put::Ok(Ok { freed, page }))

Replacement in sanakirja-core/src/btree/del.rs at line 122 [13.52511]

B:BD[2.1425] → [2.1425:1478]

        debug!("freeing at level {:?}: {:?}", n, p);

[2.1425]

[13.60797]

        if p[0] > 0 || p[1] > 0 {
            debug!("freeing at level {:?}: {:?}", n, p);
        }

Insertion in sanakirja-core/src/btree/del.rs at line 136 [13.52511]
[13.61091]
[13.61091]
```
    debug!("/del");
```

Replacement in sanakirja-core/src/btree/del.rs at line 539 [13.52511]

B:BD[7.6825] → [7.6825:6973]

            let page = P::del(txn, last_op.page, last_op.mutable, &last_op.c1, d)?;
            if page.0.offset != last_op.page.offset && !is_rc {

[7.6825]

[7.6973]

            let (page, freed) = P::del(txn, last_op.page, last_op.mutable, &last_op.c1, d)?;
            if freed > 0 {

Replacement in sanakirja-core/src/btree/del.rs at line 542 [13.52511]

B:BD[7.7030] → [7.7030:7091]

                    txn.decr_rc_owned(last_op.page.offset)?;

[7.7030]

[7.7091]

                    txn.decr_rc_owned(freed)?;

Replacement in sanakirja-core/src/btree/del.rs at line 544 [13.52511]

B:BD[7.7116] → [7.7116:7171]

                    txn.decr_rc(last_op.page.offset)?;

[7.7116]

[7.7171]

                    txn.decr_rc(freed)?;

Insertion in sanakirja/src/tests.rs at line 165 [19.11]

[3.490]

    let mut values = Vec::with_capacity(n as usize);
    for i in 0..n {
        put(&mut txn, &mut db, &i, &i).unwrap();
        if i != i0 {
            values.push(i);
        }
    }
    let db2 = fork_db(&mut txn, &db).unwrap();
    del(&mut txn, &mut db, &i0, None).unwrap();
    assert_eq!(
        btree::iter(&txn, &db, None)
            .unwrap()
            .map(|kv| *kv.unwrap().0)
            .collect::<Vec<_>>(),
        values
    );
}
#[test]
pub fn del_internal() {
    env_logger::try_init().unwrap_or(());
    let env = Env::new_anon(409600000, 1).unwrap();
    let mut txn = Env::mut_txn_begin(&env).unwrap();
    let mut db: Db<u64, u64> = create_db(&mut txn).unwrap();
    let n = 300 as u64;
    let i0 = 127 as u64;

Insertion in sanakirja/src/tests.rs at line 199 [19.11]

[3.724]

    crate::debug::debug(&txn, &[&db], "debug", true);
    debug!("===============");

Insertion in sanakirja/src/tests.rs at line 202 [19.11]

[3.772]

    let db3: Db<u64, u64> = Db {
        db: 20480,
        k: std::marker::PhantomData,
        v: std::marker::PhantomData,
        p: std::marker::PhantomData,
    };
    crate::debug::debug(&txn, &[&db, &db2, &db3], "debug2", true);

Replacement in sanakirja/src/tests.rs at line 221 [19.11]
∅:D[18.9952] → [19.5685:5701]
B:BD[19.5685] → [19.5685:5701]
```
pub fn fork() {
```
[18.9952]
[19.5742]
```
pub fn fork_test() {
```

Insertion in sanakirja/src/tests.rs at line 275 [19.11]

[7.9628]

[18.10238]

        crate::debug::debug(&txn, &[&db, &db2], &format!("debug-{}", i), true);
        debug!("deleting {:?}", i);

Deletion in sanakirja/src/tests.rs at line 279 [19.11]
B:BD[18.10295] → [7.9629:9690]
```
    crate::debug::debug(&txn, &[&db, &db2], "debug2", true);
```

Debugging replace (which cannot be del+put)

Dependencies

In channels

Change contents

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

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 89 [5.2014]

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 115 [5.2014]

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

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

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 178 [5.2014]

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 191 [5.2014]

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 209 [5.2014]

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 219 [5.2014]

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 288 [5.2014]

Replacement in sanakirja-core/src/btree/page_unsized.rs at line 374 [5.2014]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Insertion in sanakirja-core/src/btree/page_unsized/put.rs at line 14 [5.27023]

Insertion in sanakirja-core/src/btree/page_unsized/put.rs at line 28 [5.27023]

Replacement in sanakirja-core/src/btree/page_unsized/put.rs at line 40 [5.27023]

Insertion in sanakirja-core/src/btree/page_unsized/put.rs at line 42 [5.27023]

Replacement in sanakirja-core/src/btree/page_unsized/put.rs at line 61 [5.27023]

Insertion in sanakirja-core/src/btree/page_unsized/put.rs at line 68 [5.27023]

Replacement in sanakirja-core/src/btree/page_unsized/put.rs at line 86 [5.27023]

Insertion in sanakirja-core/src/btree/page_unsized/put.rs at line 99 [5.27023]

Replacement in sanakirja-core/src/btree/page_unsized/put.rs at line 140 [5.27023]

Insertion in sanakirja-core/src/btree/page_unsized/alloc.rs at line 6 [5.33822]

Replacement in sanakirja-core/src/btree/page_unsized/alloc.rs at line 11 [5.33822]

Insertion in sanakirja-core/src/btree/page_unsized/alloc.rs at line 68 [5.33822]

Replacement in sanakirja-core/src/btree/page_unsized/alloc.rs at line 89 [5.33822]

Replacement in sanakirja-core/src/btree/page_unsized/alloc.rs at line 96 [5.33822]

Insertion in sanakirja-core/src/btree/page_unsized/alloc.rs at line 192 [5.33822]

Insertion in sanakirja-core/src/btree/page_unsized/alloc.rs at line 204 [5.33822]

Replacement in sanakirja-core/src/btree/page_unsized/alloc.rs at line 215 [5.33822]

Replacement in sanakirja-core/src/btree/page_unsized/alloc.rs at line 222 [5.33822]

Replacement in sanakirja-core/src/btree/page.rs at line 93 [13.8623]

Replacement in sanakirja-core/src/btree/page.rs at line 106 [13.8623]

Replacement in sanakirja-core/src/btree/page.rs at line 132 [13.8623]

Replacement in sanakirja-core/src/btree/page.rs at line 188 [13.8623]

Replacement in sanakirja-core/src/btree/page.rs at line 206 [13.8623]

Replacement in sanakirja-core/src/btree/page.rs at line 219 [13.8623]

Insertion in sanakirja-core/src/btree/page.rs at line 226 [13.8623]

Insertion in sanakirja-core/src/btree/page.rs at line 229 [13.8623]

Insertion in sanakirja-core/src/btree/page.rs at line 235 [13.8623]

Insertion in sanakirja-core/src/btree/page.rs at line 238 [13.8623]

Replacement in sanakirja-core/src/btree/page.rs at line 241 [13.8623]

Replacement in sanakirja-core/src/btree/page.rs at line 253 [13.8623]

Replacement in sanakirja-core/src/btree/page.rs at line 321 [13.8623]

Deletion in sanakirja-core/src/btree/page.rs at line 380 [13.8623]

Deletion in sanakirja-core/src/btree/page.rs at line 382 [13.8623]

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

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

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

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

Deletion in sanakirja-core/src/btree/page/rebalance.rs at line 120 [17.387]

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

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

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

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

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

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

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

Insertion in sanakirja-core/src/btree/page/put.rs at line 13 [17.5929]

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

Insertion in sanakirja-core/src/btree/page/put.rs at line 32 [17.5929]

Insertion in sanakirja-core/src/btree/page/put.rs at line 60 [17.5929]

Insertion in sanakirja-core/src/btree/page/put.rs at line 63 [17.5929]

Insertion in sanakirja-core/src/btree/page/put.rs at line 70 [17.5929]