Lease
Ein Lease ist ein auf Zeit gewährtes Recht, das ein Server einen Client für die Nutzung einer Ressource einräumt. Läuft die Lease-Zeit ab, entzieht der Server dem Client das Nutzungsrecht für die Ressource. Die Ressource wird dann freigegeben. Was unter der Freigabe der Ressource zu verstehen ist, hängt von der Art der Ressource ab.
Der Client kann versuchen, das Lease zu verlängern. Im Normalfall wird der Verlängerung vom Server zugestimmt. Der Client kann sich jedoch nicht darauf verlassen, dass der Server der Verlängerung zustimmt. Der Client kann ein Lease auch vorzeitig beenden. Das vorzeitige Ende eines Leases hat den gleichen Effekt wie der gewöhnliche Ablauf der Lease-Zeit.
Leases werden von C. Gray und D. Cheriton in dem Artikel "Leases: an efficient fault-tolerant mechanism for distributed file cache consistency" (Proceedings of the Twelfth ACM symposium on Operating system principles; 202 - 210, 1989) beschrieben.
Der Client kann versuchen, das Lease zu verlängern. Im Normalfall wird der Verlängerung vom Server zugestimmt. Der Client kann sich jedoch nicht darauf verlassen, dass der Server der Verlängerung zustimmt. Der Client kann ein Lease auch vorzeitig beenden. Das vorzeitige Ende eines Leases hat den gleichen Effekt wie der gewöhnliche Ablauf der Lease-Zeit.
Leases werden von C. Gray und D. Cheriton in dem Artikel "Leases: an efficient fault-tolerant mechanism for distributed file cache consistency" (Proceedings of the Twelfth ACM symposium on Operating system principles; 202 - 210, 1989) beschrieben.