外部整合性と線形化可能性

でスパナ、TrueTime＆CAP定理、エリック・ブリュワーは書いています：

Spannerの微妙な点の1つは、ロックから直列化可能性を取得しますが、TrueTimeから外部整合性（線形化可能性と同様）を取得することです（強調を追加）。

外部整合性の定義とは何ですか？それは線形化可能性とどう違うのですか？

外部整合性には決まった意味はありません。この文脈では、それはドキュメントの次の文に現れる意味を持っています：

任意の二つの取引については、と（さえ地球の反対側にある場合）：場合後にコミットすることを開始しコミット終了、その後のタイムスタンプのためのタイムスタンプよりも大きい。$T_1$$T_2$$T_2$$T_1$$T_2$$T_1$

トランザクション（Tx）の分離と順序の観点から、外部整合性について考えることができます。Tx分離では、外部整合性は厳密な直列化可能分離と同等であり、 'strict'はリアルタイム制約部分です（線形化可能性など）。

つまり、システムクライアントにとって、Txの副次的な副作用はシステムと同等であり、すべてのTxは並行性なしで分離して実行され、クライアントから見たリアルタイムの順序は保持されます。さらに重要なのは、この同じ順序が他の無関係なクライアントから見られることです。

このブログで違いの詳細をご覧ください。