Skip to content
Permalink
061258bd73
Switch branches/tags
Go to file
 
 
Cannot retrieve contributors at this time
86 lines (78 sloc) 3.29 KB
(ns jepsen.dgraph.upsert
"Attempts to upsert documents based on an index read, and verifies that at
most one upsert succeeds per key."
(:require [clojure.tools.logging :refer [info]]
[dom-top.core :refer [with-retry]]
[knossos.op :as op]
[jepsen.dgraph [client :as c]]
[jepsen [client :as client]
[checker :as checker]
[generator :as gen]
[independent :as independent]]))
(defrecord Client [conn]
client/Client
(open! [this test node]
(assoc this :conn (c/open node)))
(setup! [this test]
(c/alter-schema! conn (str "email: string @index(exact)"
(when (:upsert-schema test) " @upsert")
" .")))
(invoke! [this test op]
(let [[k v] (:value op)]
(c/with-conflict-as-fail op
(c/with-txn [t conn]
(case (:f op)
:upsert (let [inserted (c/upsert! t
:email
{:email (str k)})]
(assoc op
:type (if inserted :ok :fail)
:value (independent/tuple
k (first (vals inserted)))))
:read (->> (c/query t (str "{\n"
" q(func: eq(email, $email)) {\n"
" uid\n"
" }\n"
"}")
{:email (str k)})
:q
(map :uid)
sort
(independent/tuple k)
(assoc op :type :ok, :value)))))))
(teardown! [this test])
(close! [this test]
(c/close! conn)))
(defn checker
"Ensures that at most one UID is ever returned from any read."
[]
(reify checker/Checker
(check [this test history opts]
(let [reads (->> history
(filter op/ok?)
(filter #(= :read (:f %))))
upserts (->> history
(filter op/ok?)
(filter #(= :upsert (:f %))))
bad-reads (filter #(< 1 (count (:value %))) reads)]
{:valid? (and (empty? bad-reads)
(<= (count upserts) 1))
:bad-reads bad-reads
:ok-upserts upserts}))))
(defn workload
"Stuff you need to build a test!"
[opts]
{:client (Client. nil)
:checker (independent/checker (checker))
:generator (independent/concurrent-generator
(min (:concurrency opts)
(* 2 (count (:nodes opts))))
(range)
(fn [k]
; This is broken because phases inserts a global barrier for
; all threads at this point. When a thread finishes due to
; time-limit, it might give up without ever making it to the
; barrier. That *traps* the other threads on the barrier
; forever.
(gen/phases (gen/each (gen/once {:type :invoke, :f :upsert}))
(gen/each (gen/once {:type :invoke, :f :read})))))})