{"header":{"message":"Debugging replace (which cannot be del+put)","description":null,"timestamp":"2021-02-11T10:50:37.139410158Z","authors":[{"full_name":"Pierre-Étienne Meunier","name":"pmeunier"}]},"hash":"Q7DRIBBRE4MNG4NP3PVIXAJF5PQYLFWYIVK2O4VVLEO6XY3BOSFQC","authors":[],"deps":{"hashes":[["Q7DRIBBRE4MNG4NP3PVIXAJF5PQYLFWYIVK2O4VVLEO6XY3BOSFQC","Debugging replace (which cannot be del+put)"],["AA",null],["T73WR2BX2QDQ6APOREBXUKNH52FDLJNBGWPQUYB2TAF2PT7XCL2AC","Cleaner RC increments for keys and values containing references + more comments in `del`"],["MSRWB47YP6L5BVTS53QQPBOHY5SXTSTR5KD6IIF35UWCTEUOCQWQC","Deletions at immutable leaves weren't really deleting anything"],["7P43FPFAXMDYUIQV7U2DGPN4UI3RNHYFWEUEA22UBDSQTYBJRAQQC","When deleting in internal nodes, set the correct child"],["LROAI3NBBSCU4T2YA6EHJYKKKL75AU5A7C7WIRCGIQ56S6HPLRXQC","Two iterators (convenience functions), along with tests to move cursors (put and del still destroy cursors though)"],["X3QVVQIS7B7L3XYZAWL3OOBUXOJ6RMOKQ45YMLLGAHYPEEKZ45ZAC","More debugging (del seems to work now)"],["AOX2XQISHGWNNAFBYRN44Q6AWG7H5DPBK5YMFHK42HQNZ2TMHEJQC","Actually, with the correct functions, Unsized pages are always slower than Sized pages (especially for writing)"],["OP6SVMOD2GTQ7VNJ4E5KYFG4MIYA7HBMXJTADALMZH4PY7OQRMZQC","Resetting history"],["W26CFMAQOXMUK4ZOJMAN4SMBXMWFQHO7HCTEVW73FQSRMJZFGJIQC","Improving safety of cursors"],["KX3WVNZW5KHVEH6EOQTZ4RBEFFJ3SGF5I467X3JWZ74PURRK4HVAC","Testing/debugging \"rebalance causes split of the root\""],["G4JEQLLX6Q7VVFVAEJZAVQXX33MQ36CSCYSMJ5NQM5VZ76DXKU6QC","Debugging synchronisation"],["EAAYH6BQWDK52EC5RG3BEZQU3FJPN5RRRN4U5KDKDVPKXBVJMNDAC","Debugging put"],["OFINGD26ZWCRDVVDI2ZIBLMHXKEMJA6MRNLANJYUHQPIJLPA7J2AC","implementing prev() on cursors (+ some cleanup)"],["6DCQHIFPEH4GZKSRRS32GMKDRPZH4MTCGOUEI7YEUVKWENBF3JWAC","Minor changes after benchmarking"],["NQBEOCFO4GJZKCE3A6V5LYSCEBQN2JLXPESBRJ65TZCU5JNAHEAQC","Tests cleanup"],["6DMPXOAT5GQ3BQQOMUZN2GMBQPRA4IB7CCPHTQTIFGO3KWWAKF3QC","More debugging"],["6UVFCERMGSGNRWCVC3GWO5HWV6MSWE433DXBJVC7KRPP6LLJLCSQC","Formatting, debugging, etc."],["DV4A2LR7Q5LAEGAQHLO34PZCHGJUHPAMRZFGT7GUFNKVQKPJNOYQC","Double-inserts (rebalancing near an internal deletion)"],["QEUTVAZ4F4EJXRDMWDMYXF6XEDMX7YPVG4IIXEKPIR3K54E5W5OAC","Splitting btree::page"],["APPY2E7M5NHNC6MFYXSVEKJVAILK7YAZVTVE3W75EK2JNFVS3XBQC","Unsized deletions + custom sizes back"],["WS4ZQM4RMIHZ6XZKSDQJGHN5SSSWFL4H236USOPUA33S6RC53RFAC","Debugging, tests, etc."],["UAQX27N4PI4LHEW6LSHJETIE5MV7JTEMPLTJFYUBMYVPC43H7VOAC","Tests"],["S4V4QZ5CF5LUDYWNR2UMWH6CHJDJ5FPGAZCQYM5GY7FJMJV4NN4QC","Debugging reference-counting for put"],["7WJNSPEWJSJROOYHU6QROWPUZ6WNIOUG2BPSOPDPCK6RG2NQU6OQC","Using the same definition of the \"occupied\" field uniform everywhere"],["XEU2QVLCHPYOOD4TQIPEEVYOVSFMKFPLJYWEJYXYJAZ7S54KWDZAC","Debugging after plugging this into Pijul"],["H3FVSQIQGFCFKCPXVOSFHP4OSUOBBURJESCZNGQTNDAAD3WQSBEQC","Unsized pages"],["OTWDDJE7TTE73D6BGF4ZN6BH2NFUFLPME2VJ3CPALH463UGWLEIQC","Trait/type cleanup"]],"deps":["T73WR2BX2QDQ6APOREBXUKNH52FDLJNBGWPQUYB2TAF2PT7XCL2AC","MSRWB47YP6L5BVTS53QQPBOHY5SXTSTR5KD6IIF35UWCTEUOCQWQC","7P43FPFAXMDYUIQV7U2DGPN4UI3RNHYFWEUEA22UBDSQTYBJRAQQC"],"known":["OP6SVMOD2GTQ7VNJ4E5KYFG4MIYA7HBMXJTADALMZH4PY7OQRMZQC","WS4ZQM4RMIHZ6XZKSDQJGHN5SSSWFL4H236USOPUA33S6RC53RFAC","EAAYH6BQWDK52EC5RG3BEZQU3FJPN5RRRN4U5KDKDVPKXBVJMNDAC","UAQX27N4PI4LHEW6LSHJETIE5MV7JTEMPLTJFYUBMYVPC43H7VOAC","X3QVVQIS7B7L3XYZAWL3OOBUXOJ6RMOKQ45YMLLGAHYPEEKZ45ZAC","NQBEOCFO4GJZKCE3A6V5LYSCEBQN2JLXPESBRJ65TZCU5JNAHEAQC","DV4A2LR7Q5LAEGAQHLO34PZCHGJUHPAMRZFGT7GUFNKVQKPJNOYQC","QEUTVAZ4F4EJXRDMWDMYXF6XEDMX7YPVG4IIXEKPIR3K54E5W5OAC","6DMPXOAT5GQ3BQQOMUZN2GMBQPRA4IB7CCPHTQTIFGO3KWWAKF3QC","S4V4QZ5CF5LUDYWNR2UMWH6CHJDJ5FPGAZCQYM5GY7FJMJV4NN4QC","OTWDDJE7TTE73D6BGF4ZN6BH2NFUFLPME2VJ3CPALH463UGWLEIQC","H3FVSQIQGFCFKCPXVOSFHP4OSUOBBURJESCZNGQTNDAAD3WQSBEQC","6UVFCERMGSGNRWCVC3GWO5HWV6MSWE433DXBJVC7KRPP6LLJLCSQC","APPY2E7M5NHNC6MFYXSVEKJVAILK7YAZVTVE3W75EK2JNFVS3XBQC","AOX2XQISHGWNNAFBYRN44Q6AWG7H5DPBK5YMFHK42HQNZ2TMHEJQC","G4JEQLLX6Q7VVFVAEJZAVQXX33MQ36CSCYSMJ5NQM5VZ76DXKU6QC","W26CFMAQOXMUK4ZOJMAN4SMBXMWFQHO7HCTEVW73FQSRMJZFGJIQC","6DCQHIFPEH4GZKSRRS32GMKDRPZH4MTCGOUEI7YEUVKWENBF3JWAC","KX3WVNZW5KHVEH6EOQTZ4RBEFFJ3SGF5I467X3JWZ74PURRK4HVAC","7WJNSPEWJSJROOYHU6QROWPUZ6WNIOUG2BPSOPDPCK6RG2NQU6OQC","OFINGD26ZWCRDVVDI2ZIBLMHXKEMJA6MRNLANJYUHQPIJLPA7J2AC","LROAI3NBBSCU4T2YA6EHJYKKKL75AU5A7C7WIRCGIQ56S6HPLRXQC","XEU2QVLCHPYOOD4TQIPEEVYOVSFMKFPLJYWEJYXYJAZ7S54KWDZAC"]},"hunks":[{"Replacement":{"inode":{"change":5,"pos":2014},"path":"sanakirja-core/src/btree/page_unsized.rs","line":76,"ins":{"up_context":[{"change":5,"pos":3929}],"down_context":[{"change":5,"pos":4014}],"flag":"BLOCK","start":0,"end":276,"inode":{"change":5,"pos":2014}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":3929},"to":{"change":5,"start":411,"end":505},"introduced_by":5}],"inode":{"change":5,"pos":2014}},"ins_contents":[{"Add":" put::put::<_, _, _, Leaf>("},{"Add":" txn,"},{"Add":" page,"},{"Add":" mutable,"},{"Add":" false,"},{"Add":" c.cur as usize,"},{"Add":" k0,"},{"Add":" v0,"},{"Add":" k1v1,"},{"Add":" 0,"},{"Add":" 0,"},{"Add":" )"}],"del_contents":[{"Del":" put::put::<_, _, _, Leaf>(txn, page, mutable, c.cur as usize, k0, v0, k1v1, 0, 0)\n"}]}},{"Replacement":{"inode":{"change":5,"pos":2014},"path":"sanakirja-core/src/btree/page_unsized.rs","line":89,"ins":{"up_context":[{"change":5,"pos":4031}],"down_context":[{"change":5,"pos":4120}],"flag":"BLOCK","start":277,"end":557,"inode":{"change":5,"pos":2014}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":4031},"to":{"change":5,"start":506,"end":604},"introduced_by":5}],"inode":{"change":5,"pos":2014}},"ins_contents":[{"Add":" put::put::<_, _, _, Internal>("},{"Add":" txn,"},{"Add":" page,"},{"Add":" mutable,"},{"Add":" false,"},{"Add":" c.cur as usize,"},{"Add":" k0,"},{"Add":" v0,"},{"Add":" k1v1,"},{"Add":" l,"},{"Add":" r,"},{"Add":" )"}],"del_contents":[{"Del":" put::put::<_, _, _, Internal>(txn, page, mutable, c.cur as usize, k0, v0, k1v1, l, r)\n"}]}},{"Replacement":{"inode":{"change":5,"pos":2014},"path":"sanakirja-core/src/btree/page_unsized.rs","line":115,"ins":{"up_context":[{"change":5,"pos":4415}],"down_context":[{"change":5,"pos":4578}],"flag":"BLOCK","start":558,"end":716,"inode":{"change":5,"pos":2014}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":4415},"to":{"change":5,"start":4415,"end":4469},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":4469},"to":{"change":5,"start":454,"end":569},"introduced_by":5}],"inode":{"change":5,"pos":2014}},"ins_contents":[{"Add":" assert!(c.cur >= 0);"},{"Add":" assert!(!c.is_leaf);"},{"Add":" put::put::<_, _, _, Internal>(txn, page, mutable, true, c.cur as usize, k0, v0, k1v1, l, r)"}],"del_contents":[{"Del":" // We're never in a leaf if we're doing this.\n"},{"Del":" let new = Self::del(txn, page, mutable, c, l)?;\n Self::put(txn, new.0, true, c, k0, v0, k1v1, l, r)\n"}]}},{"Replacement":{"inode":{"change":5,"pos":2014},"path":"sanakirja-core/src/btree/page_unsized.rs","line":159,"ins":{"up_context":[{"change":5,"pos":1303}],"down_context":[{"change":5,"pos":653}],"flag":"BLOCK","start":717,"end":761,"inode":{"change":5,"pos":2014}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1303},"to":{"change":5,"start":1303,"end":1340},"introduced_by":5}],"inode":{"change":5,"pos":2014}},"ins_contents":[{"Add":" ) -> Result<(MutPage, u64), T::Error> {"}],"del_contents":[{"Del":" ) -> Result {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":2014},"path":"sanakirja-core/src/btree/page_unsized.rs","line":171,"ins":{"up_context":[{"change":5,"pos":6630}],"down_context":[{"change":5,"pos":6698}],"flag":"BLOCK","start":762,"end":843,"inode":{"change":5,"pos":2014}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":6630},"to":{"change":5,"start":787,"end":864},"introduced_by":5}],"inode":{"change":5,"pos":2014}},"ins_contents":[{"Add":" core::ptr::copy(ptr.offset(1), ptr, n - c.cur as usize - 1);"}],"del_contents":[{"Del":" core::ptr::copy(ptr.offset(1), ptr, n - c.cur as usize);\n"}]}},{"Replacement":{"inode":{"change":5,"pos":2014},"path":"sanakirja-core/src/btree/page_unsized.rs","line":178,"ins":{"up_context":[{"change":5,"pos":6998}],"down_context":[{"change":5,"pos":7081}],"flag":"BLOCK","start":844,"end":940,"inode":{"change":5,"pos":2014}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":6998},"to":{"change":5,"start":941,"end":1033},"introduced_by":5}],"inode":{"change":5,"pos":2014}},"ins_contents":[{"Add":" core::ptr::copy(ptr.offset(1), ptr, hdr.n() as usize - c.cur as usize - 1);"}],"del_contents":[{"Del":" core::ptr::copy(ptr.offset(1), ptr, hdr.n() as usize - c.cur as usize);\n"}]}},{"Replacement":{"inode":{"change":5,"pos":2014},"path":"sanakirja-core/src/btree/page_unsized.rs","line":191,"ins":{"up_context":[{"change":5,"pos":7521}],"down_context":[{"change":5,"pos":7542}],"flag":"BLOCK","start":941,"end":967,"inode":{"change":5,"pos":2014}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":7521},"to":{"change":5,"start":7521,"end":7542},"introduced_by":5}],"inode":{"change":5,"pos":2014}},"ins_contents":[{"Add":" Ok((page, 0))"}],"del_contents":[{"Del":" Ok(page)\n"}]}},{"Replacement":{"inode":{"change":5,"pos":2014},"path":"sanakirja-core/src/btree/page_unsized.rs","line":209,"ins":{"up_context":[{"change":5,"pos":8320}],"down_context":[{"change":5,"pos":8436}],"flag":"BLOCK","start":968,"end":1413,"inode":{"change":5,"pos":2014}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":8320},"to":{"change":5,"start":8320,"end":8398},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":8398},"to":{"change":4,"start":0,"end":71},"introduced_by":4}],"inode":{"change":5,"pos":2014}},"ins_contents":[{"Add":" if l > 0 {"},{"Add":" let off = (new.0.data.add(HDR) as *mut u64).offset(n - 1);"},{"Add":" *off = (l | (u64::from_le(*off) & 0xfff)).to_le();"},{"Add":" } else {"},{"Add":" let hdr = header(page.as_page());"},{"Add":" let left = hdr.left_page() & !0xfff;"},{"Add":" *(new.0.data.add(HDR) as *mut u64).offset(-1) = left.to_le();"},{"Add":" }"}],"del_contents":[{"Del":" let off = (page.data.add(HDR) as *mut u64).offset(n - 1);\n"},{"Del":" *off = (l | (u64::from_le(*off) & 0xfff)).to_le();\n"}]}},{"Replacement":{"inode":{"change":5,"pos":2014},"path":"sanakirja-core/src/btree/page_unsized.rs","line":219,"ins":{"up_context":[{"change":5,"pos":8537}],"down_context":[{"change":5,"pos":8561}],"flag":"BLOCK","start":1414,"end":1463,"inode":{"change":5,"pos":2014}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":8537},"to":{"change":5,"start":8537,"end":8561},"introduced_by":5}],"inode":{"change":5,"pos":2014}},"ins_contents":[{"Add":" Ok((new, page.as_page().offset))"}],"del_contents":[{"Del":" Ok(new)\n"}]}},{"Replacement":{"inode":{"change":5,"pos":2014},"path":"sanakirja-core/src/btree/page_unsized.rs","line":288,"ins":{"up_context":[{"change":5,"pos":10928}],"down_context":[{"change":5,"pos":11117}],"flag":"BLOCK","start":1464,"end":1768,"inode":{"change":5,"pos":2014}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":10928},"to":{"change":5,"start":10928,"end":10975},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":10975},"to":{"change":5,"start":650,"end":903},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":903},"to":{"change":5,"start":11065,"end":11117},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":11065},"to":{"change":5,"start":11065,"end":11117},"introduced_by":5}],"inode":{"change":5,"pos":2014}},"ins_contents":[{"Add":" let (page, freed) = Self::del("},{"Add":" txn,"},{"Add":" m.modified.page,"},{"Add":" m.modified.mutable,"},{"Add":" &m.modified.c1,"},{"Add":" m.modified.l,"},{"Add":" )?;"},{"Add":" return Ok(Op::Put(Put::Ok(Ok { page, freed })));"}],"del_contents":[{"Del":" return Ok(Op::Put(Put::Ok(Ok {\n"},{"Del":" page: Self::del(\n txn,\n m.modified.page,\n m.modified.mutable,\n &m.modified.c1,\n m.modified.l,\n )?,\n"},{"Del":" freed: 0,\n })));\n"}]}},{"Replacement":{"inode":{"change":5,"pos":2014},"path":"sanakirja-core/src/btree/page_unsized.rs","line":374,"ins":{"up_context":[{"change":5,"pos":13595}],"down_context":[{"change":5,"pos":14134}],"flag":"BLOCK","start":1769,"end":1917,"inode":{"change":5,"pos":2014}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":13595},"to":{"change":5,"start":13595,"end":13715},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":13715},"to":{"change":5,"start":2735,"end":2815},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":2815},"to":{"change":5,"start":1888,"end":1917},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":13792},"to":{"change":5,"start":1888,"end":1917},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":1917},"to":{"change":5,"start":13883,"end":13967},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":13883},"to":{"change":5,"start":13883,"end":13967},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":13967},"to":{"change":5,"start":1213,"end":1350},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":1350},"to":{"change":5,"start":14101,"end":14134},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":14101},"to":{"change":5,"start":14101,"end":14134},"introduced_by":5}],"inode":{"change":5,"pos":2014}},"ins_contents":[{"Add":" if c.is_leaf {"},{"Add":" Leaf::current_size::(page, c.cur)"},{"Add":" } else {"},{"Add":" Internal::current_size::(page, c.cur)"}],"del_contents":[{"Del":" unsafe {\n if c.is_leaf {\n 2 + entry_size::(page.data.as_ptr().add(u16::from_le(\n"},{"Del":" *(page.data.as_ptr().add(HDR) as *const u16).offset(c.cur),\n"},{"Del":" ) as usize))\n"},{"Del":" } else {\n 8 + entry_size::(page.data.as_ptr().add(\n"},{"Del":" (u64::from_le(*(page.data.as_ptr().add(HDR) as *const u64).offset(c.cur))\n & 0xfff) as usize,\n"},{"Del":" ))\n }\n"}]}},{"Replacement":{"inode":{"change":5,"pos":22926},"path":"sanakirja-core/src/btree/page_unsized/rebalance.rs","line":24,"ins":{"up_context":[{"change":5,"pos":23715}],"down_context":[{"change":5,"pos":129}],"flag":"BLOCK","start":1918,"end":1976,"inode":{"change":5,"pos":22926}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":23715},"to":{"change":5,"start":23715,"end":23777},"introduced_by":5}],"inode":{"change":5,"pos":22926}},"ins_contents":[{"Add":" let new_left = if let Some((k, v)) = m.modified.ins {"}],"del_contents":[{"Del":" let mut new_left = if let Some((k, v)) = m.modified.ins {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":22926},"path":"sanakirja-core/src/btree/page_unsized/rebalance.rs","line":49,"ins":{"up_context":[{"change":5,"pos":24156}],"down_context":[{"change":5,"pos":1864}],"flag":"BLOCK","start":1977,"end":2024,"inode":{"change":5,"pos":22926}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":24156},"to":{"change":5,"start":1837,"end":1864},"introduced_by":5}],"inode":{"change":5,"pos":22926}},"ins_contents":[{"Add":" let (page, freed) = >::del("}],"del_contents":[{"Del":" >::del(\n"}]}},{"Replacement":{"inode":{"change":5,"pos":22926},"path":"sanakirja-core/src/btree/page_unsized/rebalance.rs","line":55,"ins":{"up_context":[{"change":5,"pos":1996}],"down_context":[{"change":5,"pos":789}],"flag":"BLOCK","start":2025,"end":2037,"inode":{"change":5,"pos":22926}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1996},"to":{"change":5,"start":1996,"end":2007},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":2007},"to":{"change":5,"start":24235,"end":24242},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":24235},"to":{"change":5,"start":24235,"end":24242},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":24242},"to":{"change":5,"start":742,"end":801},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":4608},"to":{"change":5,"start":656,"end":789},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":801},"to":{"change":5,"start":656,"end":789},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":656},"to":{"change":5,"start":656,"end":789},"introduced_by":5}],"inode":{"change":5,"pos":22926}},"ins_contents":[{"Add":" )?;"}],"del_contents":[{"Del":" )?\n"},{"Del":" };\n"},{"Del":" let lc = PageCursor::after(m.modified.page.as_page());\n"},{"Del":" if let Put::Ok(Ok { page, freed }) =\n >::put(txn, new_left.0, true, &lc, m.mid.0, m.mid.1, None, 0, rl)?\n {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":22926},"path":"sanakirja-core/src/btree/page_unsized/rebalance.rs","line":57,"ins":{"up_context":[{"change":5,"pos":812}],"down_context":[{"change":5,"pos":877}],"flag":"BLOCK","start":2038,"end":2108,"inode":{"change":5,"pos":22926}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":812},"to":{"change":5,"start":812,"end":877},"introduced_by":5}],"inode":{"change":5,"pos":22926}},"ins_contents":[{"Add":" let b = if header(m.modified.page.as_page()).is_dirty() {"}],"del_contents":[{"Del":" let b = if header(new_left.0.as_page()).is_dirty() {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":22926},"path":"sanakirja-core/src/btree/page_unsized/rebalance.rs","line":64,"ins":{"up_context":[{"change":5,"pos":994}],"down_context":[{"change":5,"pos":1018}],"flag":"BLOCK","start":2109,"end":2405,"inode":{"change":5,"pos":22926}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":994},"to":{"change":5,"start":994,"end":1018},"introduced_by":5}],"inode":{"change":5,"pos":22926}},"ins_contents":[{"Add":" page"},{"Add":" };"},{"Add":" let lc = PageCursor::after(m.modified.page.as_page());"},{"Add":" if let Put::Ok(Ok { page, freed }) ="},{"Add":" >::put(txn, new_left.0, true, &lc, m.mid.0, m.mid.1, None, 0, rl)?"},{"Add":" {"},{"Add":" assert_eq!(page.0.offset, new_left.0.offset);"},{"Add":" assert_eq!(freed, 0);"}],"del_contents":[{"Del":" new_left = page\n"}]}},{"Replacement":{"inode":{"change":5,"pos":22926},"path":"sanakirja-core/src/btree/page_unsized/rebalance.rs","line":76,"ins":{"up_context":[{"change":5,"pos":24372}],"down_context":[{"change":5,"pos":24623}],"flag":"BLOCK","start":2406,"end":2606,"inode":{"change":5,"pos":22926}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":24372},"to":{"change":5,"start":24372,"end":24432},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":24432},"to":{"change":5,"start":2008,"end":2082},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":2082},"to":{"change":5,"start":24486,"end":24623},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":24486},"to":{"change":5,"start":24486,"end":24623},"introduced_by":5}],"inode":{"change":5,"pos":22926}},"ins_contents":[{"Add":" let (new_right, freed) = >::del(txn, m.other, m.other_is_mutable, &rc, r)?;"},{"Add":" let (k, v): (&K, &V) = unsafe { (core::mem::transmute(k), core::mem::transmute(v)) };"},{"Add":" if freed > 0 {"}],"del_contents":[{"Del":" let (new_right, k, v): (_, &K, &V) = unsafe {\n (\n"},{"Del":" >::del(txn, m.other, m.other_is_mutable, &rc, r)?,\n"},{"Del":" core::mem::transmute(k),\n core::mem::transmute(v),\n )\n };\n if new_right.0.offset != m.other.offset {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":22926},"path":"sanakirja-core/src/btree/page_unsized/rebalance.rs","line":81,"ins":{"up_context":[{"change":5,"pos":24722}],"down_context":[{"change":5,"pos":24760}],"flag":"BLOCK","start":2607,"end":2637,"inode":{"change":5,"pos":22926}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":24722},"to":{"change":5,"start":1062,"end":1101},"introduced_by":5}],"inode":{"change":5,"pos":22926}},"ins_contents":[{"Add":" freed_[1] = freed | b"}],"del_contents":[{"Del":" freed_[1] = m.other.offset | b\n"}]}},{"Replacement":{"inode":{"change":5,"pos":22926},"path":"sanakirja-core/src/btree/page_unsized/rebalance.rs","line":114,"ins":{"up_context":[{"change":5,"pos":25830}],"down_context":[{"change":5,"pos":1156}],"flag":"BLOCK","start":2638,"end":2697,"inode":{"change":5,"pos":22926}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":25830},"to":{"change":5,"start":25830,"end":25893},"introduced_by":5}],"inode":{"change":5,"pos":22926}},"ins_contents":[{"Add":" let new_right = if let Some((k, v)) = m.modified.ins {"}],"del_contents":[{"Del":" let mut new_right = if let Some((k, v)) = m.modified.ins {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":22926},"path":"sanakirja-core/src/btree/page_unsized/rebalance.rs","line":139,"ins":{"up_context":[{"change":5,"pos":26272}],"down_context":[{"change":5,"pos":2110}],"flag":"BLOCK","start":2698,"end":2745,"inode":{"change":5,"pos":22926}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":26272},"to":{"change":5,"start":2083,"end":2110},"introduced_by":5}],"inode":{"change":5,"pos":22926}},"ins_contents":[{"Add":" let (page, freed) = >::del("}],"del_contents":[{"Del":" >::del(\n"}]}},{"Replacement":{"inode":{"change":5,"pos":22926},"path":"sanakirja-core/src/btree/page_unsized/rebalance.rs","line":145,"ins":{"up_context":[{"change":5,"pos":2242}],"down_context":[{"change":5,"pos":1510}],"flag":"BLOCK","start":2746,"end":2758,"inode":{"change":5,"pos":22926}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":2242},"to":{"change":5,"start":2242,"end":2253},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":2253},"to":{"change":5,"start":26351,"end":26358},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":26351},"to":{"change":5,"start":26351,"end":26358},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":26358},"to":{"change":5,"start":1468,"end":1509},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":1509},"to":{"change":5,"start":26396,"end":26490},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":26396},"to":{"change":5,"start":26396,"end":26490},"introduced_by":5}],"inode":{"change":5,"pos":22926}},"ins_contents":[{"Add":" )?;"}],"del_contents":[{"Del":" )?\n"},{"Del":" };\n"},{"Del":" if let Put::Ok(Ok { page, freed }) =\n"},{"Del":" >::put(txn, new_right.0, true, &rc, m.mid.0, m.mid.1, None, r0, rl)?\n {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":22926},"path":"sanakirja-core/src/btree/page_unsized/rebalance.rs","line":147,"ins":{"up_context":[{"change":5,"pos":1533}],"down_context":[{"change":5,"pos":1599}],"flag":"BLOCK","start":2759,"end":2829,"inode":{"change":5,"pos":22926}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1533},"to":{"change":5,"start":1533,"end":1599},"introduced_by":5}],"inode":{"change":5,"pos":22926}},"ins_contents":[{"Add":" let b = if header(m.modified.page.as_page()).is_dirty() {"}],"del_contents":[{"Del":" let b = if header(new_right.0.as_page()).is_dirty() {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":22926},"path":"sanakirja-core/src/btree/page_unsized/rebalance.rs","line":154,"ins":{"up_context":[{"change":5,"pos":1716}],"down_context":[{"change":5,"pos":26515}],"flag":"BLOCK","start":2830,"end":3070,"inode":{"change":5,"pos":22926}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":5,"pos":1716},"to":{"change":5,"start":26490,"end":26515},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":26490},"to":{"change":5,"start":26490,"end":26515},"introduced_by":5}],"inode":{"change":5,"pos":22926}},"ins_contents":[{"Add":" page"},{"Add":" };"},{"Add":" if let Put::Ok(Ok { page, freed }) ="},{"Add":" >::put(txn, new_right.0, true, &rc, m.mid.0, m.mid.1, None, r0, rl)?"},{"Add":" {"},{"Add":" assert_eq!(new_right.0.offset, page.0.offset);"},{"Add":" assert_eq!(freed, 0);"}],"del_contents":[{"Del":" new_right = page\n"}]}},{"Replacement":{"inode":{"change":5,"pos":22926},"path":"sanakirja-core/src/btree/page_unsized/rebalance.rs","line":165,"ins":{"up_context":[{"change":5,"pos":26559}],"down_context":[{"change":5,"pos":26665}],"flag":"BLOCK","start":3071,"end":3180,"inode":{"change":5,"pos":22926}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":26559},"to":{"change":5,"start":2254,"end":2335},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":2335},"to":{"change":5,"start":26620,"end":26665},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":26620},"to":{"change":5,"start":26620,"end":26665},"introduced_by":5}],"inode":{"change":5,"pos":22926}},"ins_contents":[{"Add":" let (new_left, freed) = >::del(txn, m.other, m.other_is_mutable, &lc, 0)?;"},{"Add":" if freed > 0 {"}],"del_contents":[{"Del":" let new_left = >::del(txn, m.other, m.other_is_mutable, &lc, 0)?;\n"},{"Del":" if new_left.0.offset != m.other.offset {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":22926},"path":"sanakirja-core/src/btree/page_unsized/rebalance.rs","line":169,"ins":{"up_context":[{"change":5,"pos":26764}],"down_context":[{"change":5,"pos":26802}],"flag":"BLOCK","start":3181,"end":3211,"inode":{"change":5,"pos":22926}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":26764},"to":{"change":5,"start":1717,"end":1756},"introduced_by":5}],"inode":{"change":5,"pos":22926}},"ins_contents":[{"Add":" freed_[1] = freed | b"}],"del_contents":[{"Del":" freed_[1] = m.other.offset | b\n"}]}},{"Edit":{"inode":{"change":5,"pos":27023},"path":"sanakirja-core/src/btree/page_unsized/put.rs","line":14,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":27256}],"down_context":[{"change":5,"pos":27256}],"flag":"BLOCK","start":3212,"end":3231,"inode":{"change":5,"pos":27023}}},"contents":[{"Add":" replace: bool,"}]}},{"Edit":{"inode":{"change":5,"pos":27023},"path":"sanakirja-core/src/btree/page_unsized/put.rs","line":28,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":27545}],"down_context":[{"change":5,"pos":27545}],"flag":"BLOCK","start":3232,"end":3495,"inode":{"change":5,"pos":27023}}},"contents":[{"Add":" let size_replaced = if replace {"},{"Add":" // We're always in an internal node if we replace."},{"Add":" let cur_size = Internal::current_size::(page.as_page(), u as isize);"},{"Add":" size as isize - cur_size as isize"},{"Add":" } else {"},{"Add":" size as isize"},{"Add":" };"}]}},{"Replacement":{"inode":{"change":5,"pos":27023},"path":"sanakirja-core/src/btree/page_unsized/put.rs","line":40,"ins":{"up_context":[{"change":5,"pos":27786}],"down_context":[{"change":5,"pos":27848}],"flag":"BLOCK","start":3496,"end":3534,"inode":{"change":5,"pos":27023}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":27786},"to":{"change":5,"start":27786,"end":27848},"introduced_by":5}],"inode":{"change":5,"pos":27023}},"ins_contents":[{"Add":" let mut page = MutPage(page);"}],"del_contents":[{"Del":" let mut page = unsafe { core::mem::transmute(page) };\n"}]}},{"Edit":{"inode":{"change":5,"pos":27023},"path":"sanakirja-core/src/btree/page_unsized/put.rs","line":42,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":27880}],"down_context":[{"change":5,"pos":27880}],"flag":"BLOCK","start":3535,"end":4040,"inode":{"change":5,"pos":27023}}},"contents":[{"Add":" if replace {"},{"Add":" assert!(!hdr.is_leaf());"},{"Add":" unsafe {"},{"Add":" let p = page.0.data;"},{"Add":" let ptr = p.add(HDR + n as usize * 8) as *mut u64;"},{"Add":" let off = (u64::from_le(*ptr) & 0xfff) as usize;"},{"Add":" let kv_ptr = p.add(off);"},{"Add":" let size = entry_size::(kv_ptr);"},{"Add":" core::ptr::copy(ptr.offset(1), ptr, hdr.n() as usize - n as usize - 1);"},{"Add":" header_mut(&mut page).decr(size)"},{"Add":" }"},{"Add":" }"}]}},{"Replacement":{"inode":{"change":5,"pos":27023},"path":"sanakirja-core/src/btree/page_unsized/put.rs","line":61,"ins":{"up_context":[{"change":5,"pos":28178}],"down_context":[{"change":5,"pos":28228}],"flag":"BLOCK","start":4041,"end":4092,"inode":{"change":5,"pos":27023}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":28178},"to":{"change":5,"start":2478,"end":2520},"introduced_by":5}],"inode":{"change":5,"pos":27023}},"ins_contents":[{"Add":" } else if L::can_compact(hdr, size_replaced) {"}],"del_contents":[{"Del":" } else if L::can_compact(hdr, size) {\n"}]}},{"Edit":{"inode":{"change":5,"pos":27023},"path":"sanakirja-core/src/btree/page_unsized/put.rs","line":68,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":28543}],"down_context":[{"change":5,"pos":28543}],"flag":"BLOCK","start":4093,"end":4155,"inode":{"change":5,"pos":27023}}},"contents":[{"Add":" let s1 = if replace { s1.split_at(1).1 } else { s1 };"}]}},{"Replacement":{"inode":{"change":5,"pos":27023},"path":"sanakirja-core/src/btree/page_unsized/put.rs","line":86,"ins":{"up_context":[{"change":5,"pos":29136}],"down_context":[{"change":5,"pos":29224}],"flag":"BLOCK","start":4156,"end":4253,"inode":{"change":5,"pos":27023}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":29136},"to":{"change":5,"start":29136,"end":29224},"introduced_by":5}],"inode":{"change":5,"pos":27023}},"ins_contents":[{"Add":" return split_unsized::<_, _, _, L>(txn, page.as_page(), replace, u, k0, v0, k1v1, l, r);"}],"del_contents":[{"Del":" return split_unsized::<_, _, _, L>(txn, page.as_page(), u, k0, v0, k1v1, l, r);\n"}]}},{"Edit":{"inode":{"change":5,"pos":27023},"path":"sanakirja-core/src/btree/page_unsized/put.rs","line":99,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":29434}],"down_context":[{"change":5,"pos":29434}],"flag":"BLOCK","start":4254,"end":4273,"inode":{"change":5,"pos":27023}}},"contents":[{"Add":" replace: bool,"}]}},{"Replacement":{"inode":{"change":5,"pos":27023},"path":"sanakirja-core/src/btree/page_unsized/put.rs","line":140,"ins":{"up_context":[{"change":5,"pos":767}],"down_context":[{"change":5,"pos":30307}],"flag":"BLOCK","start":4274,"end":4327,"inode":{"change":5,"pos":27023}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":767},"to":{"change":5,"start":767,"end":768},"introduced_by":5}],"inode":{"change":5,"pos":27023}},"ins_contents":[{"Add":" if replace {"},{"Add":" continue;"},{"Add":" }"}],"del_contents":[{"Del":"\n"}]}},{"Edit":{"inode":{"change":5,"pos":33822},"path":"sanakirja-core/src/btree/page_unsized/alloc.rs","line":6,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":2975}],"down_context":[{"change":5,"pos":2975}],"flag":"BLOCK","start":4328,"end":4466,"inode":{"change":5,"pos":33822}}},"contents":[{"Add":" fn current_size("},{"Add":" page: crate::Page,"},{"Add":" cur: isize,"},{"Add":" ) -> usize;"}]}},{"Replacement":{"inode":{"change":5,"pos":33822},"path":"sanakirja-core/src/btree/page_unsized/alloc.rs","line":11,"ins":{"up_context":[{"change":5,"pos":3028}],"down_context":[{"change":5,"pos":3083}],"flag":"BLOCK","start":4467,"end":4522,"inode":{"change":5,"pos":33822}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":3028},"to":{"change":5,"start":3028,"end":3083},"introduced_by":5}],"inode":{"change":5,"pos":33822}},"ins_contents":[{"Add":" fn can_compact(hdr: &Header, size: isize) -> bool;"}],"del_contents":[{"Del":" fn can_compact(hdr: &Header, size: usize) -> bool;\n"}]}},{"Edit":{"inode":{"change":5,"pos":33822},"path":"sanakirja-core/src/btree/page_unsized/alloc.rs","line":68,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":35961}],"down_context":[{"change":5,"pos":3182}],"flag":"BLOCK","start":4523,"end":4867,"inode":{"change":5,"pos":33822}}},"contents":[{"Add":" fn current_size("},{"Add":" page: crate::Page,"},{"Add":" cur: isize,"},{"Add":" ) -> usize {"},{"Add":" unsafe {"},{"Add":" 2 + entry_size::(page.data.as_ptr().add(u16::from_le("},{"Add":" *(page.data.as_ptr().add(HDR) as *const u16).offset(cur),"},{"Add":" ) as usize))"},{"Add":" }"},{"Add":" }"},{"Add":""}]}},{"Replacement":{"inode":{"change":5,"pos":33822},"path":"sanakirja-core/src/btree/page_unsized/alloc.rs","line":89,"ins":{"up_context":[{"change":5,"pos":36218}],"down_context":[{"change":5,"pos":3374}],"flag":"BLOCK","start":4868,"end":4924,"inode":{"change":5,"pos":33822}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":36218},"to":{"change":5,"start":3318,"end":3374},"introduced_by":5}],"inode":{"change":5,"pos":33822}},"ins_contents":[{"Add":" fn can_compact(hdr: &Header, size: isize) -> bool {"}],"del_contents":[{"Del":" fn can_compact(hdr: &Header, size: usize) -> bool {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":33822},"path":"sanakirja-core/src/btree/page_unsized/alloc.rs","line":96,"ins":{"up_context":[{"change":5,"pos":3525}],"down_context":[{"change":5,"pos":36463}],"flag":"BLOCK","start":4925,"end":5057,"inode":{"change":5,"pos":33822}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":5,"pos":1795},"to":{"change":5,"start":3525,"end":3623},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":3525},"to":{"change":5,"start":3525,"end":3623},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":3623},"to":{"change":5,"start":3016,"end":3041},"introduced_by":5}],"inode":{"change":5,"pos":33822}},"ins_contents":[{"Add":" (HDR as isize) + (hdr.n() as isize) * 2 + ((hdr.left_page() & 0xfff) as isize) + 2 + size"},{"Add":" <= PAGE_SIZE as isize"}],"del_contents":[{"Del":" (HDR as usize) + (hdr.n() as usize) * 2 + ((hdr.left_page() & 0xfff) as usize) + 2 + size\n"},{"Del":" <= PAGE_SIZE\n"}]}},{"Edit":{"inode":{"change":5,"pos":33822},"path":"sanakirja-core/src/btree/page_unsized/alloc.rs","line":192,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":39747}],"down_context":[{"change":5,"pos":39747}],"flag":"BLOCK","start":5058,"end":5431,"inode":{"change":5,"pos":33822}}},"contents":[{"Add":" }"},{"Add":" fn current_size("},{"Add":" page: crate::Page,"},{"Add":" cur: isize,"},{"Add":" ) -> usize {"},{"Add":" unsafe {"},{"Add":" 8 + entry_size::(page.data.as_ptr().add("},{"Add":" (u64::from_le(*(page.data.as_ptr().add(HDR) as *const u64).offset(cur)) & 0xfff)"},{"Add":" as usize,"},{"Add":" ))"},{"Add":" }"}]}},{"Edit":{"inode":{"change":5,"pos":33822},"path":"sanakirja-core/src/btree/page_unsized/alloc.rs","line":204,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":39753}],"down_context":[{"change":5,"pos":4206}],"flag":"BLOCK","start":5432,"end":5433,"inode":{"change":5,"pos":33822}}},"contents":[{"Add":""}]}},{"Replacement":{"inode":{"change":5,"pos":33822},"path":"sanakirja-core/src/btree/page_unsized/alloc.rs","line":215,"ins":{"up_context":[{"change":5,"pos":39948}],"down_context":[{"change":5,"pos":4317}],"flag":"BLOCK","start":5434,"end":5490,"inode":{"change":5,"pos":33822}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":39948},"to":{"change":5,"start":4261,"end":4317},"introduced_by":5}],"inode":{"change":5,"pos":33822}},"ins_contents":[{"Add":" fn can_compact(hdr: &Header, size: isize) -> bool {"}],"del_contents":[{"Del":" fn can_compact(hdr: &Header, size: usize) -> bool {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":33822},"path":"sanakirja-core/src/btree/page_unsized/alloc.rs","line":222,"ins":{"up_context":[{"change":5,"pos":4468}],"down_context":[{"change":5,"pos":40203}],"flag":"BLOCK","start":5491,"end":5623,"inode":{"change":5,"pos":33822}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":4468},"to":{"change":5,"start":4468,"end":4566},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":4566},"to":{"change":5,"start":3125,"end":3150},"introduced_by":5}],"inode":{"change":5,"pos":33822}},"ins_contents":[{"Add":" (HDR as isize) + (hdr.n() as isize) * 8 + ((hdr.left_page() & 0xfff) as isize) + 8 + size"},{"Add":" <= PAGE_SIZE as isize"}],"del_contents":[{"Del":" (HDR as usize) + (hdr.n() as usize) * 8 + ((hdr.left_page() & 0xfff) as usize) + 8 + size\n"},{"Del":" <= PAGE_SIZE\n"}]}},{"Replacement":{"inode":{"change":5,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":93,"ins":{"up_context":[{"change":5,"pos":1844}],"down_context":[{"change":5,"pos":1918}],"flag":"BLOCK","start":5624,"end":5900,"inode":{"change":5,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1844},"to":{"change":5,"start":4879,"end":4973},"introduced_by":5}],"inode":{"change":5,"pos":8623}},"ins_contents":[{"Add":" put::put::<_, _, _, Leaf>("},{"Add":" txn,"},{"Add":" page,"},{"Add":" mutable,"},{"Add":" false,"},{"Add":" c.cur as usize,"},{"Add":" k0,"},{"Add":" v0,"},{"Add":" k1v1,"},{"Add":" 0,"},{"Add":" 0,"},{"Add":" )"}],"del_contents":[{"Del":" put::put::<_, _, _, Leaf>(txn, page, mutable, c.cur as usize, k0, v0, k1v1, 0, 0)\n"}]}},{"Replacement":{"inode":{"change":5,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":106,"ins":{"up_context":[{"change":5,"pos":1935}],"down_context":[{"change":5,"pos":11455}],"flag":"BLOCK","start":5901,"end":6181,"inode":{"change":5,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1935},"to":{"change":5,"start":4974,"end":5072},"introduced_by":5}],"inode":{"change":5,"pos":8623}},"ins_contents":[{"Add":" put::put::<_, _, _, Internal>("},{"Add":" txn,"},{"Add":" page,"},{"Add":" mutable,"},{"Add":" false,"},{"Add":" c.cur as usize,"},{"Add":" k0,"},{"Add":" v0,"},{"Add":" k1v1,"},{"Add":" l,"},{"Add":" r,"},{"Add":" )"}],"del_contents":[{"Del":" put::put::<_, _, _, Internal>(txn, page, mutable, c.cur as usize, k0, v0, k1v1, l, r)\n"}]}},{"Replacement":{"inode":{"change":5,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":132,"ins":{"up_context":[{"change":5,"pos":1326}],"down_context":[{"change":5,"pos":1513}],"flag":"BLOCK","start":6182,"end":6608,"inode":{"change":5,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1326},"to":{"change":5,"start":1326,"end":1380},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1380},"to":{"change":5,"start":3287,"end":3402},"introduced_by":5}],"inode":{"change":5,"pos":8623}},"ins_contents":[{"Add":" if r == 0 {"},{"Add":" put::put::<_, _, _, Leaf>(txn, page, mutable, true, c.cur as usize, k0, v0, k1v1, 0, 0)"},{"Add":" } else {"},{"Add":" put::put::<_, _, _, Internal>("},{"Add":" txn,"},{"Add":" page,"},{"Add":" mutable,"},{"Add":" true,"},{"Add":" c.cur as usize,"},{"Add":" k0,"},{"Add":" v0,"},{"Add":" k1v1,"},{"Add":" l,"},{"Add":" r,"},{"Add":" )"},{"Add":" }"}],"del_contents":[{"Del":" // We're never in a leaf if we're doing this.\n"},{"Del":" let new = Self::del(txn, page, mutable, c, l)?;\n Self::put(txn, new.0, true, c, k0, v0, k1v1, l, r)\n"}]}},{"Replacement":{"inode":{"change":5,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":188,"ins":{"up_context":[{"change":5,"pos":5274}],"down_context":[{"change":5,"pos":5137}],"flag":"BLOCK","start":6609,"end":6653,"inode":{"change":5,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":5274},"to":{"change":5,"start":5274,"end":5311},"introduced_by":5}],"inode":{"change":5,"pos":8623}},"ins_contents":[{"Add":" ) -> Result<(MutPage, u64), T::Error> {"}],"del_contents":[{"Del":" ) -> Result {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":206,"ins":{"up_context":[{"change":5,"pos":5414}],"down_context":[{"change":5,"pos":5374}],"flag":"BLOCK","start":6654,"end":6750,"inode":{"change":5,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":5414},"to":{"change":5,"start":5414,"end":5506},"introduced_by":5}],"inode":{"change":5,"pos":8623}},"ins_contents":[{"Add":" core::ptr::copy(ptr.offset(1), ptr, hdr.n() as usize - c.cur as usize - 1);"}],"del_contents":[{"Del":" core::ptr::copy(ptr.offset(1), ptr, hdr.n() as usize - c.cur as usize);\n"}]}},{"Replacement":{"inode":{"change":5,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":219,"ins":{"up_context":[{"change":5,"pos":312}],"down_context":[{"change":5,"pos":14580}],"flag":"BLOCK","start":6751,"end":6777,"inode":{"change":5,"pos":8623}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":5,"pos":312},"to":{"change":5,"start":4428,"end":4449},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":4428},"to":{"change":5,"start":4428,"end":4449},"introduced_by":5}],"inode":{"change":5,"pos":8623}},"ins_contents":[{"Add":" Ok((page, 0))"}],"del_contents":[{"Del":" Ok(page)\n"}]}},{"Edit":{"inode":{"change":5,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":226,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":4646}],"down_context":[{"change":5,"pos":5507}],"flag":"BLOCK","start":6778,"end":6821,"inode":{"change":5,"pos":8623}}},"contents":[{"Add":" debug!(\"s = {:?}\", s);"}]}},{"Edit":{"inode":{"change":5,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":229,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":152}],"down_context":[{"change":5,"pos":14932}],"flag":"BLOCK","start":6822,"end":6882,"inode":{"change":5,"pos":8623}}},"contents":[{"Add":" debug!(\"leaf s0 {:?} s1 {:?}\", s0, s1);"}]}},{"Edit":{"inode":{"change":5,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":235,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":4891}],"down_context":[{"change":5,"pos":5571}],"flag":"BLOCK","start":6883,"end":6926,"inode":{"change":5,"pos":8623}}},"contents":[{"Add":" debug!(\"s = {:?}\", s);"}]}},{"Edit":{"inode":{"change":5,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":238,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":203}],"down_context":[{"change":5,"pos":15312}],"flag":"BLOCK","start":6927,"end":6991,"inode":{"change":5,"pos":8623}}},"contents":[{"Add":" debug!(\"internal s0 {:?} s1 {:?}\", s0, s1);"}]}},{"Replacement":{"inode":{"change":5,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":241,"ins":{"up_context":[{"change":5,"pos":2460}],"down_context":[{"change":5,"pos":2461}],"flag":"BLOCK","start":6992,"end":7548,"inode":{"change":5,"pos":8623}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":5,"pos":4978},"to":{"change":5,"start":15423,"end":15501},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":2460},"to":{"change":5,"start":15423,"end":15501},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":15423},"to":{"change":5,"start":15423,"end":15501},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":15501},"to":{"change":4,"start":72,"end":143},"introduced_by":4}],"inode":{"change":5,"pos":8623}},"ins_contents":[{"Add":" debug!(\"offset {:?}\", n);"},{"Add":" if l > 0 {"},{"Add":" let off = (new.0.data.add(HDR) as *mut u64).offset(n - 1);"},{"Add":" *off = (l | (u64::from_le(*off) & 0xfff)).to_le();"},{"Add":" debug!(\"set offset {:?} {:?}\", *off, l);"},{"Add":" } else {"},{"Add":" let hdr = header(page.as_page());"},{"Add":" let left = hdr.left_page() & !0xfff;"},{"Add":" *(new.0.data.add(HDR) as *mut u64).offset(-1) = left.to_le();"},{"Add":" }"}],"del_contents":[{"Del":" let off = (page.data.add(HDR) as *mut u64).offset(n - 1);\n"},{"Del":" *off = (l | (u64::from_le(*off) & 0xfff)).to_le();\n"}]}},{"Replacement":{"inode":{"change":5,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":253,"ins":{"up_context":[{"change":5,"pos":15633}],"down_context":[{"change":5,"pos":15657}],"flag":"BLOCK","start":7549,"end":7588,"inode":{"change":5,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":15633},"to":{"change":5,"start":15633,"end":15657},"introduced_by":5}],"inode":{"change":5,"pos":8623}},"ins_contents":[{"Add":" Ok((new, page.offset))"}],"del_contents":[{"Del":" Ok(new)\n"}]}},{"Replacement":{"inode":{"change":5,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":321,"ins":{"up_context":[{"change":5,"pos":6309}],"down_context":[{"change":5,"pos":3763}],"flag":"BLOCK","start":7589,"end":7893,"inode":{"change":5,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":6309},"to":{"change":5,"start":3693,"end":3740},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":3740},"to":{"change":5,"start":3483,"end":3736},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":3736},"to":{"change":5,"start":6428,"end":6458},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":6428},"to":{"change":5,"start":6428,"end":6458},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":6458},"to":{"change":5,"start":3741,"end":3763},"introduced_by":5}],"inode":{"change":5,"pos":8623}},"ins_contents":[{"Add":" let (page, freed) = Self::del("},{"Add":" txn,"},{"Add":" m.modified.page,"},{"Add":" m.modified.mutable,"},{"Add":" &m.modified.c1,"},{"Add":" m.modified.l,"},{"Add":" )?;"},{"Add":" return Ok(Op::Put(Put::Ok(Ok { page, freed })));"}],"del_contents":[{"Del":" return Ok(Op::Put(Put::Ok(Ok {\n"},{"Del":" page: Self::del(\n txn,\n m.modified.page,\n m.modified.mutable,\n &m.modified.c1,\n m.modified.l,\n )?,\n"},{"Del":" freed: 0,\n"},{"Del":" })));\n"}]}},{"Edit":{"inode":{"change":5,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":380,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":19851},"to":{"change":5,"start":6185,"end":6226},"introduced_by":5}],"inode":{"change":5,"pos":8623}}},"contents":[{"Del":" debug!(\"current {:?}\", off);\n"}]}},{"Edit":{"inode":{"change":5,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":382,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":6336},"to":{"change":5,"start":6336,"end":6408},"introduced_by":5}],"inode":{"change":5,"pos":8623}}},"contents":[{"Del":" debug!(\"k {:?}\", K::from_raw_ptr(txn, k as *const u8));\n"}]}},{"Replacement":{"inode":{"change":5,"pos":387},"path":"sanakirja-core/src/btree/page/rebalance.rs","line":48,"ins":{"up_context":[{"change":5,"pos":1650}],"down_context":[{"change":5,"pos":4547}],"flag":"BLOCK","start":7894,"end":7941,"inode":{"change":5,"pos":387}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1650},"to":{"change":5,"start":4520,"end":4547},"introduced_by":5}],"inode":{"change":5,"pos":387}},"ins_contents":[{"Add":" let (page, freed) = >::del("}],"del_contents":[{"Del":" >::del(\n"}]}},{"Replacement":{"inode":{"change":5,"pos":387},"path":"sanakirja-core/src/btree/page/rebalance.rs","line":54,"ins":{"up_context":[{"change":5,"pos":4679}],"down_context":[{"change":5,"pos":1729}],"flag":"BLOCK","start":7942,"end":8176,"inode":{"change":5,"pos":387}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":4679},"to":{"change":5,"start":4679,"end":4690},"introduced_by":5}],"inode":{"change":5,"pos":387}},"ins_contents":[{"Add":" )?;"},{"Add":" if freed > 0 {"},{"Add":" let b = if header(m.modified.page.as_page()).is_dirty() {"},{"Add":" 1"},{"Add":" } else {"},{"Add":" 0"},{"Add":" };"},{"Add":" freed_[0] = freed | b"},{"Add":" }"},{"Add":" page"}],"del_contents":[{"Del":" )?\n"}]}},{"Replacement":{"inode":{"change":5,"pos":387},"path":"sanakirja-core/src/btree/page/rebalance.rs","line":112,"ins":{"up_context":[{"change":5,"pos":47398}],"down_context":[{"change":5,"pos":47416}],"flag":"BLOCK","start":8177,"end":8432,"inode":{"change":5,"pos":387}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":47398},"to":{"change":5,"start":47398,"end":47415},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":47415},"to":{"change":5,"start":3292,"end":3306},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":3292},"to":{"change":5,"start":3292,"end":3306},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":3306},"to":{"change":5,"start":4691,"end":4769},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":4769},"to":{"change":5,"start":3364,"end":3460},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":3364},"to":{"change":5,"start":3364,"end":3460},"introduced_by":5}],"inode":{"change":5,"pos":387}},"ins_contents":[{"Add":" let (page, freed) = >::del(txn, m.other, m.other_is_mutable, &rc, r)?;"},{"Add":" if freed > 0 {"},{"Add":" let hdr = &*header(m.other.as_page());"},{"Add":" let b = if hdr.is_dirty() { 1 } else { 0 };"},{"Add":" freed_[1] = freed | b;"}],"del_contents":[{"Del":" unsafe {\n"},{"Del":" (\n"},{"Del":" >::del(txn, m.other, m.other_is_mutable, &rc, r)?,\n"},{"Del":" core::mem::transmute(k),\n core::mem::transmute(v),\n )\n"}]}},{"Edit":{"inode":{"change":5,"pos":387},"path":"sanakirja-core/src/btree/page/rebalance.rs","line":118,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":47426}],"down_context":[{"change":5,"pos":3471}],"flag":"BLOCK","start":8433,"end":8509,"inode":{"change":5,"pos":387}}},"contents":[{"Add":" unsafe { (page, core::mem::transmute(k), core::mem::transmute(v)) }"}]}},{"Edit":{"inode":{"change":5,"pos":387},"path":"sanakirja-core/src/btree/page/rebalance.rs","line":120,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":3478},"to":{"change":5,"start":3478,"end":3623},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":3623},"to":{"change":5,"start":2799,"end":2838},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":2838},"to":{"change":5,"start":3661,"end":3667},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":3661},"to":{"change":5,"start":3661,"end":3667},"introduced_by":5}],"inode":{"change":5,"pos":387}}},"contents":[{"Del":" if new_right.0.offset != m.other.offset {\n let hdr = &*header(m.other.as_page());\n let b = if hdr.is_dirty() { 1 } else { 0 };\n"},{"Del":" freed_[1] = m.other.offset | b\n"},{"Del":" }\n"}]}},{"Replacement":{"inode":{"change":5,"pos":387},"path":"sanakirja-core/src/btree/page/rebalance.rs","line":151,"ins":{"up_context":[{"change":5,"pos":4736}],"down_context":[{"change":5,"pos":2893}],"flag":"BLOCK","start":8510,"end":8569,"inode":{"change":5,"pos":387}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":4736},"to":{"change":5,"start":4736,"end":4799},"introduced_by":5}],"inode":{"change":5,"pos":387}},"ins_contents":[{"Add":" let new_right = if let Some((k, v)) = m.modified.ins {"}],"del_contents":[{"Del":" let mut new_right = if let Some((k, v)) = m.modified.ins {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":387},"path":"sanakirja-core/src/btree/page/rebalance.rs","line":174,"ins":{"up_context":[{"change":5,"pos":5178}],"down_context":[{"change":5,"pos":4797}],"flag":"BLOCK","start":8570,"end":8617,"inode":{"change":5,"pos":387}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":5178},"to":{"change":5,"start":4770,"end":4797},"introduced_by":5}],"inode":{"change":5,"pos":387}},"ins_contents":[{"Add":" let (page, freed) = >::del("}],"del_contents":[{"Del":" >::del(\n"}]}},{"Replacement":{"inode":{"change":5,"pos":387},"path":"sanakirja-core/src/btree/page/rebalance.rs","line":180,"ins":{"up_context":[{"change":5,"pos":4929}],"down_context":[{"change":5,"pos":3182}],"flag":"BLOCK","start":8618,"end":8630,"inode":{"change":5,"pos":387}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":4929},"to":{"change":5,"start":4929,"end":4940},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":4940},"to":{"change":5,"start":5257,"end":5264},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":5257},"to":{"change":5,"start":5257,"end":5264},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":5264},"to":{"change":5,"start":3140,"end":3181},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":3181},"to":{"change":5,"start":5302,"end":5396},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":5302},"to":{"change":5,"start":5302,"end":5396},"introduced_by":5}],"inode":{"change":5,"pos":387}},"ins_contents":[{"Add":" )?;"}],"del_contents":[{"Del":" )?\n"},{"Del":" };\n"},{"Del":" if let Put::Ok(Ok { page, freed }) =\n"},{"Del":" >::put(txn, new_right.0, true, &rc, m.mid.0, m.mid.1, None, r0, rl)?\n {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":387},"path":"sanakirja-core/src/btree/page/rebalance.rs","line":182,"ins":{"up_context":[{"change":5,"pos":3205}],"down_context":[{"change":5,"pos":3271}],"flag":"BLOCK","start":8631,"end":8701,"inode":{"change":5,"pos":387}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":3205},"to":{"change":5,"start":3205,"end":3271},"introduced_by":5}],"inode":{"change":5,"pos":387}},"ins_contents":[{"Add":" let b = if header(m.modified.page.as_page()).is_dirty() {"}],"del_contents":[{"Del":" let b = if header(new_right.0.as_page()).is_dirty() {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":387},"path":"sanakirja-core/src/btree/page/rebalance.rs","line":189,"ins":{"up_context":[{"change":5,"pos":3388}],"down_context":[{"change":5,"pos":5421}],"flag":"BLOCK","start":8702,"end":8942,"inode":{"change":5,"pos":387}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":5,"pos":3388},"to":{"change":5,"start":5396,"end":5421},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":5396},"to":{"change":5,"start":5396,"end":5421},"introduced_by":5}],"inode":{"change":5,"pos":387}},"ins_contents":[{"Add":" page"},{"Add":" };"},{"Add":" if let Put::Ok(Ok { page, freed }) ="},{"Add":" >::put(txn, new_right.0, true, &rc, m.mid.0, m.mid.1, None, r0, rl)?"},{"Add":" {"},{"Add":" assert_eq!(freed, 0);"},{"Add":" assert_eq!(new_right.0.offset, page.0.offset);"}],"del_contents":[{"Del":" new_right = page\n"}]}},{"Replacement":{"inode":{"change":5,"pos":387},"path":"sanakirja-core/src/btree/page/rebalance.rs","line":200,"ins":{"up_context":[{"change":5,"pos":5465}],"down_context":[{"change":5,"pos":5571}],"flag":"BLOCK","start":8943,"end":9052,"inode":{"change":5,"pos":387}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":5465},"to":{"change":5,"start":4941,"end":5022},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":5022},"to":{"change":5,"start":5526,"end":5571},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":5526},"to":{"change":5,"start":5526,"end":5571},"introduced_by":5}],"inode":{"change":5,"pos":387}},"ins_contents":[{"Add":" let (new_left, freed) = >::del(txn, m.other, m.other_is_mutable, &lc, 0)?;"},{"Add":" if freed > 0 {"}],"del_contents":[{"Del":" let new_left = >::del(txn, m.other, m.other_is_mutable, &lc, 0)?;\n"},{"Del":" if new_left.0.offset != m.other.offset {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":387},"path":"sanakirja-core/src/btree/page/rebalance.rs","line":204,"ins":{"up_context":[{"change":5,"pos":5670}],"down_context":[{"change":5,"pos":5708}],"flag":"BLOCK","start":9053,"end":9083,"inode":{"change":5,"pos":387}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":5670},"to":{"change":5,"start":3389,"end":3428},"introduced_by":5}],"inode":{"change":5,"pos":387}},"ins_contents":[{"Add":" freed_[1] = freed | b"}],"del_contents":[{"Del":" freed_[1] = m.other.offset | b\n"}]}},{"Edit":{"inode":{"change":5,"pos":5929},"path":"sanakirja-core/src/btree/page/put.rs","line":13,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":6169}],"down_context":[{"change":5,"pos":6169}],"flag":"BLOCK","start":9084,"end":9103,"inode":{"change":5,"pos":5929}}},"contents":[{"Add":" replace: bool,"}]}},{"Replacement":{"inode":{"change":5,"pos":5929},"path":"sanakirja-core/src/btree/page/put.rs","line":30,"ins":{"up_context":[{"change":5,"pos":6224}],"down_context":[{"change":5,"pos":6764}],"flag":"BLOCK","start":9104,"end":9142,"inode":{"change":5,"pos":5929}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":6702},"to":{"change":5,"start":6702,"end":6764},"introduced_by":5}],"inode":{"change":5,"pos":5929}},"ins_contents":[{"Add":" let mut page = MutPage(page);"}],"del_contents":[{"Del":" let mut page = unsafe { core::mem::transmute(page) };\n"}]}},{"Edit":{"inode":{"change":5,"pos":5929},"path":"sanakirja-core/src/btree/page/put.rs","line":32,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":6796}],"down_context":[{"change":5,"pos":6796}],"flag":"BLOCK","start":9143,"end":9720,"inode":{"change":5,"pos":5929}}},"contents":[{"Add":" if replace {"},{"Add":" assert!(!hdr.is_leaf());"},{"Add":" unsafe {"},{"Add":" let p = page.0.data;"},{"Add":" let ptr = p.add(HDR + n as usize * 8) as *mut u64;"},{"Add":" let off = (u64::from_le(*ptr) & 0xfff) as usize;"},{"Add":" let kv_ptr = p.add(off);"},{"Add":" let size = entry_size::(kv_ptr);"},{"Add":" core::ptr::copy(ptr.offset(1), ptr, hdr.n() as usize - n as usize - 1);"},{"Add":" let hdr = header_mut(&mut page);"},{"Add":" hdr.decr(size);"},{"Add":" hdr.set_n(hdr.n() - 1);"},{"Add":" }"},{"Add":" }"}]}},{"Edit":{"inode":{"change":5,"pos":5929},"path":"sanakirja-core/src/btree/page/put.rs","line":60,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":7477}],"down_context":[{"change":5,"pos":7477}],"flag":"BLOCK","start":9721,"end":9783,"inode":{"change":5,"pos":5929}}},"contents":[{"Add":" let s1 = if replace { s1.split_at(1).1 } else { s1 };"}]}},{"Edit":{"inode":{"change":5,"pos":5929},"path":"sanakirja-core/src/btree/page/put.rs","line":63,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":8004}],"down_context":[{"change":5,"pos":7567}],"flag":"BLOCK","start":9784,"end":9834,"inode":{"change":5,"pos":5929}}},"contents":[{"Add":" debug!(\"alloc: {:?} {:?} {:?}\", l, r, n);"}]}},{"Edit":{"inode":{"change":5,"pos":5929},"path":"sanakirja-core/src/btree/page/put.rs","line":70,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":7828}],"down_context":[{"change":5,"pos":8193}],"flag":"BLOCK","start":9835,"end":9939,"inode":{"change":5,"pos":5929}}},"contents":[{"Add":" debug!(\"alloc: {:?}\", new);"},{"Add":" debug!(\"alloc: {:?}\", header(new.0.as_page()).left_page());"}]}},{"Replacement":{"inode":{"change":5,"pos":5929},"path":"sanakirja-core/src/btree/page/put.rs","line":73,"ins":{"up_context":[{"change":5,"pos":8257}],"down_context":[{"change":5,"pos":7974}],"flag":"BLOCK","start":9940,"end":9964,"inode":{"change":5,"pos":5929}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":5,"pos":8257},"to":{"change":5,"start":7895,"end":7974},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":7895},"to":{"change":5,"start":7895,"end":7974},"introduced_by":5}],"inode":{"change":5,"pos":5929}},"ins_contents":[{"Add":" Ok(Put::Ok(Ok {"}],"del_contents":[{"Del":"\n let b0 = if is_dirty { 1 } else { 0 };\n return Ok(Put::Ok(Ok {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":5929},"path":"sanakirja-core/src/btree/page/put.rs","line":75,"ins":{"up_context":[{"change":5,"pos":7997}],"down_context":[{"change":5,"pos":8047}],"flag":"BLOCK","start":9965,"end":10106,"inode":{"change":5,"pos":5929}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":7997},"to":{"change":5,"start":7997,"end":8047},"introduced_by":5}],"inode":{"change":5,"pos":5929}},"ins_contents":[{"Add":" freed: if is_dirty {"},{"Add":" page.offset | 1"},{"Add":" } else {"},{"Add":" page.offset"},{"Add":" },"},{"Add":" }))"}],"del_contents":[{"Del":" freed: page.offset | b0,\n }));\n"}]}},{"Replacement":{"inode":{"change":5,"pos":5929},"path":"sanakirja-core/src/btree/page/put.rs","line":84,"ins":{"up_context":[{"change":5,"pos":47513}],"down_context":[{"change":5,"pos":8372}],"flag":"BLOCK","start":10107,"end":10175,"inode":{"change":5,"pos":5929}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":47513},"to":{"change":5,"start":47513,"end":47589},"introduced_by":5}],"inode":{"change":5,"pos":5929}},"ins_contents":[{"Add":" split::<_, _, _, L>(txn, page, mutable, s, u, k0, v0, l, r)"}],"del_contents":[{"Del":" return split::<_, _, _, L>(txn, page, mutable, s, u, k0, v0, l, r);\n"}]}},{"Edit":{"inode":{"change":5,"pos":17232},"path":"sanakirja-core/src/btree/page/alloc.rs","line":192,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":7404}],"down_context":[{"change":5,"pos":26259}],"flag":"BLOCK","start":10176,"end":10222,"inode":{"change":5,"pos":17232}}},"contents":[{"Add":" debug!(\"can_alloc {:?}\", hdr.data());"}]}},{"Replacement":{"inode":{"change":5,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":125,"ins":{"up_context":[{"change":5,"pos":8945}],"down_context":[{"change":5,"pos":48223}],"flag":"BLOCK","start":10223,"end":10262,"inode":{"change":5,"pos":45735}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":5,"pos":8945},"to":{"change":5,"start":50475,"end":50495},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":50475},"to":{"change":5,"start":50475,"end":50495},"introduced_by":5}],"inode":{"change":5,"pos":45735}},"ins_contents":[{"Add":" BTreePage + core::fmt::Debug"}],"del_contents":[{"Del":" BTreePage\n"}]}},{"Replacement":{"inode":{"change":5,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":160,"ins":{"up_context":[{"change":5,"pos":9058}],"down_context":[{"change":5,"pos":48757}],"flag":"BLOCK","start":10263,"end":10306,"inode":{"change":5,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":9058},"to":{"change":5,"start":9058,"end":9094},"introduced_by":5}],"inode":{"change":5,"pos":45735}},"ins_contents":[{"Add":" ) -> Result<(MutPage, u64), T::Error>;"}],"del_contents":[{"Del":" ) -> Result;\n"}]}},{"Edit":{"inode":{"change":5,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":183,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":49472}],"down_context":[{"change":5,"pos":5469}],"flag":"BLOCK","start":10307,"end":10342,"inode":{"change":5,"pos":45735}}},"contents":[{"Add":" debug!(\"modify: {:?}\", m);"}]}},{"Replacement":{"inode":{"change":5,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":192,"ins":{"up_context":[{"change":5,"pos":3421}],"down_context":[{"change":5,"pos":5668}],"flag":"BLOCK","start":10343,"end":10475,"inode":{"change":5,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":3421},"to":{"change":5,"start":5620,"end":5695},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":5695},"to":{"change":5,"start":3485,"end":3742},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":3485},"to":{"change":5,"start":3485,"end":3742},"introduced_by":5}],"inode":{"change":5,"pos":45735}},"ins_contents":[{"Add":" let (page, freed) = Self::del(txn, m.page, m.mutable, &m.c1, m.l)?;"},{"Add":" Ok(Put::Ok(Ok { freed, page }))"}],"del_contents":[{"Del":" let page = Self::del(txn, m.page, m.mutable, &m.c1, m.l)?;\n"},{"Del":" Ok(Put::Ok(Ok {\n freed: if page.0.offset != m.page.offset {\n m.page.offset\n } else {\n 0\n },\n page,\n }))\n"}]}},{"Replacement":{"inode":{"change":5,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":122,"ins":{"up_context":[{"change":2,"pos":1425}],"down_context":[{"change":5,"pos":60797}],"flag":"BLOCK","start":10476,"end":10577,"inode":{"change":5,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1425},"to":{"change":2,"start":1425,"end":1478},"introduced_by":2}],"inode":{"change":5,"pos":52511}},"ins_contents":[{"Add":" if p[0] > 0 || p[1] > 0 {"},{"Add":" debug!(\"freeing at level {:?}: {:?}\", n, p);"},{"Add":" }"}],"del_contents":[{"Del":" debug!(\"freeing at level {:?}: {:?}\", n, p);\n"}]}},{"Edit":{"inode":{"change":5,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":136,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":61091}],"down_context":[{"change":5,"pos":61091}],"flag":"BLOCK","start":10578,"end":10598,"inode":{"change":5,"pos":52511}}},"contents":[{"Add":" debug!(\"/del\");"}]}},{"Replacement":{"inode":{"change":5,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":539,"ins":{"up_context":[{"change":5,"pos":6825}],"down_context":[{"change":5,"pos":6973}],"flag":"BLOCK","start":10599,"end":10719,"inode":{"change":5,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":6825},"to":{"change":5,"start":6825,"end":6973},"introduced_by":5}],"inode":{"change":5,"pos":52511}},"ins_contents":[{"Add":" let (page, freed) = P::del(txn, last_op.page, last_op.mutable, &last_op.c1, d)?;"},{"Add":" if freed > 0 {"}],"del_contents":[{"Del":" let page = P::del(txn, last_op.page, last_op.mutable, &last_op.c1, d)?;\n if page.0.offset != last_op.page.offset && !is_rc {\n"}]}},{"Replacement":{"inode":{"change":5,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":542,"ins":{"up_context":[{"change":5,"pos":7030}],"down_context":[{"change":5,"pos":7091}],"flag":"BLOCK","start":10720,"end":10767,"inode":{"change":5,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":7030},"to":{"change":5,"start":7030,"end":7091},"introduced_by":5}],"inode":{"change":5,"pos":52511}},"ins_contents":[{"Add":" txn.decr_rc_owned(freed)?;"}],"del_contents":[{"Del":" txn.decr_rc_owned(last_op.page.offset)?;\n"}]}},{"Replacement":{"inode":{"change":5,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":544,"ins":{"up_context":[{"change":5,"pos":7116}],"down_context":[{"change":5,"pos":7171}],"flag":"BLOCK","start":10768,"end":10809,"inode":{"change":5,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":7116},"to":{"change":5,"start":7116,"end":7171},"introduced_by":5}],"inode":{"change":5,"pos":52511}},"ins_contents":[{"Add":" txn.decr_rc(freed)?;"}],"del_contents":[{"Del":" txn.decr_rc(last_op.page.offset)?;\n"}]}},{"Edit":{"inode":{"change":5,"pos":11},"path":"sanakirja/src/tests.rs","line":165,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":490}],"down_context":[{"change":3,"pos":490}],"flag":"BLOCK","start":10810,"end":11553,"inode":{"change":5,"pos":11}}},"contents":[{"Add":" let mut values = Vec::with_capacity(n as usize);"},{"Add":" for i in 0..n {"},{"Add":" put(&mut txn, &mut db, &i, &i).unwrap();"},{"Add":" if i != i0 {"},{"Add":" values.push(i);"},{"Add":" }"},{"Add":" }"},{"Add":" let db2 = fork_db(&mut txn, &db).unwrap();"},{"Add":" del(&mut txn, &mut db, &i0, None).unwrap();"},{"Add":" assert_eq!("},{"Add":" btree::iter(&txn, &db, None)"},{"Add":" .unwrap()"},{"Add":" .map(|kv| *kv.unwrap().0)"},{"Add":" .collect::>(),"},{"Add":" values"},{"Add":" );"},{"Add":"}"},{"Add":""},{"Add":"#[test]"},{"Add":"pub fn del_internal() {"},{"Add":" env_logger::try_init().unwrap_or(());"},{"Add":" let env = Env::new_anon(409600000, 1).unwrap();"},{"Add":" let mut txn = Env::mut_txn_begin(&env).unwrap();"},{"Add":" let mut db: Db = create_db(&mut txn).unwrap();"},{"Add":" let n = 300 as u64;"},{"Add":" let i0 = 127 as u64;"}]}},{"Edit":{"inode":{"change":5,"pos":11},"path":"sanakirja/src/tests.rs","line":199,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":724}],"down_context":[{"change":3,"pos":724}],"flag":"BLOCK","start":11554,"end":11639,"inode":{"change":5,"pos":11}}},"contents":[{"Add":" crate::debug::debug(&txn, &[&db], \"debug\", true);"},{"Add":" debug!(\"===============\");"}]}},{"Edit":{"inode":{"change":5,"pos":11},"path":"sanakirja/src/tests.rs","line":202,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":772}],"down_context":[{"change":3,"pos":772}],"flag":"BLOCK","start":11640,"end":11877,"inode":{"change":5,"pos":11}}},"contents":[{"Add":" let db3: Db = Db {"},{"Add":" db: 20480,"},{"Add":" k: std::marker::PhantomData,"},{"Add":" v: std::marker::PhantomData,"},{"Add":" p: std::marker::PhantomData,"},{"Add":" };"},{"Add":" crate::debug::debug(&txn, &[&db, &db2, &db3], \"debug2\", true);"}]}},{"Replacement":{"inode":{"change":5,"pos":11},"path":"sanakirja/src/tests.rs","line":221,"ins":{"up_context":[{"change":5,"pos":9952}],"down_context":[{"change":5,"pos":5742}],"flag":"BLOCK","start":11878,"end":11899,"inode":{"change":5,"pos":11}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":5,"pos":9952},"to":{"change":5,"start":5685,"end":5701},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":5685},"to":{"change":5,"start":5685,"end":5701},"introduced_by":5}],"inode":{"change":5,"pos":11}},"ins_contents":[{"Add":"pub fn fork_test() {"}],"del_contents":[{"Del":"pub fn fork() {\n"}]}},{"Edit":{"inode":{"change":5,"pos":11},"path":"sanakirja/src/tests.rs","line":275,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":9628}],"down_context":[{"change":5,"pos":10238}],"flag":"BLOCK","start":11900,"end":12016,"inode":{"change":5,"pos":11}}},"contents":[{"Add":" crate::debug::debug(&txn, &[&db, &db2], &format!(\"debug-{}\", i), true);"},{"Add":" debug!(\"deleting {:?}\", i);"}]}},{"Edit":{"inode":{"change":5,"pos":11},"path":"sanakirja/src/tests.rs","line":279,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":10295},"to":{"change":5,"start":9629,"end":9690},"introduced_by":5}],"inode":{"change":5,"pos":11}}},"contents":[{"Del":" crate::debug::debug(&txn, &[&db, &db2], \"debug2\", true);\n"}]}}],"owner":"pijul","repo":"sanakirja","token":"QbpSw6g7FP8QiS/ohdMQYtBswiaKCk4aolUro3rxcfw=","login":null}

…

Dependencies

Change contents