Debugging reference-counting for put

Dependencies

• [2] 6DMPXOAT More debugging
• [3] UAQX27N4 Tests
• [4] NQBEOCFO Tests cleanup
• [5] OP6SVMOD Resetting history
• [6] PXF3R6SV Improving test coverage for btree::cursor
• [7] ONES3V46 reference counting works for put
• [8] YWFYZNLZ Cleanup + inter-process concurrency
• [9] X3QVVQIS More debugging (del seems to work now)
• [10] WS4ZQM4R Debugging, tests, etc.

Change contents

• edit in sanakirja-core/src/btree/put.rs at line 140
  [3.7865]

  [2.652]
  + if let Ok(rc) = txn.rc(freed & !1) {

  + debug!("rc = {:?}", rc);

  + }
• replacement in sanakirja/src/tests.rs at line 178
  [3.6386]→[2.1863:1908](∅→∅)
  − debug!("=============================");
  [3.6386]

  [3.6386]
  + debug!("==========");
• replacement in sanakirja/src/tests.rs at line 186
  [3.6528]→[2.1909:1992](∅→∅)
  − crate::debug::debug(&txn, &[&db, &db2], "debug0", true);

  − unimplemented!();
  [3.6528]

  [3.6625]
  +
• edit in sanakirja/src/tests.rs at line 206
  [3.9981]

  [3.10075]
  + debug!("{:?}", txn.free_owned_pages);

  + crate::debug::debug(&txn, &[&db, &db2], "debug0", true);

  + unimplemented!();
• replacement in sanakirja/src/tests.rs at line 210
  [3.10174]→[3.10174:10196](∅→∅)
  − for i in 0..512 {
  [3.10125]

  [3.10238]
  + debug!("=============");

  + for i in 0..0 { // 512 {
• replacement in sanakirja/src/tests.rs at line 214
  [3.10295]→[2.1993:2040](∅→∅)
  − let db3 = fork_db(&mut txn, &db).unwrap();
  [3.10295]

  [2.2040]
  + // let db3 = fork_db(&mut txn, &db).unwrap();
• replacement in sanakirja/src/tests.rs at line 219
  [3.10652]→[2.2078:2188](∅→∅)
  − debug!("{:?} {:?} {:?}", db, db2, db3);

  − crate::debug::debug(&txn, &[&db, &db2, &db3], "debug", true);
  [3.10652]

  [2.2188]
  + debug!("{:?} {:?}", db, db2);

  + crate::debug::debug(&txn, &[&db, &db2], "debug", true);
• replacement in sanakirja/src/environment/muttxn.rs at line 21
  [3.80575]→[3.80575:80615](∅→∅)
  − occupied_owned_pages: Vec<MutPage>,
  [3.80575]

  [3.80615]
  + pub(crate) occupied_owned_pages: Vec<MutPage>,
• replacement in sanakirja/src/environment/muttxn.rs at line 25
  [3.80706]→[3.80706:80738](∅→∅)
  − free_owned_pages: Vec<u64>,
  [3.80706]

  [3.80738]
  + pub(crate) free_owned_pages: Vec<u64>,
• replacement in sanakirja/src/environment/muttxn.rs at line 29
  [3.80851]→[3.80851:80877](∅→∅)
  − free_pages: Vec<u64>,
  [3.80851]

  [3.2818]
  + pub(crate) free_pages: Vec<u64>,
• edit in sanakirja/src/environment/muttxn.rs at line 268
  [3.88500]

  [3.88500]
  + debug!("decr_rc {:?}", off);
• edit in sanakirja/src/environment/muttxn.rs at line 281
  [3.38650]

  [3.1765]
  + debug!("decr_rc, rc = {:?}", rc);
• replacement in sanakirja/src/environment/muttxn.rs at line 284
  [3.38739]→[3.1790:1934](∅→∅)
  − }

  − if rc & 0xfff > 2 {

  − btree::put(self, &mut rc_, &(rc - 1), &())?;

  − self.rc = Some(rc_);
  [3.38739]

  [3.4261]
  + if rc & 0xfff > 2 {

  + btree::put(self, &mut rc_, &(rc - 1), &())?;

  + self.rc = Some(rc_);

  + } else {

  + // Implicit "1".

  + self.rc = Some(rc_)

  + }
• replacement in sanakirja/src/environment/muttxn.rs at line 317
  [3.39267]→[3.2099:2243](∅→∅)
  − }

  − if rc & 0xfff > 2 {

  − btree::put(self, &mut rc_, &(rc - 1), &())?;

  − self.rc = Some(rc_);
  [3.39267]

  [3.4293]
  + if rc & 0xfff > 2 {

  + btree::put(self, &mut rc_, &(rc - 1), &())?;

  + self.rc = Some(rc_);

  + } else {

  + // Implicit "1".

  + self.rc = Some(rc_);

  + }