public interface DGC extends Remote
| Modifier and Type | Method and Description |
|---|---|
void |
clean(ObjID[] ids,
long sequenceNum,
VMID vmid,
boolean strong)
Mark the given objects as no longer used on the client side.
|
Lease |
dirty(ObjID[] ids,
long sequenceNum,
Lease lease)
Mark the given objects referecnes as used on the client side.
|
Lease dirty(ObjID[] ids, long sequenceNum, Lease lease) throws RemoteException
ids - the ids of the used objects.sequenceNum - the number of the call (used to detect and discard late
calls).lease - the requested leaseRemoteExceptionvoid clean(ObjID[] ids, long sequenceNum, VMID vmid, boolean strong) throws RemoteException
ids - the ids of the objects that are no longer used.sequenceNum - the number of the call (used to detect and discard latevmid - the VMID of the client.strong - make the "strong" clean call ("strong" calls are scheduled
after the failed dirty calls).RemoteException