Package | Description |
---|---|
java.rmi.dgc | |
java.rmi.server |
Modifier and Type | Method and Description |
---|---|
void |
DGC.clean(ObjID[] ids,
long sequenceNum,
VMID vmid,
boolean strong) |
Lease |
DGC.dirty(ObjID[] ids,
long sequenceNum,
Lease lease) |
Modifier and Type | Method and Description |
---|---|
static ObjID |
ObjID.read(ObjectInput in) |