Knossos: Redis and linearizability
aphyr.com