Tính nhất quán bên ngoài so với tính tuyến tính

Trong Spanner, TrueTime & Định lý CAP , Eric Brewer viết:

Một điều tinh tế về Spanner là nó có được tính tuần tự từ các khóa, nhưng nó có được tính nhất quán bên ngoài (tương tự như tính tuyến tính ) từ TrueTime [ nhấn mạnh thêm ].

Định nghĩa của tính nhất quán bên ngoài là gì và nó khác với tính tuyến tính như thế nào?

Tính nhất quán bên ngoài không có nghĩa cố định. Trong bối cảnh này, nó có nghĩa xuất hiện trong câu tiếp theo trong tài liệu:

Đối với bất kỳ hai giao dịch nào, và (ngay cả khi ở phía đối diện toàn cầu): nếu bắt đầu cam kết sau khi hoàn thành cam kết, thì dấu thời gian cho lớn hơn dấu thời gian cho .$T_1$$T_2$$T_2$$T_1$$T_2$$T_1$

Bạn có thể suy nghĩ về tính nhất quán bên ngoài từ cách ly giao dịch (Tx) và quan điểm đặt hàng. Trong cách ly Tx, tính nhất quán bên ngoài tương đương với cách ly tuần tự nghiêm ngặt, trong đó 'nghiêm ngặt' là phần ràng buộc thời gian thực (như trong tính tuyến tính).

Điều đó một lần nữa tất cả có nghĩa là các tác dụng phụ Tx có thể quan sát được của khách hàng hệ thống tương đương với một hệ thống, trong đó tất cả Tx diễn ra trong sự cô lập mà không có bất kỳ sự tương tranh nào và nơi mà thứ tự thời gian thực của chúng, được khách hàng nhìn thấy, được giữ nguyên. Quan trọng hơn là thứ tự tương tự này được nhìn thấy bởi bất kỳ khách hàng không liên quan khác.

Đọc thêm về sự khác biệt tại blog này .