Hacker News new | past | comments | ask | show | jobs | submit login
Linearizability: A correctness condition for concurrent objects (muratbuffalo.blogspot.com)
53 points by matt_d 3 months ago | hide | past | favorite | 3 comments



This article, and several of the papers it cites, claim that (in the context of distributed systems) the property of "causal consistency" is an umbrella term without a precise definition. Which is simply false: causal consistency is well-defined and unambiguous.

The articles then define various, weaker, forms of what they (incorrectly) categorize as causal consistency, apparently to discredit Jepsen's analyses, and to support MongoDB's marketing claims.

Disappointing stuff.


The linked article doesn’t discuss causal consistency or MongoDB.


The linked URL (title: Linearizability: A correctness condition...) references casual consistency. The papers it links go into more detail on that topic and also explicitly reference MongoDB.




Consider applying for YC's W25 batch! Applications are open till Nov 12.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: