Replace global allocator for model checking

neatsys · Jul 8, 2024 · 6df05e0 · 6df05e0
1 parent 8983a7c
commit 6df05e0
Show file tree

Hide file tree

Showing 4 changed files with 30 additions and 0 deletions.
diff --git a/.cspell.json b/.cspell.json
@@ -14,6 +14,8 @@
  "consts",
  "endianness",
  "Hasher",
+ "Jemalloc",
+ "jemallocator",
  "keypair",
  "kvstore",
  "linearizable",
@@ -30,6 +32,7 @@
  "Secp256k1",
  "seedable",
  "serde",
+ "tikv",
  "unreplicated",
  "upcall",
  "upcalls"

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -21,3 +21,6 @@ serde = { version = "1.0.203", features = ["derive"] }
 serde_json = "1.0.120"
 sha2 = "0.10.8"
 tokio = { version = "1.38.0", features = ["macros", "net", "rt", "signal", "sync", "time"] }
+
+[dev-dependencies]
+tikv-jemallocator = "0.5.4"
diff --git a/examples/unreplicated-check.rs b/examples/unreplicated-check.rs
@@ -16,6 +16,9 @@ use neatworks::{
 };
 use rand::thread_rng;
 
+#[global_allocator]
+static GLOBAL: tikv_jemallocator::Jemalloc = tikv_jemallocator::Jemalloc;
+
 fn main() -> anyhow::Result<()> {
  println!("* Single client; Put, Append, Get");
  let mut state = State::new()?;