pijul/sanakirja - Change 6DMPXOAT5GQ3BQQOMUZN2GMBQPRA4IB7CCPHTQTIFGO3KWWAKF3QC

More debugging

Created by pmeunier on February 2, 2021

6DMPXOAT5GQ3BQQOMUZN2GMBQPRA4IB7CCPHTQTIFGO3KWWAKF3QC

Dependencies

In channels

main

Change contents

Replacement in sanakirja-core/src/btree/put.rs at line 15 [4.3448]

B:BD[4.3976] → [4.3976:4119]

/// Insert a binding to a database, returning `false` if and only
/// if the exact same binding (key *and* value) was already in the database.

[4.3976]

[4.4119]

/// Insert an entry into a database, returning `false` if and only if
/// the exact same entry (key *and* value) was already in the
/// database.

Deletion in sanakirja-core/src/btree/put.rs at line 28 [4.3448]
B:BD[4.4449] → [5.0:69]
∅:D[5.69] → [6.673:674]
B:BD[6.673] → [6.673:674]
```
    debug!("put: {:?} {:?}", cursor.pointer, cursor.first_rc_level);
```
Insertion in sanakirja-core/src/btree/put.rs at line 58 [4.3448]
[4.5205]
[4.5205]
```
    let mut last_freed = 0;
```
Deletion in sanakirja-core/src/btree/put.rs at line 60 [4.3448]
B:BD[4.5216] → [6.675:724]
∅:D[6.724] → [7.0:29]
B:BD[4.5216] → [7.0:29]
```
        debug!("pointer: {:?}", cursor.pointer);
        cursor.pointer -= 1;
```

Replacement in sanakirja-core/src/btree/put.rs at line 68 [4.3448]

B:BD[4.5441] → [4.5441:5516]

                incr_descendants::<T, K, V, P>(txn, cursor, free, freed)?;

[4.5404]

[7.30]

                incr_descendants::<T, K, V, P>(txn, cursor, free, freed, last_freed)?;
                last_freed = freed & !1;
                cursor.pointer -= 1;

Deletion in sanakirja-core/src/btree/put.rs at line 73 [4.3448]
B:BD[7.118] → [6.725:781]
```
                    debug!("splitting {:?}", cur.page);
```
Deletion in sanakirja-core/src/btree/put.rs at line 86 [4.3448]
B:BD[4.5684] → [6.782:832]
```
                    debug!("splitting the root");
```

Replacement in sanakirja-core/src/btree/put.rs at line 103 [4.3448]

B:BD[4.7298] → [6.979:1009]

∅:D[6.1009] → [4.7298:7373]

B:BD[4.7298] → [4.7298:7373]

                debug!("ok");
                incr_descendants::<T, K, V, P>(txn, cursor, free, freed)?;

[4.7298]

[7.533]

                incr_descendants::<T, K, V, P>(txn, cursor, free, freed, last_freed)?;
                last_freed = freed & !1;
                cursor.pointer -= 1;

Insertion in sanakirja-core/src/btree/put.rs at line 133 [4.3448]
[4.7672]
[4.7672]
```
    last_freed: u64,
```

Replacement in sanakirja-core/src/btree/put.rs at line 135 [4.3448]

B:BD[4.7700] → [7.1009:1107]

    // debug!("cursor.pointer {:?}, first_rc_level {:?}", cursor.pointer, cursor.first_rc_level);

[4.7700]

    debug!("incr_descendants {:?} {:?} {:?} {:?}", cursor.current().page, freed, cursor.pointer, cursor.first_rc_level);

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

B:BD[4.7865] → [5.119:176]

        if cursor.pointer == cursor.first_rc_level + 1 {

[4.7865]

[4.7918]

        if cursor.pointer == cursor.first_rc_level {

Replacement in sanakirja-core/src/btree/put.rs at line 142 [4.3448]

B:BD[4.7958] → [4.7958:8058]

B:BD[4.8058] → [5.177:214]

∅:D[5.214] → [4.8099:8113]

B:BD[4.8099] → [4.8099:8113]

            if freed & 1 != 0 {
                txn.decr_rc_owned(freed ^ 1)?;
            } else {
                txn.decr_rc(freed)?;
            }

[4.7958]

[4.8113]

            free[cursor.pointer] = freed;

Insertion in sanakirja-core/src/btree/put.rs at line 144 [4.3448]
[4.8123]
[4.8123]
```
        debug!("free child: {:?}", last_freed);
```

Replacement in sanakirja-core/src/btree/put.rs at line 149 [4.3448]

∅:D[6.1125] → [4.8256:8290]

B:BD[4.8256] → [4.8256:8290]

        if left != (freed & !1) {

[6.1125]

[4.8290]

        if left != 0 && left != last_freed {
            debug!("incr {:?}", left);

Replacement in sanakirja-core/src/btree/put.rs at line 157 [4.3448]

B:BD[4.8508] → [4.8508:8536]

            if r != freed {

[4.8508]

[4.8536]

            if r != 0 && r != last_freed {
                debug!("incr {:?}", r);

Replacement in sanakirja-core/src/btree/page/put.rs at line 199 [3.5929]
B:BD[3.12878] → [3.12878:12914]
```
    T: AllocPage+ core::fmt::Debug,
```
[3.12878]
[3.12914]
```
    T: AllocPage + core::fmt::Debug,
```

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

B:BD[3.13657] → [3.13657:13793]

    let s = unsafe {core::slice::from_raw_parts(
        page.data.as_ptr().add(HDR) as *const LeafOffset,
        n0 as usize,
    )};

[3.13657]

[3.13793]

    let s = unsafe {
        core::slice::from_raw_parts(
            page.data.as_ptr().add(HDR) as *const LeafOffset,
            n0 as usize,
        )
    };

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

B:BD[3.14456] → [3.14456:14561]

                core::ptr::copy_nonoverlapping(ptr, current_page.0.data.offset(off_new as isize), size);

[3.14456]

[3.14561]

                core::ptr::copy_nonoverlapping(
                    ptr,
                    current_page.0.data.offset(off_new as isize),
                    size,
                );

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

B:BD[3.15453] → [3.15453:15481]

        freed: page.offset,

[3.15453]

[3.15481]

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

Replacement in sanakirja/src/tests.rs at line 124 [8.11]
B:BD[8.5466] → [8.5466:5505]
```
    let _db2 = fork_db(&mut txn, &db);
```
[8.5465]
[8.5540]
```
    let db2 = fork_db(&mut txn, &db).unwrap();
```

Replacement in sanakirja/src/tests.rs at line 127 [8.11]

B:BD[8.5650] → [8.5650:5674]

    assert_eq!(max, nn)

[8.5650]

[8.5674]

    assert_eq!(max, nn);
    let mut refs = BTreeMap::new();
    add_refs(&txn, &db, &mut refs).unwrap();
    add_refs(&txn, &db2, &mut refs).unwrap();
    for (p, r) in refs.iter() {
        if *r >= 2 {
            assert_eq!(txn.rc(*p).unwrap(), *r as u64);
        } else {
            assert_eq!(txn.rc(*p).unwrap(), 0);
        }
    }

Insertion in sanakirja/src/tests.rs at line 174 [8.11]
[8.6196]
[8.6231]
Insertion in sanakirja/src/tests.rs at line 178 [8.11]
[8.6386]
[8.6386]
```
    debug!("=============================");
```

Insertion in sanakirja/src/tests.rs at line 186 [8.11]

[8.6528]

[8.6625]

    crate::debug::debug(&txn, &[&db, &db2], "debug0", true);
    unimplemented!();

Replacement in sanakirja/src/tests.rs at line 211 [8.11]

B:BD[9.10333] → [9.10333:10407]

    let _db3 = fork_db(&mut txn, &db).unwrap();
    for i in 1530..1531 {

[9.10295]

[9.10501]

    let db3 = fork_db(&mut txn, &db).unwrap();
    /*for i in 1530..1531 {

Replacement in sanakirja/src/tests.rs at line 214 [8.11]
B:BD[9.10605] → [9.10605:10611]
```
    }
```
[9.10552]
[9.10651]
```
    }*/
```

Insertion in sanakirja/src/tests.rs at line 216 [8.11]

[9.10652]

[8.7217]

    debug!("{:?} {:?} {:?}", db, db2, db3);
    crate::debug::debug(&txn, &[&db, &db2, &db3], "debug", true);

Insertion in sanakirja/src/tests.rs at line 222 [8.11]

[8.7378]

    // add_refs(&txn, &db3, &mut refs).unwrap();
    for (p, r) in refs.iter() {
        println!("{:?} {:?}", p, r);
        if *r >= 2 {
            assert_eq!(txn.rc(*p).unwrap(), *r as u64);
        } else {
            assert_eq!(txn.rc(*p).unwrap(), 0);
        }
    }

Replacement in sanakirja/src/tests.rs at line 284 [8.11]

B:BD[2.2076] → [2.2076:2152]

    let mut db = create_db::<MutTxn<&Env, ()>, u64, ()>(&mut txn).unwrap();

[2.2076]

[2.2152]

    let db = create_db::<MutTxn<&Env, ()>, u64, ()>(&mut txn).unwrap();

Replacement in sanakirja/src/tests.rs at line 289 [8.11]

B:BD[2.2283] → [2.2283:2336]

    let mut txn = Env::mut_txn_begin(&env).unwrap();

[2.2283]

[2.2336]

    let txn = Env::mut_txn_begin(&env).unwrap();

Replacement in sanakirja/src/tests.rs at line 295 [8.11]

B:BD[2.2536] → [2.2536:2589]

    let mut txn = Env::mut_txn_begin(&env).unwrap();

[2.2536]

[2.2589]

    let txn = Env::mut_txn_begin(&env).unwrap();

Replacement in sanakirja/src/environment/mod.rs at line 165 [4.91606]

B:BD[4.96702] → [10.2430:2458]

                    length,

[4.96702]

[4.96751]

                    length: (n_roots * PAGE_SIZE) as u64,

More debugging

Dependencies

In channels

Change contents

Replacement in sanakirja-core/src/btree/put.rs at line 15 [4.3448]

Deletion in sanakirja-core/src/btree/put.rs at line 28 [4.3448]

Insertion in sanakirja-core/src/btree/put.rs at line 58 [4.3448]

Deletion in sanakirja-core/src/btree/put.rs at line 60 [4.3448]

Replacement in sanakirja-core/src/btree/put.rs at line 68 [4.3448]

Deletion in sanakirja-core/src/btree/put.rs at line 73 [4.3448]

Deletion in sanakirja-core/src/btree/put.rs at line 86 [4.3448]