調査対象

軽く調べたところ冒頭の記事で紹介されていた hashicorp/vault 内のパッケージ以外にも類似機能を提供している OSS があったのでそちらも調べてみました。

mco-gh/gcslock

Go で実装されたライブラリとコマンドですがシェルスクリプト実装も公開されています。

mco-gh/gcslock は GCS が備えている世代番号と前提条件の仕組み ¹ を利用して分散ロックを実現します。

ロック時はリクエストヘッダに x-goog-if-generation-match:0 を指定してファイル作成する。
- これによりファイルが存在しない場合のみリクエストが成功する。
- HTTP ステータスコード 200 (OK) が帰ってきたらロック成功とする。
- ロック失敗した場合はバックオフを増やしながらリトライする。
アンロック時はファイルを削除する。
- HTTP ステータスコード 204 (No Content) が返ってきたらアンロック成功とする。
- アンロック失敗した場合はバックオフを増やしながらリトライする。

README に記載されているのですがロックを獲得したクライアントが何らかの理由でアンロックしなかった場合はデッドロックになります。
ライフサイクル管理を利用することで自動アンロックできますが最低でも 1 日はロックされたままになってしまうので注意が必要です。

また、前述の世代番号と前提条件に制限事項として記載されているように経路上のリクエスト遅延やリトライによる重複で意図せずロックされる・アンロックされる可能性がゼロではありません。

thinkingmachines/gcs-mutex-lock

Python で実装されたライブラリです。

mco-gh/gcslock に触発されたとあり基本的な方針と課題は同じですが gsutil コマンドを実行する実装になっています。

TobyColeman/gcs-mutex-lock

TypeScript で実装されたライブラリです。

mco-gh/gcslock の移植版とあり基本的な方針と課題は同じですが Google Cloud Storage: Node.js Client を使用する実装になっています。

hashicorp/vault

hashicorp/vault のプラグイン開発向けパッケージである sdk には physical.Lock という interface が定義されており、 GCS を含む複数のバックエンド実装が用意されています。

GCS による interface の実装 (以下、 Lock 構造体) は mco-gh/gcslock と同様に GCS が備えている世代番号と前提条件の仕組みを利用していますがファイル有無ではなくメタデータを読み書きすることでタイムアウトによるアンロック (他クライアントによるロック取得) を実現しています。

Lock 構造体は内部で goroutine を実行しておりロックを保持しているクライアントは定期的に JSON エンコードされた LockRecord 構造体をメタデータに書き込みます。
この際に世代番号と前提条件を使用することで他クライアントとの競合を回避しています。

メタデータに書き込まれた LockRecord 構造体にはユニーク ID と更新時刻が含まれています。
これは自分がロックを保持しているかどうかの判断やタイムアウトによるアンロックの判定に利用されています。

なお、冒頭の紹介記事にはメタデータにロック情報を格納することでコストを最適化しているとあるのですが GCS の料金を見た限りではメタデータに対するオペレーションも同じ価格に見えました。

まとめ

GCS による分散ロックは GCS が提供する次の特徴を活用して実装されていることがわかりました。

GCS に対する読み書きが強整合性 (Strong consistency) である
世代番号と前提条件の仕組み

実装は大きく 2 種類あります。

create if not exists なロックファイル作成を利用する実装
- 実装がシンプルで移植しやすい
- 何らかの理由でアンロックされなかった場合はライフサイクル管理による削除を待たなければならない
メタデータを利用してロックの所有者と有効期限を管理する実装
- ライフサイクル管理による削除を待たずにアンロック (他クライアントによるロック取得) できる
- クライアントの時計が大きくずれていると問題が起きる
- 実装がやや複雑になる

GCS にはオブジェクトバージョン管理という仕組みがありますが、これを有効化しているかどうかに関係なくすべてのオブジェクトは世代番号を持っておりリクエスト時の条件として指定できるそうです。 ↩