In distributed systems, it’s easy to blur the line between keeping data safe and keeping data in order. Both sound like the same thing, until you look closely at how systems actually do it. At the centre of this confusion lies a familiar piece of technology: the log. Specifically,…
Quorum and Consensus appear frequently in distributed-systems literature – especially in discussions around replication, fault tolerance and distributed databases. They often sound like close cousins, both involve replicas "agreeing" on something, both rely on majorities, and both aim to keep a distributed system from drifting apart. Yet, despite these…
Software systems are built on layers of abstractions. Each layer shields developers from the messy realities beneath, allowing them to think in simpler, more reliable terms. One of the most powerful examples of this principle comes from databases called Transactions. Transactions embody the ACID guarantees — Atomicity, Consistency, Isolation, and Durability…
“Consistency” is one of those overloaded terms in computer science. It shows up in ACID transactions and in the CAP theorem, but it means very different things depending on the context. Let’s unpack the difference. Consistency in ACID In the ACID world, consistency is really about data integrity. It…
In any distributed system, services need to discover each other to be able to communicate. This requires a broker of sorts in place to which services could register themselves and be discovered by other services. This mechanism is what is known as Service Discovery and the most famous choice of…