|
ddd3de7fce
|
refactor jepsen code
|
2023-10-18 16:30:45 +02:00 |
|
|
ef5ca86dfc
|
jepsen: update to garage 0.9.0
|
2023-10-18 14:01:18 +02:00 |
|
|
0bb1577ae1
|
two set workloads with different checkers
|
2023-10-18 12:03:11 +02:00 |
|
|
6eb26be548
|
Add garage set test (this one works :p)
|
2023-10-18 12:03:11 +02:00 |
|
|
eb86eaa6d2
|
refactor jepsen test
|
2023-10-18 12:03:11 +02:00 |
|
|
93a7132b4c
|
the fix for increasing timestamps does not make things linearizable
|
2023-10-18 12:03:11 +02:00 |
|
|
dc5245ce65
|
even without nemesis, s3 get/put/delete is not linearizable (is this normal?)
|
2023-10-18 12:03:11 +02:00 |
|
|
70c1d3db46
|
better match exceptions
|
2023-10-18 12:03:11 +02:00 |
|
|
bc11701999
|
jepsen: s3 gets and puts
|
2023-10-18 12:03:11 +02:00 |
|
|
ca4cc7e44f
|
jepsen connects to vagrant vms
|
2023-10-18 12:03:11 +02:00 |
|
|
7011b71fbd
|
jepsen: wip
|
2023-10-18 12:03:11 +02:00 |
|