{"header":{"message":"Diagnostic tools (add_refs, check_free) + cleanup","description":null,"timestamp":"2021-02-21T19:07:48.113236396Z","authors":[{"full_name":"Pierre-Étienne Meunier","name":"pmeunier"}]},"hash":"FZBLNBGNQPNTLBNPNZ2C6DJ5323MZQ2PH54F6ZEKPFCK7TGJFGWAC","authors":[],"deps":{"hashes":[["FZBLNBGNQPNTLBNPNZ2C6DJ5323MZQ2PH54F6ZEKPFCK7TGJFGWAC","Diagnostic tools (add_refs, check_free) + cleanup"],["AA",null],["52X5P7NDBQHIJDIYNY3XUPDHHOO3PDPPNKGO2PGLXKVNM3EVECTQC","Cleaning up the unsized part"],["E4MD6T3LNOYWVFTFFWCUKRNS4M2XVSKRLDWPYHMZHGDNO2T5JREQC","Proofreading and commenting of this crate (massive bug fixes included)"],["DV4A2LR7Q5LAEGAQHLO34PZCHGJUHPAMRZFGT7GUFNKVQKPJNOYQC","Double-inserts (rebalancing near an internal deletion)"],["G4JEQLLX6Q7VVFVAEJZAVQXX33MQ36CSCYSMJ5NQM5VZ76DXKU6QC","Debugging synchronisation"],["OFINGD26ZWCRDVVDI2ZIBLMHXKEMJA6MRNLANJYUHQPIJLPA7J2AC","implementing prev() on cursors (+ some cleanup)"],["LROAI3NBBSCU4T2YA6EHJYKKKL75AU5A7C7WIRCGIQ56S6HPLRXQC","Two iterators (convenience functions), along with tests to move cursors (put and del still destroy cursors though)"],["MSRWB47YP6L5BVTS53QQPBOHY5SXTSTR5KD6IIF35UWCTEUOCQWQC","Deletions at immutable leaves weren't really deleting anything"],["TSMS6W4DOKQNUQ4PEMTLOIODR33VFPN6MMNS73ZPSU4BOQVRGPNAC","Fully commented implementation of Sized nodes + massive cleanup"],["YWFYZNLZ5JHLIFVBRKZK4TSWVPROUPRG77ZB5M7UHT2OKPL4ZSRQC","Cleanup + inter-process concurrency"],["6UVFCERMGSGNRWCVC3GWO5HWV6MSWE433DXBJVC7KRPP6LLJLCSQC","Formatting, debugging, etc."],["AOX2XQISHGWNNAFBYRN44Q6AWG7H5DPBK5YMFHK42HQNZ2TMHEJQC","Actually, with the correct functions, Unsized pages are always slower than Sized pages (especially for writing)"],["W2MIZD5BNL7A5HVFWTESF57QU7T6QMEF4RBSLFQXMEEU3XD2NU2QC","Single file databases + CRC for the root pages (checking the other pages makes everything very slow)"],["D53GTMT3B52DZ7H4F3HBWH4J5FQ5R3GKTEDQ63AXFIAFVMLXXFDQC","Fixing a bug when cloning unsized pages, where insertions in leaves were not always added to the list of offsets"],["QEUTVAZ4F4EJXRDMWDMYXF6XEDMX7YPVG4IIXEKPIR3K54E5W5OAC","Splitting btree::page"],["QYDGYIZRNFRIQD7RUCY5YAN3F2THZA74E5UOHPIFWSULEJFAFVJQC","Split trait Representable into its mandatory part and an optional part"],["YXKP4AIWDBIWBBUDWF66YIPG5ECMHNKEV3PX6KYXOVXY3EWG3WGQC","New file locks, with multiple sets of free pages"],["EYNN7RLSFVBWDLRTLNNFUAF46Q6OX3BR5SUEJIOOHBSNP7FVBXGAC","Tests++ (including UUID)"],["KM3JAFGPFV7MP7M2LJIYRVAUTU646B3IRXADTRZKOU2RF7LUB62QC","Adding a test for next/prev"],["OP6SVMOD2GTQ7VNJ4E5KYFG4MIYA7HBMXJTADALMZH4PY7OQRMZQC","Resetting history"],["HN6Z5DU4WYMAIOOSNVHLIIMNF6Q53TNJ7YC27SLKWNXVYCTACQKQC","Cleanup"],["XEU2QVLCHPYOOD4TQIPEEVYOVSFMKFPLJYWEJYXYJAZ7S54KWDZAC","Debugging after plugging this into Pijul"],["S4V4QZ5CF5LUDYWNR2UMWH6CHJDJ5FPGAZCQYM5GY7FJMJV4NN4QC","Debugging reference-counting for put"],["WS4ZQM4RMIHZ6XZKSDQJGHN5SSSWFL4H236USOPUA33S6RC53RFAC","Debugging, tests, etc."],["UUUVNC4DWEEL7WV5IRPKPZ6HZMYCPA53XM7LJWICUD4E6GN37IRQC","Debugging/cleanup around cursors"],["EHJFNMB2R4MYG6ZSHHEENRFCSPFVWKVHLD5DXAE5HXUGXP5ZVHKQC","Debugging"],["6DMPXOAT5GQ3BQQOMUZN2GMBQPRA4IB7CCPHTQTIFGO3KWWAKF3QC","More debugging"],["OTWDDJE7TTE73D6BGF4ZN6BH2NFUFLPME2VJ3CPALH463UGWLEIQC","Trait/type cleanup"],["NXMFNPZ7VWJRLC3M5QJJVTICXCMGE24F3HVIZA7A7RLVMLQMLDVQC","Comments + debugging drop"],["LSQ6V7M66TEGLJ7QBLRVDX4E7UKJTDQTEXZOS3KGPGFKVXNLPKBQC","Cleanup + docs"],["73Z2UB3JGRLFNFORE7D64O4IHIFSZASD4G4FLJ4FJLHANT75MGIAC","Cleanup + comments"],["X3QVVQIS7B7L3XYZAWL3OOBUXOJ6RMOKQ45YMLLGAHYPEEKZ45ZAC","More debugging (del seems to work now)"],["Q7DRIBBRE4MNG4NP3PVIXAJF5PQYLFWYIVK2O4VVLEO6XY3BOSFQC","Debugging replace (which cannot be del+put)"],["AFKBHYVE25QMIU2WZATEGWG2EXSBQZ44DVDPACKNS3M4QGBF4ONAC","Comparing the two implementations of leaves (sized/unsized). Sized are faster for writes, slower for reads."],["FMN7X4J24EYPOJNBUWM4NKGWSJTRV2DHCIBMPV2AXLZVVAMNOBKQC","Micro-improvements, now noticeably faster than std::collections::BTreeMap"],["RV2L6CZWTMUQ2A52YDAFVHDFGURZL3H4SSCDC347UGN23D3J5KZQC","A few comments"],["UAQX27N4PI4LHEW6LSHJETIE5MV7JTEMPLTJFYUBMYVPC43H7VOAC","Tests"],["H3FVSQIQGFCFKCPXVOSFHP4OSUOBBURJESCZNGQTNDAAD3WQSBEQC","Unsized pages"],["6DCQHIFPEH4GZKSRRS32GMKDRPZH4MTCGOUEI7YEUVKWENBF3JWAC","Minor changes after benchmarking"],["ESUI5EUZUBDPHNN3APU33IFORYPYR6J3WEMEZG57FKF3EH66ZBHAC","Making as_page() unsafe"],["T7QB6QEPWBXAU3RL7LE4GRDWWNQ65ZU2YNNTWBYLORJOABAQFEZQC","Adding debug.rs"]],"deps":["52X5P7NDBQHIJDIYNY3XUPDHHOO3PDPPNKGO2PGLXKVNM3EVECTQC","E4MD6T3LNOYWVFTFFWCUKRNS4M2XVSKRLDWPYHMZHGDNO2T5JREQC"],"known":["OP6SVMOD2GTQ7VNJ4E5KYFG4MIYA7HBMXJTADALMZH4PY7OQRMZQC","FMN7X4J24EYPOJNBUWM4NKGWSJTRV2DHCIBMPV2AXLZVVAMNOBKQC","EHJFNMB2R4MYG6ZSHHEENRFCSPFVWKVHLD5DXAE5HXUGXP5ZVHKQC","WS4ZQM4RMIHZ6XZKSDQJGHN5SSSWFL4H236USOPUA33S6RC53RFAC","UAQX27N4PI4LHEW6LSHJETIE5MV7JTEMPLTJFYUBMYVPC43H7VOAC","X3QVVQIS7B7L3XYZAWL3OOBUXOJ6RMOKQ45YMLLGAHYPEEKZ45ZAC","YXKP4AIWDBIWBBUDWF66YIPG5ECMHNKEV3PX6KYXOVXY3EWG3WGQC","YWFYZNLZ5JHLIFVBRKZK4TSWVPROUPRG77ZB5M7UHT2OKPL4ZSRQC","DV4A2LR7Q5LAEGAQHLO34PZCHGJUHPAMRZFGT7GUFNKVQKPJNOYQC","QEUTVAZ4F4EJXRDMWDMYXF6XEDMX7YPVG4IIXEKPIR3K54E5W5OAC","6DMPXOAT5GQ3BQQOMUZN2GMBQPRA4IB7CCPHTQTIFGO3KWWAKF3QC","S4V4QZ5CF5LUDYWNR2UMWH6CHJDJ5FPGAZCQYM5GY7FJMJV4NN4QC","OTWDDJE7TTE73D6BGF4ZN6BH2NFUFLPME2VJ3CPALH463UGWLEIQC","H3FVSQIQGFCFKCPXVOSFHP4OSUOBBURJESCZNGQTNDAAD3WQSBEQC","6UVFCERMGSGNRWCVC3GWO5HWV6MSWE433DXBJVC7KRPP6LLJLCSQC","AFKBHYVE25QMIU2WZATEGWG2EXSBQZ44DVDPACKNS3M4QGBF4ONAC","AOX2XQISHGWNNAFBYRN44Q6AWG7H5DPBK5YMFHK42HQNZ2TMHEJQC","G4JEQLLX6Q7VVFVAEJZAVQXX33MQ36CSCYSMJ5NQM5VZ76DXKU6QC","UUUVNC4DWEEL7WV5IRPKPZ6HZMYCPA53XM7LJWICUD4E6GN37IRQC","6DCQHIFPEH4GZKSRRS32GMKDRPZH4MTCGOUEI7YEUVKWENBF3JWAC","EYNN7RLSFVBWDLRTLNNFUAF46Q6OX3BR5SUEJIOOHBSNP7FVBXGAC","OFINGD26ZWCRDVVDI2ZIBLMHXKEMJA6MRNLANJYUHQPIJLPA7J2AC","KM3JAFGPFV7MP7M2LJIYRVAUTU646B3IRXADTRZKOU2RF7LUB62QC","LROAI3NBBSCU4T2YA6EHJYKKKL75AU5A7C7WIRCGIQ56S6HPLRXQC","XEU2QVLCHPYOOD4TQIPEEVYOVSFMKFPLJYWEJYXYJAZ7S54KWDZAC","MSRWB47YP6L5BVTS53QQPBOHY5SXTSTR5KD6IIF35UWCTEUOCQWQC","Q7DRIBBRE4MNG4NP3PVIXAJF5PQYLFWYIVK2O4VVLEO6XY3BOSFQC","73Z2UB3JGRLFNFORE7D64O4IHIFSZASD4G4FLJ4FJLHANT75MGIAC","NXMFNPZ7VWJRLC3M5QJJVTICXCMGE24F3HVIZA7A7RLVMLQMLDVQC","RV2L6CZWTMUQ2A52YDAFVHDFGURZL3H4SSCDC347UGN23D3J5KZQC","HN6Z5DU4WYMAIOOSNVHLIIMNF6Q53TNJ7YC27SLKWNXVYCTACQKQC","ESUI5EUZUBDPHNN3APU33IFORYPYR6J3WEMEZG57FKF3EH66ZBHAC","LSQ6V7M66TEGLJ7QBLRVDX4E7UKJTDQTEXZOS3KGPGFKVXNLPKBQC","QYDGYIZRNFRIQD7RUCY5YAN3F2THZA74E5UOHPIFWSULEJFAFVJQC","TSMS6W4DOKQNUQ4PEMTLOIODR33VFPN6MMNS73ZPSU4BOQVRGPNAC","W2MIZD5BNL7A5HVFWTESF57QU7T6QMEF4RBSLFQXMEEU3XD2NU2QC","D53GTMT3B52DZ7H4F3HBWH4J5FQ5R3GKTEDQ63AXFIAFVMLXXFDQC"]},"hunks":[{"Edit":{"inode":{"change":4,"pos":3448},"path":"sanakirja-core/src/btree/put.rs","line":41,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4317},"to":{"change":2,"start":0,"end":41},"introduced_by":2}],"inode":{"change":4,"pos":3448}}},"contents":[{"Del":" debug!(\"put {:?} {:?}\", key, value);\n"}]}},{"Edit":{"inode":{"change":4,"pos":3448},"path":"sanakirja-core/src/btree/put.rs","line":126,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1695},"to":{"change":2,"start":42,"end":109},"introduced_by":2}],"inode":{"change":4,"pos":3448}}},"contents":[{"Del":" debug!(\"Split {:?} {:?}\", split_key, split_value);\n"}]}},{"Edit":{"inode":{"change":4,"pos":3448},"path":"sanakirja-core/src/btree/put.rs","line":172,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7298},"to":{"change":2,"start":110,"end":140},"introduced_by":2}],"inode":{"change":4,"pos":3448}}},"contents":[{"Del":" debug!(\"Ok\");\n"}]}},{"Edit":{"inode":{"change":4,"pos":2014},"path":"sanakirja-core/src/btree/page_unsized.rs","line":716,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":20708},"to":{"change":2,"start":20708,"end":20709},"introduced_by":2}],"inode":{"change":4,"pos":2014}}},"contents":[{"Del":"\n"}]}},{"Replacement":{"inode":{"change":4,"pos":33822},"path":"sanakirja-core/src/btree/page_unsized/alloc.rs","line":44,"ins":{"up_context":[{"change":2,"pos":33217}],"down_context":[{"change":2,"pos":33261}],"flag":"BLOCK","start":0,"end":63,"inode":{"change":4,"pos":33822}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":33217},"to":{"change":2,"start":33217,"end":33261},"introduced_by":2}],"inode":{"change":4,"pos":33822}},"ins_contents":[{"Add":" type Offset: Into<(u64, usize)> + Copy + core::fmt::Debug;"}],"del_contents":[{"Del":" type Offset: Into<(u64, usize)> + Copy;\n"}]}},{"Edit":{"inode":{"change":4,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":71,"atom":{"EdgeMap":{"edges":[{"previous":"","flag":"DELETED","from":{"change":4,"pos":297},"to":{"change":4,"start":0,"end":12},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8638},"to":{"change":4,"start":0,"end":12},"introduced_by":4}],"inode":{"change":4,"pos":8623}}},"contents":[{"Del":"use log::*;\n"}]}},{"Edit":{"inode":{"change":4,"pos":5929},"path":"sanakirja-core/src/btree/page/put.rs","line":121,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":9502},"to":{"change":4,"start":8058,"end":8097},"introduced_by":4}],"inode":{"change":4,"pos":5929}}},"contents":[{"Del":" debug!(\"u = {:?} k = {:?}\", u, k);\n"}]}},{"Edit":{"inode":{"change":4,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":25,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":50142},"to":{"change":4,"start":8415,"end":8427},"introduced_by":4}],"inode":{"change":4,"pos":45735}}},"contents":[{"Del":"use log::*;\n"}]}},{"Edit":{"inode":{"change":4,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":44,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8659},"to":{"change":4,"start":8659,"end":8699},"introduced_by":4}],"inode":{"change":4,"pos":45735}}},"contents":[{"Del":" debug!(\"cursor_first {:?}\", c);\n"}]}},{"Edit":{"inode":{"change":4,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":45,"atom":{"EdgeMap":{"edges":[{"previous":"","flag":"DELETED","from":{"change":4,"pos":9358},"to":{"change":4,"start":8735,"end":8775},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8735},"to":{"change":4,"start":8735,"end":8775},"introduced_by":4}],"inode":{"change":4,"pos":45735}}},"contents":[{"Del":" debug!(\"cursor_first {:?}\", c);\n"}]}},{"Edit":{"inode":{"change":4,"pos":70777},"path":"sanakirja-core/Cargo.toml","line":38,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":70978},"to":{"change":4,"start":1880,"end":1892},"introduced_by":4}],"inode":{"change":4,"pos":70777}}},"contents":[{"Del":"log = \"0.4\"\n"}]}},{"Edit":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":2,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":24},"to":{"change":4,"start":24,"end":64},"introduced_by":4}],"inode":{"change":4,"pos":11}}},"contents":[{"Del":"use std::collections::btree_map::Entry;\n"}]}},{"Edit":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":4,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":97}],"down_context":[{"change":4,"pos":97}],"flag":"BLOCK","start":64,"end":112,"inode":{"change":4,"pos":11}}},"contents":[{"Add":"use crate::debug::*;"},{"Add":"use crate::environment::*;"}]}},{"Edit":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":9,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":177},"to":{"change":4,"start":177,"end":205},"introduced_by":4}],"inode":{"change":4,"pos":11}}},"contents":[{"Del":"\nuse crate::environment::*;\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":60,"ins":{"up_context":[{"change":4,"pos":1952}],"down_context":[{"change":4,"pos":1952}],"flag":"BLOCK","start":113,"end":154,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1952},"to":{"change":4,"start":1404,"end":1459},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db], \"debug0\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db], \"debug0\", true);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":85,"ins":{"up_context":[{"change":4,"pos":2931}],"down_context":[{"change":4,"pos":14882}],"flag":"BLOCK","start":155,"end":196,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2931},"to":{"change":4,"start":14827,"end":14882},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db], \"debug0\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db], \"debug0\", true);\n"}]}},{"Edit":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":148,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":1860}],"down_context":[{"change":4,"pos":5674}],"flag":"BLOCK","start":197,"end":560,"inode":{"change":4,"pos":11}}},"contents":[{"Add":"}"},{"Add":""},{"Add":"#[test]"},{"Add":"pub fn empty_last_cursor() {"},{"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 db: Db = create_db(&mut txn).unwrap();"},{"Add":" let mut curs = btree::cursor::Cursor::new(&txn, &db).unwrap();"},{"Add":" assert!(curs.set_last(&txn).unwrap().is_none());"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":220,"ins":{"up_context":[{"change":4,"pos":11639}],"down_context":[{"change":4,"pos":13307}],"flag":"BLOCK","start":561,"end":601,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":11639},"to":{"change":4,"start":13253,"end":13307},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db], \"debug\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db], \"debug\", true);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":223,"ins":{"up_context":[{"change":4,"pos":772}],"down_context":[{"change":4,"pos":11640}],"flag":"BLOCK","start":602,"end":649,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":772},"to":{"change":4,"start":20956,"end":21017},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db, &db2], \"debug1\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db, &db2], \"debug1\", true);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":230,"ins":{"up_context":[{"change":4,"pos":11810}],"down_context":[{"change":4,"pos":772}],"flag":"BLOCK","start":650,"end":703,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":11810},"to":{"change":4,"start":11810,"end":11877},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db, &db2, &db3], \"debug2\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db, &db2, &db3], \"debug2\", true);\n"}]}},{"Edit":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":239,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":9943},"to":{"change":4,"start":441,"end":479},"introduced_by":4}],"inode":{"change":4,"pos":11}}},"contents":[{"Del":"\ntype B = btree::page::Page;\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":258,"ins":{"up_context":[{"change":4,"pos":6386}],"down_context":[{"change":4,"pos":1460}],"flag":"BLOCK","start":704,"end":751,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":6386},"to":{"change":4,"start":21042,"end":21103},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db, &db2], \"debug0\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db, &db2], \"debug0\", true);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":267,"ins":{"up_context":[{"change":4,"pos":6527}],"down_context":[{"change":4,"pos":6527}],"flag":"BLOCK","start":752,"end":799,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":6527},"to":{"change":4,"start":21104,"end":21165},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db, &db2], \"debug1\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db, &db2], \"debug1\", true);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":290,"ins":{"up_context":[{"change":4,"pos":164}],"down_context":[{"change":4,"pos":26205}],"flag":"BLOCK","start":800,"end":847,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":164},"to":{"change":4,"start":164,"end":225},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db, &db2], \"debug0\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db, &db2], \"debug0\", true);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":295,"ins":{"up_context":[{"change":4,"pos":26345}],"down_context":[{"change":4,"pos":248}],"flag":"BLOCK","start":848,"end":895,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":26345},"to":{"change":4,"start":26345,"end":26406},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db, &db2], \"debug1\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db, &db2], \"debug1\", true);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":298,"ins":{"up_context":[{"change":4,"pos":9628}],"down_context":[{"change":4,"pos":11980}],"flag":"BLOCK","start":896,"end":962,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":9628},"to":{"change":4,"start":11900,"end":11980},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db, &db2], &format!(\"debug-{}\", i), true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db, &db2], &format!(\"debug-{}\", i), true);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":306,"ins":{"up_context":[{"change":4,"pos":392}],"down_context":[{"change":4,"pos":2188}],"flag":"BLOCK","start":963,"end":1010,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":392},"to":{"change":4,"start":9772,"end":9833},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db, &db2], \"debug3\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db, &db2], \"debug3\", true);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":330,"ins":{"up_context":[{"change":4,"pos":7458}],"down_context":[{"change":4,"pos":513}],"flag":"BLOCK","start":1011,"end":1097,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7458},"to":{"change":4,"start":480,"end":513},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" add_free_refs_mut(&txn, &mut refs).unwrap();"},{"Add":" check_free_mut(&mut txn, &refs);"}],"del_contents":[{"Del":" check_free(&mut txn, &refs);\n"}]}},{"Edit":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":333,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":539},"to":{"change":4,"start":539,"end":615},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":615},"to":{"change":4,"start":15223,"end":15245},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":15245},"to":{"change":4,"start":7487,"end":7540},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7487},"to":{"change":4,"start":7487,"end":7540},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7540},"to":{"change":4,"start":51963,"end":52086},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":52086},"to":{"change":4,"start":7586,"end":7597},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7586},"to":{"change":4,"start":7586,"end":7597},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7597},"to":{"change":3,"start":267,"end":359},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":15365},"to":{"change":4,"start":7693,"end":7726},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":3,"pos":359},"to":{"change":4,"start":7693,"end":7726},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":26968},"to":{"change":4,"start":7693,"end":7726},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7693},"to":{"change":4,"start":7693,"end":7726},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7726},"to":{"change":4,"start":616,"end":675},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":675},"to":{"change":4,"start":7790,"end":7827},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7790},"to":{"change":4,"start":7790,"end":7827},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7827},"to":{"change":4,"start":676,"end":719},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":719},"to":{"change":4,"start":7827,"end":7843},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7827},"to":{"change":4,"start":7827,"end":7843},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7843},"to":{"change":4,"start":720,"end":791},"introduced_by":4}],"inode":{"change":4,"pos":11}}},"contents":[{"Del":"}\n\nfn check_free(txn: &mut MutTxn<&Env, ()>, refs: &BTreeMap) {\n"},{"Del":" if txn.free > 0 {\n"},{"Del":" let db_free = Db {\n db: txn.free,\n"},{"Del":" k: std::marker::PhantomData,\n v: std::marker::PhantomData,\n p: std::marker::PhantomData,\n"},{"Del":" };\n"},{"Del":" let mut curs: Cursor<_, _, B> = btree::cursor::Cursor::new(txn, &db_free).unwrap();\n"},{"Del":" debug!(\"{:?}\", db_free);\n"},{"Del":" while let Some((k, _)) = curs.next(txn).unwrap() {\n"},{"Del":" debug!(\"free: {:?}\", k);\n"},{"Del":" assert!(refs.get(k).is_none())\n"},{"Del":" }\n }\n"},{"Del":" for (r, _) in refs.iter() {\n assert!(*r < txn.length)\n }\n"}]}},{"Edit":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":335,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7872},"to":{"change":4,"start":13355,"end":13427},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":13427},"to":{"change":4,"start":7963,"end":7976},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":27051},"to":{"change":4,"start":7963,"end":7976},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7963},"to":{"change":4,"start":7963,"end":7976},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7976},"to":{"change":4,"start":27052,"end":27075},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1694},"to":{"change":4,"start":8001,"end":8067},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":27075},"to":{"change":4,"start":8001,"end":8067},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8001},"to":{"change":4,"start":8001,"end":8067},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8067},"to":{"change":4,"start":15366,"end":15409},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":15409},"to":{"change":4,"start":8067,"end":8138},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":27126},"to":{"change":4,"start":8067,"end":8138},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8067},"to":{"change":4,"start":8067,"end":8138},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8138},"to":{"change":4,"start":27127,"end":27161},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27161},"to":{"change":4,"start":15410,"end":15441},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":15441},"to":{"change":4,"start":8176,"end":8239},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8176},"to":{"change":4,"start":8176,"end":8239},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8239},"to":{"change":4,"start":15442,"end":15485},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":15485},"to":{"change":4,"start":21195,"end":21244},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":15543},"to":{"change":4,"start":8297,"end":8353},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":21244},"to":{"change":4,"start":8297,"end":8353},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8297},"to":{"change":4,"start":8297,"end":8353},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8353},"to":{"change":4,"start":27162,"end":27201},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":27201},"to":{"change":4,"start":8353,"end":8380},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8353},"to":{"change":4,"start":8353,"end":8380},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8380},"to":{"change":4,"start":15544,"end":15579},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":15579},"to":{"change":4,"start":27202,"end":27333},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8431},"to":{"change":4,"start":27202,"end":27333},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27333},"to":{"change":4,"start":15580,"end":15619},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":15619},"to":{"change":4,"start":8564,"end":8658},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8564},"to":{"change":4,"start":8564,"end":8658},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8658},"to":{"change":4,"start":27334,"end":27375},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":27375},"to":{"change":4,"start":8658,"end":8740},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8658},"to":{"change":4,"start":8658,"end":8740},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8740},"to":{"change":4,"start":1695,"end":1696},"introduced_by":4}],"inode":{"change":4,"pos":11}}},"contents":[{"Del":"fn add_refs>(\n"},{"Del":" txn: &T,\n"},{"Del":" db: &Db_,\n"},{"Del":" pages: &mut BTreeMap,\n) -> Result<(), T::Error> {\n"},{"Del":" debug!(\"------ add_refs {:?}\", db.db);\n"},{"Del":" let mut stack = vec![db.db];\n while let Some(p) = stack.pop() {\n"},{"Del":" debug!(\"-- p = {:?}\", p);\n"},{"Del":" match pages.entry(p) {\n"},{"Del":" Entry::Vacant(e) => {\n e.insert(1);\n"},{"Del":" let p = txn.load_page(p)?;\n"},{"Del":" let mut c = P::cursor_first(&p);\n"},{"Del":" let l = P::left_child(p.as_page(), &c);\n"},{"Del":" debug!(\"l = {:?}\", l);\n"},{"Del":" if l > 0 {\n"},{"Del":" stack.push(l);\n"},{"Del":" while let Some((_, _, r)) = P::next(txn, p.as_page(), &mut c) {\n debug!(\"r = {:?}\", r);\n"},{"Del":" stack.push(r);\n"},{"Del":" }\n }\n }\n Entry::Occupied(mut e) => {\n"},{"Del":" debug!(\"already there\");\n"},{"Del":" e.insert(e.get() + 1);\n }\n }\n }\n Ok(())\n}\n"},{"Del":"\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":504,"ins":{"up_context":[{"change":4,"pos":2624}],"down_context":[{"change":4,"pos":2354}],"flag":"BLOCK","start":1098,"end":1135,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2624},"to":{"change":4,"start":2624,"end":2657},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" check_free_mut(&mut txn, &refs);"}],"del_contents":[{"Del":" check_free(&mut txn, &refs);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":531,"ins":{"up_context":[{"change":4,"pos":3005}],"down_context":[{"change":4,"pos":1063}],"flag":"BLOCK","start":1136,"end":1173,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3005},"to":{"change":4,"start":3005,"end":3038},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" check_free_mut(&mut txn, &refs);"}],"del_contents":[{"Del":" check_free(&mut txn, &refs);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":562,"ins":{"up_context":[{"change":4,"pos":2045}],"down_context":[{"change":4,"pos":2045}],"flag":"BLOCK","start":1174,"end":1218,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2045},"to":{"change":2,"start":45410,"end":45468},"introduced_by":2}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db], \"debug\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db], \"debug\", true);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":575,"ins":{"up_context":[{"change":4,"pos":2592}],"down_context":[{"change":4,"pos":2592}],"flag":"BLOCK","start":1219,"end":1263,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2592},"to":{"change":4,"start":10147,"end":10205},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db], \"debug\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db], \"debug\", true);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":856,"ins":{"up_context":[{"change":4,"pos":1140}],"down_context":[{"change":4,"pos":1140}],"flag":"BLOCK","start":1264,"end":1304,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1140},"to":{"change":4,"start":4830,"end":4884},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db], \"debug\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db], \"debug\", true);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":881,"ins":{"up_context":[{"change":4,"pos":5193}],"down_context":[{"change":4,"pos":5247}],"flag":"BLOCK","start":1305,"end":1345,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":5193},"to":{"change":4,"start":5193,"end":5247},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db], \"debug\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db], \"debug\", true);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":940,"ins":{"up_context":[{"change":4,"pos":11740}],"down_context":[{"change":4,"pos":11795}],"flag":"BLOCK","start":1346,"end":1387,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":11740},"to":{"change":4,"start":11740,"end":11795},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db], \"debug0\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db], \"debug0\", true);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":945,"ins":{"up_context":[{"change":4,"pos":11891}],"down_context":[{"change":4,"pos":11959}],"flag":"BLOCK","start":1388,"end":1435,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":11891},"to":{"change":4,"start":11891,"end":11952},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db, &db2], \"debug1\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db, &db2], \"debug1\", true);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":967,"ins":{"up_context":[{"change":4,"pos":12683}],"down_context":[{"change":4,"pos":12716}],"flag":"BLOCK","start":1436,"end":1522,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":12683},"to":{"change":4,"start":12683,"end":12716},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" add_free_refs_mut(&txn, &mut refs).unwrap();"},{"Add":" check_free_mut(&mut txn, &refs);"}],"del_contents":[{"Del":" check_free(&mut txn, &refs);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":989,"ins":{"up_context":[{"change":4,"pos":4338}],"down_context":[{"change":4,"pos":4399}],"flag":"BLOCK","start":1523,"end":1570,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4338},"to":{"change":4,"start":4338,"end":4399},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db, &db2], \"debug1\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db, &db2], \"debug1\", true);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":991,"ins":{"up_context":[{"change":4,"pos":4433}],"down_context":[{"change":4,"pos":4488}],"flag":"BLOCK","start":1571,"end":1612,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4433},"to":{"change":4,"start":4433,"end":4488},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" debug(&txn, &[&db], \"debug2\", true);"}],"del_contents":[{"Del":" crate::debug::debug(&txn, &[&db], \"debug2\", true);\n"}]}},{"Edit":{"inode":{"change":4,"pos":91606},"path":"sanakirja/src/environment/mod.rs","line":103,"atom":{"EdgeMap":{"edges":[{"previous":"","flag":"DELETED","from":{"change":4,"pos":2028},"to":{"change":4,"start":94481,"end":94614},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":94481},"to":{"change":4,"start":94481,"end":94614},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":94614},"to":{"change":4,"start":4622,"end":4666},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":4666},"to":{"change":4,"start":94709,"end":94716},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":94709},"to":{"change":4,"start":94709,"end":94716},"introduced_by":4}],"inode":{"change":4,"pos":91606}}},"contents":[{"Del":" /// std::fs::File size of the database path, if it exists.\n pub fn file_size>(path: P) -> Result {\n"},{"Del":" Ok(std::fs::metadata(&path)?.len())\n"},{"Del":" }\n\n"}]}},{"Replacement":{"inode":{"change":4,"pos":91606},"path":"sanakirja/src/environment/mod.rs","line":237,"ins":{"up_context":[{"change":3,"pos":26074}],"down_context":[{"change":4,"pos":3295}],"flag":"BLOCK","start":1613,"end":1955,"inode":{"change":4,"pos":91606}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":26074},"to":{"change":4,"start":99665,"end":99728},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":99665},"to":{"change":4,"start":99665,"end":99728},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":99728},"to":{"change":4,"start":3260,"end":3295},"introduced_by":4}],"inode":{"change":4,"pos":91606}},"ins_contents":[{"Add":" /// Initialize an environment. If `length` is not a multiple of"},{"Add":" /// `4096`, it is rounded to the next multiple of the page size"},{"Add":" /// (4096 bytes)."},{"Add":" ///"},{"Add":" /// The `n_roots` parameter is the maximum number of versions that"},{"Add":" /// can be alive at the same time, before `mut_txn_begin` must"},{"Add":" /// wait for old readers to stop."}],"del_contents":[{"Del":" /// Initialize an environment. `length` must be a strictly\n"},{"Del":" /// positive multiple of 4096.\n"}]}},{"Replacement":{"inode":{"change":4,"pos":91606},"path":"sanakirja/src/environment/mod.rs","line":245,"ins":{"up_context":[{"change":4,"pos":3303}],"down_context":[{"change":4,"pos":99844}],"flag":"BLOCK","start":1956,"end":2025,"inode":{"change":4,"pos":91606}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3303},"to":{"change":4,"start":3303,"end":3554},"introduced_by":4}],"inode":{"change":4,"pos":91606}},"ins_contents":[{"Add":" /// If `n_roots` is 1, mutable transactions exclude all readers."}],"del_contents":[{"Del":" /// The `n_roots` parameter is the maximum number of mutable\n /// transactions that can commit during a single immutable\n /// transaction, and must be at most 255. If it is 1, mutable\n /// transactions exclude all immutable transactions.\n"}]}},{"Replacement":{"inode":{"change":4,"pos":91606},"path":"sanakirja/src/environment/mod.rs","line":441,"ins":{"up_context":[{"change":3,"pos":29195}],"down_context":[{"change":3,"pos":29207}],"flag":"BLOCK","start":2026,"end":2049,"inode":{"change":4,"pos":91606}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":29195},"to":{"change":3,"start":29195,"end":29207},"introduced_by":3}],"inode":{"change":4,"pos":91606}},"ins_contents":[{"Add":" pub(crate) env: E,"}],"del_contents":[{"Del":" env: E,\n"}]}},{"Edit":{"inode":{"change":42,"pos":11},"path":"sanakirja/src/debug.rs","line":1,"atom":{"NewVertex":{"up_context":[{"change":42,"pos":11}],"down_context":[{"change":42,"pos":39}],"flag":"BLOCK","start":2050,"end":2062,"inode":{"change":42,"pos":11}}},"contents":[{"Add":"use log::*;"}]}},{"Edit":{"inode":{"change":42,"pos":11},"path":"sanakirja/src/debug.rs","line":122,"atom":{"NewVertex":{"up_context":[{"change":42,"pos":3066}],"down_context":[{"change":42,"pos":3066}],"flag":"BLOCK","start":2063,"end":5314,"inode":{"change":42,"pos":11}}},"contents":[{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"type B = btree::page::Page;"},{"Add":""},{"Add":"pub fn check_free_mut("},{"Add":" txn: &crate::MutTxn<&crate::Env, ()>,"},{"Add":" refs: &std::collections::BTreeMap,"},{"Add":") {"},{"Add":" let db_free = if txn.free > 0 {"},{"Add":" let db_free = Db::from_page(txn.free);"},{"Add":" let mut curs: Cursor<_, _, B> = btree::cursor::Cursor::new(txn, &db_free).unwrap();"},{"Add":" while let Some((k, _)) = curs.next(txn).unwrap() {"},{"Add":" assert!(refs.get(k).is_none())"},{"Add":" }"},{"Add":" Some(db_free)"},{"Add":" } else {"},{"Add":" None"},{"Add":" };"},{"Add":" debug!(\"{:?}\", db_free);"},{"Add":" for (r, _) in refs.iter() {"},{"Add":" assert!(*r < txn.length)"},{"Add":" }"},{"Add":" let env = txn.env;"},{"Add":" let len = txn.length;"},{"Add":""},{"Add":" for i in env.roots.len() as u64..(len >> 12) {"},{"Add":" let page = i << 12;"},{"Add":" if refs.contains_key(&page) {"},{"Add":" continue;"},{"Add":" } else if let Some(ref f) = db_free {"},{"Add":" if let Some((x, _)) = get(txn, f, &page, None).unwrap() {"},{"Add":" if *x == page {"},{"Add":" continue;"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":" panic!(\"page not found: 0x{:x} (total length 0x{:x})\", page, len);"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"pub fn check_free>("},{"Add":" txn: &crate::Txn,"},{"Add":" refs: &std::collections::BTreeMap,"},{"Add":") {"},{"Add":" let env = txn.env.borrow();"},{"Add":" let (db_free, length): (Option>, _) = unsafe {"},{"Add":" let hdr = &*(env.mmaps.lock()[0].ptr.add(txn.root * PAGE_SIZE)"},{"Add":" as *const crate::environment::GlobalHeader);"},{"Add":" ("},{"Add":" if hdr.free_db != 0 {"},{"Add":" Some(Db::from_page(u64::from_le(hdr.free_db)))"},{"Add":" } else {"},{"Add":" None"},{"Add":" },"},{"Add":" u64::from_le(hdr.length),"},{"Add":" )"},{"Add":" };"},{"Add":" debug!(\"db_free: {:?}\", db_free);"},{"Add":" for (r, _) in refs.iter() {"},{"Add":" debug!(\"r = 0x{:x}, length = 0x{:x}\", r, length);"},{"Add":" assert!(*r < length)"},{"Add":" }"},{"Add":" for i in env.roots.len() as u64..(length >> 12) {"},{"Add":" let page = i << 12;"},{"Add":" if refs.contains_key(&page) {"},{"Add":" continue;"},{"Add":" } else if let Some(ref f) = db_free {"},{"Add":" if let Some((x, _)) = get(txn, f, &page, None).unwrap() {"},{"Add":" if *x == page {"},{"Add":" continue;"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":" panic!(\"page not found: 0x{:x} (total length 0x{:x})\", page, length);"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"pub fn add_refs>("},{"Add":" txn: &T,"},{"Add":" db: &Db_,"},{"Add":" pages: &mut std::collections::BTreeMap,"},{"Add":") -> Result<(), T::Error> {"},{"Add":" use std::collections::btree_map::Entry;"},{"Add":" let mut stack = vec![db.db];"},{"Add":" while let Some(p) = stack.pop() {"},{"Add":" match pages.entry(p) {"},{"Add":" Entry::Vacant(e) => {"},{"Add":" debug!(\"add_refs: 0x{:x}\", p);"},{"Add":" e.insert(1);"},{"Add":" let p = txn.load_page(p)?;"},{"Add":" let mut c = P::cursor_first(&p);"},{"Add":" let l = P::left_child(p.as_page(), &c);"},{"Add":" if l > 0 {"},{"Add":" stack.push(l);"},{"Add":" while let Some((_, _, r)) = P::next(txn, p.as_page(), &mut c) {"},{"Add":" stack.push(r);"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":" Entry::Occupied(mut e) => {"},{"Add":" e.insert(e.get() + 1);"},{"Add":" }"},{"Add":" }"}]}},{"Edit":{"inode":{"change":42,"pos":11},"path":"sanakirja/src/debug.rs","line":227,"atom":{"NewVertex":{"up_context":[{"change":42,"pos":3072}],"down_context":[{"change":42,"pos":3072}],"flag":"BLOCK","start":5315,"end":5326,"inode":{"change":42,"pos":11}}},"contents":[{"Add":" Ok(())"}]}},{"Edit":{"inode":{"change":42,"pos":11},"path":"sanakirja/src/debug.rs","line":229,"atom":{"NewVertex":{"up_context":[{"change":42,"pos":3074}],"down_context":[],"flag":"BLOCK","start":5327,"end":6914,"inode":{"change":42,"pos":11}}},"contents":[{"Add":""},{"Add":"pub fn add_free_refs>("},{"Add":" txn: &crate::Txn,"},{"Add":" pages: &mut std::collections::BTreeMap,"},{"Add":") -> Result<(), crate::Error> {"},{"Add":" let env = txn.env.borrow();"},{"Add":" unsafe {"},{"Add":" let p = &*(env.mmaps.lock()[0].ptr.add(txn.root * PAGE_SIZE)"},{"Add":" as *const crate::environment::GlobalHeader);"},{"Add":" if p.free_db != 0 {"},{"Add":" debug!(\"add_free_refs: free = 0x{:x}\", p.free_db);"},{"Add":" let free_db: Db = btree::Db::from_page(p.free_db);"},{"Add":" add_refs(txn, &free_db, pages)?;"},{"Add":" }"},{"Add":" if p.rc_db != 0 {"},{"Add":" debug!(\"add_free_refs: rc = 0x{:x}\", p.rc_db);"},{"Add":" let rc_db: Db = btree::Db::from_page(p.rc_db);"},{"Add":" add_refs(txn, &rc_db, pages)?;"},{"Add":" }"},{"Add":" };"},{"Add":" Ok(())"},{"Add":"}"},{"Add":""},{"Add":"pub fn add_free_refs_mut, T>("},{"Add":" txn: &crate::MutTxn,"},{"Add":" pages: &mut std::collections::BTreeMap,"},{"Add":") -> Result<(), crate::Error> {"},{"Add":" let env = txn.env.borrow();"},{"Add":" unsafe {"},{"Add":" let p = &*(env.mmaps.lock()[0].ptr.add(txn.root * PAGE_SIZE)"},{"Add":" as *const crate::environment::GlobalHeader);"},{"Add":" if p.free_db != 0 {"},{"Add":" debug!(\"add_free_refs: free = 0x{:x}\", p.free_db);"},{"Add":" let free_db: Db = btree::Db::from_page(p.free_db);"},{"Add":" add_refs(txn, &free_db, pages)?;"},{"Add":" }"},{"Add":" if p.rc_db != 0 {"},{"Add":" debug!(\"add_free_refs: rc = 0x{:x}\", p.rc_db);"},{"Add":" let rc_db: Db = btree::Db::from_page(p.rc_db);"},{"Add":" add_refs(txn, &rc_db, pages)?;"},{"Add":" }"},{"Add":" };"},{"Add":" Ok(())"},{"Add":"}"}]}}],"owner":"pijul","repo":"sanakirja","token":"48nXa3CBs3ye+lGVdShI2cKmW4QZlgtOiynFdHMeg/I=","login":null}

…

Dependencies

Change contents