public interface DGC extends java.rmi.Remote
| Modifier and Type | Method and Description |
|---|---|
void |
clean(java.rmi.server.ObjID[] ids,
long sequenceNum,
VMID vmid,
boolean strong)
Mark the given objects as no longer used on the client side.
|
Lease |
dirty(java.rmi.server.ObjID[] ids,
long sequenceNum,
Lease lease)
Mark the given objects referecnes as used on the client side.
|
Lease dirty(java.rmi.server.ObjID[] ids, long sequenceNum, Lease lease) throws java.rmi.RemoteException
ids - the ids of the used objects.sequenceNum - the number of the call (used to detect and discard late
calls).lease - the requested leasejava.rmi.RemoteExceptionvoid clean(java.rmi.server.ObjID[] ids, long sequenceNum, VMID vmid, boolean strong) throws java.rmi.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).java.rmi.RemoteException