{"header":{"message":"Comments + debugging drop","description":null,"timestamp":"2021-02-12T07:56:07.808060467Z","authors":[{"full_name":"Pierre-Étienne Meunier","name":"pmeunier"}]},"hash":"NXMFNPZ7VWJRLC3M5QJJVTICXCMGE24F3HVIZA7A7RLVMLQMLDVQC","authors":[],"deps":{"hashes":[["NXMFNPZ7VWJRLC3M5QJJVTICXCMGE24F3HVIZA7A7RLVMLQMLDVQC","Comments + debugging drop"],["AA",null],["73Z2UB3JGRLFNFORE7D64O4IHIFSZASD4G4FLJ4FJLHANT75MGIAC","Cleanup + comments"],["XEU2QVLCHPYOOD4TQIPEEVYOVSFMKFPLJYWEJYXYJAZ7S54KWDZAC","Debugging after plugging this into Pijul"],["Q7DRIBBRE4MNG4NP3PVIXAJF5PQYLFWYIVK2O4VVLEO6XY3BOSFQC","Debugging replace (which cannot be del+put)"],["DV4A2LR7Q5LAEGAQHLO34PZCHGJUHPAMRZFGT7GUFNKVQKPJNOYQC","Double-inserts (rebalancing near an internal deletion)"],["H3FVSQIQGFCFKCPXVOSFHP4OSUOBBURJESCZNGQTNDAAD3WQSBEQC","Unsized pages"],["OP6SVMOD2GTQ7VNJ4E5KYFG4MIYA7HBMXJTADALMZH4PY7OQRMZQC","Resetting history"],["EAAYH6BQWDK52EC5RG3BEZQU3FJPN5RRRN4U5KDKDVPKXBVJMNDAC","Debugging put"],["YWFYZNLZ5JHLIFVBRKZK4TSWVPROUPRG77ZB5M7UHT2OKPL4ZSRQC","Cleanup + inter-process concurrency"],["OFINGD26ZWCRDVVDI2ZIBLMHXKEMJA6MRNLANJYUHQPIJLPA7J2AC","implementing prev() on cursors (+ some cleanup)"],["MSRWB47YP6L5BVTS53QQPBOHY5SXTSTR5KD6IIF35UWCTEUOCQWQC","Deletions at immutable leaves weren't really deleting anything"],["OTWDDJE7TTE73D6BGF4ZN6BH2NFUFLPME2VJ3CPALH463UGWLEIQC","Trait/type cleanup"],["W26CFMAQOXMUK4ZOJMAN4SMBXMWFQHO7HCTEVW73FQSRMJZFGJIQC","Improving safety of cursors"],["WS4ZQM4RMIHZ6XZKSDQJGHN5SSSWFL4H236USOPUA33S6RC53RFAC","Debugging, tests, etc."],["QEUTVAZ4F4EJXRDMWDMYXF6XEDMX7YPVG4IIXEKPIR3K54E5W5OAC","Splitting btree::page"],["6UVFCERMGSGNRWCVC3GWO5HWV6MSWE433DXBJVC7KRPP6LLJLCSQC","Formatting, debugging, etc."],["X3QVVQIS7B7L3XYZAWL3OOBUXOJ6RMOKQ45YMLLGAHYPEEKZ45ZAC","More debugging (del seems to work now)"],["ONES3V466GLO5CXKRF5ENK7VFOQPWM3YXLVRGWB56V5SH3W7XNBQC","reference counting works for put"],["KMT3MF5NLEQIPZLHCRYDGQ5EA46HJCG3C2ANEPMZGKGHDK77ADPAC","Drop a database"],["T73WR2BX2QDQ6APOREBXUKNH52FDLJNBGWPQUYB2TAF2PT7XCL2AC","Cleaner RC increments for keys and values containing references + more comments in `del`"],["G4JEQLLX6Q7VVFVAEJZAVQXX33MQ36CSCYSMJ5NQM5VZ76DXKU6QC","Debugging synchronisation"],["UAQX27N4PI4LHEW6LSHJETIE5MV7JTEMPLTJFYUBMYVPC43H7VOAC","Tests"],["KX3WVNZW5KHVEH6EOQTZ4RBEFFJ3SGF5I467X3JWZ74PURRK4HVAC","Testing/debugging \"rebalance causes split of the root\""]],"deps":["73Z2UB3JGRLFNFORE7D64O4IHIFSZASD4G4FLJ4FJLHANT75MGIAC"],"known":["OP6SVMOD2GTQ7VNJ4E5KYFG4MIYA7HBMXJTADALMZH4PY7OQRMZQC","WS4ZQM4RMIHZ6XZKSDQJGHN5SSSWFL4H236USOPUA33S6RC53RFAC","EAAYH6BQWDK52EC5RG3BEZQU3FJPN5RRRN4U5KDKDVPKXBVJMNDAC","ONES3V466GLO5CXKRF5ENK7VFOQPWM3YXLVRGWB56V5SH3W7XNBQC","X3QVVQIS7B7L3XYZAWL3OOBUXOJ6RMOKQ45YMLLGAHYPEEKZ45ZAC","YWFYZNLZ5JHLIFVBRKZK4TSWVPROUPRG77ZB5M7UHT2OKPL4ZSRQC","DV4A2LR7Q5LAEGAQHLO34PZCHGJUHPAMRZFGT7GUFNKVQKPJNOYQC","QEUTVAZ4F4EJXRDMWDMYXF6XEDMX7YPVG4IIXEKPIR3K54E5W5OAC","OTWDDJE7TTE73D6BGF4ZN6BH2NFUFLPME2VJ3CPALH463UGWLEIQC","H3FVSQIQGFCFKCPXVOSFHP4OSUOBBURJESCZNGQTNDAAD3WQSBEQC","6UVFCERMGSGNRWCVC3GWO5HWV6MSWE433DXBJVC7KRPP6LLJLCSQC","KMT3MF5NLEQIPZLHCRYDGQ5EA46HJCG3C2ANEPMZGKGHDK77ADPAC","W26CFMAQOXMUK4ZOJMAN4SMBXMWFQHO7HCTEVW73FQSRMJZFGJIQC","OFINGD26ZWCRDVVDI2ZIBLMHXKEMJA6MRNLANJYUHQPIJLPA7J2AC","XEU2QVLCHPYOOD4TQIPEEVYOVSFMKFPLJYWEJYXYJAZ7S54KWDZAC","MSRWB47YP6L5BVTS53QQPBOHY5SXTSTR5KD6IIF35UWCTEUOCQWQC","Q7DRIBBRE4MNG4NP3PVIXAJF5PQYLFWYIVK2O4VVLEO6XY3BOSFQC"]},"hunks":[{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":221,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":50204}],"down_context":[{"change":3,"pos":3868}],"flag":"BLOCK","start":0,"end":107,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":"/// Represents the result of a merge or rebalance, without touching"},{"Add":"/// the parent of the merge/rebalance."}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":226,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":50280}],"down_context":[{"change":3,"pos":50280}],"flag":"BLOCK","start":108,"end":136,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":" // New merged page."}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":228,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":50303}],"down_context":[{"change":3,"pos":50303}],"flag":"BLOCK","start":137,"end":196,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":" // Pages freed by the merge (0 meaning \"no page\")."}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":233,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":50398}],"down_context":[{"change":3,"pos":30618}],"flag":"BLOCK","start":197,"end":224,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":" // New middle key."}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":235,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":30636}],"down_context":[{"change":3,"pos":30636}],"flag":"BLOCK","start":225,"end":254,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":" // New middle value."}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":237,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":30654}],"down_context":[{"change":21,"pos":168}],"flag":"BLOCK","start":255,"end":324,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":" // Do `k` and `v` come from a page shared with another tree?"}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":239,"atom":{"NewVertex":{"up_context":[{"change":21,"pos":194}],"down_context":[{"change":3,"pos":50436}],"flag":"BLOCK","start":325,"end":351,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":" // New left page."}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":241,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":50452}],"down_context":[{"change":3,"pos":50452}],"flag":"BLOCK","start":352,"end":379,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":" // New right page."}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":243,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":50468}],"down_context":[{"change":3,"pos":50468}],"flag":"BLOCK","start":380,"end":443,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":" // Pages freed by the rebalance (0 meaning \"no page\")."}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":249,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":50527}],"down_context":[{"change":3,"pos":50527}],"flag":"BLOCK","start":444,"end":499,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":"/// Represents a page with modifications from a merge."}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":268,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":6029}],"down_context":[{"change":3,"pos":14304}],"flag":"BLOCK","start":500,"end":601,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":" // If a rebalance causes a split, we might need to insert an entry"},{"Add":" // after the replacement."}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":277,"ins":{"up_context":[{"change":3,"pos":51195}],"down_context":[{"change":3,"pos":51660}],"flag":"BLOCK","start":602,"end":698,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":51195},"to":{"change":3,"start":9500,"end":9583},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":50706},"to":{"change":3,"start":14799,"end":14829},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":9583},"to":{"change":3,"start":14799,"end":14829},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":14799},"to":{"change":3,"start":14799,"end":14829},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":30855},"to":{"change":3,"start":51307,"end":51424},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":14829},"to":{"change":3,"start":51307,"end":51424},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":51307},"to":{"change":3,"start":51307,"end":51424},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":51424},"to":{"change":2,"start":11616,"end":11651},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":11651},"to":{"change":3,"start":51471,"end":51481},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":3,"pos":30912},"to":{"change":3,"start":51471,"end":51481},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":51471},"to":{"change":3,"start":51471,"end":51481},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":51481},"to":{"change":3,"start":5696,"end":5817},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":5817},"to":{"change":3,"start":9584,"end":9735},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":51481},"to":{"change":3,"start":9584,"end":9735},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":31032},"to":{"change":3,"start":51582,"end":51660},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":9735},"to":{"change":3,"start":51582,"end":51660},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":51582},"to":{"change":3,"start":51582,"end":51660},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":"/// Represents the concatenation of a modified page and one of its"},{"Add":"/// sibling (left or right)."}],"del_contents":[{"Del":"impl<'a, K: Representable + ?Sized, V: Representable + ?Sized, P: BTreePage>\n"},{"Del":" ModifiedPage<'a, K, V, P>\n"},{"Del":"{\n pub fn single_child(&self) -> Option {\n let mut c1 = self.c1.clone();\n if self.skip_first {\n"},{"Del":" P::move_next(&mut c1);\n"},{"Del":" }\n"},{"Del":" debug!(\n \"single_child: {:?} {:?} {:?} {:?}\",\n self.page, self.c0, c1, self.ins\n );\n"},{"Del":" if P::is_empty(self.page.as_page(), &self.c0)\n && self.ins.is_none()\n && P::is_empty(self.page.as_page(), &c1)\n {\n"},{"Del":" Some(self.l)\n } else {\n None\n }\n }\n}\n\n"}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":281,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":9834}],"down_context":[{"change":3,"pos":31033}],"flag":"BLOCK","start":699,"end":791,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":" /// Modified page."},{"Add":" pub modified: ModifiedPage<'a, K, V, P>,"},{"Add":" /// Middle element."}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":285,"ins":{"up_context":[{"change":3,"pos":31062}],"down_context":[{"change":3,"pos":31110}],"flag":"BLOCK","start":792,"end":830,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":31062},"to":{"change":3,"start":14909,"end":14954},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" /// Sibling of the modified page."}],"del_contents":[{"Del":" pub modified: ModifiedPage<'a, K, V, P>,\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":287,"ins":{"up_context":[{"change":3,"pos":31134}],"down_context":[{"change":3,"pos":51969}],"flag":"BLOCK","start":831,"end":919,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":31134},"to":{"change":3,"start":51883,"end":51969},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":51883},"to":{"change":3,"start":51883,"end":51969},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" /// Is the modified field on the left or on the right of the"},{"Add":" /// concatenation?"}],"del_contents":[{"Del":" // Is the modified field on the left or on the right of the\n // concatenation?\n"}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":290,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":51996}],"down_context":[{"change":3,"pos":5818}],"flag":"BLOCK","start":920,"end":1118,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":" /// Is the other page owned by this tree? If not, it means `other`"},{"Add":" /// is shared with another tree, and hence we need to increase the"},{"Add":" /// reference count of entries coming from `other`."}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":296,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":51999}],"down_context":[{"change":3,"pos":51999}],"flag":"BLOCK","start":1119,"end":1195,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":"/// A database, which is essentially just a page offset along with markers."}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":305,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":9181}],"down_context":[{"change":3,"pos":9181}],"flag":"BLOCK","start":1196,"end":1228,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":"/// A database of sized values."}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":308,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":52188}],"down_context":[{"change":22,"pos":127}],"flag":"BLOCK","start":1229,"end":1322,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":"/// A database of unsized values."},{"Add":"pub type UDb = Db_>;"},{"Add":""}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":312,"atom":{"NewVertex":{"up_context":[{"change":22,"pos":221}],"down_context":[{"change":3,"pos":9231}],"flag":"BLOCK","start":1323,"end":1367,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":" /// Load a database from a page offset."}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":323,"atom":{"NewVertex":{"up_context":[{"change":22,"pos":440}],"down_context":[{"change":3,"pos":183}],"flag":"BLOCK","start":1368,"end":1429,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":"/// Create a database with an arbitrary page implementation."}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":342,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":3887}],"down_context":[{"change":3,"pos":259}],"flag":"BLOCK","start":1430,"end":1479,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":"/// Create a database for sized keys and values."}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":353,"ins":{"up_context":[{"change":3,"pos":501}],"down_context":[{"change":3,"pos":3903}],"flag":"BLOCK","start":1480,"end":1517,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":501},"to":{"change":3,"start":501,"end":518},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":"/// Fork a database."},{"Add":"pub fn fork_db<"}],"del_contents":[{"Del":"pub fn fork_db_<\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":372,"ins":{"up_context":[{"change":3,"pos":604}],"down_context":[{"change":3,"pos":10053}],"flag":"BLOCK","start":1518,"end":1624,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":604},"to":{"change":3,"start":604,"end":657},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":657},"to":{"change":3,"start":15516,"end":15598},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":15598},"to":{"change":3,"start":745,"end":765},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":745},"to":{"change":3,"start":745,"end":765},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":765},"to":{"change":3,"start":15599,"end":15652},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":15652},"to":{"change":3,"start":824,"end":846},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":824},"to":{"change":3,"start":824,"end":846},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":846},"to":{"change":3,"start":404,"end":407},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":4199},"to":{"change":3,"start":404,"end":407},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":"/// Get the first entry of a database greater than or equal to `k` (or"},{"Add":"/// to `(k, v)` if `v.is_some()`)."}],"del_contents":[{"Del":"pub fn fork_db<\n T: AllocPage + core::fmt::Debug,\n"},{"Del":" K: Representable + core::fmt::Debug,\n V: Representable + core::fmt::Debug,\n"},{"Del":">(\n txn: &mut T,\n"},{"Del":" db: &Db,\n) -> Result, T::Error> {\n"},{"Del":" fork_db_(txn, db)\n"},{"Del":"}\n\n"}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":410,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":318}],"down_context":[{"change":3,"pos":650}],"flag":"BLOCK","start":1625,"end":1743,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":"/// Drop a database recursively, dropping all referenced keys and"},{"Add":"/// values that aren't shared with other databases."}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":421,"ins":{"up_context":[{"change":3,"pos":837}],"down_context":[{"change":3,"pos":518}],"flag":"BLOCK","start":1744,"end":1776,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":837},"to":{"change":3,"start":9429,"end":9491},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":9491},"to":{"change":3,"start":4199,"end":4201},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":517},"to":{"change":3,"start":4199,"end":4201},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1543},"to":{"change":3,"start":4199,"end":4201},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":4199},"to":{"change":3,"start":4199,"end":4201},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" use core::mem::MaybeUninit;"}],"del_contents":[{"Del":" drop_::(txn, txn.load_page(db.db)?.as_page())\n"},{"Del":"}\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":423,"ins":{"up_context":[{"change":3,"pos":519}],"down_context":[{"change":3,"pos":1194}],"flag":"BLOCK","start":1777,"end":2442,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":519},"to":{"change":3,"start":838,"end":994},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":994},"to":{"change":3,"start":660,"end":798},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":660},"to":{"change":3,"start":660,"end":798},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":798},"to":{"change":3,"start":9492,"end":9590},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":9590},"to":{"change":3,"start":894,"end":922},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":894},"to":{"change":3,"start":894,"end":922},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":922},"to":{"change":3,"start":995,"end":1022},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1022},"to":{"change":3,"start":948,"end":1194},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":948},"to":{"change":3,"start":948,"end":1194},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" let mut stack: [MaybeUninit>; cursor::N_CURSORS] ="},{"Add":" [MaybeUninit::uninit(); cursor::N_CURSORS];"},{"Add":" let page = txn.load_page(db.db)?;"},{"Add":" stack[0] = MaybeUninit::new(cursor::PageCursor {"},{"Add":" page,"},{"Add":" cursor: P::cursor_before(page.as_page()),"},{"Add":" });"},{"Add":" let mut ptr = 0;"},{"Add":" loop {"},{"Add":" let cur = unsafe { &mut *stack[ptr].as_mut_ptr() };"},{"Add":" let rc = txn.rc(cur.page.offset)?;"},{"Add":" if rc <= 1 {"},{"Add":" if let Some((k, v, _)) = P::current(txn, cur.page.as_page(), &cur.cursor) {"},{"Add":" for o in k.page_offsets().chain(v.page_offsets()) {"},{"Add":" txn.decr_rc(o)?;"},{"Add":" }"}],"del_contents":[{"Del":"fn drop_>(\n txn: &mut T,\n p: Page,\n) -> Result<(), T::Error> {\n"},{"Del":" let rc = if P::is_dirty(p) {\n txn.decr_rc_owned(p.offset)?\n } else {\n txn.decr_rc(p.offset)?\n };\n if rc == 0 {\n"},{"Del":" let mut cursor = P::cursor_before(p);\n let left_page = P::right_child(p, &cursor);\n"},{"Del":" if left_page == 0 {\n"},{"Del":" return Ok(());\n"},{"Del":" }\n drop_::(txn, txn.load_page(left_page)?.as_page())?;\n while let Some((k, v, r)) = P::next(txn, p, &mut cursor) {\n for o in k.page_offsets().chain(v.page_offsets()) {\n txn.decr_rc(o)?;\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":440,"ins":{"up_context":[{"change":3,"pos":1208}],"down_context":[{"change":3,"pos":1276}],"flag":"BLOCK","start":2443,"end":2916,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1208},"to":{"change":3,"start":1208,"end":1276},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" if P::move_next(&mut cur.cursor) {"},{"Add":" let r = P::left_child(cur.page.as_page(), &cur.cursor);"},{"Add":" if r > 0 {"},{"Add":" ptr += 1;"},{"Add":" let page = txn.load_page(r)?;"},{"Add":" stack[ptr] = MaybeUninit::new(cursor::PageCursor {"},{"Add":" page,"},{"Add":" cursor: P::cursor_before(page.as_page()),"},{"Add":" })"},{"Add":" }"},{"Add":" continue"},{"Add":" }"}],"del_contents":[{"Del":" drop_::(txn, txn.load_page(r)?.as_page())?;\n"}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":453,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":1286}],"down_context":[{"change":3,"pos":1286}],"flag":"BLOCK","start":2917,"end":3170,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":" if P::is_dirty(cur.page.as_page()) {"},{"Add":" txn.decr_rc_owned(cur.page.offset)?;"},{"Add":" } else {"},{"Add":" txn.decr_rc(cur.page.offset)?;"},{"Add":" }"},{"Add":" if ptr == 0 {"},{"Add":" break"},{"Add":" } else {"},{"Add":" ptr -= 1;"},{"Add":" }"}]}},{"Replacement":{"inode":{"change":3,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":523,"ins":{"up_context":[{"change":3,"pos":38597}],"down_context":[{"change":3,"pos":23644}],"flag":"BLOCK","start":3171,"end":3217,"inode":{"change":3,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":23598},"to":{"change":3,"start":23598,"end":23644},"introduced_by":3}],"inode":{"change":3,"pos":52511}},"ins_contents":[{"Add":" if let Some(d) = single_child(&last_op) {"}],"del_contents":[{"Del":" if let Some(d) = last_op.single_child() {\n"}]}},{"Edit":{"inode":{"change":3,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":591,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":12290}],"down_context":[{"change":2,"pos":12290}],"flag":"BLOCK","start":3218,"end":3722,"inode":{"change":3,"pos":52511}}},"contents":[{"Add":"fn single_child>(m: &ModifiedPage) -> Option {"},{"Add":" let mut c1 = m.c1.clone();"},{"Add":" if m.skip_first {"},{"Add":" P::move_next(&mut c1);"},{"Add":" }"},{"Add":" debug!("},{"Add":" \"single_child: {:?} {:?} {:?} {:?}\","},{"Add":" m.page,"},{"Add":" m.c0, c1, m.ins"},{"Add":" );"},{"Add":" if P::is_empty(m.page.as_page(), &m.c0)"},{"Add":" && m.ins.is_none()"},{"Add":" && P::is_empty(m.page.as_page(), &c1)"},{"Add":" {"},{"Add":" Some(m.l)"},{"Add":" } else {"},{"Add":" None"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":""}]}},{"Replacement":{"inode":{"change":23,"pos":11},"path":"sanakirja/src/tests.rs","line":172,"ins":{"up_context":[{"change":3,"pos":10997}],"down_context":[{"change":3,"pos":11044}],"flag":"BLOCK","start":3723,"end":3771,"inode":{"change":23,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10997},"to":{"change":3,"start":10997,"end":11044},"introduced_by":3}],"inode":{"change":23,"pos":11}},"ins_contents":[{"Add":" let _db2 = fork_db(&mut txn, &db).unwrap();"}],"del_contents":[{"Del":" let db2 = fork_db(&mut txn, &db).unwrap();\n"}]}},{"Edit":{"inode":{"change":23,"pos":11},"path":"sanakirja/src/tests.rs","line":942,"atom":{"NewVertex":{"up_context":[{"change":24,"pos":5523}],"down_context":[],"flag":"BLOCK","start":3772,"end":4973,"inode":{"change":23,"pos":11}}},"contents":[{"Add":""},{"Add":"#[test]"},{"Add":"pub fn fork_drop() {"},{"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 = 1000 as u64;"},{"Add":" let i0 = 10 as u64;"},{"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":" put(&mut txn, &mut db, &n, &n).unwrap();"},{"Add":" crate::debug::debug(&txn, &[&db, &db2], \"debug1\", true);"},{"Add":" drop(&mut txn, db2).unwrap();"},{"Add":" crate::debug::debug(&txn, &[&db], \"debug2\", true);"},{"Add":""},{"Add":" let mut refs = BTreeMap::new();"},{"Add":" add_refs(&txn, &db, &mut refs).unwrap();"},{"Add":" let mut err = 0;"},{"Add":" for (p, r) in refs.iter() {"},{"Add":" println!(\"{:?} {:?}\", p, r);"},{"Add":" if *r >= 2 {"},{"Add":" error!(\"{:?} {:?} {:?}\", p, txn.rc(*p).unwrap(), *r);"},{"Add":" err += 1;"},{"Add":" } else {"},{"Add":" if txn.rc(*p).unwrap() != 0 {"},{"Add":" error!(\"{:?} {:?} 0\", p, txn.rc(*p).unwrap());"},{"Add":" err += 1;"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":" assert_eq!(err, 0);"},{"Add":"}"}]}}],"owner":"pijul","repo":"sanakirja","token":"Rveds677Ehad5yprGrLxZBcb6Ch1E+lDIb9R+8wbxtQ=","login":null}

…

Dependencies

Change contents