Batch semaphore, causality tracking (#151)

* added batch semaphore Co-authored-by: Rajeev Joshi <[email protected]> Co-authored-by: Sarek Høverstad Skotåm <[email protected]> * add vector clocks to batch semaphore * tests for batch semaphore clocks * add unfair mode to batch semaphore --------- Co-authored-by: Rajeev Joshi <[email protected]> Co-authored-by: Sarek Høverstad Skotåm <[email protected]>
awslabs · Jul 24, 2024 · a1a88b3 · a1a88b3
1 parent c1661f1
commit a1a88b3
Show file tree

Hide file tree

Showing 7 changed files with 1,278 additions and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -29,6 +29,7 @@ regex = "1.5.5"
 tempfile = "3.2.0"
 test-log = { version = "0.2.8", default-features = false, features = ["trace"] }
 tracing-subscriber = { version = "0.3.9", features = ["env-filter"] }
+pin-project = "1.1.3"
 
 [lib]
 bench = false