リース（コンピュータサイエンス）

コンピュータ サイエンスにおいて、リースとは、保有者に特定のリソースに対する特定の権利を限られた期間与える契約です。リースは期間が限られているため、リソースのシリアル化におけるロックの代替手段となります。

従来のリソース ロックは、ロックしているクライアント プロセスによって明示的に解除されるまで許可されます。ロックが解除されない理由としては、次のようなものが挙げられます。

• リソースを解放する前にクライアントが失敗しました
• 別のリソースを割り当てようとしたときにクライアントがデッドロックしました
• クライアントが不当な期間ブロックまたは遅延された
• クライアントはおそらくバグのせいでリソースを解放しなかった
• リソースを解放する要求が失われました
• リソースマネージャが失敗したか、指定されたリソースの追跡を失いました

これらのいずれかにより、システムがリセットされるまで、重要な再利用可能なリソースが利用できなくなる可能性があります。契約により、リースは限られた期間有効で、その後は自動的に期限切れとなり、リソースは新しいクライアントによって再割り当て可能になります。

1989年のCary G. GrayとDavid R. Cheritonによる論文^[1]では、この概念に「リース」という用語が使用されていましたが、同様の概念（期限切れのトークン^[2]やタイムアウト付きの解除可能なロック^[3]）は以前のシステムでも使用されていました。

リースは、 DHCP アドレスの割り当てからファイルのロックに至るまでのさまざまなアプリケーションで分散システムでよく使用されますが、それだけでは完全なソリューションにはなりません。

• リースの有効期限をリース所有者に通知し、そのエージェントが引き続きリソースに依存しないようにする何らかの手段が必要です。多くの場合、これはすべてのリクエストにアクセス トークンを添付することを要求することで実現されます。アクセス トークンは、関連するリースの有効期限が切れると無効になります。
• リース所有者がリソースの操作を開始した後にリースが取り消された場合、取り消しによってリソースが危険にさらされた状態になる可能性があります。このような状況では、完了していない更新が影響を及ぼさないようにするために、アトミック トランザクションを使用するのが一般的です。