FESCAR: アリババの主要なオープンソース分散トランザクションソリューション

FESCAR: 高速かつ簡単なコミットとロールバック

• FESCARとは何ですか?

マイクロサービス アーキテクチャで使用される高性能分散トランザクション ソリューション。

• マイクロサービスにおける分散トランザクションの問題

3 つのモジュールで構成される従来のアプリケーションを想像してみましょう。これらの 3 つのモジュールは同じデータ ソースを使用します。明らかに、データの一貫性は、データベースによって提供されるローカル トランザクションによって実現できます。

しかし、マイクロサービス アーキテクチャでは、すべての良い点が壊れてしまいます。 3 つのモジュールは 3 つのサービスになり、それぞれが独立したデータ ソースを持ちます (https://microservices.io/patterns/data/database-per-service.html を参照)。各サービスのデータ一貫性はローカル トランザクションによって保証されますが、サービス間のトランザクションはどうでしょうか?下の図に示すように、企業では在庫 (Storage)、注文 (Order)、アカウント (Account) を運用する必要があります。

• FESCAR はどのようにそれを実現するのでしょうか?

まず、分散トランザクションをどのように定義するのでしょうか?分散トランザクションは、複数のブランチトランザクションから構成されるグローバルトランザクションであると考えています。一般的に言えば、ブランチトランザクションはローカルトランザクションです。

FESCAR には 3 つの基本コンポーネントがあります。

• トランザクション コーディネーター (TC): トランザクション コーディネーターは、グローバル トランザクションとブランチ トランザクションのステータスを維持し、グローバル トランザクションをコミットするかロールバックするかを決定します。

• トランザクション マネージャー (TM): トランザクション マネージャーは、グローバル トランザクションの範囲を定義します。グローバル トランザクションを開始し、グローバル トランザクションをコミットまたはロールバックします。

• リソース マネージャー (RM): リソース マネージャーは、ブランチ トランザクションによって処理されるリソースを管理し、TC と通信してブランチ トランザクションを登録し、ブランチ トランザクションのステータスを報告し、ブランチ トランザクションをコミットまたはロールバックするように駆動します。

FESCAR によって管理される一般的な分散トランザクションのライフ サイクルは次のとおりです。

1. TM は TC にグローバル トランザクションの開始を要求し、TC はグローバル トランザクションを表す一意の ID である XID を生成します。

2. マイクロサービスの呼び出しチェーンを通じて、XID がブロードキャストされます (図の緑の線)。

3. RM は、XID で表される分散トランザクションの下にローカル トランザクションを TC に登録します (赤い矢印)。

4. TM は、XID で表されるグローバル トランザクションをコミットするかロールバックするかを TC に問い合わせます。

5. TC は、XID で表されるグローバル トランザクションの下にあるすべてのブランチ トランザクションを駆動して、コミットまたはロールバック操作を完了します。

次の図に示すように:

参考: https://github.com/alibaba/fescar