Postgresトランザクションは分散システムのスーパーパワー

- DBOS（DBOS, Inc.）は、PostgreSQLをベースにアプリケーションの状態管理とワークフロー実行を統合するオープンソースのミドルウェア。アプリケーションの状態をデータベース内に置くことで、分散システムにおけるトランザクションの一貫性を保つ「ステートレスな関数＋外部DB」という一般的なアーキテクチャとは異なる設計思想を持つ。 - この記事の核心は「ワークフローの状態を、それが操作するデータと同じPostgreSQLトランザクション内で管理する」というアプローチ。通常、ワークフローエンジン（TemporalやAWS Step Functionsなど）は、ビジネスロジックで使うデータベースとは別にワークフローの状態を保持する。DBOSはそれを同一トランザクションに乗せることで、分散トランザクション（XAやSagaパターン）なしで厳密な一回実行（exactly-once execution）を実現できると主張する。 - 背景として、マイクロサービスやイベント駆動アーキテクチャが広まるにつれ、メッセージの重複処理や部分的な障害からの復旧が大きな課題になっている。「ワークフローエンジン」はこの問題の標準的な解決策だが、DBOSは「そのワークフローエンジンの状態すらDBに入れてしまえばいい」と提案している。 - 同社はこの技術の商用版も提供しており、Y Combinatorから出資を受けている。記事全体は、PostgreSQLのトランザクション機能を分散システムの信頼性担保に活用するという、やや逆説的だが一貫性のある設計論。