{"header":{"message":"Splitting btree::page","description":null,"timestamp":"2021-02-02T14:32:27.021162191Z","authors":[{"full_name":"Pierre-Étienne Meunier","name":"pmeunier"}]},"hash":"QEUTVAZ4F4EJXRDMWDMYXF6XEDMX7YPVG4IIXEKPIR3K54E5W5OAC","authors":[],"deps":{"hashes":[["QEUTVAZ4F4EJXRDMWDMYXF6XEDMX7YPVG4IIXEKPIR3K54E5W5OAC","Splitting btree::page"],["AA",null],["ONES3V466GLO5CXKRF5ENK7VFOQPWM3YXLVRGWB56V5SH3W7XNBQC","reference counting works for put"],["DV4A2LR7Q5LAEGAQHLO34PZCHGJUHPAMRZFGT7GUFNKVQKPJNOYQC","Double-inserts (rebalancing near an internal deletion)"],["FMN7X4J24EYPOJNBUWM4NKGWSJTRV2DHCIBMPV2AXLZVVAMNOBKQC","Micro-improvements, now noticeably faster than std::collections::BTreeMap"],["OP6SVMOD2GTQ7VNJ4E5KYFG4MIYA7HBMXJTADALMZH4PY7OQRMZQC","Resetting history"],["EHJFNMB2R4MYG6ZSHHEENRFCSPFVWKVHLD5DXAE5HXUGXP5ZVHKQC","Debugging"],["WS4ZQM4RMIHZ6XZKSDQJGHN5SSSWFL4H236USOPUA33S6RC53RFAC","Debugging, tests, etc."],["EAAYH6BQWDK52EC5RG3BEZQU3FJPN5RRRN4U5KDKDVPKXBVJMNDAC","Debugging put"],["YWFYZNLZ5JHLIFVBRKZK4TSWVPROUPRG77ZB5M7UHT2OKPL4ZSRQC","Cleanup + inter-process concurrency"],["R5AJGJPTY6CRGFJNBJEH4XOTOUZUI2FV4YKC3EZQQMYT2GMZJYKAC","Minor performance improvement"],["UAQX27N4PI4LHEW6LSHJETIE5MV7JTEMPLTJFYUBMYVPC43H7VOAC","Tests"],["X3QVVQIS7B7L3XYZAWL3OOBUXOJ6RMOKQ45YMLLGAHYPEEKZ45ZAC","More debugging (del seems to work now)"]],"deps":["ONES3V466GLO5CXKRF5ENK7VFOQPWM3YXLVRGWB56V5SH3W7XNBQC","DV4A2LR7Q5LAEGAQHLO34PZCHGJUHPAMRZFGT7GUFNKVQKPJNOYQC"],"known":["OP6SVMOD2GTQ7VNJ4E5KYFG4MIYA7HBMXJTADALMZH4PY7OQRMZQC","R5AJGJPTY6CRGFJNBJEH4XOTOUZUI2FV4YKC3EZQQMYT2GMZJYKAC","FMN7X4J24EYPOJNBUWM4NKGWSJTRV2DHCIBMPV2AXLZVVAMNOBKQC","EHJFNMB2R4MYG6ZSHHEENRFCSPFVWKVHLD5DXAE5HXUGXP5ZVHKQC","WS4ZQM4RMIHZ6XZKSDQJGHN5SSSWFL4H236USOPUA33S6RC53RFAC","EAAYH6BQWDK52EC5RG3BEZQU3FJPN5RRRN4U5KDKDVPKXBVJMNDAC","UAQX27N4PI4LHEW6LSHJETIE5MV7JTEMPLTJFYUBMYVPC43H7VOAC","X3QVVQIS7B7L3XYZAWL3OOBUXOJ6RMOKQ45YMLLGAHYPEEKZ45ZAC","YWFYZNLZ5JHLIFVBRKZK4TSWVPROUPRG77ZB5M7UHT2OKPL4ZSRQC"]},"hunks":[{"Edit":{"inode":{"change":4,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":3,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":269},"to":{"change":3,"start":269,"end":297},"introduced_by":3}],"inode":{"change":4,"pos":8623}}},"contents":[{"Del":"use core::mem::MaybeUninit;\n"}]}},{"Edit":{"inode":{"change":4,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":5,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":8651}],"down_context":[{"change":4,"pos":8651}],"flag":"BLOCK","start":0,"end":95,"inode":{"change":4,"pos":8623}}},"contents":[{"Add":"mod put;"},{"Add":"mod alloc;"},{"Add":"use alloc::*;"},{"Add":"mod header;"},{"Add":"use header::*;"},{"Add":"mod rebalance;"},{"Add":"use rebalance::*;"},{"Add":""}]}},{"Edit":{"inode":{"change":4,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":27,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8867},"to":{"change":4,"start":1201,"end":1218},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1218},"to":{"change":4,"start":8867,"end":8997},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8867},"to":{"change":4,"start":8867,"end":8997},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8997},"to":{"change":4,"start":1219,"end":1266},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1266},"to":{"change":4,"start":9031,"end":9723},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":9031},"to":{"change":4,"start":9031,"end":9723},"introduced_by":4}],"inode":{"change":4,"pos":8623}}},"contents":[{"Del":"#[derive(Debug)]\n"},{"Del":"#[repr(C)]\nstruct Header {\n n: u16,\n data: u16,\n crc: u32,\n left_page: u64,\n}\n\nimpl Header {\n fn init(&mut self) {\n"},{"Del":" self.n = (1u16).to_le(); // dirty page\n"},{"Del":" self.data = 4096_u16.to_le();\n self.crc = 0;\n self.left_page = 0;\n }\n\n fn n(&self) -> u16 {\n u16::from_le(self.n) >> 4\n }\n\n fn set_n(&mut self, n: u16) {\n let dirty = u16::from_le(self.n) & 1;\n self.n = ((n << 4) | dirty).to_le()\n }\n\n fn is_dirty(&self) -> bool {\n u16::from_le(self.n) & 1 != 0\n }\n\n fn left_page(&self) -> u64 {\n u64::from_le(self.left_page)\n }\n\n fn decr(&mut self, s: usize) {\n self.left_page = (self.left_page() - s as u64).to_le();\n }\n\n fn is_leaf(&self) -> bool {\n u64::from_le(self.left_page) <= 0xfff\n }\n}\n\nconst HDR: usize = core::mem::size_of::

();\n\n"}]}},{"Replacement":{"inode":{"change":4,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":42,"ins":{"up_context":[{"change":4,"pos":1493}],"down_context":[{"change":4,"pos":10094}],"flag":"BLOCK","start":96,"end":117,"inode":{"change":4,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1493},"to":{"change":4,"start":1493,"end":1547},"introduced_by":4}],"inode":{"change":4,"pos":8623}},"ins_contents":[{"Add":" hdr.clean();"}],"del_contents":[{"Del":" hdr.n = (u16::from_le(hdr.n) & 0xfff).to_le()\n"}]}},{"Replacement":{"inode":{"change":4,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":93,"ins":{"up_context":[{"change":4,"pos":1844}],"down_context":[{"change":4,"pos":1918}],"flag":"BLOCK","start":118,"end":203,"inode":{"change":4,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1844},"to":{"change":3,"start":896,"end":976},"introduced_by":3}],"inode":{"change":4,"pos":8623}},"ins_contents":[{"Add":" put::put::<_, _, _, Leaf>(txn, page, mutable, c.cur, k0, v0, k1v1, 0, 0)"}],"del_contents":[{"Del":" put::<_, _, _, Leaf>(txn, page, mutable, c.cur, k0, v0, k1v1, 0, 0)\n"}]}},{"Replacement":{"inode":{"change":4,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":95,"ins":{"up_context":[{"change":4,"pos":1935}],"down_context":[{"change":4,"pos":11455}],"flag":"BLOCK","start":204,"end":293,"inode":{"change":4,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1935},"to":{"change":3,"start":977,"end":1061},"introduced_by":3}],"inode":{"change":4,"pos":8623}},"ins_contents":[{"Add":" put::put::<_, _, _, Internal>(txn, page, mutable, c.cur, k0, v0, k1v1, l, r)"}],"del_contents":[{"Del":" put::<_, _, _, Internal>(txn, page, mutable, c.cur, k0, v0, k1v1, l, r)\n"}]}},{"Edit":{"inode":{"change":4,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":111,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1380},"to":{"change":3,"start":1380,"end":1404},"introduced_by":3}],"inode":{"change":4,"pos":8623}}},"contents":[{"Del":" assert!(l > 0);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":139,"ins":{"up_context":[{"change":2,"pos":364}],"down_context":[{"change":4,"pos":2360}],"flag":"BLOCK","start":294,"end":328,"inode":{"change":4,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":364},"to":{"change":2,"start":364,"end":403},"introduced_by":2}],"inode":{"change":4,"pos":8623}},"ins_contents":[{"Add":" hdr.set_left_page(l);"}],"del_contents":[{"Del":" hdr.left_page = l.to_le();\n"}]}},{"Edit":{"inode":{"change":4,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":566,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":26296},"to":{"change":4,"start":26296,"end":26299},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":26299},"to":{"change":4,"start":12030,"end":12083},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":12083},"to":{"change":3,"start":5425,"end":5480},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":5480},"to":{"change":4,"start":26386,"end":26388},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":12150},"to":{"change":4,"start":26386,"end":26388},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":26386},"to":{"change":4,"start":26386,"end":26388},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":26388},"to":{"change":4,"start":12151,"end":12210},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":12210},"to":{"change":3,"start":5481,"end":5531},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":5531},"to":{"change":4,"start":26479,"end":26496},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":12272},"to":{"change":4,"start":26479,"end":26496},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":26479},"to":{"change":4,"start":26479,"end":26496},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":26496},"to":{"change":3,"start":5532,"end":5805},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":5805},"to":{"change":4,"start":12403,"end":12507},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":26754},"to":{"change":4,"start":12403,"end":12507},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":12507},"to":{"change":3,"start":5806,"end":5958},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":5958},"to":{"change":4,"start":12604,"end":12698},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":442},"to":{"change":4,"start":12604,"end":12698},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":12604},"to":{"change":4,"start":12604,"end":12698},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":12698},"to":{"change":4,"start":26949,"end":27025},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":26949},"to":{"change":4,"start":26949,"end":27025},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27025},"to":{"change":4,"start":12699,"end":12826},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":12826},"to":{"change":4,"start":27156,"end":27217},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27156},"to":{"change":4,"start":27156,"end":27217},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27217},"to":{"change":4,"start":12827,"end":12928},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":12928},"to":{"change":4,"start":27321,"end":27357},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27321},"to":{"change":4,"start":27321,"end":27357},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27357},"to":{"change":4,"start":12929,"end":12989},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":12989},"to":{"change":4,"start":27424,"end":27476},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27424},"to":{"change":4,"start":27424,"end":27476},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27476},"to":{"change":4,"start":12990,"end":13020},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":13020},"to":{"change":4,"start":27514,"end":27750},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27514},"to":{"change":4,"start":27514,"end":27750},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27750},"to":{"change":4,"start":13021,"end":13134},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":13134},"to":{"change":4,"start":27785,"end":27886},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27785},"to":{"change":4,"start":27785,"end":27886},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27886},"to":{"change":4,"start":13135,"end":13293},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":13293},"to":{"change":4,"start":27886,"end":28060},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27886},"to":{"change":4,"start":27886,"end":28060},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":28218},"to":{"change":4,"start":28218,"end":28732},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":28732},"to":{"change":3,"start":5959,"end":6242},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":6242},"to":{"change":4,"start":28861,"end":29015},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":28861},"to":{"change":4,"start":28861,"end":29015},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":29015},"to":{"change":3,"start":6243,"end":6373},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":6373},"to":{"change":4,"start":29015,"end":29224},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":13442},"to":{"change":4,"start":29015,"end":29224},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":29015},"to":{"change":4,"start":29015,"end":29224},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":29224},"to":{"change":3,"start":6374,"end":6475},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":6475},"to":{"change":4,"start":29355,"end":29731},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":29355},"to":{"change":4,"start":29355,"end":29731},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":29731},"to":{"change":3,"start":6476,"end":6629},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":6629},"to":{"change":4,"start":13607,"end":13915},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":573},"to":{"change":4,"start":13607,"end":13915},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":13607},"to":{"change":4,"start":13607,"end":13915},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":13915},"to":{"change":4,"start":574,"end":575},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":576},"to":{"change":4,"start":13915,"end":13936},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":13915},"to":{"change":4,"start":13915,"end":13936},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":13936},"to":{"change":3,"start":6630,"end":6752},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":6752},"to":{"change":4,"start":679,"end":712},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":679},"to":{"change":4,"start":679,"end":712},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":712},"to":{"change":3,"start":6753,"end":6814},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":6814},"to":{"change":4,"start":771,"end":863},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":771},"to":{"change":4,"start":771,"end":863},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":863},"to":{"change":4,"start":13936,"end":14071},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":13936},"to":{"change":4,"start":13936,"end":14071},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":14071},"to":{"change":4,"start":864,"end":1105},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1105},"to":{"change":4,"start":14098,"end":14131},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":14098},"to":{"change":4,"start":14098,"end":14131},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":14131},"to":{"change":4,"start":1106,"end":1151},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1151},"to":{"change":4,"start":14174,"end":14327},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":14174},"to":{"change":4,"start":14174,"end":14327},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":14327},"to":{"change":4,"start":1152,"end":1173},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1173},"to":{"change":3,"start":6815,"end":6946},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":6946},"to":{"change":4,"start":1265,"end":1279},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1265},"to":{"change":4,"start":1265,"end":1279},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1279},"to":{"change":4,"start":14327,"end":14536},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":14327},"to":{"change":4,"start":14327,"end":14536},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":14536},"to":{"change":4,"start":1280,"end":1326},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1326},"to":{"change":4,"start":14563,"end":14639},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":14563},"to":{"change":4,"start":14563,"end":14639},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":14639},"to":{"change":3,"start":6947,"end":7039},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":7039},"to":{"change":4,"start":14790,"end":14805},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":14790},"to":{"change":4,"start":14790,"end":14805},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":14805},"to":{"change":3,"start":7040,"end":7284},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":7284},"to":{"change":4,"start":14990,"end":15141},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":14990},"to":{"change":4,"start":14990,"end":15141},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":15141},"to":{"change":4,"start":1327,"end":1344},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1344},"to":{"change":4,"start":15141,"end":15224},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":15141},"to":{"change":4,"start":15141,"end":15224},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":15224},"to":{"change":4,"start":29805,"end":29866},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":29805},"to":{"change":4,"start":29805,"end":29866},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":29866},"to":{"change":4,"start":15225,"end":15264},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":45},"to":{"change":4,"start":29905,"end":30054},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":15264},"to":{"change":4,"start":29905,"end":30054},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":29905},"to":{"change":4,"start":29905,"end":30054},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":30054},"to":{"change":4,"start":15265,"end":15358},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":15358},"to":{"change":4,"start":30176,"end":30404},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":30176},"to":{"change":4,"start":30176,"end":30404},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":30404},"to":{"change":4,"start":2447,"end":2506},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2506},"to":{"change":4,"start":15359,"end":15724},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":15724},"to":{"change":4,"start":30688,"end":30848},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":30688},"to":{"change":4,"start":30688,"end":30848},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":30848},"to":{"change":4,"start":15725,"end":15805},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":15805},"to":{"change":3,"start":7285,"end":7428},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":7428},"to":{"change":4,"start":15873,"end":16210},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":15873},"to":{"change":4,"start":15873,"end":16210},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":16210},"to":{"change":4,"start":31184,"end":31229},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":31184},"to":{"change":4,"start":31184,"end":31229},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":31229},"to":{"change":4,"start":16211,"end":16412},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":16412},"to":{"change":4,"start":31397,"end":31403},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":31397},"to":{"change":4,"start":31397,"end":31403},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":31403},"to":{"change":4,"start":16413,"end":16474},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":16474},"to":{"change":4,"start":31466,"end":31496},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":31466},"to":{"change":4,"start":31466,"end":31496},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":31496},"to":{"change":4,"start":16475,"end":16577},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":16577},"to":{"change":4,"start":31600,"end":31637},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":31600},"to":{"change":4,"start":31600,"end":31637},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":31637},"to":{"change":4,"start":16578,"end":16610},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":16610},"to":{"change":4,"start":31672,"end":31786},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":31672},"to":{"change":4,"start":31672,"end":31786},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":31786},"to":{"change":4,"start":16611,"end":16833},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":16833},"to":{"change":4,"start":31948,"end":31964},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":31948},"to":{"change":4,"start":31948,"end":31964},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":31964},"to":{"change":4,"start":16834,"end":16894},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":16894},"to":{"change":4,"start":32031,"end":32088},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":32031},"to":{"change":4,"start":32031,"end":32088},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":32088},"to":{"change":3,"start":7429,"end":7460},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":7460},"to":{"change":4,"start":16928,"end":17025},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":16928},"to":{"change":4,"start":16928,"end":17025},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":17025},"to":{"change":3,"start":7461,"end":7487},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":7487},"to":{"change":4,"start":17053,"end":17063},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":17053},"to":{"change":4,"start":17053,"end":17063},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":17063},"to":{"change":4,"start":32224,"end":32259},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":32224},"to":{"change":4,"start":32224,"end":32259},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":32259},"to":{"change":3,"start":7488,"end":7679},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":7679},"to":{"change":4,"start":17128,"end":17197},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":32388},"to":{"change":4,"start":17128,"end":17197},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":17197},"to":{"change":4,"start":32388,"end":32487},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":32388},"to":{"change":4,"start":32388,"end":32487},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":32487},"to":{"change":3,"start":7680,"end":7781},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":7781},"to":{"change":4,"start":32618,"end":32704},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":32618},"to":{"change":4,"start":32618,"end":32704},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":32704},"to":{"change":3,"start":7782,"end":7935},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":7935},"to":{"change":4,"start":17362,"end":17471},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1475},"to":{"change":4,"start":17362,"end":17471},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":17362},"to":{"change":4,"start":17362,"end":17471},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":17471},"to":{"change":4,"start":1476,"end":1518},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1518},"to":{"change":4,"start":17471,"end":17611},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":17471},"to":{"change":4,"start":17471,"end":17611},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":17611},"to":{"change":4,"start":1519,"end":1565},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1565},"to":{"change":4,"start":17640,"end":17665},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":17640},"to":{"change":4,"start":17640,"end":17665},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":17707},"to":{"change":4,"start":17707,"end":18064},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":18064},"to":{"change":3,"start":7936,"end":8147},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":8147},"to":{"change":4,"start":18216,"end":18300},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":18216},"to":{"change":4,"start":18216,"end":18300},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":18300},"to":{"change":4,"start":1566,"end":1632},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1632},"to":{"change":4,"start":18300,"end":18369},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":18300},"to":{"change":4,"start":18300,"end":18369},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":18369},"to":{"change":4,"start":1633,"end":1646},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1646},"to":{"change":4,"start":18370,"end":18503},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":18370},"to":{"change":4,"start":18370,"end":18503},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":18503},"to":{"change":4,"start":32778,"end":33027},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":32778},"to":{"change":4,"start":32778,"end":33027},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":33027},"to":{"change":4,"start":18504,"end":18597},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":18597},"to":{"change":4,"start":33149,"end":33226},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":33149},"to":{"change":4,"start":33149,"end":33226},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":33226},"to":{"change":4,"start":18598,"end":18670},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":18670},"to":{"change":3,"start":8148,"end":8271},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":8271},"to":{"change":4,"start":18746,"end":19047},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":18746},"to":{"change":4,"start":18746,"end":19047},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":19047},"to":{"change":4,"start":33548,"end":33579},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":33548},"to":{"change":4,"start":33548,"end":33579},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":33579},"to":{"change":4,"start":19048,"end":19262},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":19262},"to":{"change":4,"start":33760,"end":33766},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":33760},"to":{"change":4,"start":33760,"end":33766},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":33766},"to":{"change":4,"start":19263,"end":19524},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":19524},"to":{"change":4,"start":33990,"end":34030},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":33990},"to":{"change":4,"start":33990,"end":34030},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":34030},"to":{"change":4,"start":19525,"end":19627},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":19627},"to":{"change":4,"start":34134,"end":34171},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":34134},"to":{"change":4,"start":34134,"end":34171},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":34171},"to":{"change":4,"start":19628,"end":19862},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":19862},"to":{"change":4,"start":34356,"end":34362},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":34356},"to":{"change":4,"start":34356,"end":34362},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":34362},"to":{"change":4,"start":19863,"end":19923},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":19923},"to":{"change":4,"start":34429,"end":34486},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":34429},"to":{"change":4,"start":34429,"end":34486},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":34486},"to":{"change":3,"start":8272,"end":8303},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":8303},"to":{"change":4,"start":19957,"end":20054},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":19957},"to":{"change":4,"start":19957,"end":20054},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":20054},"to":{"change":3,"start":8304,"end":8330},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":8330},"to":{"change":4,"start":20082,"end":20092},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":20082},"to":{"change":4,"start":20082,"end":20092},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":20092},"to":{"change":4,"start":34622,"end":34628},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":34622},"to":{"change":4,"start":34622,"end":34628},"introduced_by":4}],"inode":{"change":4,"pos":8623}}},"contents":[{"Del":"}\n\n"},{"Del":"fn header<'a>(page: crate::Page<'a>) -> &'a Header {\n"},{"Del":" unsafe { &*(page.data.as_ptr() as *const Header) }\n"},{"Del":"}\n"},{"Del":"\nfn header_mut(page: &mut crate::MutPage) -> &mut Header {\n"},{"Del":" unsafe { &mut *(page.0.data as *mut Header) }\n"},{"Del":"}\n\ntrait Alloc {\n"},{"Del":" fn extra_size, V: Representable>() -> usize;\n fn can_alloc, V: Representable>(hdr: &Header, size: usize) -> bool;\n fn can_compact, V: Representable>(hdr: &Header, size: usize) -> bool;\n"},{"Del":" fn alloc(hdr: &mut Header, size: usize, align: usize) -> u16;\n\n // n = number of items to remove\n"},{"Del":" fn truncate_left, V: Representable>(\n page: &mut MutPage,\n n: usize,\n ) -> Option<(*const K, *const V)>;\n"},{"Del":"\n fn alloc_insert, V: Representable>(\n new: &mut MutPage,\n"},{"Del":" n: &mut isize,\n size: usize,\n r: u64,\n ) -> usize;\n"},{"Del":" fn set_offset(new: &mut MutPage, n: isize, r: u64, off: u16);\n fn set_right_child(new: &mut MutPage, n: isize, r: u64);\n"},{"Del":" type Offset: Into<(u64, u16)> + Copy + core::fmt::Debug;\n"},{"Del":" fn offset_slice<'a, T, K: Representable, V: Representable>(\n page: crate::Page<'a>,\n"},{"Del":" ) -> Offsets<'a, Self::Offset>;\n"},{"Del":" fn kv<'a, T, K: Representable, V: Representable>(\n"},{"Del":" page: crate::Page,\n off: (u64, u16),\n"},{"Del":" ) -> (&'a K, &'a V, u64);\n"},{"Del":"}\n\n#[derive(Debug, Clone)]\nenum Offsets<'a, A> {\n Slice(&'a [A]),\n Range(core::ops::Range),\n}\n\nimpl<'a, A: Into<(u64, u16)> + Copy> Offsets<'a, A> {\n fn split_at(&self, mid: usize) -> (Self, Self) {\n match self {\n"},{"Del":" Offsets::Slice(s) if mid < s.len() => {\n debug!(\"split_at: {:?} {:?}\", s.len(), mid);\n"},{"Del":" let (a, b) = s.split_at(mid);\n (Offsets::Slice(a), Offsets::Slice(b))\n"},{"Del":" }\n Offsets::Slice(s) => {\n debug_assert_eq!(mid, s.len());\n (Offsets::Slice(s), Offsets::Slice(&[][..]))\n"},{"Del":" }\n Offsets::Range(r) => (\n Offsets::Range(r.start..r.start + mid),\n Offsets::Range(r.start + mid..r.end),\n ),\n"},{"Del":" }\n }\n fn first, V: Representable>(&self) -> (u64, u16) {\n match self {\n Offsets::Slice(s) => s[0].into(),\n Offsets::Range(r) => {\n let size = fixed_size::().unwrap();\n let al = K::ALIGN.max(V::ALIGN);\n let hdr_size = (HDR + al - 1) & !(al - 1);\n (0, (hdr_size + r.start * size) as u16)\n }\n }\n }\n}\n\nstruct Leaf {}\nstruct Internal {}\n\nimpl Alloc for Leaf {\n"},{"Del":" fn extra_size, V: Representable>() -> usize {\n if fixed_size::().is_some() {\n 0\n } else {\n 2\n }\n }\n fn can_alloc, V: Representable>(hdr: &Header, size: usize) -> bool {\n"},{"Del":" if let Some(f) = fixed_size::() {\n let al = K::ALIGN.max(V::ALIGN);\n let header_size = (HDR + al - 1) & !(al - 1);\n"},{"Del":" debug!(\n \"Leaf::can_alloc: {:?} {:?} {:?}\",\n header_size, size, hdr.data\n );\n"},{"Del":" header_size + (hdr.n() as usize) * f + size < u16::from_le(hdr.data) as usize\n } else {\n HDR + (hdr.n() as usize) * 2 + 2 + size < u16::from_le(hdr.data) as usize\n }\n }\n"},{"Del":" fn can_compact, V: Representable>(hdr: &Header, size: usize) -> bool {\n"},{"Del":" if fixed_size::().is_some() {\n let al = K::ALIGN.max(V::ALIGN);\n let header_size = (HDR + al - 1) & !(al - 1);\n header_size + ((hdr.left_page() & 0xfff) as usize) + size\n < u16::from_le(hdr.data) as usize\n } else {\n HDR + ((hdr.left_page() & 0xfff) as usize) + 2 + size < 4096\n }\n }\n"},{"Del":" fn truncate_left, V: Representable>(\n page: &mut MutPage,\n n: usize,\n ) -> Option<(*const K, *const V)> {\n"},{"Del":" debug!(\"truncate_left {:?} {:?}\", page, n);\n if let Some(f) = fixed_size::() {\n let al = K::ALIGN.max(V::ALIGN);\n let hdr_size = (HDR + al - 1) & !(al - 1);\n // debug!(\"{:?} {:?} {:?}\", new, hdr.n(), *n);\n let hdr_n = header_mut(page).n();\n"},{"Del":"\n"},{"Del":" unsafe {\n"},{"Del":" let mut swap: core::mem::MaybeUninit> =\n core::mem::MaybeUninit::uninit();\n"},{"Del":" core::ptr::copy(\n"},{"Del":" page.0.data.add(hdr_size + (n - 1) * f),\n"},{"Del":" swap.as_mut_ptr() as *mut u8,\n f,\n );\n"},{"Del":" core::ptr::copy(\n page.0.data.add(hdr_size + n * f),\n page.0.data.add(hdr_size),\n"},{"Del":" (hdr_n as usize - n) * f,\n );\n core::ptr::copy(\n swap.as_ptr() as *mut u8,\n page.0.data.add(hdr_size + (hdr_n as usize - n) * f),\n f,\n"},{"Del":" );\n }\n"},{"Del":" debug!(\"{:?} - {:?}\", hdr_n, n);\n"},{"Del":" let hdr = header_mut(page);\n hdr.set_n(hdr_n - n as u16);\n hdr.left_page = (hdr.left_page() - (n * f) as u64).to_le();\n"},{"Del":" unsafe {\n"},{"Del":" Some(read::(\n page.0.data.add(hdr_size + (hdr_n as usize - n) * f),\n ))\n"},{"Del":" }\n"},{"Del":" } else {\n let hdr_n = header_mut(page).n();\n unsafe {\n core::ptr::copy(\n page.0.data.add(HDR + n * 2),\n page.0.data.add(HDR),\n"},{"Del":" (hdr_n as usize - n) * 2,\n"},{"Del":" );\n }\n let deleted_offsets = unsafe {\n"},{"Del":" core::slice::from_raw_parts(page.0.data.add(HDR) as *const u16, n as usize)\n"},{"Del":" };\n"},{"Del":" let deleted_size: u64 = deleted_offsets\n .iter()\n .map(|&off| {\n 2 + unsafe { entry_size::(page.0.data.add(off as usize)) } as u64\n })\n .sum();\n"},{"Del":" let hdr = header_mut(page);\n hdr.set_n(hdr_n - n as u16);\n hdr.left_page = (hdr.left_page() - deleted_size).to_le();\n"},{"Del":" None\n"},{"Del":" }\n }\n fn alloc(hdr: &mut Header, size: usize, align: usize) -> u16 {\n"},{"Del":" let mut data = u16::from_le(hdr.data) - size as u16;\n"},{"Del":" data &= !((align - 1) as u16);\n"},{"Del":" hdr.data = data.to_le();\n hdr.set_n(hdr.n() + 1);\n hdr.left_page = (hdr.left_page() + size as u64).to_le();\n data\n }\n"},{"Del":" fn alloc_insert, V: Representable>(\n new: &mut MutPage,\n"},{"Del":" n: &mut isize,\n size: usize,\n _: u64,\n ) -> usize {\n if let Some(f) = fixed_size::() {\n let al = K::ALIGN.max(V::ALIGN);\n let hdr_size = (HDR + al - 1) & !(al - 1);\n"},{"Del":" // debug!(\"{:?} {:?} {:?}\", new, hdr.n(), *n);\n"},{"Del":" let hdr_n = header_mut(new).n();\n unsafe {\n core::ptr::copy(\n new.0.data.add(hdr_size + (*n as usize) * f),\n new.0.data.add(hdr_size + (*n as usize) * f + f),\n (hdr_n as usize - (*n as usize)) * f,\n );\n }\n let hdr = header_mut(new);\n"},{"Del":" hdr.set_n(hdr.n() + 1);\n hdr.left_page = (hdr.left_page() + f as u64).to_le();\n hdr_size + (*n as usize) * f\n } else {\n"},{"Del":" let (hdr_n, off_new) = {\n let hdr = header_mut(new);\n"},{"Del":" (\n hdr.n(),\n Self::alloc(&mut *hdr, 2 + size, K::ALIGN.max(V::ALIGN)),\n )\n"},{"Del":" };\n unsafe {\n core::ptr::copy(\n new.0.data.add(HDR + (*n as usize) * 2),\n new.0.data.add(HDR + (*n as usize) * 2 + 2),\n (hdr_n as usize - (*n as usize)) * 2,\n );\n }\n Self::set_offset(new, *n, 0, off_new);\n"},{"Del":" off_new as usize\n }\n }\n"},{"Del":" fn set_offset(new: &mut MutPage, n: isize, _: u64, off: u16) {\n unsafe {\n let ptr = new.0.data.offset(HDR as isize + n * 2) as *mut u16;\n *ptr = off.to_le();\n }\n"},{"Del":" }\n"},{"Del":" fn set_right_child(_: &mut MutPage, _: isize, _: u64) {}\n"},{"Del":" type Offset = LeafOffset;\n"},{"Del":"\n fn offset_slice<'a, T, K: Representable, V: Representable>(\n page: crate::Page<'a>,\n"},{"Del":" ) -> Offsets<'a, Self::Offset> {\n"},{"Del":" let hdr = header(page);\n"},{"Del":" if fixed_size::().is_some() {\n Offsets::Range(0..(hdr.n() as usize))\n } else {\n"},{"Del":" unsafe {\n Offsets::Slice(core::slice::from_raw_parts(\n page.data.as_ptr().add(HDR) as *const LeafOffset,\n hdr.n() as usize,\n ))\n }\n"},{"Del":" }\n }\n"},{"Del":" fn kv<'a, T, K: Representable, V: Representable>(\n"},{"Del":" page: crate::Page,\n (_, off): (u64, u16),\n"},{"Del":" ) -> (&'a K, &'a V, u64) {\n"},{"Del":" unsafe {\n let (k, v) = read::(page.data.as_ptr().add(off as usize));\n"},{"Del":" (&*k, &*v, 0)\n"},{"Del":" }\n"},{"Del":" }\n}\n\nimpl Alloc for Internal {\n"},{"Del":" fn extra_size, V: Representable>() -> usize {\n 8\n }\n fn can_alloc, V: Representable>(hdr: &Header, size: usize) -> bool {\n"},{"Del":" debug!(\"Internal::can_alloc: {:?} {:?}\", hdr.n(), hdr.data);\n"},{"Del":" (HDR as usize) + (hdr.n() as usize) * 8 + 8 + size < u16::from_le(hdr.data) as usize\n }\n"},{"Del":" fn can_compact, V: Representable>(hdr: &Header, size: usize) -> bool {\n"},{"Del":" (HDR as usize) + ((hdr.left_page() & 0xfff) as usize) + 8 + size < 4096\n }\n"},{"Del":" fn truncate_left, V: Representable>(\n page: &mut MutPage,\n n: usize,\n ) -> Option<(*const K, *const V)> {\n"},{"Del":" // The following line copies the left child of the last entry\n // (hence the `- 8` and `- 1`)\n"},{"Del":" let hdr_n = header_mut(page).n();\n"},{"Del":" unsafe {\n core::ptr::copy(\n page.0.data.add(HDR + (n - 1) * 8),\n page.0.data.add(HDR - 8),\n"},{"Del":" (hdr_n as usize - n + 1) * 8,\n"},{"Del":" );\n }\n"},{"Del":" let size = if let Some(f) = fixed_size::() {\n ((8 + f) * (hdr_n as usize - n)) as u64\n } else {\n let offsets = unsafe {\n core::slice::from_raw_parts(\n page.0.data.add(HDR + n * 8) as *const u16,\n hdr_n as usize - n as usize,\n )\n };\n"},{"Del":" offsets\n .iter()\n .map(|&off| {\n 8 + unsafe { entry_size::(page.0.data.add(off as usize)) } as u64\n })\n .sum()\n"},{"Del":" };\n let hdr = header_mut(page);\n hdr.set_n(hdr_n - n as u16);\n"},{"Del":" debug!(\"truncate_left {:?} {:?}\", hdr.left_page(), size);\n"},{"Del":" hdr.left_page = ((hdr.left_page() & !0xfff) | size).to_le();\n"},{"Del":" None\n"},{"Del":" }\n fn alloc(hdr: &mut Header, size: usize, align: usize) -> u16 {\n debug!(\"data = {:?}, size = {:?}\", hdr.data, size);\n"},{"Del":" let mut data = u16::from_le(hdr.data) - size as u16;\n data -= data % (align as u16);\n hdr.data = data.to_le();\n hdr.set_n(hdr.n() + 1);\n hdr.left_page = (hdr.left_page() + size as u64).to_le();\n data\n }\n"},{"Del":" fn alloc_insert, V: Representable>(\n new: &mut MutPage,\n"},{"Del":" n: &mut isize,\n size: usize,\n r: u64,\n ) -> usize {\n"},{"Del":" let (hdr_n, off_new) = {\n let hdr = header_mut(new);\n"},{"Del":" (\n hdr.n(),\n Self::alloc(&mut *hdr, size, K::ALIGN.max(V::ALIGN)),\n )\n"},{"Del":" };\n unsafe {\n core::ptr::copy(\n new.0.data.add(HDR + (*n as usize) * 8),\n new.0.data.add(HDR + (*n as usize) * 8 + 8),\n (hdr_n as usize - (*n as usize)) * 8,\n );\n }\n Self::set_offset(new, *n, r, off_new);\n"},{"Del":" off_new as usize\n }\n"},{"Del":" fn set_offset(new: &mut MutPage, n: isize, r: u64, off: u16) {\n unsafe {\n let ptr = new.0.data.offset(HDR as isize + n * 8) as *mut u64;\n *ptr = (r | off as u64).to_le();\n }\n"},{"Del":" }\n"},{"Del":" fn set_right_child(page: &mut MutPage, n: isize, r: u64) {\n unsafe {\n let ptr = page.0.data.offset(HDR as isize + n * 8) as *mut u64;\n let off = u64::from_le(*ptr) & 0xfff;\n *ptr = (r | off as u64).to_le();\n }\n"},{"Del":" }\n type Offset = InternalOffset;\n"},{"Del":"\n fn offset_slice<'a, T, K: Representable, V: Representable>(\n page: crate::Page<'a>,\n"},{"Del":" ) -> Offsets<'a, Self::Offset> {\n"},{"Del":" let hdr = header(page);\n unsafe {\n Offsets::Slice(core::slice::from_raw_parts(\n page.data.as_ptr().add(HDR) as *const InternalOffset,\n hdr.n() as usize,\n ))\n }\n"},{"Del":" }\n"},{"Del":" fn kv<'a, T, K: Representable, V: Representable>(\n"},{"Del":" page: crate::Page,\n (r, off): (u64, u16),\n"},{"Del":" ) -> (&'a K, &'a V, u64) {\n"},{"Del":" unsafe {\n let (k, v) = read::(page.data.as_ptr().add(off as usize));\n"},{"Del":" (&*k, &*v, r)\n"},{"Del":" }\n"},{"Del":" }\n"}]}},{"Edit":{"inode":{"change":4,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":635,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":36508},"to":{"change":3,"start":8888,"end":9057},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":9057},"to":{"change":4,"start":36599,"end":36616},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":21434},"to":{"change":4,"start":36599,"end":36616},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":948},"to":{"change":4,"start":36599,"end":36616},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":2100},"to":{"change":4,"start":36599,"end":36616},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":36599},"to":{"change":4,"start":36599,"end":36616},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":36616},"to":{"change":4,"start":21435,"end":21480},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":21480},"to":{"change":4,"start":36657,"end":36698},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":36657},"to":{"change":4,"start":36657,"end":36698},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":36698},"to":{"change":4,"start":949,"end":1058},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1058},"to":{"change":4,"start":21481,"end":21692},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":36698},"to":{"change":4,"start":21481,"end":21692},"introduced_by":4}],"inode":{"change":4,"pos":8623}}},"contents":[{"Del":"fn rebalance_left<\n 'a,\n T: AllocPage + core::fmt::Debug,\n K: Representable + core::fmt::Debug,\n V: Representable + core::fmt::Debug,\n L: Alloc,\n>(\n"},{"Del":" txn: &mut T,\n"},{"Del":" m: &mut Concat<'a, T, K, V, Page>,\n"},{"Del":") -> Result, T::Error> {\n"},{"Del":" assert!(m.mod_is_left);\n // First element of the right page. We'll rotate it to the left\n // page.\n"},{"Del":" let rc = >::first_cursor(m.other.as_page());\n let rl = >::left_child(m.other.as_page(), &rc);\n let (k, v, r) = unsafe { >::unchecked_current(m.other.as_page(), &rc) };\n"}]}},{"Edit":{"inode":{"change":4,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":636,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":36914},"to":{"change":4,"start":36914,"end":36942},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":36942},"to":{"change":3,"start":9058,"end":9160},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":9160},"to":{"change":4,"start":1137,"end":1414},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1137},"to":{"change":4,"start":1137,"end":1414},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1414},"to":{"change":3,"start":9161,"end":9220},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":9220},"to":{"change":4,"start":1448,"end":1584},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1448},"to":{"change":4,"start":1448,"end":1584},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1584},"to":{"change":4,"start":37208,"end":37221},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":37208},"to":{"change":4,"start":37208,"end":37221},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":37221},"to":{"change":4,"start":1585,"end":1803},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":1805},"to":{"change":4,"start":22235,"end":22236},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":22235},"to":{"change":4,"start":22235,"end":22236},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":22236},"to":{"change":4,"start":1806,"end":2679},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2679},"to":{"change":3,"start":9221,"end":9244},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":9244},"to":{"change":4,"start":2701,"end":2879},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2701},"to":{"change":4,"start":2701,"end":2879},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2879},"to":{"change":3,"start":9245,"end":9272},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":9272},"to":{"change":4,"start":2903,"end":2922},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2903},"to":{"change":4,"start":2903,"end":2922},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2922},"to":{"change":3,"start":9273,"end":9423},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":9423},"to":{"change":4,"start":3148,"end":3301},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3148},"to":{"change":4,"start":3148,"end":3301},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3301},"to":{"change":3,"start":9424,"end":9603},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":9603},"to":{"change":4,"start":37695,"end":37702},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":3442},"to":{"change":4,"start":37695,"end":37702},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":37695},"to":{"change":4,"start":37695,"end":37702},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":37764},"to":{"change":4,"start":37764,"end":37810},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":37810},"to":{"change":4,"start":22319,"end":22366},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":22366},"to":{"change":4,"start":37848,"end":38029},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":37848},"to":{"change":4,"start":37848,"end":38029},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":38029},"to":{"change":4,"start":22367,"end":22461},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":22461},"to":{"change":4,"start":38051,"end":38075},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":38051},"to":{"change":4,"start":38051,"end":38075},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":38075},"to":{"change":4,"start":3443,"end":3444},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3444},"to":{"change":3,"start":9604,"end":9774},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":9774},"to":{"change":4,"start":3594,"end":3923},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3594},"to":{"change":4,"start":3594,"end":3923},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":3923},"to":{"change":4,"start":38075,"end":38076},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":38075},"to":{"change":4,"start":38075,"end":38076},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":38076},"to":{"change":4,"start":3924,"end":4103},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4104},"to":{"change":4,"start":4104,"end":4133},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4133},"to":{"change":3,"start":9775,"end":9877},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":9877},"to":{"change":4,"start":4211,"end":4489},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4211},"to":{"change":4,"start":4211,"end":4489},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4489},"to":{"change":3,"start":9878,"end":9937},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":9937},"to":{"change":4,"start":4523,"end":4758},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4523},"to":{"change":4,"start":4523,"end":4758},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4758},"to":{"change":3,"start":9938,"end":10070},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":10070},"to":{"change":4,"start":4943,"end":5466},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4943},"to":{"change":4,"start":4943,"end":5466},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":5467},"to":{"change":4,"start":5467,"end":5468},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":5468},"to":{"change":4,"start":38076,"end":38647},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":38076},"to":{"change":4,"start":38076,"end":38647},"introduced_by":4}],"inode":{"change":4,"pos":8623}}},"contents":[{"Del":" let mut freed = [0, 0];\n"},{"Del":" let b = if header(m.modified.page.as_page()).is_dirty() {\n 1\n } else {\n 0\n };\n"},{"Del":" freed[0] = m.modified.page.offset | b;\n\n let mut new_left = if let Some((k, v)) = m.modified.ins {\n if let Put::Ok(Ok { page, .. }) = >::replace(\n txn,\n m.modified.page,\n m.modified.mutable,\n &m.modified.c1,\n"},{"Del":" k,\n v,\n m.modified.ins2,\n"},{"Del":" m.modified.l,\n m.modified.r,\n )? {\n page\n } else {\n unreachable!()\n }\n"},{"Del":" } else {\n"},{"Del":" >::del(txn, m.modified.page, &m.modified.c1, m.modified.l)?\n };\n let mut n = header(new_left.0.as_page()).n() as isize;\n alloc::(&mut new_left, m.mid.0, m.mid.1, 0, rl, &mut n);\n"},{"Del":"\n"},{"Del":" let right_hdr = header(m.other.as_page());\n let (new_right, k, v) = match fixed_size::() {\n Some(f) if r == 0 && right_hdr.is_dirty() => {\n // Rewrite the deleted element at the end of the page, so that\n // the pointer is still valid.\n let data = m.other.data;\n let mut other = MutPage(m.other);\n let right_hdr = header_mut(&mut other);\n let al = K::ALIGN.max(V::ALIGN);\n let hdr_size = (HDR + al - 1) & !(al - 1);\n let n = right_hdr.n() as usize;\n right_hdr.decr(f);\n right_hdr.set_n((n - 1) as u16);\n let mut t: MaybeUninit> = MaybeUninit::uninit();\n unsafe {\n core::ptr::copy_nonoverlapping(\n data.add(hdr_size) as *mut Tuple,\n t.as_mut_ptr(),\n"},{"Del":" 1,\n"},{"Del":" );\n core::ptr::copy(\n data.add(hdr_size + f) as *const Tuple,\n data.add(hdr_size) as *mut Tuple,\n"},{"Del":" n - 1,\n"},{"Del":" );\n"},{"Del":" let last = data.add(hdr_size + f * (n - 1)) as *mut Tuple;\n core::ptr::copy_nonoverlapping(t.as_ptr(), last, 1);\n"},{"Del":" debug!(\"tuple = {:?}\", t.assume_init());\n (other, &(&*last).k, &(&*last).v)\n }\n }\n _ => unsafe {\n"},{"Del":" (\n >::del(txn, m.other, &rc, r)?,\n core::mem::transmute(k),\n core::mem::transmute(v),\n )\n },\n"},{"Del":" };\n"},{"Del":" if new_right.0.offset != m.other.offset {\n"},{"Del":" let hdr = &*header(m.other.as_page());\n"},{"Del":" let b = if hdr.is_dirty() { 1 } else { 0 };\n freed[1] = m.other.offset | b\n }\n Ok(Op::Rebalanced {\n l: new_left.0.offset,\n r: new_right.0.offset,\n"},{"Del":" k: unsafe { core::mem::transmute(k) },\n v: unsafe { core::mem::transmute(v) },\n"},{"Del":" freed,\n })\n}\n"},{"Del":"\n"},{"Del":"fn rebalance_right<\n 'a,\n T: AllocPage + core::fmt::Debug,\n K: Representable + core::fmt::Debug,\n V: Representable + core::fmt::Debug,\n L: Alloc,\n>(\n"},{"Del":" txn: &mut T,\n m: &mut Concat<'a, T, K, V, Page>,\n) -> Result, T::Error> {\n assert!(!m.mod_is_left);\n // Take the last element of the left page.\n let lc = >::last_cursor(m.other.as_page());\n let (k0, v0, r0) = unsafe { >::unchecked_current(m.other.as_page(), &lc) };\n"},{"Del":"\n"},{"Del":" // First element of the right page.\n let rc = >::first_cursor(m.modified.page.as_page());\n let rl = >::left_child(m.modified.page.as_page(), &rc);\n"},{"Del":"\n let mut freed = [0, 0];\n"},{"Del":" let b = if header(m.modified.page.as_page()).is_dirty() {\n 1\n } else {\n 0\n };\n"},{"Del":" freed[0] = m.modified.page.offset | b;\n\n let mut new_right = if let Some((k, v)) = m.modified.ins {\n if let Put::Ok(Ok { page, .. }) = >::replace(\n txn,\n m.modified.page,\n m.modified.mutable,\n &m.modified.c1,\n"},{"Del":" k,\n v,\n m.modified.ins2,\n"},{"Del":" m.modified.l,\n m.modified.r,\n )? {\n page\n } else {\n unreachable!()\n }\n } else {\n >::del(txn, m.modified.page, &m.modified.c1, m.modified.l)?\n };\n"},{"Del":" if let Put::Ok(Ok { page, .. }) =\n >::put(txn, new_right.0, true, &rc, m.mid.0, m.mid.1, None, r0, rl)?\n {\n"},{"Del":" new_right = page\n } else {\n unreachable!()\n };\n\n let new_left = >::del(txn, m.other, &lc, 0)?;\n if new_left.0.offset != m.other.offset {\n let hdr = &*header(m.other.as_page());\n let b = if hdr.is_dirty() { 1 } else { 0 };\n freed[1] = m.other.offset | b\n }\n Ok(Op::Rebalanced {\n l: new_left.0.offset,\n r: new_right.0.offset,\n k: unsafe { core::mem::transmute(k0) },\n v: unsafe { core::mem::transmute(v0) },\n freed,\n })\n}\n"},{"Del":"\n"},{"Del":"#[derive(Debug, Clone, Copy)]\n#[repr(C)]\nstruct LeafOffset(u16);\n\nimpl Into<(u64, u16)> for LeafOffset {\n fn into(self) -> (u64, u16) {\n (0, self.0)\n }\n}\n\nimpl Into for LeafOffset {\n fn into(self) -> usize {\n self.0 as usize\n }\n}\n\n#[derive(Debug, Clone, Copy)]\n#[repr(C)]\nstruct InternalOffset(u64);\n\nimpl Into<(u64, u16)> for InternalOffset {\n fn into(self) -> (u64, u16) {\n (self.0 & !0xfff, (self.0 & 0xfff) as u16)\n }\n}\n\nimpl Into for InternalOffset {\n fn into(self) -> usize {\n self.0 as usize\n }\n}\n\n"}]}},{"Replacement":{"inode":{"change":4,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":675,"ins":{"up_context":[{"change":4,"pos":23543}],"down_context":[{"change":4,"pos":39972}],"flag":"BLOCK","start":329,"end":363,"inode":{"change":4,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":23543},"to":{"change":4,"start":23543,"end":23620},"introduced_by":4}],"inode":{"change":4,"pos":8623}},"ins_contents":[{"Add":" hdr.incr(size * len);"}],"del_contents":[{"Del":" hdr.left_page = (hdr.left_page() + (size * len) as u64).to_le();\n"}]}},{"Edit":{"inode":{"change":4,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":702,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":40624},"to":{"change":4,"start":40624,"end":40625},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":40625},"to":{"change":3,"start":10151,"end":10309},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":10309},"to":{"change":4,"start":40710,"end":40727},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":24157},"to":{"change":4,"start":40710,"end":40727},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":2236},"to":{"change":4,"start":40710,"end":40727},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":40710},"to":{"change":4,"start":40710,"end":40727},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":40727},"to":{"change":4,"start":24158,"end":24177},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":24177},"to":{"change":4,"start":40750,"end":40813},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":40750},"to":{"change":4,"start":40750,"end":40813},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":40813},"to":{"change":3,"start":10310,"end":10344},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":10344},"to":{"change":4,"start":40813,"end":40876},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":40813},"to":{"change":4,"start":40813,"end":40876},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":40876},"to":{"change":3,"start":10345,"end":10493},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":10493},"to":{"change":4,"start":24178,"end":24484},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":40911},"to":{"change":4,"start":24178,"end":24484},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":24484},"to":{"change":4,"start":41103,"end":41135},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":41103},"to":{"change":4,"start":41103,"end":41135},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":41135},"to":{"change":3,"start":10494,"end":10758},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":10758},"to":{"change":4,"start":41197,"end":41293},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":24547},"to":{"change":4,"start":41197,"end":41293},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":41197},"to":{"change":4,"start":41197,"end":41293},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":41293},"to":{"change":4,"start":24548,"end":24820},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":24820},"to":{"change":4,"start":41438,"end":41485},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":41438},"to":{"change":4,"start":41438,"end":41485},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":41526},"to":{"change":4,"start":41526,"end":41549},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":41549},"to":{"change":4,"start":24821,"end":24888},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":24888},"to":{"change":3,"start":10759,"end":11020},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":11020},"to":{"change":4,"start":24949,"end":25064},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":24949},"to":{"change":4,"start":24949,"end":25064},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":25064},"to":{"change":4,"start":41777,"end":41894},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":41777},"to":{"change":4,"start":41777,"end":41894},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":41894},"to":{"change":4,"start":25065,"end":25090},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":25090},"to":{"change":4,"start":41894,"end":42042},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":41894},"to":{"change":4,"start":41894,"end":42042},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":42042},"to":{"change":3,"start":11021,"end":11113},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":11113},"to":{"change":4,"start":42127,"end":42146},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":25186},"to":{"change":4,"start":42127,"end":42146},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":42127},"to":{"change":4,"start":42127,"end":42146},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":42146},"to":{"change":3,"start":11114,"end":11274},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":11274},"to":{"change":4,"start":42233,"end":42250},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":25267},"to":{"change":4,"start":42233,"end":42250},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":2374},"to":{"change":4,"start":42233,"end":42250},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":42233},"to":{"change":4,"start":42233,"end":42250},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":42250},"to":{"change":4,"start":25268,"end":25287},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":25287},"to":{"change":4,"start":42273,"end":42416},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":42273},"to":{"change":4,"start":42273,"end":42416},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":42416},"to":{"change":4,"start":25288,"end":25344},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":25344},"to":{"change":4,"start":42552,"end":42614},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":42552},"to":{"change":4,"start":42552,"end":42614},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":42614},"to":{"change":4,"start":2375,"end":2400},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":2400},"to":{"change":4,"start":42685,"end":42704},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":42685},"to":{"change":4,"start":42685,"end":42704},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":42704},"to":{"change":4,"start":2401,"end":2413},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":2413},"to":{"change":4,"start":25345,"end":25401},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":42704},"to":{"change":4,"start":25345,"end":25401},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":98},"to":{"change":4,"start":42731,"end":42774},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":25401},"to":{"change":4,"start":42731,"end":42774},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":42731},"to":{"change":4,"start":42731,"end":42774},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":42774},"to":{"change":4,"start":2414,"end":2551},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":2551},"to":{"change":4,"start":42888,"end":43024},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":42888},"to":{"change":4,"start":42888,"end":43024},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":43024},"to":{"change":4,"start":25402,"end":25473},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":25473},"to":{"change":4,"start":2552,"end":2687},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":2687},"to":{"change":4,"start":43112,"end":43142},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":43112},"to":{"change":4,"start":43112,"end":43142},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":43142},"to":{"change":4,"start":25474,"end":26872},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":26872},"to":{"change":4,"start":2688,"end":2941},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":2941},"to":{"change":4,"start":26912,"end":27193},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":26912},"to":{"change":4,"start":26912,"end":27193},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":27193},"to":{"change":4,"start":43517,"end":43564},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":43517},"to":{"change":4,"start":43517,"end":43564},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":43564},"to":{"change":4,"start":27194,"end":27318},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27318},"to":{"change":4,"start":2942,"end":3101},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":3101},"to":{"change":4,"start":27404,"end":27473},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27404},"to":{"change":4,"start":27404,"end":27473},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27473},"to":{"change":4,"start":3102,"end":3164},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":3164},"to":{"change":4,"start":27535,"end":27656},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27535},"to":{"change":4,"start":27535,"end":27656},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27657},"to":{"change":4,"start":27657,"end":27755},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27755},"to":{"change":4,"start":3165,"end":3390},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":3390},"to":{"change":4,"start":27820,"end":27843},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":27820},"to":{"change":4,"start":27820,"end":27843},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":27843},"to":{"change":4,"start":44378,"end":44395},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":44378},"to":{"change":4,"start":44378,"end":44395},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":44395},"to":{"change":4,"start":27844,"end":27952},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":27952},"to":{"change":4,"start":44441,"end":44468},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":44441},"to":{"change":4,"start":44441,"end":44468},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":44468},"to":{"change":4,"start":27953,"end":28085},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":28085},"to":{"change":4,"start":44530,"end":44588},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":44530},"to":{"change":4,"start":44530,"end":44588},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":44588},"to":{"change":4,"start":28086,"end":28225},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":28225},"to":{"change":4,"start":44588,"end":44594},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":44588},"to":{"change":4,"start":44588,"end":44594},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":45430},"to":{"change":4,"start":45430,"end":45433},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":45433},"to":{"change":3,"start":11275,"end":11586},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":11586},"to":{"change":4,"start":45663,"end":45702},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":45663},"to":{"change":4,"start":45663,"end":45702},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":45702},"to":{"change":3,"start":11587,"end":13873},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":13873},"to":{"change":4,"start":45723,"end":45725},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":45723},"to":{"change":4,"start":45723,"end":45725},"introduced_by":4}],"inode":{"change":4,"pos":8623}}},"contents":[{"Del":"\n"},{"Del":"fn put<\n 'a,\n T: AllocPage + core::fmt::Debug,\n K: Representable + core::fmt::Debug,\n V: Representable + core::fmt::Debug,\n L: Alloc,\n>(\n"},{"Del":" txn: &mut T,\n"},{"Del":" page: CowPage,\n"},{"Del":" mutable: bool,\n u: usize,\n k0: &'a K,\n v0: &'a V,\n"},{"Del":" k1v1: Option<(&'a K, &'a V)>,\n"},{"Del":" l: u64,\n r: u64,\n) -> Result, T::Error> {\n"},{"Del":" let size = alloc_size(k0, v0)\n + if let Some((k1, v1)) = k1v1 {\n alloc_size(k1, v1)\n } else {\n 0\n };\n"},{"Del":" let hdr = header(page.as_page());\n let is_dirty = hdr.is_dirty();\n debug!(\"put {:?} {:?} {:?}\", u, mutable, is_dirty);\n if mutable && is_dirty && L::can_alloc::(header(page.as_page()), size) {\n debug!(\"can alloc\");\n let mut page = unsafe { core::mem::transmute(page) };\n"},{"Del":" let mut n = u as isize;\n"},{"Del":" if let Some((k1, v1)) = k1v1 {\n alloc::<_, _, _, L>(&mut page, k0, v0, 0, 0, &mut n);\n alloc::<_, _, _, L>(&mut page, k1, v1, l, r, &mut n);\n } else {\n alloc::<_, _, _, L>(&mut page, k0, v0, l, r, &mut n);\n }\n"},{"Del":" Ok(Put::Ok(Ok { page, freed: 0 }))\n } else if L::can_compact::(hdr, size) {\n"},{"Del":" let mut new = txn.alloc_page()?;\n debug!(\"can compact: {:?}\", new);\n as BTreeMutPage>::init(&mut new);\n L::set_right_child(&mut new, -1, hdr.left_page & !0xfff);\n let s = L::offset_slice::(page.as_page());\n"},{"Del":" let (s0, s1) = s.split_at(u as usize);\n"},{"Del":" let mut n = 0;\n"},{"Del":" clone::(page.as_page(), &mut new, s0, &mut n);\n"},{"Del":" if let Some((k1, v1)) = k1v1 {\n alloc::<_, _, _, L>(&mut new, k0, v0, 0, 0, &mut n);\n alloc::<_, _, _, L>(&mut new, k1, v1, l, r, &mut n);\n } else {\n alloc::<_, _, _, L>(&mut new, k0, v0, l, r, &mut n);\n }\n"},{"Del":" clone::(page.as_page(), &mut new, s1, &mut n);\n\n let b0 = if is_dirty { 1 } else { 0 };\n"},{"Del":" return Ok(Put::Ok(Ok {\n page: new,\n freed: page.offset | b0,\n }));\n } else {\n"},{"Del":" debug!(\"split\");\n"},{"Del":" if let Some(s) = fixed_size::() {\n return split::<_, _, _, L>(txn, page, mutable, s, u, k0, v0, l, r);\n } else {\n"},{"Del":" return split_unsized::<_, _, _, L>(txn, page.as_page(), u, k0, v0, k1v1, l, r);\n"},{"Del":" }\n }\n}\n\n"},{"Del":"fn split<\n 'a,\n T: AllocPage + core::fmt::Debug,\n K: Representable + core::fmt::Debug,\n V: Representable + core::fmt::Debug,\n L: Alloc,\n>(\n"},{"Del":" txn: &mut T,\n"},{"Del":" page: CowPage,\n"},{"Del":" mutable: bool,\n size: usize,\n u: usize,\n k0: &'a K,\n v0: &'a V,\n l: u64,\n r: u64,\n) -> Result, T::Error> {\n"},{"Del":" let mut left;\n let hdr = header(page.as_page());\n"},{"Del":"\n let page_is_dirty = if hdr.is_dirty() { 1 } else { 0 };\n\n"},{"Del":" let mut n = hdr.n();\n"},{"Del":" let k = n / 2;\n"},{"Del":" n += 1;\n"},{"Del":" let s = L::offset_slice::(page.as_page());\n"},{"Del":" let (s0, s1) = s.split_at(k as usize);\n"},{"Del":" debug!(\"u = {:?}, k = {:?} {:?} {:?}\", u, k, s0, s1);\n let (mut split_key, mut split_value, mid_child, s1) = if u == k as usize {\n"},{"Del":" // The inserted element is exactly in the middle.\n (k0, v0, r, s1)\n } else {\n let (s1a, s1b) = s1.split_at(1);\n"},{"Del":" let (k, v, r) = L::kv(page.as_page(), s1a.first::());\n"},{"Del":" debug!(\"k = {:?}, v = {:?} r = {:?}\", k, v, r);\n debug!(\"k = {:?}\", k as *const K as *const u8);\n (k, v, r, s1b)\n"},{"Del":" };\n let mut freed = 0;\n"},{"Del":" if u >= k as usize {\n if mutable && hdr.is_dirty() {\n debug!(\"mutable dirty {:?} >= {:?}\", u, k);\n // (k0, v0) is to be inserted on the right-hand side of\n // the split, hence we don't have to clone the left-hand\n // side, we can just truncate it.\n left = unsafe { core::mem::transmute(page) };\n let hdr = header_mut(&mut left);\n hdr.set_n(k);\n hdr.decr((n - 1 - k) as usize * size);\n } else {\n left = txn.alloc_page()?;\n debug!(\"immutable {:?} >= {:?}\", u, k);\n let mut n = 0;\n clone::(page.as_page(), &mut left, s0, &mut n);\n freed = page.offset | page_is_dirty\n }\n // If we are here, u >= k, i.e. the insertion is in the right-hand\n // side of the split.\n let mut n = 0;\n let mut right = txn.alloc_page()?;\n as BTreeMutPage>::init(&mut right);\n if u > k as usize {\n let kk = u as usize - k as usize - 1;\n let (s1a, s1b) = s1.split_at(kk);\n L::set_right_child(&mut right, -1, mid_child);\n clone::(page.as_page(), &mut right, s1a, &mut n);\n alloc::(&mut right, k0, v0, l, r, &mut n);\n clone::(page.as_page(), &mut right, s1b, &mut n);\n } else {\n"},{"Del":" // Insertion in the middle:\n // - `l` becomes the right child of the last element on `left`.\n L::set_right_child(&mut left, k as isize - 1, l);\n // - `r` (i.e. `mid_child`) becomes the left child of `right`.\n"},{"Del":" L::set_right_child(&mut right, -1, mid_child);\n clone::(page.as_page(), &mut right, s1, &mut n);\n }\n Ok(Put::Split {\n split_key,\n split_value,\n left,\n right,\n freed,\n })\n"},{"Del":" } else {\n left = txn.alloc_page()?;\n"},{"Del":" as BTreeMutPage>::init(&mut left);\n debug!(\"{:?} < {:?}\", u, k);\n let mut n = 0;\n"},{"Del":" let ll = header(page.as_page()).left_page() & !0xfff;\n L::set_right_child(&mut left, -1, ll);\n let (s0a, s0b) = s0.split_at(u as usize);\n"},{"Del":" clone::(page.as_page(), &mut left, s0a, &mut n);\n"},{"Del":" alloc::(&mut left, k0, v0, l, r, &mut n);\n"},{"Del":" clone::(page.as_page(), &mut left, s0b, &mut n);\n\n let mut right: MutPage;\n let freed;\n"},{"Del":" if mutable && hdr.is_dirty() {\n right = unsafe { core::mem::transmute(page) };\n"},{"Del":" if let Some((k, v)) = L::truncate_left::(&mut right, k as usize + 1) {\n unsafe {\n split_key = &*k;\n split_value = &*v;\n }\n }\n"},{"Del":" freed = 0;\n"},{"Del":" } else {\n"},{"Del":" right = txn.alloc_page()?;\n as BTreeMutPage>::init(&mut right);\n"},{"Del":" let mut n = 0;\n"},{"Del":" L::set_right_child(&mut right, -1, mid_child);\n clone::(page.as_page(), &mut right, s1, &mut n);\n"},{"Del":" freed = page.offset | page_is_dirty\n }\n"},{"Del":" Ok(Put::Split {\n split_key,\n split_value,\n left,\n right,\n freed,\n })\n"},{"Del":" }\n"},{"Del":"}\n\n"},{"Del":"fn split_unsized<\n 'a,\n T: AllocPage+ core::fmt::Debug,\n K: Representable + core::fmt::Debug,\n V: Representable + core::fmt::Debug,\n L: Alloc,\n>(\n txn: &mut T,\n page: crate::Page,\n u: usize,\n k0: &'a K,\n v0: &'a V,\n k1v1: Option<(&'a K, &'a V)>,\n l0: u64,\n r0: u64,\n"},{"Del":") -> Result, T::Error> {\n"},{"Del":" let hdr = header(page);\n let n0 = hdr.n();\n\n let mut left = txn.alloc_page()?;\n as BTreeMutPage>::init(&mut left);\n\n let mut right = txn.alloc_page()?;\n as BTreeMutPage>::init(&mut left);\n\n let left_child = header(page).left_page() & !0xfff;\n L::set_right_child(&mut left, -1, left_child);\n\n let mut split = core::ptr::null();\n let mut current_page = &mut left;\n\n let mut n = 0;\n let s = unsafe {core::slice::from_raw_parts(\n page.data.as_ptr().add(HDR) as *const LeafOffset,\n n0 as usize,\n )};\n let mut total = HDR;\n let mut is_left = true;\n for off in s.iter() {\n let (r, off): (u64, u16) = (*off).into();\n unsafe {\n let ptr = page.data.as_ptr().add(off as usize);\n let size = entry_size::(ptr) + L::extra_size::();\n total += size;\n if is_left && total >= PAGE_SIZE / 2 {\n is_left = false;\n split = ptr as *const Tuple;\n L::set_right_child(&mut right, -1, r);\n current_page = &mut right;\n } else {\n let off_new = L::alloc(header_mut(current_page), size, K::ALIGN.max(V::ALIGN));\n core::ptr::copy_nonoverlapping(ptr, current_page.0.data.offset(off_new as isize), size);\n L::set_offset(current_page, n, r, off_new);\n }\n }\n n += 1;\n if n == u as isize {\n if let Some((k1, v1)) = k1v1 {\n alloc::(current_page, k0, v0, 0, l0, &mut n);\n total += alloc_size(k0, v0) + L::extra_size::();\n alloc::(current_page, k1, v1, 0, r0, &mut n);\n total += alloc_size(k1, v1) + L::extra_size::();\n n += 2;\n } else {\n alloc::(current_page, k0, v0, l0, r0, &mut n);\n total += alloc_size(k0, v0) + L::extra_size::();\n n += 1;\n }\n }\n }\n assert!(!split.is_null());\n let split = unsafe { &*split };\n Ok(Put::Split {\n split_key: &split.k,\n split_value: &split.v,\n left,\n right,\n freed: page.offset,\n })\n"},{"Del":"}\n"}]}},{"FileAdd":{"meta":{"basename":"page","metadata":1005},"context":[{"change":4,"pos":3438}],"contents":[]}},{"FileAdd":{"meta":{"basename":"rebalance.rs","metadata":420},"context":[{"change":0,"pos":371}],"contents":[{"Add":"use super::*;"},{"Add":"use core::mem::MaybeUninit;"},{"Add":""},{"Add":"pub(crate) fn rebalance_left<"},{"Add":" 'a,"},{"Add":" T: AllocPage + core::fmt::Debug,"},{"Add":" K: Representable + core::fmt::Debug,"},{"Add":" V: Representable + core::fmt::Debug,"},{"Add":" L: Alloc,"},{"Add":">("},{"Add":" txn: &mut T,"},{"Add":" m: &mut Concat<'a, T, K, V, Page>,"},{"Add":") -> Result, T::Error> {"},{"Add":" assert!(m.mod_is_left);"},{"Add":" // First element of the right page. We'll rotate it to the left"},{"Add":" // page."},{"Add":" let rc = >::first_cursor(m.other.as_page());"},{"Add":" let rl = >::left_child(m.other.as_page(), &rc);"},{"Add":" let (k, v, r) = unsafe { >::unchecked_current(m.other.as_page(), &rc) };"},{"Add":""},{"Add":" let mut freed = [0, 0];"},{"Add":" let b = if header(m.modified.page.as_page()).is_dirty() {"},{"Add":" 1"},{"Add":" } else {"},{"Add":" 0"},{"Add":" };"},{"Add":" freed[0] = m.modified.page.offset | b;"},{"Add":""},{"Add":" let mut new_left = if let Some((k, v)) = m.modified.ins {"},{"Add":" if let Put::Ok(Ok { page, .. }) = >::replace("},{"Add":" txn,"},{"Add":" m.modified.page,"},{"Add":" m.modified.mutable,"},{"Add":" &m.modified.c1,"},{"Add":" k,"},{"Add":" v,"},{"Add":" m.modified.ins2,"},{"Add":" m.modified.l,"},{"Add":" m.modified.r,"},{"Add":" )? {"},{"Add":" page"},{"Add":" } else {"},{"Add":" unreachable!()"},{"Add":" }"},{"Add":" } else {"},{"Add":" >::del(txn, m.modified.page, &m.modified.c1, m.modified.l)?"},{"Add":" };"},{"Add":" let mut n = header(new_left.0.as_page()).n() as isize;"},{"Add":" alloc::(&mut new_left, m.mid.0, m.mid.1, 0, rl, &mut n);"},{"Add":""},{"Add":" let right_hdr = header(m.other.as_page());"},{"Add":" let (new_right, k, v) = match fixed_size::() {"},{"Add":" Some(f) if r == 0 && right_hdr.is_dirty() => {"},{"Add":" // Rewrite the deleted element at the end of the page, so that"},{"Add":" // the pointer is still valid."},{"Add":" let data = m.other.data;"},{"Add":" let mut other = MutPage(m.other);"},{"Add":" let right_hdr = header_mut(&mut other);"},{"Add":" let al = K::ALIGN.max(V::ALIGN);"},{"Add":" let hdr_size = (HDR + al - 1) & !(al - 1);"},{"Add":" let n = right_hdr.n() as usize;"},{"Add":" right_hdr.decr(f);"},{"Add":" right_hdr.set_n((n - 1) as u16);"},{"Add":" let mut t: MaybeUninit> = MaybeUninit::uninit();"},{"Add":" unsafe {"},{"Add":" core::ptr::copy_nonoverlapping("},{"Add":" data.add(hdr_size) as *mut Tuple,"},{"Add":" t.as_mut_ptr(),"},{"Add":" 1,"},{"Add":" );"},{"Add":" core::ptr::copy("},{"Add":" data.add(hdr_size + f) as *const Tuple,"},{"Add":" data.add(hdr_size) as *mut Tuple,"},{"Add":" n - 1,"},{"Add":" );"},{"Add":" let last = data.add(hdr_size + f * (n - 1)) as *mut Tuple;"},{"Add":" core::ptr::copy_nonoverlapping(t.as_ptr(), last, 1);"},{"Add":" debug!(\"tuple = {:?}\", t.assume_init());"},{"Add":" (other, &(&*last).k, &(&*last).v)"},{"Add":" }"},{"Add":" }"},{"Add":" _ => unsafe {"},{"Add":" ("},{"Add":" >::del(txn, m.other, &rc, r)?,"},{"Add":" core::mem::transmute(k),"},{"Add":" core::mem::transmute(v),"},{"Add":" )"},{"Add":" },"},{"Add":" };"},{"Add":" if new_right.0.offset != m.other.offset {"},{"Add":" let hdr = &*header(m.other.as_page());"},{"Add":" let b = if hdr.is_dirty() { 1 } else { 0 };"},{"Add":" freed[1] = m.other.offset | b"},{"Add":" }"},{"Add":" Ok(Op::Rebalanced {"},{"Add":" l: new_left.0.offset,"},{"Add":" r: new_right.0.offset,"},{"Add":" k: unsafe { core::mem::transmute(k) },"},{"Add":" v: unsafe { core::mem::transmute(v) },"},{"Add":" freed,"},{"Add":" })"},{"Add":"}"},{"Add":""},{"Add":"pub(crate) fn rebalance_right<"},{"Add":" 'a,"},{"Add":" T: AllocPage + core::fmt::Debug,"},{"Add":" K: Representable + core::fmt::Debug,"},{"Add":" V: Representable + core::fmt::Debug,"},{"Add":" L: Alloc,"},{"Add":">("},{"Add":" txn: &mut T,"},{"Add":" m: &mut Concat<'a, T, K, V, Page>,"},{"Add":") -> Result, T::Error> {"},{"Add":" assert!(!m.mod_is_left);"},{"Add":" // Take the last element of the left page."},{"Add":" let lc = >::last_cursor(m.other.as_page());"},{"Add":" let (k0, v0, r0) = unsafe { >::unchecked_current(m.other.as_page(), &lc) };"},{"Add":""},{"Add":" // First element of the right page."},{"Add":" let rc = >::first_cursor(m.modified.page.as_page());"},{"Add":" let rl = >::left_child(m.modified.page.as_page(), &rc);"},{"Add":""},{"Add":" let mut freed = [0, 0];"},{"Add":" let b = if header(m.modified.page.as_page()).is_dirty() {"},{"Add":" 1"},{"Add":" } else {"},{"Add":" 0"},{"Add":" };"},{"Add":" freed[0] = m.modified.page.offset | b;"},{"Add":""},{"Add":" let mut new_right = if let Some((k, v)) = m.modified.ins {"},{"Add":" if let Put::Ok(Ok { page, .. }) = >::replace("},{"Add":" txn,"},{"Add":" m.modified.page,"},{"Add":" m.modified.mutable,"},{"Add":" &m.modified.c1,"},{"Add":" k,"},{"Add":" v,"},{"Add":" m.modified.ins2,"},{"Add":" m.modified.l,"},{"Add":" m.modified.r,"},{"Add":" )? {"},{"Add":" page"},{"Add":" } else {"},{"Add":" unreachable!()"},{"Add":" }"},{"Add":" } else {"},{"Add":" >::del(txn, m.modified.page, &m.modified.c1, m.modified.l)?"},{"Add":" };"},{"Add":" if let Put::Ok(Ok { page, .. }) ="},{"Add":" >::put(txn, new_right.0, true, &rc, m.mid.0, m.mid.1, None, r0, rl)?"},{"Add":" {"},{"Add":" new_right = page"},{"Add":" } else {"},{"Add":" unreachable!()"},{"Add":" };"},{"Add":""},{"Add":" let new_left = >::del(txn, m.other, &lc, 0)?;"},{"Add":" if new_left.0.offset != m.other.offset {"},{"Add":" let hdr = &*header(m.other.as_page());"},{"Add":" let b = if hdr.is_dirty() { 1 } else { 0 };"},{"Add":" freed[1] = m.other.offset | b"},{"Add":" }"},{"Add":" Ok(Op::Rebalanced {"},{"Add":" l: new_left.0.offset,"},{"Add":" r: new_right.0.offset,"},{"Add":" k: unsafe { core::mem::transmute(k0) },"},{"Add":" v: unsafe { core::mem::transmute(v0) },"},{"Add":" freed,"},{"Add":" })"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"put.rs","metadata":420},"context":[{"change":0,"pos":371}],"contents":[{"Add":"use super::*;"},{"Add":""},{"Add":"pub(crate) fn put<"},{"Add":" 'a,"},{"Add":" T: AllocPage + core::fmt::Debug,"},{"Add":" K: Representable + core::fmt::Debug,"},{"Add":" V: Representable + core::fmt::Debug,"},{"Add":" L: Alloc,"},{"Add":">("},{"Add":" txn: &mut T,"},{"Add":" page: CowPage,"},{"Add":" mutable: bool,"},{"Add":" u: usize,"},{"Add":" k0: &'a K,"},{"Add":" v0: &'a V,"},{"Add":" k1v1: Option<(&'a K, &'a V)>,"},{"Add":" l: u64,"},{"Add":" r: u64,"},{"Add":") -> Result, T::Error> {"},{"Add":" let size = alloc_size(k0, v0)"},{"Add":" + if let Some((k1, v1)) = k1v1 {"},{"Add":" alloc_size(k1, v1)"},{"Add":" } else {"},{"Add":" 0"},{"Add":" };"},{"Add":" let hdr = header(page.as_page());"},{"Add":" let is_dirty = hdr.is_dirty();"},{"Add":" debug!(\"put {:?} {:?} {:?}\", u, mutable, is_dirty);"},{"Add":" if mutable && is_dirty && L::can_alloc::(header(page.as_page()), size) {"},{"Add":" debug!(\"can alloc\");"},{"Add":" let mut page = unsafe { core::mem::transmute(page) };"},{"Add":" let mut n = u as isize;"},{"Add":" if let Some((k1, v1)) = k1v1 {"},{"Add":" alloc::<_, _, _, L>(&mut page, k0, v0, 0, 0, &mut n);"},{"Add":" alloc::<_, _, _, L>(&mut page, k1, v1, l, r, &mut n);"},{"Add":" } else {"},{"Add":" alloc::<_, _, _, L>(&mut page, k0, v0, l, r, &mut n);"},{"Add":" }"},{"Add":" Ok(Put::Ok(Ok { page, freed: 0 }))"},{"Add":" } else if L::can_compact::(hdr, size) {"},{"Add":" let mut new = txn.alloc_page()?;"},{"Add":" debug!(\"can compact: {:?}\", new);"},{"Add":" as BTreeMutPage>::init(&mut new);"},{"Add":" L::set_right_child(&mut new, -1, hdr.left_page() & !0xfff);"},{"Add":" let s = L::offset_slice::(page.as_page());"},{"Add":" let (s0, s1) = s.split_at(u as usize);"},{"Add":" let mut n = 0;"},{"Add":" clone::(page.as_page(), &mut new, s0, &mut n);"},{"Add":" if let Some((k1, v1)) = k1v1 {"},{"Add":" alloc::<_, _, _, L>(&mut new, k0, v0, 0, 0, &mut n);"},{"Add":" alloc::<_, _, _, L>(&mut new, k1, v1, l, r, &mut n);"},{"Add":" } else {"},{"Add":" alloc::<_, _, _, L>(&mut new, k0, v0, l, r, &mut n);"},{"Add":" }"},{"Add":" clone::(page.as_page(), &mut new, s1, &mut n);"},{"Add":""},{"Add":" let b0 = if is_dirty { 1 } else { 0 };"},{"Add":" return Ok(Put::Ok(Ok {"},{"Add":" page: new,"},{"Add":" freed: page.offset | b0,"},{"Add":" }));"},{"Add":" } else {"},{"Add":" debug!(\"split\");"},{"Add":" if let Some(s) = fixed_size::() {"},{"Add":" assert!(k1v1.is_none());"},{"Add":" return split::<_, _, _, L>(txn, page, mutable, s, u, k0, v0, l, r);"},{"Add":" } else {"},{"Add":" return split_unsized::<_, _, _, L>(txn, page.as_page(), u, k0, v0, k1v1, l, r);"},{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"fn split<"},{"Add":" 'a,"},{"Add":" T: AllocPage + core::fmt::Debug,"},{"Add":" K: Representable + core::fmt::Debug,"},{"Add":" V: Representable + core::fmt::Debug,"},{"Add":" L: Alloc,"},{"Add":">("},{"Add":" txn: &mut T,"},{"Add":" page: CowPage,"},{"Add":" mutable: bool,"},{"Add":" size: usize,"},{"Add":" u: usize,"},{"Add":" k0: &'a K,"},{"Add":" v0: &'a V,"},{"Add":" l: u64,"},{"Add":" r: u64,"},{"Add":") -> Result, T::Error> {"},{"Add":" let mut left;"},{"Add":" let hdr = header(page.as_page());"},{"Add":""},{"Add":" let page_is_dirty = if hdr.is_dirty() { 1 } else { 0 };"},{"Add":""},{"Add":" let mut n = hdr.n();"},{"Add":" let k = n / 2;"},{"Add":" n += 1;"},{"Add":" let s = L::offset_slice::(page.as_page());"},{"Add":" let (s0, s1) = s.split_at(k as usize);"},{"Add":" debug!(\"u = {:?}, k = {:?} {:?} {:?}\", u, k, s0, s1);"},{"Add":" let (mut split_key, mut split_value, mid_child, s1) = if u == k as usize {"},{"Add":" // The inserted element is exactly in the middle."},{"Add":" (k0, v0, r, s1)"},{"Add":" } else {"},{"Add":" let (s1a, s1b) = s1.split_at(1);"},{"Add":" let (k, v, r) = L::kv(page.as_page(), s1a.first::());"},{"Add":" debug!(\"k = {:?}, v = {:?} r = {:?}\", k, v, r);"},{"Add":" debug!(\"k = {:?}\", k as *const K as *const u8);"},{"Add":" (k, v, r, s1b)"},{"Add":" };"},{"Add":" let mut freed = 0;"},{"Add":" if u >= k as usize {"},{"Add":" if mutable && hdr.is_dirty() {"},{"Add":" debug!(\"mutable dirty {:?} >= {:?}\", u, k);"},{"Add":" // (k0, v0) is to be inserted on the right-hand side of"},{"Add":" // the split, hence we don't have to clone the left-hand"},{"Add":" // side, we can just truncate it."},{"Add":" left = unsafe { core::mem::transmute(page) };"},{"Add":" let hdr = header_mut(&mut left);"},{"Add":" hdr.set_n(k);"},{"Add":" hdr.decr((n - 1 - k) as usize * size);"},{"Add":" } else {"},{"Add":" left = txn.alloc_page()?;"},{"Add":" debug!(\"immutable {:?} >= {:?}\", u, k);"},{"Add":" let mut n = 0;"},{"Add":" clone::(page.as_page(), &mut left, s0, &mut n);"},{"Add":" freed = page.offset | page_is_dirty"},{"Add":" }"},{"Add":" // If we are here, u >= k, i.e. the insertion is in the right-hand"},{"Add":" // side of the split."},{"Add":" let mut n = 0;"},{"Add":" let mut right = txn.alloc_page()?;"},{"Add":" as BTreeMutPage>::init(&mut right);"},{"Add":" if u > k as usize {"},{"Add":" let kk = u as usize - k as usize - 1;"},{"Add":" let (s1a, s1b) = s1.split_at(kk);"},{"Add":" L::set_right_child(&mut right, -1, mid_child);"},{"Add":" clone::(page.as_page(), &mut right, s1a, &mut n);"},{"Add":" alloc::(&mut right, k0, v0, l, r, &mut n);"},{"Add":" clone::(page.as_page(), &mut right, s1b, &mut n);"},{"Add":" } else {"},{"Add":" // Insertion in the middle:"},{"Add":" // - `l` becomes the right child of the last element on `left`."},{"Add":" L::set_right_child(&mut left, k as isize - 1, l);"},{"Add":" // - `r` (i.e. `mid_child`) becomes the left child of `right`."},{"Add":" L::set_right_child(&mut right, -1, mid_child);"},{"Add":" clone::(page.as_page(), &mut right, s1, &mut n);"},{"Add":" }"},{"Add":" Ok(Put::Split {"},{"Add":" split_key,"},{"Add":" split_value,"},{"Add":" left,"},{"Add":" right,"},{"Add":" freed,"},{"Add":" })"},{"Add":" } else {"},{"Add":" left = txn.alloc_page()?;"},{"Add":" as BTreeMutPage>::init(&mut left);"},{"Add":" debug!(\"{:?} < {:?}\", u, k);"},{"Add":" let mut n = 0;"},{"Add":" let ll = header(page.as_page()).left_page() & !0xfff;"},{"Add":" L::set_right_child(&mut left, -1, ll);"},{"Add":" let (s0a, s0b) = s0.split_at(u as usize);"},{"Add":" clone::(page.as_page(), &mut left, s0a, &mut n);"},{"Add":" alloc::(&mut left, k0, v0, l, r, &mut n);"},{"Add":" clone::(page.as_page(), &mut left, s0b, &mut n);"},{"Add":""},{"Add":" let mut right: MutPage;"},{"Add":" let freed;"},{"Add":" if mutable && hdr.is_dirty() {"},{"Add":" right = unsafe { core::mem::transmute(page) };"},{"Add":" if let Some((k, v)) = L::truncate_left::(&mut right, k as usize + 1) {"},{"Add":" unsafe {"},{"Add":" split_key = &*k;"},{"Add":" split_value = &*v;"},{"Add":" }"},{"Add":" }"},{"Add":" freed = 0;"},{"Add":" } else {"},{"Add":" right = txn.alloc_page()?;"},{"Add":" as BTreeMutPage>::init(&mut right);"},{"Add":" let mut n = 0;"},{"Add":" L::set_right_child(&mut right, -1, mid_child);"},{"Add":" clone::(page.as_page(), &mut right, s1, &mut n);"},{"Add":" freed = page.offset | page_is_dirty"},{"Add":" }"},{"Add":" Ok(Put::Split {"},{"Add":" split_key,"},{"Add":" split_value,"},{"Add":" left,"},{"Add":" right,"},{"Add":" freed,"},{"Add":" })"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"fn split_unsized<"},{"Add":" 'a,"},{"Add":" T: AllocPage+ core::fmt::Debug,"},{"Add":" K: Representable + core::fmt::Debug,"},{"Add":" V: Representable + core::fmt::Debug,"},{"Add":" L: Alloc,"},{"Add":">("},{"Add":" txn: &mut T,"},{"Add":" page: crate::Page,"},{"Add":" u: usize,"},{"Add":" k0: &'a K,"},{"Add":" v0: &'a V,"},{"Add":" k1v1: Option<(&'a K, &'a V)>,"},{"Add":" l0: u64,"},{"Add":" r0: u64,"},{"Add":") -> Result, T::Error> {"},{"Add":" let hdr = header(page);"},{"Add":" let n0 = hdr.n();"},{"Add":""},{"Add":" let mut left = txn.alloc_page()?;"},{"Add":" as BTreeMutPage>::init(&mut left);"},{"Add":""},{"Add":" let mut right = txn.alloc_page()?;"},{"Add":" as BTreeMutPage>::init(&mut left);"},{"Add":""},{"Add":" let left_child = header(page).left_page() & !0xfff;"},{"Add":" L::set_right_child(&mut left, -1, left_child);"},{"Add":""},{"Add":" let mut split = core::ptr::null();"},{"Add":" let mut current_page = &mut left;"},{"Add":""},{"Add":" let mut n = 0;"},{"Add":" let s = unsafe {core::slice::from_raw_parts("},{"Add":" page.data.as_ptr().add(HDR) as *const LeafOffset,"},{"Add":" n0 as usize,"},{"Add":" )};"},{"Add":" let mut total = HDR;"},{"Add":" let mut is_left = true;"},{"Add":" for off in s.iter() {"},{"Add":" let (r, off): (u64, u16) = (*off).into();"},{"Add":" unsafe {"},{"Add":" let ptr = page.data.as_ptr().add(off as usize);"},{"Add":" let size = entry_size::(ptr) + L::extra_size::();"},{"Add":" total += size;"},{"Add":" if is_left && total >= PAGE_SIZE / 2 {"},{"Add":" is_left = false;"},{"Add":" split = ptr as *const Tuple;"},{"Add":" L::set_right_child(&mut right, -1, r);"},{"Add":" current_page = &mut right;"},{"Add":" } else {"},{"Add":" let off_new = L::alloc(header_mut(current_page), size, K::ALIGN.max(V::ALIGN));"},{"Add":" core::ptr::copy_nonoverlapping(ptr, current_page.0.data.offset(off_new as isize), size);"},{"Add":" L::set_offset(current_page, n, r, off_new);"},{"Add":" }"},{"Add":" }"},{"Add":" n += 1;"},{"Add":" if n == u as isize {"},{"Add":" if let Some((k1, v1)) = k1v1 {"},{"Add":" alloc::(current_page, k0, v0, 0, l0, &mut n);"},{"Add":" total += alloc_size(k0, v0) + L::extra_size::();"},{"Add":" alloc::(current_page, k1, v1, 0, r0, &mut n);"},{"Add":" total += alloc_size(k1, v1) + L::extra_size::();"},{"Add":" n += 2;"},{"Add":" } else {"},{"Add":" alloc::(current_page, k0, v0, l0, r0, &mut n);"},{"Add":" total += alloc_size(k0, v0) + L::extra_size::();"},{"Add":" n += 1;"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":" assert!(!split.is_null());"},{"Add":" let split = unsafe { &*split };"},{"Add":" Ok(Put::Split {"},{"Add":" split_key: &split.k,"},{"Add":" split_value: &split.v,"},{"Add":" left,"},{"Add":" right,"},{"Add":" freed: page.offset,"},{"Add":" })"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"header.rs","metadata":420},"context":[{"change":0,"pos":371}],"contents":[{"Add":"#[derive(Debug)]"},{"Add":"#[repr(C)]"},{"Add":"pub struct Header {"},{"Add":" n: u16,"},{"Add":" data: u16,"},{"Add":" crc: u32,"},{"Add":" left_page: u64,"},{"Add":"}"},{"Add":""},{"Add":"impl Header {"},{"Add":" pub fn init(&mut self) {"},{"Add":" self.n = (1u16).to_le(); // dirty page"},{"Add":" self.data = 4096_u16.to_le();"},{"Add":" self.crc = 0;"},{"Add":" self.left_page = 0;"},{"Add":" }"},{"Add":""},{"Add":" pub fn n(&self) -> u16 {"},{"Add":" u16::from_le(self.n) >> 4"},{"Add":" }"},{"Add":""},{"Add":" pub fn set_n(&mut self, n: u16) {"},{"Add":" let dirty = u16::from_le(self.n) & 1;"},{"Add":" self.n = ((n << 4) | dirty).to_le()"},{"Add":" }"},{"Add":""},{"Add":" pub fn is_dirty(&self) -> bool {"},{"Add":" u16::from_le(self.n) & 1 != 0"},{"Add":" }"},{"Add":""},{"Add":" pub fn left_page(&self) -> u64 {"},{"Add":" u64::from_le(self.left_page)"},{"Add":" }"},{"Add":""},{"Add":" pub fn set_left_page(&mut self, l: u64) {"},{"Add":" self.left_page = l.to_le()"},{"Add":" }"},{"Add":""},{"Add":" pub fn data(&self) -> u16 {"},{"Add":" u16::from_le(self.data)"},{"Add":" }"},{"Add":""},{"Add":" pub fn set_data(&mut self, d: u16) {"},{"Add":" self.data = d.to_le()"},{"Add":" }"},{"Add":""},{"Add":" pub fn decr(&mut self, s: usize) {"},{"Add":" self.left_page = (self.left_page() - s as u64).to_le();"},{"Add":" }"},{"Add":""},{"Add":" pub fn set_occupied(&mut self, size: u64) {"},{"Add":" self.left_page = ((self.left_page() & !0xfff) | size).to_le()"},{"Add":" }"},{"Add":""},{"Add":" pub fn incr(&mut self, s: usize) {"},{"Add":" self.left_page = (self.left_page() + s as u64).to_le();"},{"Add":" }"},{"Add":""},{"Add":" pub fn is_leaf(&self) -> bool {"},{"Add":" u64::from_le(self.left_page) <= 0xfff"},{"Add":" }"},{"Add":""},{"Add":" pub fn clean(&mut self) {"},{"Add":" self.n = (u16::from_le(self.n) & 0xfff).to_le()"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"pub const HDR: usize = core::mem::size_of::

();"},{"Add":""},{"Add":"pub fn header<'a>(page: crate::Page<'a>) -> &'a Header {"},{"Add":" unsafe { &*(page.data.as_ptr() as *const Header) }"},{"Add":"}"},{"Add":""},{"Add":"pub fn header_mut(page: &mut crate::MutPage) -> &mut Header {"},{"Add":" unsafe { &mut *(page.0.data as *mut Header) }"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"alloc.rs","metadata":420},"context":[{"change":0,"pos":371}],"contents":[{"Add":"use super::*;"},{"Add":""},{"Add":"pub(crate) trait Alloc {"},{"Add":" fn extra_size, V: Representable>() -> usize;"},{"Add":" fn can_alloc, V: Representable>(hdr: &Header, size: usize) -> bool;"},{"Add":" fn can_compact, V: Representable>(hdr: &Header, size: usize) -> bool;"},{"Add":" fn alloc(hdr: &mut Header, size: usize, align: usize) -> u16;"},{"Add":""},{"Add":" // n = number of items to remove"},{"Add":" fn truncate_left, V: Representable>("},{"Add":" page: &mut MutPage,"},{"Add":" n: usize,"},{"Add":" ) -> Option<(*const K, *const V)>;"},{"Add":""},{"Add":" fn alloc_insert, V: Representable>("},{"Add":" new: &mut MutPage,"},{"Add":" n: &mut isize,"},{"Add":" size: usize,"},{"Add":" r: u64,"},{"Add":" ) -> usize;"},{"Add":" fn set_offset(new: &mut MutPage, n: isize, r: u64, off: u16);"},{"Add":" fn set_right_child(new: &mut MutPage, n: isize, r: u64);"},{"Add":" type Offset: Into<(u64, u16)> + Copy + core::fmt::Debug;"},{"Add":" fn offset_slice<'a, T, K: Representable, V: Representable>("},{"Add":" page: crate::Page<'a>,"},{"Add":" ) -> Offsets<'a, Self::Offset>;"},{"Add":" fn kv<'a, T, K: Representable, V: Representable>("},{"Add":" page: crate::Page,"},{"Add":" off: (u64, u16),"},{"Add":" ) -> (&'a K, &'a V, u64);"},{"Add":"}"},{"Add":""},{"Add":"#[derive(Debug, Clone)]"},{"Add":"pub enum Offsets<'a, A> {"},{"Add":" Slice(&'a [A]),"},{"Add":" Range(core::ops::Range),"},{"Add":"}"},{"Add":""},{"Add":"impl<'a, A: Into<(u64, u16)> + Copy> Offsets<'a, A> {"},{"Add":" pub fn split_at(&self, mid: usize) -> (Self, Self) {"},{"Add":" match self {"},{"Add":" Offsets::Slice(s) if mid < s.len() => {"},{"Add":" debug!(\"split_at: {:?} {:?}\", s.len(), mid);"},{"Add":" let (a, b) = s.split_at(mid);"},{"Add":" (Offsets::Slice(a), Offsets::Slice(b))"},{"Add":" }"},{"Add":" Offsets::Slice(s) => {"},{"Add":" debug_assert_eq!(mid, s.len());"},{"Add":" (Offsets::Slice(s), Offsets::Slice(&[][..]))"},{"Add":" }"},{"Add":" Offsets::Range(r) => ("},{"Add":" Offsets::Range(r.start..r.start + mid),"},{"Add":" Offsets::Range(r.start + mid..r.end),"},{"Add":" ),"},{"Add":" }"},{"Add":" }"},{"Add":" pub fn first, V: Representable>(&self) -> (u64, u16) {"},{"Add":" match self {"},{"Add":" Offsets::Slice(s) => s[0].into(),"},{"Add":" Offsets::Range(r) => {"},{"Add":" let size = fixed_size::().unwrap();"},{"Add":" let al = K::ALIGN.max(V::ALIGN);"},{"Add":" let hdr_size = (HDR + al - 1) & !(al - 1);"},{"Add":" (0, (hdr_size + r.start * size) as u16)"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"pub struct Leaf {}"},{"Add":"pub struct Internal {}"},{"Add":""},{"Add":"impl Alloc for Leaf {"},{"Add":" fn extra_size, V: Representable>() -> usize {"},{"Add":" if fixed_size::().is_some() {"},{"Add":" 0"},{"Add":" } else {"},{"Add":" 2"},{"Add":" }"},{"Add":" }"},{"Add":" fn can_alloc, V: Representable>(hdr: &Header, size: usize) -> bool {"},{"Add":" if let Some(f) = fixed_size::() {"},{"Add":" let al = K::ALIGN.max(V::ALIGN);"},{"Add":" let header_size = (HDR + al - 1) & !(al - 1);"},{"Add":" header_size + (hdr.n() as usize) * f + size < hdr.data() as usize"},{"Add":" } else {"},{"Add":" HDR + (hdr.n() as usize) * 2 + 2 + size < hdr.data() as usize"},{"Add":" }"},{"Add":" }"},{"Add":" fn can_compact, V: Representable>(hdr: &Header, size: usize) -> bool {"},{"Add":" if fixed_size::().is_some() {"},{"Add":" let al = K::ALIGN.max(V::ALIGN);"},{"Add":" let header_size = (HDR + al - 1) & !(al - 1);"},{"Add":" header_size + ((hdr.left_page() & 0xfff) as usize) + size"},{"Add":" < hdr.data() as usize"},{"Add":" } else {"},{"Add":" HDR + ((hdr.left_page() & 0xfff) as usize) + 2 + size < 4096"},{"Add":" }"},{"Add":" }"},{"Add":" fn truncate_left, V: Representable>("},{"Add":" page: &mut MutPage,"},{"Add":" n: usize,"},{"Add":" ) -> Option<(*const K, *const V)> {"},{"Add":" debug!(\"truncate_left {:?} {:?}\", page, n);"},{"Add":" if let Some(f) = fixed_size::() {"},{"Add":" let al = K::ALIGN.max(V::ALIGN);"},{"Add":" let hdr_size = (HDR + al - 1) & !(al - 1);"},{"Add":" // debug!(\"{:?} {:?} {:?}\", new, hdr.n(), *n);"},{"Add":" let hdr_n = header_mut(page).n();"},{"Add":""},{"Add":" unsafe {"},{"Add":" let mut swap: core::mem::MaybeUninit> ="},{"Add":" core::mem::MaybeUninit::uninit();"},{"Add":" core::ptr::copy("},{"Add":" page.0.data.add(hdr_size + (n - 1) * f),"},{"Add":" swap.as_mut_ptr() as *mut u8,"},{"Add":" f,"},{"Add":" );"},{"Add":" core::ptr::copy("},{"Add":" page.0.data.add(hdr_size + n * f),"},{"Add":" page.0.data.add(hdr_size),"},{"Add":" (hdr_n as usize - n) * f,"},{"Add":" );"},{"Add":" core::ptr::copy("},{"Add":" swap.as_ptr() as *mut u8,"},{"Add":" page.0.data.add(hdr_size + (hdr_n as usize - n) * f),"},{"Add":" f,"},{"Add":" );"},{"Add":" }"},{"Add":" debug!(\"{:?} - {:?}\", hdr_n, n);"},{"Add":" let hdr = header_mut(page);"},{"Add":" hdr.set_n(hdr_n - n as u16);"},{"Add":" hdr.decr(n * f);"},{"Add":" unsafe {"},{"Add":" Some(read::("},{"Add":" page.0.data.add(hdr_size + (hdr_n as usize - n) * f),"},{"Add":" ))"},{"Add":" }"},{"Add":" } else {"},{"Add":" let hdr_n = header_mut(page).n();"},{"Add":" unsafe {"},{"Add":" core::ptr::copy("},{"Add":" page.0.data.add(HDR + n * 2),"},{"Add":" page.0.data.add(HDR),"},{"Add":" (hdr_n as usize - n) * 2,"},{"Add":" );"},{"Add":" }"},{"Add":" let deleted_offsets = unsafe {"},{"Add":" core::slice::from_raw_parts(page.0.data.add(HDR) as *const u16, n as usize)"},{"Add":" };"},{"Add":" let deleted_size: u64 = deleted_offsets"},{"Add":" .iter()"},{"Add":" .map(|&off| {"},{"Add":" 2 + unsafe { entry_size::(page.0.data.add(off as usize)) } as u64"},{"Add":" })"},{"Add":" .sum();"},{"Add":" let hdr = header_mut(page);"},{"Add":" hdr.set_n(hdr_n - n as u16);"},{"Add":" hdr.decr(deleted_size as usize);"},{"Add":" None"},{"Add":" }"},{"Add":" }"},{"Add":" fn alloc(hdr: &mut Header, size: usize, align: usize) -> u16 {"},{"Add":" let mut data = hdr.data() - size as u16;"},{"Add":" data &= !((align - 1) as u16);"},{"Add":" hdr.set_data(data);"},{"Add":" hdr.set_n(hdr.n() + 1);"},{"Add":" hdr.incr(size);"},{"Add":" data"},{"Add":" }"},{"Add":" fn alloc_insert, V: Representable>("},{"Add":" new: &mut MutPage,"},{"Add":" n: &mut isize,"},{"Add":" size: usize,"},{"Add":" _: u64,"},{"Add":" ) -> usize {"},{"Add":" if let Some(f) = fixed_size::() {"},{"Add":" let al = K::ALIGN.max(V::ALIGN);"},{"Add":" let hdr_size = (HDR + al - 1) & !(al - 1);"},{"Add":" // debug!(\"{:?} {:?} {:?}\", new, hdr.n(), *n);"},{"Add":" let hdr_n = header_mut(new).n();"},{"Add":" unsafe {"},{"Add":" core::ptr::copy("},{"Add":" new.0.data.add(hdr_size + (*n as usize) * f),"},{"Add":" new.0.data.add(hdr_size + (*n as usize) * f + f),"},{"Add":" (hdr_n as usize - (*n as usize)) * f,"},{"Add":" );"},{"Add":" }"},{"Add":" let hdr = header_mut(new);"},{"Add":" hdr.set_n(hdr.n() + 1);"},{"Add":" hdr.incr(f);"},{"Add":" hdr_size + (*n as usize) * f"},{"Add":" } else {"},{"Add":" let (hdr_n, off_new) = {"},{"Add":" let hdr = header_mut(new);"},{"Add":" ("},{"Add":" hdr.n(),"},{"Add":" Self::alloc(&mut *hdr, 2 + size, K::ALIGN.max(V::ALIGN)),"},{"Add":" )"},{"Add":" };"},{"Add":" unsafe {"},{"Add":" core::ptr::copy("},{"Add":" new.0.data.add(HDR + (*n as usize) * 2),"},{"Add":" new.0.data.add(HDR + (*n as usize) * 2 + 2),"},{"Add":" (hdr_n as usize - (*n as usize)) * 2,"},{"Add":" );"},{"Add":" }"},{"Add":" Self::set_offset(new, *n, 0, off_new);"},{"Add":" off_new as usize"},{"Add":" }"},{"Add":" }"},{"Add":" fn set_offset(new: &mut MutPage, n: isize, _: u64, off: u16) {"},{"Add":" unsafe {"},{"Add":" let ptr = new.0.data.offset(HDR as isize + n * 2) as *mut u16;"},{"Add":" *ptr = off.to_le();"},{"Add":" }"},{"Add":" }"},{"Add":" fn set_right_child(_: &mut MutPage, _: isize, _: u64) {}"},{"Add":" type Offset = LeafOffset;"},{"Add":""},{"Add":" fn offset_slice<'a, T, K: Representable, V: Representable>("},{"Add":" page: crate::Page<'a>,"},{"Add":" ) -> Offsets<'a, Self::Offset> {"},{"Add":" let hdr = header(page);"},{"Add":" if fixed_size::().is_some() {"},{"Add":" Offsets::Range(0..(hdr.n() as usize))"},{"Add":" } else {"},{"Add":" unsafe {"},{"Add":" Offsets::Slice(core::slice::from_raw_parts("},{"Add":" page.data.as_ptr().add(HDR) as *const LeafOffset,"},{"Add":" hdr.n() as usize,"},{"Add":" ))"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":" fn kv<'a, T, K: Representable, V: Representable>("},{"Add":" page: crate::Page,"},{"Add":" (_, off): (u64, u16),"},{"Add":" ) -> (&'a K, &'a V, u64) {"},{"Add":" unsafe {"},{"Add":" let (k, v) = read::(page.data.as_ptr().add(off as usize));"},{"Add":" (&*k, &*v, 0)"},{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"impl Alloc for Internal {"},{"Add":" fn extra_size, V: Representable>() -> usize {"},{"Add":" 8"},{"Add":" }"},{"Add":" fn can_alloc, V: Representable>(hdr: &Header, size: usize) -> bool {"},{"Add":" (HDR as usize) + (hdr.n() as usize) * 8 + 8 + size < hdr.data() as usize"},{"Add":" }"},{"Add":" fn can_compact, V: Representable>(hdr: &Header, size: usize) -> bool {"},{"Add":" (HDR as usize) + ((hdr.left_page() & 0xfff) as usize) + 8 + size < 4096"},{"Add":" }"},{"Add":" fn truncate_left, V: Representable>("},{"Add":" page: &mut MutPage,"},{"Add":" n: usize,"},{"Add":" ) -> Option<(*const K, *const V)> {"},{"Add":" // The following line copies the left child of the last entry"},{"Add":" // (hence the `- 8` and `- 1`)"},{"Add":" let hdr_n = header_mut(page).n();"},{"Add":" unsafe {"},{"Add":" core::ptr::copy("},{"Add":" page.0.data.add(HDR + (n - 1) * 8),"},{"Add":" page.0.data.add(HDR - 8),"},{"Add":" (hdr_n as usize - n + 1) * 8,"},{"Add":" );"},{"Add":" }"},{"Add":" let size = if let Some(f) = fixed_size::() {"},{"Add":" ((8 + f) * (hdr_n as usize - n)) as u64"},{"Add":" } else {"},{"Add":" let offsets = unsafe {"},{"Add":" core::slice::from_raw_parts("},{"Add":" page.0.data.add(HDR + n * 8) as *const u16,"},{"Add":" hdr_n as usize - n as usize,"},{"Add":" )"},{"Add":" };"},{"Add":" offsets"},{"Add":" .iter()"},{"Add":" .map(|&off| {"},{"Add":" 8 + unsafe { entry_size::(page.0.data.add(off as usize)) } as u64"},{"Add":" })"},{"Add":" .sum()"},{"Add":" };"},{"Add":" let hdr = header_mut(page);"},{"Add":" hdr.set_n(hdr_n - n as u16);"},{"Add":" debug!(\"truncate_left {:?} {:?}\", hdr.left_page(), size);"},{"Add":" hdr.set_occupied(size);"},{"Add":" None"},{"Add":" }"},{"Add":" fn alloc(hdr: &mut Header, size: usize, align: usize) -> u16 {"},{"Add":" let mut data = hdr.data() - size as u16;"},{"Add":" data -= data % (align as u16);"},{"Add":" hdr.set_data(data);"},{"Add":" hdr.set_n(hdr.n() + 1);"},{"Add":" hdr.incr(size);"},{"Add":" data"},{"Add":" }"},{"Add":" fn alloc_insert, V: Representable>("},{"Add":" new: &mut MutPage,"},{"Add":" n: &mut isize,"},{"Add":" size: usize,"},{"Add":" r: u64,"},{"Add":" ) -> usize {"},{"Add":" let (hdr_n, off_new) = {"},{"Add":" let hdr = header_mut(new);"},{"Add":" ("},{"Add":" hdr.n(),"},{"Add":" Self::alloc(&mut *hdr, size, K::ALIGN.max(V::ALIGN)),"},{"Add":" )"},{"Add":" };"},{"Add":" unsafe {"},{"Add":" core::ptr::copy("},{"Add":" new.0.data.add(HDR + (*n as usize) * 8),"},{"Add":" new.0.data.add(HDR + (*n as usize) * 8 + 8),"},{"Add":" (hdr_n as usize - (*n as usize)) * 8,"},{"Add":" );"},{"Add":" }"},{"Add":" Self::set_offset(new, *n, r, off_new);"},{"Add":" off_new as usize"},{"Add":" }"},{"Add":" fn set_offset(new: &mut MutPage, n: isize, r: u64, off: u16) {"},{"Add":" unsafe {"},{"Add":" let ptr = new.0.data.offset(HDR as isize + n * 8) as *mut u64;"},{"Add":" *ptr = (r | off as u64).to_le();"},{"Add":" }"},{"Add":" }"},{"Add":" fn set_right_child(page: &mut MutPage, n: isize, r: u64) {"},{"Add":" unsafe {"},{"Add":" let ptr = page.0.data.offset(HDR as isize + n * 8) as *mut u64;"},{"Add":" let off = u64::from_le(*ptr) & 0xfff;"},{"Add":" *ptr = (r | off as u64).to_le();"},{"Add":" }"},{"Add":" }"},{"Add":" type Offset = InternalOffset;"},{"Add":""},{"Add":" fn offset_slice<'a, T, K: Representable, V: Representable>("},{"Add":" page: crate::Page<'a>,"},{"Add":" ) -> Offsets<'a, Self::Offset> {"},{"Add":" let hdr = header(page);"},{"Add":" unsafe {"},{"Add":" Offsets::Slice(core::slice::from_raw_parts("},{"Add":" page.data.as_ptr().add(HDR) as *const InternalOffset,"},{"Add":" hdr.n() as usize,"},{"Add":" ))"},{"Add":" }"},{"Add":" }"},{"Add":" fn kv<'a, T, K: Representable, V: Representable>("},{"Add":" page: crate::Page,"},{"Add":" (r, off): (u64, u16),"},{"Add":" ) -> (&'a K, &'a V, u64) {"},{"Add":" unsafe {"},{"Add":" let (k, v) = read::(page.data.as_ptr().add(off as usize));"},{"Add":" (&*k, &*v, r)"},{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":"#[derive(Debug, Clone, Copy)]"},{"Add":"#[repr(C)]"},{"Add":"pub struct LeafOffset(u16);"},{"Add":""},{"Add":"impl Into<(u64, u16)> for LeafOffset {"},{"Add":" fn into(self) -> (u64, u16) {"},{"Add":" (0, self.0)"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"impl Into for LeafOffset {"},{"Add":" fn into(self) -> usize {"},{"Add":" self.0 as usize"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"#[derive(Debug, Clone, Copy)]"},{"Add":"#[repr(C)]"},{"Add":"pub struct InternalOffset(u64);"},{"Add":""},{"Add":"impl Into<(u64, u16)> for InternalOffset {"},{"Add":" fn into(self) -> (u64, u16) {"},{"Add":" (self.0 & !0xfff, (self.0 & 0xfff) as u16)"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"impl Into for InternalOffset {"},{"Add":" fn into(self) -> usize {"},{"Add":" self.0 as usize"},{"Add":" }"},{"Add":"}"}]}},{"Replacement":{"inode":{"change":4,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":203,"ins":{"up_context":[{"change":4,"pos":30691}],"down_context":[{"change":4,"pos":50760}],"flag":"BLOCK","start":30540,"end":30597,"inode":{"change":4,"pos":45735}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":4,"pos":30691},"to":{"change":4,"start":50700,"end":50760},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":50700},"to":{"change":4,"start":50700,"end":50760},"introduced_by":4}],"inode":{"change":4,"pos":45735}},"ins_contents":[{"Add":" // Whether the page can be written to (used for RC)."}],"del_contents":[{"Del":" /// Whether the page can be written to (useful for RC).\n"}]}},{"Replacement":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":50,"ins":{"up_context":[{"change":4,"pos":53999}],"down_context":[{"change":4,"pos":54094}],"flag":"BLOCK","start":30598,"end":30693,"inode":{"change":4,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":53999},"to":{"change":4,"start":53999,"end":54094},"introduced_by":4}],"inode":{"change":4,"pos":52511}},"ins_contents":[{"Add":" // Find the leftmost page in the right subtree, that is where the"},{"Add":" // \"replacement\" is."}],"del_contents":[{"Del":" // Find the leftmost page in the right subtree, that is where\n // the \"replacement\" is.\n"}]}},{"Edit":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":53,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":54122},"to":{"change":4,"start":54122,"end":54407},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":54407},"to":{"change":4,"start":31507,"end":31593},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":31593},"to":{"change":4,"start":6030,"end":6031},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":31593},"to":{"change":4,"start":54484,"end":54630},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":6031},"to":{"change":4,"start":54484,"end":54630},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":54484},"to":{"change":4,"start":54484,"end":54630},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":54630},"to":{"change":4,"start":6032,"end":6046},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":6046},"to":{"change":4,"start":54630,"end":54649},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":54630},"to":{"change":4,"start":54630,"end":54649},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":54649},"to":{"change":3,"start":14343,"end":14363},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":14363},"to":{"change":4,"start":54649,"end":54743},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":54649},"to":{"change":4,"start":54649,"end":54743},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":54743},"to":{"change":4,"start":6047,"end":6074},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":6074},"to":{"change":4,"start":54743,"end":54784},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":54743},"to":{"change":4,"start":54743,"end":54784},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":54784},"to":{"change":4,"start":6075,"end":6103},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":6103},"to":{"change":4,"start":54784,"end":54905},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":54784},"to":{"change":4,"start":54784,"end":54905},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":54905},"to":{"change":4,"start":31594,"end":31647},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":31647},"to":{"change":4,"start":54949,"end":54985},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":54949},"to":{"change":4,"start":54949,"end":54985},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":54985},"to":{"change":4,"start":31648,"end":31750},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":31750},"to":{"change":4,"start":55069,"end":55206},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":55069},"to":{"change":4,"start":55069,"end":55206},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":55206},"to":{"change":4,"start":6104,"end":6150},"introduced_by":4}],"inode":{"change":4,"pos":52511}}},"contents":[{"Del":"\n // Mark the replacement for deletion in the leaf. This is all\n // lazy, so we don't do anything for now, in order to avoid\n // duplicate work in case the page can be merged or\n // rebalanced.\n let ref mut curs0 = unsafe { cursor.stack[cursor.pointer].assume_init() };\n"},{"Del":" let (c0, c1) = P::split_at(curs0.page.as_page(), curs0.cursor.as_ref().unwrap());\n"},{"Del":"\n"},{"Del":" let mut last_op = ModifiedPage {\n page: curs0.page,\n mutable: cursor.pointer < cursor.first_rc_level,\n c0,\n l: 0,\n"},{"Del":" r: 0,\n"},{"Del":" ins: None,\n"},{"Del":" ins2: None,\n"},{"Del":" c1,\n skip_first: true,\n };\n if cursor.pointer == cursor.first_rc_level {\n"},{"Del":" debug!(\"decr_rc\");\n"},{"Del":" txn.decr_rc(curs0.page.offset)?;\n"},{"Del":" debug!(\"/decr_rc\");\n"},{"Del":" }\n if cursor.pointer >= cursor.first_rc_level {\n let mut c0 = c0.clone();\n let mut c1 = c1.clone();\n"},{"Del":" P::move_next(curs0.page.as_page(), &mut c1);\n"},{"Del":" while let Some((k, v, _)) =\n"},{"Del":" P::next(curs0.page.as_page(), &mut c0).or_else(|| P::next(curs0.page.as_page(), &mut c1))\n"},{"Del":" {\n for o in k.page_offsets().chain(v.page_offsets()) {\n txn.incr_rc(o)?;\n }\n }\n }\n"},{"Del":" debug!(\"pointer = {:?}\", cursor.pointer);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":54,"ins":{"up_context":[{"change":4,"pos":6151}],"down_context":[{"change":4,"pos":55545}],"flag":"BLOCK","start":30694,"end":30874,"inode":{"change":4,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":6151},"to":{"change":4,"start":6151,"end":6260},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":6260},"to":{"change":4,"start":55278,"end":55342},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":55278},"to":{"change":4,"start":55278,"end":55342},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":55342},"to":{"change":4,"start":31751,"end":31828},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":31828},"to":{"change":4,"start":6261,"end":6449},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":6449},"to":{"change":4,"start":55515,"end":55529},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":55515},"to":{"change":4,"start":55515,"end":55529},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":55529},"to":{"change":4,"start":6450,"end":6584},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":6584},"to":{"change":4,"start":55529,"end":55545},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":55529},"to":{"change":4,"start":55529,"end":55545},"introduced_by":4}],"inode":{"change":4,"pos":52511}},"ins_contents":[{"Add":" // Mark the replacement for deletion in the leaf, and copy it into"},{"Add":" // (k0, v0) if we're in an internal node."},{"Add":" let (mut last_op, k0, v0) = leaf_delete(txn, cursor, p0)?;"}],"del_contents":[{"Del":" let mut k0 = MaybeUninit::uninit();\n let mut v0 = MaybeUninit::uninit();\n if p0 < cursor.pointer {\n"},{"Del":" // increase the RC of the replacement.\n unsafe {\n"},{"Del":" let (k, v, _) = P::unchecked_current(curs0.page.as_page(), &c0);\n"},{"Del":" if cursor.pointer >= cursor.first_rc_level {\n for o in (&*k).page_offsets().chain((&*v).page_offsets()) {\n txn.incr_rc(o)?;\n }\n"},{"Del":" }\n"},{"Del":" core::ptr::copy_nonoverlapping(k, k0.as_mut_ptr(), 1);\n core::ptr::copy_nonoverlapping(v, v0.as_mut_ptr(), 1);\n"},{"Del":" }\n }\n"}]}},{"Replacement":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":64,"ins":{"up_context":[{"change":4,"pos":55759}],"down_context":[{"change":4,"pos":4202}],"flag":"BLOCK","start":30875,"end":30986,"inode":{"change":4,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":55759},"to":{"change":4,"start":31883,"end":31991},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":31991},"to":{"change":4,"start":6585,"end":6842},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":6842},"to":{"change":4,"start":32074,"end":32122},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":32074},"to":{"change":4,"start":32074,"end":32122},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":32165},"to":{"change":4,"start":55800,"end":55847},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":55800},"to":{"change":4,"start":55800,"end":55847},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":55847},"to":{"change":4,"start":32166,"end":32226},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":32226},"to":{"change":4,"start":6843,"end":6963},"introduced_by":4}],"inode":{"change":4,"pos":52511}},"ins_contents":[{"Add":" let mut concat = concat(txn, cursor, p0, &k0, &v0, last_op)?;"},{"Add":" debug!(\"concat = {:?}\", concat);"}],"del_contents":[{"Del":" let mut concat = {\n let p = cursor.pointer;\n let curs = cursor.current_mut();\n"},{"Del":" let kv = if p == p0 {\n unsafe { Some((\n &*k0.as_ptr(),\n &*v0.as_ptr()\n )) }\n } else {\n None\n };\n concat(txn, curs, kv, last_op)?\n"},{"Del":" };\n let curs = cursor.current();\n"},{"Del":" let c = curs.cursor.as_ref().unwrap();\n"},{"Del":" let (c0, c1) = P::split_at(curs.page.as_page(), c);\n"},{"Del":" debug!(\"page = {:?}, c0 = {:?}, c1 = {:?}\", curs.page.offset, c0, c1);\n debug!(\"concat = {:?}\" ,concat);\n"}]}},{"Replacement":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":68,"ins":{"up_context":[{"change":4,"pos":7002}],"down_context":[{"change":4,"pos":59562}],"flag":"BLOCK","start":30987,"end":31108,"inode":{"change":4,"pos":52511}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":4,"pos":7002},"to":{"change":4,"start":4303,"end":4325},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4303},"to":{"change":4,"start":4303,"end":4325},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":4325},"to":{"change":4,"start":56029,"end":56145},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":56029},"to":{"change":4,"start":56029,"end":56145},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":56145},"to":{"change":3,"start":14364,"end":14522},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":14522},"to":{"change":4,"start":56145,"end":56354},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":56145},"to":{"change":4,"start":56145,"end":56354},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":56354},"to":{"change":4,"start":7003,"end":7029},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":7029},"to":{"change":4,"start":56354,"end":56385},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":56354},"to":{"change":4,"start":56354,"end":56385},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":56385},"to":{"change":3,"start":14523,"end":14555},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":14555},"to":{"change":4,"start":56385,"end":56877},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":56385},"to":{"change":4,"start":56385,"end":56877},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":56877},"to":{"change":3,"start":14556,"end":14681},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":14681},"to":{"change":4,"start":57005,"end":57199},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":57005},"to":{"change":4,"start":57005,"end":57199},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":57199},"to":{"change":4,"start":7030,"end":7092},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7092},"to":{"change":3,"start":14682,"end":14714},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":14714},"to":{"change":4,"start":57241,"end":57733},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":7092},"to":{"change":4,"start":57241,"end":57733},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":57241},"to":{"change":4,"start":57241,"end":57733},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":57733},"to":{"change":3,"start":14715,"end":14948},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":14948},"to":{"change":4,"start":7093,"end":7165},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":57733},"to":{"change":4,"start":7093,"end":7165},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7231},"to":{"change":4,"start":7231,"end":7339},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7339},"to":{"change":3,"start":14949,"end":15008},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":15008},"to":{"change":4,"start":7398,"end":7593},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7398},"to":{"change":4,"start":7398,"end":7593},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":7593},"to":{"change":4,"start":57733,"end":57904},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":57733},"to":{"change":4,"start":57733,"end":57904},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":57904},"to":{"change":4,"start":7594,"end":7665},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":7665},"to":{"change":3,"start":15009,"end":15041},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":15041},"to":{"change":4,"start":57973,"end":57997},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":7665},"to":{"change":4,"start":57973,"end":57997},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":57973},"to":{"change":4,"start":57973,"end":57997},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":57997},"to":{"change":4,"start":7666,"end":7698},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":7698},"to":{"change":4,"start":58036,"end":58592},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":58036},"to":{"change":4,"start":58036,"end":58592},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":58592},"to":{"change":3,"start":15042,"end":15405},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":15405},"to":{"change":4,"start":58592,"end":58801},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":8057},"to":{"change":4,"start":58592,"end":58801},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":58592},"to":{"change":4,"start":58592,"end":58801},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":58801},"to":{"change":4,"start":8058,"end":8097},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":8097},"to":{"change":3,"start":15406,"end":15457},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":15457},"to":{"change":4,"start":58874,"end":58898},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":8154},"to":{"change":4,"start":58874,"end":58898},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":58874},"to":{"change":4,"start":58874,"end":58898},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":58898},"to":{"change":3,"start":15458,"end":15490},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":15490},"to":{"change":4,"start":58937,"end":59302},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":4,"pos":8209},"to":{"change":4,"start":58937,"end":59302},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":58937},"to":{"change":4,"start":58937,"end":59302},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":59302},"to":{"change":4,"start":8210,"end":8549},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":8549},"to":{"change":4,"start":59367,"end":59562},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":59367},"to":{"change":4,"start":59367,"end":59562},"introduced_by":4}],"inode":{"change":4,"pos":52511}},"ins_contents":[{"Add":" let mil = concat.mod_is_left;"},{"Add":" last_op = handle_merge(txn, cursor, p0, &k0, &v0, mil, merge, &mut free)?;"}],"del_contents":[{"Del":" match merge {\n"},{"Del":" Op::Merged {\n page,\n freed,\n marker: _,\n } => {\n"},{"Del":" // If we're deleting at an internal node, the\n // replacement has already been included in the merged\n // page.\n"},{"Del":" last_op = ModifiedPage {\n page: curs.page,\n mutable: cursor.pointer < cursor.first_rc_level,\n c0,\n l: page.0.offset,\n"},{"Del":" r: 0,\n"},{"Del":" ins: None,\n"},{"Del":" ins2: None,\n"},{"Del":" c1,\n skip_first: true,\n };\n if cursor.pointer < cursor.first_rc_level {\n free[cursor.pointer] = freed;\n } else {\n if cursor.pointer == cursor.first_rc_level {\n txn.decr_rc(curs.page.offset)?;\n }\n modify_rc(txn, &last_op)?;\n }\n }\n Op::Rebalanced { k, v, l, r, freed } => {\n"},{"Del":" // If we're deleting at an internal node, the\n // replacement is already in pages `l` or `r`.\n"},{"Del":" last_op = ModifiedPage {\n page: curs.page,\n mutable: cursor.pointer < cursor.first_rc_level,\n c0,\n l,\n"},{"Del":" r,\n ins: Some((k, v)),\n"},{"Del":" ins2: None,\n"},{"Del":" c1,\n skip_first: true,\n };\n if cursor.pointer < cursor.first_rc_level {\n free[cursor.pointer] = freed;\n } else {\n if cursor.pointer == cursor.first_rc_level {\n txn.decr_rc(curs.page.offset)?;\n }\n modify_rc(txn, &last_op)?;\n }\n }\n Op::Put(Put::Ok(Ok { page, freed })) => {\n"},{"Del":" // Here, no merge, split or rebalance has happened. If\n // we're deleting at an internal node (i.e. if\n // cursor.pointer == p0), we need to mark the\n // replacement here.\n"},{"Del":" let (l, r, ins, skip_first) = if cursor.pointer == p0 {\n"},{"Del":" let k = unsafe { &*k0.as_ptr() };\n let v = unsafe { &*v0.as_ptr() };\n"},{"Del":" (0, page.0.offset, Some((k, v)), true)\n"},{"Del":" } else if concat.mod_is_left {\n (page.0.offset, 0, None, false)\n } else {\n (0, page.0.offset, None, false)\n };\n"},{"Del":" last_op = ModifiedPage {\n page: curs.page,\n mutable: cursor.pointer < cursor.first_rc_level,\n c0,\n"},{"Del":" l,\n r,\n ins,\n"},{"Del":" ins2: None,\n"},{"Del":" c1,\n"},{"Del":" skip_first,\n"},{"Del":" };\n if cursor.pointer < cursor.first_rc_level {\n free[cursor.pointer][0] = freed;\n } else {\n if cursor.pointer == cursor.first_rc_level {\n txn.decr_rc(curs.page.offset)?;\n }\n modify_rc(txn, &last_op)?;\n }\n }\n Op::Put(Put::Split {\n left,\n right,\n split_key,\n split_value,\n freed,\n }) => {\n"},{"Del":" let (ins, ins2, skip_first) = if cursor.pointer == p0 {\n let k = unsafe { &*k0.as_ptr() };\n let v = unsafe { &*v0.as_ptr() };\n (Some((k, v)), Some((split_key, split_value)), true)\n } else {\n (Some((split_key, split_value)), None, false)\n };\n"},{"Del":" last_op = ModifiedPage {\n page: curs.page,\n mutable: cursor.pointer < cursor.first_rc_level,\n c0,\n l: left.0.offset,\n"},{"Del":" r: right.0.offset,\n"},{"Del":" ins,\n ins2,\n"},{"Del":" c1,\n"},{"Del":" skip_first,\n"},{"Del":" };\n if cursor.pointer < cursor.first_rc_level {\n free[cursor.pointer][0] = freed;\n } else {\n if cursor.pointer == cursor.first_rc_level {\n txn.decr_rc(curs.page.offset)?;\n }\n modify_rc(txn, &last_op)?;\n }\n"},{"Del":" // If the split key is the replacement element, we\n // have already increased its counter when we deleted\n // it from its original position at the bottom of the\n // tree.\n if cursor.pointer + 1 >= cursor.first_rc_level && (split_key as *const K) != k0.as_ptr() {\n"},{"Del":" for o in split_key.page_offsets().chain(split_value.page_offsets()) {\n txn.incr_rc(o)?;\n }\n }\n }\n }\n"}]}},{"Edit":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":76,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":4366}],"down_context":[{"change":4,"pos":59685}],"flag":"BLOCK","start":31109,"end":31283,"inode":{"change":4,"pos":52511}}},"contents":[{"Add":" if P::is_dirty(last_op.page.as_page()) {"},{"Add":" txn.decr_rc_owned(last_op.page.offset)?"},{"Add":" } else {"},{"Add":" txn.decr_rc(last_op.page.offset)?"},{"Add":" }"}]}},{"Replacement":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":83,"ins":{"up_context":[{"change":4,"pos":59732}],"down_context":[{"change":4,"pos":60764}],"flag":"BLOCK","start":31284,"end":31367,"inode":{"change":4,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":59732},"to":{"change":4,"start":4367,"end":4407},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":4407},"to":{"change":4,"start":59732,"end":60108},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":59732},"to":{"change":4,"start":59732,"end":60108},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":60108},"to":{"change":4,"start":32229,"end":32315},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":32315},"to":{"change":4,"start":60185,"end":60288},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":60185},"to":{"change":4,"start":60185,"end":60288},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":60288},"to":{"change":4,"start":32316,"end":32372},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":32372},"to":{"change":4,"start":60335,"end":60399},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":60335},"to":{"change":4,"start":60335,"end":60399},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":60399},"to":{"change":3,"start":15491,"end":15517},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":15517},"to":{"change":4,"start":60399,"end":60764},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":60399},"to":{"change":4,"start":60399,"end":60764},"introduced_by":4}],"inode":{"change":4,"pos":52511}},"ins_contents":[{"Add":" update_root(txn, db, last_op, &k0, cursor.first_rc_level <= 1, &mut free)?"}],"del_contents":[{"Del":" debug!(\"modify {:?}\", last_op);\n"},{"Del":" match P::modify(txn, &mut last_op)? {\n Put::Ok(Ok { page, freed }) => {\n free[0][0] = freed;\n db.db = page.0\n }\n Put::Split {\n split_key,\n split_value,\n left,\n right,\n freed,\n } => {\n free[0][0] = freed;\n"},{"Del":" let mut page = txn.alloc_page()?;\n P::init(&mut page);\n"},{"Del":" P::put(\n txn,\n page.0,\n true,\n"},{"Del":" &P::first_cursor(page.0.as_page()),\n"},{"Del":" split_key,\n split_value,\n"},{"Del":" None,\n"},{"Del":" left.0.offset,\n right.0.offset,\n )?;\n if cursor.first_rc_level <= 1 {\n for o in split_key.page_offsets().chain(split_value.page_offsets()) {\n txn.incr_rc(o)?;\n }\n }\n db.db = page.0\n }\n }\n"}]}},{"Replacement":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":89,"ins":{"up_context":[{"change":4,"pos":60894}],"down_context":[{"change":4,"pos":60931}],"flag":"BLOCK","start":31368,"end":31399,"inode":{"change":4,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":60894},"to":{"change":4,"start":60894,"end":60931},"introduced_by":4}],"inode":{"change":4,"pos":52511}},"ins_contents":[{"Add":" txn.decr_rc(p[0])?"}],"del_contents":[{"Del":" txn.decr_rc_owned(p[0])?\n"}]}},{"Replacement":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":94,"ins":{"up_context":[{"change":4,"pos":61038}],"down_context":[{"change":4,"pos":61075}],"flag":"BLOCK","start":31400,"end":31431,"inode":{"change":4,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":61038},"to":{"change":4,"start":61038,"end":61075},"introduced_by":4}],"inode":{"change":4,"pos":52511}},"ins_contents":[{"Add":" txn.decr_rc(p[1])?"}],"del_contents":[{"Del":" txn.decr_rc_owned(p[1])?\n"}]}},{"Replacement":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":111,"ins":{"up_context":[{"change":4,"pos":32463}],"down_context":[{"change":4,"pos":61446}],"flag":"BLOCK","start":31432,"end":31531,"inode":{"change":4,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":32463},"to":{"change":4,"start":8550,"end":8627},"introduced_by":4}],"inode":{"change":4,"pos":52511}},"ins_contents":[{"Add":" debug!("},{"Add":" \"find_min: {:?} {:?} {:?}\","},{"Add":" cur.page, cursor.pointer, left_page"},{"Add":" );"}],"del_contents":[{"Del":" debug!(\"find_min: {:?} {:?} {:?}\", cur.page, cursor.pointer, left_page);\n"}]}},{"Edit":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":127,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":61787}],"down_context":[{"change":4,"pos":61787}],"flag":"BLOCK","start":31532,"end":33622,"inode":{"change":4,"pos":52511}}},"contents":[{"Add":"}"},{"Add":""},{"Add":"fn leaf_delete<"},{"Add":" 'a,"},{"Add":" T: AllocPage + LoadPage + core::fmt::Debug,"},{"Add":" K: Representable + core::fmt::Debug,"},{"Add":" V: Representable + core::fmt::Debug,"},{"Add":" P: BTreeMutPage + core::fmt::Debug,"},{"Add":">("},{"Add":" txn: &mut T,"},{"Add":" cursor: &mut Cursor,"},{"Add":" p0: usize,"},{"Add":") -> Result<(ModifiedPage<'a, T, K, V, P>, MaybeUninit, MaybeUninit), T::Error> {"},{"Add":" let ref mut curs0 = unsafe { cursor.stack[cursor.pointer].assume_init() };"},{"Add":" let (c0, c1) = P::split_at(curs0.page.as_page(), curs0.cursor.as_ref().unwrap());"},{"Add":" if cursor.pointer == cursor.first_rc_level {"},{"Add":" debug!(\"decr_rc\");"},{"Add":" txn.decr_rc(curs0.page.offset)?;"},{"Add":" debug!(\"/decr_rc\");"},{"Add":" }"},{"Add":" if cursor.pointer >= cursor.first_rc_level {"},{"Add":" let mut c0 = c0.clone();"},{"Add":" let mut c1 = c1.clone();"},{"Add":" P::move_next(curs0.page.as_page(), &mut c1);"},{"Add":" while let Some((k, v, _)) = P::next(curs0.page.as_page(), &mut c0)"},{"Add":" .or_else(|| P::next(curs0.page.as_page(), &mut c1))"},{"Add":" {"},{"Add":" for o in k.page_offsets().chain(v.page_offsets()) {"},{"Add":" txn.incr_rc(o)?;"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":" debug!(\"pointer = {:?}\", cursor.pointer);"},{"Add":" let mut k0 = MaybeUninit::uninit();"},{"Add":" let mut v0 = MaybeUninit::uninit();"},{"Add":" if p0 < cursor.pointer {"},{"Add":" // increase the RC of the replacement."},{"Add":" unsafe {"},{"Add":" let (k, v, _) = P::unchecked_current(curs0.page.as_page(), &c0);"},{"Add":" if cursor.pointer >= cursor.first_rc_level {"},{"Add":" for o in (&*k).page_offsets().chain((&*v).page_offsets()) {"},{"Add":" txn.incr_rc(o)?;"},{"Add":" }"},{"Add":" }"},{"Add":" core::ptr::copy_nonoverlapping(k, k0.as_mut_ptr(), 1);"},{"Add":" core::ptr::copy_nonoverlapping(v, v0.as_mut_ptr(), 1);"},{"Add":" }"},{"Add":" }"},{"Add":" Ok(("},{"Add":" ModifiedPage {"},{"Add":" page: curs0.page,"},{"Add":" mutable: cursor.pointer < cursor.first_rc_level,"},{"Add":" c0,"},{"Add":" l: 0,"},{"Add":" r: 0,"},{"Add":" ins: None,"},{"Add":" ins2: None,"},{"Add":" c1,"},{"Add":" skip_first: true,"},{"Add":" },"},{"Add":" k0,"},{"Add":" v0,"},{"Add":" ))"}]}},{"Replacement":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":200,"ins":{"up_context":[{"change":4,"pos":61957}],"down_context":[{"change":4,"pos":32658}],"flag":"BLOCK","start":33623,"end":33725,"inode":{"change":4,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":61957},"to":{"change":4,"start":32575,"end":32614},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":32614},"to":{"change":4,"start":8692,"end":8727},"introduced_by":4}],"inode":{"change":4,"pos":52511}},"ins_contents":[{"Add":" cursor: &mut Cursor,"},{"Add":" p0: usize,"},{"Add":" k0: &MaybeUninit,"},{"Add":" v0: &MaybeUninit,"}],"del_contents":[{"Del":" curs: &mut PageCursor,\n"},{"Del":" curs0: Option<(&'a K, &'a V)>,\n"}]}},{"Edit":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":206,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":62136}],"down_context":[{"change":4,"pos":32702}],"flag":"BLOCK","start":33726,"end":33791,"inode":{"change":4,"pos":52511}}},"contents":[{"Add":" let p = cursor.pointer;"},{"Add":" let curs = cursor.current_mut();"}]}},{"Replacement":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":209,"ins":{"up_context":[{"change":4,"pos":32745}],"down_context":[{"change":4,"pos":32778}],"flag":"BLOCK","start":33792,"end":33809,"inode":{"change":4,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":32745},"to":{"change":4,"start":8728,"end":8764},"introduced_by":4}],"inode":{"change":4,"pos":52511}},"ins_contents":[{"Add":" if p == p0 {"}],"del_contents":[{"Del":" if let Some((k0, v0)) = curs0 {\n"}]}},{"Replacement":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":213,"ins":{"up_context":[{"change":4,"pos":62477}],"down_context":[{"change":4,"pos":62502}],"flag":"BLOCK","start":33810,"end":33870,"inode":{"change":4,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":62477},"to":{"change":4,"start":8765,"end":8792},"introduced_by":4}],"inode":{"change":4,"pos":52511}},"ins_contents":[{"Add":" mid: unsafe { (&*k0.as_ptr(), &*v0.as_ptr()) },"}],"del_contents":[{"Del":" mid: (k0, v0),\n"}]}},{"Replacement":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":233,"ins":{"up_context":[{"change":4,"pos":62739}],"down_context":[{"change":4,"pos":62764}],"flag":"BLOCK","start":33871,"end":33951,"inode":{"change":4,"pos":52511}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":62739},"to":{"change":4,"start":33413,"end":33492},"introduced_by":4}],"inode":{"change":4,"pos":52511}},"ins_contents":[{"Add":" mid: unsafe { (core::mem::transmute(k), core::mem::transmute(v)) },"}],"del_contents":[{"Del":" mid: unsafe { (core::mem::transmute(k), core::mem::transmute(v))},\n"}]}},{"Edit":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":237,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":62825}],"down_context":[{"change":4,"pos":62825}],"flag":"BLOCK","start":33952,"end":38149,"inode":{"change":4,"pos":52511}}},"contents":[{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"fn handle_merge<"},{"Add":" 'a,"},{"Add":" T: AllocPage + LoadPage,"},{"Add":" K: Representable,"},{"Add":" V: Representable,"},{"Add":" P: BTreeMutPage + core::fmt::Debug,"},{"Add":">("},{"Add":" txn: &mut T,"},{"Add":" cursor: &mut Cursor,"},{"Add":" p0: usize,"},{"Add":" k0: &MaybeUninit,"},{"Add":" v0: &MaybeUninit,"},{"Add":" mod_is_left: bool,"},{"Add":" merge: Op<'a, T, K, V>,"},{"Add":" free: &mut [[u64; 2]; N_CURSORS],"},{"Add":") -> Result, T::Error> {"},{"Add":" let mutable = cursor.pointer < cursor.first_rc_level;"},{"Add":" let mut last_op = {"},{"Add":" let curs = cursor.current_mut();"},{"Add":" let c = curs.cursor.as_ref().unwrap();"},{"Add":" let (c0, c1) = P::split_at(curs.page.as_page(), c);"},{"Add":" ModifiedPage {"},{"Add":" page: curs.page,"},{"Add":" mutable,"},{"Add":" c0,"},{"Add":" l: 0,"},{"Add":" r: 0,"},{"Add":" ins: None,"},{"Add":" ins2: None,"},{"Add":" c1,"},{"Add":" skip_first: true,"},{"Add":" }"},{"Add":" };"},{"Add":" let freed = match merge {"},{"Add":" Op::Merged {"},{"Add":" page,"},{"Add":" freed,"},{"Add":" marker: _,"},{"Add":" } => {"},{"Add":" // If we're deleting at an internal node, the"},{"Add":" // replacement has already been included in the merged"},{"Add":" // page."},{"Add":" last_op.l = page.0.offset;"},{"Add":" freed"},{"Add":" }"},{"Add":" Op::Rebalanced { k, v, l, r, freed } => {"},{"Add":" // If we're deleting at an internal node, the"},{"Add":" // replacement is already in pages `l` or `r`."},{"Add":" last_op.l = l;"},{"Add":" last_op.r = r;"},{"Add":" last_op.ins = Some((k, v));"},{"Add":" freed"},{"Add":" }"},{"Add":" Op::Put(Put::Ok(Ok { page, freed })) => {"},{"Add":" // No merge, split or rebalance has happened. If we're"},{"Add":" // deleting at an internal node (i.e. if cursor.pointer =="},{"Add":" // p0), we need to mark the replacement here."},{"Add":" if cursor.pointer == p0 {"},{"Add":" last_op.ins = unsafe { Some((&*k0.as_ptr(), &*v0.as_ptr())) };"},{"Add":" last_op.r = page.0.offset;"},{"Add":" } else {"},{"Add":" last_op.skip_first = false;"},{"Add":" if mod_is_left {"},{"Add":" last_op.l = page.0.offset;"},{"Add":" } else {"},{"Add":" last_op.r = page.0.offset;"},{"Add":" }"},{"Add":" }"},{"Add":" [freed, 0]"},{"Add":" }"},{"Add":" Op::Put(Put::Split {"},{"Add":" left,"},{"Add":" right,"},{"Add":" split_key,"},{"Add":" split_value,"},{"Add":" freed,"},{"Add":" }) => {"},{"Add":" // This case only happens if `(K, V)` is not `Sized`, when"},{"Add":" // either (1) a rebalance replaces a key/value pair with a"},{"Add":" // larger one or (2) another split has happened in a page"},{"Add":" // below."},{"Add":" if cursor.pointer == p0 {"},{"Add":" // In this case, ins2 comes after ins, since the"},{"Add":" // replacement is in the right child of the deleted"},{"Add":" // key."},{"Add":" last_op.ins = unsafe { Some((&*k0.as_ptr(), &*v0.as_ptr())) };"},{"Add":" last_op.ins2 = Some((split_key, split_value))"},{"Add":" } else {"},{"Add":" last_op.ins = Some((split_key, split_value));"},{"Add":" last_op.skip_first = false"},{"Add":" }"},{"Add":" // The `l` and `r` fields are relative to `ins2` if"},{"Add":" // `ins2.is_some()` or to `ins` else."},{"Add":" last_op.l = left.0.offset;"},{"Add":" last_op.r = right.0.offset;"},{"Add":" // If the split key is the replacement element, we have"},{"Add":" // already increased its counter when we deleted it from"},{"Add":" // its original position at the bottom of the tree."},{"Add":" //"},{"Add":" // This can happen if we replaced an element and that"},{"Add":" // replacement caused a split with the replacement as the"},{"Add":" // middle element."},{"Add":" if cursor.pointer + 1 >= cursor.first_rc_level && (split_key as *const K) != k0.as_ptr()"},{"Add":" {"},{"Add":" for o in split_key.page_offsets().chain(split_value.page_offsets()) {"},{"Add":" txn.incr_rc(o)?;"},{"Add":" }"},{"Add":" }"},{"Add":" [freed, 0]"},{"Add":" }"},{"Add":" };"},{"Add":" if cursor.pointer < cursor.first_rc_level {"},{"Add":" free[cursor.pointer] = freed;"},{"Add":" } else {"},{"Add":" if cursor.pointer == cursor.first_rc_level {"},{"Add":" txn.decr_rc(last_op.page.offset)?;"},{"Add":" }"},{"Add":" modify_rc(txn, &last_op)?;"}]}},{"Edit":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":359,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":62831}],"down_context":[{"change":4,"pos":62831}],"flag":"BLOCK","start":38150,"end":38166,"inode":{"change":4,"pos":52511}}},"contents":[{"Add":" Ok(last_op)"}]}},{"Edit":{"inode":{"change":4,"pos":52511},"path":"sanakirja-core/src/btree/del.rs","line":391,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":63650}],"down_context":[{"change":4,"pos":63650}],"flag":"BLOCK","start":38167,"end":39588,"inode":{"change":4,"pos":52511}}},"contents":[{"Add":" }"},{"Add":" Ok(())"},{"Add":"}"},{"Add":""},{"Add":"fn update_root<"},{"Add":" 'a,"},{"Add":" T: AllocPage + LoadPage + core::fmt::Debug,"},{"Add":" K: Representable + core::fmt::Debug,"},{"Add":" V: Representable + core::fmt::Debug,"},{"Add":" P: BTreeMutPage + core::fmt::Debug,"},{"Add":">("},{"Add":" txn: &mut T,"},{"Add":" db: &mut Db_,"},{"Add":" mut last_op: ModifiedPage,"},{"Add":" k0: &MaybeUninit,"},{"Add":" is_rc: bool,"},{"Add":" free: &mut [[u64; 2]; N_CURSORS],"},{"Add":") -> Result<(), T::Error> {"},{"Add":" debug!(\"modify {:?}\", last_op);"},{"Add":" match P::modify(txn, &mut last_op)? {"},{"Add":" Put::Ok(Ok { page, freed }) => {"},{"Add":" free[0][0] = freed;"},{"Add":" db.db = page.0"},{"Add":" }"},{"Add":" Put::Split {"},{"Add":" split_key,"},{"Add":" split_value,"},{"Add":" left,"},{"Add":" right,"},{"Add":" freed,"},{"Add":" } => {"},{"Add":" free[0][0] = freed;"},{"Add":" let mut page = txn.alloc_page()?;"},{"Add":" P::init(&mut page);"},{"Add":" P::put("},{"Add":" txn,"},{"Add":" page.0,"},{"Add":" true,"},{"Add":" &P::first_cursor(page.0.as_page()),"},{"Add":" split_key,"},{"Add":" split_value,"},{"Add":" None,"},{"Add":" left.0.offset,"},{"Add":" right.0.offset,"},{"Add":" )?;"},{"Add":" if is_rc && (split_key as *const K) != k0.as_ptr() {"},{"Add":" for o in split_key.page_offsets().chain(split_value.page_offsets()) {"},{"Add":" txn.incr_rc(o)?;"},{"Add":" }"},{"Add":" }"},{"Add":" db.db = page.0"},{"Add":" }"}]}},{"Replacement":{"inode":{"change":4,"pos":11},"path":"sanakirja/src/tests.rs","line":28,"ins":{"up_context":[{"change":4,"pos":813}],"down_context":[{"change":4,"pos":897}],"flag":"BLOCK","start":39589,"end":39677,"inode":{"change":4,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":813},"to":{"change":4,"start":813,"end":897},"introduced_by":4}],"inode":{"change":4,"pos":11}},"ins_contents":[{"Add":" fn compare(&self, _: &T, b: &Self) -> std::cmp::Ordering {"},{"Add":" self.0.cmp(&b.0)"}],"del_contents":[{"Del":" type Ord = [u64; 100];\n fn ord(&self, _: &T) -> &Self::Ord {\n &self.0\n"}]}}],"owner":"pijul","repo":"sanakirja","token":"LQmN8zkP0NZzV22aYvjlDIxCNoxUxIXe321XUL4Gb0E=","login":null}

…

Dependencies

Change contents