Consistency models

综合技术 2017-11-06 阅读原文

Consistency models

In distributed systems, a consistency model is a contract between the system and the developer who uses it.

Why this post?

I have found somehow difficult to find an authoritative source which describes what is the contract that a certain consistency model defines with the programmer. Moreover, some resources seem to contradict each other.

The idea of this post is to document my findings around some of the most common consistency models that can be found in distributed systems which we interact with. When possible I'll add the resource where I found the definition.

Sequential consistency

The result of any execution is the same as if the operations of all processors were executed in some sequential order and the operations of each individual processor appear in this sequence in the order specified by its program.

Conceptually there is one global memory and a switch that connects an arbitrary processor to the memory at any time. Each processor issues memory operations in program order and the switch provides the global serialization among all the processors.

Therefore:Sequential consistency is not deterministic because multiple execution of the distributed program might lead to a different order of operations.

In the example above, four possible execution orders are possible no matter what is the actual order in which the operations were issued.

Important:no matter what the order of the operations are, it is guaranteed that is the same among all the processors. This also means that each process will observe the same history of operations. For example, in the first case b.1 will read the state which is the result of all the operations completed before b.1 : so b.1 is going to read a value for the account which is '150'.

Strict consistency

Also called Strong consistency or Linearizability .

Like sequential consistency, but the execution order of programs between processors must be the order in which those operations were issued.

As analogy, this is pretty much what we would get from a multi threaded program in which there is no cache between the cores and the main memory, and neither the compiler nor the CPU is allowed to reorder instructions.

Therefore:If each program in each processor is deterministic, then the distributed program is deterministic.

Casual consistency

Relax sequential consistency allowing also reordering of the operations in the same processors when they are not 'casually related'.

PRAM consistency

The write operations (and only the writes) of each processor appear in the order specified by the program.

Serializability

Unlike the models described above, serializability defines guarantees on group of operations (called transactions). It guaranties the execution of a set of transactions (usually read and writes operations) over multiple items is equivalent to some serial execution of the transactions.

Unlike linearizability, serializability does not impose a deterministic order, in this sense is similar to sequential consistency but for a group of operations.

Strict serializability, instead, guaranties the same constraint expressed by linearizability but for transactions: transactions must be executed in the order they were issued.

The definition looks a bit different from the ones above because it comes from database people, while sequential consistency, etc. come from distributed system people.

Read after write

The model guaranties immediate visibility of updates to an item to all the clients. The concept is similar to the one of Memory Barrier present in modern processors.

Note:Sometimes what is called Read after write in some systems, it's actually Read after create (for example in S3 ).

Read after create

The model guaranties immediate visibility of newly created data to all the clients. Updates to an existing object might not be immediately visible to all clients.

Conclusions

Those were my two cents about one of the many aspects around distributed systems. I'll keep adding more as I go to the list. Of course, any feedback would be greatly appreciated!

Additional resources

The Practical Developer

责编内容by:The Practical Developer阅读原文】。感谢您的支持!

您可能感兴趣的

Swissquote Deploys Orders of Magnitude Faster Headquartered in Switzerland, Swissquote is a large bank that has been operating since 1990. It serves over 300,000 cus...
How to Monitor Storage Performance with a Single A... By: K. Brian Kelley | | Related Tips:More >Hardware Attend a SQL Server Conference for FREE >> cl...
数据团队规划布局感悟(三) 前言 自己也没想到马上会有第三篇了。前面两篇的地址如下: 数据团队规划布局感悟(一) 数据团队规划布局感悟(二) 今天重点讲讲我对感悟(一)中提及的“解决方...
VersionPress 4.0 Alpha We’re happy to announce that after months of development, VersionPress 4.0-alpha1 is ready and. It brings plugin suppor...
Ramsey Theory in the Dining Room Friends were coming for dinner, and we would be eight at the table. When I pulled the wine glasses out of the cupboard, ...