aboutsummaryrefslogtreecommitdiff
path: root/script/jepsen.garage/src
diff options
context:
space:
mode:
authorAlex Auvolat <alex@adnab.me>2023-10-20 15:00:10 +0200
committerAlex Auvolat <alex@adnab.me>2023-10-20 15:00:10 +0200
commitf5b09727815523a1bd4ba5f62d892b2b45b5bed6 (patch)
tree6ba6492e2df9663007f6af09f8108532a284ded5 /script/jepsen.garage/src
parentd148b83d4f440dc79b2ed08eaa171aca0e2037b0 (diff)
downloadgarage-f5b09727815523a1bd4ba5f62d892b2b45b5bed6.tar.gz
garage-f5b09727815523a1bd4ba5f62d892b2b45b5bed6.zip
jepsen: register crdt read-after-write is fixed with deleteobject patch
Diffstat (limited to 'script/jepsen.garage/src')
-rw-r--r--script/jepsen.garage/src/jepsen/garage.clj3
-rw-r--r--script/jepsen.garage/src/jepsen/garage/reg.clj3
2 files changed, 3 insertions, 3 deletions
diff --git a/script/jepsen.garage/src/jepsen/garage.clj b/script/jepsen.garage/src/jepsen/garage.clj
index ce02b7f7..a566d9be 100644
--- a/script/jepsen.garage/src/jepsen/garage.clj
+++ b/script/jepsen.garage/src/jepsen/garage.clj
@@ -23,7 +23,8 @@
(def patches
"A map of patch names to Garage builds"
{"default" "v0.9.0"
- "tsfix1" "d146cdd5b66ca1d3ed65ce93ca42c6db22defc09"})
+ "tsfix1" "d146cdd5b66ca1d3ed65ce93ca42c6db22defc09"
+ "tsfix2" "c82d91c6bccf307186332b6c5c6fc0b128b1b2b1"})
(def cli-opts
"Additional command line options."
diff --git a/script/jepsen.garage/src/jepsen/garage/reg.clj b/script/jepsen.garage/src/jepsen/garage/reg.clj
index ecc96590..6772abfe 100644
--- a/script/jepsen.garage/src/jepsen/garage/reg.clj
+++ b/script/jepsen.garage/src/jepsen/garage/reg.clj
@@ -112,8 +112,7 @@
(range)
(fn [k]
(->>
- ; (gen/mix [op-get op-put op-del])
- (gen/mix [op-get op-put])
+ (gen/mix [op-get op-put op-del])
(gen/limit (:ops-per-key opts)))))})
(defn workload1