Jepsen testing (NLnet task 3 subtask 1) #544

Merged

lx merged 41 commits from jepsen into main 2024-01-11 10:52:13 +00:00

Conversation 0 Commits 41 Files Changed 22 +1045

41 Commits

Author	SHA1	Message	Date
Alex	fa9247f11b	jepsen: updated results, confirming that task3 works	2023-12-14 16:23:48 +01:00
Alex	92dd2bbe15	jepsen: nlnet task3a seems to fix things	2023-11-16 18:09:13 +01:00
Alex	18e5811159	jepsen: add patch and use more complete names	2023-11-16 12:57:21 +01:00
Alex	5b1f50be65	jepsen: testing	2023-10-25 14:43:24 +02:00
Alex	9df7fa0bcd	jepsen: use 7 nodes	2023-10-25 14:04:39 +02:00
Alex	fd85010a40	jepsen: failures with set2 test in --scenario r	2023-10-25 12:13:27 +02:00
Alex	cfbfa09d24	jepsen: fix set2 test omg finally this is so stupid	2023-10-25 11:50:16 +02:00
Alex	db921cc05f	jepsen: reconfigure nemesis + add db nemesis	2023-10-25 11:41:34 +02:00
Alex	4fa2646a75	jepsen: got a failure with set1	2023-10-24 17:45:22 +02:00
Alex	d7ab2c639e	jepsen: fix nemesis to actually generate many operations	2023-10-24 16:39:50 +02:00
Alex	d13bde5e26	jepsen: set1 and set2 don't fail anymore ??	2023-10-24 15:44:05 +02:00
Alex	d2c365767b	jepsen: more testing	2023-10-24 11:39:45 +02:00
Alex	fb6c9a1243	jepsen: update readme	2023-10-20 15:55:09 +02:00
Alex	9030c1eef8	jepsen: code path for nemesis final generator	2023-10-20 15:53:46 +02:00
Alex	654775308e	jepsen: add cluster reconfiguration nemesis	2023-10-20 15:48:37 +02:00
Alex	f5b0972781	jepsen: register crdt read-after-write is fixed with deleteobject patch	2023-10-20 15:00:10 +02:00
Alex	d148b83d4f	jepsen: reg2 failure seems to happen only with deleteobject	2023-10-20 13:36:48 +02:00
Alex	4b93ce179a	jepsen: errors in reg2 workload under investigation	2023-10-20 12:56:55 +02:00
Alex	4ba18ce9cc	jepsen: wip checker for register-like behavior	2023-10-20 12:13:11 +02:00
Alex	ef662822c9	jepsen: fix the list-objects call (?)	2023-10-19 23:40:55 +02:00
Alex	da8b170748	jepsen: investigating listobjects error	2023-10-19 16:45:24 +02:00
Alex	74e50edddd	jepsen: refactoring	2023-10-19 14:34:19 +02:00
Alex	b3bf16ee27	make jepsen test more robust: handle errors and timeouts, fixed access key	2023-10-18 17:51:34 +02:00
Alex	ddd3de7fce	refactor jepsen code	2023-10-18 16:30:45 +02:00
Alex	84d43501ce	refactor jepsen setup logic	2023-10-18 15:34:12 +02:00
Alex	012ade5d4b	jepsen: update jepsen and fix garage key info	2023-10-18 14:06:32 +02:00
Alex	ef5ca86dfc	jepsen: update to garage 0.9.0	2023-10-18 14:01:18 +02:00
Alex	9ec4cca334	reformatting	2023-10-18 12:03:12 +02:00
Alex	18ee8efb5f	Check read-after-write property for sets	2023-10-18 12:03:12 +02:00
Alex	55eb4e87c4	set tests with independant tests together	2023-10-18 12:03:11 +02:00
Alex	0bb1577ae1	two set workloads with different checkers	2023-10-18 12:03:11 +02:00
Alex	6eb26be548	Add garage set test (this one works :p)	2023-10-18 12:03:11 +02:00
Alex	eb86eaa6d2	refactor jepsen test	2023-10-18 12:03:11 +02:00
Alex	80d7b7d858	remove useless files	2023-10-18 12:03:11 +02:00
Alex	93a7132b4c	the fix for increasing timestamps does not make things linearizable	2023-10-18 12:03:11 +02:00
Alex	dc5245ce65	even without nemesis, s3 get/put/delete is not linearizable (is this normal?)	2023-10-18 12:03:11 +02:00
Alex	70c1d3db46	better match exceptions	2023-10-18 12:03:11 +02:00
Alex	bc11701999	jepsen: s3 gets and puts	2023-10-18 12:03:11 +02:00
Alex	ca4cc7e44f	jepsen connects to vagrant vms	2023-10-18 12:03:11 +02:00
Alex	17ebb65273	jepsen ssh into containers seem to work ?	2023-10-18 12:03:11 +02:00
Alex	7011b71fbd	jepsen: wip	2023-10-18 12:03:11 +02:00