Vaxine is a rich-CRDT database that solves the global write-path latency problem for backend applications. applications — starting with Elixir/Phoenix.
# Rich CRDT based models.
defmodule Account do
use Vax.Schema
schema "accounts" do
# All types are conflict-free.
field :name, :string, :lww
# Rich types preserve invariants.
field :balance, :bounded_counter, min: 0
end
# Compose commutative changesets.
def decr_balance(%Account{} = account) do
account
|> Vax.cast_decr(:balance)
end
end
defmodule Coin do
use Vax.Schema
schema "coins" do
# Enforce referential integrity.
belongs_to :account, Account, :lww
end
end
# Define highly available transactions.
deftransaction spend(tx, coin, account) do
tx
|> Vax.delete(:coin, coin)
|> Vax.update(:account, Account.decr_balance(account))
end
# Read and write with low latency --
# anywhere on the planet.
Vax.apply(spend(coin, account))
# Rich CRDT based models
defmodule Account do
use Vax.Schema
schema "accounts" do
# All types are conflict-free
field :name, :string, :lww
# Rich types preserve invariants
field :balance, :bcounter, min: 0
end
# Compose commutative changesets
def decr_balance(%Account{} = acc) do
acc
|> Vax.cast_decr(:balance)
end
end
defmodule Coin do
use Vax.Schema
schema "coins" do
# Enforce referential integrity
belongs_to :acc, Account, :lww
end
end
# Define highly available transactions
deftransaction spend(tx, coin, acc) do
changes = Account.decr_balance(acc)
tx
|> Vax.delete(:coin, coin)
|> Vax.update(:account, changes)
end
# Read and write with low latency --
# anywhere on the planet.
Vax.apply(spend(coin, acc))
Vaxine allows you to minimise network latency on both read and write paths for geo-distributed OLTP applications. Without compromising on data consistency, session guarantees or real world constraints and invariants.
Designed from the ground up for multi‑DC, geo‑distributed data-driven applications.
Designed from the ground up for multi‑DC, geo‑distributed data-driven applications.
Minimises network latency on read and write paths, making global data‑driven apps much faster.
Minimises network latency on read and write paths, making global data‑driven apps much faster.
Transactional causal+ consistency. Sticky availability. Invariant safety. Referential integrity.
Transactional causal+ consistency. Sticky availability. Invariant safety. Referential integrity.
By Valter Balegas on 03 May 2022
Rich-CRDTs are conflict-free data types (“CRDTs”) extended to provide additional (“Rich”) database guarantees. These guarantees, such as constraints and referential integrity, make building applications under eventual consistency much simpler.
Get technical updates and articles straight to your inbox.
Vaxine builds on AntidoteDB, a planet‑scale, highly available, transactional database.
Antidote uses Conflict-free Replicated Data Types (CRDTs) with operational replication and provides the strongest possible consistency guarantees for a low latency database.
Conflict-free Replicated Data Types
https://hal.inria.fr/hal-00932836
Highly Available Transactions
https://doi.org/10.14778/2732232.2732237
Cure: strong semantics meets high availability and low latency
https://doi.org/10.1109/ICDCS.2016.98
Just-Right Consistency
https://arxiv.org/abs/1801.06340
IPA: invariant-preserving applications
https://doi.org/10.14778/3297753.3297760
Domain-Driven Design for Consistency
https://doi.org/10.1145/3447865.3457969
Vaxine's data access library is implemented in Elixir and aims for tight integration with the Phoenix Framework.
Phoenix is a batteries-included web framework that’s especially suited to geo-distributed app development due to its scalability, concurrency, distributed messaging capabilities and integrated Phoenix LiveView library.
The most fun you'll ever have building interactive web applications, guaranteed!
Install the Elixir programming language.
Install the Phoenix project generator and create your LiveView project:
mix archive.install hex phx_new
mix phx.new demo --liveVaxine is under active development, towards a first developer preview release.
We're currently working to extend and productionise AntidoteDB, to build higher level developer tooling and on setting up a global data infrastructure mesh. If you’re interested in the project, we’d love to hear from you. Email us on info@vaxine.io or say hello on Discord.