{"header":{"message":"Drop a database","description":null,"timestamp":"2021-02-04T09:04:08.358051078Z","authors":[{"full_name":"Pierre-Étienne Meunier","name":"pmeunier"}]},"hash":"KMT3MF5NLEQIPZLHCRYDGQ5EA46HJCG3C2ANEPMZGKGHDK77ADPAC","authors":[],"deps":{"hashes":[["KMT3MF5NLEQIPZLHCRYDGQ5EA46HJCG3C2ANEPMZGKGHDK77ADPAC","Drop a database"],["AA",null],["OTWDDJE7TTE73D6BGF4ZN6BH2NFUFLPME2VJ3CPALH463UGWLEIQC","Trait/type cleanup"],["OP6SVMOD2GTQ7VNJ4E5KYFG4MIYA7HBMXJTADALMZH4PY7OQRMZQC","Resetting history"],["YWFYZNLZ5JHLIFVBRKZK4TSWVPROUPRG77ZB5M7UHT2OKPL4ZSRQC","Cleanup + inter-process concurrency"],["QEUTVAZ4F4EJXRDMWDMYXF6XEDMX7YPVG4IIXEKPIR3K54E5W5OAC","Splitting btree::page"],["WS4ZQM4RMIHZ6XZKSDQJGHN5SSSWFL4H236USOPUA33S6RC53RFAC","Debugging, tests, etc."],["YXKP4AIWDBIWBBUDWF66YIPG5ECMHNKEV3PX6KYXOVXY3EWG3WGQC","New file locks, with multiple sets of free pages"],["S4V4QZ5CF5LUDYWNR2UMWH6CHJDJ5FPGAZCQYM5GY7FJMJV4NN4QC","Debugging reference-counting for put"],["6UVFCERMGSGNRWCVC3GWO5HWV6MSWE433DXBJVC7KRPP6LLJLCSQC","Formatting, debugging, etc."],["ONES3V466GLO5CXKRF5ENK7VFOQPWM3YXLVRGWB56V5SH3W7XNBQC","reference counting works for put"],["EAAYH6BQWDK52EC5RG3BEZQU3FJPN5RRRN4U5KDKDVPKXBVJMNDAC","Debugging put"]],"deps":["OTWDDJE7TTE73D6BGF4ZN6BH2NFUFLPME2VJ3CPALH463UGWLEIQC"],"known":["OP6SVMOD2GTQ7VNJ4E5KYFG4MIYA7HBMXJTADALMZH4PY7OQRMZQC","WS4ZQM4RMIHZ6XZKSDQJGHN5SSSWFL4H236USOPUA33S6RC53RFAC","ONES3V466GLO5CXKRF5ENK7VFOQPWM3YXLVRGWB56V5SH3W7XNBQC","YXKP4AIWDBIWBBUDWF66YIPG5ECMHNKEV3PX6KYXOVXY3EWG3WGQC","YWFYZNLZ5JHLIFVBRKZK4TSWVPROUPRG77ZB5M7UHT2OKPL4ZSRQC","QEUTVAZ4F4EJXRDMWDMYXF6XEDMX7YPVG4IIXEKPIR3K54E5W5OAC","S4V4QZ5CF5LUDYWNR2UMWH6CHJDJ5FPGAZCQYM5GY7FJMJV4NN4QC","6UVFCERMGSGNRWCVC3GWO5HWV6MSWE433DXBJVC7KRPP6LLJLCSQC"]},"hunks":[{"Replacement":{"inode":{"change":3,"pos":91},"path":"sanakirja-core/src/lib.rs","line":174,"ins":{"up_context":[{"change":3,"pos":3229}],"down_context":[{"change":3,"pos":3427}],"flag":"BLOCK","start":0,"end":314,"inode":{"change":3,"pos":91}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3229},"to":{"change":3,"start":3229,"end":3427},"introduced_by":3}],"inode":{"change":3,"pos":91}},"ins_contents":[{"Add":" // Returns the new RC."},{"Add":" fn incr_rc(&mut self, off: u64) -> Result;"},{"Add":" // Returns the new RC (0 if freed)."},{"Add":" fn decr_rc(&mut self, off: u64) -> Result;"},{"Add":" // Returns the new RC (0 if freed)."},{"Add":" fn decr_rc_owned(&mut self, off: u64) -> Result;"}],"del_contents":[{"Del":" fn incr_rc(&mut self, off: u64) -> Result<(), Self::Error>;\n fn decr_rc(&mut self, off: u64) -> Result<(), Self::Error>;\n fn decr_rc_owned(&mut self, off: u64) -> Result<(), Self::Error>;\n"}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":390,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":1543}],"down_context":[{"change":12,"pos":4199}],"flag":"BLOCK","start":315,"end":517,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":"}"},{"Add":""},{"Add":"pub fn drop>(txn: &mut T, db: Db_) -> Result<(), T::Error> {"},{"Add":" drop_::(txn, db.db.as_page())"}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":395,"atom":{"NewVertex":{"up_context":[{"change":12,"pos":4201}],"down_context":[],"flag":"BLOCK","start":518,"end":1305,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":""},{"Add":"fn drop_>(txn: &mut T, p: Page) -> Result<(), T::Error> {"},{"Add":" let rc = if P::is_dirty(p) {"},{"Add":" txn.decr_rc_owned(p.offset)?"},{"Add":" } else {"},{"Add":" txn.decr_rc(p.offset)?"},{"Add":" };"},{"Add":" if rc == 0 {"},{"Add":" let mut cursor = P::first_cursor(p);"},{"Add":" let left_page = P::left_child(p, &cursor);"},{"Add":" if left_page == 0 {"},{"Add":" return Ok(())"},{"Add":" }"},{"Add":" drop_::(txn, txn.load_page(left_page)?.as_page())?;"},{"Add":" while let Some((k, v, r)) = P::next(txn, p, &mut cursor) {"},{"Add":" for o in k.page_offsets().chain(v.page_offsets()) {"},{"Add":" txn.decr_rc(o)?;"},{"Add":" }"},{"Add":" drop_::(txn, txn.load_page(r)?.as_page())?;"},{"Add":" }"},{"Add":" }"},{"Add":" Ok(())"},{"Add":"}"}]}},{"Replacement":{"inode":{"change":3,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":116,"ins":{"up_context":[{"change":3,"pos":60824}],"down_context":[{"change":3,"pos":60865}],"flag":"BLOCK","start":1306,"end":1348,"inode":{"change":3,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":60824},"to":{"change":3,"start":60824,"end":60865},"introduced_by":3}],"inode":{"change":3,"pos":52511}},"ins_contents":[{"Add":" txn.decr_rc_owned(p[0] ^ 1)?;"}],"del_contents":[{"Del":" txn.decr_rc_owned(p[0] ^ 1)?\n"}]}},{"Replacement":{"inode":{"change":3,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":118,"ins":{"up_context":[{"change":3,"pos":60894}],"down_context":[{"change":3,"pos":60931}],"flag":"BLOCK","start":1349,"end":1381,"inode":{"change":3,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":60894},"to":{"change":3,"start":31368,"end":31399},"introduced_by":3}],"inode":{"change":3,"pos":52511}},"ins_contents":[{"Add":" txn.decr_rc(p[0])?;"}],"del_contents":[{"Del":" txn.decr_rc(p[0])?\n"}]}},{"Replacement":{"inode":{"change":3,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":121,"ins":{"up_context":[{"change":3,"pos":60968}],"down_context":[{"change":3,"pos":61009}],"flag":"BLOCK","start":1382,"end":1424,"inode":{"change":3,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":60968},"to":{"change":3,"start":60968,"end":61009},"introduced_by":3}],"inode":{"change":3,"pos":52511}},"ins_contents":[{"Add":" txn.decr_rc_owned(p[1] ^ 1)?;"}],"del_contents":[{"Del":" txn.decr_rc_owned(p[1] ^ 1)?\n"}]}},{"Replacement":{"inode":{"change":3,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":123,"ins":{"up_context":[{"change":3,"pos":61038}],"down_context":[{"change":3,"pos":61075}],"flag":"BLOCK","start":1425,"end":1457,"inode":{"change":3,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":61038},"to":{"change":3,"start":31400,"end":31431},"introduced_by":3}],"inode":{"change":3,"pos":52511}},"ins_contents":[{"Add":" txn.decr_rc(p[1])?;"}],"del_contents":[{"Del":" txn.decr_rc(p[1])?\n"}]}},{"Replacement":{"inode":{"change":3,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":499,"ins":{"up_context":[{"change":2,"pos":23863}],"down_context":[{"change":2,"pos":23915}],"flag":"BLOCK","start":1458,"end":1511,"inode":{"change":3,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":23863},"to":{"change":2,"start":23863,"end":23915},"introduced_by":2}],"inode":{"change":3,"pos":52511}},"ins_contents":[{"Add":" txn.decr_rc_owned(last_op.page.offset)?;"}],"del_contents":[{"Del":" txn.decr_rc_owned(last_op.page.offset)?\n"}]}},{"Replacement":{"inode":{"change":3,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":501,"ins":{"up_context":[{"change":2,"pos":23932}],"down_context":[{"change":2,"pos":23978}],"flag":"BLOCK","start":1512,"end":1559,"inode":{"change":3,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":23932},"to":{"change":2,"start":23932,"end":23978},"introduced_by":2}],"inode":{"change":3,"pos":52511}},"ins_contents":[{"Add":" txn.decr_rc(last_op.page.offset)?;"}],"del_contents":[{"Del":" txn.decr_rc(last_op.page.offset)?\n"}]}},{"Edit":{"inode":{"change":3,"pos":80166},"path":"sanakirja/src/environment/muttxn.rs","line":202,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":86144}],"down_context":[{"change":3,"pos":86144}],"flag":"BLOCK","start":1560,"end":1644,"inode":{"change":3,"pos":80166}}},"contents":[{"Add":" }"},{"Add":""},{"Add":" pub fn remove_root(&mut self, num: usize) {"},{"Add":" self.roots[num] = 0;"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"sanakirja/src/environment/muttxn.rs","line":271,"ins":{"up_context":[{"change":3,"pos":88441}],"down_context":[{"change":3,"pos":587}],"flag":"BLOCK","start":1645,"end":1707,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":88441},"to":{"change":3,"start":88441,"end":88500},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" fn decr_rc(&mut self, off: u64) -> Result {"}],"del_contents":[{"Del":" fn decr_rc(&mut self, off: u64) -> Result<(), Error> {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"sanakirja/src/environment/muttxn.rs","line":295,"ins":{"up_context":[{"change":3,"pos":934}],"down_context":[{"change":3,"pos":1935}],"flag":"BLOCK","start":1708,"end":1752,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":934},"to":{"change":3,"start":4261,"end":4292},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1934},"to":{"change":3,"start":4261,"end":4292},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" return Ok(rc as usize - 1);"}],"del_contents":[{"Del":" return Ok(());\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"sanakirja/src/environment/muttxn.rs","line":301,"ins":{"up_context":[{"change":3,"pos":89166}],"down_context":[{"change":3,"pos":89181}],"flag":"BLOCK","start":1753,"end":1767,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":89166},"to":{"change":3,"start":89166,"end":89181},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" Ok(0)"}],"del_contents":[{"Del":" Ok(())\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"sanakirja/src/environment/muttxn.rs","line":304,"ins":{"up_context":[{"change":3,"pos":89188}],"down_context":[{"change":3,"pos":1993}],"flag":"BLOCK","start":1768,"end":1836,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":89188},"to":{"change":3,"start":89188,"end":89253},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" fn decr_rc_owned(&mut self, off: u64) -> Result {"}],"del_contents":[{"Del":" fn decr_rc_owned(&mut self, off: u64) -> Result<(), Error> {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"sanakirja/src/environment/muttxn.rs","line":328,"ins":{"up_context":[{"change":3,"pos":1198}],"down_context":[{"change":3,"pos":2244}],"flag":"BLOCK","start":1837,"end":1881,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":1198},"to":{"change":3,"start":4293,"end":4324},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2243},"to":{"change":3,"start":4293,"end":4324},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" return Ok(rc as usize - 1);"}],"del_contents":[{"Del":" return Ok(());\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"sanakirja/src/environment/muttxn.rs","line":334,"ins":{"up_context":[{"change":3,"pos":90041}],"down_context":[{"change":3,"pos":90056}],"flag":"BLOCK","start":1882,"end":1896,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":90041},"to":{"change":3,"start":90041,"end":90056},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" Ok(0)"}],"del_contents":[{"Del":" Ok(())\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"sanakirja/src/environment/muttxn.rs","line":337,"ins":{"up_context":[{"change":3,"pos":90063}],"down_context":[{"change":3,"pos":2303}],"flag":"BLOCK","start":1897,"end":1959,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":90063},"to":{"change":3,"start":90063,"end":90122},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" fn incr_rc(&mut self, off: u64) -> Result {"}],"del_contents":[{"Del":" fn incr_rc(&mut self, off: u64) -> Result<(), Error> {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"sanakirja/src/environment/muttxn.rs","line":355,"ins":{"up_context":[{"change":3,"pos":39798}],"down_context":[{"change":3,"pos":2341}],"flag":"BLOCK","start":1960,"end":2025,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":39798},"to":{"change":3,"start":90667,"end":90699},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":90667},"to":{"change":3,"start":90667,"end":90699},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" self.rc = Some(rc_);"},{"Add":" Ok(rc as usize + 1)"}],"del_contents":[{"Del":" self.rc = Some(rc_)\n"}]}},{"Edit":{"inode":{"change":3,"pos":80166},"path":"sanakirja/src/environment/muttxn.rs","line":363,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":2580}],"down_context":[{"change":3,"pos":90699}],"flag":"BLOCK","start":2026,"end":2044,"inode":{"change":3,"pos":80166}}},"contents":[{"Add":" Ok(2)"}]}},{"Edit":{"inode":{"change":3,"pos":80166},"path":"sanakirja/src/environment/muttxn.rs","line":365,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":90709},"to":{"change":3,"start":90709,"end":90724},"introduced_by":3}],"inode":{"change":3,"pos":80166}}},"contents":[{"Del":" Ok(())\n"}]}}],"owner":"pijul","repo":"sanakirja","token":"0Qr517ojeGv7IRV9YlAfe6JuviVUc7dSYvSls8U2k20=","login":null}

…

Dependencies

Change contents