pijul/sanakirja - Change KX3WVNZW5KHVEH6EOQTZ4RBEFFJ3SGF5I467X3JWZ74PURRK4HVAC

Testing/debugging "rebalance causes split of the root"

Created by pmeunier on February 5, 2021

KX3WVNZW5KHVEH6EOQTZ4RBEFFJ3SGF5I467X3JWZ74PURRK4HVAC

Dependencies

In channels

main

Change contents

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

B:BD[4.9135] → [4.9135:9197]

        let size = mod_size + mid_size + occupied - hdr_size;

[4.9135]

[4.9197]

        let size = hdr_size + mod_size + mid_size + occupied;

Insertion in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 14 [4.22926]
[4.23215]
[4.23215]
```
    debug!("rebalancing {:?}", m);
```

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

B:BD[4.23541] → [4.23541:23714]

    let mut freed = [0, 0];
    let b = if header(m.modified.page.as_page()).is_dirty() {
        1
    } else {
        0
    };
    freed[0] = m.modified.page.offset | b;

[4.23541]

[4.23714]

    let mut freed_ = [0, 0];

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

B:BD[4.23777] → [4.23777:23842]

        if let Put::Ok(Ok { page, .. }) = <Page<K, V>>::replace(

[4.23777]

[4.23842]

        if let Put::Ok(Ok { page, freed }) = <Page<K, V>>::replace(

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

[4.24072]

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

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

B:BD[4.24242] → [4.24242:24371]

    let mut n = header(new_left.0.as_page()).n() as isize;
    alloc::<K, V, L>(&mut new_left, m.mid.0, m.mid.1, 0, rl, &mut n);

[4.24242]

[4.24371]

    let hdrl = header(new_left.0.as_page());
    debug!("mid = {:?}", m.mid);
    let mut lc = <Page<K, V>>::last_cursor(m.modified.page.as_page());
    <Page<K, V>>::move_next(m.modified.page.as_page(), &mut lc);
    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)?
    {
        if freed > 0 {
            let b = if header(new_left.0.as_page()).is_dirty() {
                1
            } else {
                0
            };
            freed_[0] = freed | b;
        }
        new_left = page
    } else {
        unreachable!()
    };

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 82 [4.22926]
B:BD[4.24722] → [4.24722:24760]
```
        freed[1] = m.other.offset | b
```
[4.24722]
[4.24760]
```
        freed_[1] = m.other.offset | b
```
Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 89 [4.22926]
B:BD[4.24945] → [4.24945:24960]
```
        freed,
```
[4.24945]
[4.24960]
```
        freed: freed_,
```

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

B:BD[4.25656] → [4.25656:25829]

    let mut freed = [0, 0];
    let b = if header(m.modified.page.as_page()).is_dirty() {
        1
    } else {
        0
    };
    freed[0] = m.modified.page.offset | b;

[4.25656]

[4.25829]

    let mut freed_ = [0, 0];

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

B:BD[4.25893] → [4.25893:25958]

        if let Put::Ok(Ok { page, .. }) = <Page<K, V>>::replace(

[4.25893]

[4.25958]

        if let Put::Ok(Ok { page, freed }) = <Page<K, V>>::replace(

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

[4.26188]

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

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 141 [4.22926]
B:BD[4.26358] → [4.26358:26396]
```
    if let Put::Ok(Ok { page, .. }) =
```
[4.26358]
[4.26396]
```
    if let Put::Ok(Ok { page, freed }) =
```

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

[4.26490]

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

Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 161 [4.22926]
B:BD[4.26764] → [4.26764:26802]
```
        freed[1] = m.other.offset | b
```
[4.26764]
[4.26802]
```
        freed_[1] = m.other.offset | b
```
Replacement in sanakirja-core/src/btree/page_unsized/rebalance.rs at line 168 [4.22926]
B:BD[4.26989] → [4.26989:27004]
```
        freed,
```
[4.26989]
[4.27004]
```
        freed: freed_,
```

Deletion in sanakirja-core/src/btree/page_unsized/put.rs at line 58 [4.27023]

B:BD[5.54] → [5.54:191]

∅:D[5.191] → [4.28946:28947]

B:BD[4.28946] → [4.28946:28947]

        {
            let hdr = header(new.0.as_page());
            assert_eq!(hdr.n() as u64 * 16, hdr.left_page() & 0xfff);
        }

Deletion in sanakirja-core/src/btree/page_unsized/put.rs at line 125 [4.27023]
B:BD[2.48] → [2.48:93]
```
            total += size + L::extra_size();
```
Insertion in sanakirja-core/src/btree/page_unsized/put.rs at line 141 [4.27023]
[4.31198]
[4.31198]
```
            total += size + L::extra_size();
```

Replacement in sanakirja-core/src/btree/page.rs at line 234 [6.8623]

B:BD[6.16473] → [7.3025:3087]

        let size = mod_size + mid_size + occupied - hdr_size;

[6.16473]

[6.16536]

        let size = hdr_size + mod_size + mid_size + occupied;

Replacement in sanakirja-core/src/btree/page.rs at line 465 [6.8623]
B:BD[3.136] → [3.136:158]
```
    s: &[Tuple<K, V>]
```
[3.136]
[3.158]
```
    s: &[Tuple<K, V>],
```

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

B:BD[8.1035] → [8.1035:1208]

    let mut freed = [0, 0];
    let b = if header(m.modified.page.as_page()).is_dirty() {
        1
    } else {
        0
    };
    freed[0] = m.modified.page.offset | b;

[8.1035]

[8.1208]

    let mut freed_ = [0, 0];

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

B:BD[8.1271] → [8.1271:1336]

        if let Put::Ok(Ok { page, .. }) = <Page<K, V>>::replace(

[8.1271]

[8.1336]

        if let Put::Ok(Ok { page, freed }) = <Page<K, V>>::replace(

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

[8.1566]

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

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

B:BD[8.1795] → [9.7217:7287]

    alloc::<K, V, L>(&mut new_left, m.mid.0, m.mid.1, 0, rl, &mut n);

[8.1795]

[8.1868]

    let mut lc = <Page<K, V>>::last_cursor(m.modified.page.as_page());
    <Page<K, V>>::move_next(m.modified.page.as_page(), &mut lc);
    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)?
    {
        if freed > 0 {
            let b = if header(new_left.0.as_page()).is_dirty() {
                1
            } else {
                0
            };
            freed_[0] = freed | b;
        }
        new_left = page
    } else {
        unreachable!()
    };

Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 111 [8.387]
B:BD[8.3623] → [8.3623:3661]
```
        freed[1] = m.other.offset | b
```
[8.3623]
[8.3661]
```
        freed_[1] = m.other.offset | b
```
Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 118 [8.387]
B:BD[8.3846] → [8.3846:3861]
```
        freed,
```
[8.3846]
[8.3861]
```
        freed: freed_,
```

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

B:BD[8.4562] → [8.4562:4735]

    let mut freed = [0, 0];
    let b = if header(m.modified.page.as_page()).is_dirty() {
        1
    } else {
        0
    };
    freed[0] = m.modified.page.offset | b;

[8.4562]

[8.4735]

    let mut freed_ = [0, 0];

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

B:BD[8.4799] → [8.4799:4864]

        if let Put::Ok(Ok { page, .. }) = <Page<K, V>>::replace(

[8.4799]

[8.4864]

        if let Put::Ok(Ok { page, freed }) = <Page<K, V>>::replace(

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

[8.5094]

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

Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 168 [8.387]
B:BD[8.5264] → [8.5264:5302]
```
    if let Put::Ok(Ok { page, .. }) =
```
[8.5264]
[8.5302]
```
    if let Put::Ok(Ok { page, freed }) =
```

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

[8.5396]

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

Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 188 [8.387]
B:BD[8.5670] → [8.5670:5708]
```
        freed[1] = m.other.offset | b
```
[8.5670]
[8.5708]
```
        freed_[1] = m.other.offset | b
```
Replacement in sanakirja-core/src/btree/page/rebalance.rs at line 195 [8.387]
B:BD[8.5895] → [8.5895:5910]
```
        freed,
```
[8.5895]
[8.5910]
```
        freed: freed_,
```

Replacement in sanakirja-core/src/btree/cursor.rs at line 191 [6.63682]

B:BD[10.1020] → [10.1020:1155]

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

[10.1020]

[11.11341]

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

Replacement in sanakirja/src/tests.rs at line 437 [12.11]
B:BD[3.1148] → [3.1148:1169]
```
    for i in 1..12 {
```
[3.1148]
[3.1169]
```
    for i in 1..8 {
```
Replacement in sanakirja/src/tests.rs at line 549 [12.11]
B:BD[3.5485] → [3.5485:5486]
[3.5485]
[3.5486]
```
        /*
```
Replacement in sanakirja/src/tests.rs at line 569 [12.11]
B:BD[3.6394] → [3.6394:6395]
[3.6394]
[3.6395]
```
        */
```

Insertion in sanakirja/src/tests.rs at line 577 [12.11]

[11.12892]


#[test]
fn split_on_del() {
    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 = create_db_::<MutTxn<&Env, ()>, u64, [u8], UP<u64, [u8]>>(&mut txn).unwrap();
    for i in (0..157).step_by(10) {
        for i in i..i + 4 {
            let a = [b'a'; 500];
            put(&mut txn, &mut db, &i, &a[..]).unwrap();
        }
        put(&mut txn, &mut db, &(i + 9), &[b'b'; 254]).unwrap();
    }
    for i in (0..157).step_by(10) {
        for i in i + 4..i + 7 {
            let a = [b'a'; 500];
            put(&mut txn, &mut db, &i, &a[..]).unwrap();
        }
    }
    crate::debug::debug(&txn, &[&db], "debug0", true);
    for i in 0..4 {
        debug!("============ deleting {:?}", i);
        del(&mut txn, &mut db, &i, None).unwrap();
    }
    crate::debug::debug(&txn, &[&db], "debug1", true);
    del(&mut txn, &mut db, &4, None).unwrap();
    crate::debug::debug(&txn, &[&db], "debug2", true);
}
#[test]
fn split_on_del2() {
    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 = create_db_::<MutTxn<&Env, ()>, u64, [u8], UP<u64, [u8]>>(&mut txn).unwrap();
    for i in (0..157).step_by(10) {
        for i in i..i + 4 {
            let a = [b'a'; 500];
            put(&mut txn, &mut db, &i, &a[..]).unwrap();
        }
        put(&mut txn, &mut db, &(i + 9), &[b'b'; 255]).unwrap();
    }
    for i in (0..157).step_by(10) {
        for i in i + 4..i + 7 {
            let a = [b'a'; 500];
            put(&mut txn, &mut db, &i, &a[..]).unwrap();
        }
    }
    crate::debug::debug(&txn, &[&db], "debug0", true);
    del(&mut txn, &mut db, &0, None).unwrap();
    crate::debug::debug(&txn, &[&db], "debug1", true);
}

Replacement in sanakirja/Cargo.toml at line 27 [6.108411]

B:BD[3.6555] → [3.6555:6636]

old-sanakirja = { package = "sanakirja", version = "0.15", features = ["mmap"] }

[3.6555]

# old-sanakirja = { package = "sanakirja", version = "0.15", features = ["mmap"] }

Testing/debugging "rebalance causes split of the root"

Dependencies

In channels

Change contents

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Deletion in sanakirja-core/src/btree/page_unsized/put.rs at line 58 [4.27023]

Deletion in sanakirja-core/src/btree/page_unsized/put.rs at line 125 [4.27023]

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

Replacement in sanakirja-core/src/btree/page.rs at line 234 [6.8623]

Replacement in sanakirja-core/src/btree/page.rs at line 465 [6.8623]

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

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

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

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

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

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

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

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

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

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

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

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

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

Replacement in sanakirja-core/src/btree/cursor.rs at line 191 [6.63682]

Replacement in sanakirja/src/tests.rs at line 437 [12.11]

Replacement in sanakirja/src/tests.rs at line 549 [12.11]

Replacement in sanakirja/src/tests.rs at line 569 [12.11]

Insertion in sanakirja/src/tests.rs at line 577 [12.11]

Replacement in sanakirja/Cargo.toml at line 27 [6.108411]