This lecture provides an overview of consistency, isolation, and the role of these concepts in modern storage systems. In particular, several widely used models of consistency and isolation are analyzed in light of the CAP theorem, to understand which ones are amenable to be implemented with a highly available protocol.