Latest
testingdistsysrust
Linearizability testing S2 with deterministic simulation
How S2 validates strong consistency with Porcupine linearizability checking and deterministic simulation testing.
Read full article
More Articles
use-casetutorial
Multi-player, serverless, durable terminals
How S2 can power multiplayer, replayable terminal sessions with durable stream I/O and no SSH server to configure.
Read more
testingdistsys
Deterministic simulation testing for async Rust
How S2 uses deterministic simulation testing for async Rust to find distributed-systems bugs before they reach production.
Read more
use-casedistsys
One weird trick to durably replicate your KV store
A deep dive on using S2 as a shared log to replicate a strongly consistent KV store with append, read, and check-tail operations.
Read more