Knossos: Redis and linearizability | Heykuki News