Explain STORE_BUFFER_LIMIT of 128

rust-lang · May 12, 2022 · d3903c5 · d3903c5
1 parent efe2237
commit d3903c5
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/weak_memory.rs b/src/weak_memory.rs
@@ -68,6 +68,10 @@ use crate::{
 
 pub type AllocExtra = StoreBufferAlloc;
 
+// Each store buffer must be bounded otherwise it will grow indefinitely.
+// However, bounding the store buffer means restricting the amount of weak
+// behaviours observable. The author picked 128 as a good tradeoff
+// so we follow them here.
 const STORE_BUFFER_LIMIT: usize = 128;
 
 #[derive(Debug, Clone)]