{"header":{"message":"add simple parametric rc impl","description":null,"timestamp":"2021-10-25T23:20:33.434077552Z","authors":[{}]},"hash":"FREPDP7BFOY6H7NJORRJAMJMZQAC4ZSBMOLNBXQTDFFF4PZQIDYQC","authors":[{"key":"9FZSPF6U3oQmpTwxvCnadrHKQEqTkEpnrDg1UWw9Zo9E"}],"deps":{"hashes":[["FREPDP7BFOY6H7NJORRJAMJMZQAC4ZSBMOLNBXQTDFFF4PZQIDYQC","add simple parametric rc impl"],["AA",null],["FFERM7K5YLIE6WQVVFQ33TZMOMNB2IYMHI56UOXCOU2BBWMC4QOQC","add type alias with default rc impl"],["OP6SVMOD2GTQ7VNJ4E5KYFG4MIYA7HBMXJTADALMZH4PY7OQRMZQC","Resetting history"],["TSMS6W4DOKQNUQ4PEMTLOIODR33VFPN6MMNS73ZPSU4BOQVRGPNAC","Fully commented implementation of Sized nodes + massive cleanup"],["WS4ZQM4RMIHZ6XZKSDQJGHN5SSSWFL4H236USOPUA33S6RC53RFAC","Debugging, tests, etc."],["S4V4QZ5CF5LUDYWNR2UMWH6CHJDJ5FPGAZCQYM5GY7FJMJV4NN4QC","Debugging reference-counting for put"],["OFINGD26ZWCRDVVDI2ZIBLMHXKEMJA6MRNLANJYUHQPIJLPA7J2AC","implementing prev() on cursors (+ some cleanup)"],["E4MD6T3LNOYWVFTFFWCUKRNS4M2XVSKRLDWPYHMZHGDNO2T5JREQC","Proofreading and commenting of this crate (massive bug fixes included)"],["YATBB4O7MHKUVYI2JKIYPHLFJIAPK7UPJWAXHR26VVJPIYAOK66AC","run cargo fmt"],["SYURNHHL3P22ZAERTML4YW3DYLATHY5ALZH4GL5NF3LENDSKL2NQC","Adding the `put_mut` and `set_left_child` methods"],["YWFYZNLZ5JHLIFVBRKZK4TSWVPROUPRG77ZB5M7UHT2OKPL4ZSRQC","Cleanup + inter-process concurrency"],["DASFQGORX56YK5E4Y7GGYZSQQQMUXYTZZ4A6IVWSTI3QGRUORLPAC","Debugging"],["NW4S4ZCCT7356356Z46YXQNWL6MTKZY4CGRNZDCHIHUFANYZLN6QC","rename MutTxn to GenericMutTxn"],["UUUVNC4DWEEL7WV5IRPKPZ6HZMYCPA53XM7LJWICUD4E6GN37IRQC","Debugging/cleanup around cursors"],["KMT3MF5NLEQIPZLHCRYDGQ5EA46HJCG3C2ANEPMZGKGHDK77ADPAC","Drop a database"],["YXKP4AIWDBIWBBUDWF66YIPG5ECMHNKEV3PX6KYXOVXY3EWG3WGQC","New file locks, with multiple sets of free pages"],["ONES3V466GLO5CXKRF5ENK7VFOQPWM3YXLVRGWB56V5SH3W7XNBQC","reference counting works for put"],["EDTFMMZW4N2LJQRV3UTY7PVAIKPLNRKQTB6QCMRXXT7QS2YWG5ZAC","add dummy RcEntry trait for rc tree key"]],"deps":["FFERM7K5YLIE6WQVVFQ33TZMOMNB2IYMHI56UOXCOU2BBWMC4QOQC"],"known":["OP6SVMOD2GTQ7VNJ4E5KYFG4MIYA7HBMXJTADALMZH4PY7OQRMZQC","WS4ZQM4RMIHZ6XZKSDQJGHN5SSSWFL4H236USOPUA33S6RC53RFAC","ONES3V466GLO5CXKRF5ENK7VFOQPWM3YXLVRGWB56V5SH3W7XNBQC","YXKP4AIWDBIWBBUDWF66YIPG5ECMHNKEV3PX6KYXOVXY3EWG3WGQC","YWFYZNLZ5JHLIFVBRKZK4TSWVPROUPRG77ZB5M7UHT2OKPL4ZSRQC","S4V4QZ5CF5LUDYWNR2UMWH6CHJDJ5FPGAZCQYM5GY7FJMJV4NN4QC","KMT3MF5NLEQIPZLHCRYDGQ5EA46HJCG3C2ANEPMZGKGHDK77ADPAC","UUUVNC4DWEEL7WV5IRPKPZ6HZMYCPA53XM7LJWICUD4E6GN37IRQC","OFINGD26ZWCRDVVDI2ZIBLMHXKEMJA6MRNLANJYUHQPIJLPA7J2AC","TSMS6W4DOKQNUQ4PEMTLOIODR33VFPN6MMNS73ZPSU4BOQVRGPNAC","E4MD6T3LNOYWVFTFFWCUKRNS4M2XVSKRLDWPYHMZHGDNO2T5JREQC","DASFQGORX56YK5E4Y7GGYZSQQQMUXYTZZ4A6IVWSTI3QGRUORLPAC","SYURNHHL3P22ZAERTML4YW3DYLATHY5ALZH4GL5NF3LENDSKL2NQC","YATBB4O7MHKUVYI2JKIYPHLFJIAPK7UPJWAXHR26VVJPIYAOK66AC","EDTFMMZW4N2LJQRV3UTY7PVAIKPLNRKQTB6QCMRXXT7QS2YWG5ZAC","NW4S4ZCCT7356356Z46YXQNWL6MTKZY4CGRNZDCHIHUFANYZLN6QC"]},"hunks":[{"Replacement":{"inode":{"change":3,"pos":80166},"path":"\"sanakirja/src/environment/muttxn.rs\"","line":11,"ins":{"up_context":[{"change":3,"pos":76}],"down_context":[{"change":3,"pos":82}],"flag":"BLOCK","start":0,"end":154,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":76},"to":{"change":3,"start":76,"end":119},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":"pub trait RcEntry: PartialEq + Storable {"},{"Add":" fn from_page_count(page: u64, count: u64) -> Self;"},{"Add":" fn page(&self) -> u64;"},{"Add":" fn count(&self) -> u64;"},{"Add":"}"}],"del_contents":[{"Del":"pub trait RcEntry: PartialEq + Storable {}\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"\"sanakirja/src/environment/muttxn.rs\"","line":17,"ins":{"up_context":[{"change":3,"pos":83}],"down_context":[{"change":2,"pos":83}],"flag":"BLOCK","start":155,"end":294,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":83},"to":{"change":3,"start":83,"end":107},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":"impl RcEntry for u64 {"},{"Add":" fn from_page_count(page: u64, count: u64) -> Self {"},{"Add":" assert!(count <= 0xfff);"},{"Add":" page | count"},{"Add":" }"}],"del_contents":[{"Del":"impl RcEntry for u64 {}\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"\"sanakirja/src/environment/muttxn.rs\"","line":23,"ins":{"up_context":[{"change":2,"pos":84}],"down_context":[{"change":3,"pos":37287}],"flag":"BLOCK","start":295,"end":531,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":84},"to":{"change":2,"start":84,"end":147},"introduced_by":2}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" fn page(&self) -> u64 {"},{"Add":" *self & !0xfff"},{"Add":" }"},{"Add":""},{"Add":" fn count(&self) -> u64 {"},{"Add":" *self & 0xfff"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"/// A mutable transaction using 12 bits for the reference counting."},{"Add":"pub type MutTxn = GenericMutTxn;"}],"del_contents":[{"Del":"pub type MutTxn, T> = GenericMutTxn;\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"\"sanakirja/src/environment/muttxn.rs\"","line":106,"ins":{"up_context":[{"change":3,"pos":8146}],"down_context":[{"change":3,"pos":37309}],"flag":"BLOCK","start":532,"end":641,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":8146},"to":{"change":3,"start":300,"end":405},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":"impl<'a, E: Borrow, T, R: RcEntry> Commit"},{"Add":" for GenericMutTxn, R>"},{"Add":"{"}],"del_contents":[{"Del":"impl<'a, E: Borrow, T, R: RcEntry> Commit for GenericMutTxn, R> {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"\"sanakirja/src/environment/muttxn.rs\"","line":173,"ins":{"up_context":[{"change":3,"pos":82078}],"down_context":[{"change":3,"pos":82162}],"flag":"BLOCK","start":642,"end":763,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":82078},"to":{"change":3,"start":406,"end":512},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" pub fn mut_txn_begin, R: RcEntry>("},{"Add":" env: E,"},{"Add":" ) -> Result, Error> {"}],"del_contents":[{"Del":" pub fn mut_txn_begin, R: RcEntry>(env: E) -> Result, Error> {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"\"sanakirja/src/environment/muttxn.rs\"","line":515,"ins":{"up_context":[{"change":3,"pos":16374}],"down_context":[{"change":3,"pos":19963}],"flag":"BLOCK","start":764,"end":828,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":16374},"to":{"change":3,"start":19922,"end":19963},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" curs.set(self, &R::from_page_count(off, 0), None)?;"}],"del_contents":[{"Del":" curs.set(self, &off, None)?;\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"\"sanakirja/src/environment/muttxn.rs\"","line":517,"ins":{"up_context":[{"change":3,"pos":20029}],"down_context":[{"change":3,"pos":38548}],"flag":"BLOCK","start":829,"end":898,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":19070},"to":{"change":3,"start":38483,"end":38524},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":20029},"to":{"change":3,"start":38483,"end":38524},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":38483},"to":{"change":3,"start":38483,"end":38524},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":38524},"to":{"change":3,"start":19071,"end":19103},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" if rc.page() == off {"},{"Add":" rc.count()"}],"del_contents":[{"Del":" if *rc & !0xfff == off {\n"},{"Del":" *rc & 0xfff\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"\"sanakirja/src/environment/muttxn.rs\"","line":529,"ins":{"up_context":[{"change":3,"pos":2540}],"down_context":[{"change":3,"pos":19279}],"flag":"BLOCK","start":899,"end":979,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":2478},"to":{"change":3,"start":19176,"end":19279},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":2540},"to":{"change":3,"start":19176,"end":19279},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":20082},"to":{"change":3,"start":19176,"end":19279},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":89127},"to":{"change":3,"start":19176,"end":19279},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" btree::put(self, &mut rc_, &R::from_page_count(off, rc + 1), &())?;"}],"del_contents":[{"Del":" assert!(rc + 1 <= 0xfff);\n btree::put(self, &mut rc_, &(off | (rc + 1)), &())?;\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"\"sanakirja/src/environment/muttxn.rs\"","line":534,"ins":{"up_context":[{"change":3,"pos":19411}],"down_context":[{"change":3,"pos":19468}],"flag":"BLOCK","start":980,"end":1054,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":19411},"to":{"change":3,"start":19411,"end":19468},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" btree::put(self, &mut rc, &R::from_page_count(off, 2), &())?;"}],"del_contents":[{"Del":" btree::put(self, &mut rc, &(off | 2), &())?;\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"\"sanakirja/src/environment/muttxn.rs\"","line":568,"ins":{"up_context":[{"change":3,"pos":16443}],"down_context":[{"change":3,"pos":20319}],"flag":"BLOCK","start":1055,"end":1119,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":16443},"to":{"change":3,"start":42107,"end":42148},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" curs.set(self, &R::from_page_count(off, 0), None)?;"}],"del_contents":[{"Del":" curs.set(self, &off, None)?;\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"\"sanakirja/src/environment/muttxn.rs\"","line":573,"ins":{"up_context":[{"change":3,"pos":38994}],"down_context":[{"change":3,"pos":39059}],"flag":"BLOCK","start":1120,"end":1189,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":38994},"to":{"change":3,"start":38994,"end":39059},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" if rc.page() == off {"},{"Add":" rc.count()"}],"del_contents":[{"Del":" if *rc & !0xfff == off {\n *rc\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"\"sanakirja/src/environment/muttxn.rs\"","line":586,"ins":{"up_context":[{"change":3,"pos":20682}],"down_context":[{"change":3,"pos":1036}],"flag":"BLOCK","start":1190,"end":1395,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":1705},"to":{"change":3,"start":39211,"end":39267},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":2098},"to":{"change":3,"start":39211,"end":39267},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":20682},"to":{"change":3,"start":39211,"end":39267},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":39211},"to":{"change":3,"start":39211,"end":39267},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1738},"to":{"change":3,"start":935,"end":971},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":39267},"to":{"change":3,"start":935,"end":971},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":971},"to":{"change":3,"start":971,"end":1036},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" btree::del(self, &mut rc_, &R::from_page_count(off, rc), None)?;"},{"Add":" if rc.count() > 2 {"},{"Add":" btree::put(self, &mut rc_, &R::from_page_count(off, rc - 1), &())?;"}],"del_contents":[{"Del":" btree::del(self, &mut rc_, &rc, None)?;\n"},{"Del":" if rc & 0xfff > 2 {\n"},{"Del":" btree::put(self, &mut rc_, &(rc - 1), &())?;\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"\"sanakirja/src/environment/muttxn.rs\"","line":596,"ins":{"up_context":[{"change":3,"pos":1198}],"down_context":[{"change":3,"pos":2244}],"flag":"BLOCK","start":1396,"end":1440,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1198},"to":{"change":3,"start":1739,"end":1793},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" return Ok(rc as usize - 1);"}],"del_contents":[{"Del":" return Ok((rc & 0xfff) as usize - 1);\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"\"sanakirja/src/environment/muttxn.rs\"","line":633,"ins":{"up_context":[{"change":3,"pos":91142}],"down_context":[{"change":3,"pos":91440}],"flag":"BLOCK","start":1441,"end":1615,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":91142},"to":{"change":3,"start":2581,"end":2653},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":2653},"to":{"change":3,"start":91357,"end":91440},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":91357},"to":{"change":3,"start":91357,"end":91440},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" if let Some((rc, _)) = btree::get(self, rc, &R::from_page_count(page, 0), None)? {"},{"Add":" if rc.page() == page {"},{"Add":" let r = rc.count();"}],"del_contents":[{"Del":" if let Some((rc, _)) = btree::get(self, rc, &page, None)? {\n"},{"Del":" if *rc & !0xfff == page {\n let r = *rc & 0xfff;\n"}]}}],"owner":"pijul","repo":"sanakirja","token":"jr7p5jHuqNGCEo162m5MJqwDSVrWdZkxPaWdUCH/7e4=","login":null}

…

Dependencies

Change contents