> 結果整合性が一貫性の保証になっていないとすると、一貫性を保証してるモデルも知りたいです

結果整合性に対して、常にデータ一貫性を保証するのは強整合性モデルと言います。

> これらの一貫性のなくなる事象への対処法として、結果整合性というモデルでデータベースを動かす方法があります。

この部分がよくわからなかったのですが、データ一貫性を重視し強整合性モデルを選択した場合、各サービスへのデータ更新は同期処理にする必要があります。分散されたノードに対して同期で更新した場合、すべてのノードの更新処理が完了するまで待機することになるので、パフォーマンスが犠牲になります。

これに対して、各サービスのデータ更新を非同期にした場合、すべてのノードへの更新完了を待つ必要がなくなるので、パフォーマンスが向上します。これが結果整合性モデルで「**結果的には**分散ノード間のデータ整合性がとれた状態になる」、言いかえると「一時的にノード間のデータは不整合な状態になる」になるというものです。これは非同期更新の採用により生じるデメリットです。

まとめると、データ整合性とパフォーマンスのトレードオフを考慮し、結果整合性モデルと強整合性モデルのどちらかを選択することになるのです。一般的には、マイクロサービスアーキテクチャのような分散型データベースであれば、結果整合性モデルが採用されることが多いです(サービス同士が離れているので、同期処理にするとパフォーマンス要件を満たせないため)。

この話は、マイクロサービスに限らず分散データベースであれば、必ず出てくるテーマです。例えばDNSは、自分の管理するDNSサーバーのゾーンレコードを編集しても、すぐに世界中にDNSサーバーに反映されるわけではありません(一時的なデータ不整合の状態)。これはDNSが分散データベースであり、結果整合性モデルであるから、とみなすことができます。

追記です。

> これらの一貫性のなくなる事象への対処法として、結果整合性というモデルでデータベースを動かす方法があります。

この部分は逆です。一貫性を重視するなら、結果整合性モデルではなく強整合性モデルを採用することになります。