ความสอดคล้องภายนอกกับความสามารถเชิงเส้น

ในSpanner, TrueTime และทฤษฎีบท CAP , Eric Brewer เขียน:

สิ่งหนึ่งที่ละเอียดอ่อนเกี่ยวกับ Spanner ก็คือมันได้รับ serializability จากล็อค แต่ได้รับความสอดคล้องภายนอก (คล้ายกับlinearizability ) จาก TrueTime [ เน้นเพิ่ม ]

คำจำกัดความของความสอดคล้องภายนอกคืออะไรและแตกต่างจากความสามารถเชิงเส้นตรงอย่างไร

ความสอดคล้องภายนอกไม่มีความหมายที่แน่นอน ในบริบทนี้มีความหมายปรากฏในประโยคถัดไปในเอกสาร:

สำหรับสองการทำธุรกรรมและ (แม้ว่าในด้านตรงข้ามของโลก): ถ้าเริ่มต้นที่จะกระทำหลังจากเสร็จสิ้นการกระทำแล้วประทับเวลาสำหรับมีค่ามากกว่าการประทับเวลาสำหรับT_1$T_1$$T_2$$T_2$$T_1$$T_2$$T_1$

คุณสามารถคิดถึงความสอดคล้องภายนอกจากการแยก transaction (Tx) และมุมมองคำสั่ง ในการแยก Tx พูดความมั่นคงภายนอกนั้นเทียบเท่ากับการแยกแบบอนุกรมที่เข้มงวดโดยที่ 'เข้มงวด' คือส่วนของข้อ จำกัด แบบเรียลไทม์ (ในลักษณะเชิงเส้นตรง)

นั่นหมายความว่าอีกครั้งสำหรับลูกค้าระบบที่สังเกตเห็นผลข้างเคียง Tx นั้นเทียบเท่ากับระบบที่ Tx ทั้งหมดเกิดขึ้นโดยไม่มีการเห็นพ้องต้องกัน ที่สำคัญกว่านี้คือการสั่งซื้อเดียวกันจะเห็นได้โดยลูกค้าที่ไม่เกี่ยวข้องอื่น ๆ

อ่านเพิ่มเติมเกี่ยวกับความแตกต่างที่บล็อกนี้