Lines Matching +full:termination +full:- +full:current

38 This section borrows heavily from work done on Spritely-NFS [Srinivasan89],
60 There are three types of leases: read caching, write caching and non-caching.
93 the lease and then waits for lease termination.
94 Lease termination occurs when a \fBvacated the premises\fR message has been
98 correspond to a Sprite server\(->client callback, but are not implemented as an
129 Generating this value is easier said than done. The current implementation
143 0 \(<= Current\(miDisk \(<= 5.
152 The server must maintain the state of all the current leases held by clients.
154 after the server stops issuing leases, there are no current leases left.
190 server as soon as the network connection has been re-established.
197 the following lease termination rule for write caching leases
217 For the current prototype,
331 Use of this RPC avoids accessibility problems caused by client->server uid
478 name being looked up if it is non-zero and the lease is specified