Linearizability, mức nhất quán mạnh nhất trong hệ phân tán

Linearizability là mức nhất quán khắt khe nhất trong hệ phân tán: mọi thao tác phải trông như xảy ra tức thời đúng theo thứ tự thời gian thực. Bài viết giải thích điểm tuyến tính hóa, ví dụ compare-and-swap, cái giá phải trả và cách Jepsen kiểm định các hệ thống thực tế.