Lines Matching defs:lease
75 /** lease duration to grant to clients */
80 /** lease check interval; default is half of lease grant duration */
94 /** checks for lease expiration */
159 * The client must call the "dirty" method to renew the lease
160 * before the "lease" time expires or all references to remote
164 public Lease dirty(ObjID[] ids, long sequenceNum, Lease lease) {
165 VMID vmid = lease.getVMID();
167 * The server specifies the lease value; the client has
192 lease = new Lease(vmid, duration);
193 // record lease information
223 return lease;
274 * Check if leases have expired. If a lease has expired, remove
423 LeaseInfo(VMID vmid, long lease) {
425 expiration = System.currentTimeMillis() + lease;
428 synchronized void renew(long lease) {
429 long newExpiration = System.currentTimeMillis() + lease;