[論文レビュー] PaxosLease: Diskless Paxos for Leases

Márton Trencséni, Attila Gazsó+1 more|arXiv (Cornell University)|Sep 19, 2012

Distributed systems and fault tolerance参考文献 5被引用数 4

ひとこと要約

PaxosLease は、Paxos をベースにしたディスクレスで時 clocks 同期不要の分散リースアルゴリズムであり、高負荷の競合状況下でもブロッキングを伴わずにリースの取得と更新を可能にする。 ballot 番号と acceptor の状態管理によりリースの安全性を保証し、Keyspace や ScalienDB などのレプリケートされたキー値ストアにおいて高い可用性と低レイテンシを実現する。

ABSTRACT

This paper describes PaxosLease, a distributed algorithm for lease negotiation. PaxosLease is based on Paxos, but does not require disk writes or clock synchrony. PaxosLease is used for master lease negotation in the open-source Keyspace and ScalienDB replicated key-value stores.

研究の動機と目的

• 高負荷のプロポーザー競合下で、単純な過半数ベースのリースプロトコルが引き起こすブロッキング問題を解消すること。
• 時 clocks 同期やディスク書き込みに依存しないことで、実用性とパフォーマンスを向上させること。
• Keyspace や ScalienDB などの生産環境システムに適した、シンプルで効率的かつ安全なリースメカニズムを提供すること。
• acceptor の論理を変更せずにリースの延長と早期解放を可能にし、動的ワークロードに対応すること。
• 複数のリソースを独立したリースインスタンスで管理できる最小限で合成可能なソリューションを提供すること。

提案手法

• Paxos を模倣した二段階の prepare/propose プロトコルを用い、提案の順序付けと競合の防止に ballot 番号を活用する。
• acceptor は、最高のプロミス ballot 番号と最後に受け入れられた提案のみを保持し、永続的状態の書き込みを回避する。
• リース保持者は、多数の acceptor がプロポーザーの提案に合意することで決定され、時間間隔 T の後に自動的に有効期限が切れる。
• プロポーザーは、有効期限前に再提案することでリースを延長でき、特別なリリースメッセージにより早期にリースを解放できる。
• リース状態は、有効期限が切れた場合や明示的なリリースが行われた場合に acceptor で破棄され、安全性和とライブネスが保証される。
• リソース識別子をメッセージおよび状態にタグ付けすることで複数のリソースをサポートし、低メモリオーバーヘッドで個別リソースのリース管理が可能になる。

実験結果

リサーチクエスチョン

• RQ1 高負荷のプロポーザー競合下で、時 clocks 同期に依存せずにブロッキングを回避できるリースプロトコルは設計可能か？
• RQ2 安全性和と一貫性を保証しつつ、リースプロトコルでディスク書き込みを完全に排除することは可能か？
• RQ3 acceptor の動作を変更せずに、リースの延長と早期解放を効率的にサポートする方法は何か？
• RQ4 Paxos をベースにしたプロトコルをリースに特化させることで、Fatlease よりもシンプルで効率的なアプローチが可能か？
• RQ5 ノードあたりの複数の独立リースをサポートする際のメモリおよびパフォーマンスオーバーヘッドはどの程度か？

主な発見

• PaxosLease は ballot 番号を用いてプロポーザーが以前の提案を上書き可能にすることで、高負荷状況下でもブロッキングを回避し、ライブネスを確保する。
• 本アルゴリズムはディスク書き込みも時 clocks 同期も不要であるため、これらの要因がパフォーマンスボトルネックとなるシステムや実装が困難な環境に適している。
• リースの延長は、有効期限前に再提案を許可することで実現され、acceptor の論理に変更が加わらない。
• 特別なリリースメッセージにより、ballot 番号が一致する場合に acceptor の状態破棄がトリガーされ、リースの早期解放が達成される。
• 1GB のメインメモリあたり約 1000 万個の独立リースをサポートでき、1 インスタンスあたりの状態が非常に小さく（約 100 バイト）なためである。
• PaxosLease は Keyspace や ScalienDB を含む生産環境システムに実際に導入されており、実世界でのスケーラビリティと信頼性を実証している。