Spójność zewnętrzna a linearyzowalność

W Spanner, TrueTime & WPR Twierdzenie , Eric Brewer pisze:

Jedną subtelną rzeczą w Spanner jest to, że uzyskuje możliwość serializacji z blokad, ale uzyskuje spójność zewnętrzną (podobną do linearyzowalności ) z TrueTime [ podkreślenie dodane ].

Jaka jest definicja spójności zewnętrznej i czym różni się od linearyzowalności ?

Zewnętrzna spójność nie ma stałego znaczenia. W tym kontekście ma znaczenie pojawiające się w następnym zdaniu w dokumencie:

W przypadku dowolnych dwóch transakcji i (nawet jeśli znajdują się po przeciwnych stronach globu): jeśli zacznie zatwierdzać po zakończeniu zatwierdzania przez , znacznik czasu dla jest większy niż znacznik czasu dla .$T_1$$T_2$$T_2$$T_1$$T_2$$T_1$

Możesz pomyśleć o zewnętrznej spójności z izolacji transakcji (Tx) i punkcie widzenia zamówienia. W izolacji Tx mów spójność zewnętrzna jest równoważna ścisłej izolacji możliwej do serializacji, gdzie „ścisła” jest częścią ograniczenia w czasie rzeczywistym (jak w przypadku linearyzowalności).

To znowu wszystko oznacza, że ​​dla klienta systemowego możliwe do zaobserwowania skutki uboczne Tx są równoważne z systemem, w którym wszystkie Tx odbywają się w izolacji bez żadnej współbieżności i gdzie zachowane jest ich uporządkowanie w czasie rzeczywistym, jak widzi klient. Co ważniejsze, to samo zamówienie widzi każdy niepowiązany klient.

Przeczytaj więcej o wyróżnieniu na tym blogu .