Linearizability What linearizability means in distributed systems, and what I got wrong along the way