java.rmi.dgc
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 leaseRemoteException
void 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