Jepsen seems to have given the wrong answer.

[shihuili1218]

hi jepsen team.

I think the part in the red box satisfies linear consistency, but Jepsen seems to have given the wrong answer.

Jepsen's answer seems to overlook the Wirte 638 operation of node 1

[shihuili1218]

@aphyr

[org.clojure/clojure "1.9.0"]
[jepsen "0.1.11"]

Looking forward to your reply. If you need any further information, I am more than happy to provide it

[aphyr]

That write failed. Reading it is an instance of aborted read, which violates read committed.

[shihuili1218]

write 638 of node 1 has just timed out, it may have succeeded or failed. I think Jepsen should include it in the criteria for linear consistency.

Perhaps I didn't tell Jepsen that this was a timeout request? This is my code, how should I modify it?

(defrecord Client [conn]
  client/Client
  (open! [this test node]
    (-> this
        (assoc :conn (create-client node))))
  (setup! [this test])
  (invoke! [this test op]
    (try
      (case (:f op)
            :read  (assoc op :type :ok, :value (read this))
            :write (do
                     (write this (:value op))
                     (assoc op :type :ok)))
      (catch Exception e
        (let [^String msg (.getMessage e)]
          (cond
           (and msg (.contains msg "UNKNOWN")) (assoc op :type :fail, :error :timeout)
           :else
           (assoc op :type :fail :error (.getMessage e)))))))

  (teardown! [this test])

  (close! [_ test]))

[aphyr]

See https://github.com/jepsen-io/history; you want to record indeterminate failures as type :info, not :fail.