Внешняя согласованность и линеаризуемость

В Шпаннера, TrueTime и ПСП теорема , Эрик Брюэр пишет:

Одна из тонких особенностей Spanner заключается в том, что он получает сериализуемость от блокировок, но он получает внешнюю согласованность (аналогично линеаризуемости ) от TrueTime [ выделение добавлено ].

Что такое определение внешней согласованности и чем оно отличается от линеаризуемости ?

Внешняя согласованность не имеет фиксированного значения. В этом контексте он имеет значение, указанное в следующем предложении документа:

Для любых двух транзакций, и T 2 (даже если на противоположных сторонах земного шара): если T 2 начинает фиксировать после того, как T 1 заканчивает фиксацию , тогда временная метка для T 2 больше, чем временная метка для T 1 .$T_1$$T_2$$T_2$$T_1$$T_2$$T_1$

Вы можете думать о внешней согласованности с точки зрения изоляции транзакций (Tx) и порядка заказа. В Tx-изоляции говорят, что внешняя согласованность эквивалентна строгой сериализуемой изоляции, где 'strict' - это часть ограничения в реальном времени (как в случае линеаризации).

Это снова означает, что для системного клиента наблюдаемые побочные эффекты Tx эквивалентны системе, где все Tx происходят изолированно без какого-либо параллелизма и где их упорядочение в реальном времени, как видит клиент, сохраняется. Что еще более важно тот же самый порядок виден любому другому не связанному клиенту.

Узнайте больше о различии в этом блоге .