πŸ”— Knossos: Redis and linearizability /by @aphyr

Aphyr answer to Antirez response. In the post aphyr talks about linearizability and how Knossos (a tool to identify whether or not a history of events from a concurrent system is linearizable) helps to verify if a system is linearizable or not.

🌎 http://aphyr.com/posts/309-knossos-redis-and-linearizability