{"header":{"message":"Unsized pages","description":null,"timestamp":"2021-02-03T16:25:44.335084561Z","authors":[{"full_name":"Pierre-Étienne Meunier","name":"pmeunier"}]},"hash":"H3FVSQIQGFCFKCPXVOSFHP4OSUOBBURJESCZNGQTNDAAD3WQSBEQC","authors":[],"deps":{"hashes":[["H3FVSQIQGFCFKCPXVOSFHP4OSUOBBURJESCZNGQTNDAAD3WQSBEQC","Unsized pages"],["AA",null],["OTWDDJE7TTE73D6BGF4ZN6BH2NFUFLPME2VJ3CPALH463UGWLEIQC","Trait/type cleanup"],["DV4A2LR7Q5LAEGAQHLO34PZCHGJUHPAMRZFGT7GUFNKVQKPJNOYQC","Double-inserts (rebalancing near an internal deletion)"],["OP6SVMOD2GTQ7VNJ4E5KYFG4MIYA7HBMXJTADALMZH4PY7OQRMZQC","Resetting history"],["YXKP4AIWDBIWBBUDWF66YIPG5ECMHNKEV3PX6KYXOVXY3EWG3WGQC","New file locks, with multiple sets of free pages"],["6DMPXOAT5GQ3BQQOMUZN2GMBQPRA4IB7CCPHTQTIFGO3KWWAKF3QC","More debugging"],["UAQX27N4PI4LHEW6LSHJETIE5MV7JTEMPLTJFYUBMYVPC43H7VOAC","Tests"],["YWFYZNLZ5JHLIFVBRKZK4TSWVPROUPRG77ZB5M7UHT2OKPL4ZSRQC","Cleanup + inter-process concurrency"],["QEUTVAZ4F4EJXRDMWDMYXF6XEDMX7YPVG4IIXEKPIR3K54E5W5OAC","Splitting btree::page"],["EAAYH6BQWDK52EC5RG3BEZQU3FJPN5RRRN4U5KDKDVPKXBVJMNDAC","Debugging put"],["NQBEOCFO4GJZKCE3A6V5LYSCEBQN2JLXPESBRJ65TZCU5JNAHEAQC","Tests cleanup"],["ONES3V466GLO5CXKRF5ENK7VFOQPWM3YXLVRGWB56V5SH3W7XNBQC","reference counting works for put"],["S4V4QZ5CF5LUDYWNR2UMWH6CHJDJ5FPGAZCQYM5GY7FJMJV4NN4QC","Debugging reference-counting for put"],["X3QVVQIS7B7L3XYZAWL3OOBUXOJ6RMOKQ45YMLLGAHYPEEKZ45ZAC","More debugging (del seems to work now)"],["WS4ZQM4RMIHZ6XZKSDQJGHN5SSSWFL4H236USOPUA33S6RC53RFAC","Debugging, tests, etc."],["FMN7X4J24EYPOJNBUWM4NKGWSJTRV2DHCIBMPV2AXLZVVAMNOBKQC","Micro-improvements, now noticeably faster than std::collections::BTreeMap"]],"deps":["OTWDDJE7TTE73D6BGF4ZN6BH2NFUFLPME2VJ3CPALH463UGWLEIQC"],"known":["OP6SVMOD2GTQ7VNJ4E5KYFG4MIYA7HBMXJTADALMZH4PY7OQRMZQC","FMN7X4J24EYPOJNBUWM4NKGWSJTRV2DHCIBMPV2AXLZVVAMNOBKQC","WS4ZQM4RMIHZ6XZKSDQJGHN5SSSWFL4H236USOPUA33S6RC53RFAC","EAAYH6BQWDK52EC5RG3BEZQU3FJPN5RRRN4U5KDKDVPKXBVJMNDAC","ONES3V466GLO5CXKRF5ENK7VFOQPWM3YXLVRGWB56V5SH3W7XNBQC","UAQX27N4PI4LHEW6LSHJETIE5MV7JTEMPLTJFYUBMYVPC43H7VOAC","X3QVVQIS7B7L3XYZAWL3OOBUXOJ6RMOKQ45YMLLGAHYPEEKZ45ZAC","NQBEOCFO4GJZKCE3A6V5LYSCEBQN2JLXPESBRJ65TZCU5JNAHEAQC","YXKP4AIWDBIWBBUDWF66YIPG5ECMHNKEV3PX6KYXOVXY3EWG3WGQC","YWFYZNLZ5JHLIFVBRKZK4TSWVPROUPRG77ZB5M7UHT2OKPL4ZSRQC","DV4A2LR7Q5LAEGAQHLO34PZCHGJUHPAMRZFGT7GUFNKVQKPJNOYQC","QEUTVAZ4F4EJXRDMWDMYXF6XEDMX7YPVG4IIXEKPIR3K54E5W5OAC","6DMPXOAT5GQ3BQQOMUZN2GMBQPRA4IB7CCPHTQTIFGO3KWWAKF3QC","S4V4QZ5CF5LUDYWNR2UMWH6CHJDJ5FPGAZCQYM5GY7FJMJV4NN4QC"]},"hunks":[{"Edit":{"inode":{"change":3,"pos":91},"path":"sanakirja-core/src/lib.rs","line":20,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":166}],"down_context":[{"change":3,"pos":761}],"flag":"BLOCK","start":0,"end":98,"inode":{"change":3,"pos":91}}},"contents":[{"Add":" unsafe fn onpage_size(p: *const u8) -> usize;"},{"Add":" unsafe fn write_to_page(&self, p: *mut u8);"}]}},{"Edit":{"inode":{"change":3,"pos":91},"path":"sanakirja-core/src/lib.rs","line":42,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":394}],"down_context":[{"change":2,"pos":394}],"flag":"BLOCK","start":99,"end":360,"inode":{"change":3,"pos":91}}},"contents":[{"Add":" }"},{"Add":" unsafe fn onpage_size(_: *const u8) -> usize {"},{"Add":" core::mem::size_of::()"},{"Add":" }"},{"Add":" unsafe fn write_to_page(&self, p: *mut u8) {"},{"Add":" core::ptr::copy_nonoverlapping(self, p as *mut Self, 1)"}]}},{"Edit":{"inode":{"change":3,"pos":91},"path":"sanakirja-core/src/lib.rs","line":62,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":467}],"down_context":[{"change":2,"pos":467}],"flag":"BLOCK","start":361,"end":1352,"inode":{"change":3,"pos":91}}},"contents":[{"Add":""},{"Add":"impl Representable for [u8] {"},{"Add":" type PageOffsets = core::iter::Empty;"},{"Add":" fn page_offsets(&self) -> Self::PageOffsets {"},{"Add":" core::iter::empty()"},{"Add":" }"},{"Add":" const ALIGN: usize = 2;"},{"Add":" const SIZE: Option = None;"},{"Add":" fn compare(&self, _: &T, b: &Self) -> core::cmp::Ordering {"},{"Add":" self.cmp(b)"},{"Add":" }"},{"Add":" fn size(&self) -> usize {"},{"Add":" 2 + self.len()"},{"Add":" }"},{"Add":" unsafe fn from_raw_ptr<'a, T>(_: &T, p: *const u8) -> &'a Self {"},{"Add":" let len = u16::from_le(*(p as *const u16));"},{"Add":" assert_ne!(len, 0);"},{"Add":" assert_eq!(len & 0xf000, 0);"},{"Add":" core::slice::from_raw_parts(p.add(2), len as usize)"},{"Add":" }"},{"Add":" unsafe fn onpage_size(p: *const u8) -> usize {"},{"Add":" let len = u16::from_le(*(p as *const u16));"},{"Add":" 2 + len as usize"},{"Add":" }"},{"Add":" unsafe fn write_to_page(&self, p: *mut u8) {"},{"Add":" assert!(self.len() <= 510);"},{"Add":" *(p as *mut u16) = (self.len() as u16).to_le();"},{"Add":" core::ptr::copy_nonoverlapping(self.as_ptr(), p.add(2), self.len())"},{"Add":" }"},{"Add":"}"}]}},{"Replacement":{"inode":{"change":3,"pos":91},"path":"sanakirja-core/src/lib.rs","line":95,"ins":{"up_context":[{"change":3,"pos":1496}],"down_context":[{"change":2,"pos":575}],"flag":"BLOCK","start":1353,"end":1476,"inode":{"change":3,"pos":91}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1496},"to":{"change":2,"start":470,"end":575},"introduced_by":2}],"inode":{"change":3,"pos":91}},"ins_contents":[{"Add":"unsafe fn read(txn: &T, k: *const u8) -> (*const u8, *const u8) {"}],"del_contents":[{"Del":"unsafe fn read(txn: &T, k: *const u8) -> (*const u8, *const u8) {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":91},"path":"sanakirja-core/src/lib.rs","line":103,"ins":{"up_context":[{"change":3,"pos":1749}],"down_context":[{"change":3,"pos":1833}],"flag":"BLOCK","start":1477,"end":1566,"inode":{"change":3,"pos":91}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1749},"to":{"change":2,"start":634,"end":709},"introduced_by":2}],"inode":{"change":3,"pos":91}},"ins_contents":[{"Add":"fn alloc_size(k: &K, v: &V) -> usize {"}],"del_contents":[{"Del":"fn alloc_size(k: &K, v: &V) -> usize {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":91},"path":"sanakirja-core/src/lib.rs","line":109,"ins":{"up_context":[{"change":3,"pos":1972}],"down_context":[{"change":3,"pos":2102}],"flag":"BLOCK","start":1567,"end":1695,"inode":{"change":3,"pos":91}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1972},"to":{"change":2,"start":710,"end":792},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":3,"pos":260},"to":{"change":3,"start":2061,"end":2102},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":2,"pos":792},"to":{"change":3,"start":2061,"end":2102},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2061},"to":{"change":3,"start":2061,"end":2102},"introduced_by":3}],"inode":{"change":3,"pos":91}},"ins_contents":[{"Add":"unsafe fn entry_size(k: *const u8) -> usize {"},{"Add":" let ks = K::onpage_size(k);"}],"del_contents":[{"Del":"unsafe fn entry_size(k: *const u8) -> usize {\n"},{"Del":" let ks = (&*(k as *const K)).size();\n"}]}},{"Replacement":{"inode":{"change":3,"pos":91},"path":"sanakirja-core/src/lib.rs","line":115,"ins":{"up_context":[{"change":3,"pos":2255}],"down_context":[{"change":3,"pos":2300}],"flag":"BLOCK","start":1696,"end":1732,"inode":{"change":3,"pos":91}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2255},"to":{"change":3,"start":2255,"end":2300},"introduced_by":3}],"inode":{"change":3,"pos":91}},"ins_contents":[{"Add":" let vs = V::onpage_size(v_ptr);"}],"del_contents":[{"Del":" let vs = (&*(v_ptr as *const V)).size();\n"}]}},{"Replacement":{"inode":{"change":3,"pos":3448},"path":"sanakirja-core/src/btree/put.rs","line":18,"ins":{"up_context":[{"change":3,"pos":146}],"down_context":[{"change":3,"pos":4213}],"flag":"BLOCK","start":1733,"end":1832,"inode":{"change":3,"pos":3448}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":146},"to":{"change":2,"start":793,"end":878},"introduced_by":2}],"inode":{"change":3,"pos":3448}},"ins_contents":[{"Add":"pub fn put>("}],"del_contents":[{"Del":"pub fn put>(\n"}]}},{"Replacement":{"inode":{"change":3,"pos":3448},"path":"sanakirja-core/src/btree/put.rs","line":52,"ins":{"up_context":[{"change":3,"pos":4963}],"down_context":[{"change":3,"pos":5061}],"flag":"BLOCK","start":1833,"end":1936,"inode":{"change":3,"pos":3448}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":4963},"to":{"change":2,"start":907,"end":996},"introduced_by":2}],"inode":{"change":3,"pos":3448}},"ins_contents":[{"Add":"fn put_cascade>("}],"del_contents":[{"Del":"fn put_cascade>(\n"}]}},{"Replacement":{"inode":{"change":3,"pos":3448},"path":"sanakirja-core/src/btree/put.rs","line":125,"ins":{"up_context":[{"change":3,"pos":7489}],"down_context":[{"change":2,"pos":1076}],"flag":"BLOCK","start":1937,"end":1995,"inode":{"change":3,"pos":3448}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":7489},"to":{"change":2,"start":1032,"end":1076},"introduced_by":2}],"inode":{"change":3,"pos":3448}},"ins_contents":[{"Add":" K: Representable+?Sized,"},{"Add":" V: Representable+?Sized,"}],"del_contents":[{"Del":" K: Representable,\n V: Representable,\n"}]}},{"FileAdd":{"meta":{"basename":"page_unsized.rs","metadata":420},"context":[{"change":3,"pos":3438}],"contents":[{"Add":"use super::*;"},{"Add":"use core::cmp::Ordering;"},{"Add":"use log::*;"},{"Add":""},{"Add":"mod put;"},{"Add":"mod alloc;"},{"Add":"use alloc::*;"},{"Add":"mod header;"},{"Add":"use header::*;"},{"Add":"mod rebalance;"},{"Add":"use rebalance::*;"},{"Add":""},{"Add":"const PAGE_SIZE: usize = 4096;"},{"Add":""},{"Add":"#[derive(Debug)]"},{"Add":"pub struct Page {"},{"Add":" k: core::marker::PhantomData,"},{"Add":" v: core::marker::PhantomData,"},{"Add":"}"},{"Add":""},{"Add":"impl<"},{"Add":" K: Representable+?Sized + core::fmt::Debug,"},{"Add":" V: Representable+?Sized + core::fmt::Debug,"},{"Add":" > super::BTreeMutPage for Page"},{"Add":"{"},{"Add":" fn init(page: &mut MutPage) {"},{"Add":" debug!(\"init {:?}\", page);"},{"Add":" let h = header_mut(page);"},{"Add":" h.init();"},{"Add":" debug!(\"init: {:?}\", h);"},{"Add":" }"},{"Add":""},{"Add":" fn clean(page: &mut MutPage) {"},{"Add":" let hdr = header_mut(page);"},{"Add":" hdr.clean();"},{"Add":" }"},{"Add":""},{"Add":" fn size(m: &ModifiedPage) -> usize {"},{"Add":" let mut occupied = {"},{"Add":" let hdr = header(m.page.as_page());"},{"Add":" (hdr.left_page() & 0xfff) as usize"},{"Add":" };"},{"Add":" occupied += HDR;"},{"Add":" if m.skip_first {"},{"Add":" occupied -= Self::current_size(m.page.as_page(), &m.c1) as usize;"},{"Add":" }"},{"Add":" if let Some((k, v)) = m.ins {"},{"Add":" occupied += crate::alloc_size(k, v) as usize;"},{"Add":" if let Some((k, v)) = m.ins2 {"},{"Add":" occupied += crate::alloc_size(k, v) as usize;"},{"Add":" }"},{"Add":" if m.c1.is_leaf {"},{"Add":" if m.ins2.is_some() {"},{"Add":" occupied += 4;"},{"Add":" } else {"},{"Add":" occupied += 2;"},{"Add":" }"},{"Add":" } else if m.ins2.is_some() {"},{"Add":" occupied += 16"},{"Add":" } else {"},{"Add":" occupied += 8"},{"Add":" }"},{"Add":" }"},{"Add":" occupied"},{"Add":" }"},{"Add":""},{"Add":" fn put<'a, T: AllocPage>("},{"Add":" txn: &mut T,"},{"Add":" page: CowPage,"},{"Add":" mutable: bool,"},{"Add":" c: &Cursor,"},{"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":" if r == 0 {"},{"Add":" put::put::<_, _, _, Leaf>(txn, page, mutable, c.cur, k0, v0, k1v1, 0, 0)"},{"Add":" } else {"},{"Add":" put::put::<_, _, _, Internal>(txn, page, mutable, c.cur, k0, v0, k1v1, l, r)"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":" fn replace<'a, T: AllocPage>("},{"Add":" txn: &mut T,"},{"Add":" page: CowPage,"},{"Add":" mutable: bool,"},{"Add":" c: &Self::Cursor,"},{"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":" // We're never in a leaf if we're doing this."},{"Add":" let new = Self::del(txn, page, c, l)?;"},{"Add":" Self::put(txn, new.0, mutable, c, k0, v0, k1v1, l, r)"},{"Add":" }"},{"Add":""},{"Add":" fn update_left_child("},{"Add":" txn: &mut T,"},{"Add":" page: CowPage,"},{"Add":" mutable: bool,"},{"Add":" c: &Self::Cursor,"},{"Add":" r: u64,"},{"Add":" ) -> Result {"},{"Add":" assert!(!c.is_leaf);"},{"Add":" let freed;"},{"Add":" debug!("},{"Add":" \"update_left_child: {:?} {:?} {:?}\","},{"Add":" page,"},{"Add":" mutable,"},{"Add":" header(page.as_page())"},{"Add":" );"},{"Add":" let page = if mutable && Self::is_dirty(page.as_page()) {"},{"Add":" freed = 0;"},{"Add":" unsafe { core::mem::transmute(page) }"},{"Add":" } else {"},{"Add":" let mut new = txn.alloc_page()?;"},{"Add":" debug!(\"new = {:?}\", new);"},{"Add":" as BTreeMutPage>::init(&mut new);"},{"Add":" let l = header(page.as_page()).left_page() & !0xfff;"},{"Add":" let hdr = header_mut(&mut new);"},{"Add":" hdr.set_left_page(l);"},{"Add":" let s = Internal::offset_slice::(page.as_page());"},{"Add":" let mut n = 0;"},{"Add":" clone::(page.as_page(), &mut new, s, &mut n);"},{"Add":" let b = if Self::is_dirty(page.as_page()) { 1 } else { 0 };"},{"Add":" freed = page.offset | b;"},{"Add":" new"},{"Add":" };"},{"Add":" assert!(c.cur < c.total + 1);"},{"Add":" unsafe {"},{"Add":" let off = (page.0.data.add(HDR) as *mut u64).offset(c.cur as isize - 1);"},{"Add":" *off = (r | (u64::from_le(*off) & 0xfff)).to_le();"},{"Add":" }"},{"Add":" Ok(Ok { page, freed })"},{"Add":" }"},{"Add":""},{"Add":" fn del(txn: &mut T, page: crate::CowPage, c: &Cursor, l: u64) -> Result {"},{"Add":" debug!(\"del: {:?} {:?}\", page, l);"},{"Add":" assert!(c.cur < c.total);"},{"Add":" if Self::is_dirty(page.as_page()) {"},{"Add":" let p = page.data;"},{"Add":" let mut page: MutPage = unsafe { core::mem::transmute(page) };"},{"Add":" let hdr = header_mut(&mut page);"},{"Add":" unsafe {"},{"Add":" if c.is_leaf {"},{"Add":" let n = hdr.n() as usize;"},{"Add":" let ptr = p.add(HDR + c.cur * 2) as *mut u16;"},{"Add":" let kv_ptr = p.add((*ptr) as usize);"},{"Add":" let size = entry_size::(kv_ptr);"},{"Add":" core::ptr::copy(ptr.offset(1), ptr, n - c.cur);"},{"Add":" hdr.decr(size);"},{"Add":" } else {"},{"Add":" let ptr = p.add(HDR + c.cur * 8) as *mut u64;"},{"Add":" let off = (u64::from_le(*ptr) & 0xfff) as usize;"},{"Add":" let kv_ptr = p.add(off);"},{"Add":" let size = entry_size::(kv_ptr);"},{"Add":" core::ptr::copy(ptr.offset(1), ptr, hdr.n() as usize - c.cur);"},{"Add":" (&mut *hdr).decr(size);"},{"Add":" }"},{"Add":" };"},{"Add":" if l > 0 {"},{"Add":" assert!(!c.is_leaf);"},{"Add":" // Updating the left page if necessary."},{"Add":" unsafe {"},{"Add":" let off = (p.add(HDR) as *mut u64).offset(c.cur as isize - 1);"},{"Add":" *off = (l | (u64::from_le(*off) & 0xfff)).to_le();"},{"Add":" }"},{"Add":" }"},{"Add":" hdr.set_n(hdr.n() - 1);"},{"Add":" Ok(page)"},{"Add":" } else {"},{"Add":" unsafe {"},{"Add":" let mut new = txn.alloc_page()?;"},{"Add":" as BTreeMutPage>::init(&mut new);"},{"Add":" if c.is_leaf {"},{"Add":" let s = Leaf::offset_slice::(page.as_page());"},{"Add":" let (s0, s1) = s.split_at(c.cur);"},{"Add":" let mut n = 0;"},{"Add":" clone::(page.as_page(), &mut new, s0, &mut n);"},{"Add":" clone::(page.as_page(), &mut new, s1, &mut n);"},{"Add":" } else {"},{"Add":" let s = Internal::offset_slice::(page.as_page());"},{"Add":" let (s0, s1) = s.split_at(c.cur);"},{"Add":" let mut n = 0;"},{"Add":" clone::(page.as_page(), &mut new, s0, &mut n);"},{"Add":" let off = (page.data.add(HDR) as *mut u64).offset(n - 1);"},{"Add":" *off = l.to_le();"},{"Add":" clone::(page.as_page(), &mut new, s1, &mut n);"},{"Add":" }"},{"Add":" Ok(new)"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":" fn merge_or_rebalance<'a, T: AllocPage>("},{"Add":" txn: &mut T,"},{"Add":" m: &mut Concat<'a, K, V, Self>,"},{"Add":" ) -> Result, T::Error> {"},{"Add":" let hdr_size = HDR;"},{"Add":" let mid_size = if m.modified.c0.is_leaf {"},{"Add":" 2 + alloc_size::(m.mid.0, m.mid.1)"},{"Add":" } else {"},{"Add":" 8 + alloc_size::(m.mid.0, m.mid.1)"},{"Add":" };"},{"Add":" let mod_size = Self::size(&m.modified);"},{"Add":" let occupied = {"},{"Add":" let hdr = header(m.other.as_page());"},{"Add":" (hdr.left_page() & 0xfff) as usize"},{"Add":" };"},{"Add":" let size = mod_size + mid_size + occupied - hdr_size;"},{"Add":" debug!("},{"Add":" \"size = {:?} {:?} {:?} {:?} {:?}\","},{"Add":" mod_size, mid_size, occupied, hdr_size, size"},{"Add":" );"},{"Add":" if size <= PAGE_SIZE {"},{"Add":" // merge"},{"Add":" let mut new = txn.alloc_page()?;"},{"Add":" as BTreeMutPage>::init(&mut new);"},{"Add":" unsafe {"},{"Add":" if m.modified.c0.is_leaf {"},{"Add":" merge::<_, _, _, Leaf>(txn, &mut new, m)"},{"Add":" } else {"},{"Add":" merge::<_, _, _, Internal>(txn, &mut new, m)"},{"Add":" }"},{"Add":" }"},{"Add":" let b0 = if Self::is_dirty(m.modified.page.as_page()) {"},{"Add":" 1"},{"Add":" } else {"},{"Add":" 0"},{"Add":" };"},{"Add":" let b1 = if Self::is_dirty(m.other.as_page()) {"},{"Add":" 1"},{"Add":" } else {"},{"Add":" 0"},{"Add":" };"},{"Add":" return Ok(Op::Merged {"},{"Add":" page: new,"},{"Add":" freed: [m.modified.page.offset | b0, m.other.offset | b1],"},{"Add":" marker: core::marker::PhantomData,"},{"Add":" });"},{"Add":" }"},{"Add":" let rc = >::first_cursor(m.other.as_page());"},{"Add":" let first_size = >::current_size(m.other.as_page(), &rc);"},{"Add":" // If we can't rebalance, modify and return."},{"Add":" if mod_size >= PAGE_SIZE / 2 || occupied - first_size < PAGE_SIZE / 2 {"},{"Add":" if let Some((k, v)) = m.modified.ins {"},{"Add":" return Ok(Op::Put(Self::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":" } else {"},{"Add":" return Ok(Op::Put(Put::Ok(Ok {"},{"Add":" page: Self::del(txn, m.modified.page, &m.modified.c1, m.modified.l)?,"},{"Add":" freed: 0,"},{"Add":" })));"},{"Add":" }"},{"Add":" }"},{"Add":" if m.mod_is_left {"},{"Add":" if m.modified.c0.is_leaf {"},{"Add":" rebalance_left::<_, _, _, Leaf>(txn, m)"},{"Add":" } else {"},{"Add":" rebalance_left::<_, _, _, Internal>(txn, m)"},{"Add":" }"},{"Add":" } else {"},{"Add":" if m.modified.c0.is_leaf {"},{"Add":" rebalance_right::<_, _, _, Leaf>(txn, m)"},{"Add":" } else {"},{"Add":" rebalance_right::<_, _, _, Internal>(txn, m)"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"impl super::BTreePage"},{"Add":" for Page"},{"Add":"{"},{"Add":" fn is_dirty(page: crate::Page) -> bool {"},{"Add":" header(page).is_dirty()"},{"Add":" }"},{"Add":""},{"Add":" fn is_empty(_: crate::Page, c: &Self::Cursor) -> bool {"},{"Add":" c.cur >= c.total"},{"Add":" }"},{"Add":" type Cursor = Cursor;"},{"Add":" fn first_cursor(p: crate::Page) -> Self::Cursor {"},{"Add":" let hdr = header(p);"},{"Add":" Cursor {"},{"Add":" cur: 0,"},{"Add":" total: hdr.n() as usize,"},{"Add":" is_leaf: hdr.is_leaf(),"},{"Add":" }"},{"Add":" }"},{"Add":" fn last_cursor(p: crate::Page) -> Self::Cursor {"},{"Add":" let hdr = header(p);"},{"Add":" let total = hdr.n() as usize;"},{"Add":" Cursor {"},{"Add":" cur: total - 1,"},{"Add":" total,"},{"Add":" is_leaf: hdr.is_leaf(),"},{"Add":" }"},{"Add":" }"},{"Add":" unsafe fn unchecked_current<'a, T: LoadPage>("},{"Add":" txn: &T,"},{"Add":" page: crate::Page<'a>,"},{"Add":" c: &Self::Cursor,"},{"Add":" ) -> (&'a K, &'a V, u64) {"},{"Add":" if c.is_leaf {"},{"Add":" let off = {"},{"Add":" u16::from_le(*(page.data.as_ptr().add(HDR + c.cur * 2) as *const u16)) as usize"},{"Add":" };"},{"Add":" let (k, v) = read::(txn, page.data.as_ptr().add(off as usize));"},{"Add":" (K::from_raw_ptr(txn, k as *const u8), V::from_raw_ptr(txn, v as *const u8), 0)"},{"Add":" } else {"},{"Add":" let off = u64::from_le(*(page.data.as_ptr().add(HDR) as *const u64).add(c.cur));"},{"Add":" let (k, v) = read::(txn, page.data.as_ptr().add((off & 0xfff) as usize));"},{"Add":" (K::from_raw_ptr(txn, k as *const u8), V::from_raw_ptr(txn, v as *const u8), off & !0xfff)"},{"Add":" }"},{"Add":" }"},{"Add":" unsafe fn unchecked_current_ptr(page: crate::Page, c: &Self::Cursor) -> *const u8 {"},{"Add":" page.data.as_ptr().add(if c.is_leaf {"},{"Add":" u16::from_le(*(page.data.as_ptr().add(HDR + c.cur * 2) as *const u16)) as usize"},{"Add":" } else {"},{"Add":" (u64::from_le(*(page.data.as_ptr().add(HDR + c.cur * 8) as *const u64)) & 0xfff)"},{"Add":" as usize"},{"Add":" })"},{"Add":" }"},{"Add":" fn current_size(page: crate::Page, c: &Self::Cursor) -> usize {"},{"Add":" unsafe {"},{"Add":" if c.is_leaf {"},{"Add":" 2 + entry_size::(page.data.as_ptr().add(u16::from_le("},{"Add":" *(page.data.as_ptr().add(HDR) as *const u16).add(c.cur),"},{"Add":" )"},{"Add":" as usize))"},{"Add":" } else {"},{"Add":" 8 + entry_size::(page.data.as_ptr().add("},{"Add":" (u64::from_le(*(page.data.as_ptr().add(HDR) as *const u64).add(c.cur)) & 0xfff)"},{"Add":" as usize,"},{"Add":" ))"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":" fn move_next(_page: crate::Page, c: &mut Self::Cursor) -> bool {"},{"Add":" if c.cur < c.total {"},{"Add":" c.cur += 1;"},{"Add":" true"},{"Add":" } else {"},{"Add":" false"},{"Add":" }"},{"Add":" }"},{"Add":" fn move_prev(_page: crate::Page, c: &mut Self::Cursor) -> bool {"},{"Add":" if c.cur > 0 {"},{"Add":" c.cur -= 1;"},{"Add":" true"},{"Add":" } else {"},{"Add":" false"},{"Add":" }"},{"Add":" }"},{"Add":" fn left_child(page: crate::Page, c: &Self::Cursor) -> u64 {"},{"Add":" if c.is_leaf {"},{"Add":" 0"},{"Add":" } else {"},{"Add":" let off = unsafe { *(page.data.as_ptr().add((HDR + c.cur * 8) - 8) as *const u64) };"},{"Add":" u64::from_le(off) & !0xfff"},{"Add":" }"},{"Add":" }"},{"Add":" fn right_child(page: crate::Page, c: &Self::Cursor) -> u64 {"},{"Add":" if c.is_leaf {"},{"Add":" 0"},{"Add":" } else {"},{"Add":" let off = unsafe { *(page.data.as_ptr().add(HDR + c.cur * 8) as *const u64) };"},{"Add":" u64::from_le(off) & !0xfff"},{"Add":" }"},{"Add":" }"},{"Add":" fn set_cursor<'a, T: LoadPage>("},{"Add":" txn: &T,"},{"Add":" page: crate::Page,"},{"Add":" c: &mut Cursor,"},{"Add":" k0: &K,"},{"Add":" v0: Option<&V>,"},{"Add":" ) -> Result<(&'a K, &'a V, u64), usize> {"},{"Add":" unsafe {"},{"Add":" let lookup = lookup(txn, page, c, k0, v0);"},{"Add":" debug!(\"set_cursor, {:?} lookup = {:?}\", page.offset, lookup);"},{"Add":" let result;"},{"Add":" c.cur = match lookup {"},{"Add":" Ok(n) => {"},{"Add":" result = if c.is_leaf {"},{"Add":" let off = {"},{"Add":" let off ="},{"Add":" u16::from_le(*(page.data.as_ptr().add(HDR + n * 2) as *const u16));"},{"Add":" (0, off)"},{"Add":" };"},{"Add":" Ok(Leaf::kv(txn, page, off))"},{"Add":" } else {"},{"Add":" let off ="},{"Add":" u64::from_le(*(page.data.as_ptr().add(HDR + n * 8) as *const u64));"},{"Add":" Ok(Internal::kv(txn, page, (off & !0xfff, (off & 0xfff) as u16)))"},{"Add":" };"},{"Add":" n"},{"Add":" }"},{"Add":" Err(n) => {"},{"Add":" result = Err(n);"},{"Add":" n"},{"Add":" }"},{"Add":" };"},{"Add":" result"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":" fn split_at(_: crate::Page, c: &Self::Cursor) -> (Self::Cursor, Self::Cursor) {"},{"Add":" ("},{"Add":" Cursor {"},{"Add":" cur: 0,"},{"Add":" total: c.cur,"},{"Add":" is_leaf: c.is_leaf,"},{"Add":" },"},{"Add":" *c,"},{"Add":" )"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"unsafe fn lookup("},{"Add":" txn: &T,"},{"Add":" page: crate::Page,"},{"Add":" c: &mut Cursor,"},{"Add":" k0: &K,"},{"Add":" v0: Option<&V>,"},{"Add":") -> Result {"},{"Add":" let hdr = header(page);"},{"Add":" c.total = hdr.n() as usize;"},{"Add":" c.is_leaf = hdr.is_leaf();"},{"Add":" if c.is_leaf {"},{"Add":" let s = core::slice::from_raw_parts("},{"Add":" page.data.as_ptr().add(HDR) as *const u16,"},{"Add":" hdr.n() as usize,"},{"Add":" );"},{"Add":" if let Some(v0) = v0 {"},{"Add":" s.binary_search_by(|&off| {"},{"Add":" let off = u16::from_le(off);"},{"Add":" let (k, v) = read::(txn, page.data.as_ptr().offset(off as isize));"},{"Add":" let k = K::from_raw_ptr(txn, k as *const u8);"},{"Add":" match k.compare(txn, k0) {"},{"Add":" Ordering::Equal => {"},{"Add":" let v = V::from_raw_ptr(txn, v as *const u8);"},{"Add":" v.compare(txn, v0)"},{"Add":" },"},{"Add":" cmp => cmp,"},{"Add":" }"},{"Add":" })"},{"Add":" } else {"},{"Add":" s.binary_search_by(|&off| {"},{"Add":" let off = u16::from_le(off);"},{"Add":" let (k, _) = read::(txn, page.data.as_ptr().offset(off as isize));"},{"Add":" let k = K::from_raw_ptr(txn, k);"},{"Add":" k.compare(txn, k0)"},{"Add":" })"},{"Add":" }"},{"Add":" } else {"},{"Add":" let s = core::slice::from_raw_parts("},{"Add":" page.data.as_ptr().add(HDR) as *const u64,"},{"Add":" hdr.n() as usize,"},{"Add":" );"},{"Add":" if let Some(v0) = v0 {"},{"Add":" s.binary_search_by(|&off| {"},{"Add":" let off = u64::from_le(off) & 0xfff;"},{"Add":" let (k, v) = read::(txn, page.data.as_ptr().offset(off as isize & 0xfff));"},{"Add":" let k = K::from_raw_ptr(txn, k);"},{"Add":" match k.compare(txn, k0) {"},{"Add":" Ordering::Equal => {"},{"Add":" let v = V::from_raw_ptr(txn, v);"},{"Add":" v.compare(txn, v0)"},{"Add":" },"},{"Add":" cmp => cmp,"},{"Add":" }"},{"Add":" })"},{"Add":" } else {"},{"Add":" s.binary_search_by(|&off| {"},{"Add":" let off = u64::from_le(off) & 0xfff;"},{"Add":" let (k, _) = read::(txn, page.data.as_ptr().offset(off as isize & 0xfff));"},{"Add":" let k = K::from_raw_ptr(txn, k);"},{"Add":" k.compare(txn, k0)"},{"Add":" })"},{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"#[derive(Debug, Clone, Copy)]"},{"Add":"pub struct Cursor {"},{"Add":" cur: usize,"},{"Add":" total: usize,"},{"Add":" is_leaf: bool,"},{"Add":"}"},{"Add":""},{"Add":"unsafe fn modify<"},{"Add":" T: LoadPage,"},{"Add":" K: Representable + ?Sized + core::fmt::Debug,"},{"Add":" V: Representable + ?Sized + core::fmt::Debug,"},{"Add":" L: Alloc,"},{"Add":" >("},{"Add":" txn: &T,"},{"Add":" new: &mut MutPage,"},{"Add":" m: &mut ModifiedPage>,"},{"Add":" n: &mut isize,"},{"Add":") {"},{"Add":" debug!(\"modify {:?}\", m);"},{"Add":" let mut l = >::left_child(m.page.as_page(), &m.c0);"},{"Add":" while let Some((k, v, r)) = >::next(txn, m.page.as_page(), &mut m.c0) {"},{"Add":" alloc::<_, _, L>(new, k, v, l, r, n);"},{"Add":" l = 0;"},{"Add":" }"},{"Add":" if let Some((k, v)) = m.ins {"},{"Add":" if let Some((k2, v2)) = m.ins2 {"},{"Add":" alloc::<_, _, L>(new, k, v, 0, 0, n);"},{"Add":" alloc::<_, _, L>(new, k2, v2, m.l, m.r, n);"},{"Add":" } else {"},{"Add":" alloc::<_, _, L>(new, k, v, m.l, m.r, n);"},{"Add":" }"},{"Add":" } else {"},{"Add":" l = m.l"},{"Add":" }"},{"Add":" let mut is_first = m.skip_first;"},{"Add":" while let Some((k, v, r)) = >::next(txn, m.page.as_page(), &mut m.c1) {"},{"Add":" if is_first {"},{"Add":" is_first = false;"},{"Add":" continue;"},{"Add":" }"},{"Add":" alloc::< _, _, L>(new, k, v, l, r, n);"},{"Add":" l = 0;"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"unsafe fn merge<"},{"Add":" T: LoadPage,"},{"Add":" K: Representable + ?Sized + core::fmt::Debug,"},{"Add":" V: Representable + ?Sized + core::fmt::Debug,"},{"Add":" L: Alloc,"},{"Add":" >("},{"Add":" txn: &T,"},{"Add":" new: &mut MutPage,"},{"Add":" m: &mut Concat>,"},{"Add":") {"},{"Add":" let mut n = 0;"},{"Add":" if m.mod_is_left {"},{"Add":" modify::<_, _, _, L>(txn, new, &mut m.modified, &mut n);"},{"Add":" let mut rc = >::first_cursor(m.other.as_page());"},{"Add":" let l = >::left_child(m.other.as_page(), &rc);"},{"Add":" alloc::<_, _, L>(new, m.mid.0, m.mid.1, 0, l, &mut n);"},{"Add":" while let Some((k, v, r)) = >::next(txn, m.other.as_page(), &mut rc) {"},{"Add":" alloc::<_, _, L>(new, k, v, 0, r, &mut n);"},{"Add":" }"},{"Add":" } else {"},{"Add":" let mut rc = >::first_cursor(m.other.as_page());"},{"Add":" let mut l = >::left_child(m.other.as_page(), &rc);"},{"Add":" while let Some((k, v, r)) = >::next(txn, m.other.as_page(), &mut rc) {"},{"Add":" alloc::<_, _, L>(new, k, v, l, r, &mut n);"},{"Add":" l = 0;"},{"Add":" }"},{"Add":" alloc::<_, _, L>(new, m.mid.0, m.mid.1, 0, 0, &mut n);"},{"Add":" modify::<_, _, _, L>(txn, new, &mut m.modified, &mut n);"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":""},{"Add":"fn clone("},{"Add":" page: crate::Page,"},{"Add":" new: &mut MutPage,"},{"Add":" s: Offsets,"},{"Add":" n: &mut isize,"},{"Add":") {"},{"Add":" match s {"},{"Add":" Offsets::Slice(s) => {"},{"Add":" debug!(\"clone: {:?}\", s);"},{"Add":" for off in s.iter() {"},{"Add":" let (r, off): (u64, u16) = (*off).into();"},{"Add":" debug!(\"clone: {:?} {:?}\", r, off);"},{"Add":" unsafe {"},{"Add":" let ptr = page.data.as_ptr().add(off as usize);"},{"Add":" debug!(\"ptr = {:?}\", core::slice::from_raw_parts(ptr, 24));"},{"Add":" let size = entry_size::(ptr);"},{"Add":" debug!(\"size: {:?}\", size);"},{"Add":" let hdr = header_mut(new);"},{"Add":" let off_new = L::alloc::(hdr, size, K::ALIGN.max(V::ALIGN));"},{"Add":" debug!(\"off_new: {:?}\", off_new);"},{"Add":" core::ptr::copy_nonoverlapping(ptr, new.0.data.offset(off_new as isize), size);"},{"Add":" L::set_offset(new, *n, r, off_new);"},{"Add":" }"},{"Add":" *n += 1;"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"fn alloc("},{"Add":" new: &mut MutPage,"},{"Add":" k0: &K,"},{"Add":" v0: &V,"},{"Add":" l: u64,"},{"Add":" r: u64,"},{"Add":" n: &mut isize,"},{"Add":") {"},{"Add":" let size = alloc_size(k0, v0);"},{"Add":" let off_new = L::alloc_insert::(new, n, size, r);"},{"Add":" unsafe {"},{"Add":" let new_ptr = new.0.data.add(off_new as usize);"},{"Add":" k0.write_to_page(new_ptr);"},{"Add":" let ks = k0.size();"},{"Add":" let v_ptr = new_ptr.add((ks + V::ALIGN - 1) & !(V::ALIGN - 1));"},{"Add":" v0.write_to_page(v_ptr);"},{"Add":" }"},{"Add":" if l > 0 {"},{"Add":" L::set_right_child(new, *n - 1, l);"},{"Add":" }"},{"Add":" *n += 1;"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"page_unsized","metadata":1005},"context":[{"change":3,"pos":3438}],"contents":[]}},{"FileAdd":{"meta":{"basename":"rebalance.rs","metadata":420},"context":[{"change":0,"pos":22910}],"contents":[{"Add":"use super::*;"},{"Add":""},{"Add":"pub(crate) fn rebalance_left<"},{"Add":" 'a,"},{"Add":" T: AllocPage,"},{"Add":" K: Representable + ?Sized + core::fmt::Debug,"},{"Add":" V: Representable + ?Sized + core::fmt::Debug,"},{"Add":" L: Alloc,"},{"Add":">("},{"Add":" txn: &mut T,"},{"Add":" m: &mut Concat<'a, 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(txn, 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 (new_right, k, v): (_, &K, &V) = unsafe {"},{"Add":" ("},{"Add":" >::del(txn, m.other, &rc, r)?,"},{"Add":" core::mem::transmute(k),"},{"Add":" core::mem::transmute(v),"},{"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,"},{"Add":" K: Representable + ?Sized + core::fmt::Debug,"},{"Add":" V: Representable + ?Sized + core::fmt::Debug,"},{"Add":" L: Alloc,"},{"Add":">("},{"Add":" txn: &mut T,"},{"Add":" m: &mut Concat<'a, 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(txn, 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":22910}],"contents":[{"Add":"use super::*;"},{"Add":""},{"Add":"pub(crate) fn put<"},{"Add":" 'a,"},{"Add":" T: AllocPage,"},{"Add":" K: Representable + ?Sized + core::fmt::Debug,"},{"Add":" V: Representable + ?Sized + 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":" return split_unsized::<_, _, _, L>(txn, page.as_page(), u, k0, v0, k1v1, l, r);"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"fn split_unsized<"},{"Add":" 'a,"},{"Add":" T: AllocPage,"},{"Add":" K: Representable + ?Sized + core::fmt::Debug,"},{"Add":" V: Representable + ?Sized + 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 right);"},{"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(), core::ptr::null());"},{"Add":" let mut current_page = &mut left;"},{"Add":""},{"Add":" let mut n = 0;"},{"Add":" let s = unsafe {"},{"Add":" core::slice::from_raw_parts("},{"Add":" page.data.as_ptr().add(HDR) as *const LeafOffset,"},{"Add":" n0 as usize,"},{"Add":" )"},{"Add":" };"},{"Add":" let mut total = HDR;"},{"Add":" let mut is_left = true;"},{"Add":" for (uu, off) in s.iter().enumerate() {"},{"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 = read::(txn, ptr);"},{"Add":" L::set_right_child(&mut right, -1, r);"},{"Add":" current_page = &mut right;"},{"Add":" n = 0;"},{"Add":" } else {"},{"Add":" let off_new = L::alloc::(header_mut(current_page), size, K::ALIGN.max(V::ALIGN));"},{"Add":" core::ptr::copy_nonoverlapping("},{"Add":" ptr,"},{"Add":" current_page.0.data.offset(off_new as isize),"},{"Add":" size,"},{"Add":" );"},{"Add":" L::set_offset(current_page, n, r, off_new);"},{"Add":" n += 1;"},{"Add":" }"},{"Add":" }"},{"Add":" if uu == u {"},{"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":" } else {"},{"Add":" alloc::(current_page, k0, v0, l0, r0, &mut n);"},{"Add":" total += alloc_size(k0, v0) + L::extra_size::();"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":" assert!(!split.0.is_null());"},{"Add":" Ok(Put::Split {"},{"Add":" split_key: unsafe { K::from_raw_ptr(txn, split.0) },"},{"Add":" split_value: unsafe { V::from_raw_ptr(txn, split.1) },"},{"Add":" left,"},{"Add":" right,"},{"Add":" freed: if hdr.is_dirty() {"},{"Add":" page.offset | 1"},{"Add":" } else {"},{"Add":" page.offset"},{"Add":" },"},{"Add":" })"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"header.rs","metadata":420},"context":[{"change":0,"pos":22910}],"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":22910}],"contents":[{"Add":"use super::*;"},{"Add":""},{"Add":"pub(crate) trait Alloc {"},{"Add":" fn extra_size() -> usize;"},{"Add":" fn can_alloc(hdr: &Header, size: usize) -> bool;"},{"Add":" fn can_compact(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("},{"Add":" txn: &T,"},{"Add":" page: &mut MutPage,"},{"Add":" n: usize,"},{"Add":" ) -> Option<(*const K, *const V)>;"},{"Add":""},{"Add":" fn alloc_insert("},{"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, K: Representable + ?Sized, V: Representable + ?Sized>("},{"Add":" page: crate::Page<'a>,"},{"Add":" ) -> Offsets<'a, Self::Offset>;"},{"Add":" fn kv<'a, T, K: Representable + ?Sized, V: Representable + ?Sized>("},{"Add":" txn: &T,"},{"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":"}"},{"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":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"pub struct Leaf {}"},{"Add":"pub struct Internal {}"},{"Add":""},{"Add":"impl Alloc for Leaf {"},{"Add":" fn extra_size() -> usize {"},{"Add":" 2"},{"Add":" }"},{"Add":" fn can_alloc(hdr: &Header, size: usize) -> bool {"},{"Add":" debug!(\"can_alloc: {:?} {:?} {:?}\", hdr.n(), size, hdr.data());"},{"Add":" HDR + (hdr.n() as usize) * 2 + 2 + size <= hdr.data() as usize"},{"Add":" }"},{"Add":" fn can_compact(hdr: &Header, size: usize) -> bool {"},{"Add":" debug!(\"can_compact: {:?} {:?}\", hdr.left_page(), size);"},{"Add":" HDR + ((hdr.left_page() & 0xfff) as usize) + 2 + size <= 4096"},{"Add":" }"},{"Add":" fn truncate_left("},{"Add":" _txn: &T,"},{"Add":" page: &mut MutPage,"},{"Add":" n: usize,"},{"Add":" ) -> Option<(*const K, *const V)> {"},{"Add":" debug!(\"truncate_left {:?} {:?}\", page, n);"},{"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":" fn alloc(hdr: &mut Header, size: usize, align: usize) -> u16 {"},{"Add":" debug!(\"alloc = {:?} {:?}\", hdr.data(), size);"},{"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 + Self::extra_size::());"},{"Add":" data"},{"Add":" }"},{"Add":" fn alloc_insert("},{"Add":" new: &mut MutPage,"},{"Add":" n: &mut isize,"},{"Add":" size: usize,"},{"Add":" _: 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":" // Making space for the new offset"},{"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":" 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, K: Representable + ?Sized, V: Representable + ?Sized>("},{"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 LeafOffset,"},{"Add":" hdr.n() as usize,"},{"Add":" ))"},{"Add":" }"},{"Add":" }"},{"Add":" fn kv<'a, T, K: Representable + ?Sized, V: Representable + ?Sized>("},{"Add":" txn: &T,"},{"Add":" page: crate::Page,"},{"Add":" (_, off): (u64, u16),"},{"Add":" ) -> (&'a K, &'a V, u64) {"},{"Add":" unsafe {"},{"Add":" let (k, v) = read::(txn, page.data.as_ptr().add(off as usize));"},{"Add":" (K::from_raw_ptr(txn, k), V::from_raw_ptr(txn, v), 0)"},{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"impl Alloc for Internal {"},{"Add":" fn extra_size() -> usize {"},{"Add":" 8"},{"Add":" }"},{"Add":" fn can_alloc(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(hdr: &Header, size: usize) -> bool {"},{"Add":" debug!(\"can_compact: {:?} {:?}\", hdr.left_page(), size);"},{"Add":" (HDR as usize) + ((hdr.left_page() & 0xfff) as usize) + 8 + size < 4096"},{"Add":" }"},{"Add":" fn truncate_left("},{"Add":" _txn: &T,"},{"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 = {"},{"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 + Self::extra_size::());"},{"Add":" data"},{"Add":" }"},{"Add":" fn alloc_insert("},{"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, K: Representable + ?Sized, V: Representable + ?Sized>("},{"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 + ?Sized, V: Representable + ?Sized>("},{"Add":" txn: &T,"},{"Add":" page: crate::Page,"},{"Add":" (r, off): (u64, u16),"},{"Add":" ) -> (&'a K, &'a V, u64) {"},{"Add":" unsafe {"},{"Add":" let (k, v) = read::(txn, page.data.as_ptr().add(off as usize));"},{"Add":" (K::from_raw_ptr(txn, k), V::from_raw_ptr(txn, 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":"}"}]}},{"Edit":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":14,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":8682}],"down_context":[{"change":3,"pos":8682}],"flag":"BLOCK","start":44312,"end":44416,"inode":{"change":3,"pos":8623}}},"contents":[{"Add":""},{"Add":"#[derive(Debug, PartialEq, Eq, PartialOrd, Ord)]"},{"Add":"#[repr(C)]"},{"Add":"struct Tuple {"},{"Add":" k: K,"},{"Add":" v: V,"},{"Add":"}"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":49,"ins":{"up_context":[{"change":3,"pos":10292}],"down_context":[{"change":3,"pos":10355}],"flag":"BLOCK","start":44417,"end":44443,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10292},"to":{"change":2,"start":1408,"end":1468},"introduced_by":2}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" if m.c1.is_leaf {"}],"del_contents":[{"Del":" if fixed_size::().is_some() && m.c1.is_leaf {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":63,"ins":{"up_context":[{"change":3,"pos":611}],"down_context":[{"change":3,"pos":10806}],"flag":"BLOCK","start":44444,"end":44607,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":611},"to":{"change":3,"start":10687,"end":10717},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1799},"to":{"change":3,"start":10687,"end":10717},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10687},"to":{"change":3,"start":10687,"end":10717},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10717},"to":{"change":2,"start":1469,"end":1521},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":1521},"to":{"change":3,"start":612,"end":783},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10772},"to":{"change":3,"start":612,"end":783},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" if !m.c1.is_leaf {"},{"Add":" if m.ins2.is_some() {"},{"Add":" occupied += 16"},{"Add":" } else {"},{"Add":" occupied += 8"}],"del_contents":[{"Del":" if m.c1.is_leaf {\n"},{"Del":" if fixed_size::().is_none() {\n"},{"Del":" if m.ins2.is_some() {\n occupied += 4;\n } else {\n occupied += 2;\n }\n"}]}},{"Edit":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":69,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10824},"to":{"change":3,"start":784,"end":856},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":856},"to":{"change":3,"start":10824,"end":10875},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10824},"to":{"change":3,"start":10824,"end":10875},"introduced_by":3}],"inode":{"change":3,"pos":8623}}},"contents":[{"Del":" } else if m.ins2.is_some() {\n occupied += 16\n"},{"Del":" } else {\n occupied += 8\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":158,"ins":{"up_context":[{"change":3,"pos":1770}],"down_context":[{"change":3,"pos":2544}],"flag":"BLOCK","start":44608,"end":45000,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1770},"to":{"change":2,"start":1881,"end":1941},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":1941},"to":{"change":3,"start":1833,"end":2344},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1833},"to":{"change":3,"start":1833,"end":2344},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2344},"to":{"change":2,"start":1942,"end":2005},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":2005},"to":{"change":3,"start":2410,"end":2544},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2410},"to":{"change":3,"start":2410,"end":2544},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" let f = core::mem::size_of::>();"},{"Add":" let al = K::ALIGN.max(V::ALIGN);"},{"Add":" let hdr_size = (HDR + al - 1) & !(al - 1);"},{"Add":" let off = c.cur * f;"},{"Add":" let kv_ptr = p.add(hdr_size + off);"},{"Add":" core::ptr::copy(kv_ptr.add(f), kv_ptr, f * (n - c.cur - 1));"},{"Add":" hdr.decr(f);"}],"del_contents":[{"Del":" if let Some(f) = fixed_size::() {\n"},{"Del":" let al = K::ALIGN.max(V::ALIGN);\n let hdr_size = (HDR + al - 1) & !(al - 1);\n let off = c.cur * f;\n let kv_ptr = p.add(hdr_size + off);\n core::ptr::copy(kv_ptr.add(f), kv_ptr, f * (n - c.cur - 1));\n hdr.decr(f);\n } else {\n let ptr = p.add(HDR + c.cur * 2) as *mut u16;\n let kv_ptr = p.add((*ptr) as usize);\n"},{"Del":" let size = entry_size::(kv_ptr);\n"},{"Del":" core::ptr::copy(ptr.offset(1), ptr, n - c.cur);\n hdr.decr(size);\n }\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":214,"ins":{"up_context":[{"change":3,"pos":15906}],"down_context":[{"change":3,"pos":16193}],"flag":"BLOCK","start":45001,"end":45168,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":15906},"to":{"change":2,"start":2632,"end":2684},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":2684},"to":{"change":3,"start":15961,"end":16104},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":15961},"to":{"change":3,"start":15961,"end":16104},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":16104},"to":{"change":2,"start":2685,"end":2742},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":3,"pos":5170},"to":{"change":3,"start":16179,"end":16193},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":2,"pos":2742},"to":{"change":3,"start":16179,"end":16193},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":16179},"to":{"change":3,"start":16179,"end":16193},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" let f = core::mem::size_of::>();"},{"Add":" let al = K::ALIGN.max(V::ALIGN);"},{"Add":" hdr_size = (HDR + al - 1) & !(al - 1);"},{"Add":" f"}],"del_contents":[{"Del":" if let Some(f) = fixed_size::() {\n"},{"Del":" let al = K::ALIGN.max(V::ALIGN);\n hdr_size = (HDR + al - 1) & !(al - 1);\n f\n } else {\n"},{"Del":" 2 + alloc_size::(m.mid.0, m.mid.1)\n"},{"Del":" }\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":331,"ins":{"up_context":[{"change":3,"pos":19528}],"down_context":[{"change":3,"pos":19593}],"flag":"BLOCK","start":45169,"end":45250,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":19528},"to":{"change":2,"start":3123,"end":3185},"introduced_by":2}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" let f = core::mem::size_of::>();"},{"Add":" let off = {"}],"del_contents":[{"Del":" let off = if let Some(f) = fixed_size::() {\n"}]}},{"Edit":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":336,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":19728},"to":{"change":3,"start":19728,"end":19749},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":19749},"to":{"change":3,"start":7258,"end":7354},"introduced_by":3}],"inode":{"change":3,"pos":8623}}},"contents":[{"Del":" } else {\n"},{"Del":" u16::from_le(*(page.data.as_ptr().add(HDR + c.cur * 2) as *const u16)) as usize\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":347,"ins":{"up_context":[{"change":3,"pos":7817}],"down_context":[{"change":3,"pos":20611}],"flag":"BLOCK","start":45251,"end":45431,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":7817},"to":{"change":2,"start":3563,"end":3615},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":3615},"to":{"change":3,"start":20354,"end":20510},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":20354},"to":{"change":3,"start":20354,"end":20510},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":20510},"to":{"change":3,"start":7818,"end":7914},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":7914},"to":{"change":3,"start":20597,"end":20611},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":20597},"to":{"change":3,"start":20597,"end":20611},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" let f = core::mem::size_of::>();"},{"Add":" let al = K::ALIGN.max(V::ALIGN);"},{"Add":" let hdr = (HDR + al - 1) & !(al - 1);"},{"Add":" hdr + c.cur * f"}],"del_contents":[{"Del":" if let Some(f) = fixed_size::() {\n"},{"Del":" let al = K::ALIGN.max(V::ALIGN);\n let hdr = (HDR + al - 1) & !(al - 1);\n hdr + c.cur * f\n } else {\n"},{"Del":" u16::from_le(*(page.data.as_ptr().add(HDR + c.cur * 2) as *const u16)) as usize\n"},{"Del":" }\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":359,"ins":{"up_context":[{"change":3,"pos":20851}],"down_context":[{"change":3,"pos":21215}],"flag":"BLOCK","start":45432,"end":45484,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":20851},"to":{"change":2,"start":3616,"end":3672},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":3672},"to":{"change":3,"start":20910,"end":20957},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":20910},"to":{"change":3,"start":20910,"end":20957},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":20957},"to":{"change":2,"start":3673,"end":3753},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":3753},"to":{"change":3,"start":4106,"end":4187},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":4106},"to":{"change":3,"start":4106,"end":4187},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":4187},"to":{"change":3,"start":21175,"end":21197},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":21175},"to":{"change":3,"start":21175,"end":21197},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":21197},"to":{"change":3,"start":4188,"end":4223},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":4223},"to":{"change":3,"start":21197,"end":21215},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":21197},"to":{"change":3,"start":21197,"end":21215},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" core::mem::size_of::>()"}],"del_contents":[{"Del":" if let Some(f) = fixed_size::() {\n"},{"Del":" f\n } else {\n"},{"Del":" 2 + entry_size::(page.data.as_ptr().add(u16::from_le(\n"},{"Del":" *(page.data.as_ptr().add(HDR) as *const u16).add(c.cur),\n"},{"Del":" )\n"},{"Del":" as usize))\n"},{"Del":" }\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":414,"ins":{"up_context":[{"change":3,"pos":24688}],"down_context":[{"change":3,"pos":24765}],"flag":"BLOCK","start":45485,"end":45590,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":24688},"to":{"change":2,"start":3855,"end":3929},"introduced_by":2}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" let f = core::mem::size_of::>();"},{"Add":" let off = {"}],"del_contents":[{"Del":" let off = if let Some(f) = fixed_size::() {\n"}]}},{"Edit":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":419,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":24956},"to":{"change":3,"start":24956,"end":24989},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":24989},"to":{"change":3,"start":4359,"end":4497},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":4497},"to":{"change":3,"start":25086,"end":25123},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":9218},"to":{"change":3,"start":25086,"end":25123},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":25086},"to":{"change":3,"start":25086,"end":25123},"introduced_by":3}],"inode":{"change":3,"pos":8623}}},"contents":[{"Del":" } else {\n"},{"Del":" let off =\n u16::from_le(*(page.data.as_ptr().add(HDR + n * 2) as *const u16));\n"},{"Del":" (0, off)\n"}]}},{"Edit":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":446,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":25872},"to":{"change":3,"start":25872,"end":25881},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":25881},"to":{"change":2,"start":4075,"end":4146},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":4146},"to":{"change":3,"start":25961,"end":26184},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":25961},"to":{"change":3,"start":25961,"end":26184},"introduced_by":3}],"inode":{"change":3,"pos":8623}}},"contents":[{"Del":" }\n}\n\n"},{"Del":"fn fixed_size() -> Option {\n"},{"Del":" if let (Some(ks), Some(vs)) = (K::SIZE, V::SIZE) {\n let s = ((ks + V::ALIGN - 1) & !(V::ALIGN - 1)) + vs;\n let al = K::ALIGN.max(V::ALIGN);\n Some((s + al - 1) & !(al - 1))\n } else {\n None\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":460,"ins":{"up_context":[{"change":3,"pos":9834}],"down_context":[{"change":3,"pos":10485}],"flag":"BLOCK","start":45591,"end":46036,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":9834},"to":{"change":2,"start":4205,"end":4249},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":4249},"to":{"change":3,"start":9881,"end":10186},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":9881},"to":{"change":3,"start":9881,"end":10186},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10186},"to":{"change":3,"start":4629,"end":4794},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":4794},"to":{"change":3,"start":10315,"end":10355},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10315},"to":{"change":3,"start":10315,"end":10355},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10355},"to":{"change":3,"start":4795,"end":4860},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":4860},"to":{"change":3,"start":10471,"end":10485},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10471},"to":{"change":3,"start":10471,"end":10485},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" let al = K::ALIGN.max(V::ALIGN);"},{"Add":" let hdr_size = (HDR + al - 1) & !(al - 1);"},{"Add":" let s = core::slice::from_raw_parts("},{"Add":" page.data.as_ptr().add(hdr_size) as *const Tuple,"},{"Add":" hdr.n() as usize,"},{"Add":" );"},{"Add":" if let Some(v0) = v0 {"},{"Add":" s.binary_search_by(|tup| match tup.k.compare(txn, &k0) {"},{"Add":" Ordering::Equal => tup.v.compare(txn, &v0),"},{"Add":" c => c,"},{"Add":" })"}],"del_contents":[{"Del":" if fixed_size::().is_some() {\n"},{"Del":" let al = K::ALIGN.max(V::ALIGN);\n let hdr_size = (HDR + al - 1) & !(al - 1);\n let s = core::slice::from_raw_parts(\n page.data.as_ptr().add(hdr_size) as *const Tuple,\n hdr.n() as usize,\n );\n if let Some(v0) = v0 {\n"},{"Del":" s.binary_search_by(|tup| match tup.k.compare(txn, &k0) {\n Ordering::Equal => tup.v.compare(txn, &v0),\n c => c,\n"},{"Del":" })\n } else {\n"},{"Del":" s.binary_search_by(|tup| tup.k.compare(txn, k0))\n"},{"Del":" }\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":472,"ins":{"up_context":[{"change":3,"pos":10502}],"down_context":[{"change":3,"pos":11275}],"flag":"BLOCK","start":46037,"end":46098,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10502},"to":{"change":3,"start":10502,"end":10787},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10787},"to":{"change":2,"start":4250,"end":4652},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":4652},"to":{"change":3,"start":4979,"end":5037},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":4979},"to":{"change":3,"start":4979,"end":5037},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":5037},"to":{"change":3,"start":10964,"end":11097},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10964},"to":{"change":3,"start":10964,"end":11097},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":11097},"to":{"change":2,"start":4653,"end":4841},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":3,"pos":5081},"to":{"change":3,"start":11242,"end":11275},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":2,"pos":4841},"to":{"change":3,"start":11242,"end":11275},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":11242},"to":{"change":3,"start":11242,"end":11275},"introduced_by":3}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" s.binary_search_by(|tup| tup.k.compare(txn, k0))"}],"del_contents":[{"Del":" let s = core::slice::from_raw_parts(\n page.data.as_ptr().add(HDR) as *const u16,\n hdr.n() as usize,\n );\n if let Some(v0) = v0 {\n s.binary_search_by(|&off| {\n let off = u16::from_le(off);\n"},{"Del":" let (k, v) = read::(txn, page.data.as_ptr().offset(off as isize));\n let k = K::from_raw_ptr(txn, k as *const u8);\n match k.compare(txn, k0) {\n Ordering::Equal => {\n let v = V::from_raw_ptr(txn, v as *const u8);\n v.compare(txn, v0)\n },\n"},{"Del":" cmp => cmp,\n }\n"},{"Del":" })\n } else {\n s.binary_search_by(|&off| {\n let off = u16::from_le(off);\n"},{"Del":" let (k, _) = read::(txn, page.data.as_ptr().offset(off as isize));\n let k = K::from_raw_ptr(txn, k);\n k.compare(txn, k0)\n"},{"Del":" })\n }\n"}]}},{"Replacement":{"inode":{"change":3,"pos":8623},"path":"sanakirja-core/src/btree/page.rs","line":605,"ins":{"up_context":[{"change":3,"pos":39419}],"down_context":[{"change":3,"pos":39476}],"flag":"BLOCK","start":46099,"end":46159,"inode":{"change":3,"pos":8623}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":39419},"to":{"change":2,"start":6806,"end":6860},"introduced_by":2}],"inode":{"change":3,"pos":8623}},"ins_contents":[{"Add":" let size = core::mem::size_of::>();"}],"del_contents":[{"Del":" let size = fixed_size::().unwrap();\n"}]}},{"Replacement":{"inode":{"change":3,"pos":387},"path":"sanakirja-core/src/btree/page/rebalance.rs","line":52,"ins":{"up_context":[{"change":3,"pos":1916}],"down_context":[{"change":3,"pos":3260}],"flag":"BLOCK","start":46160,"end":47384,"inode":{"change":3,"pos":387}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1916},"to":{"change":2,"start":7288,"end":7345},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":7345},"to":{"change":3,"start":1976,"end":3260},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1976},"to":{"change":3,"start":1976,"end":3260},"introduced_by":3}],"inode":{"change":3,"pos":387}},"ins_contents":[{"Add":" let f = core::mem::size_of::>();"},{"Add":" let (new_right, k, v) = 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)"}],"del_contents":[{"Del":" let (new_right, k, v) = match fixed_size::() {\n"},{"Del":" 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 1,\n );\n core::ptr::copy(\n data.add(hdr_size + f) as *const Tuple,\n data.add(hdr_size) as *mut Tuple,\n n - 1,\n );\n let last = data.add(hdr_size + f * (n - 1)) as *mut Tuple;\n core::ptr::copy_nonoverlapping(t.as_ptr(), last, 1);\n debug!(\"tuple = {:?}\", t.assume_init());\n (other, &(&*last).k, &(&*last).v)\n }\n"}]}},{"Replacement":{"inode":{"change":3,"pos":387},"path":"sanakirja-core/src/btree/page/rebalance.rs","line":81,"ins":{"up_context":[{"change":3,"pos":3270}],"down_context":[{"change":3,"pos":3292}],"flag":"BLOCK","start":47385,"end":47415,"inode":{"change":3,"pos":387}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3270},"to":{"change":3,"start":3270,"end":3292},"introduced_by":3}],"inode":{"change":3,"pos":387}},"ins_contents":[{"Add":" } else {"},{"Add":" unsafe {"}],"del_contents":[{"Del":" _ => unsafe {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":387},"path":"sanakirja-core/src/btree/page/rebalance.rs","line":88,"ins":{"up_context":[{"change":3,"pos":3460}],"down_context":[{"change":3,"pos":3471}],"flag":"BLOCK","start":47416,"end":47426,"inode":{"change":3,"pos":387}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3460},"to":{"change":3,"start":3460,"end":3471},"introduced_by":3}],"inode":{"change":3,"pos":387}},"ins_contents":[{"Add":" }"}],"del_contents":[{"Del":" },\n"}]}},{"Replacement":{"inode":{"change":3,"pos":5929},"path":"sanakirja-core/src/btree/page/put.rs","line":64,"ins":{"up_context":[{"change":3,"pos":8085}],"down_context":[{"change":3,"pos":8372}],"flag":"BLOCK","start":47427,"end":47589,"inode":{"change":3,"pos":5929}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":8085},"to":{"change":2,"start":8258,"end":8306},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":8306},"to":{"change":3,"start":8136,"end":8372},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":8136},"to":{"change":3,"start":8136,"end":8372},"introduced_by":3}],"inode":{"change":3,"pos":5929}},"ins_contents":[{"Add":" let s = core::mem::size_of::>();"},{"Add":" assert!(k1v1.is_none());"},{"Add":" return split::<_, _, _, L>(txn, page, mutable, s, u, k0, v0, l, r);"}],"del_contents":[{"Del":" if let Some(s) = fixed_size::() {\n"},{"Del":" assert!(k1v1.is_none());\n return split::<_, _, _, L>(txn, page, mutable, s, u, k0, v0, l, r);\n } else {\n return split_unsized::<_, _, _, L>(txn, page.as_page(), u, k0, v0, k1v1, l, r);\n }\n"}]}},{"Edit":{"inode":{"change":3,"pos":5929},"path":"sanakirja-core/src/btree/page/put.rs","line":193,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":12851},"to":{"change":3,"start":12851,"end":12878},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":12878},"to":{"change":2,"start":9529,"end":9629},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":9629},"to":{"change":3,"start":13002,"end":13291},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":13002},"to":{"change":3,"start":13002,"end":13291},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":13291},"to":{"change":2,"start":9630,"end":9687},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":9687},"to":{"change":3,"start":13351,"end":13391},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":13351},"to":{"change":3,"start":13351,"end":13391},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":13391},"to":{"change":2,"start":9688,"end":9745},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":9745},"to":{"change":3,"start":13451,"end":13560},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":13451},"to":{"change":3,"start":13451,"end":13560},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":13560},"to":{"change":2,"start":9746,"end":9806},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":9806},"to":{"change":3,"start":13599,"end":13657},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":13599},"to":{"change":3,"start":13599,"end":13657},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":13657},"to":{"change":3,"start":1006,"end":1168},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1168},"to":{"change":3,"start":13793,"end":13999},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":13793},"to":{"change":3,"start":13793,"end":13999},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":13999},"to":{"change":2,"start":9807,"end":9884},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":9884},"to":{"change":3,"start":14079,"end":14190},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":14079},"to":{"change":3,"start":14079,"end":14190},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":14190},"to":{"change":2,"start":9885,"end":9936},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":9936},"to":{"change":3,"start":14241,"end":14456},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":14241},"to":{"change":3,"start":14241,"end":14456},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":14456},"to":{"change":3,"start":1169,"end":1353},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1353},"to":{"change":3,"start":14561,"end":14733},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":14561},"to":{"change":3,"start":14561,"end":14733},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":14733},"to":{"change":2,"start":9937,"end":10008},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":10008},"to":{"change":3,"start":14807,"end":14881},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":14807},"to":{"change":3,"start":14807,"end":14881},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":14881},"to":{"change":2,"start":10009,"end":10080},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":10080},"to":{"change":3,"start":14955,"end":15074},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":14955},"to":{"change":3,"start":14955,"end":15074},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":15074},"to":{"change":2,"start":10081,"end":10153},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":10153},"to":{"change":3,"start":15149,"end":15277},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":15149},"to":{"change":3,"start":15149,"end":15277},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":15277},"to":{"change":2,"start":10154,"end":10187},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":10187},"to":{"change":3,"start":15344,"end":15364},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":15344},"to":{"change":3,"start":15344,"end":15364},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":15364},"to":{"change":2,"start":10188,"end":10312},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":10312},"to":{"change":3,"start":15424,"end":15453},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":15424},"to":{"change":3,"start":15424,"end":15453},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":15453},"to":{"change":3,"start":1354,"end":1469},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1469},"to":{"change":3,"start":15481,"end":15490},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":15481},"to":{"change":3,"start":15481,"end":15490},"introduced_by":3}],"inode":{"change":3,"pos":5929}}},"contents":[{"Del":"\nfn split_unsized<\n 'a,\n"},{"Del":" T: AllocPage,\n K: Representable + core::fmt::Debug,\n V: Representable + core::fmt::Debug,\n"},{"Del":" 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) -> Result, T::Error> {\n let hdr = header(page);\n let n0 = hdr.n();\n\n let mut left = txn.alloc_page()?;\n"},{"Del":" as BTreeMutPage>::init(&mut left);\n"},{"Del":"\n let mut right = txn.alloc_page()?;\n"},{"Del":" as BTreeMutPage>::init(&mut left);\n"},{"Del":"\n let left_child = header(page).left_page() & !0xfff;\n L::set_right_child(&mut left, -1, left_child);\n\n"},{"Del":" let mut split = (core::ptr::null(), core::ptr::null());\n"},{"Del":" let mut current_page = &mut left;\n\n let mut n = 0;\n"},{"Del":" let s = unsafe {\n core::slice::from_raw_parts(\n page.data.as_ptr().add(HDR) as *const LeafOffset,\n n0 as usize,\n )\n };\n"},{"Del":" 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"},{"Del":" let size = entry_size::(ptr) + L::extra_size::();\n"},{"Del":" total += size;\n if is_left && total >= PAGE_SIZE / 2 {\n is_left = false;\n"},{"Del":" split = read::(txn, ptr);\n"},{"Del":" 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"},{"Del":" core::ptr::copy_nonoverlapping(\n ptr,\n current_page.0.data.offset(off_new as isize),\n size,\n );\n"},{"Del":" 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"},{"Del":" alloc::(current_page, k0, v0, 0, l0, &mut n);\n"},{"Del":" total += alloc_size(k0, v0) + L::extra_size::();\n"},{"Del":" alloc::(current_page, k1, v1, 0, r0, &mut n);\n"},{"Del":" total += alloc_size(k1, v1) + L::extra_size::();\n n += 2;\n } else {\n"},{"Del":" alloc::(current_page, k0, v0, l0, r0, &mut n);\n"},{"Del":" total += alloc_size(k0, v0) + L::extra_size::();\n n += 1;\n }\n }\n }\n"},{"Del":" assert!(!split.0.is_null());\n"},{"Del":" Ok(Put::Split {\n"},{"Del":" split_key: unsafe { K::from_raw_ptr(txn, split.0) },\n split_value: unsafe { V::from_raw_ptr(txn, split.1) },\n"},{"Del":" left,\n right,\n"},{"Del":" freed: if hdr.is_dirty() {\n page.offset | 1\n } else {\n page.offset\n },\n"},{"Del":" })\n}\n"}]}},{"Replacement":{"inode":{"change":3,"pos":17232},"path":"sanakirja-core/src/btree/page/alloc.rs","line":63,"ins":{"up_context":[{"change":3,"pos":19432}],"down_context":[{"change":3,"pos":19493}],"flag":"BLOCK","start":47590,"end":47654,"inode":{"change":3,"pos":17232}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":19432},"to":{"change":2,"start":10923,"end":10981},"introduced_by":2}],"inode":{"change":3,"pos":17232}},"ins_contents":[{"Add":" let size = core::mem::size_of::>();"}],"del_contents":[{"Del":" let size = fixed_size::().unwrap();\n"}]}},{"Replacement":{"inode":{"change":3,"pos":17232},"path":"sanakirja-core/src/btree/page/alloc.rs","line":77,"ins":{"up_context":[{"change":2,"pos":11052}],"down_context":[{"change":3,"pos":19933}],"flag":"BLOCK","start":47655,"end":47665,"inode":{"change":3,"pos":17232}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":11052},"to":{"change":2,"start":11052,"end":11096},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":11096},"to":{"change":3,"start":19878,"end":19933},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":19878},"to":{"change":3,"start":19878,"end":19933},"introduced_by":3}],"inode":{"change":3,"pos":17232}},"ins_contents":[{"Add":" 0"}],"del_contents":[{"Del":" if fixed_size::().is_some() {\n"},{"Del":" 0\n } else {\n 2\n }\n"}]}},{"Replacement":{"inode":{"change":3,"pos":17232},"path":"sanakirja-core/src/btree/page/alloc.rs","line":80,"ins":{"up_context":[{"change":2,"pos":11190}],"down_context":[{"change":3,"pos":20371}],"flag":"BLOCK","start":47666,"end":47888,"inode":{"change":3,"pos":17232}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":11190},"to":{"change":2,"start":11190,"end":11238},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":11238},"to":{"change":3,"start":20089,"end":20371},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":20089},"to":{"change":3,"start":20089,"end":20371},"introduced_by":3}],"inode":{"change":3,"pos":17232}},"ins_contents":[{"Add":" let f = core::mem::size_of::>();"},{"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"}],"del_contents":[{"Del":" if let Some(f) = fixed_size::() {\n"},{"Del":" let al = K::ALIGN.max(V::ALIGN);\n let header_size = (HDR + al - 1) & !(al - 1);\n header_size + (hdr.n() as usize) * f + size < hdr.data() as usize\n } else {\n HDR + (hdr.n() as usize) * 2 + 2 + size < hdr.data() as usize\n }\n"}]}},{"Replacement":{"inode":{"change":3,"pos":17232},"path":"sanakirja-core/src/btree/page/alloc.rs","line":86,"ins":{"up_context":[{"change":2,"pos":11334}],"down_context":[{"change":3,"pos":20836}],"flag":"BLOCK","start":47889,"end":48084,"inode":{"change":3,"pos":17232}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":11334},"to":{"change":2,"start":11334,"end":11378},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":11378},"to":{"change":3,"start":20525,"end":20836},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":20525},"to":{"change":3,"start":20525,"end":20836},"introduced_by":3}],"inode":{"change":3,"pos":17232}},"ins_contents":[{"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"}],"del_contents":[{"Del":" if fixed_size::().is_some() {\n"},{"Del":" 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 < hdr.data() as usize\n } else {\n HDR + ((hdr.left_page() & 0xfff) as usize) + 2 + size < 4096\n }\n"}]}},{"Replacement":{"inode":{"change":3,"pos":17232},"path":"sanakirja-core/src/btree/page/alloc.rs","line":97,"ins":{"up_context":[{"change":3,"pos":21047}],"down_context":[{"change":3,"pos":21303}],"flag":"BLOCK","start":48085,"end":48327,"inode":{"change":3,"pos":17232}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":21047},"to":{"change":2,"start":11458,"end":11506},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":11506},"to":{"change":3,"start":21098,"end":21303},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":21098},"to":{"change":3,"start":21098,"end":21303},"introduced_by":3}],"inode":{"change":3,"pos":17232}},"ins_contents":[{"Add":" let f = core::mem::size_of::>();"},{"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();"}],"del_contents":[{"Del":" if let Some(f) = fixed_size::() {\n"},{"Del":" 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"}]}},{"Replacement":{"inode":{"change":3,"pos":17232},"path":"sanakirja-core/src/btree/page/alloc.rs","line":103,"ins":{"up_context":[{"change":3,"pos":21304}],"down_context":[{"change":3,"pos":23188}],"flag":"BLOCK","start":48328,"end":49363,"inode":{"change":3,"pos":17232}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":21304},"to":{"change":3,"start":21304,"end":22218},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":22218},"to":{"change":2,"start":11507,"end":11578},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":11578},"to":{"change":3,"start":22256,"end":22330},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":22256},"to":{"change":3,"start":22256,"end":22330},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":22330},"to":{"change":2,"start":11579,"end":11671},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":11671},"to":{"change":3,"start":22349,"end":22907},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":22349},"to":{"change":3,"start":22349,"end":22907},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":22907},"to":{"change":2,"start":11672,"end":11764},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":11764},"to":{"change":3,"start":23002,"end":23188},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":23002},"to":{"change":3,"start":23002,"end":23188},"introduced_by":3}],"inode":{"change":3,"pos":17232}},"ins_contents":[{"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":" let (k, v) = read::("},{"Add":" txn,"},{"Add":" page.0.data.add(hdr_size + (hdr_n as usize - n) * f),"},{"Add":" );"},{"Add":" Some((K::from_raw_ptr(txn, k), V::from_raw_ptr(txn, v)))"}],"del_contents":[{"Del":" unsafe {\n let mut swap: core::mem::MaybeUninit> =\n core::mem::MaybeUninit::uninit();\n core::ptr::copy(\n page.0.data.add(hdr_size + (n - 1) * f),\n swap.as_mut_ptr() as *mut u8,\n f,\n );\n core::ptr::copy(\n page.0.data.add(hdr_size + n * f),\n page.0.data.add(hdr_size),\n (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 );\n }\n debug!(\"{:?} - {:?}\", hdr_n, n);\n let hdr = header_mut(page);\n hdr.set_n(hdr_n - n as u16);\n hdr.decr(n * f);\n unsafe {\n"},{"Del":" let (k, v) = read::(\n txn,\n"},{"Del":" page.0.data.add(hdr_size + (hdr_n as usize - n) * f),\n"},{"Del":" );\n Some((K::from_raw_ptr(txn, k), V::from_raw_ptr(txn, v)))\n"},{"Del":" }\n } 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 (hdr_n as usize - n) * 2,\n );\n }\n let deleted_offsets = unsafe {\n core::slice::from_raw_parts(page.0.data.add(HDR) as *const u16, n as usize)\n };\n let deleted_size: u64 = deleted_offsets\n .iter()\n .map(|&off| {\n"},{"Del":" 2 + unsafe { entry_size::(page.0.data.add(off as usize)) } as u64\n"},{"Del":" })\n .sum();\n let hdr = header_mut(page);\n hdr.set_n(hdr_n - n as u16);\n hdr.decr(deleted_size as usize);\n None\n"}]}},{"Replacement":{"inode":{"change":3,"pos":17232},"path":"sanakirja-core/src/btree/page/alloc.rs","line":145,"ins":{"up_context":[{"change":3,"pos":23578}],"down_context":[{"change":3,"pos":23599}],"flag":"BLOCK","start":49364,"end":49386,"inode":{"change":3,"pos":17232}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":23578},"to":{"change":3,"start":23578,"end":23599},"introduced_by":3}],"inode":{"change":3,"pos":17232}},"ins_contents":[{"Add":" _size: usize,"}],"del_contents":[{"Del":" size: usize,\n"}]}},{"Replacement":{"inode":{"change":3,"pos":17232},"path":"sanakirja-core/src/btree/page/alloc.rs","line":148,"ins":{"up_context":[{"change":3,"pos":23632}],"down_context":[{"change":3,"pos":24915}],"flag":"BLOCK","start":49387,"end":49871,"inode":{"change":3,"pos":17232}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":23632},"to":{"change":2,"start":11823,"end":11871},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":11871},"to":{"change":3,"start":23683,"end":24915},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":23683},"to":{"change":3,"start":23683,"end":24915},"introduced_by":3}],"inode":{"change":3,"pos":17232}},"ins_contents":[{"Add":" let f = core::mem::size_of::>();"},{"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":" );"}],"del_contents":[{"Del":" if let Some(f) = fixed_size::() {\n"},{"Del":" 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(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 hdr.set_n(hdr.n() + 1);\n hdr.incr(f);\n hdr_size + (*n as usize) * f\n } else {\n let (hdr_n, off_new) = {\n let hdr = header_mut(new);\n (\n hdr.n(),\n Self::alloc(&mut *hdr, 2 + size, K::ALIGN.max(V::ALIGN)),\n )\n };\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 off_new as usize\n"}]}},{"Edit":{"inode":{"change":3,"pos":17232},"path":"sanakirja-core/src/btree/page/alloc.rs","line":160,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":24925}],"down_context":[{"change":3,"pos":24925}],"flag":"BLOCK","start":49872,"end":49997,"inode":{"change":3,"pos":17232}}},"contents":[{"Add":" let hdr = header_mut(new);"},{"Add":" hdr.set_n(hdr.n() + 1);"},{"Add":" hdr.incr(f);"},{"Add":" hdr_size + (*n as usize) * f"}]}},{"Replacement":{"inode":{"change":3,"pos":17232},"path":"sanakirja-core/src/btree/page/alloc.rs","line":178,"ins":{"up_context":[{"change":3,"pos":25400}],"down_context":[{"change":3,"pos":25746}],"flag":"BLOCK","start":49998,"end":50044,"inode":{"change":3,"pos":17232}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":25400},"to":{"change":2,"start":11937,"end":11981},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":11981},"to":{"change":3,"start":25447,"end":25746},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":25447},"to":{"change":3,"start":25447,"end":25746},"introduced_by":3}],"inode":{"change":3,"pos":17232}},"ins_contents":[{"Add":" Offsets::Range(0..(hdr.n() as usize))"}],"del_contents":[{"Del":" if fixed_size::().is_some() {\n"},{"Del":" Offsets::Range(0..(hdr.n() as usize))\n } else {\n 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 }\n"}]}},{"Replacement":{"inode":{"change":3,"pos":17232},"path":"sanakirja-core/src/btree/page/alloc.rs","line":217,"ins":{"up_context":[{"change":3,"pos":27048}],"down_context":[{"change":3,"pos":27110}],"flag":"BLOCK","start":50045,"end":50119,"inode":{"change":3,"pos":17232}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":27048},"to":{"change":2,"start":12547,"end":12606},"introduced_by":2}],"inode":{"change":3,"pos":17232}},"ins_contents":[{"Add":" let f = core::mem::size_of::>();"},{"Add":" let size = {"}],"del_contents":[{"Del":" let size = if let Some(f) = fixed_size::() {\n"}]}},{"Edit":{"inode":{"change":3,"pos":17232},"path":"sanakirja-core/src/btree/page/alloc.rs","line":220,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":27162},"to":{"change":3,"start":27162,"end":27479},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":27479},"to":{"change":2,"start":12607,"end":12699},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":12699},"to":{"change":3,"start":27574,"end":27616},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":27574},"to":{"change":3,"start":27574,"end":27616},"introduced_by":3}],"inode":{"change":3,"pos":17232}}},"contents":[{"Del":" } 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 offsets\n .iter()\n .map(|&off| {\n"},{"Del":" 8 + unsafe { entry_size::(page.0.data.add(off as usize)) } as u64\n"},{"Del":" })\n .sum()\n"}]}},{"Edit":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":8,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":45830}],"down_context":[{"change":3,"pos":45830}],"flag":"BLOCK","start":50120,"end":50142,"inode":{"change":3,"pos":45735}}},"contents":[{"Add":"pub mod page_unsized;"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":17,"ins":{"up_context":[{"change":3,"pos":45919}],"down_context":[{"change":3,"pos":45944}],"flag":"BLOCK","start":50143,"end":50184,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":45919},"to":{"change":3,"start":45919,"end":45944},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":"pub enum Put<'a, K: ?Sized, V: ?Sized> {"}],"del_contents":[{"Del":"pub enum Put<'a, K, V> {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":28,"ins":{"up_context":[{"change":3,"pos":46099}],"down_context":[{"change":3,"pos":46176}],"flag":"BLOCK","start":50185,"end":50264,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":46099},"to":{"change":2,"start":13047,"end":13213},"introduced_by":2}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":"pub trait BTreePage: Sized {"}],"del_contents":[{"Del":"#[derive(Debug, PartialEq, Eq, PartialOrd, Ord)]\n#[repr(C)]\npub struct Tuple {\n k: K,\n v: V,\n}\n\npub trait BTreePage {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":78,"ins":{"up_context":[{"change":3,"pos":47651}],"down_context":[{"change":2,"pos":13884}],"flag":"BLOCK","start":50265,"end":50323,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":47651},"to":{"change":2,"start":13840,"end":13884},"introduced_by":2}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" K: Representable+?Sized,"},{"Add":" V: Representable+?Sized,"}],"del_contents":[{"Del":" K: Representable,\n V: Representable,\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":90,"ins":{"up_context":[{"change":3,"pos":47817}],"down_context":[{"change":2,"pos":13988}],"flag":"BLOCK","start":50324,"end":50400,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":47817},"to":{"change":2,"start":13926,"end":13988},"introduced_by":2}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" K: Representable+?Sized + 'a,"},{"Add":" V: Representable+?Sized + 'a,"}],"del_contents":[{"Del":" K: Representable + 'a,\n V: Representable + 'a,\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":101,"ins":{"up_context":[{"change":3,"pos":48112}],"down_context":[{"change":3,"pos":48223}],"flag":"BLOCK","start":50401,"end":50495,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":48112},"to":{"change":2,"start":14073,"end":14161},"introduced_by":2}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":"pub trait BTreeMutPage:"},{"Add":" BTreePage"}],"del_contents":[{"Del":"pub trait BTreeMutPage:\n BTreePage + Sized\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":180,"ins":{"up_context":[{"change":3,"pos":3885}],"down_context":[{"change":3,"pos":50267}],"flag":"BLOCK","start":50496,"end":50567,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3885},"to":{"change":2,"start":14607,"end":14664},"introduced_by":2}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":"pub enum Op<'a, T, K: Representable+?Sized, V: Representable+?Sized> {"}],"del_contents":[{"Del":"pub enum Op<'a, T, K: Representable, V: Representable> {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":199,"ins":{"up_context":[{"change":3,"pos":30667}],"down_context":[{"change":2,"pos":14709}],"flag":"BLOCK","start":50568,"end":50626,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":30667},"to":{"change":2,"start":14665,"end":14709},"introduced_by":2}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" K: Representable+?Sized,"},{"Add":" V: Representable+?Sized,"}],"del_contents":[{"Del":" K: Representable,\n V: Representable,\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":221,"ins":{"up_context":[{"change":3,"pos":51195}],"down_context":[{"change":2,"pos":14799}],"flag":"BLOCK","start":50627,"end":50706,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":51195},"to":{"change":2,"start":14734,"end":14799},"introduced_by":2}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":"impl<'a, K: Representable+?Sized, V: Representable+?Sized, P: BTreePage>"}],"del_contents":[{"Del":"impl<'a, K: Representable, V: Representable, P: BTreePage>\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":238,"ins":{"up_context":[{"change":3,"pos":51677}],"down_context":[{"change":3,"pos":51777}],"flag":"BLOCK","start":50707,"end":50799,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":51677},"to":{"change":2,"start":14830,"end":14908},"introduced_by":2}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":"pub struct Concat<'a, K: Representable+?Sized, V: Representable+?Sized, P: BTreePage>"}],"del_contents":[{"Del":"pub struct Concat<'a, K: Representable, V: Representable, P: BTreePage>\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":249,"ins":{"up_context":[{"change":3,"pos":52016}],"down_context":[{"change":3,"pos":31135}],"flag":"BLOCK","start":50800,"end":50887,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":52016},"to":{"change":2,"start":14955,"end":15028},"introduced_by":2}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":"pub struct Db_> {"}],"del_contents":[{"Del":"pub struct Db_> {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":251,"ins":{"up_context":[{"change":3,"pos":31156}],"down_context":[{"change":3,"pos":52185}],"flag":"BLOCK","start":50888,"end":51011,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":31156},"to":{"change":2,"start":15029,"end":15083},"introduced_by":2}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" pub k: core::marker::PhantomData,"},{"Add":" pub v: core::marker::PhantomData,"},{"Add":" pub p: core::marker::PhantomData

,"}],"del_contents":[{"Del":" pub marker: core::marker::PhantomData<(K, V, P)>,\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":260,"ins":{"up_context":[{"change":3,"pos":52224}],"down_context":[{"change":2,"pos":15178}],"flag":"BLOCK","start":51012,"end":51070,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":52224},"to":{"change":2,"start":15134,"end":15178},"introduced_by":2}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" K: Representable+?Sized,"},{"Add":" V: Representable+?Sized,"}],"del_contents":[{"Del":" K: Representable,\n V: Representable,\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":270,"ins":{"up_context":[{"change":3,"pos":52449}],"down_context":[{"change":3,"pos":52492}],"flag":"BLOCK","start":51071,"end":51185,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":52449},"to":{"change":3,"start":52449,"end":52492},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" k: core::marker::PhantomData,"},{"Add":" v: core::marker::PhantomData,"},{"Add":" p: core::marker::PhantomData,"}],"del_contents":[{"Del":" marker: core::marker::PhantomData,\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":288,"ins":{"up_context":[{"change":3,"pos":3921}],"down_context":[{"change":2,"pos":15426}],"flag":"BLOCK","start":51186,"end":51244,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3921},"to":{"change":2,"start":15382,"end":15426},"introduced_by":2}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" K: Representable+?Sized,"},{"Add":" V: Representable+?Sized,"}],"del_contents":[{"Del":" K: Representable,\n V: Representable,\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":298,"ins":{"up_context":[{"change":3,"pos":4149}],"down_context":[{"change":3,"pos":4192}],"flag":"BLOCK","start":51245,"end":51359,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":4149},"to":{"change":3,"start":4149,"end":4192},"introduced_by":3}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":" k: core::marker::PhantomData,"},{"Add":" v: core::marker::PhantomData,"},{"Add":" p: core::marker::PhantomData,"}],"del_contents":[{"Del":" marker: core::marker::PhantomData,\n"}]}},{"Replacement":{"inode":{"change":3,"pos":45735},"path":"sanakirja-core/src/btree/mod.rs","line":316,"ins":{"up_context":[{"change":3,"pos":408}],"down_context":[{"change":3,"pos":502}],"flag":"BLOCK","start":51360,"end":51459,"inode":{"change":3,"pos":45735}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":408},"to":{"change":2,"start":15653,"end":15738},"introduced_by":2}],"inode":{"change":3,"pos":45735}},"ins_contents":[{"Add":"pub fn get<'a, T: LoadPage, K: Representable+?Sized, V: Representable+?Sized, P: BTreePage>("}],"del_contents":[{"Del":"pub fn get<'a, T: LoadPage, K: Representable, V: Representable, P: BTreePage>(\n"}]}},{"Replacement":{"inode":{"change":3,"pos":63682},"path":"sanakirja-core/src/btree/cursor.rs","line":7,"ins":{"up_context":[{"change":3,"pos":63799}],"down_context":[{"change":3,"pos":63899}],"flag":"BLOCK","start":51460,"end":51552,"inode":{"change":3,"pos":63682}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":63799},"to":{"change":2,"start":24322,"end":24400},"introduced_by":2}],"inode":{"change":3,"pos":63682}},"ins_contents":[{"Add":"pub struct PageCursor>"}],"del_contents":[{"Del":"pub struct PageCursor>\n"}]}},{"Replacement":{"inode":{"change":3,"pos":63682},"path":"sanakirja-core/src/btree/cursor.rs","line":13,"ins":{"up_context":[{"change":3,"pos":63959}],"down_context":[{"change":2,"pos":24468}],"flag":"BLOCK","start":51553,"end":51634,"inode":{"change":3,"pos":63682}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":63959},"to":{"change":2,"start":24401,"end":24468},"introduced_by":2}],"inode":{"change":3,"pos":63682}},"ins_contents":[{"Add":"impl> Clone"}],"del_contents":[{"Del":"impl> Clone\n"}]}},{"Replacement":{"inode":{"change":3,"pos":63682},"path":"sanakirja-core/src/btree/cursor.rs","line":23,"ins":{"up_context":[{"change":3,"pos":64220}],"down_context":[{"change":2,"pos":24563}],"flag":"BLOCK","start":51635,"end":51715,"inode":{"change":3,"pos":63682}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":64220},"to":{"change":2,"start":24497,"end":24563},"introduced_by":2}],"inode":{"change":3,"pos":63682}},"ins_contents":[{"Add":"impl> Copy"}],"del_contents":[{"Del":"impl> Copy\n"}]}},{"Replacement":{"inode":{"change":3,"pos":63682},"path":"sanakirja-core/src/btree/cursor.rs","line":41,"ins":{"up_context":[{"change":3,"pos":64963}],"down_context":[{"change":2,"pos":24668}],"flag":"BLOCK","start":51716,"end":51806,"inode":{"change":3,"pos":63682}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":64963},"to":{"change":2,"start":24592,"end":24668},"introduced_by":2}],"inode":{"change":3,"pos":63682}},"ins_contents":[{"Add":"pub struct Cursor> {"}],"del_contents":[{"Del":"pub struct Cursor> {\n"}]}},{"Replacement":{"inode":{"change":3,"pos":63682},"path":"sanakirja-core/src/btree/cursor.rs","line":47,"ins":{"up_context":[{"change":3,"pos":65195}],"down_context":[{"change":2,"pos":24807}],"flag":"BLOCK","start":51807,"end":51886,"inode":{"change":3,"pos":63682}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":65195},"to":{"change":2,"start":24742,"end":24807},"introduced_by":2}],"inode":{"change":3,"pos":63682}},"ins_contents":[{"Add":"impl<'a, K: Representable+?Sized, V: Representable+?Sized, P: BTreePage>"}],"del_contents":[{"Del":"impl<'a, K: Representable, V: Representable, P: BTreePage>\n"}]}},{"Replacement":{"inode":{"change":3,"pos":63682},"path":"sanakirja-core/src/btree/cursor.rs","line":64,"ins":{"up_context":[{"change":3,"pos":65654}],"down_context":[{"change":2,"pos":24934}],"flag":"BLOCK","start":51887,"end":51962,"inode":{"change":3,"pos":63682}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":65654},"to":{"change":2,"start":24873,"end":24934},"introduced_by":2}],"inode":{"change":3,"pos":63682}},"ins_contents":[{"Add":"impl>"}],"del_contents":[{"Del":"impl>\n"}]}},{"Edit":{"inode":{"change":3,"pos":11},"path":"sanakirja/src/tests.rs","line":202,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":10295},"to":{"change":3,"start":307,"end":357},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":357},"to":{"change":2,"start":26428,"end":26520},"introduced_by":2}],"inode":{"change":3,"pos":11}}},"contents":[{"Del":" // let db3 = fork_db(&mut txn, &db).unwrap();\n"},{"Del":" // for i in 1530..1531 {\n // del(&mut txn, &mut db, &i, None).unwrap();\n // }\n"}]}},{"Replacement":{"inode":{"change":3,"pos":11},"path":"sanakirja/src/tests.rs","line":231,"ins":{"up_context":[{"change":3,"pos":7540}],"down_context":[{"change":3,"pos":7586}],"flag":"BLOCK","start":51963,"end":52086,"inode":{"change":3,"pos":11}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":7540},"to":{"change":3,"start":7540,"end":7586},"introduced_by":3}],"inode":{"change":3,"pos":11}},"ins_contents":[{"Add":" k: std::marker::PhantomData,"},{"Add":" v: std::marker::PhantomData,"},{"Add":" p: std::marker::PhantomData,"}],"del_contents":[{"Del":" marker: std::marker::PhantomData,\n"}]}},{"Edit":{"inode":{"change":3,"pos":11},"path":"sanakirja/src/tests.rs","line":302,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":2690}],"down_context":[],"flag":"BLOCK","start":52087,"end":52818,"inode":{"change":3,"pos":11}}},"contents":[{"Add":""},{"Add":""},{"Add":"type UP = sanakirja_core::btree::page_unsized::Page;"},{"Add":""},{"Add":"#[test]"},{"Add":"fn slice() {"},{"Add":" env_logger::try_init().unwrap_or(());"},{"Add":" let env = Env::new_anon(409600000, 1).unwrap();"},{"Add":" let mut txn = Env::mut_txn_begin(&env).unwrap();"},{"Add":" let mut db = create_db_::, u64, [u8], UP>(&mut txn).unwrap();"},{"Add":" let n = 1580u64;"},{"Add":" let m = 1000;"},{"Add":" let mut values = Vec::with_capacity(n as usize);"},{"Add":" for i in 0..n {"},{"Add":" debug!(\"=============== putting {:?}\", i);"},{"Add":" let alpha = b\"abcdefgihjklmnopqrstuvwxyz\";"},{"Add":" let a = &alpha[..((i as usize * 7) % 25) + 1];"},{"Add":" if put(&mut txn, &mut db, &i, &a[..]).unwrap() {"},{"Add":" values.push((i * i) % m);"},{"Add":" }"},{"Add":" }"},{"Add":" values.sort();"},{"Add":"}"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"sanakirja/src/environment/muttxn.rs","line":115,"ins":{"up_context":[{"change":3,"pos":83388}],"down_context":[{"change":3,"pos":83446}],"flag":"BLOCK","start":52819,"end":52978,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":83388},"to":{"change":3,"start":83388,"end":83446},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" k: std::marker::PhantomData,"},{"Add":" v: std::marker::PhantomData,"},{"Add":" p: std::marker::PhantomData,"}],"del_contents":[{"Del":" marker: std::marker::PhantomData,\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"sanakirja/src/environment/muttxn.rs","line":152,"ins":{"up_context":[{"change":3,"pos":84510}],"down_context":[{"change":3,"pos":84560}],"flag":"BLOCK","start":52979,"end":53114,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":84510},"to":{"change":3,"start":84510,"end":84560},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" k: std::marker::PhantomData,"},{"Add":" v: std::marker::PhantomData,"},{"Add":" p: std::marker::PhantomData,"}],"del_contents":[{"Del":" marker: std::marker::PhantomData,\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"sanakirja/src/environment/muttxn.rs","line":225,"ins":{"up_context":[{"change":3,"pos":86651}],"down_context":[{"change":3,"pos":86697}],"flag":"BLOCK","start":53115,"end":53238,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":86651},"to":{"change":3,"start":86651,"end":86697},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" k: std::marker::PhantomData,"},{"Add":" v: std::marker::PhantomData,"},{"Add":" p: std::marker::PhantomData,"}],"del_contents":[{"Del":" marker: std::marker::PhantomData,\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"sanakirja/src/environment/muttxn.rs","line":405,"ins":{"up_context":[{"change":3,"pos":4808}],"down_context":[{"change":3,"pos":4858}],"flag":"BLOCK","start":53239,"end":53374,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":4808},"to":{"change":3,"start":4808,"end":4858},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" k: std::marker::PhantomData,"},{"Add":" v: std::marker::PhantomData,"},{"Add":" p: std::marker::PhantomData,"}],"del_contents":[{"Del":" marker: std::marker::PhantomData,\n"}]}},{"Replacement":{"inode":{"change":3,"pos":80166},"path":"sanakirja/src/environment/muttxn.rs","line":420,"ins":{"up_context":[{"change":3,"pos":5333}],"down_context":[{"change":3,"pos":5391}],"flag":"BLOCK","start":53375,"end":53534,"inode":{"change":3,"pos":80166}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":5333},"to":{"change":3,"start":5333,"end":5391},"introduced_by":3}],"inode":{"change":3,"pos":80166}},"ins_contents":[{"Add":" k: std::marker::PhantomData,"},{"Add":" v: std::marker::PhantomData,"},{"Add":" p: std::marker::PhantomData,"}],"del_contents":[{"Del":" marker: std::marker::PhantomData,\n"}]}}],"owner":"pijul","repo":"sanakirja","token":"D5zs2Lsk2lW2tdWR6NUmF8OJJBzX4sjYhBhVdZBDR4c=","login":null}

…

Dependencies

Change contents