Add perf tests to all jepsen runs

This commit is contained in:
Antonio Andelic 2022-06-15 12:11:23 +00:00
parent c8afeafe0e
commit 919e72fc48
5 changed files with 13 additions and 4 deletions

View File

@ -43,7 +43,9 @@
"A generator, client, and checker for a set test."
[opts]
{:client (CounterClient. nil nil)
:checker (checker/counter)
:checker (checker/compose
{:counter (checker/counter)
:perf (checker/perf)})
:generator (->> (range)
(map (fn [x]
(->> (gen/mix [r add])))))

View File

@ -59,7 +59,8 @@
{:client (QueueClient. nil nil)
:checker (checker/compose
{:total-queue (checker/total-queue)
:timeline (timeline/html)})
:perf (checker/perf)
:timeline (timeline/html)})
:generator (->> (sorted-str-range 50000)
(map (fn [x]
(rand-nth [{:type :invoke, :f :enqueue :value x}
@ -72,6 +73,7 @@
:checker (checker/compose
{:linear (checker/linearizable {:model (model/unordered-queue)
:algorithm :linear})
:perf (checker/perf)
:timeline (timeline/html)})
:generator (->> (sorted-str-range 10000)
(map (fn [x]

View File

@ -55,6 +55,7 @@
(checker/compose
{:linear (checker/linearizable {:model (model/cas-register)
:algorithm :linear})
:perf (checker/perf)
:timeline (timeline/html)}))
:generator (independent/concurrent-generator
10

View File

@ -44,7 +44,9 @@
"A generator, client, and checker for a set test."
[opts]
{:client (SetClient. "/a-set" nil nil)
:checker (checker/set)
:checker (checker/compose
{:set (checker/set)
:perf (checker/perf)})
:generator (->> (range)
(map (fn [x] {:type :invoke, :f :add, :value x})))
:final-generator (gen/once {:type :invoke, :f :read, :value nil})})

View File

@ -36,7 +36,9 @@
"A generator, client, and checker for a set test."
[opts]
{:client (UniqueClient. nil nil)
:checker (checker/unique-ids)
:checker (checker/compose
{:perf (checker/perf)
:unique (checker/unique-ids)})
:generator (->>
(range)
(map (fn [_] {:type :invoke, :f :generate})))})