Jepsen report: Datomic Pro 1.0.7075

[Kyle Kingsbury]

Esteemed colleagues,

I'm pleased to announce a new Jepsen report on Datomic Pro 1.0.7075.
Datomic is an unusual system in many ways. Temporal! Immutable! Datalog!
Strong Session Serializable*! We found that Datomic appears to offer
Strong Session Serializability across all transactions, and up to Strong
Serializable when using sync or update transactions. However, *within* a
transaction, updates appear as if executed concurrently, rather than
sequentially. This leads to unusual--but documented!--behavior that
challenges the commonly accepted approaches to consistency in the modern
literature.

https://jepsen.io/analyses/datomic-pro-1.0.7075

We hope you enjoy the report. :-)

Yours truly,

--Kyle