fix(bench): force concurrent trace build for synthetic kernel

Author: huitseeker

benches/synthetic-tx-kernel/Cargo.toml

@@ -7,7 +7,7 @@ license.workspace = true
 [dependencies]
 miden-vm = { path = "../../miden-vm" }
 miden-core = { path = "../../core" }
-miden-processor = { path = "../../processor" }
+miden-processor = { path = "../../processor", default-features = false, features = ["concurrent"] }
 miden-core-lib = { path = "../../crates/lib/core" }
 serde = { version = "1.0", features = ["derive"] }
 serde_json = "1.0"

benches/synthetic-tx-kernel/benches/component_benchmarks.rs

@@ -3,7 +3,7 @@
 use criterion::{black_box, criterion_group, criterion_main, BatchSize, Criterion};
 use miden_core::{Felt, Word};
 use miden_core_lib::{dsa::falcon512_poseidon2, CoreLibrary};
-use miden_processor::{advice::AdviceInputs, fast::FastProcessor};
+use miden_processor::{advice::AdviceInputs, fast::FastProcessor, ExecutionOptions};
 use miden_vm::{Assembler, DefaultHost, StackInputs};
 
 /// Helper function to execute a benchmark with the given program
@@ -22,8 +22,11 @@ fn bench_program(
                     host.load_library(&CoreLibrary::default())
                         .expect("Failed to load core library");
                 }
-                let processor =
-                    FastProcessor::new_with_advice_inputs(stack_inputs, advice_inputs.clone());
+                let processor = FastProcessor::new_with_options(
+                    stack_inputs,
+                    advice_inputs.clone(),
+                    ExecutionOptions::default(),
+                );
                 (host, processor)
             },
             |(mut host, processor)| async move {

benches/synthetic-tx-kernel/benches/synthetic_kernel.rs

@@ -12,7 +12,8 @@ use std::time::Duration;
 
 use criterion::{black_box, criterion_group, criterion_main, Criterion, SamplingMode};
 use miden_core_lib::CoreLibrary;
-use miden_processor::{fast::FastProcessor, parallel::build_trace, ExecutionOptions};
+use miden_processor::parallel::build_trace;
+use miden_processor::{fast::FastProcessor, ExecutionOptions};
 use miden_vm::{prove_sync, Assembler, DefaultHost, ProvingOptions, StackInputs};
 use synthetic_tx_kernel::{generator::MasmGenerator, load_profile};
 
@@ -111,9 +112,10 @@ fn synthetic_transaction_kernel(c: &mut Criterion) {
     let mut test_host = DefaultHost::default()
         .with_library(&core_lib)
         .expect("Failed to initialize test host");
-    let test_processor = FastProcessor::new_with_advice_inputs(
+    let test_processor = FastProcessor::new_with_options(
         StackInputs::default(),
         miden_processor::advice::AdviceInputs::default(),
+        ExecutionOptions::default(),
     );
     let test_result = tokio::runtime::Runtime::new()
         .expect("Failed to create runtime for smoke test")
@@ -135,9 +137,10 @@ fn synthetic_transaction_kernel(c: &mut Criterion) {
                 let host = DefaultHost::default()
                     .with_library(&core_lib)
                     .expect("Failed to initialize host with core library");
-                let processor = FastProcessor::new_with_advice_inputs(
+                let processor = FastProcessor::new_with_options(
                     StackInputs::default(),
                     miden_processor::advice::AdviceInputs::default(),
+                    ExecutionOptions::default(),
                 );
                 (host, program.clone(), processor)
             },

benches/synthetic-tx-kernel/src/generator.rs

@@ -440,7 +440,7 @@ mod tests {
     use std::collections::BTreeMap;
 
     use miden_core_lib::CoreLibrary;
-    use miden_processor::{advice::AdviceInputs, fast::FastProcessor};
+    use miden_processor::{advice::AdviceInputs, fast::FastProcessor, ExecutionOptions};
     use miden_vm::{Assembler, DefaultHost, StackInputs};
 
     use super::*;
@@ -528,9 +528,10 @@ mod tests {
                 .expect("failed to assemble benchmark");
 
             let mut host = DefaultHost::default();
-            let processor = FastProcessor::new_with_advice_inputs(
+            let processor = FastProcessor::new_with_options(
                 StackInputs::default(),
                 AdviceInputs::default(),
+                ExecutionOptions::default(),
             );
             let runtime = tokio::runtime::Runtime::new().expect("failed to create runtime");
 
@@ -559,7 +560,11 @@ mod tests {
 
         let mut host = DefaultHost::default();
         host.load_library(&CoreLibrary::default()).expect("failed to load core library");
-        let processor = FastProcessor::new_with_advice_inputs(stack_inputs, advice_inputs);
+        let processor = FastProcessor::new_with_options(
+            stack_inputs,
+            advice_inputs,
+            ExecutionOptions::default(),
+        );
         let runtime = tokio::runtime::Runtime::new().expect("failed to create runtime");
 
         runtime

core/src/mast/node/call_node.rs

@@ -9,6 +9,8 @@ use miden_formatting::{
 use serde::{Deserialize, Serialize};
 
 use super::{MastForestContributor, MastNodeExt};
+#[cfg(debug_assertions)]
+use crate::mast::MastNode;
 use crate::{
     Felt, Word,
     chiplets::hasher,
@@ -18,8 +20,6 @@ use crate::{
     operations::{OPCODE_CALL, OPCODE_SYSCALL},
     utils::{Idx, LookupByIdx},
 };
-#[cfg(debug_assertions)]
-use crate::mast::MastNode;
 
 // CALL NODE
 // ================================================================================================

core/src/mast/node/dyn_node.rs

@@ -5,6 +5,8 @@ use core::fmt;
 use serde::{Deserialize, Serialize};
 
 use super::{MastForestContributor, MastNodeExt};
+#[cfg(debug_assertions)]
+use crate::mast::MastNode;
 use crate::{
     Felt, Word,
     mast::{
@@ -14,8 +16,6 @@ use crate::{
     prettier::{Document, PrettyPrint, const_text, nl},
     utils::LookupByIdx,
 };
-#[cfg(debug_assertions)]
-use crate::mast::MastNode;
 
 // DYN NODE
 // ================================================================================================

core/src/mast/node/join_node.rs

@@ -5,6 +5,8 @@ use core::fmt;
 use serde::{Deserialize, Serialize};
 
 use super::{MastForestContributor, MastNodeExt};
+#[cfg(debug_assertions)]
+use crate::mast::MastNode;
 use crate::{
     Felt, Word,
     chiplets::hasher,
@@ -15,8 +17,6 @@ use crate::{
     prettier::PrettyPrint,
     utils::{Idx, LookupByIdx},
 };
-#[cfg(debug_assertions)]
-use crate::mast::MastNode;
 
 // JOIN NODE
 // ================================================================================================

core/src/mast/node/loop_node.rs

@@ -5,6 +5,8 @@ use core::fmt;
 use serde::{Deserialize, Serialize};
 
 use super::{MastForestContributor, MastNodeExt};
+#[cfg(debug_assertions)]
+use crate::mast::MastNode;
 use crate::{
     Felt, Word,
     chiplets::hasher,
@@ -15,8 +17,6 @@ use crate::{
     prettier::PrettyPrint,
     utils::{Idx, LookupByIdx},
 };
-#[cfg(debug_assertions)]
-use crate::mast::MastNode;
 
 // LOOP NODE
 // ================================================================================================

core/src/mast/node/split_node.rs

@@ -5,6 +5,8 @@ use core::fmt;
 use serde::{Deserialize, Serialize};
 
 use super::{MastForestContributor, MastNodeExt};
+#[cfg(debug_assertions)]
+use crate::mast::MastNode;
 use crate::{
     Felt, Word,
     chiplets::hasher,
@@ -15,8 +17,6 @@ use crate::{
     prettier::PrettyPrint,
     utils::{Idx, LookupByIdx},
 };
-#[cfg(debug_assertions)]
-use crate::mast::MastNode;
 
 // SPLIT NODE
 // ================================================================================================