https://uditagarwal.in/from-linearizability-to-cap-theorem-a-brief-overview-of-consistency-guarantees-in-concurrent-programs/