diff options
author | Alex Auvolat <alex@adnab.me> | 2022-05-20 13:36:45 +0200 |
---|---|---|
committer | Alex Auvolat <alex@adnab.me> | 2022-05-20 13:36:45 +0200 |
commit | a6e33aafea89ba86ac94bbc33a503f1ef5644828 (patch) | |
tree | b0a9a9eeaa33da1c1e840721c4849b2364471d96 /src/bayou.rs | |
parent | 3ac6896da966da3a73610cbe00c550e7ce4c0616 (diff) | |
download | aerogramme-a6e33aafea89ba86ac94bbc33a503f1ef5644828.tar.gz aerogramme-a6e33aafea89ba86ac94bbc33a503f1ef5644828.zip |
Fix things
Diffstat (limited to 'src/bayou.rs')
-rw-r--r-- | src/bayou.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bayou.rs b/src/bayou.rs index cc83667..56203eb 100644 --- a/src/bayou.rs +++ b/src/bayou.rs @@ -19,8 +19,8 @@ const SAVE_STATE_EVERY: usize = 64; // Checkpointing interval constants: a checkpoint is not made earlier // than CHECKPOINT_INTERVAL time after the last one, and is not made // if there are less than CHECKPOINT_MIN_OPS new operations since last one. -const CHECKPOINT_INTERVAL: Duration = Duration::from_secs(60); -const CHECKPOINT_MIN_OPS: usize = 4; +const CHECKPOINT_INTERVAL: Duration = Duration::from_secs(3600); +const CHECKPOINT_MIN_OPS: usize = 16; // HYPOTHESIS: processes are able to communicate in a synchronous // fashion in times that are small compared to CHECKPOINT_INTERVAL. // More precisely, if a process tried to save an operation within the last |