Зовнішня узгодженість та лінійність

В теоремі Spanner, TrueTime & CAP Ерік Брюер пише:

Одна тонка річ про Шпаннер тому , що він отримує серіалізуемость із замків, але він отримує зовнішню послідовність ( по аналогії з лінеарізуемості ) з TrueTime [ курсив ].

Що таке визначення зовнішньої консистенції та чим воно відрізняється від лінійності ?

Зовнішня послідовність не має фіксованого значення. У цьому контексті він має значення, яке з’являється в наступному реченні в документі:

Для будь-яких двох транзакцій і (навіть якщо на протилежних сторонах земної кулі): якщо починає здійснювати після завершення вчинення , то часова мітка для перевищує часову для .$T_1$$T_2$$T_2$$T_1$$T_2$$T_1$

Ви можете думати про зовнішню узгодженість з точки зору виділення транзакцій (Tx) та порядку замовлення. У ізоляції Tx зовнішня консистенція еквівалентна суворій серіалізаційній ізоляції, де "сувора" є частиною обмеження в реальному часі (як у лінійності).

Це знову ж таки означає, що для системного клієнта помітні Tx побічні ефекти еквівалентні системі, де всі Tx проходять ізольовано без жодної сукупності і де їх замовлення в реальному часі, як бачив клієнт, зберігається. Що ще важливіше, те саме замовлення бачить будь-який інший незв'язаний клієнт.

Детальніше про відзнаку читайте на цьому блозі .