Lines Matching +full:three +full:- +full:state

38 This section borrows heavily from work done on Spritely-NFS [Srinivasan89],
39 but uses Leases [Gray89] to avoid the need to recover server state information
47 but is based on short term leases\** instead of hard state information
60 There are three types of leases: read caching, write caching and non-caching.
98 correspond to a Sprite server\(->client callback, but are not implemented as an
116 clock synchronization. There are three important time constants known to
152 The server must maintain the state of all the current leases held by clients.
155 As such, server crash recovery does not require any state recovery. After
164 state of and the clients have had at least write_slack seconds to push dirty
190 server as soon as the network connection has been re-established.
331 Use of this RPC avoids accessibility problems caused by client->server uid
364 Three additional "stat" values
366 Three additional values have been added to the enumerated type "stat".
478 name being looked up if it is non-zero and the lease is specified