Reuse functions from paxos

hydro-project · Feb 7, 2025 · b78fde3 · b78fde3
1 parent 268c085
commit b78fde3
Show file tree

Hide file tree

Showing 6 changed files with 165 additions and 572 deletions.
diff --git a/hydro_test/examples/compartmentalized_paxos.rs b/hydro_test/examples/compartmentalized_paxos.rs
@@ -4,6 +4,7 @@ use hydro_deploy::gcp::GcpNetwork;
 use hydro_deploy::{Deployment, Host};
 use hydro_lang::deploy::TrybuildHost;
 use hydro_test::cluster::compartmentalized_paxos::CompartmentalizedPaxosConfig;
+use hydro_test::cluster::paxos::PaxosConfig;
 use tokio::sync::RwLock;
 
 type HostCreator = Box<dyn Fn(&mut Deployment) -> Arc<dyn Host>>;
@@ -55,10 +56,12 @@ async fn main() {
             median_latency_window_size,
             checkpoint_frequency,
             CompartmentalizedPaxosConfig {
-                f,
-                i_am_leader_send_timeout,
-                i_am_leader_check_timeout,
-                i_am_leader_check_timeout_delay_multiplier,
+                paxos_config: PaxosConfig {
+                    f,
+                    i_am_leader_send_timeout,
+                    i_am_leader_check_timeout,
+                    i_am_leader_check_timeout_delay_multiplier,
+                },
                 num_proxy_leaders,
                 acceptor_grid_rows,
                 acceptor_grid_cols,