Support a higher number of threads per replica

verus-lang · Sep 2, 2024 · 0391d6c · 0391d6c
1 parent 341be41
commit 0391d6c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/verified-node-replication/src/constants.rs b/verified-node-replication/src/constants.rs
@@ -24,7 +24,7 @@ pub open const LOG_SIZE: usize = 512 * 1024;
 
 // 4 * 1024 * 1024;
 /// maximum number of threads per replica
-pub open const MAX_THREADS_PER_REPLICA: usize = 64;
+pub open const MAX_THREADS_PER_REPLICA: usize = 128;
 
 pub open const MAX_PENDING_OPS: usize = 1;