Architecture and Correctness

Understand the machinery behind local access and shared state: subscriptions, leaderless operation, causality, and transaction semantics.

Start with the architecture overview, then follow the question you need answered:

• How do nodes operate without a leader? Clustering.
• What moves between nodes instead of conventional replication records? Effects.
• How is causality represented? The causal DAG.
• How are concurrent operations resolved? Conflict resolution.
• What is the formal model? Light Cone Consistency.
• What happens when links fail? Partition behavior.
• Where does an exactly-once guarantee stop? Exactly-once semantics.

Read Jepsen testing for correctness workloads and benchmarks for measured performance and methodology. Compare deployment and semantics with Redis OSS/Valkey or Redis Enterprise.