fix: segfault on m3 (#1484)

succinctlabs · Sep 5, 2024 · 770bf0d · 770bf0d
1 parent 2ccede2
commit 770bf0d
Show file tree

Hide file tree

Showing 6 changed files with 33 additions and 92 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/crates/stark/Cargo.toml b/crates/stark/Cargo.toml
@@ -38,7 +38,7 @@ tracing = "0.1.40"
 rayon-scan = "0.1.1"
 arrayref = "0.3.8"
 getrandom = { version = "0.2.15", features = ["custom"] }
-sysinfo = "0.15.1"
+sysinfo = "0.30.13"
 
 
 [dev-dependencies]

diff --git a/crates/stark/src/opts.rs b/crates/stark/src/opts.rs
@@ -1,7 +1,7 @@
 use std::env;
 
 use serde::{Deserialize, Serialize};
-use sysinfo::{System, SystemExt};
+use sysinfo::System;
 
 const MAX_SHARD_SIZE: usize = 1 << 22;
 const MAX_SHARD_BATCH_SIZE: usize = 8;
@@ -79,8 +79,9 @@ impl Default for SP1CoreOpts {
         let split_threshold = env::var("SPLIT_THRESHOLD")
             .map(|s| s.parse::<usize>().unwrap_or(DEFERRED_SPLIT_THRESHOLD))
             .unwrap_or(DEFERRED_SPLIT_THRESHOLD);
+
         let sys = System::new_all();
-        let total_available_mem = sys.get_total_memory() / (1024 * 1024);
+        let total_available_mem = sys.total_memory() / (1024 * 1024 * 1024);
         let default_shard_size = shard_size(total_available_mem);
         let default_shard_batch_size = shard_batch_size(total_available_mem);
 

diff --git a/examples/Cargo.lock b/examples/Cargo.lock
diff --git a/examples/tendermint/program/Cargo.lock b/examples/tendermint/program/Cargo.lock
diff --git a/examples/tendermint/program/elf/riscv32im-succinct-zkvm-elf b/examples/tendermint/program/elf/riscv32im-succinct-zkvm-elf